Miracle-dz/UniFAR-FTUs huggingface dataset:
Approximate Model Checking of Stochastic Hybrid Systems

A method for approximate model checking of stochastic hybrid systems with provable approximation guarantees is proposed. We focus on the probabilistic invariance problem for discrete time stochastic hybrid systems and propose a two-step scheme. The stochastic hybrid system is first approximated by a finite state Markov chain. The approximating chain is then model checked for probabilistic invariance. Under certain regularity conditions on the transition and reset kernels governing the dynamics of the stochastic hybrid system, the invariance probability computed using the approximating Markov chain is shown to converge to the invariance probability of the original stochastic hybrid system, as the grid used in the approximation gets finer. A bound on the convergence rate is also provided. The performance of the two-step approximate model checking procedure is assessed on a case study of a multi-room heating system.
Direct optimization algorithm user guide

The purpose of this brief user guide is to introduce the reader to the DIRECT optimization algorithm, describe the type of problems it solves, how to use the accompanying MATLAB program, direct.m, and provide a synopis of how it searches for the global minium. An example of DIRECT being used on a test problem is provided, and the motiviation for the algorithm is also discussed. The Appendix provides formulas and data for the 7 test functions that were used in [3].
The Role of Driving Experience in Hazard Perception and Categorization: A Traffic-Scene Paradigm

This study examined the role of driving experience in hazard perception and categorization using traffic scene pictures. Specifically, young-inexperienced, moderately experienced and very experienced (taxi) drivers observed traffic scene pictures while connected to an eye tracking system and were asked to rate the level of hazardousness of each picture and to mention the three most prominent hazards in it. Target pictures included nine, nearly identical, pairs of pictures where one picture in each pair included an actual hazard as an additional element. Altogether, 22 areas of interest (AOIs) were predefined and included 13 potential hazards and 9 actual hazards. Data analysis included both verbal reports and eye scanning patterns of these AOIs. Generally, both experienced and taxi drivers noted a relatively larger number of potential hazards than young inexperienced drivers Thus, by relating to less salient potential hazards, experienced drivers have demonstrated a better situation model of the traffic environment.
The morphological basis of hallucal orientation in extant birds

The perching foot of living birds is commonly characterized by a reversed or opposable digit I (hallux). Primitively, the hallux of nonavian theropod dinosaurs was unreversed and lay parallel to digits II–IV. Among basal birds, a unique digital innovation evolved in which the hallux opposes digits II–IV. This digital configuration is critical for grasping and perching. I studied skeletons of modern birds with a range of hallucal designs, from unreversed (anteromedially directed) to fully reversed (posteriorly directed). Two primary correlates of hallucal orientation were revealed. First, the fossa into which metatarsal I articulates is oriented slightly more posteriorly on the tarsometatarsus, rotating the digit as a unit. Second, metatarsal I exhibits a distinctive torsion of its distal shaft relative to its proximal articulation with the tarsometatarsus, reorienting the distal condyles and phalanges of digit I. Herein, I present a method that facilitates the re‐evaluation of hallucal orientation in fossil avians based on morphology alone. This method also avoids potential misinterpretations of hallucal orientation in fossil birds that could result from preserved appearance alone. J. Morphol. 250:51–60, 2001. © 2001 Wiley‐Liss, Inc.
α-Carotene and β-Carotene Content in Raw and Cooked Pulp of Three Mature Stage Winter Squash “Type Butternut”

Winter squash “type butternut” is harvested in physiological ripening for better commercial distribution, when sensory and/or nutritional quality is not optimum for consumption. The objective of this study was to quantify the content of α-carotene, β-carotene, color and dry matter in the pulp of raw and microwave-cooked winter squash “type butternut” (variety CosmoF1) in three states of commercial maturity. Immature, mature, and very mature fruit, defined at the time of the harvest by the percentage of orange peel and green stalk, were evaluated. The highest concentration of carotenes (α-carotene + β-carotene) in mg.100 g−1 pulp wet basis was found in very mature fruits (31.96 mg), followed by mature fruits (24.65 mg), and immature fruits (18.82 mg). Microwave cooking caused the loss of β-carotene (28.6% wet basis) and α-carotene (34.1%). Cooking promote a greater reduction of α-carotene in immature (40.3%) and mature (34.5%) fruits. The ratio of β-carotene and α-carotene content increased with commercial maturity from 0.93 for immature fruits to 1.0 for very mature fruit, with higher ratio in cooked pulp (1.04) vs. raw pulp (0.96).
Typical or atypical pneumonia and severe acute respiratory symptoms in PICU

Mycoplasma pneumoniae (MP) is a common childhood pathogen associated with atypical pneumonia (AP). It is often a mild disease and seldom results in paediatric intensive care (PICU) admission. In 2003, World Health Organization (WHO) coined the word SARS (severe acute respiratory syndrome) in patients with severe acute respiratory symptoms (sars) for an outbreak of AP in Hong Kong due to a novel coronavirus. In 2012, another outbreak of coronavirus AP occurred in the Middle East. Confusing case definitions such as MERS (Middle East respiratory syndrome) and SARI (severe acute respiratory infections) were coined. This paper aims to present a case of MP with sars, ARDS, pneumonia and pleural effusion during the MERS epidemics, and review the incidence and mortality of severe AP with MP.
Relation of vascular growth factors with CT-derived measures of body fat distribution: the Framingham Heart Study.

BACKGROUND Visceral adiposity is associated with metabolic risk. Given that angiogenesis is a key feature of adipogenesis, variation in the association of levels of circulating vascular growth factors (and their soluble receptors) with distinct body fat compartments may explain differences in the systemic pathogenicity of regional fat depots. METHODS AND RESULTS Four body fat compartments [visceral adipose tissue (VAT), sc adipose tissue (SAT), thoracic periaortic fat, and pericardial fat] derived from computed tomography were related to serum concentrations of vascular endothelial growth factor (VEGF), the soluble VEGF receptor (fms-like tyrosine kinase-1), hepatocyte growth factor (HGF), and angiopoietin-2 and its soluble receptor (soluble tyrosine kinase with immunoglobulin-like and EGF-like domains 2 sTie-2) in 1806 Framingham Heart Study participants (mean age 44.9 yr, 44.5% women). In multivariable models, we observed positive associations between several fat compartments and VEGF and HGF levels. The magnitude of the associations were similar for VAT, SAT, and periaortic fat. We observed effect modification by sex. A stronger association was observed between VAT and HGF levels in women; higher VAT and periaortic fat were jointly associated with higher HGF concentrations (P=0.02 and P=0.051, respectively). In women within the highest tertile of VAT, HGF levels significantly increased with higher periaortic fat (P=0.0005). CONCLUSIONS In our large community-based sample, greater adiposity was associated with higher circulating growth factor levels in general. Additional studies are warranted to confirm the stronger association of VAT and periaortic fat with HGF in women and to examine its potential contribution to the sex-related differences in cardiometabolic risk.
IRON OPACITY BUMP CHANGES THE STABILITY AND STRUCTURE OF ACCRETION DISKS IN ACTIVE GALACTIC NUCLEI

Accretion disks around supermassive black holes have regions where the Rosseland mean opacity can be larger than the electron scattering opacity due to the large number of bound–bound transitions in iron. We study the effects of this iron opacity “bump” on the thermal stability and vertical structure of radiation-pressure-dominated accretion disks, utilizing three-dimensional radiation magnetohydrodynamic (MHD) simulations in the local shearing box approximation. The simulations self-consistently calculate the heating due to MHD turbulence caused by magneto-rotational instability and radiative cooling by using the radiative transfer module based on a variable Eddington tensor in Athena. For a 5 × 108 solar mass black hole with ∼3% of the Eddington luminosity, a model including the iron opacity bump maintains its structure for more than 10 thermal times without showing significant signs of thermal runaway. In contrast, if only electron scattering and free–free opacity are included as in the standard thin disk model, the disk collapses on the thermal timescale. The difference is caused by a combination of (1) an anti-correlation between the total optical depth and the midplane pressure, and (2) enhanced vertical advective energy transport. These results suggest that the iron opacity bump may have a strong impact on the stability and structure of active galactic nucleus (AGN) accretion disks, and may contribute to a dependence of AGN properties on metallicity. Since this opacity is relevant primarily in UV emitting regions of the flow, it may help to explain discrepancies between observation and theory that are unique to AGNs.
Sex-dependent effects of an early life treatment in rats that increases maternal care: vulnerability or resilience?

Early life stress (ELS) in rodents has profound long-term effects that are partially mediated by changes in maternal care. ELS not only induces “detrimental” effects in adulthood, increasing psychopathology, but also promotes resilience to further stressors. In Long-Evans rats, we evaluated a combination of two procedures as a model of ELS: restriction of bedding during the first post-natal days and exposure to a “substitute” mother. The maternal care of biological and “substitute” mothers was measured. The male and female offspring were evaluated during adulthood in several contexts. Anxiety was measured by the elevated plus-maze (EPM), acoustic startle response (ASR) and forced swim test (FST). In other group of animals, novelty-seeking was measured (activity in an inescapable novel environment, preference for novel environments and exploration of novel objects). Plasmatic ACTH and corticosterone in basal conditions and in response to stress were also measured. Cognitive impulsivity was assessed by a delay-discounting paradigm, and impulsive action, attention and compulsive-like behavior by a five choice serial reaction time task (5CSRTT). ELS decreased pup body weight and increased the care of the biological mother; however, the “substitute” mother did not exhibit overt maltreatment. A mixture of “detrimental” and “beneficial” effects was shown. In the 5CSRTT, attention was impaired in both genders, and in females, ELS increased compulsive-like behavior. Novel object exploration was only increased by ELS in males, but the preference for novel spaces decreased in both genders. Baseline anxiety (EPM and ASR) and recognition memory were not affected. Unexpectedly, ELS decreased the ACTH response to novelty and swim stress and increased active coping in the FST in both genders. Cognitive impulsivity was decreased only in females, but impulsive action was not affected. The enhancement in maternal care may “buffer” the effects of ELS in a context-dependent manner.
Crafting Rules: Context-Reflective Data Quality Problem Solving

Motivated by the growing importance of data quality in data-intensive, global business environments and by burgeoning data quality activities, this study builds a conceptual model of data quality problem solving. The study analyzes data quality activities at five organizations via a five-year longitudinal study. The study finds that experienced practitioners solve data quality problems by reflecting on and explicating knowledge about contexts embedded in, or missing from, data. Specifically, these individuals investigate how data problems are framed, analyzed, and resolved throughout the entire information discourse. Their discourse on contexts of data, therefore, connects otherwise separately managed data processes, that is, collection, storage, and use. Practitioners' context-reflective mode of problem solving plays a pivotal role in crafting data quality rules. These practitioners break old rules and revise actionable dominant logic embedded in work routines as a strategy for crafting rules in data quality problem solving.
Diversity of Endodontic Microbiota Revisited

Although fungi, archaea, and viruses contribute to the microbial diversity in endodontic infections, bacteria are the most common micro-organisms occurring in these infections. Datasets from culture and molecular studies, integrated here for the first time, showed that over 460 unique bacterial taxa belonging to 100 genera and 9 phyla have been identified in different types of endodontic infections. The phyla with the highest species richness were Firmicutes, Bacteroidetes, Actinobacteria, and Proteobacteria. Diversity varies significantly according to the type of infection. Overall, more taxa have been disclosed by molecular studies than by culture. Many cultivable and as-yet-uncultivated phylotypes have emerged as candidate pathogens based on detection in several studies and/or high prevalence. Now that a comprehensive inventory of the endodontic microbial taxa has been established, future research should focus on the association with different disease conditions, functional roles in the community, and susceptibility to antimicrobial treatment procedures.
Long-term efficacy and safety of tocilizumab in giant cell arteritis and large vessel vasculitis

Giant cell arteritis (GCA) is a chronic systemic vasculitis affecting large-sized and medium-sized vessels. Glucocorticoids are currently the mainstay of treatment for GCA and associated large vessel vasculitis (LVV) but are associated with frequent adverse events. Methotrexate has only demonstrated a modest benefit while anti-TNF biological agents (infliximab and etanercept) have been inefficacious. Elevated levels of interleukin-6 (IL-6), a proinflammatory cytokine, has been associated with GCA. Tocilizumab (TCZ), a humanised antihuman IL-6 receptor antibody, has been used successfully in several reports as a treatment for GCA and LVV. We report the potentially long-term successful use of TCZ in 8 cases of refractory LVV. All of our patients achieved a good clinical response to TCZ and C reactive protein reduced from an average of 70.3 to 2.5. In all cases, the glucocorticoid dose was reduced, from an average of 24.6 mg prednisolone prior to TCZ treatment to 4.7 mg, indicating that TCZ may enable a reduction in glucocorticoid-associated adverse events. However, regular TCZ administration was needed for disease control in most cases. TCZ was discontinued in one case due to the development of an empyema indicating the need for careful monitoring of infection when using this treatment.
Reference values of interrupter respiratory resistance in healthy preschool white children

BACKGROUND Interrupter respiratory resistance (Rint) is reported to be useful in evaluating lung function in poorly collaborating patients. However, no reference values are available from large samples of preschool children using the standard interrupter method. The aim of this study was to define reference Rint values in a population of healthy preschool children. METHODS Rint was assessed without supporting the cheeks in children with no history of wheeze from six kindergartens. To evaluate the effects of upper airway compliance on Rint in healthy children, an additional group of preschool children with either no history of wheeze or no respiratory symptoms at the time of testing underwent Rint measurements in our lung function laboratory with and without supporting the cheeks. Short term (about 1 minute apart) and long term (mean 2.5 months apart) repeatability of Rint measurements (2 SDs of the mean paired difference between measurements) was also assessed in children referred for cough or wheeze. RESULTS A total of 284 healthy white children (age range 3.0–6.4 years) were evaluated. Mean inspiratory and expiratory Rint (Rinti and Rinte) did not differ significantly in boys and girls. Age, height, and weight showed a significant inverse correlation with both Rinti and Rinte in the univariate analysis with linear regression. Multiple regression with age, height, and weight as the independent variables showed that all three variables were significantly and independently correlated with Rinti, whereas only height was significantly and independently correlated with Rinte. Supporting the cheeks had no significant effect on Rinti (n=29, median 0.673 v0.660 kPa/l.s, p=0.098) or Rinte (n=39, median 0.702v 0.713 kPa/l.s, p=0.126). Short term repeatability was 0.202 kPa/l.s for Rinti (n=50) and 0.242 kPa/l.s for Rinte (n=69). Long term repeatability was 0.208 kPa/l.s for Rinte (n=26). CONCLUSIONS We have reported reference Rint values in preschool white children and have demonstrated the usefulness of this technique in assessing lung function in this age group.
Effects of kainic acid on messenger RNA levels of IL-1 beta, IL-6, TNF alpha and LIF in the rat brain.

We examined the kainic acid-induced changes of mRNA levels of several cytokines such as IL-1 beta, IL-6, TNF alpha and LIF in the rat brain regions using semiquantitative RT-PCR method. IL-1 beta mRNA was markedly increased in the cerebral cortex (CC), thalamus (THL) and hypothalamus (HT) 2 h after the injection of kainic acid in a convulsive dose (12 mg/kg i.p.), and tended to decrease 4 h after the injection. IL-6 mRNA was weakly induced in the hippocampus (HPP) 2 h after the injection of kainic acid and was markedly increased in the CC, HPP, THL, and HT at 4 h. The level of TNF alpha mRNA was highly elevated in the CC, HPP, striatum (STR), THL and HT at 2 and 4 h after the injection. LIF mRNA apparently expressed in the CC and HPP of control rats and was increased in the CC, HPP and HT by the treatment with kainic acid. These results indicate that mRNAs of several cytokines are increased in various brain regions with different time-courses by kainic acid.
Determinants and Dynamics of Farm Diversification

This paper examines the impact of various farm and household characteristics (such as farm size, the off-farm employment status, the farm operator's age and schooling and the number of family members) on the level as well as the dynamics of on-farm diversification. Using linked census data for Upper-Austria from 1980, 1985 and 1990 we provide evidence that smaller farms are more specialised and also tend to increase the degree of specialisation over time more quickly than large farms. A significantly lower degree of diversification (higher degree of specialisation) as well as a stronger reduction in diversification over time is also reported for businesses operated by older, less educated, part-time farm operators. The analysis of diversification dynamics also suggests that (a) farms adjust to changes in their environment by steadily approaching their long-run equilibrium level of diversification (b-convergence), and (b) the variance of the diversification distribution declines over time (s-convergence).
Abnormalities of renal physiology in systemic sclerosis. A prospective study with 10-year followup.

OBJECTIVE To evaluate the prognostic value of measurements of renal plasma flow and circulating vasoactive hormones in patients with systemic sclerosis (SSc). METHODS Renal plasma flow (para-aminohippurate [PAH] clearance) and levels of selected circulating hormones (plasma renin activity [PRA] and serum aldosterone and catecholamines) were assessed in 57 SSc patients under the following conditions: at rest, in response to cold, while in upright position, and in response to sodium depletion. Survival was assessed 10.7 years after testing (20 patients had died). RESULTS Both unstimulated and stimulated PRA clearance rates were frequently elevated. Resting PAH clearances were usually abnormally low. PAH clearances and levels of aldosterone and catecholamines did not change during cold stimulation. Supine PRA levels following acute sodium depletion correlated with survival (P < 0.008). CONCLUSION The frequent finding of elevated PRA and reduced PAH values reflects clinically the high frequency of renovascular disease noted histopathologically in SSc. Isolated decreases in PAH and elevations in PRA, however, did not predict renal crisis. Changes in PAH clearances were not demonstrable during cold stimulation. An abnormally high supine PRA after sodium depletion correlated with improved survival.
An updated meta-analysis between the association of XRCC1 Arg399Gln polymorphism and hepatocellular carcinoma risk.

BACKGROUND Various studies have evaluated the relationship between X-ray repair cross-complementing group 1 (XRCC1) Arg399Gln polymorphism and hepatocellular carcinoma (HCC) risk, but the conclusions have been inconsistent and underpowered. The purpose of this updated meta-analysis was to examine whether XRCC1 Arg399Gln polymorphism confers susceptibility to HCC. METHODS Eligible studies extracted from PubMed, Embase, Cochrane Library, VIP (chinese) and CNKI (chinese) up to November 2013 were included in the study. Pooled odds ratio (OR) together with their 95% confidence interval (CI) were estimated to evaluate XRCC1 Arg399Gln polymorphism and HCC risk. RESULTS Finally, 21 studies with 4,170 cases and 5,030 controls were involved in our meta-analysis. The results demonstrated that there was significant association between Arg399Gln polymorphism and HCC risk under two contrast models in overall populations (AG vs GG: OR=1.265, 95%CI=1.036-1.545, p=0.021; AA+AG vs GG: OR=1.240, 95%CI=1.021-1.506, p=0.030). In subgroup analyses, significant association was found in Asians (A vs G: OR=1.175, 95%CI=1.013-1.362, p=0.033; AG vs GG: OR=1.317, 95%CI=1.070-1.622, p=0.009; AA+AG vs GG: OR=1.289, 95%CI=1.055-1.575, p=0.013) and Caucasians (A vs G: OR=0.591, 95%CI=0.361-0.966, p=0.036; AA+AG vs GG: OR=0.468, 95%CI=0.234-0.934, p=0.031). CONCLUSIONS The results suggest that XRCC1 Arg399Gln polymorphism may increase HCC risk especially among Asians. However, XRCC1 Arg399Gln polymorphism might act as a protective role against HCC among Caucasians.