Miracle-dz/UniFAR-FTUs huggingface dataset:
Framework for preparing subject data in testing modules of scientific applications

The paper addresses the relevant problem of data preparation for testing modules of scientific applications. Such testing requires the multiple executions of modules with different parameters for various scenarios of solving problems in applications. Often, data sources for parameters used for problem-solving are subject data (experimental results, reports, statistical forms and other information resources) created earlier as a result of functioning various objects of a subject domain. Usually, such data are heterogeneous and weakly structured. The developer of scientific applications has to make additional efforts in extracting, cleaning, integrating, and formatting data in order to achieve the correctness and efficiency of their use in applications. The aim of the study is the development of a framework for automating the description of semi-structured data and their transformation into target structures used by scientific applications. We proposed a conceptual model that allows us to represent knowledge about the structure of the source data, determine their relations with the target structures and set the rules for data transformation. Additionally, we developed a framework prototype. It is integrated into the technological scheme of continuous integration for modules of scientific applications (distributed applied software packages) that are developed with the help of Orlando Tools. The effectiveness of this prototype functioning is confirmed by the results of experimental analysis.
CURRENT FOLLOWER APPROACH BASED PI AND FUZZY LOGIC CONTROLLERS FOR BLDC MOTOR DRIVE SYSTEM FED FROM CUK CONVERTER

This paper presents two controllers for implementing the current multiplier approach over a wide range of speed control of a Brushless DC (BLDC) Motor drive system as a cost effective low-power solution. A CUK converter at the front end feeds the DC bus of the Voltage Source Inverter (VSI), where, closed loop duty ratio control of the converter results in variable DC bus voltage, enabling close matching of the reference speed setting. Two alternate controller configurations viz. PI controller and fuzzy controller are introduced for generating gate trigger signals for the power MOSFET switch of the converter. Comparison of performance covering a over a wide range of operating speed of the entire system using PI/FUZZY controllers is carried out by simulation in MATLAB/Simulink platform.
Results Jac 1 J-Domain HPD to Alanine Substitution Variants Support Viability of S . cerevisiae but Not S . pombe

Biogenesis of iron–sulfur clusters (FeS) is a highly conserved process involving Hsp70 and J-protein chaperones. However, Hsp70 specialization differs among species. In most eukaryotes, including Schizosaccharomyces pombe, FeS biogenesis involves interaction between the J-protein Jac1 and the multifunctional Hsp70 Ssc1. But, in Saccharomyces cerevisiae and closely related species, Jac1 interacts with the specialized Hsp70 Ssq1, which emerged through duplication of SSC1. As little is known about how gene duplicates affect the robustness of their protein interaction partners, we analyzed the functional and evolutionary consequences of Ssq1 specialization on the ubiquitous J-protein cochaperone Jac1, by comparing S. cerevisiae and S. pombe. Although deletion of JAC1 is lethal in both species, alanine substitutions within the conserved His–Pro–Asp (HPD) motif, which is critical for Jac1:Hsp70 interaction, have species-specific effects. They are lethal in S. pombe, but not in S. cerevisiae. These in vivo differences correlated with in vitro biochemical measurements. Charged residues present in the J-domain of S. cerevisiae Jac1, but absent in S. pombe Jac1, are important for tolerance of S. cerevisiae Jac1 to HPD alterations. Moreover, Jac1 orthologs from species that encode Ssq1 have a higher sequence divergence. The simplest interpretation of our results is that Ssq1’s coevolution with Jac1 resulted in expansion of their binding interface, thus increasing the efficiency of their interaction. Such an expansion could in turn compensate for negative effects of HPD substitutions. Thus, our results support the idea that the robustness of Jac1 emerged as consequence of its highly efficient and specific interaction with Ssq1.
Verification of Neural Nets : Towards Deterministic Guarantees

The success of neural networks in different classification and regression tasks encouraged different researchers and companies to incorporate them in safetycritical systems such as autonomous vehicles. Because stochastic guarantees are not enough to ensure safety in these settings, the formal methods started to develop methods and tools to formally verify properties of these neural nets. This report is a summary of the recent paper “Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks” by Katz et al. The authors present an extension of the Simplex method to formally verify or falsify properties of Rectified Linear Unit (ReLU) based networks. They used it to verify some interesting properties of a prototype deep neural network implementation of the next-generation Airborne Collision Avoidance System for unmanned aircraft (ACAS Xu).
Loughborough University Institutional Repository Application of value stream mapping ( VSM ) in gear manufacturing process : A case study

Since the end of 20th century, Lean Manufacturing has been recognized as an important approach in competitive industrial environments to improving productivity by reducing process cycle time. To remain competitive in the market, organizations are compelled to find new domains for improvements in order to reduce production lead time and to smooth the flow of processes. The current research aims at designing efficient future VSM to improve productivity by reducing process cycle time and waste in a gear manufacturing process in an automotive industry. The approach was based on mapping the current state of the process to identify the non-value-added activities and also for opportunities for improvement in value added activities. Kaizen events are the main metrics for improvement in the current process by integrating it with the future value stream map. This study concluded that the designed future value stream map helps effectively in identifying the wasteful activities i.e. distance travelled and inventory at different workstations. VSM integrated with Kaizen proves itself a useful approach in achieving continuous process improvement.
Fluorescently Tagged CCL 19 and CCL 21 to Monitor CCR 7 and ACKR 4 Functions

Chemokines are essential guidance cues orchestrating cell migration in health and disease. Cognate chemokine receptors sense chemokine gradients over short distances to coordinate directional cell locomotion. The chemokines CCL19 and CCL21 are essential for recruiting CCR7-expressing dendritic cells bearing pathogen-derived antigens and lymphocytes to lymph nodes, where the two cell types meet to launch an adaptive immune response against the invading pathogen. CCR7-expressing cancer cells are also recruited by CCL19 and CCL21 to metastasize in lymphoid organs. In contrast, atypical chemokine receptors (ACKRs) do not transmit signals required for cell locomotion but scavenge chemokines. ACKR4 is crucial for internalizing and degrading CCL19 and CCL21 to establish local gradients, which are sensed by CCR7-expressing cells. Here, we describe the production of fluorescently tagged chemokines by fusing CCL19 and CCL21 to monomeric red fluorescent protein (mRFP). We show that purified CCL19-mRFP and CCL21-mRFP are versatile and powerful tools to study CCR7 and ACKR4 functions, such as receptor trafficking and chemokine scavenging, in a spatiotemporal fashion. We demonstrate that fluorescently tagged CCL19 and CCL21 permit the visualization and quantification of chemokine gradients in real time, while CCR7-expressing leukocytes and cancer cells sense the guidance cues and migrate along the chemokine gradients.
Deglutition and its disorders. Anatomy, physiology, clinical diagnosis, and management

Deglutition and its disorders. Anatomy, physiology, clinical diagnosis, and management. Edited by Perlman AL, Schulze-Delrieu KS. (Pp 522; illustrated; £49.95.) Singular Publishing Group, 1997. ISBN 9781565 936218. The act of swallowing has been described as the most complex reflex which can be reproduced by the stimulation of a peripheral nerve. Such complexity is also encountered in the aetiology, pathogenesis, investigation, and management of deglutition disorders. The senior editor of this comprehensive multi author review, Adrienne Perlman, is a speech and language therapist, now based in Champaign, Illinois, with an outstanding personal record of innovative research in the field of swallowing. Her contributors include most of the principal prominent names in North American dysphagia research, whether internists, neurologists, radiologists or, of course, speech and language therapists. …
Disseminated TB Infection during anti-TNF Treatment in an Intractable Rheumatoid Arthritis Patient

BACKGROUND Tumor necrosis factor (TNF) antagonists play an important role in the treatment of rheumatoid arthritis (RA), especially for those patients who are resistant to traditional treatment. One important concern prior to starting anti-TNF treatment is the increased risk of TB reactivation in patients with latent TB infection (LTBI). These newly active TB infections tend to occur in extrapulmonary sites and sometimes present with miliary TB. Routine TB screening prior to initiating anti-TNF treatment in RA patients has become standard practice and has successfully decreased the incidence of active TB infections following anti-TNF treatment. Unfortunately currently available TB screening tests are not accurate enough to identify all LTBIs thus putting some patients at some risk. The patients with undiagnosed LTBI prior to anti-TNF treatment carry a great risk of developing active TB during or after anti-TNF therapy. On the other hand, there was no role of TB screening test in patients with history of TB (LTBI or active TB). These patients must have confirmed adequate treatment before starting TNF antagonists. Once adequate TB treatment was accomplished, these patients can be treated with TNF antagonists with acceptable incidence of TB. Here we present a case of severe RA, who reported complete treatment of LTBI (could not be confirmed), was treated with anti-TNF, and subsequently developed disseminated TB.
Syddansk Universitet The Self-help Online against Suicidal thoughts ( SOS ) trial study protocol for a randomized controlled trial

Background: Suicidal thoughts are common, causing distress for millions of people all over the world. However, people with suicidal thoughts might not access support due to financial restraints, stigma or a lack of available treatment offers. Self-help programs provided online could overcome these barriers, and previous efforts show promising results in terms of reducing suicidal thoughts. This study aims to examine the effectiveness of an online self-help intervention in reducing suicidal thoughts among people at risk of suicide. The Danish Self-help Online against Suicidal thoughts (SOS) trial is a partial replication of a previously conducted Dutch trial. Methods and design: A randomized, waiting-list controlled trial with 1:1 allocation ratio will be carried out. A total of 438 people with suicidal thoughts will be recruited from the Danish suicide hotline, The Lifeline’s, website and allocated to the intervention condition (N = 219) or the control condition (N = 219). The intervention condition consists of a 6-week, Internet-based self-help therapy intervention. The format of the intervention is self-help, but the participants can be guided by the trial manager. The control condition consists of a waiting-list assignment for 32 weeks. The primary outcomes are frequency and intensity of suicidal thoughts. Secondary outcome measures include depressive symptoms, hopelessness, worrying, quality of life, costs related to health care utilization and production loss. Number of deliberate self-harm episodes, suicides and deaths will, as well as the participant’s evaluation of the intervention and the experience of negative effects, be investigated. Assessments will be conducted over the intervention website through self-report questionnaires at baseline, 2 weeks, 4 weeks, 6 weeks and 32 weeks (6 months post intervention). Discussion: If we find the intervention to be linked to reductions in suicidal thoughts, this will strengthen the evidence that online self-help interventions are relevant tools for people with suicidal thoughts. Trial registration: ClinicalTrials.gov, NCT02872610. Registered on 9 August 2016.
A Rhythmic Modulatory Gating System in the Stomatogastric Nervous System of Homam gammams . III . Rhythmic Control of the Pyloric CPG

I. Two modulatory neurons, P and commissural pyloric (CP), known to be involved in the long-term maintenance of pyloric central pattern generator operation in the rock lobster Homarus gammarus, are members of the commissural pyloric oscillator (CPO), a higher-order oscillator influencing the pyloric network. 2. The CP neuron was endogenously oscillating in -30% of the preparations in which its cell body was impaled. Rhythmic inhibitory feedback from the pyloric pacemaker anterior burster (AB) neuron stabilized the CP neuron’s endogenous rhythm. 3. The organization of the CPO is described. Follower commissural neurons, the F cells, and the CP neuron receive a common excitatory postsynaptic potential from another commissural neuron, the large exciter (LE). When in oscillatory state, CP in turn excites the LE neuron. This positive feedback may maintain long episodes of CP oscillations. 4. The pyloric pacemaker neurons follow the CPO rhythm with variable coordination modes (i.e., 1: 1, 1:2) and switch among these modes when their membrane potential is modified. The CPO inputs strongly constrain the pyloric period, which as a result may adopt only a few discrete values. This effect is based on mechanisms of entrainment between the CPO and the pyloric oscillator. 5. Pyloric constrictor neurons show differential sensitivity from the pyloric pacemaker neurons with respect to the CPO inputs. Consequently, their bursting period can be a shorter harmonic of the bursting period of the pyloric pacemakers neurons. 6. The CPO neurons seem to be the first example of modulatory gating neurons that also give timing cues to a rhythmic pattern generating network.
Towards Determining Textual Characteristics of High and Low Impact Publications

This paper is concerned with the question of whether we can predict the future impact of a paper based on the text of the paper. We create a corpus of papers in computational linguistics, and we create gold standard impact annotations by using their Google Scholar citation counts. We use supervised classification approaches to automatically predict impact of the papers. Our results when using very simple features show some success, but they also show that the classifiers suffer from class imbalance problems.
O ct 2 01 7 NIT-KMP-201701 Nonlinear O ( 3 ) sigma model in discrete complex analysis

We examine a discrete version of the two-dimensional nonlinear O(3) sigma model derived from discrete complex analysis. We adopt two lattices, one rectangular, the other polar. We define a discrete energy E(f) and a discrete area A(f)disc. , where the function f is related to a stereographic projection governed by a unit vector of the model. The discrete energy and area satisfy the inequality E(f) ≥ |A(f)disc. |, which is saturated if and only if the function f is discrete (anti-)holomorphic. We show for the rectangular lattice that, except for a factor 2, the discrete energy and the area tend to the usual continuous energy E(f) and the area A(f) = 4πN, N ∈ π2(S2) as the lattice spacings tend to zero. In the polar lattice, we section the plane by 2M lines passing through the origin into 2M equal sectors and place vertices radially in a geometric progression with a common ratio q. For this polar lattice, the Euler–Lagrange equation derived from the discrete energy E(f) yields rotationally symmetric (anti-)holomorphic solutions f(z) = Cz (Cz̄) in the zeroth order of κ := q−1− q. We find that the discrete area evaluated by these zerothorder solutions is expressible as a q-integral (the Jackson integral). Moreover, the area tends to ±2 · 4π in the continuum limit (M → ∞ and q → 1− 0) with fixed discrete conformal structure ρ0 = 2 sin (π/M)/κ.
DIRECT SIMULATIONS OF FLOCCULATION IN SEDIMENTING SOLID-LIQUID SUSPENSIONS Jos

Direct simulations of solid particles settling in a Newtonian liquid have been performed. The particles w re given an attractive interaction potential which mad e them aggregate and settle faster. The lattice-Boltzmann m ethod was used to solve the liquid flow in between the un iformly sized spherical particles. An immersed boundary met hod was applied to impose no-slip at the surfaces of th e spheres that are free to move and rotate under the influence of net gravity, resolved hydrodynamic for ces, collisions and their interaction potential. Solids volume fractions were in the range 0.12 – 0.32, and Reynold s numbers (based on average superficial slip velocity ) went up to order 50. Drag reduction due to aggregation h as been correlated with average aggregate size. This correlation is strongly influenced by the Reynolds n umber and the overall solids volume fraction.
Heart Rate Contribution in Soccer Players during the Competition Period

Results The continuous recording of the heart rate allowed for these data: 1) a more detailed register of the changes in submaximal heart rate (89.4±7.6 versus 83.0±7.7; p<0.05) on treadmill; 2) different subaximal heart rate responses in treadmill test and field test after the first minute (164.0 versus 116.6; p<0.05) and after the second minute (176.3 versus 123.5; p<0.05) in connection with the maximum heart rate (198.6 versus 194.0; p=ns); 3) during field testing, a greater interval of heart rate reserve in relation to the endurance capacity after the second minute (25.9 versus 19.1; p<0.05) was observed.
Three Essays on the Political Economy of Public Finance

Three Essays on the Political Economy of Public Finance Adam J. Hoffer This dissertation consists of three essays which examine the role political economy factors play in influencing state-level public finance in the United States. In Chapter 1, I introduce the economic logic explaining why political economy factors affect public finance. I then give a brief summary of the three essays presented in Chapters 2-4. Chapter 2 investigates the role tobacco special-interest groups, state ideology, and a number of public finance variables play in determining the state cigarette tax rate. Chapter 3 introduces a new methodology, using spatial econometrics, to investigate tax competition in cigarette tax rates. Chapter 4 examines the disparity in tobacco control spending, specifically investigating states with strong tobacco special-interests.
The Impact of Socio Economic Factors on the Adherence of Patients with Gestational Diabetes Mellitus to Medical Recommendations

Background: Adherence to medical recommendations is very important to control gestational diabetes mellitus (GDM), as one of the most important disorders during pregnancy. In this study, we explored the impact of socio-economic status (SES) on the adherence of a cohort of GDM in Iran. Methods: In this prospective study, 230 pregnant women with confirmed GDM were followed from Feb to Jun 2013 in a referral diabetic care center in Iran. The SES of subjects were quantified using a combined score generated by principal component analysis (PSA). Medical adherence score of subjects was measured in three follow up visits in a range of 0 to 10 and were linked to SES using linear regression model. Results: The adherence scores women in the first, second, and third follow up visits were 5.06±2.12, 5.46±2.06, and 5.08±1, respectively. Women fourth quartile of SES (the highest level of SES) has a least compliance to medical orders in comparison to first quartile of SES (the lowest level of SES) with the OR −2.75 (95% Cl: −3.17, −2.23). Conclusion: The medical adherence of pregnant women with GDM is significantly poorer in high SES groups. Therefore, as an important determinant, we may target high SES pregnant women to control the adverse effects of the disorder more efficiently.
Economics of Microbial Inoculants as an Integrated Pest Management Practice in Apple Production

ii Acknowledgments . iii List of Tables . v List of Figures . vi List of Abbreviations . vii Chapter 1: Introduction . 1 Chapter 2: Background . 4 2.1 Apple Production . 4 2.2 Biological Control: Microbial Inoculants . 11 Chapter 3: Literature Review . 16 3.1 Microbial Inoculants . 16 3.2 Economics of biological control . 18 Chapter 4: Methodology and Data . 24 4.1 Data . 24 4.2 Pesticide Use Function . 27 4.3 Production Function and Stochastic Frontier . 29 Chapter 5: Results . 39 Chapter 6: Conclusions . 50 Bibliography . 52
A prospective clinical trial of tumor hypoxia imaging with 18 F-fluoromisonidazole positron emission tomography and computed tomography ( F-MISO PET / CT ) before and during radiation therapy

Department of Radiation Oncology, Kinki University Faculty of Medicine, Osaka-Sayama, Japan Institute of Advanced Clinical Medicine, Kinki University Faculty of Medicine, Osaka-Sayama, Japan *Corresponding author. Department of Radiation Oncology, Kinki University Faculty of Medicine, 377-2, Ohno-Higashi, Osaka-Sayama, Osaka 589-8511, Japan. Tel: +81-72-366-0221 (ext. 3132); Fax: +81-72-368-2388; Email: izu917@med.kindai. ac.jp
Dynamic resource adaptation for coordinating runtime systems Extended Abstract

In this paper we propose a new approach towards negotiating resource distributions between several parallel applications running on a single multi-core machine. Typically, this negotiation process is delegated to the operating system or a common managed runtime layer. Alternatively, we have formulated a modest extension for arbitrary runtime systems that enables dynamic resource adaptations to be triggered from the outside, i.e., through a separate coordination application. We demonstrate the effectiveness of the approach in the context of SaC. The paper delineates the required extensions of SaC’s runtime system and it discusses how the functional setting substantially eases the process. Furthermore, we demonstrate the effectiveness of our approach when it comes to maximising the overall performance of several parallel applications that share a single multi-core system.
Measuring Internal And External Corporate Governance Mechanisms On Companies Tax Planning : Evidence From Shariah-Compliant Companies In Malaysia

There is an increased attention towards a need for good corporate governance which will lead to better firm performance. Hence, this study attempts to examine whether good corporate governance mechanisms can result in better tax planning strategies, thus resulting in lower corporate effective tax rate (ETR) paid by companies. The main objective of this study is to examine the relationship between internal and external corporate governance mechanisms towards tax planning involvement. A micro backward-looking approach is used, comprising of a balanced panel data for 397 listed companies during the years 2007-2010. This study examines whether there is any impact as a result of a revision of the Malaysian Code of Corporate Governance (MCCG) and active shareholder activism in recent years towards greater mechanism of corporate governance. Thus, the study would provide some solution for the agency problems that exist between the management and shareholders, particularly in tax related matters. Narrowing the sample to Shariah-compliant companies and taking into consideration the government-linked companies (GLCs) classifications, the empirical results reveal that internal and external corporate governance mechanism does not influence corporate tax planning. Hence, the evidence implies that less interference among the top management in the companies’ tax planning activities.