Miracle-dz/UniFAR-FTUs huggingface dataset:
Diagnosis of the Induction Machine Using Advanced Signal Processing Methods

This work is a part of the thematic of monitoring and fault diagnosis of the squirrel cage threephase induction machine. The choice of this type of machine is justified by the growing success it has exhibited, mainly, in the electric drives with variable speed. Signal based detection methods are presented is validated in simulation. The proposed diagnosis approach requires only little experimental data, and more importantly it provides efficient simulation tools that allow characterizing faulty behavior.In this study, the proposed approach considers the value of rotor resistance as fixed for condition monitoring. This value in the diagnostic tools which one uses is not fixed contrary to the classical approaches of control of machine.
Angiotensin-converting enzyme inhibitors: An ACE in the hole for everyone?

220 ABSTRACT: Angiotensin-converting enyzme inhibitors (ACEIs) are commonly used to treat cardiovascular disorders. The use of ACEIs for hypertension is well established, although these agents have not proven to be superior to other antihypertensive agents. The use of ACEIs in heart failure is also well established, and has proven to reduce morbidity and mortality. ACEIs are now routinely used in myocardial infarction patients to reduce reinfarction and mortality risk, and are combined with a diuretic for secondary prevention in stroke patients. Proof that ACEIs also re duce the progression of diabetic neph ro pathy supports their use in all diabetic patients. With the evidence of efficacy now available, angiotensinconverting enzyme inhibitors should be considered for all patients with diabetes or a history of cardiovas cular disease, except for those at low risk. T he use of angiotensinconverting enzyme inhibi tors (ACEIs) is ubiquitous in the treatment of cardiovascular disorders. These agents inhibit the action of the angiotensinconverting enzyme that catalyzes the conversion of angiotensin I to angio tensin II, a potent vasoconstrictor. Inhibition of angiotensin II results in vasodilation, reduced sodium retention, and reduced sympathetic and renin-angiotensin-aldosterone system activation. There is considerable evidence available supporting the use of ACEIs in patients with hypertension, heart failure, and myocardial infarction (MI), and for prevention of secondary stroke, cardiovascular events, and diabetic nephropathy. ACEIs are considered contraindicated in patients with hyperkalemia, previous angio edema with ACEIs, pregnant patients, and patients with bilateral renal artery stenosis.
Revelation Mechanisms and Allocative Efficiency

We show that revelation mechanisms affect owners' valuations of the assets they own and that different mechanisms provide owners with the incentive to reveal&#8212;truthfully&#8212;different valuations. Self&#8208;assessment of property with compulsory sale at the self&#8208;assessed price is the only known mechanism that promotes allocative efficiency by providing efficient incentives for transferring property to those who value it most. We introduce two modifications of the standard self&#8208;assessment mechanism that maintain full incentives to invest and raise as much public revenue as can be raised efficiently.
Heuristic search under time and cost bounds

Intelligence is difficult to formally define, but one of its hallmarks is the ability find a solution to a novel problem. Therefore it makes good sense that heuristic search is a foundational topic in artificial intelligence. In this context "search" refers to the process of finding a solution to the problem by considering a large, possibly infinite, set of potential plans of action. "Heuristic" refers to a rule of thumb or a guiding, if not always accurate, principle. Heuristic search describes a family of techniques which consider members of the set of potential plans of action in turn, as determined by the heuristic, until a suitable solution to the problem is discovered. This work is concerned primarily with suboptimal heuristic search algorithms. These algorithms are not inherently flawed, but they are suboptimal in the sense that the plans that they return may be more expensive than a least cost, or optimal, plan for the problem. While suboptimal heuristic search algorithms may not return least cost solutions to the problem, they are often far faster than their optimal counterparts, making them more attractive for many applications. The thesis of this dissertation is that the performance of suboptimal search algorithms can be improved by taking advantage of information that, while widely available, has been overlooked. In particular, we will see how estimates of the length of a plan, estimates of plan cost that do not err on the side of caution, and measurements of the accuracy of our estimators can be used to improve the performance of suboptimal heuristic search algorithms.
Upaya peningkatan kompetensi guru berdasarkan system thinking

Penelitian ini bertujuan untuk menemukan masalah mendasar yang menyebabkan uji kompetensi guru rendah beradasarkan berpikir sistem (system thinking) sehingga masalah mendasar tersebut dapat menjadi daya ungkit dalam penyelesaian masalah rendahnya kompetensi mutu dan kompetensi guru di Aceh. Pendekatan Kualitatif digunakan dalam penelitian ini, subjek penelitian terdiri dari guru Sekolah Dasar di Banda Aceh yang dipilih secara random, kepala sekolah dan dinas pendidikan kota. Data dikumpulkan melalui wawancara, dan studi dokumentasi serta kajian literatur Neraca Pendidikan Daerah (NPD) dari tahun 2015 –2017, di hubungkan dengan beberapa hasil penelitian dan pernyataan tokoh-tokoh pendidikan serta pemerintah terkait masalah Uji Kompetensi Guru. Analisis dimulai dari data reduction, data display, dan conclusion drawing/verification, hasil penelitian menunjukkan bahwa terdapat tiga pilar dalam berpikir sistem sebagai daya ungkit dalam permasalahan rendahnya mutu dan kompetensi guru yaitu reinforcing berkaitan dengan peningkatan kapabilitas guru, balancing berkaitan dengan perubahan sistem proses rekruitmen guru, dan delaying berkaitan dengan politik dan politisasi pendidikan. Improving teacher competence based on system thinkingAbstractThis study aims to find a fundamental problem that causes low teacher competency test based on system thinking so that the fundamental problem can be a leverage in solving the problem of low-quality competency and teacher competency in Aceh. The Qualitative approach was used in this study, the research subjects consisted of randomly selected elementary school teachers in Banda Aceh, the head of the school and the city education office. Data were collected through interviews, and documentation studies as well as a literature review of the Regional Education Balance (NPD) from 2015-2017, linked to several research results and statements from education and government figures regarding the issue of Teacher Competency Test. The analysis starts from data reduction, data display, and conclusion drawing/verification, the results of the study show that there are three pillars in system thinking as leverage in the problem of low quality and teacher competency, namely reinforcing with regard to increasing teacher capabilities, balancing in relation to changes in the recruitment system teacher, and delaying with regard to politics and the politicization of education.
THE INTEGRATION OF NAQLI AND AQLI ELEMENTS IN THE ENGLISH FOR ACADEMIC PURPOSES COURSE: WHAT DO THE STUDENTS SAY?

Nurturing a noble generation and a knowledgeable society through the integration of Naqli or Revealed knowledge (Quran and Sunnah) and Aqli or acquired knowledge (worldly knowledge) is the philosophy of the Islamic Science University of Malaysia (USIM). This paper describes part of the findings of a larger study which explores the integration of Naqli and Aqli elements in the English for Academic Purposes (EAP) course. Employing a qualitative approach, the researchers conducted face-to-face, semi-structured interviews with first year students who have undergone the EAP course. As revealed in the results of the interviews, the students are found to have minimal awareness and understanding of the Naqli and Aqli concept, and that their EAP instructors only superficially explain the concept of Naqli and Aqli in their lessons. Even so, the students are optimistic, and believe that the integration could be more successful and holistic to fulfil the University’s mission and vision in generating respectable Muslim ummah. Abstrak Memelihara generasi mulia dan masyarakat yang berpengetahuan melalui integrasi pengetahuan Naqli (Quran dan Sunnah) dan Aqli (pengetahuan duniawi) adalah falsafah Universiti Sains Islam Malaysia (USIM). Kertas kerja ini menerangkan sebahagian daripada penemuan kajian yang lebih besar yang meneroka pengintegrasian unsur-unsur Naqli dan Aqli dalam kursus Bahasa Inggeris untuk Keperluan Akademik (EAP). Melalui pendekatan kualitatif, para penyelidik melakukan temu bual secara bersemuka dan separa berstruktur dengan pelajar tahun pertama yang telah menjalani kursus EAP. Seperti yang dijelaskan dalam hasil temu bual, para pelajar didapati mempunyai kesedaran dan pemahaman yang minima mengenai konsep Naqli dan Aqli, Para pengajar EAP juga tidak menyentuh konsep Naqli dan Aqli secara mendalam. Walau bagaimanapun, para pelajar masih bersifat optimistik dan percaya bahawa integrasi tersebut berpotensi menjadi lebih berjaya dan holistik untuk memenuhi misi dan visi Universiti dalam menghasilkan umat Islam yang dihormati.
Ar and Kr on deuterium gas-puff staged Z-pinch implosions on a 1-MA driver: Experiment and simulation

Recent experiments on the 1 MA, 100 ns Zebra driver at the Nevada Terawatt Facility at the University of Nevada, Reno, investigated the compression of a deuterium target by a high-atomic-number (Ar or Kr) gas-puff liner. Pinch stability improved with axial premagnetization of 1–2 kG observed as a decrease in magneto-Rayleigh-Taylor instability growth. Implosion dynamics and stagnation conditions were studied computationally with the radiation-MHD code MACH2 using initial conditions that approximate those in the experiment. Typical average and peak implosion velocities exceeded 300 and 400 km/s, respectively, which raised the target adiabat by shock heating as the front converges on axis, at which time the target is adiabatically compressed to stagnation. Experimental fusion yields of up to 2 × 109 for Ar liner on D target implosions were measured, while with a Kr liner yields up to 1 × 1010 were measured. Higher yields in Kr compared to Ar were also calculated in 2-D MACH2 simulations. These observations will be further tested with other radiation-MHD codes, and experiments on the 1 MA LTD-III machine at UC San Diego.Recent experiments on the 1 MA, 100 ns Zebra driver at the Nevada Terawatt Facility at the University of Nevada, Reno, investigated the compression of a deuterium target by a high-atomic-number (Ar or Kr) gas-puff liner. Pinch stability improved with axial premagnetization of 1–2 kG observed as a decrease in magneto-Rayleigh-Taylor instability growth. Implosion dynamics and stagnation conditions were studied computationally with the radiation-MHD code MACH2 using initial conditions that approximate those in the experiment. Typical average and peak implosion velocities exceeded 300 and 400 km/s, respectively, which raised the target adiabat by shock heating as the front converges on axis, at which time the target is adiabatically compressed to stagnation. Experimental fusion yields of up to 2 × 109 for Ar liner on D target implosions were measured, while with a Kr liner yields up to 1 × 1010 were measured. Higher yields in Kr compared to Ar were also calculated in 2-D MACH2 simulations. These observations .
Genetic Analysis of a Cryptic Contact Zone between Mitochondrial Clades of the Eastern Red-Backed Salamander, Plethodon cinereus

Abstract. When evolutionarily divergent lineages adjoin their geographic ranges after a period of isolation, myriad outcomes can occur, from population anastomosis to the evolution of reproductive isolation by way of reinforcement. Hybrid zones represent natural experiments that may indicate whether lineages will maintain their evolutionary independence. Here, we report on a hybrid zone in the Eastern Red-Backed Salamander, Plethodon cinereus, a highly abundant and wide-ranging terrestrial salamander found in the northeastern United States and in southeastern Canada. An earlier study identified six distinct mitochondrial clades across the range of P. cinereus. Populations of two of these clades were as close as 9.6 km apart in Lorain County, Ohio, USA. To investigate the nature of this contact zone, we sampled 316 individuals from 16 sites along a 53-km transect, and analyzed 10 microsatellite loci and one mitochondrial locus. We found a clinal transition for mtDNA haplotypes. In contrast, most studies of terrestrial plethodontid salamanders commonly exhibit sharp boundaries between mtDNA clades. Microsatellite markers, however, revealed little differentiation and weak population structure, suggesting the nuclear cline, if it exists, lies outside of our sampling region. Explanations for the discordance between the mitochondrial DNA and our microsatellite data include lineage sorting, male-biased dispersal, or historical introgression of mtDNA, among other possibilities. We compare our results with other studies of introgression in terrestrial salamanders, and discuss the causes of mitonuclear discordance.
Sustainable Assets and Strategies for Affecting the Income of Forestry Household: Empirical Evidence from South Korea

This study aims to identify the factors determining the income of forestry household in South Korea. We examine an empirical analysis using 3-year panel data conducted by the Korea Forest Service charged with maintaining South Korea's forest lands. The hypothesized factors determining the income of forestry household are classified into four types of assets and three types of livelihood strategies. We divided the income of forestry household (IFH) into three elements: forestry income (FI), non-forestry income (NFI), and transfer income (TI). We assessed the influences of household assets and livelihood strategies on each income. A random effect model was used as a statistical analysis with valid 979 of forestry household for three years. We found that household head's age, labor hours, savings, business category, cultivated land size, and region are significantly associated with IFH. Also, FI is influenced by labor capacity, cultivated size, business category, forestry business portfolio, and region while NFI is determined by household head's age, household head's gender, forestry business portfolio, and savings. TI is affected by household head's age, household head's education level, forestry business portfolios, savings, and region. The effect sizes and directions vary across different types of income (IFH, FI, NFI, and TI). The findings show that forestry in South Korea is highly dependent on sustainable assets and strategies. It is therefore expected that the effectiveness of forest policies to increase the income of forestry household would be differed by the source of each income. The results of this study draw attention to the need for an income support policy that should consider the characteristics of household assets and livelihood strategies in order to enhance IFH in South Korea.
Hemochromatosis-related mutation detection.

To the Editor: In her recent letter to BLOOD, Dr Lynas reports the development of a “cheaper and more rapid polymerase chain reaction (PCR) restriction fragment length polymorphism (RFLP) technique”1 for detection of mutations in HFE, 2 the candidate gene for hemochromatosis. The PCR-RFLP
Urban resilience and distributive justice

ABSTRACT There is a growing awareness of the (potential) tensions be-tween urban resilience and justice. This paper provides a systematic account of justice issues in the context of urban resilience to natural disasters. On the one hand, I will demonstrate that the underlying understanding of resilience – as bouncing back/forward – shapes our understanding of the interplay between justice and resilience. On the other hand, I will argue that we should not only avoid unjust outcomes in the process of building resilience but also consider resilience engineering as a way of promoting urban justice.
FAKTA: An Automatic End-to-End Fact Checking System

We present FAKTA which is a unified framework that integrates various components of a fact-checking process: document retrieval from media sources with various types of reliability, stance detection of documents with respect to given claims, evidence extraction, and linguistic analysis. FAKTA predicts the factuality of given claims and provides evidence at the document and sentence level to explain its predictions.
Introgression of Austrian fire-bellied toads (Bombina bombina) into northern German populations confirmed by complete mitochondrial genomes and transcriptome-wide Single Nucleotide Polymorphisms (SNPs)

The fire-bellied toad (Bombina bombina) is a small amphibian species inhabiting the lowlands of Central and Eastern Europe. Continual population fragmentation has caused a decrease in genetic diversity and gene flow in margin populations in Northern Germany. Previous research using mitochondrial control region data uncovered a translocation of allochthonous toads from Austria into a single northern German population, Högsdorf. Microsatellite and MHC data also confirmed this introgression, but were limited in revealing the true extent of this translocation for all investigated populations. Here, we utilize complete mitochondrial genomes and nuclear data, in the form of transcriptomes, to unravel the full extent of admixture from this translocation. The increased number of loci enabled us to uncover signs of introgression in four out of the five northern populations investigated. Moreover, as hybrids between B. bombina and its sister species, B. variegata, have been reported in Austria, we also investigated whether B. variegata alleles were translocated into the northern gene pool. We found evidence for hybridization between Austrian B. bombina and B. variegata, as well as traces of B. variegata alleles in one of the five German populations included in this study. These findings present the first reported case of introgressed relict B. variegata alleles from the Southern lineage being detected in Northern Germany.
HCV Elimination Campaign and Risk Factors of HCV Infection in Arkhangai Province in Mongolia

Background: Most viral hepatitis deaths in 2015 were due to chronic liver disease (720,000 deaths due to cirrhosis) and primary liver cancer (470,000 deaths due to hepatocellular carcinoma). Mongolia has a relatively high sero-prevalence of HCV nationally, approximately 6% (CDA Foundation/Polaris Observatory). Mongolia has a large burden of viral hepatitis, especially chronic hepatitis B virus (HBV) and hepatitis C virus (HCV) infections, which are associated with cancer and cirrhosis. Methods: All adults aged 40 - 65 years being tested for anti-HCV antibodies during the campaign of Arkhangai province. Risk assessment survey questionnaire that includes about behavioral and clinical factors potentially associated with HCV infection was used for optioning data. Statistical analysis that was done using SPSS version 21 was used for data analyzed. The relevant parametric and nonparametric tests were used for data analysis. Result: All 17,601 surveyed of individuals were tested for HCV by using ELISA test for detecting the anti-HCV Ab; 3289 of them were positive and 3049 of them had detected a viral load test. Most of screened population was female (9095, 52.0%), mainly herdsman (7206, 40.9%), married (15,425, 87.6%), educated secondary level school (11,997, 68.2%) and aged between (9289, 52.8%). Significantly high number of female (60.6%), retired people (31.4%), single (13.8%) and people aged 55 - 59 years (21.6%) were infected more HCV-positive than other groups. Patients with HCV were more likely than uninfected individuals to have undergone any kind of surgery, wound and bloodletting treatment in life time. In addition, individual’s job plays important role to get infected with HCV. Only 914 (5.2%) individuals were reported that had no risk factors. 16.6 percent of screened individual were reported they had at least 3 types of risk factors. In total 10,524 individuals were reported that they had more than 4 risk factors to possibility to getting infected with HCV. Conclusion: In total, 19.5 percent of screened individuals had anti-HCV antibody, and most of them was not known not only mothers and sexual partners but also own infection to HCV. Mongolian prevalence of anti-HCV was relatively high. As would be predicted based on accepted risk factors, HCV-positive participants were more likely to have used injection at the non-medical environment, and had any kind of dental procedure, received blood transfusion, been shared needles/injection at the non-hospital environment. Also variety of personal behaviors like having any kind of tattoos influenced significantly to infected to HCV.
Building change detection from remotely sensed images based on spatial domain analysis and Markov random field

Abstract. With the rapid development of urban areas, construction areas are constantly appearing. Those changed areas require timely monitoring to provide up-to-date information for urban planning and mapping. As a result, it is a challenge to develop an effective change detection technique. In this work, a method for detecting building changes from multitemporal high-resolution aerial images is proposed. Different from traditional methods, which usually depict building changes in the color domain (e.g., using pixel values or its variants as features), this work focuses on analyzing building changes in the spatial domain. Moreover, contextual relations are explored as well, in order to achieve a robust detection result. In detail, corners are first extracted from the image and an irregular Markov random field model is then constructed based on them. Energy terms in the model are appropriately designed for describing the geometric characteristics of the building. Change detection is treated as a classification process, so that the optimal solution indicates corners belonging to changed buildings. Finally, changed areas are illustrated by linking preserved corners followed by postprocessing steps. Experimental results demonstrate the capabilities of the proposed method for change detection.
Fast and robust detection of oil palm trees using high-resolution remote sensing images

Oil palm tree detection is of great significance for improving the irrigation, estimating the yield of palm oil, and predicting the expansion trend, etc. Existing tree detection methods include traditional image processing, machine learning methods, and sliding window based deep learning methods. In this paper, we proposed a deep learning based end-to-end method for oil palm detection in large scale. First, we built an oil palm sample dataset from 0.1m-resolution Unmanned Aerial Vehicle (UAV) images. Second, we implemented five state-of-the-art object detection algorithms (i.e. Faster- RCNN, VGG-SSD, YOLO-v3, RetinaNet and Mobilenet-SSD) and evaluated their performances for detecting the tree crown size and the location of oil palms. Moreover, we designed an overlapping partition method to improve the oil palm detection results of the UAV images in over 40,000 × 40,000 pixels. Experiment results demonstrate that in terms of the detection accuracy, VGG-SSD achieves the best accuracy of 90.91% on the validation dataset, followed by YOLO-v3, RetinaNet, Mobilenet-SSD and Faster RCNN. Meanwhile, we compared the detection time of the five object detection algorithms. Mobilenet-SSD achieves the highest detection speed among five algorithms (12.81ms per image in 500×500 pixels), with the speedup ratios of 17.5×, 10.2×, 4.51×, and 17.33× compared with Faster-RCNN, VGG-SSD, YOLO-v3 and RetinaNet. The results show that our proposed oil palm detection method is of great practical value to the precision agriculture of the oil palm industry.