Miracle-dz/UniFAR-FTUs huggingface dataset:
Empirical Prediction of Turnovers in NFL Football

Turnovers in the National Football League (NFL) occur whenever a team loses possession of the ball due to a fumble, or an interception. Turnovers disrupt momentum of the offensive team, and represent lost opportunities to advance downfield and score. Teams with a positive differential turnover margin in a given game win 70% of the time. Turnovers are statistically rare events, occurring apparently randomly. These characteristics make them difficult to predict. This investigation advances the hypothesis that turnovers are predictable in NFL football. Machine learning models are developed to learn the concept: At any point within a football game, what is the likelihood that a turnover will be observed on the next play from scrimmage? NFL play-by-play data for 32 teams spanning seven full seasons were used to train the models. Results presented suggest evidence to support the working hypothesis. Under certain conditions, both fumbles and interceptions can be anticipated at low false discovery rates (less than 15%). When a turnover is predicted on the impending play from scrimmage, a high degree of confidence is associated with that prediction. The ability to anticipate catastrophic in-game events may lead to their management and control, ultimately improving the performance of individual athletes and their teams. This investigation contributes to the sports science literature by demonstrating the predictability of in-game events often considered to be essentially random in their occurrence. To the author’s knowledge, direct prediction of turnovers has not previously appeared in the literature, which has focused on retrospective statistical analyses of turnover margin in football games.
C1-Inhibitor Protects From Brain Ischemia-Reperfusion Injury by Combined Antiinflammatory and Antithrombotic Mechanisms

Background and Purpose— Inflammation and thrombosis are pathophysiological hallmarks of ischemic stroke still unamenable to therapeutic interventions. The contact-kinin system represents an interface between inflammatory and thrombotic circuits and is involved in stroke development. C1-inhibitor counteracts activation of the contact-kinin system at multiple levels. We investigated the therapeutic potential of C1-inhibitor in models of ischemic stroke. Methods— Male and female C57Bl/6 mice and rats of different ages were subjected to middle cerebral artery occlusion and treated with C1-inhibitor after 1 hour or 6 hours. Infarct volumes and functional outcomes were assessed between day 1 and day 7, and findings were validated by magnetic resonance imaging. Blood–brain barrier damage, thrombus formation, and the local inflammatory response were determined poststroke. Results— Treatment with 15.0 U C1-inhibitor, but not 7.5 U, 1 hour after stroke reduced infarct volumes by ≈60% and improved clinical scores in mice of either sex on day 1. This protective effect was preserved at later stages of infarction as well as in elderly mice and in another species, ie, rats. Delayed C1-inhibitor treatment still improved clinical outcome. Blood–brain barrier damage, edema formation, and inflammation were significantly lower compared with controls. Moreover, C1-inhibitor showed strong antithrombotic effects. Conclusions— C1-inhibitor is a multifaceted antiinflammatory and antithrombotic compound that protects from ischemic neurodegeneration in clinically meaningful settings.
Semiosis de lo ideológico y el poder

Este trabajo, al proponerse como el esbozo de una problemática extremadamente vasta y compleja, obliga a presentar de una manera forzosamente esquemática y dentro del espacio disponible los asuntos tratados. El lector queda invitado a completar esta lectura, sobre todo en lo referente al problema de la ideológico.
Design and Research of Unconnected Point Numeric Recognition System Based on Neural Network

Currently few people focus on the research of printed unconnected point numeric recognition, this paper, extract this kind of number from the table number of Electric Energy Meter (EEM). We have designed a system to recognize this kind of numeric based on neural network. Using the normalized unconnected point number image (28×20) as the neural network input. Experiment results show that the system can better achieve unconnected point digit recognition, with a higher recognition rate, even deal with relatively poor picture; recognition rate can be maintained average above 96%.
Economic modelling of uncertain next-generation network evolution

In this paper the uncertainties and the implied level of risk associated with next-generation network architectures is modelled using Monte Carlo simulation, aimed at understanding network economics evolution. A high number of network parameters - like incremental network deployment, data centre location, network architecture, service mix, traffic growth and subscriber take-up - are modelled. A wide range of values is used for these parameters to gain understanding of their impact on network cost. Such an approach provides insight into the risk level undertaken by operators when building their network infrastructure based on a specific forecast. Thus, the core result of this analysis is that a sub-wavelength optical packet forwarding technology can de-risk network investments by 500% when compared to a next-generation IPoDWDM solution. Second, in a scaled network scenario the sub-wavelength solution also provides 150% capital savings. Finally, on the medium and long term the sub-wavelength approach yields a cost benefit for 99.8% of the configurations, when compared to an IPoDWDM architecture.
Physiological studies investigating neurological adaptationsto resistance training

The effect of different strength training paradigms on corticospinal excitability and inhibition was studied throughout this thesis. The primary aim was to investigate the corticospinal responses following isometric, isotonic, cross-education and wholebody vibration (WBV) strength training, and to determine if any observed differences in corticospinal parameters (excitability, inhibition, and motor unit synchronisation) influenced the development of strength.
Formal verification of overhead accounting in an avionics RTOS

This paper describes our work modeling key portions of the safety-critical software infrastructure in an integrated modular avionics (IMA) platform in an effort to analytically establish correctness of important aspects of its design. In particular, we use model checking to verify timing properties of the Deos/spl trade/ real-time operating system in the presence of various advanced scheduling features. We focus here on the addition of scheduler overhead processing time to the Deos model and analyzing its effect on the time partitioning property and the internal assertions (function preconditions) in the model. Our model includes advanced scheduling features (dynamic threads, slack recovery, aperiodic interrupts) and explicitly models the scheduler operations at the same level of detail as the source code. Our findings support the use of formal methods to verify key properties of safety-critical systems that would be difficult or impossible to establish otherwise.
Combining speed-up techniques for shortest-path computations

In practice, computing a shortest path from one node to another in a directed graph is a very common task. This problem is classically solved by Dijkstra's algorithm. Many techniques are known to speed up this algorithm heuristically, while optimality of the solution can still be guaranteed. In most studies, such techniques are considered individually. The focus of our work is combination of speed-up techniques for Dijkstra's algorithm. We consider all possible combinations of four known techniques, namely, goal-directed search, bidirectional search, multilevel approach, and shortest-path containers, and show how these can be implemented. In an extensive experimental study, we compare the performance of the various combinations and analyze how the techniques harmonize when jointly applied. Several real-world graphs from road maps and public transport and three types of generated random graphs are taken into account.
Performance Analysis and Optimization of $\hbox{T}_{\rm c}$-DTR IR-UWB Receivers Over Multipath Fading Channels With Tone Interference

In this paper, we analyze the performance of a particular class of transmitted-reference receivers for impulse radio ultrawideband communication systems, which is called chip-time differential transmitted-reference ( Tc-DTR). The analysis aims at investigating the robustness of this receiver to single-tone and multitone narrowband interference (NBI) and comparing its performance with other noncoherent receivers that are proposed in the literature. It is shown that the Tc-DTR scheme provides more degrees of freedom for performance optimization and that it is inherently more robust to NBI than other noncoherent receivers. More specifically, it is analytically proved that the performance improvement is due to the chip-time-level differential encoding/decoding of the direct sequence (DS) code and to an adequate design of DS code and average pulse repetition time. The analysis encompasses performance metrics that are useful for both data detection (i.e., average bit error probability) and timing acquisition (i.e., false-alarm probability Pfa and detection probability Pd ). Moving from the proposed semianalytical framework, the optimal code design and system parameters are derived, and it is highlighted that the same optimization criteria can be applied to all the performance metrics considered in this paper. In addition, analytical frameworks and theoretical findings are substantiated through Monte Carlo simulations.
Analisis Terhadap Migran Sirkuler di Kota Surabaya

Fenomena migrasi sebagai bentuk mobilitas penduduk telah menjadi budaya tersendiri di Negara Indonesia. Salah satu tempat menarik yang dijadikan tujuan bermigrasi adalah Kota Surabaya sebagai kota terbesar kedua di Indonesia. Sehingga penelitian ini mencoba fokus pada realita migrasi di Kota Surabaya yang terspesifikasi pada migran sirkuler. Adapun tujuan penelitiaan yang dilakukan adalah untuk mengetahui karakteristik migran sirkuler yang sifatnya tidak menetap (ulang-alik) dan para migran yang pulang dalam tempo mingguan/bulanan (menetap). Sementara tujuan yang kedua adalah untuk mengetahui faktor-faktor pembeda yang mempengaruhi migrasi sirkuler yang sifatnya harian (ulang-alik) dengan yang sifatnya pulang secara mingguan/bulanan. Melalui 11 (sebelas) faktor yang diambil sebagai variabel independen, maka keduabelas variabel ini dibedakan kedalam dua kelompok. Kelompok pertama berdasarkan karakteristik ekonomi : upah, pekerjaan sektor jasa, pekerjaan sektor perdagangan, pekerjaan sektor industri, dan jarak. Kelompok kedua berdasarkan karakteristik demografi : status dalam keluarga, status pernikahan, jenis kelamin, jenjang pendidikan,umur,dan daerah asal. Melalui data sekunder yang diambil dari Survei Angkatan Kerja Nasional (Sakernas) tahun 2012. Data tersebut diolah pada probit dan sebagi pembandingya menggunkan LPM (Linear Probability Model) melalui operasi software Stata 10. Secara menyeluruh dapat dikatakan bahwa yang memiliki kecenderungan untuk menentukan minat atau keputusan melakukan migrasi sirkuler secara ulang alik/harian/tidak menetap adalah variabel pekerjaan disektor jasa, status penikahan, tingkat pendidikan, dan daerah asal (perkotaan) karena memilikin kofisien positif dan signifikan. Sementara kecenderungan untuk melakukan migrasi dengan ada proses menetap (mingguan/bulanan) pulang, lebih cenderung karena faktor pekerjaan disektor industri, jarak, status kepala rumah tangga, dan umur, karena adanya kofisien negative secara signifikan. Sisanya variabel upah, pekerjaan disektor perdagangan, dan jenis kelamin memiliki kecenderungan yang tidak signifikan terhadap penentuan keputusan untuk melakukan migrasi entah yang sifatnya tidak menetap/ulang-alik/harian/ maupun yang sifatnya menetap (mingguan/bulanan) pulang. Kata kunci : Mobilitas, Kecenderungan ,Migrasi Sirkuler Ulang-Alik. Migrasi Sirkuler Menetap.
Factors Influencing Wind Energy Curtailment

Nonphysically firm wind generation connections (i.e., those to which curtailment can apply) may be necessary for significant wind integration to congested transmission networks. A study of factors influencing this associated wind energy curtailment is, therefore, of timely importance. In this paper, the wind curtailment estimation effects of natural inter-yearly wind profile variability, system demand-profile/fuel-price parameter uncertainty, and minimum system inertial constraints are studied in detail. Results indicate that curtailment estimation error can be reduced by appropriate wind data year-length and sampling-rate choice, though a pragmatic consideration of system parameter uncertainty should be maintained. Congestion-related wind energy curtailment risk due to such parameter uncertainty exhibits appreciable interlocational dependency, suggesting there may be scope for effective curtailment risk management. The coincidence of wind energy curtailment estimated due to network thermal congestion and system-wide inertial-stability issues also has commercial significance for systems with very high wind energy penetration targets, suggesting there may be appreciable interaction between different sources of curtailment in reality.
Generalizing the Square Root Rule for Optimal Periodic Scheduling in Push-Based Wireless Environments

The present paper proposes a generalization of the square root rule for optimal periodic scheduling. The rule defines a ratio of item occurrences in a schedule, which minimizes the mean serving time. However, the actual number of each item's occurrences must be an integer. Therefore, the square root rule assumes large schedules, in order for the ratio to hold with acceptable precision. The present paper introduces an analysis-derived formula which connects the mean serving time and the size of the schedule. The relation shows that small schedules can also achieve near-optimal serving times. The analysis is validated through comparison with simulation and brute force-derived results. Finally, it is shown that minimizing the size of the schedule is also an efficient way of optimizing the aggregate scheduling cost.
Glutaredoxin S 15 Is Involved in FeS Cluster Transfer in Mitochondria In fl uencing Lipoic Acid-Dependent Enzymes , Plant Growth , and Arsenic Tolerance in Arabidopsis 1 [ OPEN ]

Elke Ströher, Julia Grassl, Chris Carrie, Ricarda Fenske, James Whelan, and A. Harvey Millar ARC Centre of Excellence in Plant Energy Biology, M316, Faculty of Science, The University of Western Australia, Crawley, 6009 Western Australia, Australia (E.S., J.G., C.C., R.F., A.H.M.); and ARC Centre of Excellence in Plant Energy Biology, Department of Animal, Plant and Soil Science, School of Life Science, LaTrobe University, Bundoora, 3086 Victoria, Australia (J.W.)
Risk factors for amphotericin B-induced nephrotoxicity.

The association of amphotericin B with nephrotoxicity is well known, but risk factors for this complication are not well characterized. One hundred and seventy-eight patients who received > 3 days of intravenous amphotericin B and a minimal total cumulative dose > 100 mg were reviewed retrospectively. The mean age, average cumulative dose of amphotericin B and duration of therapy were 46 +/- 22 years, 536 +/- 547 mg and 16.6 +/- 8.2 days, respectively. Eighty-six percent of patients received amphotericin B for empirical therapy of febrile neutropenia. Various definitions of nephrotoxicity were used; these were as follows (the incidence of nephrotoxicity as determined by the given definition is given in parentheses): definition 1, a change in creatinine of > 46 mumol/L over baseline (50%); definition 2, a doubling of creatinine over baseline (49%); definition 3, a change in creatinine of > 92 mumol/L (29%); definition 4, a doubling and/or a change in creatinine of > 92 mumol/L (49%); definition 5, an increase in creatinine to > 230 mumol/L (8%). Multivariate analysis showed that nephrotoxicity was associated with a greater cumulative dose of amphotericin B and receipt of concomitant nephrotoxic drugs for all definitions (P < 0.05). In those patients who experienced severe nephrotoxicity (creatinine increased to > 230 mumol/L), cyclosporin therapy was the most significant risk factor (odds ratio 18.8, P = 0.022). Haemodialysis was necessary in one patient, but multiple concomitant risk factors for renal dysfunction were present. No patient experienced irreversible nephrotoxicity. These findings allow for stratification of patients at risk for amphotericin B-induced nephrotoxicity and rational use of alternative agents.
Extracellular matrix 4: The elastic fiber

The elastic properties of many tissues such as the lung, dermis, and large blood vessels are due to the presence of elastic fibers in the extracellular space. These fibers have been shown by biochemical and ultrastructural analysis to be composed of two distinct components, a more abundant amorphous component and a 10–12 nm microfibrillar component, which is located primarily around the periphery of the amorphous component. The protein elastin makes up the highly insoluble amorphous component and is responsible for the elastic properties, Elastin is found throughout the vertebrate kingdom and possesses an unusual chemical composition rich in glycine, proline, and hydrophobic amino acids, consonant with its characteristic physical properties. The 72‐kDa biosynthetic precursor, tropoelastin, is secreted into the extracellular space where it becomes highly cross‐linked into a rubber‐like network through the activity of the copper‐requiring enzyme lysyl oxidase. Analysis of the elastin gene has demonstrated that hydrophobic and cross‐linking domains are encoded in separate exons and that there is significant alternative splicing, resulting in multiple isoforms of tropoelastin. The elastin gene promoter contains many potential binding sites for various modulating factors indicative of a complex pattern of transcriptional regulation. The microfibrils contain several proteins, including fibrillin, and probably act as an organizing scaffold in the formation of the elastin network. There appears to be a fibrillin gene family in which each protein contains multiple repeats of a motif previously found in epidermal growth factor and a second motif observed in transforming growth factor β1‐binding protein. Mutations in the fibrillin gene located on human chromosome 15 have been strongly implicated as the cause of the Marfan syndrome. —Rosenbloom, J., Abrams, W. R. , Mecham, R. The elastic fiber. FASEB J. 7: 1208‐1218; 1993.
A Formal Proof of Correctness of Construct Association from PROMELA to Java

The association between the subset of PROMELA’s constructs (or statements) and the subset of Java’s constructs is intended to provide a collection of rules that can be used as a reference in developing a model of code translator from a PROMELA model to a Java program. The idea arises from the fact that, both PROMELA model and Java program are built (or composed) by various elementary elements called constructs. Although this kind of association has already been introduced in some previous researches, they provided no proofs about its correctness. In this paper we propose a formal proof of association’s correctness by showing the equivalence (or similarity) of the program graphs for every two associated constructs in the association. The correctness of association means that every two associated constructs in association have equivalent semantics. In addition, at the end of this paper we also introduce a translator tool we have developed based on this association’s definition to translate PROMELA model to Java program.
Investigations on sensitivity enhancement of SPR biosensor using tunable wavelength and graphene layers

Surface plasmon resonance (SPR) is a well-known, rapid and sensitive technique used for probing the biomolecular interactions in real time. Several new approaches have been suggested to improve the sensitivity of SPR sensors over the last two decades. Recently, there have been few reports on using graphene on a metal film based SPR sensor in order to improve the sensitivity. The role of incident light wavelength and graphene layers in sensitivity enhancement is unclear. This paper reports computational investigations on sensitivity enhancement of SPR biosensor using tunable wavelength and graphene layers. The reflectivity of p-polarized incident light has been calculated using the N-layer model for the most common Kretschmann configuration. Sensitivity enhancements over a conventional angular interrogated SPR sensor have been calculated within the wavelength range 600 -1600 nm and up to ten graphene layers. Results indicate that the sensitivity can be enhanced by the increasing the graphene layers on conventional gold coating based SPR biosensor. Sensitivity enhancement is highly dominated by the wavelength of interrogation used in this design. By tuning the wavelength and graphene layers sensitivity of the graphene-based SPR biosensor can be increased.
The (non)malignancy of cancerous amino acidic substitutions

The process of natural selection acts both on individual organisms within a population and on individual cells within an organism as they develop into cancer. In this work, we have taken a first step toward understanding the differences in selection pressures exerted on the human genome under these disparate circumstances. Focusing on single amino acid substitutions, we have found that cancer‐related mutations (CRMs) are frequent in evolutionarily conserved sites, whereas single amino acid polymorphisms (SAPs) tend to appear in sites having a more relaxed evolutionary pressure. Those CRMs classed as cancer driver mutations show greater enrichment for conserved sites than passenger mutations. Consistent with this, driver mutations are enriched for sites annotated as key functional residues and their neighbors, and are more likely to be located on the surface of proteins than expected by chance. Overall the pattern of CRM and polymorphism is remarkably similar, but we do see a clear signal indicative of diversifying selection for disruptive amino acid substitutions in the cancer driver mutations. The ultimate consequence of the appearance of those mutations must be advantageous for the tumor cell, leading to cell population‐growth and migration events similar to those seen in natural ecosystems. Proteins 2010. © 2009 Wiley‐Liss, Inc.