gebhart/patrepeval huggingface dataset:
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (2014)

Many predictive deadlock detection techniques analyze multithreaded programs to suggest potential deadlocks (referred to as cycles or deadlock warnings). Nonetheless, many of such cycles are false positives. On checking these cycles, existing dynamic deadlock confirmation techniques may frequently encounter thrashing or result in a low confirmation probability. This paper presents a novel technique entitled ConLock to address these problems. ConLock firstly analyzes a given cycle and the execution trace that produces the cycle. It identifies a set of thread scheduling constraints based on a novel should-happen-before relation. ConLock then manipulates a confirmation run with the aim to not violate a reduced set of scheduling constraints and to trigger an occurrence of the deadlock if the cycle is a real deadlock. If the cycle is a false positive, ConLock reports scheduling violations. We have validated ConLock using a suite of real-world programs with 11 deadlocks. The result shows that among all 741 cycles reported by Magiclock, ConLock confirms all 11 deadlocks with a probability of 71%−100%. On the remaining 730 cycles, ConLock reports scheduling violations on each. We have systematically sampled 87 out of the 730 cycles and confirmed that all these cycles are false positives.
Methodology for Synthesizing Crystalline Metallosilicates with Expanded Pore Windows Through Molecular Alkoxysilylation of Zeolitic Lamellar Precursors (2008)

Postalkoxysilylation with diethoxydimethylsilane has been carried out on the zeolitic lamellar precursors of various topologies such as MWW, FER, CDO and MCM-47 aiming to construct new crystalline structures with expanded pore apertures between the layers. The silylation process and the crystalline and pore structures of the resulting materials have been investigated with the techniques of XRD, IR, (13)C and (29)Si MAS NMR, ICP, SEM, HRTEM, elemental analyses, and N 2 adsorption. In contrast to forming known three-dimensional zeolite structures after direct calcination of the lamellar precursors, the silylation led to new crystalline structures with opener pores, as evidenced by the shift of layer-related diffractions to the lower-angle region in XRD patterns and the enlarged interlayer pores found by HRTEM images. After optimizing the treatment conditions, particularly the amount of silane agent, a maximum and homogeneous silylation was realized, which guaranteed the phase purity in interlayer expanded zeolites. The expanded structures were well preserved after calcination at 823 K or reflux in water for 1 to 2 weeks, indicating a high thermal stability and also a hydrothermal stability. The interlayer expanded zeolites prepared from the metallosilicate precursors of MWW topology exhibited higher catalytic activities in the redox and solid acid-catalyzed reactions of bulky molecules than that of their counterparts with conventional MWW topology.
Photoacoustic drug delivery: the effect of laser parameters on the spatial distribution of delivered drug (1995)

Photoacoustic drug delivery is a technique for delivering drugs to localized areas by timing laser-induced pressure transients to coincide with a bolus of drug. This study explores the effects of target material, laser energy, absorption coefficient, fiber size, repetition rate, and number of pulses on the spatial distribution of delivered drug. A microsecond flash-lamp pumped dye laser delivered 30-100 mJ pulses through optical fibers with diameters of 300-1000 micrometers . Vapor bubbles were created 1-5 mm above clear gelatin targets submerged in mineral oil containing a hydrophobic dye (D&C Red#17). The absorption coefficient of the oil-dye solution was varied from 50-300 cm<SUP>-1</SUP>. Spatially unconfined geometry was investigated. We have found that while the dye can be driven a few millimeters into the gels in both the axial and radial directions, the penetration was less than 500 micrometers when the gel surface remained macroscopically undamaged. Increasing the distance between the fiber tip and target, or decreasing the pulse energy reduced the extend of the delivery.
Gate-overlapped lightly doped drain poly-Si thin-film transistors for large area-AMLCD (1998)

We have fabricated a gate-overlapped lightly doped drain (GO-LDD) polycrystalline silicon thin-film transistor (poly-Si TFT) applicable for large area AMLCD by employing the uniform and low-temperature doping techniques, such as ion shower doping and in situ doping. Experimental results show that the leakage current of the proposed TFT's is reduced by more than the magnitude of two orders, compared with that of conventional nonoffset TFT, while the ON current is scarcely decreased. It is verified by the device simulator that the electron concentration in the LDD region is increased under the ON state and decreased under the OFF state due to the field plate with gate potential over the LDD region. Furthermore, the vertical peak electric field in the LDD region is decreased significantly by the extended field plate potential during the OFF state. It is observed that the gate bias stress degrades significantly the subthreshold slope of the ion shower doped GO-LDD TFT's at the low drain bias but does not degrade the device characteristics of those with in situ doping due to the high-quality TEOS SiO/sub 2/ interlayer.
A DESCRIPTION OF THE MECHANISMS OF IN-SITU THERMAL DESTRUCTION (ISTD) REACTIONS (2002)

Contamination of soil, sediments and groundwater by persistent and recalcitrant organic compounds such as chlorinated aromatics, polynuclear aromatics, heterocyclics and nitroaromatics is a widespread legacy of modern industrial, commercial and military
Intramolecular hydrogen bonding and conformational studies of bridged thebaine and oripavine opiate narcotic agonists and antagonists (1979)

A conformational study of a series of oripavine derivatives is reported using the PCILO semiempirical quantum mechanical method. Low-energy conformers of carbinol substituents on C7-C19-R1R2OH are found with and without intramolecular hydrogen bonding to the C6-OCH3 group. The relative energies of these conformers depend on the R1 and R2 groups and the diastereoisomerism of the alcohol. The results are consistent with available NMR and IR studies of intramolecular hydrogen bonding and with crystallographic data. The importance of interaction between specific conformations of C19 carbinols and a lipophilic receptor site is suggested. A hypothesis is formulated to explain observed differences in pharmacological activity between diastereoisomers at C19 in the oripavine series and also to explain how these diastereoisomers alter the established pattern of N-substituent effects on relative agonist/antagonist potency found in other rigid opiates. By contrast, conformational studies of the C19 optical isomers of the C7-C8 etheno form of buprenorphine lead to the prediction of greatly reduced intrinsic potency differences between C19 diastereoisomers for this compound and for buprenorphine itself.
Thermoinitiated Cationic Polymerization of Styrene with a Pyridinium Salt (1988)

Abstract N-Benzyl-p-cyanopyridinium hexafluoroantimonate behaved as a thermally latent catalyst to initiate the cationic polymerization of styrene at 120 °C leading to polystyrene possessing a bimodal molecular weight distribution.
Stabilization of pre‐optimized multicolor antibody cocktails for flow cytometry applications (2016)

The approach we describe here, the Lyotube, facilitates the improvement and implementation of standardization measures in clinical settings and in multi-site studies, a useful tool which can also be applied to determining the efficacy and safety of candidate therapeutics and vaccines. © 2016 International Clinical Cytometry Society.
High side n-channel and bidirectional Trench Lateral Power MOSFETs on one chip for DCDC converter ICs (2008)

Trench lateral power MOSFETs (TLPMs) are suitable for one chip power ICs due to its low specific on- resistance and ease of fabrication with CDMOS devices. In our smart power IC process we integrated both the high side n- channel and bidirectional TLPMs in one chip. In addition, better device characteristics of both devices were obtained with the process integration technology. The high side MOSFET shows 20 mOmegamm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> specific on-resistance with 25 V breakdown voltage and excellent reliability. The bidirectional MOSFET shows 7.0 mOmegamm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> specific on-resistance, which represents 67% of the current mass production value, with a breakdown voltage of 25 V.
Measurement of the microwave dielectric constant for low-loss samples with finite thickness using open-ended coaxial-line probes (1993)

This work addresses the effect of finite sample thickness on microwave dielectric constant measurements for thin, planar, low-loss samples using the open-ended coaxial-line probe method. Detailed measurements of the dielectric constant were carried out on a wide range of thicknesses of air samples which were backed by infinitely thick teflon and alumina dielectric media. The measurements were made at room temperature for various (50 Ω) coaxial-line dimensions, microwave frequencies 4–8 GHz, and power levels near a fraction of a mW. The results provide strong support for previously published theoretical calculations based on a boundary value problem which uses a spectral domain formulation for the aperture fields. From thin, planar samples, values of 10.4±0.5 and 25.9±1.3 were obtained at 5 GHz and 300 K for the bulk dielectric constant of MgO and LaAl2O3, respectively. The applicability of a simple empirical model based on an exponential fit is discussed.
A Digital Latching Ferrite Strip Transmission Line Phase Shifter (1965)

This paper is concerned with the development of a new type of latching phase shifter which combines submicrosecond switching with a compact strip transmission line structure. Digital increments of nonreciprocal phase shift are obtained by "latching" or switching the magnetization of appropriate square loop garnet or ferrite materials from one remanent state to another. The following data have been obtained for a four-bit, C-band model utilizing yttrium iron garnet (4/spl pi/M/sub 8/ = 1600 G): Center Frequency---5.45 Gc/s Phase Deviation---/spl les//spl plusmn/3 percent over an 8 percent frequency band Insertion Loss--- <0.9 db VSWR--- <1.50 Switching Time--- <0.3/spl mu/s with a 130 V, 13 amp pulse Switching Energy--- <200 /spl mu/J for 180/spl deg/ bit Length--- <6 inches.
A hybrid analytical-simulation procedure for performance evaluation in M-QAM-OFDM schemes in presence of nonlinear distortions (1998)

Presents a hybrid analytical-simulation procedure for performance evaluation in M-ary quadrature amplitude modulation (M-QAM) orthogonal frequency-division multiplexing (OFDM) digital radio systems in the presence of nonlinear distortions caused by high-power amplifiers (HPAs). The present analysis is carried out considering an additive white Gaussian noise (AWGN) transmission channel. It is shown that, in the case of an OFDM system with a large number of subcarriers, the distortion on the received symbol caused by the amplifier can be modeled, with good approximation, as a "Gaussian nonlinear noise" added to the received symbol. This important result allows a hybrid analytical-simulation approach to solve the problem of performance evaluation. In practice, the simulation aspect is only used to estimate means and variances of the "nonlinear noise". Such estimated parameters are subsequently used to evaluate analytically the system bit-error rate (BER) using an expression, which takes into account both AWGN and "nonlinear noise" effects. The advantage of the proposed method lies in the strongly reduced computational time. In fact, an accurate estimate of the "nonlinear noise" parameters requires only few iterations when compared with a classical semianalytical approach. This is especially true when low BER values (<10/sup -4/) have to be estimated. The proposed procedure is applied to evaluate M-QAM-OFDM performance in the presence of nonlinear distortions caused by traveling-wave tube (TWT) and solid-state-power (SSP) amplifiers.
Enhancing results of microarray hybridizations through microagitation. (2003)

Protein and DNA microarrays have become a standard tool in proteomics/genomics research. In order to guarantee fast and reproducible hybridization results, the diffusion limit must be overcome. Surface acoustic wave (SAW) micro-agitation chips efficiently agitate the smallest sample volumes (down to 10 microL and below) without introducing any dead volume. The advantages are reduced reaction time, increased signal-to-noise ratio, improved homogeneity across the microarray, and better slide-to-slide reproducibility. The SAW micromixer chips are the heart of the Advalytix Array-Booster, which is compatible with all microarrays based on the microscope slide format.
Dual tissue-specific expression of apo-AII is directed by an upstream enhancer (1987)

Apolipoprotein-AII (apo-AII) is one of a family of evolutionarily related proteins which play a crucial role in lipid transport and metabolism. The serum levels of human apo-AII have been shown to be inversely correlated to the incidence of coronary heart disease and its expression to be limited to the liver and intestine. Here we demonstrate that this dual tissue-specificity involves DNA sequences located in a 259 bp region centred 782 bp upstream from the transcription initiation site. These sequences function in an orientation-independent manner and are absolutely required for transcription from the apo-AII promoter. The regulatory region contains sequences which are homologous to the apo-AI, beta-globin and immunoglobulin gene promoters and to the immunoglobulin heavy-chain enhancer.
A novel <i>k</i>‐space trajectory measurement technique (1998)

A new k-space trajectory measurement technique is proposed and demonstrated. This technique measures the k-space trajectory, in seconds, using only a few readout lines, using phase values of acquired MR signals. As a result of the technique's efficiency, k-space trajectory measurement using patient data becomes possible. The utility of this techniques is demonstrated in phantom and human studies at 4.1 T.
The structural response of a rail accelerator (1984)

The transient response of a 0.4 by 0.6 cm rectangular bore rail accelerator was analyzed using a three-dimensional finite-element code. Results are presented for the case of a 210-kA current input and 5-cm arc length. Typically, the copper rail deflected to a peak value of 0.08 mm in compression and then oscillated at an amplitude of 0.02 mm. Simultaneously the insulating side wall of glass fabric base, epoxy resin laminate (G-10) was compressed to a peak value of 0.13 mm and rebounded to a steady state in extension. Projectile pinch or blow-by due to the rail (or side-wall) extension or compression, respectively, can be identified by examining the time history of the rail (or side-wall) displacement. For the case presented, the effect of blow-by was most significant at the side wall characterized by mm-size displacement in compression. Dynamic stress calculations indicate that the G-10 supporting material behind the rail is subjected to over 21 MPa - at which the G-10 could fail if the laminate was not carefully oriented. Results for a polycarbonate resin (Lexan) side wall show much larger displacements and stresses than for G-10. Therefore the tradeoff between the transparency of Lexan and the mechanical strength of G-10 for side-wall material is obvious. Displacement calculations from the modal method are smaller than the results from the direct integration method by almost an order of nagnitude, because the high-frequency effect is neglected. However, this effect is significant and dominating for a highly-impulsive, wave-propagation problem such as the rail accelerator structure.
Toward Controlling Myopia Progression? (1999)

1Department of Bioscience, New England College of Optometry, Boston, Massachusetts 2Department of Physiological Optics, University of Alabama at Birmingham, Birmingham Alabama
A new pole slipping protection algorithm for dispersed storage and generation using the equal area criterion (1995)

The probability of pole slipping of dispersed storage and generation (DSG) synchronous machines is being viewed with concern, since this can damage the machine as well as promote power system instability. This is particularly the case for small and medium sized machines because their low inertia and high resistance make them inherently more unstable. Research has therefore been directed into new techniques for detecting pole slipping and the formulation of protection algorithms which can be included into an integrated microcomputer based protection scheme for these generators. This paper describes a method for detecting pole slipping using power measurements taken at the generator's terminals. This technique has been shown to correctly detect pole slipping using both computer simulation and a laboratory model power system. The algorithm remains stable for recoverable swing conditions and power system faults.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Influence d'un revetement de sol reflechissant la lumiere sur le comportement de la vigne et la qualite des mouts et des vins (2004)

L'effet d'un revetement de sol aluminise reflechissant la lumiere et applique sous les rangs de vigne a ete etudie dans le cadre d'un essai sur Gamay conduit de 2000 a 2002 dans le domaine experimental de la Station federale de Changins, a Pully (VD). Cette technique a entraine une amelioration sensible du microclimat lumineux du feuillage et des grappes. Le microclimat thermique des grappes en phase de maturation, en revanche, n'a ete que relativement peu influence. Aucun effet significatif sur la vigueur et la fertilite de la vigne n'a pu etre note. Cette technique a entraine la production de raisins legerement plus sucres et plus pauvres en acide malique. Aucune difference n'a pu etre relevee dans la composition et la qualite organoleptique des vins.
[Late results after 86 thumb reimplantations]. (1979)

The late results of replantation of thumbs have shown that with the microsurgery we could receive better results than with secondary reconstruction of a thumb.
Polymerization of Ethylene by Silica‐Supported Dinuclear Cr<sup>III</sup> Sites through an Initiation Step Involving CH Bond Activation (2014)

The insertion of an olefin into a preformed metal-carbon bond is a common mechanism for transition-metal-catalyzed olefin polymerization. However, in one important industrial catalyst, the Phillips catalyst, a metal-carbon bond is not present in the precatalyst. The Phillips catalyst, CrO3 dispersed on silica, polymerizes ethylene without an activator. Despite 60 years of intensive research, the active sites and the way the first CrC bond is formed remain unknown. We synthesized well-defined dinuclear Cr(II) and Cr(III) sites on silica. Whereas the Cr(II) material was a poor polymerization catalyst, the Cr(III) material was active. Poisoning studies showed that about 65 % of the Cr(III) sites were active, a far higher proportion than typically observed for the Phillips catalyst. Examination of the spent catalyst and isotope labeling experiments showed the formation of a Si-(μ-OH)-Cr(III) species, consistent with an initiation mechanism involving the heterolytic activation of ethylene at Cr(III) O bonds.
An assessment of screening strategies for fragile X syndrome in the UK (2001)

Unlike cytogenetic approaches, DNA analysis can reliably determine the FMR1 CGG repeat number and detect full mutations; however, a combination of polymerase chain reaction and Southern blotting tests is required, which limits high throughput. There are UK population-based data on FMR1 repeat sizes of up to 60 repeats but insufficient to provide a reliable estimate of the prevalence of premutations (approximately 60-200 repeats). The few data and estimates in the literature of women carriers of the premutation range from 1 in 246 to 1 in 550. Two UK DNA-based estimates of the prevalence of males with the full mutation are 1 in 4090 (Coventry) and 1 in 5530 (Wessex). There are reasonable family-based data for the risk of expansion to a full mutation for the larger premutations but in the 50-69 repeat range the estimates are less secure. (ABSTRACT TRUNCATED)
Network latency prediction for personal devices: Distance-feature decomposition from 3D sampling (2015)

With an increasing popularity of real-time applications, such as live chat and gaming, latency prediction between personal devices including mobile devices becomes an important problem. Traditional approaches recover all-pair latencies in a network from sampled measurements using either Euclidean embedding or matrix factorization. However, these approaches targeting static or mean network latency prediction are insufficient to predict personal device latencies, due to unstable and time-varying network conditions, triangle inequality violation and unknown rank of latency matrices. In this paper, by analyzing latency measurements from the Seattle platform, we propose new methods for both static latency estimation as well as the dynamic estimation problem given 3D latency matrices sampled over time. We propose a distance-feature decomposition algorithm that can decompose latency matrices into a distance component and a network feature component, and further leverage the structured pattern inherent in the 3D sampled data to increase estimation accuracy. Extensive evaluations driven by real-world traces show that our proposed approaches significantly outperform various state-of-the-art latency prediction techniques.
Novel Approach to the Synthesis of Microwave Diplexers (2006)

A procedure for synthesizing microwave diplexers is presented. It is based on the evaluation of the characteristic polynomials of the diplexer including the three-port junction connecting the TX and RX filters (two types of junctions are considered, suitable for waveguide and coaxial diplexers modeling). The novel method is particularly suited for small separation between the two diplexer channels: as known, this is the most difficult case in the diplexers design, due to the strong interaction between the TX and RX filters. The proposed synthesis approach offers noticeable design flexibility, as it allows the synthesis of the two composing filters independently of their connections to the diplexer, taking into account at the same time the interaction produced in the diplexer junction. Moreover the choice of the filters topology is absolutely arbitrary (the number of poles and the transmission zeros of the two filters have to be specified). The proposed method has been validated by the design and fabrication of a diplexer for global system for mobile communications base stations
ChemInform Abstract: Chiral Bifunctional Organocatalysts in Asymmetric Aza‐Morita—Baylis—Hillman Reactions of Ethyl (Arylimino)acetates with Methyl Vinyl Ketone and Ethyl Vinyl Ketone. (2008)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 200 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.