Miracle-dz/UniFAR-FTUs huggingface dataset:
Evolutionary mutation testing for IoT with recorded and generated events

Mutation testing is a testing technique that has been applied successfully to several programming languages. Despite its benefits for software testing, the high computational cost of mutation testing has kept it from being widely used. Several refinements have been proposed to reduce its cost by reducing the number of generated mutants; one of those is evolutionary mutation testing (EMT). Evolutionary mutation testing aims at generating a reduced set of mutants with an evolutionary algorithm, which searches for potentially equivalent and difficult to kill mutants that help improve the test suite. Evolutionary mutation testing has been evaluated in two contexts so far, ie, web service compositions and object‐oriented C++ programmes. This study explores its performance when applied to event processing language queries of various domains. This study also considers the impact of the test data, since a lack of events or the need to have specific values in them can hinder testing. The effectiveness of evolutionary mutation testing with the original test data generators and the new internet of things test event generator tool is compared in multiple case studies.
PENANAMAN BUDAYA DAMAI VIA PENDIDIKAN

Artikel ini bertujuan untuk mendiskusikan proyek penanaman budaya damai lewat pendidikan. Pentingnya disksui ini berangkat dari pandangan bahwa pendidikan merupakan pilar utama bagi transforrnasi nilai-nilai dan pembentukan karakter. Demikian juga nilai-nilai dan kebudayaan damai serta pribadi yang berkarakter mencintai dan berperilaku damai semestinya bisa dibentuk lewat pendidikan. Namun demikian pada kenyataannya pendidikan seringkali memiliki hubungan tarik menarik dengan lingkungan soaial, politk, ekonomi dam keagamaan. Kekerasan yang ada dalam lingkungan\-lingkungan tersebut juga akan sangat berpengaruh dengan proses pendidikan. Dalam konteks semacam itu maka tidak menutup kemungkinan pendidikan juga menjadi salah satu penyangga budaya kekerasan. Proses pendidikan yang seharusnya menjadi pilar bagi syi’ar perdamaianpun bisa sebaliknya menjadi pilar syi’ar kebencian. Dari sinilah urgensi penanaman budaya damai via pendidikan.
Mortuary Ritual and Society in Bronze Age Cyprus

1. Introduction 2. Mortuary Ritual and Society: Some Theoretical Considerations 3. The Archaeological Record of Mortuary Practice in Cyprus: Formation Processes, Sampling Issues and a Methodology for Interpretation 4. The Early and Middle Bronze Age 5. The Late Bronze Age 6. Mortuary Ritual, Social Structure and Macro-Processual Change in the Cypriot Bronze Age
Production d'embryons somatiques de caféier en milieu liquide : effets densité d'inoculation et renouvellement du milieu

L'obtention et le maintien d'une souche de tissus embryogeness de cafeier sont rapportes. L'influence de la densite d'inoculation sur le nombre et le developpement des embryons est mise en evidence. Ainsi, avec une densite de 1 g de matiere fraiche/l, la concentration en embryons atteint 460 x 10 puissance 3 embryons/l en 7 semaines, soit une production moyenne de 9400 embryons/l/jour. Une inhibition de l'embryogenese apparait avec des densites d'inoculation superieures. Un renouvellement regulier du milieu de culture supprime partiellement cette inhibition. L'implication d'un phenomene d'auto-antagonisme est envisagee. La production en masse d'embryons somatiques de cafeier parait donc realisable. Elle aurait un grand interet pour une multiplication rapide et a grande echelle de genotypes interessants et faciliterait la diffusion de nouvelles varietes. (Resume d'auteur)
A Comparison of Automated Methods for Glucose Analysis in Patients with Uremia before and after Dialysis

Serum glucose measurements were performed on paired specimens from patients with uremia, before and after dialysis, to evaluate the automated glucose oxidase, ortho-toluidine, ferricyanide, and copper reduction methods. All methods were found to yield results statistically different from those of the glucose oxidase method whether glucose was measured before or after dialysis. Before dialysis, the mean difference between the ortho-toluidine and glucose oxidase method results was −9.0 mg. per dl. , and after dialysis it was −2.8 mg. per dl. ; other methods differed more from glucose oxidase. The glucose oxidase method yielded 2 mg. per dl. or less for uremic sera depleted of glucose by yeast; other methods were less specific for glucose. High uric acid concentrations depressed ortho-toluidine values. Fructose caused slight elevations in ortho-toluidine and large elevations in ferricyanide values. In view of the above findings, the glucose oxidase method is the method of choice for determining glucose values in patients with uremia. Results from 379 nonuremic sera determined simultaneously by the ortho-toluidine and ferricyanide methods were also compared. In nonuremic patients, serum fructose elevation after glucose ingestion partially accounts for the differences between the results of the ortho-toluidine and the ferricyanide methods observed.
Prevalence and Factors related to Irritable Bowel Syndrome in University Students

Purpose: The purpose of this study was to identify the prevalence of irritable bowel syndrome and factors related to irritable bowel syndrome (IBS) in university students. Methods: A cross-sectional, descriptive study was conducted using a self-report structured questionnaire with 420 university students. Data collection was done during May and June, 2017. The data were analyzed using descriptive statistics, a t-test, x test, and binary logistic regression analysis with IBM SPSS/WIN 22.0 program. Results: The prevalence for IBS was 24% among Korean university students. Family history of IBS (OR=2.98, 95% CI=1.32~6.70), history of stomach and intestinal disease (OR=2.24, 95% CI=1.36~3.77), sleep quality (OR=2.01, 95% CI=1.16~3.48), mild anxiety (OR=2.75, 95% CI= 1.19~6.33) and more than moderate anxiety (OR=2.02, 95% CI=1.02~4.00) were found to be factors related to IBS. Conclusion: The prevalence of IBS was high among university students, and sleep quality and anxiety significantly influenced prevalence of IBS in these students. Therefore, interventions to decrease symptom of IBS must focus on management of sleep quality and anxiety.
Keberkesanan program pemulihan tingkah laku di Taman Sri Puteri, Batu Gajah dan Kompleks Dar-As-Saadah

Taman Seri Puteri Batu Gajah, Perak dan Kompleks Dar-Assaâ€™dah, Kuala Lumpur. Di institusi ini, delikuen wanita akan menjalani program pemulihan yang bertujuan untuk memberi bimbingan dan pendedahan kepada mereka sebagai persediaan untuk diterima semula oleh masyarakat. Instrument kajian ialah soal selidik yang digunakan ini diubahsuai daripada kajian Azizi(1990) dan Azizi ( 2004). Darjah kebolehpercayaan soal selidik diuji dengan menggunakan Cronbach Alpha di mana nilai keseluruhannya ialah 0.961. Seramai 79 orang pelatih terdiri penghuni yang telah menjalani sekurang-kurangnya 6 bulan program pemulihan tingkah laku di kedua-dua institusi dipilih sebagai responden. Pemboleh ubah yang digunakan dalam kajian ialah Kemudahan dan Kelengkapan yang sedia ada, Program Vokasional, Program Kokurikulum, Program Keagamaan dan Program Bimbingan serta Kaunseling. Dapatan kajian menunjukkan Kemudahan dan Kelengkapan yang tersedia berada di tahap sederhana. Begitu juga Program Vokasional, Program Kokurikulum dan Program Bimbingan dan Kaunseling kurang berkesan. Program Keagamaan adalah berkesan. Tidak terdapat perbezaan yang signifikan antara Kemudahan dan Kelengkapan yang sedia ada, Program Vokasional dan Program Kokurikulum di Taman Seri Puteri Batu Gajah, Perak dan Kompleks Dar-Assaâ€™dah, Kuala Lumpur. Terdapat perbezaan yang signifikan di antara Program Keagamaan dan Program Bimbingan dan Kaunseling di Taman Seri Puteri Batu Gajah, Perak dan Kompleks Dar-Assaâ€™dah, Kuala Lumpur. (katakunci: pusat pemulihan, delikuen wanita, kemudahan dan kelengkapan, program vokasional, program kokurikulum, program keagamaan, program bimbingan dan kaunseling) Abstract: The purpose of this study is to evalute the effectiveness of the programmes conducted by two rehabilitation centres for female delinquents. In these centres, the delinquents undergo programmes which aimed to give guidance and help the delinquents change their unwanted behaviour. The data were collected using questionnaires which was adapted from the research done by Azizi (1999) and Azizi (2004). Alpha Cronbach is used to test the reliability of this research. It showed that the overall Alpha value for the programmes is 0.93. A total of 79 respondents were chosen at simplified random to be the respondents of the research. The variables used in the research are the facilities, Vocational Programme, Co-curriculum Programme, Religious Programme and Counseling Programme. The overall findings of the research indicates that facilities and Counseling programme to be less effective compared to Vocational Programme, Co-curriculum Programme, Religious Programme. The results of the research showed that there is no significant difference in the way the facilities, Vocational Programme and Co-curriculum Programme was carried out in these two institution, namely Taman Seri Puteri Batu Gajah, Perak and Kompleks Dar-Assaâ€™dah, Kuala Lumpur. There are significant differences between the Religious Programme and Counseling Programme in these two institutions.
Passive Implementation of Multibody Simulations for Haptic Display

This paper addresses the issue of providing stability guarantees during the implementation of multibody simulations for haptic display. It introduces the concept of a virtual coupling between the multibody simulation and haptic display hardware. This coupling separates the simulation design process from the sampled-data stability issues that arise during its implementation with a haptic display. Necessary conditions for passivity of a 1-DOF haptic display with a discrete-time passive simulation and an arbitrary virtual coupling are given. The implications of discrete-time passivity on numerical integration and collision response algorithms are also addressed.
An Investigation of Resource-Allocation Decisions by Means of Project Networks

This paper investigates the relationship between resource allocation and ES-policies, which are a type of scheduling policies introduced for stochastic scheduling and which can be represented by a directed acyclic graph. We present a formal treatment of resource flows as are presentation of resource-allocation decisions, extending the existing literature. A number of complexity results are established, showing that a number of recently proposed objective functions for evaluating the quality of ES-policies lead to difficult problems. Finally, some reflections are provided on possible effciency enhancements to enumeration algorithms for ES-policies.
Paradoxical role for adiponectin in chronic renal diseases? An example of reverse epidemiology

Adiponectin (ADPN) is an adipocyte-derived protein with potential antiatherogenic properties. In the general population, ADPN serum levels are associated with age and body mass index (BMI), type 2 diabetes and presumably cardiovascular disease. The suspected vascular-protective effects are mediated by several mechanisms such as insulin sensitizing, maintaining endovascular homeostasis and anti-inflammatory properties. Patients with chronic kidney disease (CKD) are subjected to an increased cardiovascular risk. The underlying mechanisms are not yet completely understood although in the last few years numerous studies have linked secondary hyperparathyroidism and inflammation to that risk. It is currently not clear whether, in CKD, ADPN plays the same role as it is thought to do in the general population or if the uremic environment overwhelms the vascular-protective impact of ADPN. Therefore, characterizing ADPN levels and kinetics in CKD and comparing its concentrations with surrogate markers of cardiovascular risk in CKD might contribute to a better understanding of adipocytokine signaling in renal disease. The review summarizes the available literature on ADPN measurement, regulation and therapeutic potential in general population and CKD. In our investigations, ADPN was more than twofold increased in hemodialysis patients compared with the general population. ADPN levels were not associated with age, but with lifetime spent on dialysis (vintage) and BMI. The dialysis procedure had no effect on ADPN. To assess the clinical value of ADPN levels as a potential surrogate of cardiovascular risk in or therapeutic target in CKD, end point-driven studies with special regard to the risk behavior in CKD have to be performed.
The relative value of anti-Müllerian hormone to predict premature menopause in patients receiving adjuvant chemotherapy for breast cancer: Results from the OPTION trial.

1094 Background: The OPTION trial in premenopausal women tested the ovarian protection effect of goserelin (G) given randomly before and during adjuvant chemotherapy for breast cancer. Methods: Using standard chemotherapy, women were randomised in 2 strata, under 40 yrs and over 40 yrs at diagnosis. 227 patients were recruited by end December 2009. 173 met the criteria for 1 year follow-up for this analysis; 140 patients of these had provided adequate data on menstrual bleeding; 87 patients were aged under 40 and 53 patients were aged over 40 at the time of chemotherapy. Cessation of menstruation during chemotherapy was defined as at least two consecutive cycles with no menstrual bleeding since the previous cycle and no return of menstrual bleeding prior to the final cycle of chemotherapy. Of those patients who had ceased periods during chemotherapy, those with no further menstrual bleeding at 12 months follow up were deemed to be menopausal. Patients were randomised to receive G or no G at start of chemo.
Comparison of Hemodynamic Effects of Inhaled Milrinone and Inhaled Prostacyclin after Adult Cardiac Surgery

2 Abstract: Several preoperative co nditions increase the ri sk of developing perioperative p ulmonary hypertension i n c ardiac surgery. The use of inhaled mi lrinone has recently been described to i nduce a dose-dependent selective pulmonary vasodilatation in cardiac surgical patients with pulmonary hypertension. 2 Also, ae rosolized form of P GI causes a selective dilatation of t he pulmonary v essels w ithout syste mic hypotension encountered with the intravenous administration. The aim of the present study was to compare the effects o f i nhaled milrinone and aerosolized prostacyclin on pulmonary a nd systemic hemodynamic responses in cardiac surgery patients with pulmonary hypertension. 95 patients with pulmonary hypertension el ectively scheduled f or c ardiac operations required car diopulmonary bypass were e nrolled in this prospective, randomized non-blind study. The patients were randomly allocated to one of 2 groups, GroupI: Received inhaled milrinone which was administered through endotracheal tube b y inhalation preceding the initiation of CPB.5milligrams (1mg/ml) was administered, resulting in a dose ranging from 50-80 ug/kg, over 5 mi nutes. Group II: Received E poprostenol which was given through the endotracheal tube b y inhalation, preceding the CPB, as Epoprostenol salt dissolved in a sterile gl ycine b uffer, for a 2 concentration of 1 5 ug/ml.Each patient re ceived 5 ml o f solution containing PGI . H emodynamic parameters were measured after induction of anaesthesia (T1) ,15 mi nutes after nebulization of the study drug(T2) , 15 (T3) and 30 minutes(T4) af ter weani ng f rom CPB and on arrival to ICU(T5). The hemodynamic variables were: heart rate(HR),mean arterial pressure(MAP), mean pulmonary artery pressure (MPAP),cardiac index(CI),systemic vascular resistance (SVR)and pulmonary vascular resistance (PVR). There were no differences in MAP, MPAP, S VR or P VR among the two groups a t an y d ata point. Also, there were no significant differences among the two groups for CI or right ventricular ejection fraction ( RVEF) . Patients in pr ostacyclin g roup had longer intubation time, ICU LOS, hospital LOS t han that in mi lrinone group.However,none of these di fferences reach s tatistical significance. We c oncluded that inhaled milrinone is as effective as inhaled prostacyclin in reducing the pulmonary artery pressure and pulmonary vasc ular resistance without sy stemic h emodynamic sid e e ffects.
Optimisation de l'efficacité énergétique des applications numériques en technologie FD-SOI 28-14nm

Ces dix dernieres annees, la miniaturisation des transistors MOS en technologie planaire sur silicium massif connait une augmentation considerable des effets parasites lies a la reduction de la longueur du canal. Ces effets canaux courts ont pour consequence de degrader les performances des transistors, rendant les circuits moins efficaces energetiquement et plus sensibles aux phenomenes de fluctuations des procedes de fabrication. Ainsi, cette technologie fait face a une vraie barriere pour les noeuds inferieurs a 32nm.Pour repondre aux besoins des dispositifs mobiles alliant hautes performances et basse consommation, la technologie planaire sur isolant completement desertee (FD-SOI pour Fully depleted Silicon-On-Insulator) apparait comme une solution adaptee. En effet, grâce a son film de silicium mince et non dope, le transistor MOS dispose d’un meilleur controle electrostatique du canal et d’une faible variabilite de sa tension de seuil. De plus, cette technologie offre la possibilite de moduler la tension de seuil des transistors grâce a une polarisation etendue a ±3V des caissons situes sous la fine couche d’oxyde enterre. Ainsi, cette specificite apporte aux concepteurs de circuits integres un levier supplementaire permettant de moduler les performances d’un circuit ainsi que d’en optimiser son efficacite energetique.Le travail de recherche de these presente dans ce memoire a contribue au developpement de la plateforme technologique FD-SOI pour les noeuds 28 puis 14nm. Dans un premier temps, l’exploitation d’un chemin critique extrait d’un coeur de processeur ARM Cortex-A9 a permis d’evaluer a la fois les gains intrinseques apportes par la technologie FD-SOI ainsi que ceux produits par la modulation de la tension de seuil des transistors par polarisation du substrat. Cette technique permet ainsi de diviser jusqu’a 50 fois le courant statique d’un circuit lorsqu’il est inactif, ou encore par 2 l’energie totale necessaire a frequence constante. Ces nombreuses analyses ont permis, dans un second temps, de proposer plusieurs solutions de conception visant une nouvelle fois a optimiser l’efficacite energetique des circuits integres. Parmi celles-ci, la conception d’une structure a caisson unique permet notamment de resoudre les difficultes de co-integration multi-VT classique, presentes en FD-SOI. Cette approche offre egalement aux concepteurs une solution performante pour les circuits fonctionnant avec une tres large gamme de tensions d’alimentation. En effet, a l’aide d’une seule tension de substrat, les transistors n et p-MOS peuvent etre simultanement reequilibres permettant ainsi de reduire fortement la tension minimale d’alimentation du circuit.
Investigating Hypertension Prevalence and Some of Its Influential Factors in an Ethnically Variant Rural Sample

Introduction: This study was conducted to determine the prevalence of hypertension and its associated risk factors in a rural population with ethnic variation. Methods: This was a cross sectional study conducted in rural areas of Agh- Ghola in Golestan province. 1500 thirty-plus- year-old participants were selected by cluster sampling method. Due to the nature of the variables, the data were collected through interview, measurement and observation, and they were analyzed through logistic regression. Results: The prevalence of hypertension was 18.4% and women suffered more from the disease than men did. Hypertension prevalence in Turkmen was greater than that in Baluchi and Sistani ethnic groups. There was also a significant relationship between hypertension and lack of physical activity, and with the age increase, the hypertension prevalence also showed an increasing trend. Major risk factors were: age over 60, high BMI, lack of physical activity and high proportion of abdominal to hip circumference. Conclusion: The higher prevalence of hypertension among Turkmen was firstly because of the weight-gain and higher BMI, and secondly due to lack of physical activity. The higher susceptibility of women to hypertension was due to the higher frequency of risk factors among them, no the effect of their gender.
Developing Students’ Statistical Reasoning: Connecting Research and Teaching Practice

Foreword Roxy Peck Preface Joan Garfield and Dani Ben-Zvi Part I. The Foundations of Statistics Education Chapter 1 The Discipline of Statistics Education Chapter 2 The Research on Teaching and Learning Statistics Chapter 3 Creating a Statistical Reasoning Learning Environment Chapter 4 Assessment in Statistics Education Chapter 5 Using Technology to Improve Student Learning of Statistics Part II. From Research to Practice: Developing the Big Ideas of Statistics Introduction to Part II Connecting Research to Teaching Practice Chapter 6 Learning to Reason about Data Chapter 7 Learning to Reason about Statistical Models and Modeling Chapter 8 Learning to Reason about Distribution Chapter 9 Learning to Reason about Center Chapter 10 Learning to Reason about Variability Chapter 11 Learning to Reason about Comparing Groups Chapter 12 Learning to Reason about Samples and Sampling Distributions Chapter 13 Learning to Reason about Statistical Inference Chapter 14 Learning to Reason about Covariation Part III. Implementing Change through Collaboration Introduction to Part III The Role of Collaboration in Improving Statistics Education: In Learning, in Teaching, and in Research Chapter 15 Collaboration in the Statistics Classroom Chapter 16 Collaboration in Teaching and Research ReferencesResources Tables of Activities Author Index Subject Index
A Comparison of Real-Time Extraction between Chebyshev and Butterworth Method for SSVEP Brain Signals

In this paper, a comparison of real-time extraction using the IIR Chebyshev of 4 order and the IIR Butterworth of 6 order methods is proposed. In the Experiment, the steady-state visual evoked potential with stimuli frequencies of 7,5 10, 15, and 20 Hz is used to control the wheelchair directions (i.e., stop, forward, right, and left). The data were collected from a session in which fourteen subjects with age about 24±2 years were tested. The total average classification accuracy of 82% and 62.2% for Chebychev and Butterworth extraction method are achieved. The higher average classification accuracy of 100% and 92.8% for both methods, respectively, are obtained for forward direction (8.75-12.5Hz).
The LIMSI Continuous Speech Dictation Systemt

A major axis of research at LIMSI is directed at multilingual, speaker-independent, large vocabulary speech dictation. In this paper the LIMSI recognizer which was evaluated in the ARPA NOV93 CSR test is described, and experimental results on the WSJ and BREF corpora under closely matched conditions are reported. For both corpora word recognition experiments were carried out with vocabularies containing up to 20k words. The recognizer makes use of continuous density HMM with Gaussian mixture for acoustic modeling and n-gram statistics estimated on the newspaper texts for language modeling. The recognizer uses a time-synchronous graph-search strategy which is shown to still be viable with a 20k-word vocabulary when used with bigram back-off language models. A second forward pass, which makes use of a word graph generated with the bigram, incorporates a trigram language model. Acoustic modeling uses cepstrum-based features, context-dependent phone models (intra and interword), phone duration models, and sex-dependent models.