Miracle-dz/UniFAR-FTUs huggingface dataset:
Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori

We present a concurrent algorithm for rigorous validation of the existence of continuous branches of stable elliptic fixed points for area-preserving planar maps. The method utilizes a classical theorem of Siegel and Moser combined with computed-assisted estimation of higher order derivatives of maps, continuation along the parameter range, and concurrent scheduling of tasks. We apply the algorithm to certain exemplary Poincare maps coming from reversible or Hamiltonian systems: the periodically forced pendulum equations, the Michelson system, and the Henon--Heiles Hamiltonian. Moreover, our algorithm provides at once a computer-assisted proof of the existence of wide branches of stable elliptic periodic solutions and the existence of invariant tori surrounding them.
Model-Driven Design of Simulation Support for the TERRA Robot Software Tool Suite

Model-Driven Development (MDD) based on the concepts of model, meta-model, and model transformation is an approach to develop predictable and reliable software for Cyber-Phsical Systems (CPS). The work presented here is on a methodology to design simulation software based on MDD techniques, supporting the TERRA tool suite to describe and simulate process communication ﬂows. TERRA is implemented using MDD techniques and Communicating Sequential Process algebra (CSP). Simulation support for TERRA helps the designer to understand the semantics of the designed model, hence to increase the probability of ﬁrst-time-right software implementations. A new simulation meta-model is proposed, abstracting the simulation process of a TERRA model. With this new meta-model and our previously designed CSP meta-model, a simulation model can be transformed from its TERRA source. The Eclipse Modelling Framework (EMF) is used to implement the meta-model. The Eclipse Ep-silon Framework includes the Epsilon Transformation Language (ETL) and the Ep-silon Generation Language (EGL) are used for model-to-model and model-to-text transformation. Thesimulation support is shown using an example, in which the generated trace text is shown as well. Further work is to implement an animation facility to show the trace text in the TERRA graphical model using colours.
Bridging the Gap: The Role of the Patient-Centered Medical Home in Reducing Time to Follow-Up After Hospital Discharge

Poor transitions in care represent opportunities for improvement. The purpose of this study was to examine whether early follow-up by patients discharged from a hospital varied as a function of patient-centered medical home (PCMH) capacity. The PCMH capacity was not significantly associated with early follow-up; however, higher levels of capacity were associated with early follow-up among patients with more chronic conditions. Policy makers and practitioners should consider how the PCMH may be targeted to maximize its potential to improve transitions in care for these patients and ways it may be modified to improve transitions for other types of patients.
The nuclear receptor REV‐ERBα is required for the daily balance of carbohydrate and lipid metabolism

Mutations of clock genes can lead to diabetes and obesity. REV‐ERBα, a nuclear receptor involved in the circadian clockwork, has been shown to control lipid metabolism. To gain insight into the role of REV‐ERBα in energy homeostasis in vivo, we explored daily metabolism of carbohydrates and lipids in chow‐fed, unfed, or high‐fat‐fed Rev‐erbα−/− mice and their wild‐type littermates. Chow‐fed Rev‐erbα−/− mice displayed increased adiposity (2.5‐fold) and mild hyperglycemia (∼10%) without insulin resistance. Indirect calorimetry indicates that chow‐fed Rev‐erbα−/− mice utilize more fatty acids during daytime. A 24‐h nonfeeding period in Rev‐erbα−/− animals favors further fatty acid mobilization at the expense of glycogen utilization and gluconeogenesis, without triggering hypoglycemia and hypothermia. High‐fat feeding in Rev‐erbα−/− mice amplified metabolic disturbances, including expression of lipogenic factors. Lipoprotein lipase (Lpl) gene, critical in lipid utilization/storage, is triggered in liver at night and constitutively up‐regulated (∼ 2‐fold) in muscle and adipose tissue of Rev‐erbα−/− mice. We show that CLOCK, up‐regulated (2‐fold) at night in Rev‐erbα−/− mice, can transactivate Lpl. Thus, overexpression of Lpl facilitates muscle fatty acid utilization and contributes to fat overload. This study demonstrates the importance of clock‐driven Lpl expression in energy balance and highlights circadian disruption as a potential cause for the metabolic syndrome. —Delezie, J., Dumont, S. , Dardente, H. , Oudart, H. , Gréchez‐Cassiau, A. , Klosen, P., Teboul, M. , Delaunay, F. , Pévet, P., Challet, E. The nuclear receptor REV‐ERBα is required for the daily balance of carbohydrate and lipid metabolism. FASEB J. 26, 3321–3335 (2012). www.fasebj. org
Eliminating barrier synchronizations in OpenMP programs for PC clusters

Barrier synchronizations are often used in shared memory program to force events to occur in correct order. However, this causes performance overhead especially on virtually shared memory realized on distributed memory environment. In this paper, we propose a new compiler technique for eliminating barrier synchronizations. In our approach, the compiler collects access information about array accesses and analyzes data dependency. If there was no dependency, barrier synchronizations can be eliminated. Additionally, even if the dependency was detected, there are cases when the barrier synchronization can be replaced with send-receive pairs of communications. A preliminary evaluation has been done using an LU program. As a result, by applying the proposed technique, we achieved 19.65% speedup with 8 processors.
Cloning, expression, and sequencing of a protease gene (tpr) from Porphyromonas gingivalis W83 in Escherichia coli

Porphyromonas gingivalis is a highly proteolytic organism which metabolizes small peptides and amino acids. Indirect evidence suggests that the proteases produced by this microorganism constitute an important virulence factor. In this study, a gene bank of P. gingivalis W83 DNA was constructed by cloning 0.5- to 20-kb HindIII-cut DNA fragments into Escherichia coli DH5 alpha by using the plasmid vector pUC19. A clone expressing a protease from P. gingivalis was isolated on LB agar containing 1% skim milk. The clone contained a 3.0-kb insert that coded for a protease with an apparent molecular mass of 64 kDa. Sequencing part of the 3.0-kb DNA fragment revealed an open reading frame encoding a protein of 482 amino acids with a molecular mass of 62.5 kDa. Putative promoter and termination elements flanking the open reading frame were identified. The activity expressed in E. coli was extensively characterized by using various substrates and protease inhibitors, and the results suggest that it is possibly a thiol protease.
Nosocomial Infections in Surgical Patients in the United States, January 1986-June 1992

Abstract Objectives: To describe the distribution of nosocomial infections among surgical patients by site of infection for different types of operations, and to show how the risk of certain adverse outcomes associated with nosocomial infection varied by site, type of operation, and exposure to specific medical devices. Design: Surveillance of surgical patients during January 1986-June 1992 using standard definitions and protocols for both comprehensive (all sites, all operations) and targeted (all sites, selected operations) infection detection. Setting and Patients: Acute care US hospitals participating in the National Nosocomial Infection Surveillance (NNIS) System: 42,509 patients with 52,388 infections from 95 hospitals using comprehensive surveillance protocols and an additional 5,659 patients with 6,963 infections from 11 more hospitals using a targeted protocol. Results: Surgical site infection was the most common nosocomial infection site (37%) when data were reported by hospitals using the comprehensive protocols. When infections reported from both types of protocols were stratified by type of operation, other sites were most frequent following certain operations (e.g., urinary tract infection after joint prosthesis surgery [52%]). Among the infected surgical patients who died, the probability that an infection was related to the patient's death varied significantly with the site of infection, from 22% for urinary tract infection to 89% for organ/space surgical site infection, but was independent of the type of operation performed. The probability of developing a secondary bloodstream infection also varied significantly with the primary site of infection, from 3.1% for incisional surgical site infection to 9.5% for organ/space surgical site infection (p<.001). For all infections except pneumonia, the risk of developing a secondary bloodstream infection also varied significantly with the type of operation performed (p<.00l) and was generally highest for cardiac surgery and lowest for abdominal hysterectomy. Surgical patients who developed ventilator-associated pneumonia were more than twice as likely to develop a secondary bloodstream infection as nonventilated pneumonia patients (8.1% versus 3.3%, p<.001). Conclusions: For surgical patients with nosocomial infection, the distribution of nosocomial infections by site varies by type of operation, the frequency with which nosocomial infections contribute to patient mortality varies by site of infection but not by type of operation, and the risk of developing a secondary bloodstream infection varies by type of primary infection and, except for pneumonia, by type of operation.
Implant stability in relation to osseointegration: an experimental study in the Labrador dog.

OBJECTIVE Resonance frequency analysis (RFA) is supposed to determine implant stability. The relation between RFA and the degree of bone-to-implant contact (BIC), however, is unclear. The objective of the present experiment was to evaluate RFA values in relation to osseointegration. MATERIAL AND METHODS In 20 Labrador dogs, all mandibular premolars were extracted bilaterally. After 3 months, four transmucosal screw-shaped experimental implants were placed in each mandibular premolar region. The implants (12 mm length, slashed circle 4.1mm, insertion depth 9 mm) were either SLA surface or turned surface implants. The animals were divided into four groups (five dogs in each group) to study healing following implant installation at 2 h, 4 days, 1, 2, 4, 6, 8 and 12 weeks. Two experimental implants of each type were installed in each edentulous premolar region. A plaque control program was initiated 2 weeks after each implant installation. RFA assessments were performed at the time of implant installation, at one to three occasions during the monitoring period and at the termination of the experiment. At the end of the experiment, the dogs were sacrificed and each implant site was dissected and processed for histological analysis. The results of the histological analysis, i.e. marginal bone level, degree of osseointegration (BIC%) and bone density, were compared with the corresponding Implant Stability Quotient (ISQ) values of the RFA assessment. RESULTS No correlations between histological parameters of osseointegration and ISQ values could be identified. Marginal bone level changes, differences in BIC% and bone density were not reflected in the RFA at any time-point during the 12-week monitoring period. CONCLUSION The value of RFA to predict implant stability over time and to determine at which time-point an implant may be exposed to functional load has to be questioned.
Biochemical and metabolic abnormalities in articular cartilage from osteo-arthritic human hips. II. Correlation of morphology with biochemical and metabolic data.

For thirty-two areas of cartilage from nine osteo-arthritic and four "normal" femoral heads a histologic-histochemical grade was assigned as an index of severity of the osteo-arthritic process. The DNA and hexosamine concentrations were determined as indicators of cell density and polysaccharide con
Flavonol glycosides from Epimedium pubescens.

Five new flavonol glycosides (1, 3, 5-7) were isolated from the aerial parts of Epimedium pubescens Maxim. , along with two known compounds, sagittasine C (2) and 4',5-dihydroxyl-8-(3,3-dimethylallyl)-flavonol 3-O-[β-D-xylopyranosyl(1→3)-4-O-acetyl-α-L-rhamnopyranoside]-7-O-β-D-glucopyranoside (4). The structures were elucidated on the basis of their 1D-, 2D-NMR, MS, UV and IR spectra data.
Patterns of longitudinal within-tree variation in pulpwood and solidwood traits differ among Eucalyptus globulus genotypes

Wood discs were sampled from 6 heights up the stem of 248 trees representing 10 subraces and 116 families grown in an E. globulus base-population progeny trial. The lower stem had the least favourable wood properties for kraft pulpwood and most solidwood applications: bark was thickest, basic density was lowest and kino, decay and shrinkage traits were greatest at or below 12% of tree height. Significant genetic differences at the subrace level were revealed in diameter, bark thickness, basic density, decay and gross shrinkage and at the family within subrace level in diameter, basic density and decay. However, subrace-by-height-category interactions in bark thickness, basic density, decay and gross shrinkage indicated that differences among subraces were dependent on height in these traits. Examination of longitudinal trends revealed some evidence that the zone of thick basal bark extended further up the stem in thicker-barked subraces and that the Southern Tasmania subrace might be less effective than other subraces in restricting the longitudinal spread of decay after infection. RésuméDes disques de bois ont été prélevés à 6 hauteurs différentes dans 248 arbres représentant 10 provenances et 116 familles d’un dispositif de provenance-descendance d’E. globulus. La partie inférieure des troncs présente les propriétés du bois les moins bonnes pour la pâte Kraft et la plupart des utilisations du bois massif : l’écorce est plus épaisse, l’infradensité plus faible tandis que le lino, la dégradation biologique et les retraits sont plus importants jusqu’ à 12 % de la hauteur des tiges. Des différences génétiques significatives ont été établies au niveau provenance pour le diamètre, l’épaisseur d’écorce, l’infradensité et la dégradation biologique et au niveau famille dans une provenance pour l’infradensité et la dégradation biologique. Cependant, pour ces propriétés, les interactions provenance par catégorie de hauteur, pour l’épaisseur d’écorce, l’infradensité, la dégradation biologique et le retrait total, indiquent que les différences entre provenances dépendent de la hauteur. L’analyse des variations longitudinales fait apparaître que la longueur de la bille de pied ayant une écorce plus épaisse est plus importante pour les provenances présentant des écorces épaisses et que les provenances de sud de la Tasmanie pourraient être moins efficaces que les autres pour limiter la diffusion des pourritures après infection.
A Randomized Controlled Trial of Multiple Versions of an Acceptance and Commitment Therapy Matrix App for Well-Being

Mobile apps may be useful in teaching psychological skills in a high-frequency, low-intensity intervention. The acceptance and commitment therapy (ACT) matrix is a visual tool to help develop psychological flexibility by categorizing moment-to-moment experience and is well suited to a mobile app. This pilot study tested the effects of a simple and complex version of a novel app using the ACT matrix in two distinct samples: help-seeking individuals (n = 35) and students receiving SONA credit (n = 63). Findings indicated no differences between app conditions and a waitlist condition in the SONA credit sample. However, in the help-seeking sample, improvements were found on well-being and valued action in participants who used the app, with greater improvements and app adoption for those using a complex version with additional skills. A mobile app based on the ACT matrix has benefits for help-seeking individuals, but supplementary features may be necessary to support consistent use and benefits.
Spondylolisthesis: Intraobserver and Interobserver Reliability With Regard to the Measurement of Slip Percentage

Background Spondylolisthesis is often diagnosed and treated on the basis of measurements obtained from radiographs. Many physicians will perform surgery regardless of the patient's symptoms above a specific slip percentage. However, current methods used to assess slip percentage are vague and lack appropriate standardization, leaving physicians to devise personal evaluation techniques. This study presents a defined method to calculate slip percentage that takes advantage of modern technology, is fast and simple to perform, and shows excellent intraobserver/interobserver reliability. Methods Four pediatric orthopaedic attendings each reviewed 30 radiographic cases of spondylolisthesis (grades 1 to 4) at the L5 to S1 level. The radiographs were measured twice through computer using PACS information management software with an interval of 2 days to 2 weeks between sessions. Using the PACS line tool, observers superimposed 6 lines onto each radiograph from which measurements were derived. The numerator in slip percentage (anterior displacement) was determined by 2 methods: the distance between a line outlining the posterior border of the sacrum and A: a line outlining the posterior border of L5 or B: a line parallel starting at the inferior, posterior corner of L5. The denominator in slip percent was determined by 2 methods. C: length of the inferior border L5 or D: length of the superior border of L5. This resulted in 4 different equations of slip percentage: A/C, A/D, B/C, and B/D. Analysis was performed using intraclass correlation coefficient. Results Slip percentage=A/D resulted in the highest intraclass correlation coefficient for both intraobserver and interobserver reliability (0.87 and 0.85, respectively). Slip percentage=B/C showed the poorest intraobserver reliability (0.69). Slip percentage=B/C and B/D had equally poor interobserver reliability (0.59). Conclusions Defining the numerator in slip percentage as the distance between a line outlining the posterior border of the sacrum and a line outlining the posterior border of L5 (A) results in the highest intraobserver/interobserver reliability. Defining the denominator in slip percentage as the length of the superior border of L5 (D) results in the highest intra/inter observer reliability. Level of Evidence Diagnostic level III.
A new, proportional method for reconstructing historical tree diameters

Accurate methods of reconstructing historical tree diameters from increment cores are important because di- ameter is used in allometric equations to predict stand characteristics and to study stand dynamics. The conventional reconstruction method assumes that the pith is in the centre of the stem. This is often incorrect, as evidenced by a pith increment index quantifying the deviation between the geometric radius of the stem and the chronological radius of a core. I propose a new method which assumes that growth is proportional around the stem and, unlike the conventional method, cannot yield negative historical diameters. These methods were evaluated by calculating the deviations between reconstructed diameters and historical diameter measurements from 164 ponderosa pine (Pinus ponderosa Dougl. ex P. & C. Laws.) trees from permanent plots in Arizona and New Mexico. Deviations varied with pith increment index for the conventional method but not for the proportional method, and varied with tree age for both methods at one site. These methods could be used in tandem, with the proportional method applied where the increment from outer ring to pith is measured and the conventional method applied where this increment cannot be measured.
Quantitative external counting techniques enabling improved diagnostic and therapeutic decisions in patients with well-differentiated thyroid cancer.

A quantitative technique is described which allows the physician to predict more accurately whether a recurrent or metastatic well-differentiated thyroid carcinoma is amenable to radioiodine-131 therapy or is better treated by other means. A calibrated uptake probe and scaler system is used to obtain conjugate view (i.e., diametrically opposed) counting rates for both the whole body and for any areas of abnormal uptake (lesion) at 24,48 annd 72 hours following the administration of 2 mCi 131l. Quantitative calculations accounting for patient attenuation, lesion size and geometrical factors then provide a determination of the lesion uptake as well as the effective half-life of 131l in the lesion. The radiation dose which would be delivered to the lesion by a given therapeutic amount of 131l may then be calculated to help determine the desirability of 131l treatment. The results of patient studies indicate the potential benefit of such quantitative evaluation.
Mechanism of Histone H1-Stimulated Glucocorticoid Receptor DNA Binding In Vivo

ABSTRACT Xenopus oocytes lack somatic linker histone H1 but contain an oocyte-specific variant, B4. The glucocorticoid receptor (GR) inducible mouse mammary tumor virus (MMTV) promoter was reconstituted in Xenopus oocytes to address the effects of histone H1. The expression of Xenopus H1A (H1) via cytoplasmic mRNA injection resulted in H1 incorporation into in vivo assembled chromatin based on (i) the appearance of a chromatosome stop, (ii) the increased nucleosome repeat length (NRL), and (iii) H1-DNA binding assayed by chromatin immunoprecipitation (ChIP). The H1 effect on the NRL was saturable and hence represents H1-binding to a specific site. A subsaturating level of H1 enhanced the hormone-dependent binding of GR to the glucocorticoid response elements (GREs) and the hormone-dependent MMTV transcription while it reduced the access to DNA as revealed by micrococcal nuclease (MNase) analysis. These H1 effects were lost at higher levels of H1. ChIP and MNase analysis revealed a hormone-dependent dissociation of H1 from the activated chromatin domain. The proposed mechanism of H1-induced GR binding is based on two effects: (i) a GR-induced asymmetric distribution of H1 in favor of inactive chromatin and (ii) an H1-induced reduction in DNA access. These effects results in increased concentration of free GR and, hence, in increased GR-GRE binding.
Microwave line-of-sight path loss prediction on urban street by fuzzy logic model

This paper proposes a method to model the path loss characteristics on urban streets in the microwave band. We applied the concept of fuzzy logic to predict path losses. The input fuzzy sets were classified into five sets, namely: 1) distance between transmitter and receiver; 2) frequency; 3) time of day; 4) transmitting antenna height; and 5) receiving antenna height. These inputs are then inferenced into output path loss via linguistic rules which were trained by measurement. To check the proposed model, we compared the fuzzy prediction with the same and another measurement. The results show that the fuzzy logic models provided a better prediction.