gebhart/patrepeval huggingface dataset:
Extended OCL for Goal Monitoring (2024)

Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to a user's goal model helps to determine user satisfaction. By formalizing a goal model, runtime monitors can be automatically derived. The REQMON system monitors the satisfaction of goal models. Recently, an OCL compiler was developed for REQMON. The OCL was extended slightly to address temporal and real-time constraints. Now, goal models can be represented in the extended OCL, from which runtime monitors can be compiled. The resulting REQMON system appears to be easier to use comes the abstract.
The Role of Flagellin versus Motility in Acute Lung Disease Caused by<i>Pseudomonas aeruginosa</i> (2007)

The flagellum of Pseudomonas aeruginosa has been implicated in acute pneumonia, and its flagellin is known to cause lung inflammation. However, its proinflammatory role, versus its motility function, as a cause of death by a whole bacterium has not been demonstrated. This issue was examined in a lung model of acute infection using different flagellar mutants. We found that the absence of motility does not significantly alter the LD(50), whereas the production of excess amounts of flagellin lowers it and results in early death. Next, we found that the absence of the Toll-like receptor 5 (TLR5) ligand, flagellin, results in slower clearance of this organism from the lungs and a delay in the time to death. These findings demonstrate the dual role of flagellin in host defense and in disease and suggest that the death in this model may be biphasic with flagellin playing a role early in the disease.
Structural characterization of a blood group A heptaglycosylceramide with globo‐series structure (1985)

A blood group A glycosphingolipid with the globo-series structure has been isolated from human kidney and structurally characterized. The structure was shown by mass spectrometry and proton NMR spectroscopy of the intact permethylated and permethylated-reduced derivatives together with degradation studies to be, GalNAc alpha 1----3Gal(2----1 alpha Fuc)beta 1----3GalNAc beta 1----3Gal alpha 1----4Gal beta 1----4Glc beta 1----1 Ceramide. This glycolipid reacts with both polyclonal and monoclonal anti-A blood group typing antisera and it is the major glycolipid based blood group A antigen present in the human kidney.
Decreased antioxidant defence in individuals infected by the human immunodeficiency virus (2000)

These results suggest that abnormalities of antioxidant defence, mainly of SOD activity, are related to the progression of the HIV infection.
Prediction of contact maps using support vector machines (2003)

Contact map prediction is of great interest for its application in fold recognition and protein 3D structure determination. In this paper we present a contact-map prediction algorithm that employs Support Vector Machines as the machine learning tool and incorporates various features such as sequence profiles and their conservation, correlated mutation analysis based on various amino acid physicochemical properties, and secondary structure. In addition, we evaluated the effectiveness of the different features on contact map prediction for different fold classes. On average, our predictor achieved a prediction accuracy of 0.2238 with an improvement over a random predictor of a factor 11.7, which is better than reported studies. Our study showed that predicted secondary structure features play an important roles for the proteins containing beta structures. Models based on secondary structure features and CMA features produce different sets of predictions. Our study also suggests that models learned separately for different protein fold families may achieve better performance than a unified model.
Electrochemical Functionalization of Carbon Surfaces by Aromatic Azide or Alkyne Molecules: A Versatile Platform for Click Chemistry (2008)

The electrochemical reduction of phenylazide or phenylacetylene diazonium salts leads to the grafting of azido or ethynyl groups onto the surface of carbon electrodes. In the presence of copper(I) catalyst, these azide- or alkyne-modified surfaces react efficiently and rapidly with compounds bearing an acetylene or azide function, thus forming a covalent 1,2,3-triazole linkage by means of click chemistry. This was illustrated with the surface coupling of ferrocenes functionalized with an ethynyl or azido group and the biomolecule biotin terminated by an acetylene group.
A Glucose Biosensor Employing a Stable Artificial Peroxidase Based on Ruthenium Purple Anchored Cinder (2003)

Iron-enriched industrial waste cinder (CFe*) has been recycled for efficient and stable anchoring of Ru(CN)6(4-) to the formation of a hybrid ruthenium purple complex. The cinder/ruthenium purple hybrid-modified carbon paste electrode (designated as CPE/CFe*-RP) was worked out for hydrodynamic analysis of H2O2 at a low detecting potential of 0.0 V versus Ag/AgCl in pH 7 ammonium buffer solution. The highly active, selective, and stable electrocatalytic system with a function similar to peroxidase enzyme shows a linear calibration curve up to 0.8 mM H2O2 at a rotation rate of 3600 rpm with slope and detection limit (S/N = 3) of 0.11 microA/microM and 33 nM, respectively. Interference by direct electrochemical oxidation of easily oxidizable substances can be prevented as a result of the low detecting potential of the working system. A glucose biosensor was further constructed by coating with glucose oxidase and Tosflex on the CPE/CFe*-RP (denoted as CPE/CFe*-RP/GOx/Ts). The proposed CPE/CFe*-RP/GOx/Ts with a two-layer configuration, that is, enzyme and protecting layers, exhibits good operational performance in terms of response time, linearity, detection limit, and lifetime.
Effect of pasture type (alfalfa vs. grass) on methane and carbon dioxide production by yearling beef heifers (2006)

The objective of this study was to determine effect of pasture type on methane and carbon dioxide production by heifers grazing alfalfa or grass pastures at three sites across western Canada. All pastures were intensively managed so that heifers had ad libitum access to new forage material each day, and pastures were back-fenced to prevent the heifers accessing previously grazed areas. As measured using the sulfur hexafluoride (SF 6 ) tracer technique, total methane production at the Brandon, MB, and Swift Current, SK, sites was unaffected by pasture type (averaging 157.4 g CH 4 head -1 d -1 ), whereas at Lethbridge, AB, heifers grazing alfalfa produced more methane than did those on the grass pasture (162.8 vs. 113.5 g CH 4 head -1 d -1 ; P < 0.05). Calculated with dry matter intake (DMI) estimated by alkane analysis, methane production per unit DMI was 3 9% lower from heifers consuming grass compared with alfalfa (P < 0.001). When intakes were estimated by the Cornell Net Carbohydrate and Protein System (CNCPS) model, CH 4 production kg -1 DMI did not differ (P > 0.05) between pasture types. Loss of gross energy intake (GEI) to methane, as estimated by alkane analysis, was 6.9% for heifers grazing grass, and 9.6% for heifers grazing alfalfa (P < 0.001). Calculated using CNCPS, losses were similar (P > 0.05) between grass and alfalfa (5.8 vs. 6.2% of GEI, respectively). Carbon dioxide production per unit DMI did not differ between pasture types, irrespective of method used to estimate intake (alkanes or CNCPS). The method used to predict intake can have a major influence on calculated values when methane emissions are expressed as a percentage of GEI in grazing ruminants. At each site, CH 4 emissions and in vitro digestibility of the forage were influenced by the composition of the stand and the maturity of the forage at the time of harvest. Key words: Alfalfa, grass, grazing, legume, methane emissions
Tailorable advanced blanket insulation using aluminoborosilicate and alumina batting (1989)

Two types of Tailorable Advanced Blanket Insulation (TABI) flat panels for Advanced Space Transportation Systems were produced. Both types consisted of integrally woven, 3-D fluted core having parallel faces and connecting ribs of Nicalon yarns. The triangular cross section flutes of one type was filled with mandrels of processed Ultrafiber (aluminoborosilicate) stitchbonded Nextel 440 fibrous felt, and the second type wall filled with Saffil alumina fibrous felt insulation. Weaving problems were minimal. Insertion of the fragile insulation mandrels into the fabric flutes was improved by using a special insertion tool. An attempt was made to weave fluted core fabrics from Nextel 440 yarns but was unsuccessful because of the yarn's fragility. A small sample was eventually produced by an unorthodox weaving process and then filled with Saffil insulation. The procedures for setting up and weaving the fabrics and preparing and inserting insulation mandrels are discussed. Characterizations of the panels produced are also presented.
Mechanical Design of the Articulated Suspension Exploratory Platform ASEP (2012)

<div class="section abstract"><div class="htmlview paragraph">The Articulated Suspension Exploratory Platform (ASEP) is developed in an effort to improve the characteristics and capabilities of the existing recently developed Surface Ground Mobility Platform SGMP. Special attention is placed on the design of the passive suspension mechanism in order for the platform to be suitable for operation in remote and challenging environments. To improve the capacity of the suspension and the overall quality, different designs have been analyzed based on a number of system requirements. The advantages of the final design are its linear motion, obstacle capacities, slope climbing and down-hill stability, as well as compact size and low cost.</div></div>
Bioavailability of Components of Resin-Based Materials Which Are Applied To Teeth (1996)

Chemical components of many materials used in dental practice can move into the local biophase, where they can have beneficial or adverse effects. The strongest indirect evidence that components of resin-based materials used in dentistry can move into the biophase are the many reports of allergic dermatitis in dental personnel. Direct measurement of component release has shown that triethylene glycol dimethacrylate (TEGDMA), hydroxyethyl methacrylate (HEMA), and, in the case of some orthodontic cements, bis-glycidyl methacrylate and benzoyl peroxide can move into an aqueous medium from a range of resin-based materials which are applied to teeth as part of oral care. In the case of resin composite restorations, HEMA and TEGDMA are available in microgram quantities via the salivary surface in the minutes and hours after clinical placement and via dentin and pulp in the hours and days after placement. Fortunately, moderate thickness of dentin protects pulp tissue against local toxicity. There are no data which suggest that systemic toxicity is a risk with any of these materials. There are some case reports of allergic responses to the monomers in patients, but the incidence of such responses appears at present to be much lower than that in dental personnel.
Automatic detection of 'Goal' segments in basketball videos (2001)

Advances in the media and entertainment industries, for example streaming audio and digital TV, present new challenges for managing large audio-visual collections. Efficient and effective retrieval from large content collections forms an important component of the business models for content holders and this is driving a need for research in audio-visual search and retrieval. Current content management systems support retrieval using low-level features, such as motion, colour, texture, beat and loudness. However, low-level features often have little meaning for the human users of these systems, who much prefer to identify content using high-level semantic descriptions or concepts. This creates a gap between the system and the user that must be bridged for these systems to be used effectively. The research presented in this paper describes our approach to bridging this gap in a specific content domain, sports video. Our approach is based on a number of automatic techniques for feature detection used in combination with heuristic rules determined through manual observations of sports footage. This has led to a set of models for interesting sporting events-goal segments-that have been implemented as part of an information retrieval system. The paper also presents results comparing output of the system against manually identified goals.
Rheological Study of Ratawi Vacuum Residue in the 298-673 K Temperature Range (1995)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTRheological Study of Ratawi Vacuum Residue in the 298-673 K Temperature RangeDavid A Storm, Ronald J. Baressi, and Eric Y. SheuCite this: Energy Fuels 1995, 9, 1, 168–176Publication Date (Print):January 1, 1995Publication History Published online1 May 2002Published inissue 1 January 1995https://pubs.acs.org/doi/10.1021/ef00049a025https://doi.org/10.1021/ef00049a025research-articleACS PublicationsRequest reuse permissionsArticle Views285Altmetric-Citations55LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
Nitrones (1965)

G. R. Delpierre and M. Lamchen, Q. Rev. Chem. Soc., 1965, 19, 329 DOI: 10.1039/QR9651900329
ChemInform Abstract: Synthesis and Dynamic Stereochemistry of C,C‐Bis(dialkylamino) phosphaalkenes. (1991)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Relationship between mitogenic activity of influenza viruses and the receptor-binding specificity of their hemagglutinin molecules (1986)

The relationship between the mitogenic activity of influenza type A viruses for murine B lymphocytes and the receptor-binding specificity of their hemagglutinin was examined. Receptor-binding specificity was determined by the ability of the virus to agglutinate erythrocytes that had been sialidase treated and then enzymatically resialylated to contain sialyloligosaccharides with defined sequences. Distinct differences in receptor-binding specificity were observed between strongly and weakly mitogenic viruses of the H3 subtype, with strong mitogenic activity correlating with the ability of the virus to recognize the sequence N-glycolylneuraminic acid alpha 2,6 galactose (NeuGc alpha 2,6Gal). Viruses isolated early in the evolution of the H3 subtype (from 1968 to 1971) are relatively weak mitogens and recognize the sequence N-acetylneuraminic acid alpha 2,6 galactose (NeuAc alpha 2,6Gal) but not NeuGc alpha 2,6Gal. H3 viruses isolated since 1972 are strongly mitogenic, and these viruses recognize both NeuGc alpha 2,6Gal and NeuAc alpha 2,6Gal. The amino acid substitution of Tyr for Thr at residue 155 of HA1 may be critical to this change in receptor-binding specificity and mitogenic activity of the later H3 viruses. Horse serum-resistant variants of H3 viruses, which bind preferentially to the sequence NeuAc alpha 2,3Gal, are poorly mitogenic. Differences were also observed between the receptor-binding specificity of the strongly mitogenic H3 viruses and viruses of the H2 and H6 subtypes, the mitogenic activity of which is limited to strains of mice that express the class II major histocompatibility complex glycoprotein I-E. The results indicate that the receptor-binding specificity of the hemagglutinin plays a critical role in determining the mitogenic activity of influenza viruses.
Liquefaction of the brain following stroke shares a similar molecular and morphological profile with atherosclerosis and mediates secondary neurodegeneration in an osteopontin dependent mechanism (2018)

Abstract Here we used mouse models of heart and brain ischemia to compare the inflammatory response to ischemia in the heart, a protein rich organ, to the inflammatory response to ischemia in the brain, a lipid rich organ. We report that ischemia-induced inflammation resolves between 1 and 4 weeks in the heart compared to between 8 and 24 weeks in the brain. Importantly, we discovered that a second burst of inflammation occurs in the brain between 4 and 8 weeks following ischemia, which coincided with the appearance of cholesterol crystals within the infarct. This second wave shares a similar cellular and molecular profile with atherosclerosis and is characterized by high levels of osteopontin (OPN) and matrix metalloproteinases (MMPs). In order to test the role of OPN in areas of liquefactive necrosis, OPN -/- mice were subjected to brain ischemia. We found that at 7 weeks following stroke, the expression of pro-inflammatory proteins and MMPs was profoundly reduced in the infarct of the OPN -/- mice, although the number of cholesterol crystals was increased. OPN -/- mice exhibited faster recovery of motor function and a higher number of neuronal nuclei (NeuN) positive cells in the peri-infarct area at 7 weeks following stroke. Based on these findings we propose that the brain liquefies after stroke because phagocytic cells in the infarct are unable to efficiently clear cholesterol rich myelin debris, and that this leads to the perpetuation of an OPN-dependent inflammatory response characterized by high levels of degradative enzymes. Significance Statement The inflammatory response to ischemia in the brain is different to the response to ischemic injury in other organs. In the brain, and for unknown reasons, dead tissue liquefies in response to ischemia by the process of liquefactive necrosis. However, the data we present here demonstrate that there is overlap between the pathophysiology of liquefactive necrosis and atherosclerosis. Specifically, we show that chronic stroke infarcts contain foamy macrophages, cholesterol crystals, high levels of OPN and MMPs, and a similar cytokine profile to atherosclerosis. Therefore, because cholesterol is a central component of myelin, liquefactive necrosis in response to stroke may be caused by an inflammatory response to cholesterol-rich myelin debris that is driven in large part by OPN and MMPs.
Ring1b-mediated H2A Ubiquitination Associates with Inactive X Chromosomes and Is Involved in Initiation of X Inactivation (2004)

Histone modifications are thought to serve as epigenetic markers that mediate dynamic changes in chromatin structure and regulation of gene expression. As a model system for understanding epigenetic silencing, X chromosome inactivation has been previously linked to a number of histone modifications including methylation and hypoacetylation. In this study, we provide evidence that supports H2A ubiquitination as a novel epigenetic marker for the inactive X chromosome (Xi) and links H2A ubiquitination to initiation of X inactivation. We found that the H2A-K119 ubiquitin E3 ligase Ring1b, a Polycomb group protein, is enriched on Xi in female trophoblast stem (TS) cells as well as differentiating embryonic stem (ES) cells. Consistent with Ring1b mediating H2A ubiquitination, ubiquitinated H2A (ubH2A) is also enriched on the Xi of both TS and ES cells. We demonstrate that the enrichment of Ring1b and ubH2A on Xi is transient during TS and ES cell differentiation, suggesting that the Ring1b and ubH2A are involved in the initiation of both imprinted and random X inactivation. Furthermore, we showed that the association of Ring1b and ubH2A with Xi is mitotically stable in non-differentiated TS cells.
An Experimental Study of Compression Methods for Dynamic Tries (2007)

We study an order-preserving general purpose data structure for binary data, the LPC-trie. The structure is a compressed trie, using both level and path compression. The memory usage is similar to that of a balanced binary search tree, but the expected average depth is smaller. The LPC-trie is well suited to modern language environments with ecient memory allocation and garbage collection. We present an implementation in the Java programming language and show that the structure compares favorably to a balanced binary search tree.
Split-parallel through-the-road hybrid electric vehicle: Operation, power flow and control modes (2015)

A split-parallel hybrid electric vehicle (HEV) is a particular sub-type of the HEV in which the internal combustion engine (ICE) and electric motor provide propulsion power to different axles. Due to the coupling of power through the vehicle itself, its wheels and the road on which it moves - rather than through some mechanical device - the vehicle is referred to as a `through-the-road' (TTR) hybrid. A variant of the TTR hybrid has the motors in the hub of the otherwise non-driven wheels, called in-wheel motors (IWM). This configuration enables an existing vehicle to be converted into a hybrid vehicle with minimal modification. The present work identifies specific operating modes and power flow of the TTR-IWM hybrid, specifically a retrofit-conversion hybrid, in comparison to the ordinary parallel hybrid vehicle. It discusses control architecture, control objectives and system parameters, along with specific control issues of the retrofit TTR-IWM hybrid vehicle.
CD80 expression in an HLA-A2-positive human non-small cell lung cancer cell line enhances tumor-specific cytotoxicity of HLA-A2-positive T cells derived from a normal donor and a patient with non-small cell lung cancer (1998)

To generate non-small cell lung cancer (NSCLC)-reactive lymphocytes, we transfected an HLA-A2-expressing human NSCLC line (1355) with the cDNA encoding the lymphocyte co-stimulatory molecule CD80. Following selection in G418, 1355.7 demonstrated stable cell-surface expression of CD80. Allogeneic mixed lymphocyte tumor cell cultures (MLTCs) were established in 600 IU/ml IL-2 using HLA-A2+ normal donor peripheral blood mononuclear cells (PBMCs) stimulated with 1355-P (parental), 1355.7 or IL-2 alone. In 7 of 9 MLTCs, those stimulated with 1355.7 demonstrated enhanced growth after 30 to 45 days of culture. The predominant lymphocyte to grow in all MLTCs was a CD3+alphabeta+CD4+ T cell. In one case, lymphocytes stimulated with 1355.7 (MLTC 2389.7) exhibited preferential lysis of 1355. MLTC 2389.7 was cloned by limiting dilution, and 2 resultant cloids were shown to be NSCLC-reactive and dependent on both MHC class 1 and CD3 in their recognition of tumor cells. Additionally, allogeneic MLTCs were established using three HLA-A2+ NSCLC patients' PBMC. The predominant lymphocyte to grow in these MLTCs was a CD3+ alphabeta+CD8+ T cell. In cytotoxicity studies, MLTC-UKY25.7 demonstrated preferential lysis of 1355-P, 1355.7 and an HLA-A2+ NSCLC cell line, 1650. Lymphocytes from this MLTC did not lyse K562, Daudi or an HLA-A2- NSCLC cell line, 647. Our data suggest that CD80-expressing NSCLC tumor cells may enhance the generation of specific CTLs in vitro. These CTLs could be important reagents for use in cellular immunotherapy and/or in isolating tumor antigens for potential tumor vaccine development.