gebhart/patrepeval huggingface dataset:
Sherlock: scalable deadlock detection for concurrent programs (2014)

We present a new technique to find real deadlocks in concurrent programs that use locks. For 4.5 million lines of Java, our technique found almost twice as many real deadlocks as four previous techniques combined. Among those, 33 deadlocks happened after more than one million computation steps, including 27 new deadlocks. We first use a known technique to find 1275 deadlock candidates and then we determine that 146 of them are real deadlocks. Our technique combines previous work on concolic execution with a new constraint-based approach that iteratively drives an execution towards a deadlock candidate.
Proof of concept of an RFID-enabled supply chain in a B2B e-commerce environment (2006)

Based on a field study conducted in the utility industry, this paper examines the impacts and potential benefits generated by an RFID application in one specific supply chain. Through a detailed investigation of the underlying business processes, we demonstrate how process optimization can be achieved when integrating RFID technology into information systems applications. A proof of concept (POC) is also conducted in laboratory settings to demonstrate the feasibility of the proposed scenarios.
Extending the Reflexion Method for Consolidating Software Variants into Product Lines (2007)

Software variants emerge from ad-hoc copying in- the-large with adaptations to a specific context. As the number of variants increases, maintaining such software variants becomes more and more difficult and expensive. In contrast to such ad-hoc reuse, software product lines offer organized ways of reuse, taking advantage of similarities of different products. To re-gain control, software variants may be consolidated as organized software product lines. In this paper, we describe a method and supporting tools to compare software variants at the architectural level extending the reflexion method to software variants. Murphy's reflexion method allows one to reconstruct the module view, a static architectural view describing the static components, their interfaces and dependencies and their grouping as layers and subsystems. The method consists of the specification of the module view and the mapping of implementation components onto the module view. An automatic analysis determines differences between the module view and its implementation. We extend the reflexion method from single systems to software variants. Because software variants share a very large amount of code, we use clone detection techniques to identify corresponding implementation components between variants. The correspondence is then used to transfer as much of the mapping for the analyzed variants to the next variant to be analyzed.
Surfactant-Mediated Synthesis of a Novel Nanoporous Carbon−Silica Composite (2003)

A novel nanoporous carbon−silica composite with medium hydrophilicity is synthesized by a series of methods consisting of preexpansion of the interlayer of graphite oxide (GO) by surfactant intercalation, the intercalation of tetraethoxylsilane (TEOS) and its hydrolysis in the interlayer, followed by post carbonization to form a robust bridged/pillared network. High-resolution N2 adsorption results show that carbonization at 823 K gives a composite having the highest specific surface area of more than 1000 m2/g with both microporosity and mesoporosity. Varieties of analytical results using DRIFT, NMR, XPS, and RAMAN spectra indicate that this composite contains small graphene sheets in its structure and its silicon components are silica particles with +4 valence. Morphology observation, thermal desorption, and other properties suggest the important roles of dispersion of GO in aqueous solution, preexpansion of GO interlayer, interlayer hydrolysis of TEOS molecules, and the carbonization condition in the formation mechanism of this nanoporous composite.
Enhancements of extreme ultraviolet emission using prepulsed Sn laser-produced plasmas for advanced lithography applications (2011)

Laser-produced plasmas (LPP) from Sn targets are seriously considered to be the light source for extreme ultraviolet (EUV) next generation lithography, and optimization of such a source will lead to improved efficiency and reduced cost of ownership of the entire lithography system. We investigated the role of reheating a prepulsed plasma and its effect on EUV conversion efficiency (CE). A 6 ns, 1.06 μm Nd:yttrium aluminum garnet laser was used to generate the initial plasma that was then reheated by a 40 ns, 10.6 μm CO2 laser to generate enhanced EUV emission from a planar Sn target. The effects of prepulsed laser intensity and delay timings between the prepulsed and the pumping pulse were investigated to find the optimal pre-plasma conditions before the pumping pulse. The initial optimization of these parameters resulted in 25% increase in CE from the tin LPP. The cause of increased EUV emission was identified from EUV emission spectra and ion signal data.
Patient Satisfaction and the Lofric Catheter for Clean Intermittent Catheterization (1995)

A pilot study was initiated to determine patient satisfaction with the use of a newly available pre-lubricated, hydrophilic, disposable LoFric* catheter for clean intermittent catheterization. The study population consisted of 16 new patients and 25 experienced with clean intermittent catheterization. Patients were asked questions regarding convenience, ease of handling, comfort and general opinion of the catheters. Four new and 8 experienced patients dropped out of the study. Of the new patients who completed the study 75% found clean intermittent catheterization less troublesome than expected and all wish to continue using the catheter. Of the experienced patients 81% had a more favorable general opinion of the disposable than of the previous catheter, 81% found the disposable catheter to be more convenient and 88% thought it was easier to handle. It appears that most people will be satisfied with the disposable catheter and will prefer it as an alternative to a plastic catheter with lubrication applied by the patient.
Relationship of XIST expression and responses of ovarian cancer to chemotherapy. (2002)

Expression profiling to characterize cancer pharmacology has become a new approach to discover novel molecular targets for prognostic markers and cancer therapy. In a study to compare the global RNA expression profiles between primary and recurrent ovarian tumors from the same patient, we have identified XIST (inactive X chromosome-specific transcripts) as the most differentially expressed gene that was down-regulated in the recurrent tumor. XIST encodes a spliced noncoding polyadenylated transcript that is unique in being expressed exclusively from the inactive X chromosome and is involved in the X-inactivation process. Subsequent characterization of XIST expression in a panel of female cancer cell lines showed that the expression level of XIST correlates significantly with Taxol sensitivity. The clinical relevance of this observation is demonstrated by the strong association between XIST RNA levels and disease-free periods of ovarian cancer patients in a group of 21 ovarian cancer cases with Taxol in the therapeutic regiments. Cytogenetic studies on ovarian cancer cell lines indicated that loss of inactive X chromosome is one mechanism for the loss of XIST transcripts in the cell lines. Our data suggest that XIST expression may be a potential marker for chemotherapeutic responses in ovarian cancer.
Comparison of terminated and tailbiting spatially coupled LDPC codes with optimized bit mapping for PM-64-QAM (2014)

We optimize the allocation of coded bits to modulation bits for spatially coupled low-density parity-check (SC-LDPC) codes and PM-64-QAM. Tailbiting SC-LDPC codes are shown to offer a similar gap to capacity as their terminated counterparts, at a lower FEC overhead.
Un modelo de análisis del conflicto socio-ambiental para aprender-investigar (2012)

En el presente artículo nos aproximamos a una perspectiva teórica de interpretación y análisis de los conflictos socio-ambientales que a su vez sirve como argumento para la propuesta de un modelo de investigación-acción educativa. En primer lugar comentamos algunas de las características del conflicto socio-ambiental desde una postura hermenéutica que busca la comprensión del “campo de sentidos” que orientan la acción en dicho conflicto. En segundo lugar se justifica la utilidad del análisis de conceptos-equívocos (en alusión a los objetos-equívocos de Boltanski y Thévenot, 1991) como el famoso “desarrollo sostenible” para adentrarnos en el campo de sentido, en sus posiciones, en sus lugares comunes y en las controversias que atañen a sus significados más profundos. A partir de esta reflexión, para terminar, se propondrán de forma orientativa y escueta un modelo de actividades educativas-investigativas para la puesta en práctica de esta perspectiva analítica.
La importancia de los capitales indianos en la economía canaria, c. 1850-1936 (2006)

Una de las consecuencias economicas de las migraciones es el capital aportado por los emigrantes a sus regiones de origen, que contribuyen al proceso de crecimiento economico de las mismas. En Canarias, la bibliografia sobre esta cuestion se pronuncia en la misma direccion, pero, al igual que en otros trabajos de ambito nacional o regional, carece del adecuado soporte estadistico. En este sentido, el presente estudio centra su atencion en aquella parte de las remesas que se tradujeron en inversiones. Para ello empleamos una fuente fiscal: el impuesto sobre derechos reales y transmision de bienes. En ella se especifica el tipo y la cuantia de las operaciones, asi como el domicilio y la profesion de los inversores, lo que en ultima instancia nos ayuda a mensurar su implicacion en la modernizacion economica de las Islas. En esta ocasion abordamos el periodo transcurrido entre la aprobacion de la Ley de Puertos Francos de 1852 y la Guerra Civil espanola.
Finding misplaced items in retail by clustering RFID data (2010)

In retail, products are organized according to layout plans, so-called planograms. Compliance to planograms is important, since good product placement can significantly increase sales. Currently, retailers are about to implement RFID installations consisting of smart shelves and RFID-tagged items to support in-store logistics and processes. In principle, they can also use these installations to implement planogram compliance verification: Each antenna is supposed to detect all tagged items in one location of the planogram. But due to physical constraints, RFID tags can be identified by more than one RFID antenna. Thus, one cannot decide if an item carrying such a tag complies with the planogram. We propose a new method called RPCV which checks planogram compliance on large databases of items. It is based on the observation that the number of times an antenna identifies each item of a certain product type roughly follows a normal distribution. RPCV represents each item as a two-dimensional vector containing the number of readings both by the right antenna and by wrong ones according to the planogram. It clusters this data, separately for each product type. A cluster then is a set of correctly placed items or of misplaced ones. RPCV produces one order of magnitude less wrong predictions than current state of the art, and it requires less data to yield good predictions. A study with RFID-equipped goods and smart shelves shows that our approach is effective in realistic scenarios.
HIGH COSTS FORCE AVIONICS LINKS. (1992)

8 ASUBTITLE: THE HIGH COSTS NECESSARY TO PERFECT CIVIL FLIGHT DECKS ARE SHAPING ALLIANCES AND RISK-SHARING VENTURES OF AVIONICS MANUFACTURERS...
Lewis Acid-Promoted Alkylations of Arenes and 1-Trimethylsilylalkynes with .BETA.-Chloro-.BETA.-thiopropanoic Esters. (1991)

Ethyl 3-chloro-3-(3, 4-dichlorophenylthio)propanoate (8) reacted with electron-rich arenes in the presence of titanium tetrachloride to give the Friedel-Crafts products 10a-13a. Reactions of 8 with 1-trimethylsilylalkynes 14a-d were effected with aluminum chloride to afford the substitution products 15a-d. Some chemical transformations of the products are also described.
The quaternary structure of tetrameric hemoglobin regulates the oxygen affinity of polymerized hemoglobin (2009)

This study focuses on the effect of the initial quaternary structure of bovine hemoglobin (Hb) on the physical properties of glutaraldehyde polymerized Hb (PolyHb) solutions. Tense (T) state PolyHb was synthesized by maintaining the pO(2) of Hb before and after polymerization at 0 mm Hg. In contrast, relaxed (R) state PolyHb was generated by maintaining the pO(2) of Hb before and after polymerization to >749 mm Hg. PolyHb solutions were characterized by measuring the pO(2), methemoglobin (metHb) level, molecular weight distribution, O(2) affinity and cooperativity coefficient. The metHb level of all PolyHb solutions was low (<2%). Analysis of the molecular weight distribution of PolyHb solutions indicates that in general, the molecular weight of PolyHb solutions increased with increasing cross-link density. T-state PolyHb solutions exhibited lower O(2) affinity compared to unmodified Hb, whereas R-state PolyHb solutions exhibited higher O(2) affinity compared to unmodified Hb. In addition, the polymerization reaction resulted in a significant decrease in cooperativity that was more pronounced at higher cross-link densities. All of these results were explained in terms of the quaternary structure of Hb. Taken together, our results yield more insight into the importance Hb's quaternary structure plays in defining the physical properties of glutaraldehyde PolyHb solutions. This information will be useful in designing optimized glutaraldehyde PolyHb oxygen carriers for various applications in transfusion medicine.
Chronic cryptosporidiosis in patients with AIDS: stable remission and possible eradication after long-term, low dose azithromycin. (1998)

Long term, low dose azithromycin is well tolerated and may induce stable remission of chronic cryptosporidiosis in patients with AIDS. It may lead to probable eradication of the infection in some patients, even those with severe immunodeficiency.
A High Accuracy Signal Conditioning Method and Sensor Calibration System for Wireless Sensor in Automotive Tire Pressure Monitoring System (2007)

Tire Pressure Monitoring System (TPMS) is used to detect when one or more of the vehicle's tires is 25 percent or more below the manufacturer's recommended inflation pressure. A TPMS system consists of four wireless sensors, a high frequency (HF) antenna and a central receiver. In this paper, a high accuracy sensor incorporated with a sensor signal conditioning chip is presented. A new TPMS wireless signal conditioning method for automotive applications is developed. The signal conditioning method consists of a signal conditioning chip and a calibration algorithm. The calibration algorithm has been established by relating to measured voltage, temperature and pressure ADC reading at three different temperature ranges. Twenty-five relating coefficients are obtained from characterization test before sensor signal conditioning is applied to TPMS wireless sensor calibration. The test results show that the signal conditioning method provides higher accuracy performance for wireless sensor within a battery supply voltage range from 2.1 V to 3.6 V and a temperature range from -40degC to 125degC. The signal conditioning method also reduces the cost of wireless sensor. Moreover, a presented sensor calibration system helps to improve production efficiency and lower production costs.
<title>Laser curing of thermosetting powder coatings</title> (1995)

In this paper, we report the curing of therrnosetting powder coating with CO2 laser radiation as a substitute for conventional oven curing. The main advantages of this process are rapid curing, negligible heating of the substrate and extremely versatile processing to suit curing of different powders.
Postoperative cognitive dysfunction &ndash; current preventive strategies (2018)

Abstract: Improving trends in global health care have resulted in a steady increase in the geriatric population. However, as the population ages, surgery is being performed more frequently in progressively older patients and those with higher prevalence of comorbidities. A significant percentage of elderly patients experience transient postoperative delirium following surgery or long-term postoperative cognitive dysfunction (POCD). Increasing age, educational level, pre-existing mental health, and comorbidities are contributory factors. Comprehensive geriatric assessment provides an objective evaluation on overall medical, social, mental, and functional well-being with scope for preoperative optimization. Preventive strategies for POCD target the surgical and patient-related factors as well as the utilization of the concept of stress-free anesthesia and surgery, that is, Enhanced Recovery After Surgery. This includes care bundles and protocols for the perioperative period which improves outcomes in the elderly. Research on biomarkers of neural injury in POCD is gaining momentum. Pharmacologic agents such as acetylcholine esterase inhibitors promise to have a vital role in the management of POCD but exhibit undesired side effects. Interventions to reduce oxidative stress and neuroinflammation could prove beneficial. Preventive strategies, early recognition, and management of perioperative risk factors seems to be, by far, the best modality to deal with POCD till further progress in therapeutic interventions evolve. Keywords: cognitive dysfunction, geriatric anesthesia, neuronal injury, neuroinflammation, enhanced recovery, prehabilitation A Letter to the Editor has been published for this article.
Generation of continuous-wave 194-nm radiation by sum-frequency mixing in an external ring cavity (1983)

Several microwatts of tunable cw radiation near 194 nm in a linewidth of less than 2 MHz have been generated by sum-frequency mixing the radiation from a frequency-doubled argon-ion laser with the radiation from a ring dye laser in a crystal of potassium pentaborate. An external ring cavity resonant with the dye laser gives an enhancement factor of about 14 in the sum-frequency-generated radiation power. The Doppler-limited absorption spectrum of the 6s(2)S((1/2))-6p(2)P((1/2)) first resonance line of natural Hg II has been resolved, and the vacuum wave number for the mass-202 isotope has been measured to be 51485.904(20) cm(-1).
Preparation for elective colorectal surgery (1987)

An oral colonic lavage solution containing sodium sulfate and polyethylene glycol was compared with whole-gut irrigation using saline via a nasogastric tube in a randomized blinded study of 34 consecutive well-matched patients undergoing elective colorectal surgery. Both methods were safe and rapid. Patients receiving oral colonic lavage, however, had significantly less (P less than 0.05) water retention, overall distress, cramps, and other complaints. No significant differences were found with regard to fullness, nausea, and rectal discomfort. The bowel cleansings were equally adequate, and most patients achieved a good-to-excellent preparation. Surgical complications appeared not to be related to the preparation used, and wound sepsis were equally frequent. Oral colonic lavage proved to be the most attractive preoperative cleansing method.
Hospital care of the mentally disabled in japan (1993)

Abstract This chapter reviews hospital care in Japan, first by describing a vocational rehabilitation program at a mental hospital, and then by presenting a brief discussion of factors affecting mental hospitals.
The effect of hyperthermia and melphalan on survival of human fibroblast strains and melanoma cell lines. (1977)

The survival of four human fibroblast strains and seven malignant melanoma cell lines was determined by the colony formation method following 4-hr treatment with various concentrations of melphalan, with or without simultaneous exposure to hyperthermia (42 degrees). The two amelanotic melanoma lines (MM127 and MM253) were 10 times more sensitive to melphalan at 36 degrees than were the four fibroblast strains, the five pigmented melanoma lines being of intermediate sensitivity. Sensitivity to melphalan was usually accompanied by sensitivity to heat, while combined treatment was not only synergistic in most lines but increased the differential between fibroblasts and melanoma cells. Survival studies carried out at 36 degrees, 40 degrees, 42 degrees, and 44 degrees, using human fetal lung fibroblasts and MM253 cells, showed that 42 degrees gave the greatest differential effect and allowed reasonable survival of the normal cells. Time-survival comparison of the same two lines demonstrated that there was no advantage in prolonging hyperthermia unless melphalan was used. A more convenient method for determination of survival was developed based on thymidine uptake of colonies grown in Linbro wells.
Fitting Models to Composite Materials Fatigue Data (1981)

A new procedure for fitting fatigue models (consisting of a deterministic equation defining the shape of the S-N curve and a probabilistic description of the data scatter) is presented. The procedure consists of (1) transforming the fatigue data into equivalent static strength data by using the deterministic equation in the fatigue model with unknown parameters, (2) obtaining the maximum-likelihood estimates for the parameters of the (two-parameter Weibull) distribution describing the equivalent static strength data, and (3) repeating Steps 1 and 2 until the largest maximum-likelihood estimate of the shape parameter is obtained. The procedure can handle runouts and tab failures through progressive censoring. Finally, the procedure is well defined when small fatigue data samples are available.
Optimization of parameters for maximization of plateletpheresis and lymphocytapheresis yields on the haemonetics model V50 (1986)

Automated apheresis techniques afford the opportunity of tailoring collection parameters for each donor's hematologic profile. This study investigated the effect of various settings of the volume offset parameter as utilized in the Haemonetics Model V50 instrumentation during platelet- and lymphocytapheresis to optimize product yield, purity, and collection efficiency. In both types of procedures, increased product yield could be obtained by using an increased volume offset for donors having lower hematocrits. This improvement was related to an increase in collection efficiency. Platelet products also contained fewer contaminating lymphocytes with this approach. Adjustment of the volume offset parameter can be utilized to make the most efficient use of donors and provide higher-quality products.