gebhart/patrepeval huggingface dataset:
Static data race detection for concurrent programs with asynchronous calls (2009)

A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threads which perform computation by dispatching tasks to other threads via asynchronous function calls. These asynchronous function calls are implemented using function objects, which are essentially wrappers containing a pointer to the function that should be executed on a particular thread with the corresponding arguments. In many cases, the arguments, in turn, contain function objects which serve as callbacks. Verifying such programs which involves reasoning about complex concurrency constructs comprising function pointers and callback functions is extremely tricky especially in the presence of recursion. In this paper, we present a fast and accurate static data race detection technique for multi-threaded C programs with asynchronous function calls and demonstrate its application to real-life software.
Development of Cast Alumina-forming Austenitic Stainless Steel Alloys for Use in High Temperature Process Environments (2015)

Abstract There is significant interest in the development of alumina forming, creep resistant alloys for use in various industrial process environments. It is expected that these alloys can be fabricated into components for use in these environments through centrifugal casting and welding. Based on the successful earlier studies on the development of wrought versions of Alumina Forming Austenitic (AFA) alloys, new alloy compositions have been developed for cast products. These alloys achieve good high-temperature oxidation resistance due to the formation of protective Al2O3 scales while multiple second-phase precipitation strengthening contributes to excellent creep resistance. This work will summarize the results on the development and properties of a centrifugally cast AFA alloy. This paper highlights the strength, oxidation resistance in air and water vapor containing environments, and creep properties in the as-cast condition over the temperature range of 750°C to 900°C in a centrifugally cast heat. Preliminary results for a laboratory cast AFA composition with good oxidation resistance at 1100°C are also presented.
Structural Optimization of a Dual-Sensing Module for Temperature and Pressure Measurement in Injection Mold Cavity (2007)

This paper presents the design and optimization of a temperature-pressure sensing module that is structurally integrated into an injection mold. The sensor extracts energy from the polymer melt pressure differential during the injection molding process and uses ultrasonic pulses as the wireless information transmission carrier. The dimension of the piezo ceramic rings that scavenge energy from the mold pressure change is optimized to minimize the volume of the sensor while maintaining the minimum Signal-to-Noise Ratio (SNR) required for reliable signal reception. An analytical expression of the optimal dimension is presented. Based on the optimized design, the sensor module package, together with the injection mold steel and the polymer melt that flows over the sensor into the mold cavity, was modeled using the finite element method. To quantify the behavior of polymer melt and its effect on sensors output, a coupled fluid-structure interaction analysis was performed to examine the mold-melt interface, by using the solution-looping and mesh-morphing techniques. A case study of the sensor design for a 40 mm thick injection mold was investigated by using the presented optimization method and FEA model. Results show that the volume of the piezo stack can be reduced to 0.7 cm3 while meeting the minimum SNR requirement. The minimum insulator thickness of 1 mm is presented by the FEA model to maintain the thermal induced error below 0.5%.
Scene-Aware Audio Rendering via Deep Acoustic Analysis (2020)

We present a new method to capture the acoustic characteristics of real-world rooms using commodity devices, and use the captured characteristics to generate similar sounding sources with virtual models. Given the captured audio and an approximate geometric model of a real-world room, we present a novel learning-based method to estimate its acoustic material properties. Our approach is based on deep neural networks that estimate the reverberation time and equalization of the room from recorded audio. These estimates are used to compute material properties related to room reverberation using a novel material optimization objective. We use the estimated acoustic material characteristics for audio rendering using interactive geometric sound propagation and highlight the performance on many real-world scenarios. We also perform a user study to evaluate the perceptual similarity between the recorded sounds and our rendered audio.
Bismaleimide Copolymer Matrix Resins (1987)

Graphite composites, prepared from 1:1 copolymer of two new bismaleimides based on N,N'-m-phenylene-bis(m-amino-benzamide) structure have mechanical properties superior to those prepared from other bismaleimide-type resins. New heat-resistant composites replace metal in some structural applications. Monomers used to form copolymers with superior mechanical properties prepared by reaction of MMAB with maleic or citraconic anhydride.
Dietary Thyrotropin-Releasing Hormone Stimulates Growth Rate and Increases the Insulin: Glucagon Molar Ratio of Broiler Chickens (1989)

The effects of thyroid manipulation on growth, feed efficiency, and plasma hormone levels were determined in rapidly growing chickens. Beginning at 3 weeks of age, eight broiler cockerels were provided with control feed (CF) or feed containing either 1 ppm of triiodothyronine (T3), 1 ppm of thyroxine (T4), 0.3% propylthiouracil (PTU), or 5 ppm of thyrotropin-releasing hormone (TRH) for 3 weeks. Blood samples were taken at 4, 5, and 6 weeks for determination of plasma levels of growth hormone, insulin-like growth factor, T3, T4, insulin, glucagon, glucose, and nonesterified fatty acids. Dietary TRH increased (P less than 0.05) the growth rate of chickens by 14% when compared with the CF group. Plasma growth hormone levels were reduced (P less than 0.05) 65% by dietary T3 and 33% by treatment with either T4 or TRH when compared with the CF group. Plasma insulin-like growth factor levels were 16% lower (P less than 0.05) in PTU-fed birds than the other treatment groups. Plasma T3 levels were elevated (P less than 0.05) 3-fold by dietary T3 and 38% by TRH whereas plasma T3 in the PTU group was 38% below the average of CF birds. Plasma T4 levels were increased (P less than 0.05) by 12-fold in T4-fed birds, decreased 48% in TRH-fed birds, and nondetectable in birds treated with either T3 or PTU. Compared with the other treatments, dietary PTU increased (P less than 0.01) plasma insulin levels 4.3-fold whereas TRH provided a 2.7-fold increase in plasma insulin. Plasma glucagon levels were 26% higher (P less than 0.05) in T3-fed birds than those fed either T4 or PTU. These observations indicate that thyroid activity plays an important role in regulating secretion of GH and the pancreatic hormones. Furthermore, our study demonstrates the potential use of TRH as an orally active growth promoter for poultry.
Transformer shielding technique for common mode noise reduction in isolated converters (2013)

In isolated converter, transformer is a main path of common mode current. Methods of how to reduce the noise through transformer have been widely studied. One effective technique is using shield between primary and secondary winding. In this paper, EMI noise transferring path and EMI model for typical isolated converters are analyzed. And the survey about different methods of shielding is discussed. Their pros and cons are analyzed. Then the balance concept is introduced and our proposed double shielding using balance concept for wire winding transformer is raised. It can control the parasitic capacitance accurately and is easy to manufacturing. Next, a newly proposed single layer shielding for PCB winding transformer is discussed. The experiment results are provided to verify the methods.
Robust Active Perception via Data-association aware Belief Space planning (2016)

We develop a belief space planning (BSP) approach that advances the state of the art by incorporating reasoning about data association (DA) within planning, while considering additional sources of uncertainty. Existing BSP approaches typically assume data association is given and perfect, an assumption that can be harder to justify while operating, in the presence of localization uncertainty, in ambiguous and perceptually aliased environments. In contrast, our data association aware belief space planning (DA-BSP) approach explicitly reasons about DA within belief evolution, and as such can better accommodate these challenging real world scenarios. In particular, we show that due to perceptual aliasing, the posterior belief becomes a mixture of probability distribution functions, and design cost functions that measure the expected level of ambiguity and posterior uncertainty. Using these and standard costs (e.g.~control penalty, distance to goal) within the objective function, yields a general framework that reliably represents action impact, and in particular, capable of active disambiguation. Our approach is thus applicable to robust active perception and autonomous navigation in perceptually aliased environments. We demonstrate key aspects in basic and realistic simulations.
Efficient Cell-Specific Beamforming for Large Antenna Arrays (2021)

We propose an efficient method for designing broad beams with spatially flat array factor and efficient power utilization for cell-specific coverage in communication systems equipped with large antenna arrays. To ensure full power efficiency, the method is restricted to phase-only weight manipulations. Our framework is based on the discovered connection between dual-polarized beamforming and polyphase Golay sequences. Exploiting this connection, we propose several methods for array expansion from smaller to larger sizes, while preserving the radiation pattern. In addition, to fill the gaps in the feasible array sizes, we introduce the concept of <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\epsilon $ </tex-math></inline-formula> -complementarity that relaxes the requirement on zero side lobes of the sum aperiodic autocorrelation function of a sequence pair. Furthermore, we develop a modified Great Deluge algorithm (MGDA) that finds <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\epsilon $ </tex-math></inline-formula> -complementary pairs of arbitrary length, and hence enables broad beamforming for arbitrarily-sized uniform linear arrays. We also discuss the extension of this approach to two-dimensional uniform rectangular arrays. Our numerical results demonstrate the superiority of the proposed approach with respect to existing beam-broadening methods.
Architecture of a Bi-Directional Bluetooth-UPnP Proxy (2007)

The current service- and device discovery protocols are not platform- and network independent. Therefore, proxy servers will be needed to extend the range of IP-based discovery protocols to non-IP domains. We developed an architecture of a proxy that enables UPnP devices and services to be discovered on the Bluetooth network and vice versa, and allows Bluetooth devices and UPnP control points to access and utilize services located on devices in the other network. We managed to keep all functionality needed for effective proxying running on a single device, e.g. the mobile phone or the Residential Gateway.
<title>Development of efficient monolithic surface-emitting laser diode arrays (Invited Paper)</title> (1992)

Monolithic surface—emitting laser diodes (SELDs) and laser diode arrayswith 45° micromirrors offer great promise for both coherent and incoherent(solid state laser pumping) applications. Four basic types of SELDs havebeen developed to date, and are illustrated in Figure 1. Figure 1 (a) and(b) devices are of the junction-down configuration, while Figure 1 (c) and(d) shows SELDs in the junction-up configuration. The former two types ofdevices have the heat-generating active region in close proximity to theheat sink, while the latter two have a thick (100 .Lm) GaAs substratebetween the active region and the device heat sink. Since GaAs is a poor
Cloning and characterization of the gene as a selectable marker (2005)

We describe the isolation and characterization of a new biosynthetic gene, MET2, from the methylotrophic yeast Pichia pastoris. The predicted product of PpMET2 is significantly similar to its Saccharomyces cerevisiae counterpart, ScMET2, which encodes homoserine-O-transacetylase. The ScMET2 was able to complement the P. pastoris met2 strain; however, the converse was not true. Expression vectors based on PpMET2 for the intracellular and secreted production of foreign proteins and corresponding auxotrophic strains were constructed and tested for use in heterologous expression. The expression vectors and corresponding strains provide greater flexibility when using P. pastoris for recombinant protein expression.
Superhemophobic titania nanotube array surfaces for blood contacting medical devices (2017)

Appropriate hemocompatible response for blood-contacting medical devices is necessary to prevent device failure.
Identification of two new protective pre-erythrocytic malaria vaccine antigen candidates (2011)

This work identifies two promising malaria vaccine antigen candidates and suggests that a multi-antigen vaccine may be more efficacious than a single antigen vaccine.
Mass spectrometry-based identification of a B-cell maturation antigen-derived T-cell epitope for antigen-specific immunotherapy of multiple myeloma (2020)

The B-cell maturation antigen (BCMA) is currently being evaluated as promising tumor-associated surface antigen for T-cell-based immunotherapy approaches, such as CAR T cells and bispecific antibodies, in multiple myeloma (MM). Cytotoxic T cells bearing BCMA-specific T-cell receptors might further allow targeting HLA-presented antigens derived from the intracellular domain of BCMA. By analyzing a mass spectrometry-acquired immunopeptidome dataset of primary MM samples and MM cell lines for BCMA-derived HLA ligands, we identified the naturally presented HLA-B*18-restricted ligand P(BCMA)<sub>B*18</sub>. Additionally, P(BCMA)<sub>B*18</sub> was identified on primary CLL samples, thereby expanding the range for possible applications. P(BCMA)<sub>B*18</sub> induced multifunctional BCMA-specific cells de novo from naïve CD8<sup>+</sup> T cells of healthy volunteers. These T cells exhibited antigen-specific lysis of autologous peptide-loaded cells. Even in the immunosuppressive context of MM, we detected spontaneous memory T-cell responses against P(BCMA)<sub>B*18</sub> in patients. By applying CTLA-4 and PD-1 inhibition in vitro we induced multifunctional P(BCMA)<sub>B*18</sub>-specific CD8<sup>+</sup> T cells in MM patients lacking preexisting BCMA-directed immune responses. Finally, we could show antigen-specific lysis of autologous peptide-loaded target cells and even MM.1S cells naturally presenting P(BCMA)<sub>B*18</sub> using patient-derived P(BCMA)<sub>B*18</sub>-specific T cells. Hence, this BCMA-derived T-cell epitope represents a promising target for T-cell-based immunotherapy and monitoring following immunotherapy in B-cell malignancy patients.
Serum biomarkers provide an accurate method for diagnosis of atrophic gastritis in a general population: The Kalixanda study (2008)

Overall agreement between histology and serological biomarkers in diagnosing corpus atrophy was 96% (CI 95%: 95-97%). Sensitivity and specificity of markers for atrophic gastritis were 71% (CI 68-74%) and 98% (CI 97-99%) respectively, corresponding to 69% (CI 95%: 66-72%) and 98% (95% CI 97-99%) positive and negative predictive values. The positive likelihood ratio was 35.5 (95% CI: 35.0-36.0%). In subgroups with normal stomachs, H. pylori non-atrophic gastritis and H. pylori-negative gastritis by histology, the prevalence of corpus atrophy diagnosed with the biomarkers was 0.8% and 4.9%, respectively. In total, 6.6% of subjects in the study population had corpus atrophy according to the serological biomarkers. CONCLUSIONS. Serological biomarkers show a high degree of accuracy as a non-invasive method to diagnose corpus atrophy, which is common in the general population.
Synthesis, Molecular Structure and Reactions of Stable Square‐Planar 16‐Electron Ruthenium(0) Complexes: <i>trans</i>‐[RuCl(NO)(PR<sub>3</sub>)<sub>2</sub>]<sup>☆</sup> (1996)

Abstract The reduction of [RuCl 3 (NO)(PPh 3 ) 2 ] ( 1 ) with Zn/Cu generates [RuCl(NO)(PPh 3 ) 2 ] that by ligand exchange with PR 3 (R 3  i Pr 3 , i Pr 2 Ph) affords the stable 16‐electron ruthenium (0) complexes trans ‐[RuCl(NO)(PR 3 ) 2 ] ( 2, 3 ). The X‐ray structural analysis of 2 confirmed the square‐planar geometry around the metal center. HCl oxidatively adds to 2 and 3 to give the octahedral ruthenium(II) compounds [RuHCl 2 (NO)(PR 3 ) 2 ] ( 4, 5 ). On treatment of 2 and 3 with CO, TCNE, CH 2 (generated from CH 2 N 2 ) and O 2 , five‐coordinate 1:1 adducts [RuCl(NO)(L)(PR 3 ) 2 ] ( 6–12 ) are formed. The dioxygen complexes 11 and 12 react with SO 2 to afford the sulfatoruthenium(II) derivatives [RuCl(NO){η 2 ( O,O )‐O 2 SO 2 }(PR 3 ) 2 ] ( 13, 14 ). Compound 13 (R 3  P i Pr 3 ) has been characterized by X‐ray structural analysis.
Self‐Healing, Fully Functional, and Multiparametric Flexible Sensing Platform (2015)

A non-biological and flexible self-healing platform has tailored sensitivity toward one or a combination of pressure, strain, gas analytes, and temperature. For demonstration, a complete self-healing device is described in the form of a bendable and stretchable chemiresistor, where every part is self-healing.
Analysis and Controlled Synthesis of Inhomogeneous Textures (2017)

Many interesting real-world textures are inhomogeneous and/or anisotropic. An inhomogeneous texture is one where various visual properties exhibit significant changes across the texture's spatial domain. Examples include perceptible changes in surface color, lighting, local texture pattern and/or its apparent scale, and weathering effects, which may vary abruptly, or in a continuous fashion. An anisotropic texture is one where the local patterns exhibit a preferred orientation, which also may vary across the spatial domain. While many example-based texture synthesis methods can be highly effective when synthesizing uniform (stationary) isotropic textures, synthesizing highly non-uniform textures, or ones with spatially varying orientation, is a considerably more challenging task, which so far has remained underexplored. In this paper, we propose a new method for automatic analysis and controlled synthesis of such textures. Given an input texture exemplar, our method generates a source guidance map comprising: (i) a scalar progression channel that attempts to capture the low frequency spatial changes in color, lighting, and local pattern combined, and (ii) a direction field that captures the local dominant orientation of the texture. Having augmented the texture exemplar with this guidance map, users can exercise better control over the synthesized result by providing easily specified target guidance maps, which are used to constrain the synthesis process.
Low-power CMOS VCO and its divide-by-2 dividers with quadrature outputs for 5 GHz/2.5 GHz WLAN transceivers (2003)

A low power CMOS VCO and its divide-by-2 dividers with quadrature outputs for 5 GHz/2.5 GHz dual band WLAN transceivers are proposed. The VCO is a differential LC oscillator based on an on-chip symmetrical spiral inductor and differential diode. Divide-by-2 dividers with quadrature outputs are implemented by using ILFD (injection-locked frequency divider) techniques. The ILFD structure is similar to that of the VCO to keep its tracking range wide enough. Inductors are optimized by using ASITIC, and differential diodes are designed by careful layout. Due to differential LC tanks and ILFD techniques, power consumption is low. The circuit is implemented in a 0.18 /spl mu/m CMOS process. HSPICE and SpectreRF simulations show that the proposed circuit could produce 5 GHz/2.5 GHz dual band LO signals with a wide tuning range with low phase noise. 2.5 GHz LO signals are quadrature with almost no phase error and no amplitude mismatching. It consumes less than 5.3 mW in the tuning range at VDD=1.5 V. The area is only 1.0/spl times/1.0 mm/sup 2/.
9-{[3-Fluoro-2-(hydroxymethyl)cyclopropylidene]methyl}adenines and -guanines. Synthesis and Antiviral Activity of All Stereoisomers (2006)

All stereoisomers of adenine and guanine methylene-3-fluoromethylenecyclopropane analogues of nucleosides 9a, 9b, 10a, 10b, 11a, 11b, 12a, and 12b were synthesized and their antiviral activities were evaluated. A highly convergent approach permitted the synthesis of all these analogues using a single intermediate 15. Reaction of aldehyde 13 with fluorotrichloromethane and tri-n-butylphosphine gave fluoroalkenes 14a+14b (83:17). Addition of carbene derived from ethyl diazoacetate gave cyclopropane 15 as the major product. Reduction (19), bromination (20), and phenylselenenylation (21), followed by Se oxidation and beta-elimination gave cis-methylenecyclopropane 22. Addition of bromine provided the reagent 23 for alkylation-elimination. Reaction of 23 with adenine led to an isomeric mixture 25a+26a that after deprotection afforded analogues 9a and 10a. The 2-amino-6-chloropurine furnished 25e+26e and after deblocking (9e and 10e) and hydrolysis gave targets 9b and 10b. Intermediate 15 provided, after debenzylation (27), 2-nitrophenylselenenylation (28), reduction (29), benzylation (30), and oxidation-elimination trans-methylenecyclopropane 31. Addition of bromine gave reagent 32. Further transformations followed the sequence outlined for analogues 9a, 9b, 10a, and 10b. Analogue 9b was effective against human cytomegalovirus (HCMV; Towne) with EC50 2.9 microM. The trans-isomer 10b inhibited AD169 strain of HCMV (EC50 15 microM) and the murine virus MCMV (EC50 2.5 microM). Compound 12a was effective against Epstein-Barr virus (EC50<0.03 microM). Analogue 9a inhibited varicella zoster virus (EC50 5.9 microM) and human immunodeficiency virus type 1 (EC50 5.2 microM). Analogues 9a, 10a, and 11a are moderate substrates for adenosine deaminase. The structure-activity relationships will be discussed in context with other methylenecyclopropane analogues.
Linearized Bragg grating assisted electro-optic modulator (2014)

We propose a new linearized electro-optic modulator in which linearization is achieved by modulating the index of a Bragg grating reflector placed in the arm(s) of a Michelson Interferometer. This grating-assisted Michelson (GAMI) modulator can operate as either an intensity or amplitude modulator, and is shown to significantly improve the linearity of microwave photonics links.
Topic-based document segmentation with probabilistic latent semantic analysis (2002)

This paper presents a new method for topic-based document segmentation, i.e., the identification of boundaries between parts of a document that bear on different topics. The method combines the use of the Probabilistic Latent Semantic Analysis (PLSA) model with the method of selecting segmentation points based on the similarity values between pairs of adjacent blocks. The use of PLSA allows for a better representation of sparse information in a text block, such as a sentence or a sequence of sentences. Furthermore, segmentation performance is improved by combining different instantiations of the same model, either using different random initializations or different numbers of latent classes. Results on commonly available data sets are significantly better than those of other state-of-the-art systems.