gebhart/patrepeval huggingface dataset:
Automated Fault Tree Analysis from AADL Models (2017)

Cyber-physical systems, used in domains such as avionics or medical devices, perform critical functions where a fault might have catastrophic consequences (mission failure, severe injuries, etc.). Their development is guided by rigorous practice standards that prescribe safety analysis methods in order to verify that failure have been correctly evaluated and/or mitigated. This laborintensive practice typically focuses system safety analysis on system engineering activities. As reliance on software for system operation grows, embedded software systems have become a major source of hazard contributors. Studies show that late discovery of errors in embedded software system have resulted in costly rework, making up as much as 50% of the total software system cost. Automation of the safety analysis process is key to extending safety analysis to the software system and to accommodate system evolution. In this paper we discuss three elements that are key to safety analysis automation in the context of fault tree analysis (FTA). First, generation of fault trees from annotated architecture models consistently reflects architecture changes in safety analysis results. Second, use of a taxonomy of failure effects ensures coverage of potential hazard contributors is achieved. Third, common cause failures are identified based on architecture information and reflected appropriately in probabilistic fault tree analysis. The approach utilizes the SAE Architecture Analysis & Design Language (AADL) standard and the recently published revised Error Model Annex V2 (EMV2) standard to represent annotated architecture models of systems and embedded software systems. The approach takes into account error sources specified with an EMV2 error propagation type taxonomy and occurrence probabilities as well as direct and indirect propagation paths between system components identified in the architecture model to generate a fault graph and apply transformations into a fault tree representation to support common mode analysis, cut set determination and probabilistic analysis.
Nitrogen-doped diamond films (1999)

We found that very high concentrations (up to 20% vol) of nitrogen in the ethanol/hydrogen gas mixture do not prejudice the diamond quality as determined by Raman spectroscopy. Nitrogen addition also increases the diamond growth rate, as was previously reported at low nitrogen concentrations. We observed that after a second heating cycle in air at temperatures between 300 and 673 K the electrical resistance versus temperature curves of the as-grown films presented a bulk semiconductor behavior. This stabilization was due to the oxidation of the as-grown hydrogenated surface. The electrical ionization energy Ed was found to be in the range of 1.62–1.90 eV corresponding to films produced with 0 to 20% vol nitrogen in the feed. The room temperature photoluminescence spectra of films produced at low nitrogen concentration suggest that Ed results from pure electronic transitions in the nitrogen-vacancy neutral defects; for samples produced with nitrogen concentrations in the range 15–20% vol the Ed values may be due to, among others, GR1 “vibronic” transitions and charged nitrogen-vacancy defects.
Low handgrip strength is a predictor of osteoporotic fractures: cross-sectional and prospective evidence from the Hong Kong Osteoporosis Study (2011)

Handgrip strength (HGS) is a potentially useful objective parameter to predict fracture since it is an indicator of general muscle strength and is associated with fragility and propensity to fall. Our objective was to examine the association of HGS with fracture, to evaluate the accuracy of HGS in predicting incident fracture, and to identify subjects at risk of fracture. We analyzed a cross-sectional cohort with 2,793 subjects (1,217 men and 1,576 women aged 50-101 years) and a subset of 1,702 subjects which were followed for a total of 4,855 person-years. The primary outcome measures were prevalent fractures and incident major fragility fractures. Each standard deviation (SD) reduction in HGS was associated with a 1.24-fold increased odds for major clinical fractures even after adjustment for other clinical factors. A similar result was obtained in the prospective cohort with each SD reduction in HGS being associated with a 1.57-fold increased hazard ratio of fracture even after adjustment for clinical factors. A combination of HGS and femoral neck bone mineral density (FN BMD) T-score values (combined T-score), together with other clinical factors, had a better predictive power of incident fractures than FN BMD or HGS T-score alone with clinical factors. In addition, combined T-score has better sensitivity and specificity in predicting incidence fractures than FN BMD alone. This study is the first study to compare the predictive ability of HGS and BMD. We showed that HGS is an independent risk factor for major clinical fractures. Compared with using FN BMD T-score of -2.5 alone, HGS alone has a comparable predictive power to BMD, and the combined T-score may be useful to identify extra subjects at risk of clinical fractures with improved specificity.
Application of an Improved Enzyme-Linked Immunosorbent Assay Method for Serological Diagnosis of Canine Leishmaniasis (2010)

Accurate diagnosis of canine leishmaniasis (CanL) is essential toward a more efficient control of this zoonosis, but it remains problematic due to the high incidence of asymptomatic infections. In this study, we present data on the development of enzyme-linked immunosorbent assay (ELISA)-based techniques for the detection of antibodies against the recombinant protein Leishmania infantum cytosolic tryparedoxin peroxidase (LicTXNPx) and a comparison of the results with those employing soluble Leishmania antigens from promastigote or amastigote forms and the homologue recombinant protein L. infantum mitochondrial TXNPx (LimTXNPx). Moreover, we offer an evaluation of the diagnostic potential of rK39 for CanL in the Portuguese canine population and propose an improvement to the existing ELISA-based serological techniques by combining the LicTXNPx and rK39 antigens as a Leishmania antigen mixture (LAM). The data demonstrated that ELISAs based on soluble promastigote or amastigote antigens had generally higher levels of sensitivity for detection of antibodies in symptomatic or asymptomatic dogs than for detection of those against isolated recombinant proteins. Nevertheless, the specificities were found to be similar for all target antigens used. Importantly, the LAM-ELISA methodology improved the overall sensitivity, maintaining a high overall level of specificity. In addition, it was demonstrated that the detection of anti-LAM IgG2 can increase the accuracy of the serological diagnosis. Overall, the obtained results showed that the strategy of combining two well-defined Leishmania antigens, LicTXNPx and rK39, proved to be a sensitive and specific improvement to current serological diagnosis of CanL, being a useful tool for the detection of both clinical and subclinical forms of canine Leishmania infection.
Predictive and reactive tuning of the locomotor CPG (2007)

The neural control of locomotion involves a constant interplay between the actions of a central pattern generator (CPG) and sensory input elicited by bodily movement. With respect to the CPG, recent analysis of fictive locomotion has shown that durations of flexion and extension tend to covary along specific lines in plots of phase duration versus cycle duration. The slopes of these lines evidently depend on internal states that vary among preparations, but, within a preparation, remain rather steady from one sequence to the next. These relationships can be reproduced in a simple oscillator model having two pairs of preset parameters, suggesting that steady internal drives to flexor and extensor half-centers determine how phase durations covary. Regarding the role of sensory inputs, previous experiments have revealed state-dependent rules that govern phase-switching independently of the CPG rhythm. In addition, sensory input is known to modulate motoneuronal activation through stretch reflexes. To explore how sensory input combines with the locomotor CPG, we used a neuromechanical model with muscle actuators, proprioceptive feedback, sensory phase-switching rules, and a CPG. Interestingly, sequences of stable locomotion were always associated with phase durations that conformed to an extensor-dominated phase-duration characteristic (where extension durations vary more than flexion durations). This is the characteristic seen in normal animals, but not necessarily in fictive locomotion, where movement and associated sensory input are absent. This suggests that to produce the biomechanical events required for stability, an extensor-dominated phase-duration characteristic is required. In the model, when the preset CPG phase durations were well matched to coincide the biomechanical requirements, CPG-mediated phase switching produced stable cycles. When CPG phase durations were too short, phases switched prematurely and the model soon fell. When CPG phase durations were too long, sensory rules fired and overrode the CPG, maintaining stability. We posit that under normal circumstances, descending input from higher centers continually adjusts the operating point of the CPG on the preset phase-duration characteristic according to anticipated biomechanical requirements. When the predictions are good, CPG-generated phase durations closely match those required by the kinetics and kinematics, and little or no sensory adjustment occurs. We propose the term "neuromechanical tuning" to describe this process of matching the CPG to the biomechanical requirements.
Layered hydroxide anion exchanger and their applications related to pesticides: a brief review (2016)

Layered double hydroxides and layered hydroxide salts have generated enormous excitement in the inorganic field due to their potential to act as versatile host materials in fabricating novel host–guest layered materials. The ability of the layered hydroxide anion exchanger to be incorporated with a wide range of guest ions enable them to be exploited in various applications related to pesticides. This review sums up the different methods of preparing layered hydroxide anion exchanger, summarises the types of anion intercalated into these layered hydroxide anion exchanger based on their respective systems, and elucidates their potential applications in pesticide-related fields.
Area Distortion in Narrow Beam Rotation Radiography (1974)

The distortion of morphologic object elements, for distortion, at the exposure of a panoramic image has been determined mathematically and experimentally. As models the square, the circle, the rhomb, and the equilateral triangle were used. The general characteristics of the form distortion in narrow beam rotation radiography are analysed and described.
Protein degradation following treatment with hydrogen peroxide. (1984)

Pretreatment of hemoglobin with 50-5000 nmol hydrogen peroxide (H2O2) increased its susceptibility to proteolysis by a number of purified enzymes, including trypsin, chymotrypsin, elastase, and plasmin, and by the neutral protease of rat peritoneal leukocytes. Pretreatment of the protein substrate with catalase-inactivated H2O2 had no effect. Separation of the proteolytic fragments by G-75 Sephadex gel filtration indicated no apparent differences in the size distribution of the fragments produced by treatment with the H2O2/proteolytic enzyme combination as compared with enzyme treatment alone. A partially purified preparation of rat glomerular basement membrane was also treated with proteolytic enzyme alone or in combination with H2O2. As with the hemoglobin, pretreatment of the glomerular basement membrane with H2O2 increased its susceptibility to subsequent proteolytic attack. In addition, treatment of a basement membrane glycoprotein, fibronectin, with H2O2 also increased its sensitivity to subsequent proteolysis. These results suggest that in addition to their other proinflammatory activities, oxygen-derived metabolites may contribute to tissue destruction by altering the susceptibility of proteins to hydrolytic enzymes.
Autologous Tumor Infiltrating T Cells Cytotoxic for Follicular Lymphoma Cells Can Be Expanded In Vitro (1997)

Follicular lymphomas (FLs) rarely induce clinically significant T-cell-mediated responses. We showed that freshly isolated tumor infiltrating T cells (T-TILs) lack tumor-specific cytotoxicity. Stimulation of these T cells with FL cells in the presence of interleukin-2 (IL-2) and/or costimulation via CD28 does not lead to T-cell activation and expansion. In contrast, when stimulated with FL cells preactivated via CD40, autologous T-TILs can be expanded by the addition of exogenous IL-2. These T cells can be further expanded in vitro by the addition of exogenous IL-4, IL-7, or interferon-gamma, but not IL-12. Once activated, these T cells showed FL-directed cytotoxicity in four of five patients tested. We concluded that autologous cytotoxic anti-FL-specific T cells exist, but can only be detected in vitro under optimized conditions for T-cell stimulation and expansion. This suggests that their frequency in vivo is either very low or that the microenvironment does not provide the necessary signals to activate these T cells. This model system allows dissection of the requisite conditions for activation and expansion of lymphoma-directed cytotoxicity and may permit expansion of previously activated cytotoxic T cells for adoptive transfer.
X-Ray Observations of Elliptical Galaxies by ASCA Satellite (1996)

Using ASCA, we have confirmed that the ISM of X-ray bright elliptical galaxies are surprisingly metal poor, as compared to the theoretical predictions. In fact the exact values of the derived metallicity depend considerably on the plasma emission codes. However, the overall metallicity cannot be larger than ∼ 1 solar. For low L X /L B galaxies, all the available plasma codes suggest abundances less than half a solar. The ASCA spectra may be compatible with somewhat higher metallicity if we assume there is an additional low-temperature component (e.g. kTe ∼ 0.3 keV). However, the derived abundance can not be over 1 solar. In particular, the Si abundance turns out to be < 1.5 solar, confirming the metal-poor nature of the ISM. These ASCA results are in severe contradiction with most of the SN Ia rate, particularly that of Tammann (1982). Considering further that a fairly long time (10 9–10 yr) is needed for the stellar mass loss to accumulates into the ISM, it is suggested that the SN Ia rate has remained quite low throughout Hubble time.
An efficient background estimation algorithm for embedded smart cameras (2009)

Segmentation of foreground objects of interest from an image sequence is an important task in most smart cameras. Background subtraction is a popular and efficient technique used for segmentation. The method assumes that a background model of the scene under analysis is known. However, in many practical circumstances it is unavailable and needs to be estimated from cluttered image sequences. With embedded systems as the target platform, in this paper we propose a sequential technique for background estimation in such conditions, with low computational and memory requirements. The first stage is somewhat similar to that of the recently proposed agglomerative clustering background estimation method, where image sequences are analysed on a block by block basis. For each block location a representative set is maintained which contains distinct blocks obtained along its temporal line. The novelties lie in iteratively filling in background areas by selecting the most appropriate candidate blocks according to the combined frequency responses of extended versions of the candidate block and its neighbourhood. It is assumed that the most appropriate block results in the smoothest response, indirectly enforcing the spatial continuity of structures within a scene. Experiments on real-life surveillance videos demonstrate the advantages of the proposed method.
Spectroscopie de nanocristaux de semiconducteur individuels (2011)

Cours de deux heures filmé à l'école thématique "Nano-objets aux interfaces". Le cours, destiné en priorité à des doctorants ou des postdoctorants présente l'étude spectroscopique des nanocristaux de CdSe individuels, qui permet d'accéder à des informations précieuses sur la structure fine de l'exciton de bord de bande, les propriétés d'états biexcitoniques ou trioniques, en vue d'applications futures en information quantique.
Metal‐containing poly (<i>p</i>‐xylylene) films by CVD: Poly (<i>p</i>‐xylylene) with germanium crystals (1997)

Metal‐containing polymer films are of interest for sensor , magnetic, nonlinear optical, and catalytic applications. This communication describes the preparation of poly(p‐xylylene) coatings incorporating Ge crystals from Ge‐containing paracyclophane monomer. Vapor pyrolysis of the monomer gives copolymer films with Ge fragments, which are thermally decomposed to Ge crystals. This leads to an increase in film conductivity and there is the potential for an application as a humidity sensor.
Eigenfunction and eigenvalue analysis of scattering operators (1994)

Acoustic scattering by a given inhomogeneity can be compactly described by a scattering operator. This operator acts on the transmitted acoustic field to yield the scattered acoustic field on a measurement surface. For scattering at fixed frequency, the operator is known to admit a basis of eigenfunctions. When a finite number of transmit angles and receiving points is considered, the scattering operator can be represented as a matrix with an associated basis of eigenvectors. The present paper reports an investigation of the relationship between these eigenfunctions, eigenvectors, and associated eigenvalues and the characteristics of scattering objects, including their location, size, shape, orientation, and strength. Scattering operators are derived analytically for axisymmetric scatterers such as cylinders; in this case, the eigenfunctions of the operators take on simple trigonometric forms. Connections are noted between the eigenvalues and eigenfunctions of the scattering operators and the basis functions that appear in orthogonal function representations of the scattered fields. Scattering matrices for arbitrary scatterers are calculated using a coupled finite-element/integral equation method due to Kirsch and Monk [IMA J. Num. Anal. (to appear)]. Examples of the relationship between scatterer properties and eigenvalues and eigenvectors of the scattering matrix are presented.
Virtual interface approximation model applied to spectroscopic ellipsometry for on-line composition determination of metalorganic chemical vapor deposition grown ternary nitrides (2003)

In situ spectroscopic ellipsometry measurements in the ultraviolet-visible spectral range were performed during metalorganic chemical vapor deposition of GaN and AlGaN layers on sapphire. At first, the initial GaN–sapphire interface formation has been characterized and the optical response of the nitride layers for temperatures up to 1200 °C has been recorded. The data were used as the basis for evaluating kinetic ellipsometry measurements performed during growth: an algorithm, based on the virtual interface approximation model, has been developed and implemented to determine the layer composition of AlGaN multilayer structures in real time.
Configurationally Labile Lithiated <i>O</i>‐Benzyl Carbamates: Application in Asymmetric Synthesis and Quantum Chemical Investigations on the Equilibrium of Diastereomers (2007)

The title compounds were generated by deprotonation of different benzyl-type carbamates with sec-butyllithium in the presence of chiral diamines (-)-sparteine or diisopropyl and di-tert-butyl bis(oxazoline)s. These lithiated species exhibit configurational lability at -78 degrees C. In the case of the chiral di-tert-butyl bis(oxazoline), the equilibrium of the epimeric complexes can be used synthetically to obtain highly enantioenriched secondary benzyl carbamates. The enantiodetermining step was proven to be a dynamic thermodynamic resolution. The absolute configurations of the products were determined, and the stereochemical pathways of selected substitution reactions were thus elucidated. High-level quantum chemical investigations were performed to gain insight into the experimentally investigated system. To obtain an accuracy for the energy difference (delta deltaH) between two epimeric complexes of about 0.5 kcal mol(-1) as well as the correct sign, a theoretical procedure was established. It included geometry optimization at the dispersion-corrected DFT level, computation of zero-point vibrational energies, and single-point SCS-MP2 energy calculations with large atomic-orbital basis sets.
Raman Studies of YBa2(Cu1-xNix)3O7-8 and (YBa2Cu3O7)m(PrBa2Cu3O7)n Superlattices / (1994)

T he quality o f this reproduction is dependent upon the quality o f the cop y subm itted.B roken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margins, and improper alignment can adversely affect reproduction.
Re‐exploration of the acute scrotum (2006)

Most indications for recurrent scrotal exploration in this study are because of a twisted contralateral appendix testis, but the risk of developing this pathology is similar to the complication rate of repeat scrotal exploration. These data support our policy that the contralateral testis should not be routinely explored nor its appendix removed unless there is ipsilateral testicular torsion.
Dietary Ungerminated and Germinated Soybean Supplementation Improves Bone Mineralization and Strength in Growing Male Rats (2010)

It has been thought that soybean products rich in phytoestrogenic isoflavones are effective in promoting bone metabolism in ovariectomized rats. However, it is not clear if such an effect can be changed by germination of soybean and can be observed in growing males. The present study was undertaken to determine the effects of different concentrations of dietary ungerminated and germinated soybean (UGS and GS, respectively) on bone metabolism in young male rats. Forty-nine 6-week-old male Sprague-Dawley rats were assigned to seven dietary treatment groups: AIN 93G (control); control with UGS powder at 3% (UGS-L), 15% (UGS-M), or 30% (UGS-H); and control with GS powder at 3% (GS-L), 15% (GS-M), or 30% (GS-H). The biomarkers of bone metabolism (plasma and urinary Ca and P) and the physical properties and mineral content of bones were measured. Plasma osteocalcin and urinary deoxypyridinoline levels were not affected by soybean diets. The plasma P level was significantly elevated by dietary soybeans (P < .001). However, there was a negative correlation (r = -0.555) between plasma P level and dietary UGS level (P < .01). Between the UGS and GS groups, the P level of the GS-M group was significantly higher than that of the UGS-M group (P < .001). The tibial weight was decreased with low to medium doses of soybeans, but not with higher levels. Femoral bone strength was improved in the UGS-H, GS-M, and GS-H groups. The P contents of femoral and tibial bones were increased in all UGS groups as well as in GS-M and GS-H groups. In conclusion, soybean supplementation in young growing male rats improved bone mineralization and bone strength.