gebhart/patrepeval huggingface dataset:
A Race and Transaction-Aware Runtime for Java (2008)

Data races often result in unexpected and erroneous behavior. In addition to causing data corruption and possibly program crash, the presence of data races complicates the semantics of an execution which might no longer be sequentially consistent. Motivated by these observations, we have designed and implemented a Java runtime system that monitors program executions and throws a DataRaceException when a data race is about to occur. Analogous to other runtime exceptions, the DataRaceException provides two key benefits. First, accesses causing race conditions are interrupted and handled before they cause errors that may be difficult to diagnose later. Second, if no DataRaceException is thrown in an execution, it is guaranteed to be sequentially consistent. This strong guarantee helps to rule out many concurrency-related possibilities as the cause of erroneous behavior. When a DataRaceException is caught, the operation, thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException can serve as a conflict-detection mechanism in optimistic uses of concurrency. We start with the definition of data-race-free executions in the Java memory model. We generalize this definition to executions that use transactions, in addition to locks and volatile variables, for synchronization. We present a precise and efficient algorithm for dynamically verifying that an execution is free of data races. This algorithm generalizes the Goldilocks algorithm for data-race detection by handling transactions and providing the ability to distinguish between read and write accesses. We have implemented our algorithm and the DataRaceException in the Kaffe Java Virtual Machine. We have evaluated our system on a variety of publicly available Java benchmarks and a few microbenchmarks that combine lock-based and transaction-based synchronization. Our experiments indicate that our implementation has reasonable overhead. Therefore, we believe that the DataRaceException is a viable mechanism to enforce the safety of executions of multithreaded Java programs. 1.
Comorbidity in Bipolar Disorder: A Focus on Addiction and Anxiety Disorders (2010)

This chapter contains sections titled: Introduction Alcohol abuse and dependence Comorbid alcoholism and bipolar course of illness Treatment implications for dual diagnosis bipolar disorder and alcoholism Nicotine dependence Bipolar disorder course of illness and nicotine dependence Treatment considerations in bipolar disorder with nicotine dependence Anxiety disorders Epidemiological and clinical data Comorbid ADs and clinical presentation of bipolar disorder Treatment implications of anxious comorbidity Conclusion References
Arbitrary dual-band circularly polarized patch antenna (2005)

A novel dual-band circularly polarized antenna is proposed with each band in a broadband operation. A dual-band double annular slot antenna is used as the radiator. A dual-band branch line coupler (BLC), which is obtained by replacing the /spl lambda//4 right-handed transmission lines (RHTL) in a conventional BLC with /spl lambda//4 composite right/left handed transmission lines (CRLH TLs), is employed to feed the dual-band radiator. The design has been simulated by IE3D and ADS.
Isolation and mapping of a polymorphic DNA sequence pHBI40 on chromosome 1 (D1S66) (1987)

Journal Article Isolation and mapping of a polymorphic DNA sequence pHBI40 on chromosome 1 (D1S66) Get access Y. Nakamura, Y. Nakamura Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar K. Krapcho, K. Krapcho Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar E. Fujimoto, E. Fujimoto Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar P. O'Connell, P. O'Connell Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar M. Leppert, M. Leppert Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar G.M. Lathrop, G.M. Lathrop Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar J.-M. Lalouel, J.-M. Lalouel Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar R. White R. White Howard Hughes Medical Institute, University of Utah Medical SchoolSalt Lake City, UT 84132, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar Nucleic Acids Research, Volume 15, Issue 22, 25 November 1987, Page 9622, https://doi.org/10.1093/nar/15.22.9622 Published: 25 November 1987
Almond productivity as related to tissue potassium (2001)

lmond yield is the product of fruit number and fruit size, but fruit number is arguably the most important yield determinant. There is evidence, from other fleshy Prunus species, that K deficiency limits fruit size. Almond flowers are differentiated during the summer prior to anthesis, and almost all fruit is borne laterally on relatively long-lived spurs. Therefore, a nutrient deficiency may conceivably reduce potential future yields (in terms of flower/fruit number) by limiting growth of new shoots and spurs, by reducing the productivity of existing spurs, and by reducing the quality or quantity of floral differentiation. Potassium fertilizer was
The Natural History of Juvenile or Subacute GM2 Gangliosidosis: 21 New Cases and Literature Review of 134 Previously Reported (2006)

Juvenile GM2 gangliosidosis is clinically heterogeneous, not only in terms of age of onset and clinical features but also with regard to the course of the disease. In general, the earlier the onset of symptoms, the more rapidly the disease progresses. The Tay-Sachs and Sandhoff variants differed somewhat in the frequency of specific clinical characteristics. Speech deterioration progressed more rapidly than gait abnormalities in both the Tay-Sachs variant and Sandhoff variant groups. Among patients with the Tay-Sachs variant, the HEXA genotype showed a significant correlation with the clinical course.
Dyeing of Modified Polypropylene: Cationic Dyes on Chlorinated Polypropylene (1983)

Polypropylene fiber was chlorinated by the action of sodium hypochlorite under specific conditions. On chlorination, the moisture content of the fiber increased, but there was no effect on the fiber's mechanical properties. On chlorination, marked affinity was created in the fiber for cationic dyes from alkaline medium. Eight different cationic dyes were used on the chlorinated product under different dye bath pH conditions. Dyeings tended to show that the mechanism of application of cationic dyes on chlorinated polypropylene was a reactive type, i.e., through the formation of a covalent bond between the fiber and the dye. Of the eight cationic dyes, seven possessed poor to moderate light fastness, only Methylene Blue (CI Basic Blue 9) gave very good light fastness. In all the eight dyeings, other fastness properties such as fastness to washing, bleach, sea-water, and soda-boil were good. All the eight dyeings were after-treated with iodine which increased light fastness. Of the eight dyes, four produced photodegrading action on the fiber and four afforded photoprotection. Methylene Blue gave very good photoprotective action to the chlorinated polypropylene fiber.
Potential anticonvulsants. VIII. Some hydrazones of indole‐3‐carboxaldehyde (1984)

Abstract Indole‐3‐carboxaldehyde and some additional aldehydes were condensed with various hydrazines, hydrazides, and related compounds. A number of the products exhibited low levels of anticonvulsant activity.
Sperm motility: is viscosity fundamental to progress? (2011)

The success of internal fertilization is reliant upon successful sperm migration through the female tract. Timely location of the oocyte in what is a complex three-dimensional, highly invaginated series of moist opposed surfaces is a challenge at which only tens of sperm ever succeed. In part this could be due to the differences in scale, with a 50 µm long cell facing a probable migration of well over 20 cm due to the complex architecture. Many groups have focused upon the role for a chemotactic 'attractive egg' effect in guiding sperm to increase numbers at the fertilization site. What most research has neglected to consider is the role that the viscosity of the mucous layers, which coat the entire tract and through which sperm must swim, plays in both sperm selection and ongoing modulation of their behaviour. From allowing sperm to enter through the cervix during the ovulation phase, to denying them entrance through action of the female contraceptive pill, viscous effects are fundamental in controlling the migrating sperm population throughout the tract. The physiological effects of viscosity are also crucial to consider when designing and extrapolating data from in vitro experiments to the in vivo situation.
Evaluation of Small Intestinal Submucosa Grafts for Meniscal Regeneration in a Clinically Relevant Posterior Meniscectomy Model in Dogs (2010)

Large meniscal defects are a common problem for which treatment options are limited. Successful meniscal regeneration has been achieved by using grafts of small intestinal submucosa in posterior, vascular meniscal defects in a dog model. This study investigates the long-term effects of a tibial tunnel fixation technique and a clinically based meniscectomy defect on meniscal regeneration using this model. Eight mongrel dogs underwent medial arthrotomy and partial meniscectomy. The dogs were divided into groups based on defect treatment: small intestinal submucosa (n = 4) or meniscectomy (n = 4). Dogs were scored for lameness by subjective scoring postoperatively, sacrificed at 6 months, and assessed for articular cartilage damage, gross and histologic appearance of the operated meniscus, amount of new tissue in the defect, and relative compressive stiffness of articular cartilage. Dogs in the meniscectomy group were significantly (P = .002) more lame than dogs treated with small intestinal submucosa. Small intestinal submucosa-treated joints had significantly (P = .01) less articular cartilage damage than meniscectomy joints. Small intestinal submucosa meniscal implants resulted in production of meniscal-like replacement tissue, which was consistently superior to meniscectomy in amount, type, and integration of new tissue, chondroprotection, and limb function during the study period. Small intestinal submucosa implants may be useful for treatment of large posterior vascular meniscal defects in humans. The tibial tunnel technique used for fixation may have clinical advantages and therefore warrants further investigation.
An enhanced received signal level cellular location determination method via maximum likelihood and kalman filtering (2005)

The paper presents a new two-step cellular location determination (CLD) method based on signal strength and wave scattering models. The received signal level (RSL) method is first used in combination with maximum likelihood estimation (MLE) and triangulation to obtain an estimate of the location of the mobile. Due to non line of sight (NLOS) conditions and multipath propagation, this estimate lacks acceptable accuracy and consistency for demanding services, as numerical simulations reveal. Thus, the wave scattering 3D multipath channel model of Aulin is employed together with extended Kalman filtering (EKF) to obtain improved location estimates with high accuracy. The EKF is initialized at the MLE obtained from the RSL method, which is proved to be highly appropriate. Numerical simulations under urban, suburban and rural environments were utilized to evaluate the accuracy and consistency of the proposed two-step enhanced RSL method; the results of the worst-case rural environment are presented.
Equal BER with successive interference cancellation DS-CDMA systems on AWGN and Ricean channels (2002)

An interference cancellation scheme, based on successive cancellation with decided information bit feedback, is presented, and the performance analyzed in order to obtain the same bit error probability (BER) for each user, when channel estimation and power control are considered to be ideal. The analysis is carried out to obtain the same, optimal, performance on each channel. Furthermore, a possible approximation is introduced to develop an easy power list algorithm and is validated with numerical results. Some considerations both on receiver and transmitted total power gain with respect to the classical integration-and-dump receiver structure are reported.
Efeito do extrato seco do chá verde, chá branco e Caralluma Fimbriata na perda de peso e nas concentrações séricas de glicose e colesterol total em Humanos (2009)

Objective: To evaluate the effect of dry extract of green tea, white tea and Caralluma fimbriataon weight loss and total serum concentrations of glucose and cholesterol in humans. Material and Methods: Randomized trial with 60 students of the nutrition course. The participants were divided into five Groups: Control (C); Green Tea (CV); White Tea (CB); Caralluma fimbriata (CA) and Placebo (PL). Groups CV, CB and CA received capsules containing 500 mg of dry extract, 1 hour before lunch, for 30 days, and Group PL received capsules containing amide. One the first day, and after 30 days, the following data were collected: anthropometric data, level of physical activity, dietary frequency and total glucose and cholesterol serum concentrations. Results: The retention rate of participants in the trial was 75% (n= 45). At the end of the trial, no significant differences were observed in body weight and BMI. A reduction was observed in mean waist circumference values in Group CV; and in glucose concentrations in Groups CV and CB. Group PL presented higher mean concentrations of serum cholesterol than Group C. It is emphasized that Group CA presented a lowermean value for this variable than Group C. Conclusion: Green tea provided lower WC values, though none of the treatments presented a significant effect in relation to body weight or total glucose and cholesterol serum concentrations.
Purification of 2-Aminopyridine Derivatives of Oligosaccharides and Related Compounds by Cation-Exchange Chromatography (1995)

A simple method for efficient removal of a large excess of 2-aminopyridine from the reaction mixture of pyridylamination of carbohydrates and related compounds by cation-exchange chromatography is presented. The method is especially suitable for purification and separation of small-sized pyridylaminated-(PA-) derivatives and large-scale preparations. Separation of PA-derivatives from 2-aminopyridine was accomplished by a Dowex 50X8 column (NH+4-form) eluted with 20 mM ammonium acetate buffer (pH 8.5). The PA derivatives thus purified can be used for high-performance liquid chromatography analysis directly. The method requires only 10 min to purify a sample, in contrast to an hour or longer required by the gel filtration method. Unlike the existing methods for purification method. Unlike the existing methods for purification of PA-oligosaccharides, which are applicable only in the range of 0.05-100 nmol, the cation-exchange method allows processing of much larger quantities of PA-derivatives. For example, PA-L-glyceraldehyde (10 mumol) was successful purified by a Dowex 50X8 column (1.5 x 17 cm) eluted with 20 mM ammonium acetate buffer (pH 8.75) within 3 h.
Digital quantum simulation of molecular vibrations (2019)

Molecular vibrations underpin important phenomena such as spectral properties, energy transfer, and molecular bonding. However, obtaining a detailed understanding of the vibrational structure of even small molecules is computationally expensive. While several algorithms exist for efficiently solving the electronic structure problem on a quantum computer, there has been comparatively little attention devoted to solving the vibrational structure problem with quantum hardware. In this work, we discuss the use of quantum algorithms for investigating both the static and dynamic vibrational properties of molecules. We introduce a physically motivated unitary vibrational coupled cluster ansatz, which also makes our method accessible to noisy, near-term quantum hardware. We numerically test our proposals for the water and sulfur dioxide molecules.
A noise reduction method based on linear prediction analysis (2002)

Abstract The linear prediction method works in such a way that the difference (prediction residual) between the objective signal and the output generated by making the objective signal a linear combination of the input signals is uncorrelated. Hence, in this linear prediction method, the linear predictor generates zero for the signal without correlation and recombines the voice for that with correlation. If this characteristic is used, recombined voice with suppressed noise can be obtained as the output of the linear predictor for voice with superposed white noise without correlation. Noise suppression can be realized by using this characteristic of the linear predictor. In this paper, a noise suppression method based on this linear prediction is discussed. According to this method, a noise suppression method without process delay can be realized. Also, no a priori information on the power spectrum of the noise is needed in this method. © 2002 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 86(3): 1–10, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/ecjc.10056
Photoluminescence Detection of Biomolecules by Antibody‐Functionalized Diatom Biosilica (2009)

Abstract Diatoms are single‐celled algae that make microscale silica shells called “frustules”, which possess intricate nanoscale features imbedded within periodic two‐dimensional pore arrays. In this study, antibody‐functionalized diatom biosilica frustules serve as a microscale biosensor platform for selective and label‐free photoluminescence (PL)‐based detection of immunocomplex formation. The model antibody rabbit immunoglobulin G (IgG) is covalently attached to the frustule biosilica of the disk‐shaped, 10‐µm diatom Cyclotella sp. by silanol amination and crosslinking steps to a surface site density of 3948 ± 499 IgG molecules µm −2 . Functionalization of the diatom biosilica with the nucleophilic IgG antibody amplifies the intrinsic blue PL of diatom biosilica by a factor of six. Furthermore, immunocomplex formation with the complimentary antigen anti‐rabbit IgG further increases the peak PL intensity by at least a factor of three, whereas a non‐complimentary antigen (goat anti‐human IgG) does not. The nucleophilic immunocomplex increases the PL intensity by donating electrons to non‐radiative defect sites on the photoluminescent diatom biosilica, thereby decreasing non‐radiative electron decay and increasing radiative emission. This unique enhancement in PL emission is correlated to the antigen (goat anti‐rabbit IgG) concentration, where immunocomplex binding follows a Langmuir isotherm with binding constant of 2.8 ± 0.7 × 10 −7 M .
Superior CO<sub>2</sub> Adsorption Capacity on N‐doped, High‐Surface‐Area, Microporous Carbons Templated from Zeolite (2011)

Abstract Zeolite‐templated, high‐surface‐area, microporous, N‐doped carbons exhibit the highest CO 2 uptake capacity recorded to date for any carbon material and one of the highest for any inorganic or organic porous material of up to 6.9 mmol g −1 at 273 K and ambient pressure and 4.4 mmol g −1 at ambient temperature and pressure, along with an initial CO 2 adsorption energy of 36 kJ mol −1 at lower coverage and 20 kJ mol −1 at higher CO 2 coverage. Combined with their ease of preparation, excellent recyclability and regeneration stability, and high selectivity for CO 2 , the N‐doped zeolite‐templated carbons are amongst the most promising solid‐state absorbents reported so far for CO 2 capture and storage.
Propagation of Hedera helix: Influence of irradiance to stock plants, length of internode and topophysis of cutting (1980)

Abstract Stock plants of Hedera helix cv. Pittsburgh were grown in controlled environment rooms at four different irradiances (light intensities) 10, 22, 37 or 46 W m ‐2 PAR (photosynthetically active radiation). The root formation on single internode cuttings from these stock plants was observed in relation to length of the internodes and the position on the vine (topophysis). The analysis indicated that the root number was primarily dependent on internode length which in turn was dependent on irradiance to stock plants and topophysis. The irradiance of 37 W m ‐2 PAR was optimal for internode length and root number and the basal internode was the one which produced the greatest number of roots.
Sport (1990)

Sporting occasions of wide appeal form an essential ingredient in a popular television service and the establishment and general acceptance of 'the concept of ITV sport as an centralised element in a plural service' have been described in an earlier volume of this history.1 In a typical period some 12 per cent of ITV programme production and 10 per cent of programme output were devoted to sport.2KeywordsRugby UnionInternational SportSaturday AfternoonExclusive ContractSunday AfternoonThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Ueber das Morphium, eine neue salzfähige Grundlage, und die Mekonsäure, als Hauptbestandtheile des Opiums (1817)

pilf Vnfuche Iicli gruntlend, gef& hat, hier g a ~z nneriirtert ljrr~e, uod niclit in
Spatial filtering by laser detection in confocal microscopy (1993)

We describe a simple novel form of confocal microscope that uses a single-mode laser. We ensure confocal operation by permitting the image light to reenter the laser cavity and detecting the confocal signal as a modulation on lasing power.
An auxiliary-function approach to online independent vector analysis for real-time blind source separation (2014)

This paper proposes online independent vector analysis (IVA) based on an auxiliary-function approach for real-time blind speech separation. A batch auxiliary-function approach is naturally extended with autoregressive approximation of an auxiliary variable. Experimental evaluations show that the proposed online algorithm works in real time and attains relatively high signal-to-interference ratios without environment-sensitive tuning parameters such as step size under both spatially stationary and dynamic conditions compared to usual real-time IVAs using natural gradient updates or block-wise updates. Our implementation of the proposed algorithm works in real-time for four-channel observations on PCs and worked stably over 7 hours in realistic noisy environments.
Quantitative structured-illumination phase microscopy (2007)

We introduce a quantitative phase imaging method for homogeneous objects with a bright field transmission microscope by using an amplitude mask and a digital processing algorithm. A known amplitude pattern is imaged on the sample plane containing a thick phase object by placing an amplitude mask in the field diaphragm of the microscope. The phase object distorts the amplitude pattern according to its optical path length (OPL) profile, and the distorted pattern is recorded in a CCD detector. A digital processing algorithm then estimates the object's quantitative OPL profile based on a closed form analytical solution, which is derived using a ray optics model for objects with small OPL gradients.