gebhart/patrepeval huggingface dataset:
Expressive and modular predicate dispatch for Java (2009)

Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate guard specifying the conditions under which the method should be invoked, and logical implication of predicates determines the method overriding relation. Predicate dispatch naturally unifies and generalizes several common forms of dynamic dispatch, including traditional OO dispatch, multimethod dispatch, and functional-style pattern matching. Unfortunately, prior languages supporting predicate dispatch have had several deficiencies that limit the practical utility of this language feature. We describe JPred, a backward-compatible extension to Java supporting predicate dispatch. While prior languages with predicate dispatch have been extensions to toy or nonmainstream languages, we show how predicate dispatch can be naturally added to a traditional OO language. While prior languages with predicate dispatch have required the whole program to be available for typechecking and compilation, JPred retains Java's modular typechecking and compilation strategies. While prior languages with predicate dispatch have included special-purpose algorithms for reasoning about predicates, JPred employs general-purpose, off-the-shelf decision procedures. As a result, JPred's type system is more flexible, allowing several useful programming idioms that are spuriously rejected by those other languages. After describing the JPred language informally, we present an extension to Featherweight Java that formalizes the language and its modular type system, which we have proven sound. Finally, we discuss two case studies that illustrate the practical utility of JPred, including its use in the detection of several errors.
Safety of inhaled corticosteroids in children (2002)

Inhaled corticosteroids (ICS) are now first-line therapy for persistent asthma in children. The major safety concerns of long-term ICS therapy for childhood asthma are potential effects on adrenal function, growth, and bone mass. Dosage, type of inhaler device, and individual drug characteristics influence systemic effects of ICS. Sensitive measures of basal adrenal function can show statistically significant changes during ICS therapy, but these do not accurately predict clinically meaningful adrenal axis suppression. Adrenal insufficiency is rare and confined to children receiving high doses of ICS. Dose-related inhibition of growth has been seen in some short- and intermediate-term studies, but long-term studies have found no detrimental effect on final height. ICS therapy has not been associated with significant changes in measurements of bone and bone biomarkers, but more studies of high doses and of therapy in adolescents are needed. Overall, although ICS are the most effective anti-inflammatory treatment available for asthma, high doses of ICS in children are still of concern. The risk of high doses is compounded in children with concomitant allergic conditions that require multiple forms of topical corticosteroids. Benefits of ICS clearly outweigh potential adverse effects and risks associated with poorly controlled asthma. Risk can be minimized by using the lowest effective ICS dose, limiting systemic availability of the drug through proper technique to minimize swallowed drug, and selection of agents with efficient first-path hepatic inactivation of swallowed drug. Adjuvant treatments can reduce the dose of ICS required for asthma control, allowing a reduction in overall systemic exposure for most children with mild-to-moderate persistent asthma. Therefore, these agents should be added to, but should not replace, ICS therapy.
Cardiac arrhythmias detection in an ECG beat signal using fast fourier transform and artificial neural network (2011)

Cardiac Arrhythmias shows a condition of abnor-mal electrical activity in the heart which is a threat to humans. This paper presents a method to analyze electrocardiogram (ECG) signal, extract the fea-tures, for the classification of heart beats according to different arrhythmias. Data were obtained from 40 records of the MIT-BIH arrhythmia database (only one lead). Cardiac arrhythmias which are found are Tachycardia, Bradycardia, Supraventricular Tachycardia, Incomplete Bundle Branch Block, Bundle Branch Block, Ventricular Tachycardia. A learning dataset for the neural network was obtained from a twenty records set which were manually classified using MIT-BIH Arrhythmia Database Directory and docu- mentation, taking advantage of the professional experience of a cardiologist. Fast Fourier transforms are used to identify the peaks in the ECG signal and then Neural Networks are applied to identify the diseases. Levenberg Marquardt Back-Propagation algorithm is used to train the network. The results obtained have better efficiency then the previously proposed methods.
Study of new prognostic factors of esophageal variceal rupture by use of image processing with a video endoscope. (1994)

By adding these image processing data to the traditional general rules for recording endoscopic findings, it is possible to select patients with varices that have a higher risk of rupture.
Chemical and Biological Sensors for Time-Series Research: Current Status and New Directions (2004)

Ocean observatories will require extensive use of sensors and sensing systems to enable time-series observations and interactive experiments on remote permanent and mobile platforms. In this paper we assess the "readiness" of chemical and biological sensors that will be critical to the success of ocean observatories. We conclude that although there have been many technological advances in the development of sensors in recent years, few chemical or biological sensors are capable of long-term deployment (∼ 1 year). In particular, sensors in coastal regions and near hydrothermal vents will need to be regularly serviced for biofouling for the foreseeable future, while sensors on deep-water observatories that spend limited time in the euphotic zone may be able to operate for longer periods. A number of exciting new technologies hold great promise for sensors in the years to come. Significant effort and resources, however, are urgently needed for sensor development to ensure that the opportunities for science and discovery made accessible by ocean observatories are fully realized.
Heterogeneous Photocatalysis for Control of Volatile Organic Compounds in Indoor Air (1996)

Research results concerning the photocatalytic activity and selectivity of benzene are discussed. This compound, which represents one of an important class of volatile organic compounds found in indoor air, was oxidized in an annular photocatalytic reactor featuring a thin film of titanium dioxide and illuminated by a fluorescent black light. The gas phase products, carbon dioxide and carbon monoxide, were quantified with a Fourier transform infrared spectrometer (FTIR). Adsorbed intermediates were extracted from the surface with water. The extract was analyzed via high performance liquid chromatography and some of the adsorbed species were provisionally identified by retention time matching. The adsorption of reactants on the catalyst surface was studied explicitly, particularly with respect to the effect of near-UV radiation on adsorption processes. Maximum and steady-state rates of the surface reactions are reported here as functions of the operating conditions. Deactivation of the catalyst surface is characterized and methods of regeneration of catalyst activity are explored. This established research methodology provides the framework for a broader outline of research into enhancement of indoor air quality via photocatalytic oxidation. The results of investigations are discussed that pertain to a variety of classes of compounds representative of indoor air pollutants.
Expansion of Activated Lymphocytes Obtained from Renal Cell Carcinoma in an Automated Hollow Fiber Bioreactor (1994)

Immunotherapy using IL-2 alone or combined with activated lymphocytes has been promising for metastatic renal cell carcinoma. Cytotoxic lymphocytes can be isolated from tumors, expanded in vitro with IL-2, and adoptively transferred back into the tumor-bearing host. These cells can also be transduced with the genes coding for cytokines for local delivery to tumor sites. A major drawback in adoptive immunotherapy is the cumbersome and expensive culture technology associated with the growth of large numbers of cells required for their therapeutic effect. To reduce the cost, resources, and manpower, we have developed the methodology for lymphocyte activation and expansion in the automated hollow fiber bioreactor IMMUNO*STAR Cell Expander (ACT BIOMEDICAL, INC). Tumor Infiltrating Lymphocytes (TIL) isolated from human renal cell carcinoma tumor specimens were inoculated at a number of 10(8) cells in a small bioreactor of 30 ml extracapillary space volume. We have determined the medium flow rates and culture conditions to obtain a significant and repeated expansion of TIL at weekly intervals. The lymphocytes cultured in the bioreactor demonstrated the same phenotype and cytotoxic activity as those expanded in parallel in tissue culture plates. Lymphocyte expansion in the hollow fiber bioreactor required lower volumes of medium, human serum, IL-2 and minimal labor. This technology may facilitate the use of adoptive immunotherapy for the treatment of refractory malignancies.
Naturalistic Lane Change Analysis for Human-Like Trajectory Generation (2018)

Human-like driving is of great significance for safety and comfort of autonomous vehicles, but existing trajectory planning methods for on-road vehicles rarely take the similarity with human behavior into consideration. From a representative trajectory-generation-based planning algorithm, this paper analyzes the systematic deviation of the generated trajectories from human trajectories, and proposes a new scheme of trajectory generation by compensating the deviation using a deviation profile learned from data. Experimental results show that the proposed trajectory generator is able to fit the human trajectories considerably better than the original one with only one additional degree of freedom. When used for online trajectory planning, with the same level of computational complexity, the proposed generator is able to generate trajectories that are more human-like than original generator does, which provides basis for autonomous vehicle to perform human-like trajectory planning.
An inexpensive, specific and highly sensitive protocol to detect the BrafV600E mutation in melanoma tumor biopsies and blood (2010)

The Braf(V600E) mutation has been detected in patients with metastatic melanoma, colon, thyroid and other cancers. Recent studies suggested that tumors with this mutation are especially sensitive to Braf inhibitors, hence the need to reliably determine the Braf status of tumor specimens. The present technologies used to screen for this mutation fail to address the problems associated with infiltrating stromal and immune cells bearing wild-type Braf alleles and thus may fail to detect the presence of mutant Braf(V600E) tumors. We have developed a rapid, inexpensive method that reduces the contamination of wild-type Braf sequences from tumor biopsies. The protocol involves a series of PCR amplifications and restriction digestions that take advantage of unique features of both wild type and mutant Braf RNA at position 600. Using this protocol, mutant Braf can be detected in RNA from mixed populations with as few as 0.1% Braf(V600E) mutant cells.
Vitamin status in patients with inflammatory bowel disease. (1989)

The status of water- and fat-soluble vitamins was prospectively evaluated in 23 patients (13 men, 10 women, mean age 33 +/- 3 yr) admitted to the hospital with acute or subacute attacks of inflammatory bowel disease. Protein-energy status was also assessed by means of simultaneous measurement of triceps skinfold thickness, mid-arm muscle circumference, and serum albumin. Fifteen patients (group A) had extensive acute colitis (ulcerative or Crohn's colitis), and eight cases (group B) had small bowel or ileocecal Crohn's disease. Eighty-nine healthy subjects (36 men, 53 women, mean age 34 +/- 2 yr) acted as controls. In both groups of patients, the levels of biotin, folate, beta-carotene, and vitamins A, C, and B1 were significantly lower than in controls (p less than 0.01). Plasma levels of vitamin B12 were decreased only in group B (p less than 0.01), whereas riboflavin was lower in group A (p less than 0.01). The percentage of patients at risk of developing hypovitaminosis was 40% or higher for vitamin A, beta-carotene, folate, biotin, vitamin C, and thiamin in both groups of patients. Although some subjects had extremely low vitamin values, in no case were clinical symptoms of vitamin deficiency observed. Only a weak correlation was found between protein-energy nutritional parameters and vitamin values, probably due to the small size of the sample studied. The pathophysiological and clinical implications of the suboptimal vitamin status observed in acute inflammatory bowel disease are unknown. Further studies on long-term vitamin status and clinical outcome in these patients are necessary.
Surface functionalization of bioactive glasses (2008)

Different cleaning and silanization methods have been applied to bioactive glasses with the aim of covalently bonding bone morphogenetic proteins (BMP-2) to the surface. Several glasses, with different bioactivity index, were cleaned with acidic, basic, or neutral aqueous media to investigate the role of pH in the formation of silanols on glass surfaces of different reactivity. The cleaned glasses were then functionalized using 3-aminopropyl-triethoxysilane (APTS). After the optimization of the silanization procedure, proteins of different complexity were immobilized on the functionalized glasses. To optimize the protein immobilization, a model protein (carnosine) was first used, and the procedure was then used to bind human BMP-2. The glass surfaces were characterized during each step of the treatment by water contact angles and X-ray photoelectron analyses. The APTS functionalization was then used to immobilize bone morphogenetic protein on the bioactive glasses. This result suggested that such a treatment could be successfully used as an efficient alternative to systemic administration of transforming growth factors for the development of local delivery vehicle implants.
Substitution of (R,S)-Methadone by (R)-Methadone (2010)

Substitution of (R,S)-methadone by (R)-methadone reduces the QTc interval value. A safer cardiac profile of (R)-methadone is in agreement with previous in vitro and pharmacogenetic studies. If the present results are confirmed by larger studies, (R)-methadone should be prescribed instead of (R,S)-methadone to reduce the risk of cardiac toxic effects and sudden death.
Anticancer drugs from nature—natural products as a unique source of new microtubule-stabilizing agents (2007)

This review article provides an overview on the current state of research in the area of microtubule-stabilizing agents from natural sources, with a primary focus on the biochemistry, biology, and pharmacology associated with these compounds. A variety of natural products have been discovered over the last decade to inhibit human cancer cell proliferation through a taxol-like mechanism. These compounds represent a whole new range of structurally diverse lead structures for anticancer drug discovery.
On quasi-periodicity properties of fractional integrals and fractional derivatives of periodic functions (2015)

This paper is devoted to the study of quasi-periodic properties of fractional order integrals and derivatives of periodic functions. Considering Riemann–Liouville and Caputo definitions, we discuss when the fractional derivative and when the fractional integral of a certain class of periodic functions satisfies particular properties. We study concepts close to the well known idea of periodic function, such as S-asymptotically periodic, asymptotically periodic or almost periodic function. Boundedness of fractional derivative and fractional integral of a periodic function is also studied.
SirT3 is a nuclear NAD <sup>+</sup> -dependent histone deacetylase that translocates to the mitochondria upon cellular stress (2007)

In humans, there are at least seven Sir2-like proteins (SirT1-7) with diverse functions, including the regulation of chromatin structure, and metabolism. SirT3 levels have been shown to correlate with extended life span, to localize to the mitochondria, and to be highly expressed in brown adipose tissue. In humans, SirT3 exists in two forms, a full-length protein of approximately 44 kDa and a processed polypeptide lacking 142 amino acids at its N terminus. We found that SirT3 not only localizes to the mitochondria, but also to the nucleus under normal cell growth conditions. Both the full-length and processed forms of SirT3 target H4-K16 for deacetylation in vitro and can deacetylate H4-K16 in vivo when recruited to a gene. Using a highly specific antibody against the N terminus of SirT3, we found that SirT3 is transported from the nucleus to the mitochondria upon cellular stress. This includes DNA damage induced by Etoposide and UV-irradiation, as well as overexpression of SirT3 itself.
Removal of pathogenic human viruses by insoluble pyridinium-type resin (1990)

Cross-linked poly(N-benzyl-4-vinylpyridinium bromide) (BVP resin) was found to be very efficient in removing pathogenic human viruses from aqueous solution. In batch removal experiments using 50 g/l of BVP resin at 35 degrees C, the level of infectivity in suspensions of enterovirus, herpes simplex virus, poliovirus, and human immunodeficiency virus was reduced 1000-100,000 fold during a 2 h period. Those of coxsackievirus and echovirus were reduced 60-600 fold during 1 h contact. The haemagglutination titres of solutions of human rotavirus, influenza virus, human adenovirus, and Japanese encephalitis virus were reduced 16-256 fold during 30 min of contact. In removal experiments by a continuous flow column method for poliovirus, enterovirus, and coxsackievirus with initial infectivities of less than 10(5)/ml, the infectivity of these viruses was no longer detectable in the effluent solution. For poliovirus, coxsackievirus, and echovirus with initial infectivities higher than 10(6), 99.8-99.9998% of the input viruses was removed as indicated by the reduction of infectivity.
A High-Density SNP Map of Sunflower Derived from RAD-Sequencing Facilitating Fine-Mapping of the Rust Resistance Gene R12 (2014)

A high-resolution genetic map of sunflower was constructed by integrating SNP data from three F2 mapping populations (HA 89/RHA 464, B-line/RHA 464, and CR 29/RHA 468). The consensus map spanned a total length of 1443.84 cM, and consisted of 5,019 SNP markers derived from RAD tag sequencing and 118 publicly available SSR markers distributed in 17 linkage groups, corresponding to the haploid chromosome number of sunflower. The maximum interval between markers in the consensus map is 12.37 cM and the average distance is 0.28 cM between adjacent markers. Despite a few short-distance inversions in marker order, the consensus map showed high levels of collinearity among individual maps with an average Spearman's rank correlation coefficient of 0.972 across the genome. The order of the SSR markers on the consensus map was also in agreement with the order of the individual map and with previously published sunflower maps. Three individual and one consensus maps revealed the uneven distribution of markers across the genome. Additionally, we performed fine mapping and marker validation of the rust resistance gene R12, providing closely linked SNP markers for marker-assisted selection of this gene in sunflower breeding programs. This high resolution consensus map will serve as a valuable tool to the sunflower community for studying marker-trait association of important agronomic traits, marker assisted breeding, map-based gene cloning, and comparative mapping.
A Virus Detection Framework based on SPMOS (2008)

Embedded systems have been used in many different areas in which sensitive information communication and storage are needed. This makes security a serious concern in embedded system design, especially in operating system design. At the same time computer virus has been mutating and developing as fast as the upgrading speed of embedded operating system. Even it is possible for some intelligent virus to destroy the anti-virus software process in the memory. The system-on-a-chip technology provides Scratch-Pad Memory(SPM) which is physically isolated with main memory and more efficient than other kind of memories. We construct a demilitarized zone(DMZ) on SPM and design a small OS named SPMOS in the DMZ. A watchdog is contained in GPOS to monitor the events occurred. If an abnormal event is detected, GPOS will trap itself to SPMOS which will invoke anti-virus program. It is a big challenge to switch the two OSes without any virtual layer support. The way to protect SPM showed that the anti-virus detection platform based on SPMOS is secure. Then the experiment results show that the platform is efficient while switching between OSes.
Fabrication and Characterization of Zein‐Based Nanofibrous Scaffolds by an Electrospinning Method (2007)

Electrospun zein membranes were prepared using DMF as solvent. By changing the solution concentration, the electrospinning voltage and the distance between the spinneret and collector, nanofibrous meshes without bead defects could be obtained. In order to improve the mechanical strength of the hydrated zein meshes, core-shell-structured nanofibrous membranes with PCL as the core material and zein forming the shell were prepared by coaxial electrospinning. The core-shell structure of the composite fibers was confirmed by SEM characterization of the fibers, either extracted with chloroform to remove the inner PCL, or elongated to expose their cross-section. The composition and average diameter of the composite fibers could be modulated by the feed rate of the inner PCL solution. It was found that the core-shell fibrous membranes have similar wettability to the electrospun zein mesh. The presence of PCL in the fibers could significantly improve the mechanical properties of the zein membrane.
Removal of Species Constraints in Antibody Detection (2009)

Serum antibodies from myriad species, particularly birds, can provide key information regarding the transmission and the expansion of the territory of emerging pathogens. Expedient antibody analysis is constrained by a lack of species-specific reagents, a deficiency potentially highlighted by the recent swine-origin influenza A virus (H1N1) outbreak. Available methodologies present difficulties that discourage thorough serologic monitoring of potential disease vectors or hosts. Rapid high-throughput procedures that combined serum amine labeling via biotinylation, contaminant removal, and microsphere-based immunoassays for antibodies to three arboviruses were developed. Agent-specific adaptations of this simple format should facilitate expanded surveillance and diagnostic capabilities regarding pathogens of human and veterinary importance.
Positron tomography of breast cancer in a community hospital: A case study of advanced disease using a coincidence gamma camera (1999)

Until recently PET scanning has been available only at major universities or teaching hospitals possessing the necessary resources and expertise to operate a research PET facility. Most dedicated PET centers cost several millions of dollars, and include a cyclotron, a radiochemistry laboratory to synthesize PET radiopharmaceuticals, a multicrystal dedicated PET camera, advanced computer facilities and a staff of many researchers, radiochemists, physicists, computer programmers, physicians and technologists. Because of the extensive staff requirements, operating costs have also been in the millions of dollars, and as a result, Canada has only a handful of PET centers.