gebhart/patrepeval huggingface dataset:
PtrSplit (2017)

Partitioning a security-sensitive application into least-privileged components and putting each into a separate protection domain have long been a goal of security practitioners and researchers. However, a stumbling block to automatically partitioning C/C++ applications is the presence of pointers in these applications. Pointers make calculating data dependence, a key step in program partitioning, difficult and hard to scale; furthermore, C/C++ pointers do not carry bounds information, making it impossible to automatically marshall and unmarshall pointer data when they are sent across the boundary of partitions. In this paper, we propose a set of techniques for supporting general pointers in automatic program partitioning. Our system, called PtrSplit, constructs a Program Dependence Graph (PDG) for tracking data and control dependencies in the input program and employs a parameter-tree approach for representing data of pointer types; this approach is modular and avoids global pointer analysis. Furthermore, it performs selective pointer bounds tracking to enable automatic marshalling/unmarshalling of pointer data, even when there is circularity and arbitrary aliasing. As a result, PtrSplit can automatically generate executable partitions for C applications that contain arbitrary pointers.
Novel Phased-Array Scanning Employing a Single Feed Without Using Individual Phase Shifters [AMTA Corner] (2013)

Phased arrays afford many advantages over mechanically steered systems. However, they are also more complex, heavy, and, most of all, costly. The high cost mainly originates from the complex feeding structure. This paper proposes a novel feeding scheme to eliminate phase shifters and achieve scanning using a single control parameter. Beam scanning is achieved via a series-fed array, incorporating feeding transmission lines the wave velocity of which can be mechanically adjusted. Practical designs are shown that achieved scanning up to ±30° from boresight. Finally, a prototype was fabricated and measured, demonstrating the concept.
Bone marrow from children in relapse with pre-B acute lymphoblastic leukemia proliferates and disseminates rapidly in scid mice (1991)

Bone marrow samples from patients with pre-B acute lymphoblastic leukemia (pre-B ALL), either at diagnosis or at relapse, were transplanted into scid mice to determine whether these freshly obtained leukemic cells could proliferate in vivo and whether there were any differences in their in vivo growth characteristics. Cells from three patients who relapsed within 13 months of diagnosis proliferated rapidly in the murine bone marrow, spleen, and thymus, invaded peripheral organs, and resulted in morbidity and mortality of the animals within 4 to 16 weeks. Cells from two patients who relapsed 3.5 years after diagnosis grew much slower than the early relapse samples, taking up to 30 weeks to infiltrate the bone marrow of recipient mice. In contrast, leukemic cells were absent or were detected at low numbers in scid mice transplanted with cells obtained at diagnosis from three patients who have not yet relapsed. These results show an increased ability of leukemic cells from patients with aggressive lymphoblastic leukemia of poor prognosis to proliferate in scid mice.
High-Speed mm-Wave Data-Link Based on Hollow Plastic Cable and CMOS Transceiver (2013)

A multi-Giga-bit/s (up to 6 Gbps) and energy-efficient (1 pJ/bit/m) data link is formed by using hollow plastic cable and CMOS transceivers for short distance (8 m) digital communications. The demonstrated link couples/de-couples 60 GHz carried digital signals with roughly 6 dB loss per coupling into/from a hollow plastic cable made of relatively low-loss (~1.5 dB/m) Teflon, which is widely used for various home appliances. The CMOS transceivers are designed and implemented in 65 nm Foundry CMOS to support the intended 60 GHz operation with 28 mW power consumption under a 1 V supply.
Design of 60-GHz Low-Noise Amplifiers With Low NF and Robust ESD Protection in 65-nm CMOS (2012)

This paper presents two 60-GHz low-noise amplifiers (LNAs) with different electrostatic (ESD) protection schemes, including the diode-based and LC-based configurations. By codesigning ESD network and input matching, both LNAs are optimized for minimum noise figure (NF) while maintaining a similar gain. Compared with the conventional double-diode approach, the proposed LC-based design uses a high current capability spiral inductor and a high breakdown voltage metal-oxide-metal capacitor as effective bidirectional ESD protection, showing much improved ESD protection level and NF under reduced power consumption. The test results demonstrate an over 8-kV human-body-model ESD level and an over 13-A very fast transmission line pulse current level for charge-device-model ESD protection. The measured NF and power gain are 5.3 dB and 17.5 dB, respectively, at 58 GHz, under a power consumption of only 18 mW. To the best of our knowledge, the LC-based ESD-protected LNA demonstrates a highest ESD protection level with a lowest NF, compared with prior arts operating at similar frequencies.
Antigen Aggregation Decides the Fate of the Allergic Immune Response (2009)

Previously, defined naturally occurring isoforms of allergenic proteins were classified as hypoallergens and therefore suggested as an agent for immunotherapy in the future. In this paper, we report for the first time the molecular background of hypoallergenicity by comparing the immunological behavior of hyperallergenic Betula verrucosa major Ag 1a (Bet v 1a) and hypoallergenic Bet v 1d, two isoforms of the major birch pollen allergen Betula verrucosa 1. Despite their cross-reactivity, Bet v 1a and Bet v 1d differ in their capacity to induce protective Ab responses in BALB/c mice. Both isoforms induced similar specific IgE levels, but only Bet v 1d expressed relevant titers of serum IgGs and IgAs. Interestingly, hypoallergenic Bet v 1d activated dendritic cells more efficiently, followed by the production of increased amounts of Th1- as well as Th2-type cytokines. Surprisingly, compared with Bet v 1a, Bet v 1d-immunized mice showed a decreased proliferation of regulatory T cells. Crystallographic studies and dynamic light scattering revealed that Bet v 1d demonstrated a high tendency to form disulfide-linked aggregates due to a serine to cysteine exchange at residue 113. We conclude that aggregation of Bet v 1d triggers the establishment of a protective Ab titer and supports a rationale for Bet v 1d being a promising candidate for specific immunotherapy of birch pollen allergy.
Immunologic and Biochemical Properties of the Histamine-Sensitizing Factor from Bordetella Pertussis (1975)

Abstract A highly potent extract of the histamine sensitizing factor (HSF) of Bordetella pertussis was isolated by extraction of bacterial cells with urea buffer and subsequent gel filtration. This preparation of HSF also contained leukocytosis-promoting activity and adjuvant activity for reaginic and hemagglutinating antibodies. Digestion of this extract with pronase or trypsin partially destroyed histamine-sensitizing activity, leukocytosis-promoting activity, and adjuvant activity for reaginic antibody, but did not affect adjuvant activity for hemagglutinating antibody. Antisera to HSF was prepared by immunizing rabbits with either whole bacteria or partially purified extract. These antisera contained several precipitating antibodies to Bordetella pertussis extract demonstrated by immunodiffusion and immunoelectrophoresis. Antisera added in vitro to Bordetella pertussis extracts or passively administered in vivo to mice, reduced or abolished all biologic activities except adjuvant activity for hemagglutinating antibody. These results suggest that HSF might be an antigenic component of Bordetella pertussis which also possesses leukocytosis-promoting activity and adjuvant activity for reaginic antibody.
Hierarchical radiosity with multiresolution meshes (2000)

The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the National Science Foundation or the United States government. Keywords: global illumination, hierarchical radiosity, face cluster hierarchies, multiresolution The hierarchical radiosity algorithm solves for the global transfer of diffuse illumination in a scene. While its potential algorithmic complexity is superior to both previous radiosity methods and distributed ray tracing, for scenes containing detailed polygonal models, or highly tessellated curved surfaces, its time performance and memory consumption are less than ideal. My thesis is that by using hierarchies similar to those of multiresolution models, the performance of the hierarchical radiosity algorithm can be made sublinear in the number of input polygons, and thus make radiosity on scenes containing detailed models tractable. The underlying goal of my thesis work has been to make high-speed radiosity solutions possible with such scenes. To achieve this goal, a new face clustering technique for automatically partitioning polygonal models has been developed. The face clusters produced
Implementing the MPI Process Topology Mechanism (2002)

The topology functionality of the Message Passing Interface (MPI) provides a portable, architecture-independent means for adapting application programs to the communication architecture of the target hardware. However, current MPI implementations rarely go beyond the most trivial implementation, and simply performs no process remapping. We discuss the potential of the topology mechanism for systems with a hierarchical communication architecture like clusters of SMP nodes. The MPI topology functionality is a weak mechanism, and we argue about some of its shortcomings. We formulate the topology optimization problem as a graph embedding problem , and show that for hierarchical systems it can be solved by graph partitioning . We state the properties of a new heuristic for solving both the embedding problem and the "easier" graph partitioning problem. The graph partitioning based framework has been fully implemented in MPI/SX for the NEC SX-series of parallel vector computers. MPI/SX is thus one of very few MPI implementations with a non-trivial topology functionality. On a 4 node NEC SX-6 significant communication performance improvements are achieved with synthetic MPI benchmarks.
A review of grid code technical requirements for wind farms (2009)

This paper provides an overview of grid code technical requirements regarding the connection of large wind farms to the electric power systems. The grid codes examined are generally compiled by transmission system operators (TSOs) of countries or regions with high wind penetration and therefore incorporate the accumulated experience after several years of system operation at significant wind penetration levels. The paper focuses on the most important technical requirements for wind farms, included in most grid codes, such as active and reactive power regulation, voltage and frequency operating limits and wind farm behaviour during grid disturbances. The paper also includes a review of modern wind turbine technologies, regarding their capability of satisfying the requirements set by the codes, demonstrating that recent developments in wind turbine technology provide wind farms with stability and regulation capabilities directly comparable to those of conventional generating plants.
Advanced concepts in fusion--fission hybrid reactors (1974)

Fusion-fission hybrid reactors are viewed as sub-critical nuclear fission reactors driven and controlled by an internal high energy neutron source, the fusion reactor.Such hybrids combine naturally the neutronrichness of fusion power sources with the power-richness of fission sources, thereby eliminating the Intrinsic nower poverty and neutron deficiency of these respective sections.Also eliminated in uncontrived fashions are the somewhat marginal specific tritium breeding rates of realistic fusion power reactor designs, the low specific fissile material breeding rates of conven tional fast breeder fission reactors, the crlticallty control problems of fast breeder reactors, the (very large) demands of both fast breeder and light water reactors for both mined uranium and separative work capacity, and possible cost and technological complexity problems of fusion power, .reactor designs realizable 1n the near term.It 1s argued that fusion-fission hybrids may be developed on time scales adequate for deployment 1n power systems in the early 1930s with low technological risk, relative to pure fusion reactors, and with the elimination of most of the safety, control, long fuel increase times, and mined uranium and separative work requirements associated with fast breeder reactors.Moreover, they can at once supply very large quantities of fissile fuel to other, pure fission power reactors, and very large amounts of tritium to a commencing pure fusion energy economy, while serving as very efficient "burners" for the entire actinide inventory (uranium and thorium) of our planet, utilizing both fissile and non-fissile isotopes.Such hybrids may thus serve as a very natural link of as great a scale and of as long a duration as desired between present light water power reactors and a pure fusion power economy, augmenting the utility and useful lifetimes of the former while fostering the development of the latter.Specific examples of hybrid reactors are presented, and calculated performance parameters givenfor quasi-optimal designs.These calculations explore for the tirst time, the time-dependence of hybrid performance over a complete reactor fuel cycle.
II-VI blue-green laser diodes (1995)

ZnMgSSe, forming a type I heterostructure with Zn(Cd)Se, fully lattice-matched to GaAs with an energy gap tunable up to /spl sim/4.5 eV, has made possible continuous-wave (CW) operation of both a green laser diode (LD) and a blue LD at room temperature. The device characteristics of the II-VI wide-gap LD's are becoming as good as those of established III-V LD's, except for device lifetime. Remaining key issues are p-doping in the wide-gap ZnMgSSe and reliability of II-VI wide gap LD's. Valence-band engineering via superlattice (SL) use is proposed, based on the amphoteric defect model, for removing the doping limit in the p-type ZnMgSSe. This will lead to CW operation of a blue-emitting laser diode with a wavelength of 450 /spl sim/ 460 mm. For reliability, employing a GaAs-buffer layer has made possible room-temperature (RT) CW operation with a lifetime of 1 hour. Analysis of the degradation process shows that no catastrophically fast degradation occurs when II-VI LD's degrade. The reliability of the ZnMgSSe-based LD's would soon be established, and the II-VI wide-gap LD's will likely blossom colorfully in the near future.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
S.O.S. (1991)

E reconhecida, em nosso meio, a carencia de veiculos de divulgacao da producao cientifica dos enfermeiros, como um dos instrumentos indispensaveis para o crescimento da enfermagem como profissao. Os periodicos representam um canal de expressao dos avancos cientificos alcancados e constituem uma fonte de atualizacao constante, pois atingem profissionais que atuam em areas geograficamente distantes dos centros mais desenvolvidos do Pais. A Acta Paulista de Enfermagem, orgao de divulgacao da producao cientifica dos enfermeiros docentes e assistenciais, bem como de [...]
Sweetpotato (Ipomoea batatas L.) Leaf: Its Potential Effect on Human Health and Nutrition (2006)

ABSTRACT Previous experiments revealed that sweetpotato leaves contain a high content of polyphenolics, namely anthocyanins and phenolic acids, compared with the major commercial vegetables. Sweetpotato leaves contain at least 15 biologically active anthocyanins that have significant medicinal value for certain human diseases and may also be used as natural food colorants. The anthocyanins were acylated cyanidin and peonidin type. The phenolic acids were composed of caffeic acid (CA) and 5 kinds of caffeoylquinic acid derivatives, 3‐mono‐ O ‐caffeoylquinic acid (chlorogenic acid, ChA), 3,4‐di‐ O ‐caffeoylquinic acid (3,4‐diCQA), 3,5‐di‐ O ‐caffeoylquinic acid (3,5‐diCQA), 4,5‐di‐ O ‐caffeoylquinic acid (4,5‐diCQA), and 3,4,5‐tri‐ O ‐caffeoylquinic acid (3,4,5‐triCQA). These polyphenolics showed various kinds of physiological functions, radical scavenging activity, antimutagenic activity, anticancer, antidiabetes, and antibacterial activity in vitro or in vivo, which may be helpful for maintaining and promoting human health. The physiological function of caffeoylquinic acid (CQA) derivatives with the plural caffeoyl group is more effective than with a monocaffeoyl one. This review describes the nutritional composition and physiological functions of sweetpotato leaves when used as a vegetable, and as a resource for products with these functions.
The work of breathing of mechanically ventilated patients (1997)

An algorithm that estimates the patient and ventilator work components of mechanically ventilated patients is presented. The algorithm requires the continuous measurement of inspiratory airflow rate and mouth pressure and i t is suitable to be incorporated in ventilators for on-line estimation of patient and ventilator respiratory work.
CAD-design, stress analysis and <i>in vitro</i> evaluation of three leaflet blood-pump valves (1992)

The computer-supported development of valves for cardiac-assist devices or artificial hearts is shown in relation to plastic technology. A CAD-system is used for the design development, whereas the dimensioning of the critical and highly stressed membranes is examined by FEM-analyses. Economic manufacture is permitted by the combined thermoforming-dip moulding technique; the blood-side components are made from biocompatible polyurethane to minimize blood damage. The first long-term results in the test set-up are compared to the FEM results.
A visualization-based approach for improving spreadsheet quality (2009)

Spreadsheet programs, artefacts developed by end-user programmers, are used for a variety of important tasks and decisions. However, as the literature indicates, a significant proportion of spreadsheet programs contain faults. One of the contributing factors to the quality issue is the invisibility of cell dependencies (which define the dataflow structure of a spreadsheet) up on which computations are performed. In an attempt to provide a guide in understanding spreadsheets, this paper presents an approach to visualize a spreadsheet in terms of logical areas using the MCL (Markov Clustering) algorithm. Instead of focusing their attention on the whole spreadsheet, spreadsheet users may narrow their focus to one logical area at a time. To evaluate our approach, a prototype tool has been developed and integrated into Microsoft Excel.
An optimal evaluation of Boolean expressions in an online query system (1977)

In this paper we consider the problem of retrieving reeords from a very large file, containing hundreds of thousands of records. Each record consists of a list of attributes and values. The selection of the subset of reeords from the file is in response to a Boolean expression which specifies a combination of desired values of certain attributes and values. The Boolean expression is communicated to the system by the user as a query, typed in on a low speed remote terminal. As a response to the query, the entire file has to be searched, and the Boolean expression is evaluated for each record. The method presented here improves the performance of such a system by speeding up the process of computing the truth value of a Boolean expression for an individual record. This is done by evaluating the expression based on the values of a subset of its components rather than the entire expression.
Semantic extensions of XML for advanced applications (2001)

XML is a de facto standard for structuring documents and their exchange in electronic forms. However it has many restrictions to represent various information from viewpoints of data-centered applications. Set and tuple constructors are useful for defining data structure, and identities and user views are indispensable for sharing common data, while XML, even with XML Schema[16], does not support such features.In this paper, we propose an approach to semantic extensions of XML by introducing some special attributes, by which conventional data constructors can be utilized and semantic elements for user views can be defined. Along this approach, we have been developing XML-based systems for heterogeneous document management, digital theme parks, and interactive multimedia presentation, where there are many enhancement requests to XML. We discuss the effectiveness of extensions by taking examples in our applications.
Review of the synthesis, transfer, characterization and growth mechanisms of single and multilayer graphene (2017)

Graphene has emerged as the most popular topic in the active research field since graphene's discovery in 2004 by Andrei Geim and Kostya Novoselov.
Polymer Alloys, Blends, and Ionomers (1989)

This chapter provides a broad overview of the subjects of polymer blends and ionomers. Specific topics concerning polymer blends include the thermodynamics of mixing of polymer-polymer pairs, polymer interfaces, rheology, and mechanical properties. For ionomers, the chemistry, structure, rheology and solution properties are discussed.
Understanding Knock Metric for Controlled Auto-Ignition Engines (2013)

<div class="section abstract"><div class="htmlview paragraph">The knock metric for controlled auto-ignition (CAI) engines is assessed by considering the physical processes that establish the pressure wave that contributes to the acoustic radiation of the engine, and by analyzing pressure data from a CAI engine. Data sets from the engine operating with port fuel injection, early direct injection and late direct injection are used to monitor the effect of mixture composition stratification. Thermodynamic analysis shows that the local pressure rise produced by heat release has to be discounted by the work spent in acoustic expansion against the ambient pressure to properly predict the pressure wave amplitude. Based on this analysis, a modified correlation between the pressure wave amplitude and the maximum pressure rise rate (MPRR) is developed by introducing an MPRR offset to account for the expansion work.</div></div>
Organic electro-optic devices for optical interconnnection (1991)

The exceptional electro-optic properties of poled polymer films, coupled with the power and flexibility of thin film fabrication and photolithographic processing, may make possible a new class of integrated optic systems: photonic large scale integration (PLSI). PLSI systems are characterized by the hybrid integration of electronic and photonic devices, combining the processing power of VLSI with a dense, high bandwidth, photonic interconnection and switching network in a single, large format, package. In this paper, we describe the potential applications and benefits of PLSI and present a review of some of the relevant progress to date in electro-optic polymer materials and devices, including the demonstration of polymer switch based 100 Mbit/sec digital signal transmission for optical interconnection and a 20 GHz electro-optic polymer modulator.
Response of Ultrasonic Motional Bridge Circuits Under Resistive and Reactive Loads (1982)

Abstruct-A detailed theoretical and experimental analysis is given of the performance of a self-resonant ultrasonic oscillator under both lossy and reactive loading of the ultrasonic transducer. A simple but useful technique is used to determine the model of the transducer accurately from experimental data. Using this model, the change in the magnitude and phase of the oscillator loop gain is studied under simulated resistive and reactive load conditions. Thus, the necessary design information is acquired to predict power transfer to the load.