gebhart/patrepeval huggingface dataset:
Guarder: a tunable secure allocator (2018)

Due to the on-going threats posed by heap vulnerabilities, we design a novel secure allocator -- GUARDER--to defeat these vulnerabilities. GUARDER is different from existing secure allocators in the following aspects. Existing allocators either have low/zero randomization entropy, or cannot provide stable security guarantees, where their entropies vary by object size classes, execution phases, inputs, or applications. GUARDER ensures the desired randomization entropy, and provides an unprecedented level of security guarantee by combining all security features of existing allocators, with overhead that is comparable to performance-oriented allocators. Compared to the default Linux allocator, GUARDER'S performance overhead is less than 3% on average. This overhead is similar to the previous state-of-the-art, Free-Guard, but comes with a much stronger security guarantee. GUARDER also provides an additional feature that allows users to customize security based on their performance budget, without changing code or even recompiling. The combination of high security and low overhead makes GUARDER a practical solution for the deployed environment.
New step growth polymers via reissert compound chemistry (1992)

Abstract Reissert compounds are the result of the formal addition of acyl cyanides across the CH=N bonds of aromatic heterocyclic compounds or acyclic imines. The chemistry of this class of compounds is primarily based upon the acidity of the CH(CN)‐NCOR moiety and the nucleophilic reactivity of the conjugate base. Three methodologies for application of this chemistry to the synthesis of polymers are summarized: 1) formation of polyamides by the “Reissert reaction” of suitable difunctional imines and diacid chlorides, 2) condensation of the anions of difunctional Reissert compounds with dielectrophiles such as dihaloalkanes and dialdehydes and 3) use of Reissert compound chemistry to construct novel monomers for use in traditional condensation polymerizations. All three methodologies are proven to be effective in the production of nitrogen containing polymers.
An End-to-End Framework to Identify Pathogenic Social Media Accounts on\n Twitter (2019)

Pathogenic Social Media (PSM) accounts such as terrorist supporter accounts\nand fake news writers have the capability of spreading disinformation to viral\nproportions. Early detection of PSM accounts is crucial as they are likely to\nbe key users to make malicious information "viral". In this paper, we adopt the\ncausal inference framework along with graph-based metrics in order to\ndistinguish PSMs from normal users within a short time of their activities. We\npropose both supervised and semi-supervised approaches without taking the\nnetwork information and content into account. Results on a real-world dataset\nfrom Twitter accentuates the advantage of our proposed frameworks. We show our\napproach achieves 0.28 improvement in F1 score over existing approaches with\nthe precision of 0.90 and F1 score of 0.63.\n
On the signal bounding problem in timing analysis (2001)

In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arriving signal, a commonly used strategy, may violate the rule of monotonic delay. Several methods for generating bounding signals to overcome this difficulty are described. The accuracy and monotonicity of each method is analyzed. These methods can be easily implemented in a static timer to improve the accuracy.
Trading-off power versus area through a parameterizable model for virtual memory management (1999)

In this paper we present a parameterizable model for power and area exploration of applications with dynamic data types. This model enables the designer to explore different Virtual Memory Management (VMM) mechanisms for those data types. This exploration is crucial to obtain effective solutions in an embedded (HW or SW) processor context. The search space for Virtual Memory Management (VMM) of dynamic data types has been defined. Our model, called Flexible Pools, is a significant extension and parameterization of Quick Lists. Flexible Pools allows the designer to trade-off power and area, matching the requirements of a given application. We demonstrate the results for trading-off power versus area in an industrial example. These experiments show power savings up to a factor of nearly 3 and area savings up to a factor of nearly 2.
Generative models for access control policies (2012)

We consider a fundamentally new approach to role and policy mining: finding RBAC models which reflect the observed usage of entitlements and the attributes of users. Such policies are interpretable, i.e., there is a natural explanation of why a role is assigned to a user and are conservative from a security standpoint since they are based on actual usage. Further, such "generative" models provide many other benefits including reconciliation with policies based on entitlements, detection of provisioning errors, as well as the detection of anomalous behavior. Our contributions include defining the fundamental problem as extensions of the well-known role mining problem, as well as providing several new algorithms based on generative machine learning models. Our algorithms find models which are causally associated with actual usage of entitlements and any arbitrary combination of user attributes when such information is available. This is the most natural process to provision roles, thus addressing a key usability issue with existing role mining algorithms.
Ignitability test method (1989)

To overcome serious weaknesses in determining the performance of initiating devices, a novel 'ignitability test method', representing actual design interfaces and ignition materials, has been developed. Ignition device output consists of heat, light, gas an burning particles. Past research methods have evaluated these parameters individually. This paper describes the development and demonstration of an ignitability test method combining all these parameters, and the quantitative assessment of the ignition performance of two widely used percussion primers, the M42C1-PA101 and the M42C2-793. The ignition materials used for this evaluation were several powder, granule and pellet sizes of black powder and boron-potassium nitrate. This test method should be useful for performance evaluation of all initiator types, quality assurance, evaluation of ignition interfaces, and service life studies of initiators and ignition materials.
Condenser optics, partial coherence, and imaging for soft-x-ray projection lithography (1993)

A condenser system couples the radiation source to an imaging system, controlling the uniformity and partial coherence at the object, which ultimately affects the characteristics of the aerial image. A soft-x-ray projection lithography system based on a ring-field imaging system and a laser-produced plasma x-ray source places considerable constraints on the design of a condenser system. Two designs are proposed, critical illumination and Köhler illumination, each of which requires three mirrors and scanning for covering the entire ring field with the required uniformity and partial coherence. Images based on Hopkins' formulation of partially coherent imaging are simulated.
DNA probes for the identification of Haemophilus ducreyi (1989)

Haemophilus ducreyi ATCC 33922, a virulent, well-characterized strain, was used to construct a genomic library in a bacteriophage expression vector. Three DNA fragments were selected for use as probes on the basis of their ability to encode H. ducreyi-specific proteins, as demonstrated by reactivity with rabbit polyclonal antiserum. With DNA-DNA hybridization, the three probes, labeled with 32P, reacted strongly with 16 strains of H. ducreyi obtained from a variety of sources. Thirty-seven other bacterial isolates, representing 33 different species and including organisms likely to be encountered in the urogenital tract, were also tested with the three probes. Twenty-eight of these isolates, including the genital pathogen Neisseria gonorrhoeae, showed no hybridization with the probes. In addition, herpes simplex virus-infected tissue culture cells and Treponema pallidum-infected rabbit testicular fluid were also completely nonreactive. Nine isolates, six belonging to other Haemophilus species and three belonging to Pasteurella species, reacted weakly with the probes when approximately 3.0 x 10(7) to 6.0 x 10(7) CFU was tested. When 10(5) to 10(6) CFU of these organisms was tested, the weak reactions could no longer be seen. Yet this number of H. ducreyi still reacted strongly. In fact, the three probes consistently detected 10(4) CFU of H. ducreyi in pure and mixed cultures and even produced a weak signal when only 10(3) CFU was present. It is clear from our results that use of these probes will greatly facilitate the laboratory diagnosis of this genital pathogen.
Asymptotically Optimal Importance Sampling and Stratification for Pricing Path‐Dependent Options (1999)

This paper develops a variance reduction technique for Monte Carlo simulations of path‐dependent options driven by high‐dimensional Gaussian vectors. The method combines importance sampling based on a change of drift with stratified sampling along a small number of key dimensions. The change of drift is selected through a large deviations analysis and is shown to be optimal in an asymptotic sense. The drift selected has an interpretation as the path of the underlying state variables which maximizes the product of probability and payoff—the most important path. The directions used for stratified sampling are optimal for a quadratic approximation to the integrand or payoff function. Indeed, under differentiability assumptions our importance sampling method eliminates variability due to the linear part of the payoff function, and stratification eliminates much of the variability due to the quadratic part of the payoff. The two parts of the method are linked because the asymptotically optimal drift vector frequently provides a particularly effective direction for stratification. We illustrate the use of the method with path‐dependent options, a stochastic volatility model, and interest rate derivatives. The method reveals novel features of the structure of their payoffs.
SNAP: a Sensor-Network Asynchronous Processor (2003)

We present a Sensor-Network Asynchronous Processor (SNAP), which we have designed to be both a processor core for a sensor-network node and a component of a chip multiprocessor, the Network on a Chip (NoC), which will execute a novel sensor-network simulator. We discuss the advantages of using the same processor for nodes in physical and simulated sensor networks. We describe the attributes that a processor must possess to function well in both roles, and we then describe the way we designed SNAP to have these attributes.
Application of Array Resistivity Measurements in Horizontal Wells (2000)

When interpreting array resistivity measurements in horizontal wells, the objectives are quite different from traditional data interpretation in vertical or near vertical boreholes. While the emphasis for the latter is put on resolving the invasion profile and
Complete suppression of IgE-mediated anaphylaxis by antihistamine plus tyrosine kinase antagonists. (HYP3P.400) (2014)

Abstract IgE/FcεRI-mediated mast cell and basophil activation has a central role in food allergy and drug allergy. Although desensitization therapy can suppress these disorders, it can be complicated by anaphylaxis. Pre-treatment with antihistamines and other mediator antagonists can increase the safety of desensitization, but is not completely effective. Because the tyrosine kinase Syk has an important role in FcεRI-dependent mast cell activation and the tyrosine kinase Kit is critical for mast cell survival, we evaluated whether treating mice systemically with a combination of an antihistamine (triprolidine, 200 µg), the Syk inhibitor fostamatinib (80 mg/kg), and the c-Abl/c-Kit inhibitor, imatinib mesylate (1.25 mg), 30 min prior to challenging them intravenously with an anti-IgE mAb, would prevent development of anaphylaxis (measured by hypothermia); mast cell degranulation (measured by increases in serum MMCP1); and/or basophil activation (measured by increases in IL-4 secretion). Pretreatment with this 3-agent cocktail completely suppressed hypothermia and decreased MMCP1 by &gt;80%, but had little effect on IL-4 secretion. Triprolidine and fostamatinib independently partially suppressed hypothermia and fostamatinib, by itself, suppressed MMCP1 by 50-60%. No obvious drug toxicity was noted. These results suggest the possibility of using a combination of mediator and tyrosine kinase antagonists to increase the safety of rapid and conventional desensitization therapy.
Electro-optical ultra sensitive accelerometer (2003)

We present a novel optical transducer concept in the initial stages of development that promises to be inexpensive, small, lightweight, highly sensitive and durable. The successful development of this sensor will result in an optical accelerometer with resolution under 1 /spl mu/g (1g=9.8 m/s/sup 2/), which is two to three orders of magnitude more sensitive than current state-of-the-art MEMS-based accelerometers. This accelerometer is also expected to have a wide dynamic range with a resolution under 1 /spl mu/g at 100 Hz and improved low frequency response over existing MEMS technologies. This will yield much improved velocity and acceleration aiding to GPS tracking loops under high dynamic conditions, permitting continued low bandwidth tracking, a concomitant mitigation of external noise, and an increased jamming immunity. Also, the successful development of this accelerometer may enable the use of Distributed Tactical Navigation Tools (DISTANT) IMUs where distributed ultra-sensitive accelerometers may replace one or more expensive gyroscopes in an integrated IMU system.
Controlled release of biocides in solid wood. II. Efficacy against <i>Trametes versicolor</i> and <i>Gloeophyllum trabeum</i> wood decay fungi (2002)

Abstract Biocide‐containing nanoparticles were suspended in water to prepare wood treating suspensions able to deliver up to 0.8 kg biocide/m 3 of wood. The nanoparticle preparation method was versatile, and three fungicides (tebuconazole, chlorothalonil, and KATHON 930) and one insecticide (chlorpyrifos) were incorporated into the nanoparticles with little customization of the preparative method. Greater customization was required when the polymer matrix was changed, but the method was generally robust; nanoparticles could be prepared from several different polymers, copolymers, and polymer blends. The median nanoparticle size increased as the matrix hydrophobicity increased. Nanoparticles were quantitatively delivered into birch and southern yellow pine (SYP) at low suspension loadings, but the delivery efficiency decreased with increased suspension loading and with increased matrix hydrophobicity. The delivery efficiency was also less for birch than for SYP. Undelivered nanoparticles were found to have undergone aggregation. Greater aggregation occurred in the more hydrophobic formulations than in the hydrophilic formulations. High biological efficacy was found for all the biocides tested. Nanoparticle‐treated birch was exposed to Trametes versicolor for 55 days and some protection was afforded, even at biocide loading levels of only 0.1 kg/m 3 . At the highest loadings (∼0.6 kg/m 3 ) the weight loss after exposure to T. versicolor was generally ∼10% for most formulations. The SYP was treated with KATHON 930 in polyvinylpyridine. At levels of 0.1 kg of biocide/m 3 of wood less than 5% of the SYP mass was lost after 50 days of exposure to Gloeophyllum trabeum . © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 86: 608–614, 2002
Good Features to Correlate for Visual Tracking (2018)

During the recent years, correlation filters have shown dominant and spectacular results for visual object tracking. The types of the features that are employed in these family of trackers significantly affect the performance of visual tracking. The ultimate goal is to utilize robust features invariant to any kind of appearance change of the object, while predicting the object location as properly as in the case of no appearance change. As the deep learning based methods have emerged, the study of learning features for specific tasks has accelerated. For instance, discriminative visual tracking methods based on deep architectures have been studied with promising performance. Nevertheless, correlation filter based (CFB) trackers confine themselves to use the pre-trained networks which are trained for object classification problem. To this end, in this manuscript the problem of learning deep fully convolutional features for the CFB visual tracking is formulated. In order to learn the proposed model, a novel and efficient backpropagation algorithm is presented based on the loss function of the network. The proposed learning framework enables the network model to be flexible for a custom design. Moreover, it alleviates the dependency on the network trained for classification. Extensive performance analysis shows the efficacy of the proposed custom design in the CFB tracking framework. By fine-tuning the convolutional parts of a state-of-the-art network and integrating this model to a CFB tracker, which is the top performing one of VOT2016, 18% increase is achieved in terms of expected average overlap, and tracking failures are decreased by 25%, while maintaining the superiority over the state-of-the-art methods in OTB-2013 and OTB-2015 tracking datasets.
Stereo acoustic echo cancellation: A review (1996)

Adaptive echo cancelers have been used successfully for over a decade to combat echoes that arise on a telephone network due to mismatches in impedance at various points in the circuit. Echoes arise in teleconferencing too, due to coupling between the loudspeaker and microphone in each room. This problem is similar to the network echo problem, although the impulse responses are longer and can change more rapidly. When echoes arise in a stereophonic system, however, the problem changes character due to an inherent nonuniqueness in estimating the echo paths. In this talk we will review the current status of the problem of stereo echo cancellation. After a brief introduction to the general problem of echo control, the nonuniqueness mentioned above will be discussed and then several approaches will be described to get around this nonuniqueness. At present echo path responses can be matched with an error of less than −20 dB, without any loss of the stereophonic effect.
Determination of oxidized alpha-1-proteinase inhibitor in serum. (1982)

When alpha-1-PI is oxidized, it loses its ability to inhibit porcine elastase, although it retains its TIC. Therefore the ratio of TIC to EIC increases in proportion to the degree of oxidation of the inhibitor. We have developed a rapid procedure for determining the percentage of oxidized alpha-1-PI in plasma or serum based on the ratio of TIC to EIC of alpha-1-PI in these tissues. The TIC/EIC ratio is not influenced by the other proteins in serum nor by the concentration of alpha-1-PI. When this technique was adapted to measure to proportion of oxidized alpha-1-PI in the serum of young adult, healthy smokers and nonsmokers, 23% oxidized inhibitor was found in the smokers' sera, whereas no oxidized alpha-1-PI was detectable in sera of nonsmokers. Thus smoking leads to oxidation damage to circulating alpha-1-PI. Reduction of the EIC of the alpha-1-PI in the serum of smokers was compensated by a 1.43-fold increase in their serum alpha-1-PI titers; however, these data do not exclude the possibility of local depletion of the absolute EIC in the extravascular space of the lungs. This assay for oxidized alpha-1-PI may be useful in studies of the relationship between oxidation of alpha-1-PI and the development of pulmonary emphysema.
Measurements of Selective Near-In Sidelobe Reduction of a Pyramidal, Horn-Reflector Antenna (1983)

This paper describes measurements of a simple but effective means for reducing selective near-in sidelobe levels of a pyramidal horn-reflector antenna by using microwave absorber to modify the electric field across the reflector surface of the horn-reflector antenna. Examples of several modifications (made in the transverse plane for transverse polarization) are discussed and compared with data obtained before modification. Good reductions are achieved in the region of 2 to 6 degrees from the main beam. For example, an improvement was obtained on the order of 4 dB in the first sidelobe level with corresponding improvements of 8 and 10 dB in the angular region of the second and third sidelobe levels. One would expect some of the far-out sidelobe regions to increase; however, the reductions obtained in the levels of the near-in sidelobes could warrant a trade-off.
Moving frame technique for planar acoustic holography (1998)

Acoustic holography is one of the best methods to visualize sound fields. The quality of the visualized sound is primarily determined by the size of the hologram, its microphone spacing, and the number of microphones. This paper describes a way to virtually increase the hologram size and the spatial resolution of the holograph. For a stationary sound field, the method continuously sweeps the sound field by a line array of microphones. For moving sound sources, radiating sound is measured by using a line array of microphones fixed in space. In both cases, the measured signals have Doppler effects. The theoretical formulation has been systematically addressed by employing a moving coordinate which has relative motion between the measurement coordinate and the hologram coordinate. Simulations and experiments support the proposed theory. The drawback is that the method is only applicable to discrete frequencies.
Phosphorescent 2-, 3- and 4-coordinate cyclic (alkyl)(amino)carbene (CAAC) Cu(<scp>i</scp>) complexes (2017)

The photophysical properties of several Cu(i) complexes coordinated with cyclic (alkyl)(amino)carbene (CAAC) ligands were examined. All the compounds were found to be phosphorescent, regardless of whether they are 2-, 3- or 4-coordinated. Aggregate and excimer emission were observed from 2-coordinate CAAC-CuCl derivatives in methylcyclohexane solution. Emission from the complex 4-coordinated with a trispyrazolylborate ligand is red-shifted with respect to both the chloro-derivative and an analogous complex with an NHC ligand.
A multi-agent system for dynamic just-in-time manufacturing production scheduling (2005)

This work proposes an agent-based system for supporting dynamic scheduling in manufacturing. The ability of dynamic scheduling allows manufacturing production systems to promptly react to on-line demand variations, or in general to unexpected events, as required by the modern "agile" manufacturing paradigm. Multi-agent systems (MASs) have been indicated as a possible enabling factor for agility in manufacturing. This paper considers a class of dynamic scheduling problems characterized by a just-in-time objective and devises an on-line scheduling heuristic based on a multi-agent architecture. An experimental analysis is performed to compare different heuristic configurations with other non-agent-based ones. The results obtained show the effectiveness of the approach.
Next Generation Thin Films for Photovoltaics: InGaAsN (1999)

A new semiconductor alloy system, InGaAsN, has been identified as a can- didate material for multi junction solar cells having efficiencies greater than 40%. The introduction of small amounts of nitrogen ( 2%) into the InGaAs alloy system greatly reduces the band gap energy, with reductions approaching 0.4 eV for 2% nitrogen content With the appropriate ratio of indium to nitrogen concentrations, InGaAsN can be lattice matched to GaAs.