jimnoneill/paper-to-field-training huggingface dataset:
CTL Model Repair for Bounded and Deadlock Free Petri Nets

Field: Computer Science (Physical Sciences)

In dependable system design, formal techniques such as model checking are useful to perform property analysis of system models. Computation tree logic (CTL) model repair is an approach that complements model checking for obtaining new admissible models that can represent the correct behaviour of systems. In this paper a CTL model repair method for bounded and deadlock free Petri nets (PN) is presented. First, CTL semantics is defined for dealing with PN and a set of basic PN structure transformation operations are introduced. Then an algorithm to repair PN models for fulfilling CTL formulae is presented. The method is illustrated through an example regarding a system which must hold a safety property.
Bioethical aspects of human in vitro fertilisation

Field: Arts and Humanities (Social Sciences)

My subject is human fertilisation ‘in vitro’ (acronym: IVF), extracorporeal therefore, not the artificial insemination of the husband's semen, carried out in the woman's womb (to complete the conjugal act: artificial insemination in the improper sense; while that outside the conjugal act is called artificial insemination in the proper sense, homologous; heterologous insemination, if with semen from a ‘donor’ outside the couple).
Study on the Proportion of Compound Emulsifier in Emulsion Explosive

Field: Chemical Engineering (Physical Sciences)

In this article HLB method is used to select the appropriate emulsifier for emulsion explosive,and the emulsifying effect with different ratio of five emulsifiers is compared by experiments.Within the other formulations remaining unchanged,the suitable compound emulsifier A + T1 with the appropriate amount of 2.3% is indicated by comparison of the products by different amount of the emulsifier.
Effects of Endurance Exercise in Hypoxic Environment on Fat Browning-related Factors in Rats

Field: Biochemistry, Genetics and Molecular Biology (Life Sciences)

고지대 및 저산소 환경에서의 운동 훈련은 주로 프로선수들에 의해 지구성 운동수행 능력 향상의 효과적인 방법으로 이용되어 왔다. 한편, 선행연구들은 저산소 환경(Hypoxia)이 일반인 및 대사증후군을 가진 개인들에게 건강요인을 개시키는 효과를 보고하여, 질병관리 및 비만 감소를 위한 목적으로 더욱 효과적인 방법이 될 수 있음을 제안하였다. 이러한 관점에서, 혈관 분포와 미토콘드리아 밀도가 더 높아 백색지방(White adipose tissue, WAT) 조직에 비해 화학 에너지를 열에너지로 더 효과적으로 변환하여 에너지 소비를 유도하는 갈색지방(Brwon adipose tissue, BAT) 조직에 대한 관심이 증가하고 있으며, 동시에 갈색지방 조직의 활성화를 위한 운동의 역할이 주목받고 있다. 그러나, 저산소 환경에서 운동에 의한 지방 조직의 갈색화(Fat-browning) 효과에 대한 연구는 제한적이다. 따라서, 본 연구는 저산소 환경에서 4주간 지구성 운동을 통한 갈색지방화 관련인자의 변화를 관찰하는데 그 목적이 있다. 이를 위해, Sprague-Dawley종의 수컷 쥐들을 저산소(산소 농도 14.6%, Hypoxia exercise, HE), 정상산소(산소 농도 20.93%, normoxia exercisen NE) 그리고 운동을 하지 않은 대조군(Con)으로 무작위 분류하여 검증하였다. 그 결과, 생쥐들의 부고환(Epididymal) 지방 조직 내 혈관 생성(HIF-1α 및 VEGF) 및 지방 갈색화 관련 인자(PGC-1α 및 UCP-1)의 발현 수준이 NE 및 CON 그룹에 비해 HE 그룹에서 유의하게 높은 것이 확인되었다. 결론적으로, 고지대 및 저산소 환경에서의 운동은 지방 조직의 갈색화를 촉진할 수 있으며, 이는 잠재적으로 비만 관리 및 대사 이상에 대해 긍정적인 영향을 줄 수 있음을 시사한다.
Biphasic response to acetylcholine in human veins in vivo: the role of the endothelium

Field: Medicine (Health Sciences)

1. The dose-response to acetylcholine has been examined in dorsal hand veins of healthy volunteers before and after removal of the endothelium. 2. Measurements were made in single dorsal hand veins during local infusions of acetylcholine. The vein was irrigated with distilled water to remove the endothelium. Dilator studies were performed in vessels preconstricted by a continuous infusion of noradrenaline. 3. In the endothelium-intact vessel the dose-response to acetylcholine was biphasic; low doses produced venodilatation with higher doses causing venoconstriction. 4. Dilatation to low doses of acetylcholine was abolished by prior irrigation with distilled water, consistent with denudation of the endothelium by this process. Irrigation augmented the constriction seen in response to higher doses of acetylcholine. 5. This is the first demonstration of an endothelium-dependent biphasic dose-response to acetylcholine in man. The results raise questions as to the possible physiological actions of endogenous acetylcholine and as to the use of the acetylcholine dose-response curve as a marker of endothelial function.
Condition Monitoring of a Paper Feeding Mechanism Using Model-of-Signals as Machine Learning Features

Field: Engineering (Physical Sciences)

Prognostics and Health Management of machine devices and parts is a hot topic in the Industry 4.0 era. In this fashion, automated procedures to evaluate machinery working conditions are essential to minimize downtime and maintenance costs. In this work, we study how to monitor the decrease in performance of a paper sheet feeder for the packaging industry under heavy-duty cycle operations. The main measurable outcome of such degradation is the increase in backlash among the device moving components. A wide variety of methods and procedures is available to tackle this monitoring problem. In this paper, we analyze the use of a simple yet efficient diagnosis methodology that can exploit machinery controllers (i.e., Programmable Logic Controllers) edge-computing capabilities. Vibration measurements are known in the literature to retain information about the system's mechanics. Model-of Signals, a data-driven approach based on black box system identification, allows to extract that information reliably during machinery working cycle. The refinement of those data using machine learning allows the retrieval of knowledge about the health state of the machine. In this study, the feeder mechanism is run to failure with its parts backlash measured at given time intervals. Accelerometer signals are modelled as AutoRegressive processes whose coefficients are then considered as features to feed to machine learning algorithms, which are employed to perform severity evaluation of the ongoing degradation. Estimation and prediction are both implementable on-board the controller, while the learning task can be carried out remotely, in a cloud computing perspective. The exploitation of AutoRegressive modelling gives a simple and inherent methodology for feature selection, serving as a foundation of the machine learning stage. We make use of a Support Vector Machine algorithm to analyze how obtained models represent the various levels of backlash in the device and develop a suitable predictor of the degradation severity. Finally, the results of the application of the methodology to the case study are shown.
Concurrent and prospective associations among biological maturation, and physical activity at 11 and 13 years of age

Field: Medicine (Health Sciences)

This study examined concurrent and prospective associations between objective measures of biological maturation, body composition and physical activity ( PA ) in adolescent males ( n = 671) and females ( n = 680). Participants born to women recruited to the A von L ongitudinal S tudy of P arents and C hildren birth cohort study were assessed at 11 and 13 years. Percentage of predicted adult stature was used as an estimate of biological maturation. PA and time sedentary was assessed over 7 consecutive days using A ctigraph accelerometers. Body composition was assessed using whole‐body DXA scans. At 11 and 13 years, maturity in males was inversely associated with accelerometer counts‐per‐minute ( CPM ) and time engaged in light PA , and positively associated with time sedentary. In females, maturity was inversely associated with accelerometer ( CPM ) at 11 but not 13 years. Adjusting for accelerometer wear times and corresponding activity levels at 11 years, maturity and percentage fat mass at 11 years did not predict any indices of PA or sedentary behavior in males or females at 13 years. Whereas advanced maturation in males is associated with less PA and more sedentary behavior at 11 and 13 years, maturity at 11 does not predict PA or sedentary behavior at 13 years in either sex.
Effect of Implementing Bundle of Care on Breast Cancer Patients Paclitaxel Induced Peripheral Neuropathy and Quality of Life

Field: Nursing (Health Sciences)

Background: Breast cancer is the most often diagnosed disease and the main cause of death between females globally. Different chemotherapeutic are used, such as doxorubicin or epirubicin in combination with cyclophosphamide, and paclitaxel (Taxol) or docetaxel in combination with carboplatin Aims: the study aimed to evaluate effect of implementing bundle of care on breast cancer patients paclitaxel induced peripheral neuropathy and quality of life. Methods: Research Design: A quasi-experimental research design was used to conduct the study. Subjects: A purposive sample of 60 adult subjects newly diagnosed with breast cancer and treated with paclitaxel. Setting: This study was conduct at oncology treatment center and nuclear medicine department at Qena university hospital. Data collection Tools: Four tools were used for data collection: Tool I: Breast cancer patient's structured interview questionnaire. Tool II: The Chemotherapy Induced Peripheral Neuropathy Assessment (CIPNA). Tool III: Functional Breast (FACT-Tool IV. Neuropathy Grading Assessment Scale. Results: The mean Assessment of Cancer Therapy scores of PIPN -QOL for the study group increased one and two months after bundle of care implementation compared to upon admission in the study with highly statistically significant differences between them at p < 0.001. Statistically significant differences regarding sensory and motor neuropathy grading (G1, G2, G3, and G4) was found after one and after two months of implementing bundle of care instructions between both group p≤ 0.05. Conclusion: Implementing bundle of care has a positive effect on PIPN-QOL. The study group demonstrates a statistically significant Vol. 33. No.2 May, 2024 287 Tanta Scientific Nursing Journal (Print ISSN 2314 – 5595 ) ( Online ISSN 2735 – 5519) improvement regarding sensory/motor neuropathy grading and quality of life. Recommendations: The bundle of care instructions should serve as the basis for routine nursing care for patients receiving paclitaxel to improve their peripheral neuropathy and quality of life.
[Home medication cabinets and self-medication: a source of potential health threats].

Field: Medicine (Health Sciences)

Inflammatory bowel diseases comprise Crohn's disease, ulcerative colitis and indeterminate colitis, generally beginning in young subjects and increasing in frequency in Western countries. Despite their still unknown aetiologies, some pathogenic mechanisms have been elucidated after the recent discovery of numerous susceptibility genes and rare environmental factors. These diseases have a course consisting of episodes of flare-up alternating with periods of remission. Medical treatment for induction of a remission comprises besides aminosalicylates, corticosteroids including budesonide and immunosuppressive drugs, anti-TNF-a drugs (infliximab, adalimumab) indicated in case of failure of previous therapies. Surgery is indicated for complications and failure of medical treatment.With current therapy, most of the patients are able to fulfil their familial, social and professional projects.
Data Management Plans A Review

Field: Social Sciences (Social Sciences)

With increasing world-wide emphasis on providing access to research data, data management plans (DMPs) have emerged as the expected way for researchers to formalise and communicate their intentions to stakeholders, including to their funders. This review paper focuses on a thematic analysis and presentation of empirical research on DMPs, a literature that is surprisingly limited, likely due to the young age of the field. Research shows that, despite the benefits associated with data sharing, DMPs have potential that is not being realised to the fullest. Researchers in scholarly communication and information science primarily have evaluated DMPs using text analysis methodologies, often supplementing them with surveys or interviews. Future study, especially in areas of machine-actionable DMPs is promising; such research is needed to further explore how DMPs can best be utilised to support data sharing.
[Effect of casamino acid on intergeneric conjugation in rapamycin-producing Streptomyces hygroscopicus ATCC29253].

Field: Agricultural and Biological Sciences (Life Sciences)

Casamino acid has significant influence on conjugation frequency in not only S. hygroscopicus ATCC29253 but also other Streptomyces such as S. lividans, S. albus and S. avermitilis.
Essential Independent Factors for Developing Human Resource In Iran's Hospitals

Field: Health Professions (Health Sciences)

Human resource (HRD) has served the needs of organizations to provide employees with up-to-date expertise. The present study aimed to identify the essential independent factors for developing human resource in Iran's Hospitals. This study was descriptive and applicable. The study is done through analysis of a questionnaire designed after recognition of the main variables. Sixty five Iranian Social Security Organisation's hospitals (the major governmental health institutions in Iran), were chosen as a sample among all Iranian healthcare centers. The educational managements and education experts were the members of research community (n= 130). Content validity and construct validity were assured with expert judgment and the reliability of the questionnaire was determined using Cronbach's alpha and Pearson correlation (first and second times) .Cronbach's alpha coefficient was respectively as 0.810 and Pearson correlation was (p<0.001) 0.870. After the sample size was proved to be sufficient, the exploratory and confirmatory factors were analyzed. The findings of the present Study showed that three factors which named welfare system, organization development and performance management were the essential factors for developing human resource in these hospitals. The calculated fitness indexes proved the desirability and appropriateness of the components and their structural relations. It is concluded that these factors have essential roles in developing human resource in these organizations.
Michelangelo: drawings and other treasures from the Casa Buonarroti, Florence

Field: Arts and Humanities (Social Sciences)

Contents - Director's Preface, High Museum of Art - Michael E. Shapiro Director's Preface, The Toledo Museum of Art - Roger M. Berkowitz Guest Curator's Preface - Gary M. Radke Foreword - Pina Ragionieri Michelangelo Buonarroti - His Life and Works Michelangelo and the Casa Buonarroti Catalogue nos. 1-18 Michelangelo and the San Lorenzo Complex in Florence Catalogue nos. 19-30 Michelangelo and the Sistine Chapel in Rome Catalogue nos. 31-47
Left ventricular epicardial VVI pacing for a congenital complete heart block with severe myocardial dysfunction: shall epicardial pacing wires be positioned left?

Field: Medicine (Health Sciences)

We present the case of a patient with a congenital complete heart block (CHB) who developed a severe dilated hypokinetic cardiomyopathy whilst paced with a right-sided epicardial wire inserted by an anterior approach. She dramatically and rapidly improved both clinically and echocardiographically, once a single pacing wire was inserted on the left ventricular (LV) wall towards the apex by left thoracotomy. Based upon recent literature, attention is drawn to the fact that left-inserted epicardial pacing wires should probably be considered for pediatric patients in whom atrio-ventricular or inter-ventricular pacing might not be possible to achieve, or else as a consistent approach for small patients requiring VVI epicardial pacing.
Maximum Rooting Depth of Pinus thunbergii Parl. Estimated with Depth at the Center Point of Rotation in a Tree-Pulling Experiment in a Coastal Forest in Japan

Field: Agricultural and Biological Sciences (Life Sciences)

Tree resistance to uprooting can be estimated as the critical turning moment in tree-pulling experiments. The depth at the center point of rotation (Dcp) in tree-pulling experiments is measured as an indicator of below-ground traits and is related to this critical turning moment. However, few researchers have investigated the relationship between the Dcp and maximum root depth. Our objective in this study was to clarify whether the Dcp in tree-pulling experiments can be estimated as the maximum root depth of Pinus thunbergii Parl. in sandy soils. We also estimated which position of displacement of the center of rotation (Cp) can be applied as the Dcp. We conducted tree-pulling experiments, and compared the Dcp obtained from images with the measured maximum root depth. We found significant positive correlations between the Dcp and maximum root depth. The Cp displacement concentrated immediately below the stem when the maximum critical turning moment was reached. This position should be measured as the Dcp, which is related to the maximum root depth. We found that the Dcp can serve as a parameter, preventing the need for uprooting, when tree-pulling experiments are performed to obtain an important below-ground trait for understanding the critical turning moment.
Evaluating Effects of Regulated Deficit Irrigation under Mulched on Yield and Quality of Pumpkin in a Cold and Arid Climate

Field: Agricultural and Biological Sciences (Life Sciences)

As the most effective irrigation method in arid and semi-arid regions, drip irrigation under mulch could general comprehension of the production efficiency of agricultural irrigation water, and reduce agriculture consumption of water resources. The paper has carried out an investigation over a two year period (2020–2021) in a semi-arid climate in the Hexi Oasis region of China, aiming at determining the influence of regulated deficit irrigation (RDI) under mulch on the growth, yield, water use efficiency (WUE), irrigation water use efficiency (IWUE) and quality of pumpkin at different growth stages. A total of nine treatments with three irrigation levels (75–85% field capacity, 65–75% field capacity, and 55–65% field capacity) have been used in four growing periods of pumpkin (seedling, vine extension, fruit expansion, and maturation stages). The results have shown that light water deficit treatment at the seedling stage had the highest water use efficiency (12.47 kg/m3) without significantly affecting yield (45,966.90 kg/ha), and improved pumpkin fruit quality. It was concluded that light water deficit at the seedling stage and adequate irrigation at other development stages was the optimal irrigation strategy for pumpkin growth. The results of this research provide theoretical and technical support for efficient water-saving plantation and industrialization of pumpkin in the Hexi Oasis.
Nanosecond freezing of water under multiple shock wave compression: Continuum modeling and wave profile measurements

Field: Chemistry (Physical Sciences)

Using real time optical transmission and imaging measurements in multiple shock wave compression experiments, water was shown to solidify on nanosecond time scales [D. H. Dolan and Y. M. Gupta, J. Chem. Phys. 121, 9050 (2004)]. Continuum modeling and wave profile measurements, presented here, provide a complementary approach to examine the freezing of shocked water. The water model consisted of thermodynamically consistent descriptions of liquid and solid (ice VII) water, relationships for phase coexistence, and a time-dependent transition description to simulate freezing dynamics. Continuum calculations using the water model demonstrate that, unlike single shock compression, multiple shock compression results in pressure-temperature conditions where the ice VIII phase is thermodynamically favored over the liquid phase. Wave profile measurements, using laser interferometry, were obtained with quartz and sapphire windows at a peak pressure of 5 GPa. For water confined between sapphire windows, numerical simulations corresponding to a purely liquid response are in excellent agreement with the measured wave profile. For water confined between quartz windows (to provide a nucleating surface), wave profile measurements demonstrate a pure liquid response for an incubation time of approximately 100 ns followed by a time-dependent transformation. Analysis of the wave profiles after the onset of transformation suggests that water changes from a metastable liquid to a denser phase, consistent with the formation of a high-pressure ice phase. Continuum analyses and simulations underscore the need for multiple time scales to model the freezing transition. Findings from the present continuum work are extremely consistent with optical results reported previously. These studies constitute the first comprehensive investigation reported for freezing of a liquid at very short time scales.
The Role of Transabdominal Sonography in the Diagnostics of Choledocholithiasis- Compared to Endoscopic Retrograde Cholangiopancreatography

Field: Medicine (Health Sciences)

Common bile duct stone (CBDS) or choledocholithiasis (ChL) is one of the major pathologies that lead to serious complications, and accurate and early diagnosis is very important. ChL diagnostics is based on clinical, laboratory and instrumental examinations. We used transabdominal songraphy (TAUS) for detecting CBDS and comparing it with endoscopic retrograde cholangiopancretography (ERCP).
Synthesis and Pharmacological Activity of Some Novel MacrocyclicPentapeptidopyridine and 3,5-Bis(tripeptidohydrazone)pyridine SchiffBases

Field: Pharmacology, Toxicology and Pharmaceutics (Life Sciences)

New Schiff bases containing macrocyclic 3,5-pyridine pentapeptide, linear 3,5-bis(tripeptido)pyridine methyl ester and hydrazide moieties have been synthesized from a dipeptide ester. The synthesized compounds have been tested as analgesic and anticonvulsant agents using Voltarene® and Carbamazepine® as reference drugs.
Premature Rupture of Membranes in a Pregnant Patient with Systemic Lupus Erythematosus and Lupus Carditis: A Case Report

Field: Medicine (Health Sciences)

Background: Systemic lupus erythematosus (SLE) is a multisystem autoimmune disease associated with significant maternal and fetal risks, especially during pregnancy. Lupus carditis and premature rupture of membranes (PROM) pose additional challenges in managing such pregnancies. Case presentation: A 21-year-old woman with a history of SLE and lupus carditis presented at 34 weeks gestation with premature rupture of membranes. Her medical history was notable for regular follow-up and treatment for SLE manifestations, including mucocutaneous involvement and microcytic hypochromic anemia. Physical examination revealed characteristic signs of SLE, and echocardiography confirmed dilated cardiomyopathy. Following a multidisciplinary approach, a cesarean section was performed, resulting in the successful delivery of a healthy neonate. Conclusion: This case highlights the importance of a coordinated multidisciplinary approach in managing complex pregnancies involving SLE, lupus carditis, and PROM. Early diagnosis, close monitoring, and timely intervention are crucial for optimizing maternal and fetal outcomes in such cases.
Taming the Hurricane of Acquisition Cost Growth - Or at Least Predicting It

Field: Decision Sciences (Social Sciences)

Cost growth is a persistent adversary to efficient budgeting in the Department of Defense.Despite myriad studies to uncover causes of this cost growth, few of the proposed remedies have made a meaningful impact.A key reason may be that DoD cost estimates are formulated using the highly unrealistic assumption that a program's current baseline characteristics will not change in the future.Using a weather forecasting analogy, the authors demonstrate how a statistical approach may be used to account for these inevitable baseline