Miracle-dz/UniFAR-FTUs huggingface dataset:
Special educational needs, social care and health

Better understanding of the proportion of children who ever receive special educational needs (SEN) provision or social care services during school years is highly relevant for healthcare as reductions in one or more of these services could impact on healthcare. Using the National Pupil Database linked to the all-of-England children looked after return and children in need census, we estimated the cumulative incidence of SEN status among (1) children ever in care during school, (2) children in need but not care, and (3) neither. We observed a very high proportion of children who were in care or need during school years had SEN provision at some point (83% and 65%, respectively), and that a high proportion of children in neither of these groups did so, too (37%). Healthcare, SEN provision and social care services focus on a similar population of children. Better integration of these services could lead to synergies and cost-efficiencies and better support for these children and their families.
Meniscus Matrix Remodeling in Response to Compressive Forces in Dogs

Joint motion and postnatal stress of weight bearing are the principal factors that determine the phenotypical and architectural changes that characterize the maturation process of the meniscus. In this study, the effect of compressive forces on the meniscus will be evaluated in a litter of 12 Dobermann Pinschers, of approximately 2 months of age, euthanized as affected by the quadriceps contracture muscle syndrome of a single limb focusing on extracellular matrix remodeling and cell–extracellular matrix interaction (i.e., meniscal cells maturation, collagen fibers typology and arrangement). The affected limbs were considered as models of continuous compression while the physiologic loaded limbs were considered as controls. The results of this study suggest that a compressive continuous force, applied to the native meniscal cells, triggers an early maturation of the cellular phenotype, at the expense of the proper organization of collagen fibers. Nevertheless, an application of a compressive force could be useful in the engineering process of meniscal tissue in order to induce a faster achievement of the mature cellular phenotype and, consequently, the earlier production of the fundamental extracellular matrix (ECM), in order to improve cellular viability and adhesion of the cells within a hypothetical synthetic scaffold.
A Multi-sensor Big Data fusion Method in Quality Prediction of the Plasma Enhanced Chemical Vapor Deposition Process

Plasma Enhanced Chemical Vapor Deposition (PECVD) is a critical process in the processing of solar cells. Large quantities of the process data are collected from different sensors during the PECVD process, which are high-dimensional and highly correlated. Most existing research only focus on the analysis of single sensor data instead of multi-sensor data. However, the information contained in single sensor data is incomplete. In this paper, the method of Convolutional Neural Networks (CNN) is adopted to analysis multi-sensor big data form PECVD process. The regression model between the multi-sensor data and the quality of solar cells is established for quality prediction. The impact of various types of hyper-parameters on the performance of the model is analyzed, and the predictive performance of the model is optimized by adjusting the hyper-parameters. The performance of the proposed method is compared with existing methods in a real-world case study.
Coq à la carte: a practical approach to modular syntax with binders

The mechanisation of the meta-theory of programming languages is still considered hard and requires considerable effort. When formalising properties of the extension of a language, one hence wants to reuse definitions and proofs. But type-theoretic proof assistants use inductive types and predicates to formalise syntax and type systems, and these definitions are closed to extensions. Available approaches for modular syntax are either inapplicable to type theory or add a layer of indirectness by requiring complicated encodings of types. We present a concise, transparent, and accessible approach to modular syntax with binders by adapting Swierstra's Data Types à la Carte approach to the Coq proof assistant. Our approach relies on two phases of code generation: We extend the Autosubst 2 tool and allow users to specify modular syntax with binders in a HOAS-like input language. To state and automatically compose modular functions and lemmas, we implement commands based on MetaCoq. We support modular syntax, functions, predicates, and theorems. We demonstrate the practicality of our approach by modular proofs of preservation, weak head normalisation, and strong normalisation for several variants of mini-ML.
Human Skin Keratinocytes on Sustained TGF-β Stimulation Reveal Partial EMT Features and Weaken Growth Arrest Responses

Defects in wound closure can be related to the failure of keratinocytes to re-epithelize. Potential mechanisms driving this impairment comprise unbalanced cytokine signaling, including Transforming Growth Factor-β (TFG-β). Although the etiologies of chronic wound development are known, the relevant molecular events are poorly understood. This lack of insight is a consequence of ethical issues, which limit the available evidence to humans. In this work, we have used an in vitro model validated for the study of epidermal physiology and function, the HaCaT cells to provide a description of the impact of sustained exposure to TGF-β. Long term TGF-β1 treatment led to evident changes, HaCaT cells became spindle-shaped and increased in size. This phenotype change involved conformational re-arrangements for actin filaments and E-Cadherin cell-adhesion structures. Surprisingly, the signs of consolidated epithelial-to-mesenchymal transition were absent. At the molecular level, modified gene expression and altered protein contents were found. Non-canonical TGF-β pathway elements did not show relevant changes. However, R-Smads experienced alterations best characterized by decreased Smad3 levels. Functionally, HaCaT cells exposed to TGF-β1 for long periods showed cell-cycle arrest. Yet, the strength of this restraint weakens the longer the treatment, as revealed when challenged by pro-mitogenic factors. The proposed setting might offer a useful framework for future research on the mechanisms driving wound chronification.
A memristive dual‐slope A/D converter

As an emerging device, memristor has several excellent properties like changeable memristance, nonvolatility, and nanoscale. Based on complementary metal‐oxide‐semiconductor (CMOS) dual‐slope analog‐to‐digital (A/D) converter, this paper proposes a memristive dual‐slope A/D converter. Owing to the usage of memristor, the proposed memristive A/D converter not only has more compact circuit structure and simpler control timing than the CMOS one but also has advantages over the existing memristive conversion circuits in circuit design and application. For the memristive A/D converter, a conversion process consists of two count procedures. By means of controlling the memristance change in the two count procedures, the A/D converter converts an analog signal to the corresponding digital count value. Meanwhile, the conversion result is inferred according to the circuit structure of the A/D converter. Then, combining the conversion process and PSPICE simulation, this paper analyzes the anti‐interference performance of the A/D converter. Further, the robustness of the A/D converter is presented, applying the similar analysis methods. The analysis results demonstrate that the proposed A/D converter has good anti‐interference and robustness performances.
Culture-independent tracking of Vibrio cholerae lineages reveals complex spatiotemporal dynamics in a natural population.

Populations of the bacterium Vibrio cholerae consist of dozens of distinct lineages, with primarily (but not exclusively) members of the pandemic generating (PG) lineage capable of causing the diarrheal disease cholera. Assessing composition and temporal dynamics of such populations requires extensive isolation efforts and thus only rarely covers large geographic areas or timeframes exhaustively. We developed a culture-independent amplicon sequencing strategy based on the protein-coding gene viuB (vibriobactin utilization) to study the structure of a V. cholerae population over the course of a summer. We show that the 26 co-occurring V. cholerae lineages continuously compete for limited space on nutrient-rich particles where only few of them can grow to large numbers. Differential abundance of lineages between locations and size-fractions associated with a particle-attached or free-swimming lifestyle could reflect adaptation to various environmental niches. In particular, a major V. cholerae lineage occasionally grow to large numbers on particles but remain undetectable using isolation-based methods, indicating selective culturability for some members of the species. We thus demonstrate that isolation-based studies may not accurately reflect the structure and complex dynamics of V. cholerae populations and provide a scalable high-throughput method for both epidemiological and ecological approaches to studying this species. This article is protected by copyright. All rights reserved.
The Effects of a Multidimensional Exercise Program on Health Behavior and Biopsychological Factors in Mexican Older Adults

Background: The population of older adults is increasing worldwide, which brings attention to the importance of healthy aging. Adoption of healthy lifestyle activities such as participating in physical activity on a daily basis is key to maintaining physical and mental health. The aim of this study was to investigate the effects of participation in a 12-week multidimensional exercise program on health behavior and biopsychological factors of older adults living in Northeastern Mexico. Methods: A quasi-experimental study was conducted with 45 older adults (35 females and 10 males; M = 67.24 ± 5.73 years). The participants were assigned to an experimental group (EG; n = 23) that participated in a 12-week exercise program and a control group (CG; n = 22). Pre- and post-analyses of the exercise intervention data were carried out to investigate the participants’ health-related variables including physical activity levels, blood pressure, self-esteem, depressive symptoms, and blood lipids profiles. Results: The results indicated that the exercise intervention contributed to significant improvements in the older adults’ health-related variables for the EG when contrasted with the control group. For instance, the EG significantly improved systolic (p < 0.001) and diastolic (p < 0.027) blood pressure, blood lipids [e.g., cholesterol (p < 0.05)], triglycerides (p < 0.05), self-esteem (p < 0.005), and depressive symptoms (p < 0.002) as well as physical activity (p < 0.001) levels. The results also demonstrated that only those individuals in the EG diagnosed with disease benefited from improved self-esteem and physical activity levels when contrasted with their healthy counterparts.
Scopus as a curated, high-quality bibliometric data source for academic research in quantitative science studies

Abstract Scopus is among the largest curated abstract and citation databases, with a wide global and regional coverage of scientific journals, conference proceedings, and books, while ensuring only the highest quality data are indexed through rigorous content selection and re-evaluation by an independent Content Selection and Advisory Board. Additionally, extensive quality assurance processes continuously monitor and improve all data elements in Scopus. Besides enriched metadata records of scientific articles, Scopus offers comprehensive author and institution profiles, obtained from advanced profiling algorithms and manual curation, ensuring high precision and recall. The trustworthiness of Scopus has led to its use as bibliometric data source for large-scale analyses in research assessments, research landscape studies, science policy evaluations, and university rankings. Scopus data have been offered for free for selected studies by the academic research community, such as through application programming interfaces, which have led to many publications employing Scopus data to investigate topics such as researcher mobility, network visualizations, and spatial bibliometrics. In June 2019, the International Center for the Study of Research was launched, with an advisory board consisting of bibliometricians, aiming to work with the scientometric research community and offering a virtual laboratory where researchers will be able to utilize Scopus data.
The Comparison Between Physical Therapy and Psychosocial Therapy to Control Stress Among Hypertensive Patients

This study aims to determine the comparison between physical therapy and psychosocial therapy to control stress among hypertensive patients. Hypertension develops rapidly in developing countries with one of the most considered factors is chronic stress. Most hypertensive patients use drugs to lower their blood pressure even though anti-hypertensive drugs could cause undesirable side effects. Many studies were conducted to relieve stress in hypertensive patients as companion therapy. Stress causes blood pressure to rise; thus, stress control is essential to control blood pressure. The therapies reviewed here are physical therapy and psychosocial therapy, which serve to control stress among hypertensive patients. The study discusses the advantages of each therapy and the different therapeutic methods that can be applied by physical therapy and psychosocial therapy as additional therapies for hypertensive patients or for people who want to control stress in their lives. In general, physical therapy and psychosocial therapy have the same benefits for reducing stress in hypertensive patients.
Differentiation of Cervical Spine Osteoradionecrosis and Bone Metastasis After Radiotherapy Detected by Bone Scan in Patients With Nasopharyngeal Carcinoma: Role of Magnetic Resonance Imaging

Background: Osteoradionecrosis (ORN) of the cervical spine is a serious complication after radiotherapy (RT), which may show increased radiotracer uptake on a bone scan (BS) and be mistaken as metastasis. We aimed to assess the value of magnetic resonance imaging (MRI) in the differentiation of cervical spine ORN from bone metastasis after RT detected by BS in nasopharyngeal carcinoma (NPC). Methods: In this retrospective study, 35 NPC patients who had undergone RT were enrolled, of whom 21 patients showed cervical spine ORN and 14 showed bone metastasis. New areas of increased radiotracer uptake in the cervical spine on a BS were noted in all patients, following which the patients underwent neck MRI for further assessment. Two radiologists independently reviewed two sets of images including a BS set and an MRI set (MRI with BS) and reached a consensus. The diagnostic sensitivity, specificity, and accuracy for ORN detection were calculated, and interobserver agreement was evaluated using the kappa test. Results: A total of 75 cervical spine lesions were identified (44, ORN; 31 metastases). The BS set analysis showed that the diagnostic sensitivity, specificity, and accuracy were only 38.6, 48.3, and 42.7%, respectively, for differentiation of cervical spine ORN from bone metastasis. On the other hand, the MRI set analysis showed that the diagnostic sensitivity, specificity, and accuracy increased to 86.4, 90.3, and 88.0%, respectively. The interobserver agreement for the MRI set was determined to be very good (κ = 0.92). Conclusion: MRI is a reliable technique for the further discrimination of emerging cervical spine lesions after RT detected by BS. Furthermore, it could be a better differential diagnosis technique for distinguishing ORN from metastasis and may help avoid a wrong assignment of the patient to a metastatic stage with indication for treatment with supplemental toxicity and a subsequent palliative strategy.
Mechanical stretch regulates the expression of specific miRNA in extracellular vesicles released from lung epithelial cells

The underlying mechanism of normal lung organogenesis is not well understood. An increasing number of studies are demonstrating that extracellular vesicles (EVs) play critical roles in organ development by delivering microRNAs (miRNA) to neighboring and distant cells. miRNAs are important for fetal lung growth; however, the role of miRNA–EVs (miRNAs packaged inside the EVs) during fetal lung development is unexplored. The aim of this study was to examine the expression of miRNA–EVs in MLE‐12, a murine lung epithelial cell line subjected to mechanical stretch in vitro with the long‐term goal to investigate their potential role in the fetal lung development. Both cyclic and continuous mechanical stretch regulate miRNA differentially in EVs released from MLE‐12 and intracellularly, demonstrating that mechanical signals regulate the expression of miRNA–EVs in lung epithelial cells. These results provide a proof‐of‐concept for the potential role that miRNA–EVs could play in the development of fetal lung.
Solid-State Emissive Metallo-Supramolecular Assemblies of Quinoline-Based Acyl Hydrazone

Development of fluorescence-based sensory materials for metal elements is currently in the mainstream of research due to the simplicity and usability of fluorescence as a method of detection. Herein, we report a novel “bis”-quinoline-based acyl hydrazone—named bQH that could be synthesized by a facile, low-cost method through simple condensation of hydrazide with an aldehyde. This acyl hydrazone showed emissive properties through Zn selective binding, especially in its solid-state, as shown by experiments such as UV–Vis, photoluminescence (PL), nuclear magnetic resonance (NMR), and inductively-coupled plasma-optical emission spectroscopies (ICP-OES), and energy-dispersive X-ray spectroscopy (EDS) mapping. The binding modes in which bQH coordinates to Zn2+ was proved to consist of two modes, 1:1 and 1:2 (bQH:Zn2+), where the binding mode was controlled by the Zn2+ ion content. Under the 1:1 binding mode, bQH-Zn2+ complexes formed a polymeric array through the metallo-supramolecular assembly. The resulting bQH-Zn2+ complex maintained its fluorescence in solid-state and exhibited excellent fluorescence intensity as compared to the previously reported quinoline-based acyl hydrazone derivative (mQH).
CpG-Recoding in Zika Virus Genome Causes Host-Age-Dependent Attenuation of Infection With Protection Against Lethal Heterologous Challenge in Mice

Experimental increase of CpG dinucleotides in an RNA virus genome impairs infection providing a promising approach for vaccine development. While CpG recoding is an emerging and promising vaccine approach, little is known about infection phenotypes caused by recoded viruses in vivo. For example, infection phenotypes, immunogenicity, and protective efficacy induced by CpG-recoded viruses in different age groups were not studied yet. This is important, because attenuation of infection phenotypes caused by recoded viruses may depend on the population-based expression of cellular components targeting viral CpG dinucleotides. In the present study, we generated several Zika virus (ZIKV) variants with the increasing CpG content and compared infection in neonatal and adult mice. Increasing the CpG content caused host-age-dependent attenuation of infection with considerable attenuation in neonates and high attenuation in adults. Expression of the zinc-finger antiviral protein (ZAP)—the host protein targeting viral CpG dinucleotides—was also age-dependent. Similar to the wild-type virus, ZIKV variants with the increased CpG content evoked robust cellular and humoral immune responses and protection against lethal challenge. Collectively, the host age should be accounted for in future studies on mechanisms targeting viral CpG dinucleotides, development of safe dinucleotide recoding strategies, and applications of CpG-recoded vaccines.
FreeSpec: specifying, verifying, and executing impure computations in Coq

FreeSpec is a framework for the Coq theorem prover which allows for specifying and verifying complex systems as hierarchies of components verified both in isolation and in composition. While FreeSpec was originally introduced for reasoning about hardware architectures, in this article we propose a novel iteration of FreeSpec formalism specifically designed to write certified programs and libraries. Then, we present in depth how we use this formalism to verify a static files webserver. We use this opportunity to present FreeSpec proof automation tactics, and to demonstrate how they successfully erase FreeSpec internal definitions to let users focus on the core of their proofs. Finally, we introduce FreeSpec.Exec, a plugin for Coq to seamlessly execute certified programs written with FreeSpec.
Extraskeletal Chondroma: A Rare Cause of Trigger Finger in Children

Introduction Trigger finger is ten times less common than trigger thumb in infants and children and, unlike trigger thumb, may arise from a variety of underlying causes. To our knowledge, we describe the first case of pediatric trigger finger secondary to an extraskeletal chondroma. Case Presentation We report the case of an 11-year-old girl presenting with a typical history of triggering of the fourth finger, in whom a nodule attached to the flexor digitorum superficialis was found; clinical, ultrasound, and operative findings are described. Histological analysis was diagnostic of extraskeletal chondroma, also known as chondroma of soft tissues. Conclusion This is a very uncommon benign cartilaginous tumor, mostly reported in patients aged 30 to 60 years (just one pediatric extraskeletal chondroma of the hand has been described), and presentation with trigger finger has been reported just once, in a 76-year-old man. This condition should be considered in the differential diagnosis of pediatric trigger finger.
Nutritional Epidemiology Lifestyle and Ethnicity Play a Role in All-Cause Mortality

The Israeli population is characterized by its marked ethnic diversity. These ethnic groups (originating mainly from Yemen/Aden, the Middle East, North Africa and Europe/America) have kept traditional distinct lifestyle habits and exhibit different morbidity and mortality trends. The aim of the present study was to evaluate the associations among ethnic background, lifestyle patterns and 18-y all-cause mortality. A subgroup of 632 individuals aged 41–70 y, drawn from a larger stratified cohort from the Israel Glucose Intolerance, Obesity and Hypertension study, were personally interviewed, using a quantified food-frequency questionnaire, including most food items consumed by the different subpopulations in Israel. Physical activity was also evaluated, as well as smoking status. Weight, height and blood pressure (BP) measurements were taken. Predictors of mortality were assessed using Cox proportional hazards models. Over the 18-y follow-up period, 151 deaths occurred (24%). In comparison with Yemenites, the adjusted hazard ratios (HR) for all cause mortality were HR 1.77 [95% confidence interval (CI): 1.01–3.09] for Europeans/Americans; HR 1.63 (95% CI: 0.89–2.99) for those from a Middle Eastern background; and HR 1.56 (95% CI: 0.82–2.97) for North Africans. Mortality risk was 43% lower among those consuming 25 g of dietary fiber daily [HR 0.57 (95% CI: 0.41–0.72)], and 42% lower for those consuming 300 mg/d of cholesterol [HR 0.58 (95% CI: 0.34–0.96)]. Accumulating an average of 0.5 h/d of moderate physical activity reduced mortality by 47% [HR 0.53 (95% CI: 0.29–0.97)]. Smoking, increased systolic BP, older age and male sex increased mortality risk. We conclude that in our study, although ethnic origin and lifestyle habits are interrelated, each affects mortality independently. J. Nutr. 133: 1180–1185, 2003.