gebhart/patrepeval huggingface dataset:
Towards precise metrics for predicting graph query performance (2013)

Queries are the foundations of data intensive applications. In model-driven software engineering (MDSE), model queries are core technologies of tools and transformations. As software models are rapidly increasing in size and complexity, most MDSE tools frequently exhibit scalability issues that decrease developer productivity and increase costs. As a result, choosing the right model representation and query evaluation approach is a significant challenge for tool engineers. In the current paper, we aim to provide a benchmarking framework for the systematic investigation of query evaluation performance. More specifically, we experimentally evaluate (existing and novel) query and instance model metrics to highlight which provide sufficient performance estimates for different MDSE scenarios in various model query tools. For that purpose, we also present a comparative benchmark, which is designed to differentiate model representation and graph query evaluation approaches according to their performance when using large models and complex queries.
Constitutive equations for thixotropic fluids (2015)

To distinguish it clearly from nonlinear viscoelasticity, we define “ideal thixotropy” as “a time-dependent viscous response to the history of the strain rate, with fading memory of that history,” endowing such fluids with memory but no elasticity. An “ideal thixotropic fluid” has instantaneous stress relaxation upon cessation of flow and no elastic recoil on removal of stress. We describe “nonideal thixotropic” fluids as those whose viscoelastic time scales governing stress relaxation are much shorter than those governing the thixotropic response. This ensures that a clear distinction can be maintained between “thixotropy” and “nonlinear viscoelasticity.” The stress tensor for an ideal thixotropic fluid can in general be expressed as a contraction product of a fourth rank viscosity tensor with the velocity gradient tensor, in which the viscosity tensor depends on the history of the flow. We show examples of constitutive equations that meet the definitions of ideal thixotropy or nonideal thixotropy. We also show examples of constitutive equations that have been designated as “thixotropic” by virtue of containing an equation for evolution of a “structure parameter,” but whose behavior is indistinguishable from that of ordinary nonlinear viscoelasticity, and so should not be considered thixotropic.
Adaptation of a colorimetric microtitration assay for quantifying Pasteurella haemolytica A1 leukotoxin and antileukotoxin (1987)

A colorimetric microtitration assay was adapted to quantify the cytotoxicity of Pasteurella haemolytica A1 leukotoxin to bovine neutrophils used as target cells. The viability of leukotoxin-treated target cells was detected by use of a tetrazolium dye that living cells reduced to dark blue formazan. The amount of formazan formed (which was quantified by use of an ELISA plate reader) was directly proportional to the number of viable target cells. This assay system also was used to measure leukotoxin-neutralization antibody titers of bovine serum and lung lavage specimens obtained during vaccination experiments. The major advantages of this assay over other methods such as the 51Cr-release and trypan blue-exclusion assays are precision, rapidity, and low cost; it also does not use radioisotopes.
Statistical recovery of wideband speech from narrowband speech (1992)

We present an algorithm to generate wideband speech from a narrow band version of the same. The main body of the algorithm is a statistical recovery function (SRF), which predicts the highband spectrum based solely on the narrowband spectrum. The performance of the algorithm has been measured both in terms of spectral distortion and spectral signal-to-noise ratio (SNR). We obtained a 3 dB gain in SNR for the reconstructed wideband speech as compared to the narrowband speech. >
In-fab identification of silicon wafers with clean, laser marked barcodes (2002)

All AT&T MOS cleanrooms uniquely identify and track individual wafers in the manufacturing process. Recently, we have developed a new technique to put a laser marked barcode on the front surface of the wafer which adds no detectable particles. The mark itself is an adaptation of the SEMI T1 specification which is popularly referred to as BC412. Unlike the SEMI specification, our BC412 barcode is marked on the top of the wafer during the actual wafer fabrication process. Since the marking is done in the cleanroom, a clean marking technology is absolutely essential. Also the front side mark presents challenges to the barcode readers due to process related surface variations. This paper discusses the reasons for individual wafer tracking and reviews some of the benefits we have seen in practice. We compare the front side, clean barcode to other types of wafer identification techniques. We also discuss the marking technology required for clean marking and the reading technology necessary for front side BC412.
Study of Data Fusion of AIS and Radar (2009)

In this paper, the function and necessity of target data fusion of radar and automatic identification system (AIS) are discussed. The characteristic and difference of tracking performance, target data category and precision between radar and AIS are analyzed. We propose a fuzzy fusion extrapolation method for target tracking data fusion processing based on AIS and radar. The proposed method can improve the performance and stability of vessel traffic service by AIS.
Antigen-induced inhibition of experimental allergic encephalomyelitis. III. Localization of an inhibitory site distinct from the major encephalitogenic determinant of myelin basic protein. (1975)

Defined peptide fragments were isolated from the N-terminal half of the myelin basic protein (BP) molecule and employed for antigen-induced inhibition of experimental allergic encephalomyelitis (EAE). Guinea pigs pretreated with peptide 44-89, obtained by limited pepsin digestion and purified by column chromatography, were significantly protected against EAE subsequently induced by sensitization with BP in complete Fruend's adjuvant. Peptide 1-20, derived by cyanogen bromide cleavage, did not inhibit EAE, nor did the synthetic EAE peptide (residues 114-122), although this peptide was only weakly encephalitogenic for guinea pigs. These findings directly support our previous conclusion that different sites on the BP molecule are responsible for induction and inhibition of EAE, and suggest that disease inhibition can be attributed, at least in part, to a site within peptide 44-89.
Amine Oxidase (1966)

are copper proteins (7-9).However,
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation (2019)

This paper presents a technique to scan neural network based AI models to determine if they are trojaned. Pre-trained AI models may contain back-doors that are injected through training or by transforming inner neuron weights. These trojaned models operate normally when regular inputs are provided, and mis-classify to a specific output label when the input is stamped with some special pattern called trojan trigger. We develop a novel technique that analyzes inner neuron behaviors by determining how output activations change when we introduce different levels of stimulation to a neuron. The neurons that substantially elevate the activation of a particular output label regardless of the provided input is considered potentially compromised. Trojan trigger is then reverse-engineered through an optimization procedure using the stimulation analysis results, to confirm that a neuron is truly compromised. We evaluate our system ABS on 177 trojaned models that are trojaned with various attack methods that target both the input space and the feature space, and have various trojan trigger sizes and shapes, together with 144 benign models that are trained with different data and initial weight values. These models belong to 7 different model structures and 6 different datasets, including some complex ones such as ImageNet, VGG-Face and ResNet110. Our results show that ABS is highly effective, can achieve over 90% detection rate for most cases (and many 100%), when only one input sample is provided for each output label. It substantially out-performs the state-of-the-art technique Neural Cleanse that requires a lot of input samples and small trojan triggers to achieve good performance.
Motion planning algorithms for a group of mobile agents (2008)

Building autonomous mobile agents has been a major research effort for a while\nwith cooperative mobile robotics receiving a lot of attention in recent times. Motion\nplanning is a critical problem in deploying autonomous agents. In this research we\nhave developed two novel global motion planning schemes for a group of mobile agents\nwhich eliminate some of the disadvantages of the current methods available. The first\nis the homotopy method in which the planning is done in polynomial space. In this\nmethod the position in local frame of each mobile agent is mapped to a complex\nnumber and a time varying polynomial contains information regarding the current\npositions of all mobile agents, the degree of the polynomial being the number of\nmobile agents and the roots of the polynomial representing the position in local\nframe of the mobile agents at a given time. This polynomial is constructed by finding\na path parameterized in time from the initial to the goal polynomial (represent the\ninitial and goal positions in local frame of the mobile agents) so that the discriminant\nvariety or the set of polynomials with multiple roots is avoided in polynomial space.\nThis is equivalent to saying that there is no collision between any two agents in going\nfrom initial position to goal position. The second is the homogeneous deformation\nmethod. It is based on continuum theory for motion of deformable bodies. In this\nmethod a swarm of vehicles is considered at rest in an initial configuration with no\nrestrictions on the initial shape or the locations of the vehicles within that shape. A\nmotion plan is developed to move this swarm of vehicles from the initial configuration to a new configuration such that there are no collisions between any vehicles at\nany time instant. It is achieved via a linear map between the initial and desired\nfinal configuration such that the map is invertible at all times. Both the methods\nproposed are computationally attractive. Also they facilitate motion coordination\nbetween groups of mobile agents with limited or no sensing and communication.
Solar UV Geometric Conversion Factors: Horizontal Plane to Cylinder Model<sup>†</sup> (2010)

Most solar UV measurements are relative to the horizontal plane. However, problems arise when one uses those UV measurements to perform risk or benefit assessments because they do not yield the actual doses people get while they are outdoors. To better estimate the UV doses people actually get while outdoors, scientists need geometric conversion factors (GCF) that change horizontal plane irradiances to average irradiances on the human body. Here we describe a simple geometric method that changes unweighted, erythemally weighted and previtamin D(3)-weighted UV irradiances on the horizontal plane to full cylinder and semicylinder irradiances. Scientists can use the full cylinder model to represent the complete human body, while they can use the semicylinder model to represent the face, shoulders, tops of hands and feet. We present daily, monthly and seasonally calculated averages of the GCF for these cylinder models every 5 degrees from 20 to 70 degrees N so that scientists can now get realistic UV doses for people who are outdoors doing a variety of different activities. The GCF show that people actually get less than half their annual erythemally weighted, and consequently half their previtamin D(3)-weighted, UV doses relative to the horizontal plane. Thus, scientists can now perform realistic UV risk and benefit assessments.
Verification of a microcontroller IP core for system-on-a-chip designs using low-cost prototyping environments (2004)

Rapid prototyping is a fast and efficient way for the functional verification of systems-on-a-chip in an early stage of the design process. Because of the rising part of software in those systems the use and reuse of microcontroller IP cores is necessary to keep development cycles short. Today, prototyping of such IP cores is done with large and expensive hardware emulation machines consisting of many processor or FPGA-based prototyping boards. In this paper the authors describe an alternative prototyping method for microcontrollers using one low-cost FPGA-based prototyping board. The method is based on the efficient usage of all resources of the prototyping system to emulate special parts of the microcontroller.
Forensic analysis of skimming devices for credit fraud detection (2010)

Magnetic stripe cards are widely used by many different organizations to provide both convenience and security. These types of cards are often relied on identification and personal authentication. However, they are not designed to withstand attacks that use the sophisticated technologies available today. For instance, skimming takes advantages of the fact that the digital content of a magnetic stripe card can be copied with perfection. The goal of this research paper is to introduce the range of devices available for manipulating magnetic stripe card data, demonstrate the ease by which magnetic stripe cards are often fraudulently cloned and analyze how such devices can be processed in a forensically sound manner.
Novel gigh gain metamaterial antenna radome for WiMAX operation in the 5.8-GHz band (2007)

The dipole antenna with a metamaterial antenna radome is to enhance antenna operation near 5-GHz band have been simulated and discussed in [1]. In this paper, the high gain patch antenna design using meta-material technology is successfully constructed and measured. With the thin meta-material antenna radome (only 0.06λ <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">0</inf> including the air gap between the antenna radome and the patch antenna), the improved antenna gain can be up to 2.3 dB in the WiMAX 5.8-GHz band compared with ordinary FR4 substrate patch antenna. The impedance bandwidth of the proposed antenna is about 350 MHz (5.56–5.91-GHz, defined by 2:1 VSWR).
On the apparent relation between adhesive failure and melt fracture (1990)

Views Icon Views Article contents Figures & tables Video Audio Supplementary Data Peer Review Share Icon Share Twitter Facebook Reddit LinkedIn Tools Icon Tools Reprints and Permissions Cite Icon Cite Search Site Citation Davide A. Hill, Tomiichi Hasegawa, Morton M. Denn; On the apparent relation between adhesive failure and melt fracture. J. Rheol. 1 August 1990; 34 (6): 891–918. https://doi.org/10.1122/1.550105 Download citation file: Ris (Zotero) Reference Manager EasyBib Bookends Mendeley Papers EndNote RefWorks BibTex toolbar search Search Dropdown Menu toolbar search search input Search input auto suggest filter your search All ContentThe Society of RheologyJournal of Rheology Search Advanced Search |Citation Search
Novel System for Bite-Force Sensing and Monitoring Based on Magnetic Near Field Communication (2012)

Intraoral devices for bite-force sensing have several applications in odontology and maxillofacial surgery, as bite-force measurements provide additional information to help understand the characteristics of bruxism disorders and can also be of help for the evaluation of post-surgical evolution and for comparison of alternative treatments. A new system for measuring human bite forces is proposed in this work. This system has future applications for the monitoring of bruxism events and as a complement for its conventional diagnosis. Bruxism is a pathology consisting of grinding or tight clenching of the upper and lower teeth, which leads to several problems such as lesions to the teeth, headaches, orofacial pain and important disorders of the temporomandibular joint. The prototype uses a magnetic field communication scheme similar to low-frequency radio frequency identification (RFID) technology (NFC). The reader generates a low-frequency magnetic field that is used as the information carrier and powers the sensor. The system is notable because it uses an intra-mouth passive sensor and an external interrogator, which remotely records and processes information regarding a patient's dental activity. This permits a quantitative assessment of bite-force, without requiring intra-mouth batteries, and can provide supplementary information to polysomnographic recordings, current most adequate early diagnostic method, so as to initiate corrective actions before irreversible dental wear appears. In addition to describing the system's operational principles and the manufacture of personalized prototypes, this report will also demonstrate the feasibility of the system and results from the first in vitro and in vivo trials.
Chemistry of Carbon Compounds. Volume I, General and Aliphatic Compounds (1953)

ADVERTISEMENT RETURN TO ISSUEPREVBook and Media Revie...Book and Media ReviewNEXTChemistry of Carbon Compounds. Volume I, General and Aliphatic CompoundsThomas L. Jacobs Cite this: J. Chem. Educ. 1953, 30, 2, 100Publication Date (Print):February 1, 1953Publication History Received3 August 2009Published online1 February 1953Published inissue 1 February 1953https://doi.org/10.1021/ed030p100.2RIGHTS & PERMISSIONSArticle Views83Altmetric-Citations-LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InReddit PDF (1 MB) Get e-Alerts Get e-Alerts
Drying of solids wetted by thin liquid films (1990)

(i) A film of a nonwetting liquid is not stable. If it is thick (thickness e ≥ 1000 Å) it is metastable and evolves via nucleation and growth of a dry spot. If it is thin, it is unstable against spinodal decomposition (amplification of thermal undulations) and breaks into microscopic droplets of size ~e 2 /a (a = a molecular size), (ii) A film made with a wetting liquid is metastable and tends to shrink whenever e < e S (the equilibrium thickness of the wetting layer). Contrary to case (i) where the growth of a dry patch is controlled by capillary forces, the central role for drying in case (ii) is played by long-range forces, and the only process is nucleation and growth.
Targeting microglia L‐type voltage‐dependent calcium channels for the treatment of central nervous system disorders (2020)

Calcium (Ca<sup>2+</sup> ) is a ubiquitous mediator of a multitude of cellular functions in the central nervous system (CNS). Intracellular Ca<sup>2+</sup> is tightly regulated by cells, including entry via plasma membrane Ca<sup>2+</sup> permeable channels. Of specific interest for this review are L-type voltage-dependent Ca<sup>2+</sup> channels (L-VDCCs), due to their pleiotropic role in several CNS disorders. Currently, there are numerous approved drugs that target L-VDCCs, including dihydropyridines. These drugs are safe and effective for the treatment of humans with cardiovascular disease and may also confer neuroprotection. Here, we review the potential of L-VDCCs as a target for the treatment of CNS disorders with a focus on microglia L-VDCCs. Microglia, the resident immune cells of the brain, have attracted recent attention for their emerging inflammatory role in several CNS diseases. Intracellular Ca<sup>2+</sup> regulates microglia transition from a resting quiescent state to an "activated" immune-effector state and is thus a valuable target for manipulation of microglia phenotype. We will review the literature on L-VDCC expression and function in the CNS and on microglia in vitro and in vivo and explore the therapeutic landscape of L-VDCC-targeting agents at present and future challenges in the context of Alzheimer's disease, Parkinson's disease, Huntington's disease, neuropsychiatric diseases, and other CNS disorders.
Development of novel ionic liquids based on ampicillin (2012)

Novel ionic liquids containing ampicillin as an active pharmaceutical ingredient anion were prepared with good yields by using a new, efficient synthetic procedure based on the neutralization of a moderately basic ammonia solution of ampicillin with different organic cation hydroxides. The relevant physical and thermal properties of these novel ionic liquids based on ampicillin were also evaluated.
Some reflections on science in the low income economies (1993)

In early 1992, the World Bank's Science Group asked the author to present his thoughts on the subject of science in developing countries. This paper, which covers the material presented in his lecture, discusses the role of science in history and in different parts of the world, especially the developing world. Based on his own experience, the author proposes a number of initiatives that the Bank may undertake to help developing countries benefit from the immense development opportunities offered by science. Among them are the need for long-term face-to-face collaborations with scientists in low-income economies; revising the science curricula to focus on natural history, particularly observation and experimentation with local flora and fauna, and use a mix of new techniques with traditional methods; improving scientific literacy at all levels; encouraging science-connected entrepreneurial activity; using emigre scientists as a bridge to their home countries; subsidizing the costs of scientific literature and computer access; supporting conferences and other exchanges; and providing advisory services.