Miracle-dz/UniFAR-FTUs huggingface dataset:
Interactive process mining

A process is a series of actions performed in order to achieve a particular task or goal. Processes are omnipresent, for example, a manufacturing process which deals with the production of some goods, a loan application process in a bank, a hospital visit of a patient. The human understanding of these processes is usually facilitated by representing them as intuitive graphical models. Typically a domain expert, who has a high level overview of the end-to-end execution of a process, constructs the expected process model. Since these modeling notations offer intuitive visualization of processes, the resulting models have proved to be valuable artifacts to enable communication of complex knowledge in a comprehensible way across people from dissimilar backgrounds. The process model as described by a domain expert is the best guess, of how a process acts, or should act. However, reality may not always conform to this expected behavior of the process. The execution histories of processes, called event logs, can be easily extracted from the corresponding information systems. For example, the event logs of an administrative process can be extracted from an Enterprise Resource Planning (ERP) system, or the event logs of a careflow process in a hospital can be extracted from the hospitals Electronic Health Record (EHR) system. These event logs provide a view on the execution of processes in reality and can thus be used to discover process models when the process model is unknown, or to analyze the behavior of the process in reality. This branch of science which uses event logs to analyze the process behavior is known as process mining. Process modeling and process mining are typically on the extreme ends of a spectrum. On one end, we have the process mining techniques, which analyze event logs in order to automatically deduce insights, for example discovering process models. The user has very little influence when using such techniques, and usually, it is not possible to incorporate the domain knowledge during process mining. On the other end, we have the traditional process modeling tools which are completely user driven and use no historical evidence from the event logs during process modeling. In the manual process modeling scenario, the user may miss out on important real-life execution information that may be present in the event logs. Whereas the automated process mining techniques may produce results which may be inaccurate and incomprehensible due to noisy and/or incomplete event logs. In this thesis, we address this gap between the traditional human-driven process modeling world, with the data-driven process mining world, by developing techni-
Immune Dysfunction in Periparturient Dairy Cows: Evidence, Causes, and Ramifications

Dairy cattle are susceptible to increased incidence and severity of disease during the periparturient period and health disorders occurring during this time are especially problematic because they greatly impact the productive efficiency of cows in the ensuing lactation (Ingvartsen, 2006, Pinedo et al., 2010). Indeed, about 75% of disease incidence within herds occurs within the first month of lactation including disorders of economic significance such as mastitis, metritis, ketosis and displaced abomasum (LeBlanc et al., 2006). As such, there have been numerous studies to better understand the underlying causes of both metabolic and infectious diseases around the time of parturition in order to design more effective management practices to reduce cow health disorders during the periparturient periods (Burke et al., 2010, Roche et al., 2013).
Análisis de la expresión de genes de respuesta inmune durante el desarrollo ontogénico de paralarvas de pulpo Octopus vulgaris criadas en cautividad

El pulpo comun es una especie de gran importancia comercial, considerada como una especie emergente en acuicultura. En este trabajo se analizo el nivel de expresion de los genes inmunes TLR, C1q, Galectina, PGRP, LITAF, SERPIN, PRDX y Caspasa 3 mediante PCR cuantitativa (q-PCR) en embriones y paralarvas de O. vulgaris de edades 0, 10, 20 y 34 dias. Adicionalmente, se infectaron paralarvas de 22 dias con bacterias patogenas vivas Vibrio lentus y V. splendidus a 1h, 4h y 24h. El estudio del desarrollo del sistema inmune de estas paralarvas ayudara a identificar factores claves para la supervivencia y cultivo del pulpo comun. Durante el desarrollo ontogenico, los embriones mostraron el menor nivel de expresion de PGRP, Caspasa 3 y PRDX. Por el contrario, C1q, Galectina y LITAF se observaron visiblemente expresados. C1q, TLR y SERPIN fueron los genes que presentaron mayor nivel de expresion en Pa0D. A partir de Pa10D se observo un notable incremento en la expresion de C1q, Galectina, PGRP y LITAF. La expresion de Caspasa3 se incremento gradualmente desde Em. V. lentus y V. splendidus inducen un notable incremento de la expresion de C1q y PRDX entre 1h y 4h post infeccion. Sin embargo, durante las primeras horas de infeccion se observo una disminucion de la expresion de Galectina, TLR, PGRP y LITAF. Particularmente la infeccion por V. lentus produjo una disminucion de la expresion de SERPIN. Los resultados obtenidos sugieren que la capacidad del sistema inmune de reconocer patogenos y evitar infecciones es significativamente activo desde los estadios de paralarvas recien eclosionadas. Sin embargo, se observo un aumento significativo de los genes seleccionados a partir de Pa10D.
Python Programming: An Introduction to Computer Science 2nd Edition

This is the second edition of John Zelle's Python Programming, updated for Python 3. This book is designed to be used as the primary textbook in a college-level first course in computing. It takes a fairly traditional approach, emphasizing problem solving, design, and programming as the core skills of computer science. However, these ideas are illustrated using a non-traditional language, namely Python. Although Python is used as the language, teaching Python is not the main point of this book. Rather, Python is used to illustrate fundamental principles of design and programming that apply in any language or computing environment. In some places, I have purposely avoided certain Python features and idioms that are not generally found in other languages. There are already many good books about Python on the market; this book is intended as an introduction to computing. Features include the following: *Extensive use of computer graphics. *Interesting examples. *Readable prose. *Flexible spiral coverage. *Just-in-time object coverage. *Extensive end-of-chapter problems.
Face Gender Recognition Research Based on Local Features and Support Vector Machine

In this paper, we proposed a face gender recognition method based on local features and SVM. First, we divide the face image into five parts which are used to instead of the whole face for better recognition performance. Second, we use CS to extract local features of these five parts. Then, we respectively train five single SVM classifiers to achieve one to one feature recognition for local features. Finally, decision information fusion is used to achieve the final classification. Because SVM were successfully used to solve numerous pattern recognition problems and is mainly used to solve two-classification problem, selecting SVM to do gender recognition in our method has the obvious superiority. After a lot of experiments, results show that the proposed method in this paper is stable and effective, greatly improving the efficiency of face gender recognition.
Use of induced hypothermia for neuroprotection: indications and application

Therapeutic temperature regulation has become an exciting field of interest. Mild-to-moderate hypothermia is a safe and feasible management strategy for neuroprotection and control of intracranial pressure in neurological catastrophies such as traumatic brain injury, subarachnoid and intracerebral hemorrhage, and large hemispheric stroke. Fever is associated with worse neurological outcome in patients with brain injury, normothermia may be of benefit in this patient population. The efficacy of mild-to-moderate hypothermia has been proven for neuroprotection after cardiac arrest with ventricular fibrillation as initial rhythm, and after neonatal asphyxia. Application of hypothermia and fever control in neurocritical care, available cooling technologies and systemic effects and complications of hypothermia will be discussed.
Clinical biochemistry test eliminator providing cost-effectiveness with five algorithms

ABSTRACT Objectives: The purpose of this study is to investigate the elimination ratios of requested unnecessary tests and the cost-effectiveness to be achieved by means of 5 different algorithms with clinical validity defined in an artificial intelligence program. Methods: The clinician orders received from the hospital information management system were adapted to eliminate AST, direct bilirubin, chlorine, fPSA and fT3 tests using five different algorithms defined in the ALIN IQ software. Results: In this study, 18387 AST, 9500 direct bilirubin, 61 free PSA, 1127 FT3 and 11172 chlorine tests that were ordered within 45 days were eliminated using 5 different algorithms defined in the ALIN IQ software in the Laboratory of Harran University Faculty of Medicine. USD 5592.76 was saved in 45 days. The annual saving is expected to be 363710 tests and USD 45363.49. Conclusion: Five different tests were successfully eliminated with this study. Open-code smart softwares, which can create indefinite algorithms may be utilized as test eliminators in diagnostic clinical laboratories. Millions of dollars may be saved by means of such artificial intelligence softwares that can be adapted to any analyzer across the world.
Virtual cooperating manipulators as a virtual reality haptic interface

One central element in the focus on research into human-machine interfaces is the capability to interact physically with the computer model. The sense of touch and feel is vital for realistic manipulation and control of virtual objects. The research described here is the development and implementation of a new dynamic control strategy using a standard six-degree-of-freedom robot manipulator as a force interface to virtual reality systems. The haptic element of VR interfacing is currently the subject of abundant research, some addressing the stability and control of interactive systems but with much of the focus on the development of new hardware systems to support stable interaction between humans and VR graphics displays. However, general six-degree-of-freedom manipulators are well understood today and are known to have the capability for generating the general force and motion constraints necessary for the design interaction described in the story. This approach to haptic feedback capability is based on the concept of describing a virtual manipulator model that mimics the motion constraints imposed by a virtual surface. This virtual manipulator is conceptually linked to an actual manipulator to form a closed kinematic chain system. The closed chain system equations are used to define a set of constraints that control the actual robot manipulator so as to allow motion only in the free directions of the virtual manipulator. These free directions are also the free motion directions allowed by the virtual surfaces one tremendous advantage of the approach is that the control algorithm is formulated using local error feedback schemes at the robot level providing effective, stable, and simple control of the robotic hardware. Using the proposed control scheme will allow any six-degree-of-freedom manipulator to be used as a haptic interface device.
Looking into training effects on visual working memory capacity: With individualized training and performance trends.

References Berry, A. S. , Zanto, T. P., Clapp, W. C. , Hardy, J. L. , Delahunt, P. B. , Mahncke, H. W. , & Gazzaley, A. (2010). The influence of perceptual training on working memory in older adults. PLoS One, 5, e11537. Olson, I. R. , & Jiang, Y. (2004). Visual short-term memory is not improved by training. Memory & Cognition, 32, 1326-1332. Vogel, E. K. , McCollough, A. W. , & Machizawa, M. G. (2005). Neural measures reveal individual differences in controlling access to visual working memory. Nature, 438, 500-503. Vogel, E. K. , Woodman, G. F. , & Luck, S. J. (2006). The time course of consolidation in visual working memory. Journal of Experimental Psychology: Human Perception and Performance, 32, 1436-1451. Pre/ Post-training Tests
Prevalence of Hepatitis B and Hepatitis C Infections among Multi-transfused Thalassaemic Patients

Objective: Therefore this study was aimed to determine the prevalence of Hepatitis B and C infections among the multi-transfused Thalassaemic patients. Methodology: The medical records of total 100 patients with thalassaemia attending the Day Care Ambulatory Unit for blood transfusion in Raja Permaisuri Bainun Hospital was collected in order to extract relevant information pertaining to the study. Results: Among the 100 multi-transfused thalassaemic patients, 48% were females and 52% were males. 24% was infected with viral hepatitis, among them 18% by Hepatitis C, 4% by Hepatitis B, and only 2% were infected by both Hepatitis B & C. Difference in occurrence of hepatitis in different gender groups was not significant, on the other hand difference in occurrence of hepatitis in different ethnic groups was highly significant. Discussion and Conclusion: Acquisition of hepatitis C as well as hepatitis B is a serious risk for multi-transfused thalassaemia patients. Blood screening in Malaysia has significantly reduced the risk of hepatitis B and C associated with blood transfusion. However, the risk is still there. So, the health care providers who are involved with the management and providing blood transfusion to the thalassaemic patients should be aware of this problem, and should pay more attention to prevent these known complications.
Reflux Esophagitis and Esophageal pH Monitoring in Distressed Infants

Acid reflux and/or esophagitis may be responsible for inconsolable crying in infants. We evaluated prospectively the presence of occult acid reflux disease, esophagitis and the accuracy of pH monitoring in the prediction of esophagitis in a population of distressed infants. A 24-hour esophageal pH monitoring with an antimony electrode and an upper gastro-intestinal tract endoscopy with grasp biopsies were performed on 60 distressed infants, aged 1 to 6 months, after failure of a cow's milk elimination diet. A 24-hour esophageal pH monitoring was considered abnormal (> 5% of investigation time with a pH 5% in 10 (38%). Histology of the esophagus was normal in 10 (50%) children with an abnormal pH monitoring. The mean reflux index was similar in the group with (4.66%) and without esophagitis (5.00) (p=NS). The sensitivity and specificity to predict esophagitis with a reflux index of 5.0% or more was 38.5 and 70.6, respectively. There was not a reflux index that could be related to a clinical useful sensitivity and specificity to predict esophagitis. Acid gastro-esophageal reflux disease (GER) and/or histological esophagitis were diagnosed in 33% and 43% of distressed infants, respectively. The reflux index does not accurately predict esophagitis and normal histology does not accurately exclude acid gastro-esophageal reflux disease. Esophageal pH monitoring and endoscopy provide additional information.
Diabetes Reflect Study: Redefining Fundamental Learning of SMBG through Educational Color Tools

Aims: To investigate the effects of a newly developed color-coded educational glucose control instruction (COLOR), combined with a color-displayed glucose meter on changes in type-2 diabetes patient’s behavior and their HbA1c levels. Material and Methods: Patients using a COLOR-self-monitoring of blood glucose (SMBG) method were instructed to record daily blood glucose levels with red (high glucose ≥ 180 mg/dL) or blue (low glucose ≤ 70 mg/dL) colored circles on their SMBG notebooks according to the colors displayed on the glucose meter. Results: COLOR-SMBG showed an improved the actual behavior modification scores by 14% compared to Conventional group at 1-month follow-up (p < 0.05). The mean HbA1c levels of COLOR-SMBG significantly decreased at 2 months (0.14% ± 0.28%, p < 0.01), 4 months (0.31% ± 0.48%, p = 0.05), and 6 months (0.39% ± 0.49%, p = 0.01) follow-up. Conclusions: The results suggest for the first time the usefulness of the instructional intervention using COLOR-SMBG for patients with type 2 diabetes. This trial was registered with UMIN (No. UMIN000011767).
Non-Invasive Prenatal Testing for Aneuploidy: A Review of the Literature -

Aneuploidy is one of the leading causes of perinatal deaths and childhood handicaps. An important issue that has led to heated debates in the agenda of maternal-fetal medicine and that has been widely investigated in recent years is ‘the isolation of fetal deoxyribonucleic acid (DNA) from maternal blood. It is agreed that fetal DNA can be used in fetal aneuploidy screening and in predicting some pregnancy complications that are considered to be of placenta-based such as preeclampsia and preterm labor. The fetal DNA testing of maternal blood is regarded as an advanced screening test and generally named as ‘noninvasive prenatal test’ (NIPT). In this meta-study, we will review the accumulated data on the increasing clinical use of NIPT in perinatology as well as the other presently used conventional noninvasive aneuploidy screening methods.
A Methodology for Improved Verification of VLSI Designs without Loss of Area

This paper describes an IC layout methodology based on arbitrary outline cells, prevention of overlap, and mixed programs and graphics. Advantages are: no loss in area over hand packing; incremental checking of design rules, component interconnection, and timing; reduction of visible complexity; and easy implementation. Disadvantages are: possible proliferation of cell types and poor handling of cells with contacts not on the boundary. An implementation that uses and enforces this methodology is discussed.
Managing Requirement Risks in Global Software Development

Now a day’s trend toward software development is changed and Software organizations are distributing their development processes worldwide. Many organizations are interested in Global software development (GSD) as compared to in house development due to cheap human resources and to increase their revenue. Risk factor is also increased in GSD. In this study we will see how to mitigate the risk in requirement gathering phase of GSD.
Prevalence of thyroid dysfunction in the patients visiting Tertiary Health Care Hospital, Firozabad; Uttar Pradesh -

Background: Thyroid disorders (hypothyroidism and hyperthyroidism) are a widespread thyroid problem, but there are no reports on the incidence and prevalence of thyroid disorders in this part of Western Uttar Pradesh of India. Objective: The aim of this study was to assess the prevalence of thyroid disorders in Firozabad and its adjoining areas. Materials and Methods: This retrospective hospital-based study involved 982 patients having undergone thyroid function assay, in the central clinical biochemistry laboratory of F. H. Medical College and Hospital, Firozabad. Firozabad is a city in western Uttar Pradesh of India about 40 km from Agra. These patients were evaluated for thyroid hormonal assay- total tri iodo thyronine (T3), total tetra iodo thyronine (T4), and thyroid stimulating hormone (TSH) by Vidas auto analyzer using enzyme-linked fluorescent assay technique. Statistical analysis was performed by SPSS version 17 software. Result: Our study shows high prevalence of abnormal thyroid hormone levels (hypothyroidism including subclinical hypothyroidism 43% and hyperthyroidism was 26%) with female preponderance. Conclusion: The study has defined thyroid function status in thyroid patients of Firozabad, Uttar Pradesh, India. Higher prevalence of hypothyroidism was observed in patients (especially females) in third decade of life. The findings also support the indication of thyroid hormone screening during third decade of life and afterwards.
Digital technologies and mathematics education

In order to provide a context for the body of the report we invite readers to imagine they are travelling on a train together with students on their way to school. One student is finishing off his mathematics homework and struggling to solve some quadratic equations by factorisation. Another student, who has already diligently done her homework, is playing a realistic action video game on her smart phone. This scenario is, of course, designed to emphasise the stark contrast between the worlds of current (and past) mathematics education at school and the world in which many of our current students live most of their life.
Barriers to clinical research in trauma

As with all areas of medicine, high‐quality clinical research is essential to improving the care of trauma patients. This research is crucial in developing evidence‐based treatments that decrease cost, decrease morbidity, and improve mortality. Trauma continues to extract a significant toll on society and is the single largest cause of years of life lost in the United States. The need to conduct high‐quality clinical research in trauma is not disputed. However, significant challenges and barriers unique to the field of trauma make performing this research more difficult. It is critical to be aware of these challenges and barriers to performing clinical research involving trauma patients so these challenges can be accounted for and solutions implemented to minimize their impact on research. This review will focus on the barriers and challenges that are encountered while performing clinical research in trauma.
A 1.2 V CMOS multiplier using low-power current-sensing complementary pass-transistor logic

This work describes a CMOS 8*8-bit parallel multiplier for 1.2 V supply voltage. The low-power current-sensing complementary pass-transistor logic (LCSCPTL) is applied to the design of the parallel multiplier. The LCSCPTL have certain advantages in both speed and power dissipation over the CPL circuit. The 4-2 compressors and the conditional carry selection scheme are used in this design to achieve regular layout and improve the operation speed. Moreover, the 1.2 V low-voltage 8*8-bit parallel multiplier can be designed and fabricated without changing the conventional 5 V 0.8 m CMOS process. Based upon the HSPICE simulation results, the operation speed of the parallel multiplier is 54 ns for 1.2 V supply voltage.
Proofs of Writing for Robust Storage

Existing Byzantine fault tolerant (BFT) storage solutions that achieve strong consistency and high availability, are costly compared to solutions that tolerate simple crashes. This cost is one of the main obstacles in deploying BFT storage in practice. In this paper, we present PoWerStore, a robust and efficient data storage protocol. PoWerStore's robustness comprises tolerating network outages, maximum number of Byzantine storage servers, any number of Byzantine readers and crash-faulty writers, and guaranteeing high availability (wait-freedom) and strong consistency (linearizability) of read/write operations. PoWerStore's efficiency stems from combining lightweight cryptography, erasure coding and metadata write-backs, where readers write-back only metadata to achieve strong consistency. Central to PoWerStore is the concept of “Proofs of Writing” (PoW), a novel data storage technique inspired by commitment schemes. PoW rely on a 2-round write procedure, in which the first round writes the actual data and the second round only serves to “prove” the occurrence of the first round. PoW enable efficient implementations of strongly consistent BFT storage through metadata write-backs and low latency reads. We implemented PoWerStore and show its improved performance when compared to state of the art robust storage protocols, including protocols that tolerate only crash faults.