Miracle-dz/UniFAR-FTUs huggingface dataset:
LARGE CARDINALS BEYOND CHOICE

Abstract The HOD Dichotomy Theorem states that if there is an extendible cardinal, δ, then either HOD is “close” to V (in the sense that it correctly computes successors of singular cardinals greater than δ) or HOD is “far” from V (in the sense that all regular cardinals greater than or equal to δ are measurable in HOD). The question is whether the future will lead to the first or the second side of the dichotomy. Is HOD “close” to V, or “far” from V? There is a program aimed at establishing the first alternative—the “close” side of the HOD Dichotomy. This is the program of inner model theory. In recent years the third author has provided evidence that there is an ultimate inner model—Ultimate-L—and he has isolated a natural conjecture associated with the model—the Ultimate-L Conjecture. This conjecture implies that (assuming the existence of an extendible cardinal) that the first alternative holds—HOD is “close” to V. This is the future in which pattern prevails. In this paper we introduce a very different program, one aimed at establishing the second alternative—the “far” side of the HOD Dichotomy. This is the program of large cardinals beyond choice. Kunen famously showed that if AC holds then there cannot be a Reinhardt cardinal. It has remained open whether Reinhardt cardinals are consistent in ZF alone. It turns out that there is an entire hierarchy of choiceless large cardinals of which Reinhardt cardinals are only the beginning, and, surprisingly, this hierarchy appears to be highly ordered and amenable to systematic investigation, as we shall show in this paper. The point is that if these choiceless large cardinals are consistent then the Ultimate-L Conjecture must fail. This is the future where chaos prevails.
The Participant Experience in Community-Delivered Diabetes Prevention Interventions: Health-Related Quality of Life and Direct Nonmedical Expenses

Introduction: Behavioral lifestyle interventions to prevent type 2 diabetes have been successful in reducing the risk of diabetes in clinical studies, while translational programs have demonstrated the ability to reduce diabetes risk factors in a variety of community settings. However, there remain important questions about the impact of translational diabetes prevention programs on non-clinical factors like Health-Related Quality of Life (HRQoL) and also the time and expenses that participants experience in these programs. Methods: Data were collected from participants at three sites where the Group Lifestyle Balance (GLB) program, a behavior lifestyle intervention program adapted from the Diabetes Prevention Program (DPP) was delivered. Paper 1 reports on HRQoL among participants in a GLB intervention presented by diabetes educators at outpatient clinics. Paper 2 continues the investigation of HRQoL in a GLB program delivered through a medical clinic using group and DVD delivery modes. In Paper 3, direct nonmedical expenses for food and physical activity, as well as time in intervention-relate activities are reported. Results: Papers 1 and 2 showed that participants in a translational diabetes prevention interventions experienced modest improvements in HRQoL, measured by two different assessment instruments. The findings in Paper 3 indicate that diabetes prevention participants can reduce clinical risk factors for type 2 diabetes without incurring additional expenses for food or physical activity. Only the expense of time due to involvement in activities related to the intervention increased. Public Health Significance: Many individuals at elevated risk of type 2 diabetes consider themselves in quite good health. However, there are debilitating morbidities associated with type 2 diabetes that may be delayed or prevented through lifestyle intervention programs. The improvements in quality of life that participants experience should help individuals at risk find these programs more attractive. This is especially so given that participants need not incur significant additional out-of-pocket expenses. The summary message should be that you can reduce your risk of diabetes through moderate lifestyle intervention; you might feel a bit better in some aspects of your health; and it won’t cost you much as long as you are willing to commit some time to the intervention.
Strongly correlated superfluid order parameters from dc Josephson supercurrents

A gas junction In superconductors, electrons form a macroscopic wave function that has a definite phase. If two superconductors with different wave function phases are placed in contact with each other through an insulating link, a current will flow through this so-called Josephson's junction without any external voltage. Luick et al. and Kwon et al. observed an analogous phenomenon in a setup that involved two reservoirs of superfluid Fermi gases. Both groups measured the so-called current-phase relation: the dependence of the magnitude of the current on the relative phase. By tuning an external magnetic field, they were able to study how the interactions between fermions affected the nature of the superfluid state. Science, this issue p. 89, p. 84 A Josephson junction was created between two Fermi gas superfluids. The direct-current (dc) Josephson effect provides a phase-sensitive tool for investigating superfluid order parameters. We report on the observation of dc Josephson supercurrents in strongly interacting fermionic superfluids across a tunneling barrier in the absence of any applied potential difference. For sufficiently strong barriers, we observed a sinusoidal current-phase relation, in agreement with Josephson’s seminal prediction. We mapped out the zero-resistance state and its breakdown as a function of junction parameters, extracting the Josephson critical current behavior. By comparing our results with an analytic model, we determined the pair condensate fraction throughout the Bardeen-Cooper-Schrieffer–Bose-Einstein condensation crossover. Our work suggests that coherent Josephson transport may be used to pin down superfluid order parameters in diverse atomic systems, even in the presence of strong correlations.
Determining the Radius of the Magnetic Vortex Core of YBCO123 and Bi2212

A plasma has been defined as a quasi-neutral gas of charged particles showing collective behaviour. Plasmas can support waves depending on the local condi-tions, the presence of external electric and magnetic fields. A characteristic property of plasmas is their ability to transfer momentum and energy via col-lective motion. An example in this case, is the Langmuir waves where plasma electrons oscillate against a stationary ion background. In a superconductor, two plasma electrons arise one that is made up of normal electrons and the other that is made up of super-electrons. In this study, we consider a system of super-electrons forming a super-particle. The motion of the plasma su-per-particles around a magnetic vortex core has been studied in the YBCO123 and Bi2212 systems.
Intramolecular OH stretching analysis of hydrated lysozyme in presence of trehalose by IR spectroscopy

The present work reports the analysis of the intramolecular OH stretching band obtained by InfraRed spectroscopy measurements. In order to characterize the effect of trehalose on the hydration properties of lysozyme the so-called two-state model is adopted for the analysis of the intramolecular OH stretching band. This latter assumes that, provided that the trehalose OH stretching contribution is subtracted, water molecules can be partitioned into two different states of inter-molecular bonding: molecules with two OH groups both hydrogen-bonded within a tetrahedral network, and molecules with one or two dangling OH groups. What emerges from this study is that trehalose significantly influences the hydrogen bond network of water and its temperature behaviour. Such a result confirms that the trehalose induced strengthening of the hydrogen-bond network leads to a stabilization of the lysozyme structure. Moreover, the analysis of the spectra temperature dependence shows a trehalose-induced higher thermal restraint of the lysozyme-trehalose-water system in respect to the lysozyme-water mixture.
The Effect of Utilization of Domestic Coal Resources on Turkey’s Current Account Balance: An Example of Afsin-Elbistan Lignites

Bu calismanin amaci; yerli bir enerji kaynagi olan Afsin-Elbistan linyitlerini kullanirsak, cari islemler acigindaki yukun ne kadar azaltilabilecegini tespit etmektir. Bu calismada, ilk olarak enerji ekonomisi alaninda calisilan literatur incelenmistir. Literatur incelenmesinden sonra; elektrik enerjisi sektorunun yapisi, ozellikleri ve tarihsel gelisimi izah edilmistir. Bunlara ek olarak, Dunya ve Turkiye duzeyindeki enerji ve elektrik enerjisi sektorune iliskin veriler tarihsel bakis acisiyla sunulmus ve mevcut durumun gorulebilmesi icin onemli ulkelerin enerji politikalarina yer verilmistir. Ayrica, enerji bagimliliginin Turkiye'nin cari islemler acigi uzerindeki rolu, verilerin analiziyle incelenmistir. Bu calismada, Afsin Elbistan bolgesinde kurulmasi beklenen linyit yakitli elektrik santrallerinin 2023 itibariyle faaliyete gececegi varsayilmis ve soz konusu enerji santrallerinin cari islemler dengesine olumlu etkisi hesaplanmistir. Bulgular, linyit kaynaklarinin kullanilmasinin dogal gaz tuketim miktarini azaltacagini ve bu durumun cari islemler hesabi uzerinde olumlu etkiye sahip olacagini gostermektedir. Bu durumun, toplam elektrik uretimi icindeki dogal gaz payini dusurmesi beklenirken linyitin toplam elektrik uretimi icindeki payini arttirmasi beklenmektedir. Bu calismada kullanilan hesaplamalar, onumuzdeki yillarda faaliyete gececek nukleer santralleri de dikkate almaktadir. Bunu yapmamizin nedeni, soz konusu nukleer santrallerin toplam elektrik uretimi icindeki birincil enerji kaynaklarin payini etkilemesidir.
Tuning of emission from copper-doped ZnSe quantum dots

In this paper, different concentrations of copper-doped zinc selenide quantum dots (Cu:ZnSe QDs) were synthesized and compared with differently sized (2.0–3.7 nm) Cu:ZnSe QDs by keeping the concentration of Cu fixed at 5%. In both cases a high-temperature wet chemical route was employed for synthesis. As the concentration of Cu increased from 2.5% to 12.5% in the solution, a clear redshift was observed in the absorption spectrum, which is an indication that Cu ions have been incorporated into the host lattice. In order to identify the state in which the Cu ions are present, electron paramagnetic resonance (EPR) studies were carried out on the samples. The EPR spectra reveal a resonance signal which is characteristic of Cu2+ ions. With an increase in concentration of Cu ions it is found that the g ⊥ component increases. Photoluminescence emission and excitation studies revealed both band-edge and Cu-related emission, further strengthening the incorporation of Cu ions in the host lattice.
A Comparative Real-Time Speed Control of PMSM with Fuzzy Logic and ANN Based Vector Controller

Bu calismada, Bulanik Mantik (BM) ve tekrarlayan Yapay Sinir Agi (YSA) kontrol unitesi kullanilarak Sabit Miknatisli Senkron Motorunun (SMSM)sabit yuk altinda gercek zamanli hiz kontrolu sunulmaktadir. SMSM’ nin matematiksel modeli kullanilarak Matlab / Simulink’te kapali cevrim PMSM tahrik sistemi gelistirilmistir. Iki tip kontrolor kullanilmistir; birinci denetleyici, gercek zamanli BM denetleyicisi ve ikinci denetleyici, daha yumusak hiz tepkisi acisindan gercek zamanli bir tekrarlayan YSA denetleyicisidir. Tum tahrik sistemleri Matlab / Simulink programinda simule edilmistir. Simulasyon sonuclari, odaklanmis YSA kontrolorunun, hiz referansi degisikliklerini kontrol etmede BM kontrolorune kiyasla onemli kontrol performansi sagladigini gostermektedir.
Nine degree of freedom motion estimation for wrist PPG heart rate measurements

In recent years there has been substantial interest in wearable devices that measure heart rate via photoplethysmography (PPG) sensors placed at the wrist. This is challenging as the wrist PPG signal is severely corrupted by artefacts during motion, and although a number of algorithms are now available commercially and academically there is still a need for improved performance, especially when examining physical activities other than running. To date, algorithms for motion artefact removal from the PPG have focused on the use of a co-located accelerometer to record the motion. In this work, we introduce co-located accelerometer, gyroscope and magnetometer sensors to allow three, six and nine degrees of freedom estimates of the motion present. Assessed during a bike riding task the results show that the heart rate estimation is improved by up 0.57 beats per minute by using the additional information from these new sensors.
Concurrent Transmissions for Multi-Hop Bluetooth 5

Bluetooth is an omnipresent communication technology, available on billions of connected devices today. While it has been traditionally limited to peer-to-peer and star network topology, the recent Bluetooth 5 standard introduces new operating modes to allow for increased reliability and Bluetooth Mesh supports multi-hop networking based on message flooding. In this paper, we present BlueFlood. It adapts concurrent transmissions, as introduced by Glossy, to Bluetooth. The result is fast and efficient network-wide data dissemination in multi-hop Bluetooth networks. Moreover, we show that BlueFlood floods can be reliably received by off-the-shelf Bluetooth devices such as smart phones, opening new applications of concurrent transmissions and seamless integration with existing technologies. We present an in-depth experimental feasibility study of concurrent transmissions over Bluetooth PHY in a controlled environment. Further, we build a small-scale testbed where we evaluate BlueFlood in real-world settings of a residential environment. We show that BlueFlood achieves 99% end-to-end delivery ratio in multi-hop networks with a duty cycle of 0.13% for 1-second intervals.
IMPLEMENTASI NON BLIND WATERMARKING DENGAN DISCRETE COSINE TRANSFORM (DCT)M PADA GAMBAR WARNA

Teknik watermarking pada metode non blind telah dilakukan oleh beberapa peneliti namun masih menggunakan gambar grayscale. Pada makalah ini kami mengimplementasikan non blind watermarking pada gambar berwarna. Dengan layer Red, Green, dan Blue maka operlu tiga kali proses penyisipan yang terpisah. Hal ini juga berlaku untuk proses ekstraksi pesan. Algiritma yang digunakan adalah Discrete Cosine Transform (DCT) yang termasuk dalam domain frekuensi, hal ini menjadi salah satu kelebihan DCT karena domain frekuensi lebih tahan serangan dibanding domain spasial. DCT diimpementasikan pada koefisien DC. Keunggulan lain DCT yaitu tahan terhadap serngan kompresi gambar. Model operasi DCT yang menyebabkan banyak perubahan piksel telah dieliminasi oleh Discrete Wavelet Transform (DWT). Sehingga dalam makalah ini akan dilakukan kombinasi antara DCT dan DWT untuk non blind watermarking. Hasil pengujian pada 3 buah gammbar berwarna yang dievaluasi menggunakan Mean Square Error (MSE), Peak Signal to Noise Ratio (PSNR), Structural Similarity Index Measuremen (SSIM) pada proses penyembunyian pesan, sedangkakn Cross Correlation (CC) digunakan untuk mengevaluasi proses ekstrasi pesan.
Characterizing classification datasets: a study of meta-features for meta-learning.

Meta-learning is increasingly used to support the recommendation of machine learning algorithms and their configurations. Such recommendations are made based on meta-data, consisting of performance evaluations of algorithms on prior datasets, as well as characterizations of these datasets. These characterizations, also called meta-features, describe properties of the data which are predictive for the performance of machine learning algorithms trained on them. Unfortunately, despite being used in a large number of studies, meta-features are not uniformly described, organized and computed, making many empirical studies irreproducible and hard to compare. This paper aims to deal with this by systematizing and standardizing data characterization measures for classification datasets used in meta-learning. Moreover, it presents MFE, a new tool for extracting meta-features from datasets and identifying more subtle reproducibility issues in the literature, proposing guidelines for data characterization that strengthen reproducible empirical research in meta-learning.
A Correlation-Aware Sparse Bayesian Perspective for DOA Estimation With Off-Grid Sources

A sparse Bayesian perspective for off-grid direction-of-arrival (DOA) estimation when the correlation information about the unknown coherent sources is taken into account is formulated in this article. A key contribution is to establish a suitable statistical model which inherently exploits the nature of correlation between the nonzero components of the sparse signal. Such a model guarantees to promote the reconstruction accuracy and robustness. Using our model, we derive the adaptive updating formulas for latent variables via the variational Bayesian inference and the resulting algorithm is fully automated, i.e., no user-intervention is needed. In addition, we introduce a refined 1-D searching procedure which utilizes elucidated properties of the marginal likelihood function to refine the DOA estimates one by one based on the reconstruction result. Our experimental results on synthetic data sets show that, compared with state-of-the-art algorithms, the proposed algorithm yields superior estimation performance at the expense of a higher computational complexity.
Reduksi Logam Merkuri (Hg) Menggunakan Strain Jamur Lokal yang Diisolasi dari Kawasan Pertambangan Emas Tanpa Izin Kuansing, Riau

Pencemaran lingkungan dari penambangan emas berhubungan dengan kandungan logam berbahaya Hg dari limbah tailing. Aplikasi isolat-isolat jamur di dalam menghilangkan logam berat di dalam air limbah dilaporkan lebih murah dan lebih aman terhadap lingkungan. Penelitian ini bertujuan untuk menganalisis kemampuan isolat-isolat jamur lokal yang diisolasi dari kawasan penambangan emas tanpa izin, Kuansing, Riau, di dalam mereduksi kandungan Hg pada air limbah penambangan emas. Jamur disiapkan pada medium PDA selama 7 hari dan ditumbuhkan dalam medium air sungai yang mengandung limbah Hg pada kondisi agitasi 150 rpm selama 7 hari. Kemampuan pengurangan logam Hg oleh isolate jamur dianalisis dengan menggunakan Spektrofotometer Serapan Atom (AAS). Hasil penelitian menunjukkan bahwa semua isolat mampu mereduksi kadar Hg pada limbah. Isolat jamur LMBO4 dan Penicillium sp. strain PN6 masing-masing memiliki kemampuan tertinggi untuk mengurangi Hg yaitu 0,0492 mg/L (82%) dan 0,0470 mg/L (78,42%).
A Century of Progress in Severe Convective Storm Research and Forecasting

The history of severe thunderstorm research and forecasting over the past century has been a remarkable story involving interactions between technological development of observational and modeling capabilities, research into physical processes, and the forecasting of phenomena with the goal of reducing loss of life and property. Perhaps more so than any other field of meteorology, the relationship between researchers and forecasters has been particularly close in the severe thunderstorm domain, with both groups depending on improved observational capabilities. The advances that have been made have depended on observing systems that did not exist 100 years ago, particularly radar and upper-air systems. They have allowed scientists to observe storm behavior and structure and the environmental setting in which storms occur. This has led to improved understanding of processes, which in turn has allowed forecasters to use those same observational systems to improve forecasts. Because of the relatively rare and small-scale nature of many severe thunderstorm events, severe thunderstorm researchers have developed mobile instrumentation capabilities that have allowed them to collect high-quality observations in the vicinity of storms. Since much of the world is subject to severe thunderstorm hazards, research has taken place around the world, with the local emphasis dependent on what threats are perceived in that area, subject to the availability of resources to study the threat. Frequently, the topics of interest depend upon a single event, or a small number of events, of a particular kind that aroused public or economic interests in that area. International cooperation has been an important contributor to collecting and disseminating knowledge. As the AMS turns 100, the range of research relating to severe thunderstorms is expanding. The time scale of forecasting or projecting is increasing, with work going on to study forecasts on the seasonal to subseasonal time scales, as well as addressing how climate change may influence severe thunderstorms. With its roots in studying weather that impacts the public, severe thunderstorm research now includes significant work from the social science community, some as standalone research and some in active collaborative efforts with physical scientists. In addition, the traditional emphases of the field continue to grow. Improved radar and numerical modeling capabilities allow meteorologists to see and model details that were unobservable and not understood a half century ago. The long tradition of collecting observations in the field has led to improved quality and quantity of observations, as well as the capability to collect them in locations that were previously inaccessible. Much of that work has been driven by the gaps in understanding identified by theoretical and operational practice.
Statistical Topological Approach Using Wave-Chaos for Electromagnetic Effects (STUWEE)

Predicting the nature of the scattering of short wavelength waves in random interconnected networks of large complicated enclosures is routinely encountered in diverse fields such as acoustics, wireless communications, and electromagnetic compatibility engineering. The Random Coupling Model (RCM), based on wave-chaos, is a statistical model describing the scattering of short wavelength electromagnetic waves in large complicated (chaotic) enclosures. The Baum-Liu-Tesche (BLT) electromagnetic topology formulation is a hierarchical framework based on the multiconductor transmission line (MTL) model for describing the flow of energy between different nodes on a network of MTL segments, originally developed to study the coupling of electromagnetic waves to aircraft cable bundles. In this research, we fuse the RCM with the BLT electromagnetic topology to create the “Statistical Topological Approach Using Wave-chaos for Electromagnetic Effects” (STUWEE) tool for predicting the statistics of the scattering of short wavelength electromagnetic waves in random interconnected networks of chaotic enclosures. In this Dissertation, I provide experimental results demonstrating the
ZINC IN HAIR OF THE MIDDLE POMERANIA HUMAN POPULATION (POLAND)

The aim of this work was the assessment of the age, sex, way of nutrition, environment and health state influence on zinc content in hair of population living in the Middle Pomerania. Within years of 2005.2007 hair coming from 416 persons from a ten months old child to a 75 years old person was analyzed. All people were divided into four age groups: children (0.15 years), youth (16.25), adults (26.50) and the elderly (51.75). 3.centimete rs long hair (counting from the skin) were put to chemical analyze. Then dried samples were weighed and mineralized with mixture of nitric and tetraoxochloric acides (mixed in proportion of 5:1). Zink determination was done by method of atomic absorption spectrophotometry using spectrometer ASA.3. Average zinc content in hair