Miracle-dz/UniFAR-FTUs huggingface dataset:
Apparent metabolizable and net energy values of corn and soybean meal for broiler breeding cocks

&NA; The AME and net energy (NE) values of 4 corn varieties, including 2 normal corn varieties (Zheng Dan 958 and Xian Yu 335), and one each of waxy corn and sweet corn, and 2 soybean meal samples including regular (RSBM) and dehulled soybean meal (DSBM), were determined in 2 experiments for broiler breeding cocks using the indirect calorimetry method. The 4 test diets in Experiment 1 consisted of each test corn, which replaced 40% of the corn‐soybean meal basal diet, and the test diets in Experiment 2 contained 25% RSBM or DSBM, which was used to replace the corn basal diet. Thirty (Experiment 1) or 18 (Experiment 2) 50‐week‐old Arbor Acre (AA) broiler breeding cocks were used in a completely randomized design. After a 7 d dietary adaptation period, 6 birds as replicates from each treatment were assigned to individual respiration chambers for energy measurement via gaseous exchange and total excreta collection for 10 d. In Experiment 1, the AME, ME intake (MEI), retained energy (RE), NE, and NE:AME ratio values were higher (P < 0.001) in the test diets as compared with the corn‐soybean meal basal diet. The AME and NE values in the sweet corn diet were higher (P < 0.05) than those values in the other 3 test diets. The heat production (HP), fasting heat production (FHP), and respiration quotient (RQ) were not influenced by the various experimental diets. The respective AME and NE values were 3,785, 3,775, 3,738, and 3,997 kcal/kg (DM basis), and 2,982, 3,006, 2,959, and 3,146 kcal/kg (DM basis) for Zheng Dan 958, Xian Yu 335, waxy corn, and sweet corn. Birds fed a corn basal diet in Experiment 2 had higher AME, MEI, RE, NE, and NE:AME ratio values (P < 0.001). Soybean meal substitution had no effect on HP, FHP, or RQ. The average AME and NE content was 2,492 and 1,581 kcal/kg (DM basis) for RSBM, and 2,580 and 1,654 kcal/kg (DM basis) for DSBM, respectively.
A new ray tracing method for propagation models in wireless communication

A new triangular-grid ray tracing (TGRT) method is proposed in this paper. It is based on dividing the propagation region into triangles. The number of triangles is decided by the number of structures' vertices, instead of their dimensions. For the 2D case, it can reduce the visible decision calculation to 2 edges for each triangle. It is shown that this method unifies the indoor and/or outdoor propagation problems and provides savings in computational time.
Developing a knowledge base of ancient literary texts in virtual space

In our paper we would like to introduce the organizational principles and main representation features of a knowledge base of ancient literary texts based on a three-dimensional virtual library model adopting the structure of the classification system of the ancient Library of Alexandria. Currently we are using the English translations of the selected ancient Greek texts as starting points to the knowledge base, but we intend to complete the provided content with other texts and multimedia materials. In our paper we focus on the content management and organization issues of the knowledge base. With respect to them it is crucially important to formulate our primary goals or mission, that is, why we think our collection of ancient materials could be especially useful and unique for its users. Because the average user needs a considerable amount of dictionaries and background knowledge to fully understand and interpret the ancient literary texts, the selected material should be carefully preprocessed and well organized. Our aim is to provide the necessary knowledge for each text available in the knowledge base in order that the texts could be `read at once' and without (much) effort. Therefore we introduce the cognitive framework that the preprocessing of literary texts and the representation features of our virtual library model are based on. Finally, we demonstrate our ideas by a carefully chosen example which illustrates the possible representations of two parallel translations of an ancient poem by Sappho.
Reducing the legal blood alcohol concentration limit for driving in developing countries: a time for change? Results and implications derived from a time-series analysis (2001-10) conducted in Brazil.

AIMS In Brazil, a new law introduced in 2008 has lowered the blood alcohol concentration limit for drivers from 0.06 to 0.02, but the effectiveness in reducing traffic accidents remains uncertain. This study evaluated the effects of this enactment on road traffic injuries and fatalities. DESIGN Time-series analysis using autoregressive integrated moving average (ARIMA) modelling. SETTING State and capital of São Paulo, Brazil. PARTICIPANTS A total of 1,471,087 non-fatal and 51,561 fatal road traffic accident cases in both regions. MEASUREMENTS Monthly rates of traffic injuries and fatalities per 100,000 inhabitants from January 2001 to June 2010. FINDINGS The new traffic law was responsible for significant reductions in traffic injury and fatality rates in both localities (P<0.05). A stronger effect was observed for traffic fatality (-7.2 and -16.0% in the average monthly rate in the State and capital, respectively) compared to traffic injury rates (-1.8 and -2.3% in the State and capital, respectively). CONCLUSIONS Lowering the blood alcohol concentration limit in Brazil had a greater impact on traffic fatalities than injuries, with a higher effect in the capital, where presumably the police enforcement was enhanced.
Model checking object petri nets in prolog

Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-pre-serving translation of OPNs to Prolog by encoding the OPN semantics, avoiding the need for an unfolding to a flat Petri net. The translation provides support for reference and value semantics, and even allows different objects to be treated as copyable or non-copyable. The method is developed for OPNs with arbitrary nesting. We then apply logic programming tools to animate, compile and model check OPNs. In particular, we use the partial evaluation system logen to produce an OPN compiler, and we use the model checker xtl to verify CTL formulae. We also use logen to produce special purpose model checkers. We present two case studies, along with experimental results. A comparison of OPN translations to Maude specifications and model checking is given, showing that our approach is roughly twice as fast for larger systems. We also tackle infinite state model checking using the ecce system.
Substantial increase in concurrent droughts and heatwaves in the United States

Significance Climatic extremes cause significant damage to the environment and society, and can cause even more damage when multiple extremes occur simultaneously. This study shows that although there is no significant trend in meteorological drought, the concurrence of meteorological droughts and heatwaves shows statistically significant increases across the United States. We show that the tail of the distribution of concurrent drought and heatwave conditions has shifted toward more frequent and extreme concurrent extremes. Our study outlines a statistical approach for investigating continuous change in the cumulative distribution functions of climatic extremes. A combination of climate events (e.g., low precipitation and high temperatures) may cause a significant impact on the ecosystem and society, although individual events involved may not be severe extremes themselves. Analyzing historical changes in concurrent climate extremes is critical to preparing for and mitigating the negative effects of climatic change and variability. This study focuses on the changes in concurrences of heatwaves and meteorological droughts from 1960 to 2010. Despite an apparent hiatus in rising temperature and no significant trend in droughts, we show a substantial increase in concurrent droughts and heatwaves across most parts of the United States, and a statistically significant shift in the distribution of concurrent extremes. Although commonly used trend analysis methods do not show any trend in concurrent droughts and heatwaves, a unique statistical approach discussed in this study exhibits a statistically significant change in the distribution of the data.
knowledge-based potentials and structural filters Coarse-grained modeling of large RNA molecules with Material Supplemental

Understanding the function of complex RNA molecules depends critically on understanding their structure. However, creating three-dimensional (3D) structural models of RNA remains a significant challenge. We present a protocol (the nucleic acid simulation tool [NAST]) for RNA modeling that uses an RNA-specific knowledge-based potential in a coarse-grained molecular dynamics engine to generate plausible 3D structures. We demonstrate NAST’s capabilities by using only secondary structure and tertiary contact predictions to generate, cluster, and rank structures. Representative structures in the best ranking clusters averaged 8.0 6 0.3 Å and 16.3 6 1.0 Å RMSD for the yeast phenylalanine tRNA and the P4-P6 domain of the Tetrahymena thermophila group I intron, respectively. The coarse-grained resolution allows us to model large molecules such as the 158residue P4-P6 or the 388-residue T. thermophila group I intron. One advantage of NAST is the ability to rank clusters of structurally similar decoys based on their compatibility with experimental data. We successfully used ideal small-angle X-ray scattering data and both ideal and experimental solvent accessibility data to select the best cluster of structures for both tRNA and P4-P6. Finally, we used NAST to build in missing loops in the crystal structures of the Azoarcus and Twort ribozymes, and to incorporate crystallographic data into the Michel–Westhof model of the T. thermophila group I intron, creating an integrated model of the entire molecule. Our software package is freely available at https://simtk.org/home/nast.
Young Adults’ Sleep Duration on Work Days: Differences between East and West

Human sleep schedules vary widely across countries. We investigated whether these variations were related to differences in social factors, Morningness–Eveningness (ME) preference, or the natural light–dark cycle by contrasting the sleep duration and timing of young adults (age: 18–35 years) on work and free days in Singapore (n = 1898) and the UK (n = 837). On work days, people in Singapore had later bedtimes, but wake times were similar to the UK sample, resulting in shorter sleep duration. In contrast, sleep duration on free days did not differ between the two countries. Shorter sleep on work days, without compensatory extra long sleep hours on free days, suggest greater demands from work and study in Singapore. While the two samples differed slightly in ME preference, the associations between eveningness preference and greater extension in sleep duration as well as delays in sleep timing on free days were similar in the two countries. Thus, differences in ME preference did not account for the differences in sleep schedules between the two countries. The greater variability in the photoperiod in the UK was not associated with more prominent seasonal changes in sleep patterns compared to Singapore. Furthermore, in the UK, daylight saving time did not alter sleep schedules relative to clock time. Collectively, these findings suggest that differences in social demands, primarily from work or study, could account for the observed differences in sleep schedules between countries, and that in industrialized societies, social zeitgebers, which typically involve exposure to artificial light, are major determinants of sleep schedules.
Searching for potential biomarkers of cisplatin resistance in human ovarian cancer using a label‐free LC/MS‐based protein quantification method

Platinum‐based chemotherapy, such as cisplatin, is the primary treatment for ovarian cancer. However, drug resistance has become a major impediment to the successful treatment of ovarian cancer. To date, the molecular mechanisms of resistance to platinum‐based chemotherapy remain unclear. In this study, we applied an LC/MS‐based protein quantification method to examine the global protein expression of two pairs of ovarian cancer cell lines, A2780/A2780‐CP (cisplatin‐sensitive/cisplatin‐resistant) and 2008/2008‐C13*5.25 (cisplatin‐sensitive/cisplatin‐resistant). We identified and quantified over 2000 proteins from these cell lines and 760 proteins showed significant expression changes with a false discovery rate of less than 5% between paired groups. Based on the results we obtained, we suggest several potential pathways that may be involved in cisplatin resistance in human ovarian cancer. This study provides not only a new proteomic platform for large‐scale quantitative protein analysis, but also important information for discovery of potential biomarkers of cisplatin resistance in ovarian cancer. Furthermore, these results may be clinically relevant for diagnostics, prognostics, and therapeutic improvement for ovarian cancer treatment.
Difference between Leisure and Work Contexts: The Roles of Perceived Enjoyment and Perceived Usefulness in Predicting Mobile Video Calling Use Acceptance

There is a rapidly growing body of literature on mobile video calling, which is a promising communication technology; however, little research has focused on user acceptance of mobile video calling, especially in different use contexts. This study explored factors (especially perceived enjoyment) influencing the intention of users to employ video calling in different contexts (a work and a leisure context) by applying the technology acceptance model (TAM) combined with the theory of planned behavior. The revised research model differentiated external factors (subjective norms and personal innovativeness) from internal factors (perceived usefulness, perceived ease of use (PEU), perceived enjoyment, and intention to use mobile video calling). In addition, the current study investigated predictors of perceived enjoyment across these two contexts. With the use of a structured questionnaire, participants were divided in two groups and completed self-report measures related to one context; a total of 386 student respondents’ responses were analyzed. The results indicated that users’ intentions were directly predicted by their perceived enjoyment of video calling (β ≥ 0.35) and the call’s perceived usefulness (β ≥ 0.27) and PEU (β = 0.13, only for the leisure context), which jointly explained at least 55.6% of the variance in use intention. In addition to the effects of these predictors on mobile video calling use acceptance, an assessment of the moderating effects of different contexts indicated that perceived enjoyment played a more important role in influencing intention for the leisure context, while perceived usefulness appeared to be more important for the work context. This study’s findings are important in that they provide strong support for the necessity of distinguishing among different types of contexts when predicting users’ intentions to use video calling. Furthermore, the results showed that perceived enjoyment was most significantly influenced by perceived usefulness (β ≥ 0.61), followed by PEU (β ≥ 0.13). In summary, the roles of core TAM variables (especially perceived enjoyment and perceived usefulness) and of external factors (subjective norms and personal innovativeness) differed between the leisure and work contexts. The implications of these findings are discussed.
Neocentromere-mediated Chromosome Movement in Maize

Neocentromere activity is a classic example of nonkinetochore chromosome movement. In maize, neocentromeres are induced by a gene or genes on Abnormal chromosome 10 (Ab10) which causes heterochromatic knobs to move poleward at meiotic anaphase. Here we describe experiments that test how neocentromere activity affects the function of linked centromere/kinetochores (kinetochores) and whether neocentromeres and kinetochores are mobilized on the spindle by the same mechanism. Using a newly developed system for observing meiotic chromosome congression and segregation in living maize cells, we show that neocentromeres are active from prometaphase through anaphase. During mid-anaphase, normal chromosomes move on the spindle at an average rate of 0.79 μm/min. The presence of Ab10 does not affect the rate of normal chromosome movement but propels neocentromeres poleward at rates as high as 1.4 μm/min. Kinetochore-mediated chromosome movement is only marginally affected by the activity of a linked neocentromere. Combined in situ hybridization/immunocytochemistry is used to demonstrate that unlike kinetochores, neocentromeres associate laterally with microtubules and that neocentromere movement is correlated with knob size. These data suggest that microtubule depolymerization is not required for neocentromere motility. We argue that neocentromeres are mobilized on microtubules by the activity of minus end–directed motor proteins that interact either directly or indirectly with knob DNA sequences.
Optimization of ensemble neural networks with type-2 fuzzy response integration for predicting the Mackey-Glass time series

This paper describes the optimization of an ensemble neural network with fuzzy integration of responses based on type-1 and type-2 fuzzy logic. Genetic algorithms are used as a method of optimization for the ensemble model in this case of study. The time series that is being considered is the Mackey-Glass benchmark. Simulation results show that the ensemble approach produces good prediction of the Mackey-Glass time series.
Revisiting Optimistic Fair Exchange Based on Ring Signatures

Optimistic fair exchange (OFE) is a kind of protocol that solves the fair exchange problem with the help of a trusted third party, usually referred to as an arbitrator. Participation of the arbitrator is required only when there is a dispute among the exchanging parties. Thus, the majority of the executions of the exchange does not involve the arbitrator and hence the term optimistic. The passive nature of the arbitrator makes optimistic fair exchange a desirable tool in applications, such as contract signing and electronic commerce. The highest level of security of optimistic fair exchange in the literature is the multiuser security in the chosen-key model, proposed by Huang, Yang, Wong, and Susilo in CT-RSA 2008. They showed that an efficient optimistic fair exchange scheme secure in this sense can be constructed generically from a conventional digital signature and a two-party ring signature. In particular, the underlying ring signature is required to be unforgeable under an adaptive attack, against a static adversary in the 2-user setting. In this paper, we propose a new security model for two-party ring signatures called unforgeability against restricted adaptive attacks and demonstrate that our new model is strictly weaker than the model of unforgeable under an adaptive attack, against a static adversary in the 2-user setting. We make an observation that two-party ring signatures secure in this weaker model will suffice to guarantee the security of the resulting OFE scheme following the aforementioned generic construction. Based on this observation, more efficient OFE schemes secure in the standard model can be constructed. Specifically, we prove that the well-known Bender, Katz, and Morselli's 2-user ring signature is secure in our weakened model. Based on this two-party ring signature, we construct an OFE secure in the chosen-key model offering multiuser security in the standard model under the computational Diffie-Hellman assumption. The assumption is arguably weaker than those used in all existing constructions, which rely on the random oracle model, decisional assumptions, or the strong Diffie-Hellman assumptions. It is also worth noting that our scheme is the most efficient one in the standard model, and offers comparable efficiency against those secure under the random oracle model.
A Unified Approach to Threat Assessment and Control for Automotive Active Safety

This paper presents the design of a novel active safety system preventing unintended roadway departures. The proposed framework unifies threat assessment, stability, and control of passenger vehicles into a single combined optimization problem. A nonlinear model predictive control (MPC) problem is formulated, where nonlinear vehicle dynamics, in closed-loop with a driver model, is used to optimize the steering and braking actions needed to keep the driver safe. A model of the driver's nominal behavior is estimated based on his observed behavior. The driver commands the vehicle, whereas the safety system corrects the driver's steering and braking actions in case there is a risk that the vehicle will unintentionally depart from the road. The resulting predictive controller is always active, and mode switching is not necessary. We show simulation results detailing the behavior of the proposed controller and experimental results obtained by implementing the proposed framework on embedded hardware in a passenger vehicle. The results demonstrate the capability of the proposed controller to detect and avoid roadway departures while avoiding unnecessary interventions.
Relationship between clinical characteristics of narcolepsy and CSF orexin‐A levels

Although an abnormally low cerebrospinal fluid (CSF)‐orexin level is well known to be a specific finding in narcoleptic patients, the relationships between the severity of the core symptoms of narcolepsy [i.e. daytime sleepiness and increased rapid eye movement (REM) propensity], as well as levels of obesity, and CSF‐orexin levels have not been well elucidated. The aim of this study was to examine the relationship between these characteristic symptoms of narcolepsy and CSF‐orexin level. Fifty‐three patients with narcolepsy with cataplexy (NA/CA) and 17 without cataplexy (NA w/o CA) were enrolled. Sleep latency and sleep onset REM latency were measured using the multiple sleep latency test (MSLT). Multiple linear regression analysis was used to determine factors associated with both mean sleep latency and mean sleep onset REM latency on MSLT, with %body mass index (BMI), gender, onset age, length of excessive daytime sleepiness (EDS) morbidity, diagnostic subgroup and CSF‐orexin levels being used as independent variables. The NA/CA group included a significantly higher number of patients with undetectable CSF‐orexin levels and shorter sleep onset and rapid eye movement (SOREM) latency, as well as a higher %BMI, versus NA w/o CA. Multiple linear regression analysis revealed that sleep latency was associated significantly with CSF‐orexin levels and gender. With regard to sleep onset REM latency and %BMI, only CSF‐orexin levels appeared to be a significantly associated factor. In narcoleptic patients, the severity of both excessive daytime sleepiness and increased REM propensity, as well as the level of obesity, could be associated with CSF‐orexin deficiency, rather than with subcategories of the disorder.
Human Facilitative Glucose Transporters

From the *Howard Hughes Medical Institute and Departments of Biochemistry and Molecular Biology and of Medicine, The University of Chicago, Chicago, Illinois 60637, the llDepartment of Biochemistry, University of Gkxgow, Glasgow G12 SQQ, United Kingdom, the §Second Department of Znternat Medicine, Kyoto University School of Medicine, Kyoto 606, Japan, and the 11 Department of Human Genetics, Roswell Park Memorial Institute, New York State Department of Health, Buff& New York 14263