Miracle-dz/UniFAR-FTUs huggingface dataset:
Effect of Vertical, Horizontal, and Combined Plyometric Training on Explosive, Balance, and Endurance Performance of Young Soccer Players

Abstract Ramírez-Campillo, R, Gallardo, F, Henriquez-Olguín, C, Meylan, CMP, Martínez, C, Álvarez, C, Caniuqueo, A, Cadore, EL, and Izquierdo, M. Effect of vertical, horizontal, and combined plyometric training on explosive, balance, and endurance performance of young soccer players. J Strength Cond Res 29(7): 1784–1795, 2015—The aim of this study was to compare the effects of 6 weeks of vertical, horizontal, or combined vertical and horizontal plyometric training on muscle explosive, endurance, and balance performance. Forty young soccer players aged between 10 and 14 years were randomly divided into control (CG; n = 10), vertical plyometric group (VG; n = 10), horizontal plyometric group (HG; n = 10), and combined vertical and horizontal plyometric group (VHG; n = 10). Players performance in the vertical and horizontal countermovement jump with arms, 5 multiple bounds test (MB5), 20-cm drop jump reactive strength index (RSI20), maximal kicking velocity (MKV), sprint, change of direction speed (CODS), Yo-Yo intermittent recovery level 1 test (Yo-Yo IR1), and balance was measured. No significant or meaningful changes in the CG, apart from small change in the Yo-Yo IR1, were observed while all training programs resulted in meaningful changes in explosive, endurance, and balance performance. However, only VHG showed a statistically significant (p ⩽ 0.05) increase in all performance test and most meaningful training effect difference with the CG across tests. Although no significant differences in performance changes were observed between experimental groups, the VHG program was more effective compared with VG (i.e., jumps, MKV, sprint, CODS, and balance performance) and HG (i.e., sprint, CODS, and balance performance) to small effect. The study demonstrated that vertical, horizontal, and combined vertical and horizontal jumps induced meaningful improvement in explosive actions, balance, and intermittent endurance capacity. However, combining vertical and horizontal drills seems more advantageous to induce greater performance improvements.
Verification of Conjunctive-Query Based Semantic Artifacts

We introduce semantic artifacts, which are a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of an ontology, including the underlying data, and a set of actions to change such information over time. In this paper, the ontology is specified as a DL-Lite TBox together with an ABox that may contain both (known) constants and unknown individuals (labeled nulls, represented as Skolem terms). Actions are specified as sets of conditional effects, where conditions are based on conjunctive queries over the ontology (TBox and ABox), and effects are expressed in terms of new ABoxes. In this setting, which is obviously not finite state, we address the verification of temporal/dynamic properties expressed in μ-calculus. Notably, we show decidability of verification, under a suitable restriction inspired by the notion of acyclicity in data exchange.
Antileptospiral activity in lower-vertebrate sera

Normal serum from the painted turtle (Chrysemys picta), the snapping turtle (Chelydra serpentina), and the frog (Rana pipiens) were found to possess bactericidal activity towards Leptospira. Leptospires from both the parasitic and biflexa complexes were killed by these sera at high dilutions. This pattern differs from that of mammalian serum, as generally only the biflexa complex leptospires are killed by normal mammalian serum. The activity in C. picta serum was characterized as being complement dependent and not mediated by basic proteins. Because comple-inactivated C. picta serum regained leptospiricidal activity after the addition of fresh rabbit serum, antibody is also likely to participate in the killing activity. Further support that C. picta serum contained leptospiral antibodies was found by the detection of serotype-specific agglutinins.
Search for Mycobacterium avium Subspecies paratuberculosis Antigens for the Diagnosis of Paratuberculosis

The aim of this study was to evaluate a wide panel of antigens of Mycobacterium avium subsp. paratuberculosis (MAP) to select candidates for the diagnosis of paratuberculosis (PTB). A total of 54 recombinant proteins were spotted onto nitrocellulose membranes and exposed to sera from animals with PTB (n = 25), healthy animals (n = 10), and animals experimentally infected with M. bovis (n = 8). This initial screening allowed us to select seven antigens: MAP 2513, MAP 1693, MAP 2020, MAP 0038, MAP 1272, MAP 0209c, and MAP 0210c, which reacted with sera from animals with PTB and showed little cross-reactivity with sera from healthy animals and animals experimentally infected with M. bovis. The second step was to evaluate the antigen cocktail of these seven antigens by ELISA. For this evaluation, we used sera from animals with PTB (n = 25), healthy animals (n = 26), and animals experimentally infected with M. bovis (n = 17). Using ELISA, the cocktail of the seven selected MAP antigens reacted with sera from 18 of the 25 animals with PTB and did not exhibit cross-reactivity with healthy animals and only low reactivity with animals with bovine tuberculosis. The combined application of these antigens could form part of a test which may help in the diagnosis of PTB.
Coding Improves the Optimal Delay-Throughput Trade-offs in Mobile Ad-Hoc Networks: Two-Dimensional I.I.D. Mobility Models

In this paper, we investigate the delay-throughput trade-offs in mobile ad-hoc networks under two-dimensional i.i. d. mobility models. We consider two mobility time-scales: (i) Fast mobility where node mobility is at the same time-scale as data transmissions; (ii) Slow mobility where node mobility is assumed to occur at a much slower time-scale than data transmissions. Given a delay constraint $D,$ the main results are as follows: (1) For the two-dimensional i.i. d. mobility model with fast mobiles, the maximum throughput per source-destination (S-D) pair is shown to be $O(\sqrt{D/n}),$ where $n$ is the number of mobiles. (2) For the two-dimensional i.i. d. mobility model with slow mobiles, the maximum throughput per S-D pair is shown to be $O(\sqrt[3]{D/n}). $ (3) For each case, we propose a joint coding-scheduling algorithm to achieve the optimal delay-throughput trade-offs.
Reinforcement of Hydroxyapatite Bioceramic by Addition of Ti3SiC2

Ti3SiC2/HAp composites with different Ti3SiC2 volume fractions were fabricated by spark plasma sintering (SPS) at 1200°C. The effects of Ti3SiC2 addition on the mechanical properties and microstructures of the composites were investigated. The bending strength and fracture toughness of the composites increased with increasing of Ti3SiC2 content, whereas the Vickers hardness decreased. The bending strength and fracture toughness reached 252±10 MPa and 3.9±0.1 MPa·m1/2, respectively, with the addition of 50 vol% Ti3SiC2. The increases in the mechanical properties were attributed to the matrix strengthening and interactions between cracks and the Ti3SiC2 platelets.
OCENA REAKCJI SIEWEK SOI NA STRES SOLNY

S t r e s z c z e n i e . W pracy przedstawiono wyniki badan wplywu zawartości chlorku sodu (NaCl) w pozywce Hoaglanda o stezeniach 25, 50, 75 mmol·dm na wzrost oraz intensywnośc fotosyntezy siewek soi dwoch odmian Nawiko i Progres. Określono świezą i suchą mase cześci nadziemnej i korzeni siewek soi badanych odmian oraz wykonano pomiary intensywności fotosyntezy. Zaobserwowano, ze wraz ze wzrostem stezenia NaCl w pozywce statystycznie istotnie obniza sie świeza i sucha masa cześci nadziemnej roślin obu odmian. Nie stwierdzono wplywu zwiekszającego sie stezenia NaCl w pozywce na świezą mase korzeni obu badanych odmian soi. Jedynie w przypadku suchej masy korzeni odmiany Nawiko negatywny wplyw zanotowano przy stezeniu NaCl 75 mmol·dm. Najwyzsze stezenia NaCl w pozywce (75 mmol·dm) spowodowaly upośledzenie zdolności asymilacji ditlenku wegla (CO2) roślin obu odmian. Uzyskane wyniki wykazaly, ze mlode rośliny odmiany Progres są bardziej tolerancyjne na stres solny niz odmiany Nawiko. S lo w a k l u c z o w e : stres solny, soja, wzrost, fotosynteza
Ethernet-Based Car Control Network

The use of networks for communication between electronic control units has increased in car industry over the last two decades. Several types of networks were developed for this purpose. In this study, Ethernet at gigabit speed is tested as a network for such system. The use of Ethernet helps integrating real-time control functions and non-real-time entertainment functions. Two main scenarios were simulated using OPNET. The fist one simulates pure control networks on board of a moving vehicle. The second scenario is the same as the first one with an added video load to simulate on-board entertainment. Both simulations were successful, as the end-to-end delays were below the maximum round-trip delays required by the system
High-speed ultrahigh-resolution optical coherence tomography findings in chronic solar retinopathy.

PURPOSE To describe ocular findings for a 34-year-old man with chronic solar retinopathy using high-speed ultrahigh-resolution (UHR) optical coherence tomography (OCT). METHODS Fundus photography, fluorescein angiography, and Stratus OCT (Carl Zeiss Meditec, Inc., Dublin, CA) were performed. A high-speed UHR OCT prototype developed in our ophthalmology clinic was used to obtain detailed images of the retina. PATIENTS Two eyes of one patient with chronic solar retinopathy were studied. RESULTS Both Stratus OCT and high-speed UHR OCT demonstrated foveal thinning bilaterally. In addition, high-speed UHR OCT showed distinct hyporeflective disruptions in the photoreceptor inner segment/outer segment junction and photoreceptor outer segments bilaterally. En face OCT images from three-dimensional OCT data sets revealed hyporeflective regions of photoreceptor atrophy in the outer retina. CONCLUSIONS High-speed UHR OCT showed more detail than standard OCT, and findings were consistent with histopathologic and ultrastructural features that have been reported previously. Solar retinopathy should be studied further with high-speed UHR OCT to determine the short- and long-term effects of solar radiation damage.
Leptin Responsiveness of Mice Deficient in Corticotrophin-Releasing Hormone Receptor Type 2

Leptin acts centrally to inhibit food intake and increase energy expenditure. Corticotrophin-releasing hormone (CRH) is one of the neuropeptides that may contribute to leptin-induced hypophagia and thermogenesis. Acute leptin administration increases CRH mRNA expression in the paraventricular nucleus of the hypothalamus and CRH receptor type 2 (CRHR2) expression in the ventromedial nucleus of the hypothalamus. Studies described here used male and female CRHR2 knockout (KO) mice and wild-type (WT) controls to test the importance of CRHR2 in mediating the effects of leptin on food intake, weight gain and body composition. Peripheral injections of 0.5 mg/kg leptin for 3 days inhibited food intake in female WT and male KO mice, but inhibited weight gain in female KO and male WT mice suggesting an important role for thermogenesis in mediating weight loss. A single third ventricle injection of 1 µg leptin inhibited 12 h food intake of all mice, 36 h cumulative intake of KO mice and weight loss in WT and KO female and WT male mice. A 12-day peripheral infusion of 10 µg leptin/day had no effect on food intake of any group, but significantly reduced carcass fat and protein content of all mice. These results indicate that CRHR2 are not essential for the effects of leptin on food intake, body weight or body composition. Leptin response seems to be determined by a combination of mouse gender and genotype, but CRHR2 KO mice may have an extended response to central leptin injections compared with their WT controls.
Annotating answer-set programs in Lana*

Abstract While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called Lana. This language allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP solver, as they take the form of program comments, they can be interpreted by tools for documentation, testing, and verification purposes, as well as to eliminate sources of common programming errors by realising syntax checking or code completion features. To demonstrate its versatility, we introduce two such tools, viz. (i) ASPDoc, for generating an HTML documentation for a program based on the annotated information, and (ii) ASPUnit, for running and monitoring unit tests on program blocks. Lana is also exploited in the SeaLion system, an integrated development environment for ASP based on Eclipse.
Effect of Material Non-Linearity of Adherents on the Behaviour of Interface Cracks

Oscillatory nature of stresses and interpenetration of crack faces of bimaterial interface crack has been observed due to the presence of complex singularity in the stresses at the crack tip. Strain energy release rate components $G_I$ and $G_{II}$ estimated from finite element analysis do not converge and oscillate with decreasing virtual crack extension. Limited amount of literature observed that the contact zone disappears in the presence of material non-linearity. This paper primarily addresses this issue. The interpenetration of crack is observed in FE model and prevented using gap elements. When subjected to a remote tension perpendicular to the crack it is observed that there is a contact zone initially at small load levels. When the load level is increased the contact zone progressively decreases and finally disappears at certain load level. The mixed mode nature is seen even after the crack tip opens up, whereas they are primarily mode II dominant when contact zone is maintained in the initial part of loading. The modular ratio of the two materials is progressively decreased from $E_2/E_1=10^5$ to 10 to examine the limiting behavior
Estimating intracranial volume using intracranial area in healthy children and those with childhood status epilepticus

Correcting volumetric measurements of brain structures for intracranial volume (ICV) is important in comparing volumes across subjects with different ICV. The aim of this study was to investigate whether intracranial area (ICA) reliably predicts actual ICV in a healthy pediatric cohort and in children with convulsive status epilepticus (CSE).
HGF/Met Axis in Heart Function and Cardioprotection

Hepatocyte growth factor (HGF) and its tyrosine kinase receptor (Met) play important roles in myocardial function both in physiological and pathological situations. In the developing heart, HGF influences cardiomyocyte proliferation and differentiation. In the adult, HGF/Met signaling controls heart homeostasis and prevents oxidative stress in normal cardiomyocytes. Thus, the possible cardiotoxicity of current Met-targeted anti-cancer therapies has to be taken in consideration. In the injured heart, HGF plays important roles in cardioprotection by promoting: (1) prosurvival (anti-apoptotic and anti-autophagic) effects in cardiomyocytes, (2) angiogenesis, (3) inhibition of fibrosis, (4) anti-inflammatory and immunomodulatory signals, and (5) regeneration through activation of cardiac stem cells. Furthermore, we discuss the putative role of elevated HGF as prognostic marker of severity in patients with cardiac diseases. Finally, we examine the potential of HGF-based molecules as new therapeutic tools for the treatment of cardiac diseases.
Searching for Historical Events on a Large-Scale Web Archive

Finding knowledge on the Web has long been a hot research issue. Today the Web has become a popular medium for publishing news and opinion articles, which are important carriers of human knowledge, especially of social knowledge. Developing techniques of automatically collecting and analysing these articles on a large scale is thus desirable. In this paper we propose techniques for searching for events on the Web, and our techniques have been tested on a large scale web archive. Given an event, or a news topic cared by many people, the purpose of this paper is to find out near-all news stories related to it. First, a novel domain-independent approach of extracting news stories from web pages is proposed which is based on anchor text and is applicable to most websites. Experiments show our approach performs good and is better than another approach we have found. Second, a domain-based method of representing events is proposed in which hundreds of keywords are used to represent an event and compose the query expression. This situation of retrieval is different from most search engines' in that the number of keywords is large. We then propose several retrieval algorithms based on BM25 for the method. Evaluation show that these algorithms perform better than unmodified BM25 in our situation and the best one is chosen as the algorithm of our system. Finally an experimental system has been built on a collection of 2 billion web pages and the running performance is reported, which shows the effectiveness of our approaches.
[Regulatory effect of integrin alpha5 and beta1 on proliferation inhibition of K562 cells induced by interferon alpha-2b].

BACKGROUND & OBJECTIVE Integrin beta1 can inhibit the proliferation of chronic myelocytic leukemia (CML) ph+ cells. The dysfunction of integrin beta1 might accelerate the growth of CML ph+ cells. This study was to explore the effects of integrin alpha5 and beta1 on the proliferation inhibition of K562 cells induced by IFNalpha-2b. METHODS The expression indexes of integrin alpha5 and beta1 on K562 cells, the binding capability of K562 cells to fibronectin (FN), and K562 cell-FN binding blocking induced by integrin alpha5 and beta1 antibodies were evaluated by flow cytometry (FCM). The viability of K562 cells, treated with IFNalpha-2b (10,000 u/ml), was observed by MTT assay. The mRNA level of focal adhesion kinase (FAK) in K562 cells was detected by reverse transcription-polymerase chain reaction (RT-PCR) 48 h after treatment of interferon alpha-2b (IFNalpha-2b). RESULTS The positive rates of integrin alpha5 and beta1 were significantly higher on K562 cells than on bone marrow mononuclear cells from healthy donors [(97.59+/-1.04)% vs. (64.05+/-2.38)%, (99.24+/-0.52)% vs. (72.40+/-3.56)%, P<0.05). IFNalpha-2b could not change the expression of integrin alpha5 and beta1 on K562 cells, but improved the binding capability of K562 cells to FN, which could be blocked by anti-alpha5 and/or anti-beta1 antibodies. IFNalpha-2b enhanced the expression of FAK gene, and inhibited the proliferation of K562 cells. The anti-alpha5 and anti-beta1 antibodies improved the inhibitory effect of IFNalpha-2b on the proliferation of K562 cells, and blocked IFNalpha-2b-induced increase of FAK gene expression. CONCLUSION IFNalpha-2b could inhibit the proliferation of K562 cells through restoring the function of integrin alpha5 and beta1, enhancing binding capability of integrin alpha5 and beta1 to FN, and up-regulating FAK gene expression.
Noise Models in Gene Array Analysis

Gene arrays measure the expression levels of thousands of genes simultaneously, providing an extremely powerful tool for biology and medicine. Unfortunately, the high level of noise in the resulting measurements often obscures the biological processes of interest. After providing an overview of gene array technology, we consider several recent expression level estimation methods which deal with this noise explicitly. We also consider the implications of estimation methods based on noise models in higher-level processing of gene array data.
Vague Spatio‐Thematic Query Processing: A Qualitative Approach to Spatial Closeness

In order to support the processing of qualitative spatial queries, spatial knowledge must be represented in a way that machines can make use of it. Ontologies typically represent thematic knowledge. Enhancing them with spatial knowledge is still a challenge. In this article, an implementation of the Region Connection Calculus (RCC) in the Web Ontology Language (OWL), augmented by DL‐safe SWRL rules, is used to represent spatio‐thematic knowledge. This involves partially ordered partitions, which are implemented by nominals and functional roles. Accordingly, a spatial division into administrative regions, rather than, for instance, a metric system, is used as a frame of reference for evaluating closeness. Hence, closeness is evaluated purely according to qualitative criteria. Colloquial descriptions typically involve qualitative concepts. The approach presented here is thus expected to align better with the way human beings deal with closeness than does a quantitative approach. To illustrate the approach, it is applied to the retrieval of documents from the database of the Datacenter Nature and Landscape (DNL).
Influenza-virus membrane fusion by cooperative fold-back of stochastically induced hemagglutinin intermediates

Influenza virus penetrates cells by fusion of viral and endosomal membranes catalyzed by the viral hemagglutinin (HA). Structures of the initial and final states of the HA trimer define the fusion endpoints, but do not specify intermediates. We have characterized these transitions by analyzing low-pH-induced fusion kinetics of individual virions and validated the analysis by computer simulation. We detect initial engagement with the target membrane of fusion peptides from independently triggered HAs within the larger virus-target contact patch; fusion then requires engagement of three or four neighboring HA trimers. Effects of mutations in HA indicate that withdrawal of the fusion peptide from a pocket in the pre-fusion trimer is rate-limiting for both events, but the requirement for cooperative action of several HAs to bring the fusing membranes together leads to a long-lived intermediate state for single, extended HA trimers. This intermediate is thus a fundamental aspect of the fusion mechanism. DOI:http://dx.doi. org/10.7554/eLife.00333. 001.
Hierarchical Agglomerative Clustering of Short-Circuit Faults in Transmission Lines

Data mining can play a fundamental role in modern power systems. However, a major problem is to extract useful information from the currently available non-labeled digitized time series. This work proposes a new methodology based on hierarchical clustering for labeling faults that occurred in transmission lines. A graphical user interface can benefit from the complementary information provided by the methodology. These faults are responsible for the majority of the disturbances and cascading blackouts. Simulation results using the public dataset UFPA faults are presented to validate the proposed method.