gebhart/patrepeval huggingface dataset:
Computationally sound verification of source code (2010)

Increasing attention has recently been given to the formal verification of the source code of cryptographic protocols. The standard approach is to use symbolic abstractions of cryptography that make the analysis amenable to automation. This leaves the possibility of attacks that exploit the mathematical properties of the cryptographic algorithms themselves. In this paper, we show how to conduct the protocol analysis on the source code level (F# in our case) in a computationally sound way, i.e., taking into account cryptographic security definitions.
Factors affecting the quality of biomass pellet for biofuel and energy analysis of pelleting process (2013)

Agricultural biomass residue such as barley, canola, oat and wheat straw has the potential to be used for sustainable production of bio-fuels and offset greenhouse gas emissions. The biomass substrate must be processed and handled in an efficient manner in order to reduce industry’s operational cost as well as meet the requirement of raw material for biofuel production. Biomass has low bulk density, making it difficult and costly to store and transport in its native loose form. Therefore, in this study, an integrated approach to densification of non-treated and steam exploded barley, canola, oat and wheat straw was developed. During this process, the significance of major contributing factors (independent variables such as biomass type, treatment, pressure and grind size) on pellet density, durability and specific energy were determined. It has been found that applied pressure (60.4%) was the most significant factor affecting pellet density followed by the application of steam explosion pre-treatment (39.4%) for lab-scale single pelleting experiments. Similarly, the type of biomass (47.1%) is the most significant factor affecting durability followed by the application of pre-treatment (38.2%) and grind size (14.6%) for pellets manufactured using the pilot-scale pellet mill. Also, applied pressure (58.3%) was the most significant factor affecting specific energy required to manufacture pellets followed by the biomass (15.3%), pre-treatment (13.3%) and grind size (13.2%), which had lower but similar effect on specific energy for lab-scale single pelleting experiments. Overall energy analysis of post-harvest processing and densification of agricultural straw was performed, which showed that a significant portion of original agricultural biomass energy (89%-94%) is available for the production of biofuels. Almost, similar amount of specific energy is required to produce pellets from barley, canola, oat and wheat straw grinds. Customized pellets having steam exploded straw required more energy to manufacture resulting in availability of only 89% of total energy for biofuel production.
Authentic Cell-Specific and Developmentally Regulated Expression of Pro-Opiomelanocortin Genomic Fragments in Hypothalamic and Hindbrain Neurons of Transgenic Mice (1998)

The pro-opiomelanocortin (POMC) gene is expressed in a subset of hypothalamic and hindbrain neurons and in pituitary melanotrophs and corticotrophs. POMC neurons release the potent opioid beta-endorphin and several active melanocortins that control homeostasis and feeding behavior. POMC gene expression in the CNS is believed to be controlled by distinct cis-acting regulatory sequences. To analyze the transcriptional regulation of POMC in neuronal and endocrine cells, we produced transgenic mice carrying POMC27*, a transgene containing the entire 6 kb of the POMC transcriptional unit together with 13 kb of 5' flanking regions and 8 kb of 3' flanking regions. POMC27* was tagged with a heterologous 30 bp oligonucleotide in the third exon. In situ hybridization studies showed an accurate cell-specific pattern of expression of POMC27* in the arcuate nucleus and the pituitary. Hypothalamic mRNA-positive neurons colocalized entirely with beta-endorphin immunoreactivity. No ectopic transgenic expression was detected in the brain. Deletional analyses demonstrated that neuron-specific expression of POMC transgenes required distal 5' sequences localized upstream of the pituitary-responsive proximal cis-acting elements that were identified previously. POMC27* exhibited a spatial and temporal pattern of expression throughout development that exactly paralleled endogenous POMC. RNase protection assays revealed that POMC27* expression mimicked that of POMC in different areas of the CNS and most peripheral organs with no detectable ectopic expression. Hormonal regulation of POMC27* and POMC was identical in the hypothalamus and pituitary. These results show that distal 5' sequences of the POMC gene located between -13 and -2 kb target expression into the CNS of transgenic mice in a precise neuron-specific, developmentally and hormonally regulated manner.
The three dimensional solubility parameter - key to paint component affinities: I. Solvents, plasticizers, polymers, and resins (1967)

The concept that the solubility parameter is a vector composed of hydrogen bonding, polar, and dispersion components is proposed and applied with success to prediction of the solubility of 33 polymers and resins in 90 solvents and 10 plasticizers. Solvents and plasticizers can be located as points in a three dimensional system, and regions of solubility are found for polymers and resins when solubility data are plotted. Non-interacting solvents which in a mixture become interacting have been found with better than 95% accuracy in over 400 cases. -- CAL
Analysis of the T cell repertoire using the PCR and specific oligonucleotide primers. (1992)

Applications of PCR have revolutionized the field of immunogenetics particularly in studies of human leukocyte antigen class II polymorphism and more recently in the analysis of T cell receptor usage. The diversity of the variable region of the T cell receptor, however, has made it difficult to amplify the complete repertoire of T cell receptor transcripts. We have chosen to address this problem through the design of oligonucleotide primers specific for each of the known V alpha- and V beta-region T cell receptor families in order to characterize the T cell receptor repertoire. Using nonradioactive probes labeled with horse radish peroxidase, the system presented here allows for the rapid elucidation of the T cell receptor repertoire expressed in cells or tissue samples, such as those derived from autoimmune lesions. The identification of the T cell receptor repertoire involved in a pathogenic process can have therapeutic implications given the success of reversing experimental autoimmune disorders by directing specific forms of immunotherapy against V region gene products.
Vamorolone trial in Duchenne muscular dystrophy shows dose-related improvement of muscle function (2019)

This study provides Class IV evidence that for boys with DMD, vamorolone demonstrated possible efficacy compared to a natural history cohort of glucocorticoid-naive patients and appeared to be tolerated.
Septic Arthrt anitis after Arthroscopic Anterior Cruciate Ligament Reconstruction (2007)

The graft can be retained during treatment of septic arthritis after anterior cruciate ligament reconstruction.
Development of a Speech-in-Multitalker-Babble Paradigm to Assess Word-Recognition Performance (2003)

A simple word-recognition task in multitalker babble for clinic use was developed in the course of four experiments involving listeners with normal hearing and listeners with hearing loss. In Experiments 1 and 2, psychometric functions for the individual NU No. 6 words from Lists 2, 3, and 4 were obtained with each word in a unique segment of multitalker babble. The test paradigm that emerged involved ten words at each of seven signal-to-babble ratios (S/B) from 0 to 24 dB. Experiment 3 examined the effect that babble presentation level (70, 80, and 90 dB SPL) had on recognition performance in babble, whereas Experiment 4 studied the effect that monaural and binaural listening had on recognition performance. For listeners with normal hearing, the 90th percentile was 6 dB S/B. In comparison to the listeners with normal hearing, the 50% correct points on the functions for listeners with hearing loss were at 5 to 15 dB higher signal-to-babble ratios.
A new medium for the axenic cultivation of Entamoeba histolytica and other Entamoeba (1978)

Journal Article A new medium for the axenic cultivation of Entamoeba histolytica and other Entamoeba Get access Louis S. Diamond, Louis S. Diamond Laboratory of Parasitic Diseases, National Institute of Allergy and Infectious Diseases, National Institutes of Health, Bethesda, Maryland, 20014, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar Dan R. Harlow, Dan R. Harlow Laboratory of Parasitic Diseases, National Institute of Allergy and Infectious Diseases, National Institutes of Health, Bethesda, Maryland, 20014, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar Carol C. Cunnick Carol C. Cunnick Laboratory of Parasitic Diseases, National Institute of Allergy and Infectious Diseases, National Institutes of Health, Bethesda, Maryland, 20014, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar Transactions of The Royal Society of Tropical Medicine and Hygiene, Volume 72, Issue 4, 1978, Pages 431–432, https://doi.org/10.1016/0035-9203(78)90144-X Published: 01 January 1978 Article history Published: 01 January 1978 Accepted: 18 April 1978
Multivitamins in the Prevention of Cancer in Men (2012)

clinicaltrials.gov Identifier: NCT00270647.
N‐butyldeoxygalactonojirimycin reduces neonatal brain ganglioside content in a mouse model of GM1 gangliosidosis (2004)

GM1 gangliosidosis is a glycosphingolipid (GSL) lysosomal storage disease caused by a genetic deficiency of acid beta-galactosidase (beta-gal), the enzyme that catabolyzes GM1 within lysosomes. Accumulation of GM1 and its asialo form (GA1) occurs primarily in the brain, leading to progressive neurodegeneration and brain dysfunction. Substrate reduction therapy aims to decrease the rate of GSL biosynthesis to counterbalance the impaired rate of catabolism. The imino sugar N-butyldeoxygalactonojirimycin (NB-DGJ) is a competitive inhibitor of the ceramide-specific glucosyltransferase that catalyzes the first step in GSL biosynthesis. Neonatal C57BL/6J (B6) and beta-gal knockout (-/-) mice were injected daily from post-natal day 2 (p-2) to p-5 with either vehicle or NB-DGJ at 600 mg or 1200 mg/kg body weight. These drug concentrations significantly reduced total brain ganglioside and GM1 content in the B6 and the beta-gal (-/-) mice. Drug treatment had no significant effect on viability, body weight, brain weight, or brain water content in the B6 and beta-gal (-/-) mice. Significant elevations in neutral lipids (GA1, ceramide, and sphingomyelin) were observed in the NB-DGJ-treated beta-gal (-/-) mice, but were not associated with adverse effects. Also, NB-DGJ treatment of B6 and beta-gal (-/-) mice from p-2 to p-5 had no subsequent effect on brain ganglioside content at p-21. Our results show that NB-DGJ is effective in reducing total brain ganglioside and GM1 content at early neonatal ages. These findings suggest that substrate reduction therapy using NB-DGJ may be an effective early intervention for GM1 gangliosidosis and possibly other GSL lysosomal storage diseases.
Cosubstrate Tolerance of the Aminoglycoside Resistance Enzyme Eis from Mycobacterium tuberculosis (2012)

We previously demonstrated that aminoglycoside acetyltransferases (AACs) display expanded cosubstrate promiscuity. The enhanced intracellular survival (Eis) protein of Mycobacterium tuberculosis is responsible for the resistance of this pathogen to kanamycin A in a large fraction of clinical isolates. Recently, we discovered that Eis is a unique AAC capable of acetylating multiple amine groups on a large pool of aminoglycoside (AG) antibiotics, an unprecedented property among AAC enzymes. Here, we report a detailed study of the acyl-coenzyme A (CoA) cosubstrate profile of Eis. We show that, in contrast to other AACs, Eis efficiently uses only 3 out of 15 tested acyl-CoA derivatives to modify a variety of AGs. We establish that for almost all acyl-CoAs, the number of sites acylated by Eis is smaller than the number of sites acetylated. We demonstrate that the order of n-propionylation of the AG neamine by Eis is the same as the order of its acetylation. We also show that the 6' position is the first to be n-propionylated on amikacin and netilmicin. By sequential acylation reactions, we show that AGs can be acetylated after the maximum possible n-propionylation of their scaffolds by Eis. The information reported herein will advance our understanding of the multiacetylation mechanism of inactivation of AGs by Eis, which is responsible for M. tuberculosis resistance to some AGs.
Tuberculum sellae meningiomas: clinical manifestation, radiologic diagnosis, surgery and visual outcome. (1998)

It should be emphasized that the diagnosis of TSM must first be based on clinical symptoms and signs, or "chiasma-syndrome". It can be accurately diagnosed preoperatively by sagittal view MRI. Early diagnosis will increase the chances of a good postoperative visual outcome.
Flow visualization and measurement in flow field of a torque converter (2011)

Flow field analysis is the key to design and improve a torque converter. It is the principle test method to research flow field by using laser technique. Making use of Particle Image Velocimetry (PIV) technique tested the flow field of a torque converter. Digital image processing and analysis were applied to obtain the velocity distribution of internal field. The results indicated that the velocity of tracer particle could be used as accuracy initial condition of numerical simulation.
Nitazoxanide: A New Thiazolide Antiparasitic Agent (2005)

Nitazoxanide is a new thiazolide antiparasitic agent that shows excellent in vitro activity against a wide variety of protozoa and helminths. It is given by the oral route with good bioavailability and is well tolerated, with primarily mild gastrointestinal side effects. At present, there are no documented drug-drug interactions. Nitazoxanide has been licensed for the treatment of Giardia intestinalis-induced diarrhea in patients >or=1 year of age and Cryptosporidum-induced diarrhea in children aged 1-11 years. At present, it is pending licensure for treatment of infection due to Cryptosporidium species in adults and for use in treating immunocompromised hosts. It represents an important addition to the antiparasitic arsenal.
Sequential site-directed mutagenesis and chemical modification to convert the active site arginine 292 of aspartate aminotransferase to homoarginine (1992)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSequential site-directed mutagenesis and chemical modification to convert the active site arginine 292 of aspartate aminotransferase to homoargininePeter W. White and Jack F. KirschCite this: J. Am. Chem. Soc. 1992, 114, 9, 3567–3568Publication Date (Print):April 1, 1992Publication History Published online1 May 2002Published inissue 1 April 1992https://pubs.acs.org/doi/10.1021/ja00035a068https://doi.org/10.1021/ja00035a068research-articleACS PublicationsRequest reuse permissionsArticle Views91Altmetric-Citations12LEARN 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
Cardiac allograft vasculopathy: pathology, prevention and treatment (2006)

This review will look at the pathophysiology of graft coronary artery disease, current diagnostic and therapeutic choices, as well as existing and future directions.
Chronic focal encephalitis (Rasmussen's syndrome) in an adult. (2000)

Chronic focal encephalitis in adults is rare. Here we report a case of chronic focal encephalitis with epilepsy in a man. A 53-year-old man was admitted to our hospital because of right-sided focal seizures and epilepticus partialis continua. Brain imaging studies demonstrated progressive, focal, left cerebral atrophy. Prominent degenerative changes including neuronal loss and astrocytic gliosis were found on brain biopsy. Although the characteristics were typical of Rasmussen's encephalitis, unlike chronic focal encephalitis in children, his seizures were easily controlled by traditional antiepileptic therapy.
Memapsin 2 (β‐secretase) cytosolic domain binds to the VHS domains of GGA1 and GGA2: implications on the endocytosis mechanism of memapsin 2 (2002)

Memapsin 2, or beta-secretase, is a membrane-anchored aspartic protease that initiates the cleavage of beta-amyloid precursor protein (APP) leading to the production of beta-amyloid peptide in the brain and the onset of Alzheimer's disease. Memapsin 2 and APP are both endocytosed into endosomes for cleavage. Here we show that the cytosolic domain of memapsin 2, but not that of memapsin 1, binds the VHS domains of GGA1 and GGA2. Gel-immobilized VHS domains of GGA1 and GGA2 also bound to full-length memapsin 2 from cell mammalian lysates. Mutagenesis studies established that Asp(496), Leu(499) and Leu(500) were essential for the binding. The spacing of these three residues in memapsin 2 is identical to those in the cytosolic domains of mannose-6-phosphate receptors, sortilin and low density lipoprotein receptor-related protein 3. These observations suggest that the endocytosis and intracellular transport of memapsin 2, mediated by its cytosolic domain, may involve the binding of GGA1 and GGA2.
Spatial, polarization, and pattern diversity for wireless handheld terminals (2001)

This paper examines the antenna diversity configurations that improve the performance in handheld radios. Experiments using spatial, polarization, and pattern diversity were conducted for both line-of-sight (LOS) and obstructed outdoor and indoor multipath channels that experienced Ricean fading. Antenna separation, polarization, and pattern were varied independently to the extent possible. Envelope correlation, power imbalance, and diversity gain were calculated from the measurements. Diversity performance is measured by diversity gain, which is the difference in signal-to-noise ratio (SNR) between the output of a diversity combiner and the signal on a single branch, measured at a given probability level. Diversity gain increases with decreasing envelope correlation between the antenna diversity branches. However, diversity gain decreases as the power imbalance between diversity branches increases because a branch that has a weak signal has only a small contribution to the combined signal. Diversity gain values of 7-9 dB at the 99% reliability level were achieved in non-line-of-sight (NLOS) channels for all diversity configurations even with very small antenna spacings. The use of polarization diversity reduced polarization mismatches, improving SNR by up to 12 dB even in LOS channels.
Biological Activity of Nerve Growth Factor Precursor Is Dependent upon Relative Levels of Its Receptors (2009)

Nerve growth factor (NGF) is produced as a precursor called pro-nerve growth factor (proNGF), which is secreted by many tissues and is the predominant form of NGF in the central nervous system. In Alzheimer disease brain, cholinergic neurons degenerate and can no longer transport NGF as efficiently, leading to an increase in untransported NGF in the target tissue. The protein that accumulates in the target tissue is proNGF, not the mature form. The role of this precursor is controversial, and both neurotrophic and apoptotic activities have been reported for recombinant proNGFs. Differences in the protein structures, protein expression systems, methods used for protein purification, and methods used for bioassay may affect the activity of these proteins. Here, we show that proNGF is neurotrophic regardless of mutations or tags, and no matter how it is purified or in which system it is expressed. However, although proNGF is neurotrophic under our assay conditions for primary sympathetic neurons and for pheochromocytoma (PC12) cells, it is apoptotic for unprimed PC12 cells when they are deprived of serum. The ratio of tropomyosin-related kinase A to p75 neurotrophin receptor is low in unprimed PC12 cells compared with primed PC12 cells and sympathetic neurons, altering the balance of proNGF-induced signaling to favor apoptosis. We conclude that the relative level of proNGF receptors determines whether this precursor exhibits neurotrophic or apoptotic activity.
Undiagnosed Sleep Apnea in Patients with Essential Hypertension (1985)

The prevalence of sleep apnea was studied in 46 middle- and older-aged men with "essential hypertension." Thirty-four age- and weight-similar normotensive men were also studied. Fourteen hypertensive men and three controls had sleep apnea syndrome, as defined as greater than ten apneas per hour of sleep. Hypertensive men with apnea tended to be more overweight and slightly older than the hypertensive men without apnea, but differences were not statistically significant. Individual men with apnea could not be distinguished by their answers on a questionnaire that elicited symptoms related to apnea. Seven hypertensive men with apnea were treated with protriptyline and one with uvulopalatopharyngoplasty, and apnea index (apneas per hour) decreased by 77% from pretreatment levels while mean blood pressure decreased from 149/95 mm Hg to 139/90 mm Hg. Undiagnosed sleep apnea syndrome may be associated with systemic hypertension in many middle- and older-aged men. In some, sleep apnea syndrome could be the cause of hypertension, and in others it may contribute to hypertension of another cause.
Protein Array Based Interactome Analysis of Amyloid-β Indicates an Inhibition of Protein Translation (2011)

Oligomeric amyloid-β is currently of interest in amyloid-β mediated toxicity and the pathogenesis of Alzheimer's disease. Mapping the amyloid-β interaction partners could help to discover novel pathways in disease pathogenesis. To discover the amyloid-β interaction partners, we applied a protein array with more than 8100 unique recombinantly expressed human proteins. We identified 324 proteins as potential interactors of oligomeric amyloid-β. The Gene Ontology functional analysis of these proteins showed that oligomeric amyloid-β bound to multiple proteins with diverse functions both from extra and intracellular localizations. This undiscriminating binding phenotype indicates that multiple protein interactions mediate the toxicity of the oligomeric amyloid-β. The most highly impacted cellular system was the protein translation machinery. Oligomeric amyloid-β could bind to altogether 24 proteins involved in translation initiation and elongation. The binding of amyloid-β to purified rat hippocampal ribosomes validated the protein array results. More importantly, in vitro translation assays showed that the oligomeric amyloid-β had a concentration dependent inhibitory activity on translation. Our results indicate that the inhibited protein synthesis is one of the pathways that can be involved in the amyloid-beta induced neurotoxicity.