gebhart/patrepeval huggingface dataset:
Eraser (1997)

Article Eraser: a dynamic data race detector for multi-threaded programs Share on Authors: Stefan Savage Department of Computer Science and Engineering, University of Washington, Seattle Department of Computer Science and Engineering, University of Washington, SeattleView Profile , Michael Burrows Digital Equipment Corporation, Systems Research Center Digital Equipment Corporation, Systems Research CenterView Profile , Greg Nelson Digital Equipment Corporation, Systems Research Center Digital Equipment Corporation, Systems Research CenterView Profile , Patrick Sobalvarro Digital Equipment Corporation, Systems Research Center Digital Equipment Corporation, Systems Research CenterView Profile , Thomas Anderson Computer Science Division, University of California, Berkeley Computer Science Division, University of California, BerkeleyView Profile Authors Info & Claims SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principlesOctober 1997 Pages 27–37https://doi.org/10.1145/268998.266641Published:01 October 1997 218citation1,521DownloadsMetricsTotal Citations218Total Downloads1,521Last 12 Months6Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Lipid Characterization of a High-Stearic Sunflower Mutant Displaying a Seed Stearic Acid Gradient (2006)

In the seeds of the high-stearic sunflower mutant CAS-14 a gradient of increasing stearic acid exists from the embryo to the terminal extreme of the cotyledon. This gradient modifies the fatty acid composition of the total lipids, triglycerides, and phospholipids, which can best be appreciated in the triglycerides that pass from 16% stearic acid content in the embryo to 37.1% in the other extreme. This increase in the triglycerides occurs principally at the cost of the oleic acid content. The stearic content at position sn-2 of triglycerides is low, rising from 1.3% in the embryo to 3.4%, whereas at positions sn-1 +3 the stearic content is high and augments from 25.2% in the embryo to 41.0% at the other extreme. The molecular species of triglycerides are also modified; the disaturated triglycerides increase from 15.5 to 51.7%. Furthermore, for the first time in sunflower seeds, it is demonstrated that trisaturated triglycerides are present, arising probably due to a modification in the acyltransferase system that synthesizes the triglycerides.
The high-speed Hydra-Plus-One system for automated high-throughput protein crystallography (2002)

An automated high-throughput dispenser has been developed for the setup of protein crystallization trials by vapor diffusion or Microbatch methods. The Hydra-Plus-One is composed of a Hydra-PP system equipped with a motorized XYZ-platform, 96 precision glass syringes and a single-channel microsolenoid dispenser, which transfers 100 nl-50 micro l of protein solution with an accuracy of > 90% at a speed of 60s per 96 wells. Up to 300 micro l of premixed cocktails can be aspirated with the 96-syringe-assembly and dispensed into reservoir and droplet wells within 60s. The Hydra-Plus-One combines high precision, reliability and speed in a cost-effective high-throughput system ideally suited for protein crystallization
Energy sinks: Vibration absorption by an optimal set of undamped oscillators (2005)

This paper describes a new concept referred to here as “energy sinks” as an alternative to conventional methods of vibration absorption and damping. A prototypical energy sink envisioned here consists of a set of oscillators attached to, or an integral part of, a vibrating structure. The oscillators that make up an energy sink absorb vibratory energy from a structure and retain it in their phase space. In principle, energy sinks do not dissipate vibratory energy as heat in the classical sense. The absorbed energy remains in an energy sink permanently (or for sufficiently long durations) so that the flow of energy from the primary structure appears to it as damping. This paper demonstrates that a set of linear oscillators can collectively absorb and retain vibratory energy with near irreversibility when they have a particular distribution of natural frequencies. The approach to obtain such a frequency distribution is based on an optimization that minimizes the energy retained by the structure as a function of frequency distribution of the oscillators in the set. The paper offers verification of such optimal frequency spectra with numerical simulations and physical demonstrations.
Phase-locking and coherent power combining of broadband linearly chirped optical waves (2012)

We propose, analyze and demonstrate the optoelectronic phase-locking of optical waves whose frequencies are chirped continuously and rapidly with time. The optical waves are derived from a common optoelectronic swept-frequency laser based on a semiconductor laser in a negative feedback loop, with a precisely linear frequency chirp of 400 GHz in 2 ms. In contrast to monochromatic waves, a differential delay between two linearly chirped optical waves results in a mutual frequency difference, and an acoustooptic frequency shifter is therefore used to phase-lock the two waves. We demonstrate and characterize homodyne and heterodyne optical phase-locked loops with rapidly chirped waves, and show the ability to precisely control the phase of the chirped optical waveform using a digital electronic oscillator. A loop bandwidth of ~ 60 kHz, and a residual phase error variance of < 0.01 rad(2) between the chirped waves is obtained. Further, we demonstrate the simultaneous phase-locking of two optical paths to a common master waveform, and the ability to electronically control the resultant two-element optical phased array. The results of this work enable coherent power combining of high-power fiber amplifiers-where a rapidly chirping seed laser reduces stimulated Brillouin scattering-and electronic beam steering of chirped optical waves.
Pulsed-laser application to sampling oscilloscope (1975)

An optically strobed sampling oscilloscope is described in which a GaAs laser diode is used to strobe a GaAs photoconductive sampling gate.
Assessing identity, phenotype, and fate of endothelial progenitor cells (2008)

From the paradigm shifting observations of Harvey, Malpighi, and van Leeuwenhoek, blood vessels have become recognized as distinct and dynamic tissue entities that merge with the heart to form a closed circulatory system.1 Vessel structures are comprised predominantly of a luminal layer of endothelial cells that is surrounded by some form of basement membrane, and mural cells (pericytes or vascular smooth muscle cells) that make up the vessel wall. In larger more complex vessel structures the vessel wall is composed of a complex interwoven matrix with nerve components. Understanding the cellular and molecular basis for the formation, remodeling, repair, and regeneration of the vasculature have been and continue to be popular areas for investigation.

The endothelium has become a particularly scrutinized cell population with the recognition that these cells may play important roles in maintaining vascular homeostasis and in the pathogenesis of a variety of diseases.2 Although it has been known for several decades that some shed or extruded endothelial cells enter the circulation as apparent contaminants in the human blood stream,3 only more recent technologies have permitted the identification of not only senescent sloughed endothelial cells,4 but also endothelial progenitor cells (EPCs), which have been purported to represent a normal component of the formed elements of circulating blood5 and play roles in disease pathogenesis.6–9 Most citations refer to an article published in 1997 in which Asahara and colleagues isolated, characterized, and examined the in vivo function of putative EPCs from human peripheral blood as a major impetus for generating interest in the field.10 This seminal article presented some evidence to consider emergence of a new paradigm for the process of neovascularization in the form of postnatal vasculogenesis. Since publication of that article, interest in circulating endothelial cells, and particularly EPCs, has soared, …
High Dimensional Full Inverse Characterization of Fractal Volumes (2012)

The present paper describes a methodology for the inverse identification of the complete set of parameters associated with the Weirstrass-Mandelbrot (W-M) function that can describe any fractal scalar field distribution of measured data defined within a volume. Our effort is motivated by the need to be able to describe a scalar field quantity distribution in a volume in order to be able to represent analytically various non-homogeneous material properties distributions for engineering and science applications. Our method involves utilizing a refactoring of the W-M function that permits defining the characterization problem as a high dimensional singular value decomposition problem for the determination of the so-called phases of the function. Coupled with this process is a second level exhaustive search that enables the determination of the density of the frequencies involved in defining the trigonometric functions involved in the definition of the W-M function. Numerical applications of the proposed method on both synthetic and actual volume data, validate the efficiency and the accuracy of the proposed approach. This approach constitutes a radical departure from the traditional fractal dimension characterization studies and opens the road for a very large number of applications and generalizes the approach developed by the authors for fractal surfaces to that of fractal volumes.
Nanosecond Pulsed Electric Fields Cause Melanomas to Self-Destruct (2006)

Nanosecond pulsed electric fields (nsPEF) have been shown to penetrate into living cells to permeabilize intracellular organelles and release Ca2+ from the endoplasmic reticulum. They provide a new approach for physically targeting intracellular organelles with many applications, including initiation of apoptosis, enhancement of gene transfection efficiency and inhibiting tumor growth. We have been working with the murine melanoma model system and here we show that 40 kV/cm electric field pulses 300 nanoseconds in duration can rapidly stimulate pyknosis, reduce blood flow and fragment DNA in murine melanoma tumors in vivo with a total field exposure time of 1.8 microseconds. Three treatments of 100 pulses each results in a mean tumor size regression of 90% within two weeks. Another round of treatments at this time can completely eliminate the melanoma. This new therapy is the first to simultaneously trigger pyknosis and reduce tumor blood flow.
Increasing Yield of Spring Oilseed Rape Hybrids through Introgression of Winter Germplasm (1999)

Yields of spring oilseed rape ( Brassica napus L.) hybrids are generally higher if derived from crosses of more distantly related spring cultivars. Winter cultivars are genetically very distinct from spring cultivars; however, it is not practical to use them directly as parents with spring cultivars for F 1 hybrids because of their noncoincident flowering times, and the excessively delayed maturity of the F 1 Thus, we tested whether the introgression of winter germplasm into spring‐type oilseed rape could further increase the yields of spring hybrids. Nineteen doubled‐haploid lines, derived from a cross between a spring canola (‘Stellar’) and a winter rapeseed (‘Major’) cultivar, were selected based on early‐flowering phenology and having a range of germplasm from Major estimated to be 21 to 74% by screening with 480 molecular marker loci. These lines were test‐crossed to two spring cultivars and evaluated for yield in 1994, 1995, and 1996 in Madison or Arlington, WI. The mean yield of the experimental hybrids was higher than the yields of cultivars, inbreds, and spring by spring hybrids in every year. The oil content was similar in all categories of germplasm. A slight delay in maturity may have contributed to the yield advantage of the experimental hybrids; however, there was no significant correlation between flowering time and yield among these hybrids. This study indicates that winter rapeseed may be a valuable source of germplasm for spring hybrid breeding.
Pacing and Defibrillation (2009)

Currently most implanted pacing and defibrillation systems monitor and treat inappropriate cardiac rhythms. In general, these inappropriate rhythms result in cardiac outputs that are inadequate to meet metabolic demands, and thus can be life-threatening. In order to best understand the function of such pacing and defibrillation systems, the underlying physiologic situations indicated for their use must also be defined and understood. Furthermore, as with the design of any biomedical device or system, a “first-principles” understanding of the appropriate physiologic behavior is a prerequisite to the definition of the performance characteristics of the device. This chapter primarily aims to provide a basic understanding of the physiologic conditions that require intervention with pacing and/or defibrillation systems, as well as introduce technical information on these systems to provide the reader with a foundation for future research and reading on this topic.
Efficient Anisotropic Wavefield Extrapolation Using Effective Isotropic Models (2013)

Isotropic wavefield extrapolation is more efficient than anisotropic extrapolation, and this is especially true when the anisotropy of the medium is tilted (from the vertical). We use the kinematics of the wavefield, appropriately represented in the high-frequency asymptotic approximation by the eikonal equation, to develop effective isotropic models, which are used to efficiently and approximately extrapolate anisotropic wavefields using the isotropic, relatively cheaper, operators. These effective velocity models are source dependent and tend to embed the anisotropy in the inhomogeneity. Though this isotropically generated wavefield theoretically shares the same kinematic behavior as that of the first arrival anisotropic wavefield, it also has the ability to include all the arrivals resulting from a complex wavefield propagation. In fact, the effective models reduce to the original isotropic model in the limit of isotropy, and thus, the difference between the effective model and, for example, the vertical velocity depends on the strength of anisotropy. For reverse time migration (RTM), effective models are developed for the source and receiver fields by computing the traveltime for a plane wave source stretching along our source and receiver lines in a delayed shot migration implementation. Applications to the BP TTI model demonstrates the effectiveness of the approach.
Effect of Oxygen Content on the Magnetic Properties of Nd-Fe-B Powders Prepared by MG. (1994)

The preparation of Nd2Fe14B permanent magnetic powder with a fine microstructure has been tried by mechanical grinding (MG) and subsequent heat treatment. The decomposition of Nd2Fe14B phase into α-Fe and an amorphous phase was observed after MG. The powder annealed in vacuum after MG was composed of much finer grains than single magnetic domain size of about 300nm, and its coercivity was as high as 0.76MA/m. On the other hand, the coercivity of the powder annealed in Ar after MG was as low as 0.2MA/m, though it was also composed of much finer grains than single magnetic domain size. And the remarkable increment of oxygen content in the specimen was observed by the heat treatment in Ar. Such a remarkable increment of oxygen content resulted in the existence of large amounts of α-Fe and neodymium oxide. These phases caused the low coercivity. It was also found that MG time influenced the hard magnetic properties. In this work, the best MG time was confirmed to be 72ks.
Lipid-Mediated Targeting with Membrane-Wrapped Nanoparticles in the Presence of Corona Formation (2015)

Membrane-wrapped nanoparticles represent a versatile platform for utilizing specific lipid-receptor interactions, such as siallyllactose-mediated binding of the ganglioside GM3 to Siglec1 (CD169), for targeting purposes. The membrane wrap around the nanoparticles not only serves as a matrix to incorporate GM3 as targeting moiety for antigen-presenting cells but also offers unique opportunities for constructing a biomimetic surface from lipids with potentially protein-repellent properties. We characterize nonspecific protein adsorption (corona formation) to membrane-wrapped nanoparticles with core diameters of approximately 35 and 80 nm and its effect on the GM3-mediated targeting efficacy as a function of surface charge through combined in vitro and in vivo studies. The stability and fate of the membrane wrap around the nanoparticles in a simulated biological fluid and after uptake in CD169-expressing antigen-presenting cells is experimentally tested. Finally, we demonstrate in hock immunization studies in mice that GM3-decorated membrane-wrapped nanoparticles achieve a selective enrichment in the peripheral regions of popliteal lymph nodes that contain high concentrations of CD169-expressing antigen-presenting cells.
The Synthesis and Biological activity of a Highly Selective Adenosine A<sub>2a</sub>. Receptor Agonist (1999)

Three novel nucleosides 1, 2, and 3 were prepared that contained side chains at the 2-position of adenosine. Compound 1 was shown to be the most selective A2a receptor agonist reported to date having an A1/A2 ratio of 2400. In addition, compound 1 was shown to reduce blood pressure in rats and dogs with only minimal effects on heart rate.
High transfer rate (1 Gbit/sec) high-capacity holographic disk digital data storage system (2000)

Summary form only given.Holographic data storage records information in the form of volumetric gratings within the volume of the recording medium. In digital holographic storage information is typically encoded in the form of data pages, which includes modulation coding, data shuffling, and error correction. Selective properties of volumetric gratings allow for a multitude of holograms to be recorded in virtually the same volume through angular, wavelength, or shift and correlation multiplexing techniques. Potentially high data density and transfer rates (which are due to highly parallel access to the stored data) have been a topic of intense research and development. Short data seek time (<100 /spl mu/sec) and high transfer rates (/spl sim/1 Gbit/sec) can be realized in systems with no moving parts which employ bulk photorefractive crystals as storage media. The holographic disk approach allows for an easy access to a large area of the storage media, and, therefore, is more suitable for high capacity applications. Our holographic disks storage system includes hardware implemented channel decoding providing high transfer rate (1 Gbit/sec) and high capacity storage (>100 Gbit per 6.5' disk).
Medium-Chain, Even-Numbered Dicarboxylic Acids as Novel Energy Substrates: An Update (2006)

Medium-chain dicarboxylic acids are produced by higher plants and animals via fatty acid omega-oxidation or by beta-oxidation of longer-chain dicarboxylic acids. In plants, dicarboxylic acids are components of the natural protective polymers cutin and suberin; in animals, dicarboxylic acids are mainly oxidized in mitochondria, where they are transported through four different pathways. Their energy density is intermediate between glucose and fatty acids. Dicarboxylic acid administration does not require insulin or stimulate insulin secretion, and the beta-oxidation of dicarboxylic acids produces succinic acid, a gluconeogenic substrate. Therefore, dicarboxylic acids might be a suitable fuel substrate, particularly in clinical conditions in which marked insulin resistance and/or impairment of aerobic glycolysis occur.
Development of a Novel Drug Release System, Time-Controlled Explosion System (TES). I. Concept and Design (1994)

A novel controlled drug release system. Time-Controlled Explosion System (TES) has been developed. TES has a four-layered spherical structure, which consists of core, drug, swelling agent and water insoluble polymer membrane. TES is characterized by a rapid drug release with a precisely programmed lag time; i.e. expansion of the swelling agent by water penetrating through the outer membrane, destruction of the membrane by stress due to swelling force and subsequent rapid drug release. For establishing the concept and development strategy, TES was designed using metoprolol and polystyrene balls (size: 3.2 mm in diameter) as a model drug and core particles. Among the polymers screened, low-substituted hydroxypropylcellulose (L-HPC) and ethylcellulose (EC) were selected for a swelling agent and an outer water insoluble membrane, respectively. The release profiles of metoprolol from the system were not affected by the pH of the dissolution media. Lag time was controlled by the thickness of the outer EC membrane; thus, a combination of TES particles possessing different lag times could offer any desired release profile of the model compound, metoprolol.
Secure Lempel-Ziv-Welch (LZW) algorithm with random dictionary insertion and permutation (2008)

In this paper, we propose an efficient encryption scheme by introducing randomness into the Lempel-Ziv-Welch (LZW) algorithm. This scheme utilizes random dictionary insertion and permutation, and incorporates with a bit-wise XOR module. Security analysis results show that the proposed scheme provides high level of security without any coding efficiency loss, compared with a standard LZW algorithm.
Regulatory Elements that Control the Lineage-Specific Expression of <i>myoD</i> (1992)

The molecular basis of skeletal muscle lineage determination was investigated by analyzing DNA control elements that regulate the myogenic determination gene myoD. A distal enhancer was identified that positively regulates expression of the human myoD gene. The myoD enhancer and promoter were active in myogenic and several nonmyogenic cell lines. In transgenic mouse embryos, however, the myoD enhancer and promoter together directed expression of a lacZ transgene specifically to the skeletal muscle lineage. These data suggest that during development myoD is regulated by mechanisms that restrict accessibility of myoD control elements to positive trans-acting factors.
Laser ablation of the pulmonary veins by using a fiberoptic balloon catheter: Implications for treatment of paroxysmal atrial fibrillation (2001)

Laser ablation by using a fiberoptic balloon catheter may represent a promising alternative to radiofrequency catheter ablation for electrical isolation of the pulmonary veins from the left atrium during treatment of paroxysmal atrial fibrillation. Further development and testing of the fiberoptic catheter is warranted for possible clinical studies.
Iterative Probabilistic Voxel Labeling: Automated Segmentation for Analysis of The Cancer Imaging Archive Glioblastoma Images (2014)

Iterative probabilistic voxel labeling defined tumor volumes that were highly consistent with operator-defined volumes. Application of this algorithm could facilitate quantitative assessment of neuroimaging from patients with glioblastoma for both research and clinical indications.
A solid insulation system for airborne high-voltage components and systems (1974)

A method for the design of a high-voltage solid insulation system used in airborne or satellite high-voltage components and systems is presented, and illustrated with a successful system now used in these applications. The design is based on the elimination of corona in the solid, and principally involves making an insulation with a very high corona inception voltage and then controlling the electric field stress below that level. Examples of actual components and systems designed in this way are shown.