gebhart/patrepeval huggingface dataset:
Metamodel Search: Using XPath to Search Domain-Specific Models (2005)

A common task that is often needed in many software development tools is the capability to search the artifact that is being created in a flexible and efficient manner. However, this capability is typically absent in meta-programmable modeling tools, which can be a serious disadvantage as the size of a model increases. As a remedy, we introduce a method to search domain models using XPath – a World Wide Web Consortium (W3C) standard that uses logical predicates to search an XML document. In this paper, an XPath search engine is described that traverses the internal representation of a modeling tool (rather than an XML document) and returns those model entities that match the XPath predicate expression. A set of search queries are demonstrated on a case study.
Recent developments in miniemulsion polymerization (1996)

Abstract Some developments in miniemulsion polymerization aiming at taking advantage of its unique mechanisms minimizing the drawbacks of this technique are discussed. The discussion includes preparation of highly concentrated latexes, miniemulsion polymerization in continuous stirred tank reactors (CSTRs), and elimination of the low‐molecular‐weight hydrophobe.
A wearable, pocket-sized processor for digital hearing aid and other hearing prostheses applications (2005)

Studies of wearable hearing prostheses such as digital hearing aids, multichannel vibrotactile aids, and cochlear implants have been restricted to rather simple circuits. The availability of small, high performance, digital signal processors has made it possible to implement models of hearing prostheses in real time. And, it is now possible to implement these models in wearable form with low-power digital signal processors. A wearable signal processor is described in this paper that is intended for the study of a four-channel, instantaneous compression hearing aid. In addition, other possible applications, such as a 16-channel vibrotactile aid and the modeling of cochlear implant devices are considered.
Epidemiology of Toxic Shock Syndrome in the United States: Overview (1989)

Studies were undertaken to detect a possible reporting or diagnostic bias that might have affected the results of previous epidemiologic investigations of toxic shock syndrome (TSS). The methods used in this reassessment of initial findings regarding TSS epidemiology (which were obtained through passive- and active-surveillance systems) included record review and analysis of discharge diagnoses. Results obtained with both the latter methods confirmed the broad outlines of the descriptive epidemiology of TSS. Some recent studies have focused on nonmenstrual cases of TSS and on risk factors for the development of TSS. Key findings include the more frequent isolation from nonmenstrual TSS cases of Staphylococcus aureus strains not producing TSS toxin 1 and a higher case-fatality rate for cases in men and for "non-vaginal" cases in women than for vaginal cases (defined as menstrual, postpartum, vaginal nonmenstrual, and contraceptive cases). Studies of the relation between tampon use and TSS suggest that both the degree of absorbency and the chemical composition of the tampon are involved; however, the mechanism by which tampons increase the risk of TSS remains unknown. Contraceptive sponges and diaphragms may be linked to an increased risk of nonmenstrual TSS, whereas oral contraceptives may play a protective role; these possibilities require further study.
Biochemical, biological, and immunological properties of chemically deglycosylated human choriogonadotropin. (1982)

A chemical method of deglycosylation of human choriogonadotropin (hCG) was used to assess the role of carbohydrate moiety in the maintenance of quaternary structure and functional parameters such as receptor binding, immunological activity, and in vitro biological response. Treatment of purified hCG with anhydrous HF at 0 degrees C for 60 min was effective in removing more than 75% of the carbohydrate moiety. This extent of deglycosylation altered its chromatographic characteristics as revealed by retarded behavior on Sephadex G-100 and failure to be retained on concanavalin A-Sepharose. The electrophoretic heterogeneity present in native hCG was markedly reduced by deglycosylation. The deglycosylated hCG was stable in the lyophilized form and retained its quaternary structure as revealed by the fluorescence probe 8-anilino 1-naphthalene sulfonic acid, receptor binding, and immunological activities. Unlike receptor binding and immunological activities, which were fully retained, the ability of the hormone to stimulate cyclic AMP accumulation in vitro in rat interstitial cells was completely abolished.
Expression and molecular analysis of mutations in prolidase deficiency. (1996)

Prolidase (E.C.3.4.13.9) cleaves iminodipeptides. Prolidase deficiency (PD; McKusick 170100) is an autosomal recessive disorder with highly variable penetrance. We have identified two novel alleles in the prolidase gene (PEPD) by direct sequencing of PCR-amplified cDNA from a PD individual asymptomatic at age 11 years: a 551G-->A transition in exon 8 (R184Q) and a 833G-->A transition in exon 12 (G278D). To assess the biochemical phenotypes of these and two previously identified PEPD mutations (G448R and delE452), we have designed a transient-expression system for prolidase in COS-1 cells. The enzyme was expressed as a fusion protein carrying an N-terminal tag, the HA1 epitope of influenza hemagglutinin, allowing its immunological discrimination from the endogenous enzyme with a monoclonal antibody. Expression of the R184Q mutation produced 7.4% of control enzymatic activity whereas the expression of the G278D, G448R, and delE452 mutations produced inactive enzymes. Western analysis of the R184Q, G278D, and G448R prolidases revealed stable immunoreactive material whereas the delE452 prolidase was not detectable. Pulse-chase metabolic labeling of cells followed by immunoprecipitation revealed that the delE452 mutant protein was synthesized but had an increased rate of degradation.
Handling sectional views in volume-based approach to automatically construct 3D solid from 2D views (2004)

This paper presents an algorithm for solid model reconstruction from 2D sectional views based on volume-based approach. None of the existing work in automatic reconstruction from 2D orthographic views have addressed sectional views in detail. It is believed that the volume-based approach is better suited to handle different types of sectional views. The volume-based approach constructs the 3D solid by a Boolean combination of elementary solids. The elementary solids are formed by sweep operation on loops identified in the input views. The only adjustment to be made for the presence of sectional views is in the identification of loops that would form the elemental solids. In the algorithm, the conventions of engineering drawing for sectional views, are used to identify the loops correctly. The algorithm is simple and intuitive in nature. Results have been obtained for full sections, offset sections and half sections. Future work will address other types of sectional views such as removed and revolved sections and broken-out sections.
Voriconazole and Sirolimus Coadministration after Allogeneic Hematopoietic Stem Cell Transplantation (2006)

Sirolimus is increasingly used in transplantation for prevention and treatment of graft-versus-host disease and organ rejection. Voriconazole is contraindicated when used concomitantly with sirolimus because of a substantial increase in sirolimus drug exposure with unadjusted dosing, but voriconazole is also considered the best initial treatment of invasive aspergillosis and other fungal infections. Patients who received voriconazole and sirolimus concomitantly were identified by a review of the medical records of all allogeneic hematopoietic stem cell recipients at our institution from September 1, 2002, to June 1, 2005. Data including baseline characteristics, indications for both drugs, and potential adverse effects were evaluated. Eleven patients received voriconazole and sirolimus concomitantly for a median of 33 days (range, 3-100 days). In 8 patients whose sirolimus dose was initially reduced by 90%, trough sirolimus levels were similar to those obtained before the administration of voriconazole; no obvious significant toxicity from either drug was observed during coadministration. Serious adverse events were observed in 2 patients in whom sirolimus dosing was not adjusted during voriconazole administration. Sirolimus and voriconazole may be safely coadministered if there is an empiric initial 90% sirolimus dose reduction combined with systematic monitoring of trough levels.
Wideband programmable SAW filters (2002)

Programmable SAW filters represent a technology that makes use of dynamic tap weighting to enhance the capabilities of SAW devices. The prospect of tunable center frequency, selectable bandwidth, and adaptive interference suppression continue to spur interest in this technology. For the SAW IDT electrodes in our work we utilize a modified version of the two-transformer electronic circuit model (ECM) developed by Ballato (1972) for BAW devices. The simulation results using the Ballato ECM are consistent with analytical results for SAW IDT radiation conductance and susceptance and overall two-port frequency response for a SAW delay line. In this paper the Ballato ECM is corroborated with experimental data for YZ-LiNbO/sub 3/. Datta-Hunsinger models have been used to calculate the mechanical scattering associated with electrode arrays. Further, we offer a method for using digital filter design tools in MATLAB for synthesizing programmable SAW filters. Simulations predict, for example, that with the Kosinski filter topology, we can tune the frequency response from 150 MHz to 250 MHz for bandwidths of 10 MHz. We present experimental results for a 4-tap programmable SAW filter with output tap weighting.
Security policy realization in an extensible operating system (2002)

We describe the practical application of security to extensible operating systems, focusing on the SPIN extensible OS. Because SPIN and other extensible operating systems support the loading of user-developed extensions directly into the kernel, they require the application of traditional user-level security in addition to kernel-level security, to prevent kernel extensions from subverting kernel functionality. In order to show that such an approach to extensible OS security is possible and practical, we augmented the existing security architecture of SPIN, maintaining the separation between policy mediation and enforcement. Several well-known user-level policies, described here, are supported in the architecture. In addition, we have introduced kernel-level security through the separation of kernel code into segments and the enforcement of a domain/type policy on threads as they progress through system code. Finally, we have devised a useful domain/type policy extensibility strategy that is conservative, but preserves the existing policy.
Inheritance of the blue aleurone trait in diverse wheat crosses (1990)

The blue aleurone trait has been suggested as a useful genetic marker in wheat (Triticum aestivum L.). However, little information is available on its transmission in diverse backgrounds and on its use to identify hybrid seed. UC66049, a hexaploid spring wheat with a spontaneous translocation that included the gene for the blue aleurone trait (Ba) from Agropyron elongatum (Host) P.B. (synonymous with Elytrigia pontica (Podp.) Holub), was crossed to seven wheat cultivars to test the transmission of the trait. UC66049 was crossed to male-sterile red wheat lines to evaluate the blue aleurone trait as a marker for confirming hybridity. Ba segregated as a dominant gene that was transmitted normally through the male and female gametes. For 6 of 7 crosses with diverse pedigrees, we experienced problems with misclassification of the aleurone color in the F 2 seed generation, determined by the F 3 seed family data. The blue aleurone trait is a good genetic marker; however, progeny testing may be needed to confirm the F 2 genotypes in some environments or genetic backgrounds. Moreover, Ba is useful in determining the amount of controlled hybridity as opposed to self-fertility and (or) outcrossing in genetic male-sterile wheat lines. The use of Ba to confirm doubled haploidy was proposed.Key words: Agropyron elongatum, seed color, genetics, Triticum aestivum, Elytrigia pontica.
DeepRacer: Educational Autonomous Racing Platform for Experimentation with Sim2Real Reinforcement Learning (2019)

DeepRacer is a platform for end-to-end experimentation with RL and can be used to systematically investigate the key challenges in developing intelligent control systems. Using the platform, we demonstrate how a 1/18th scale car can learn to drive autonomously using RL with a monocular camera. It is trained in simulation with no additional tuning in physical world and demonstrates: 1) formulation and solution of a robust reinforcement learning algorithm, 2) narrowing the reality gap through joint perception and dynamics, 3) distributed on-demand compute architecture for training optimal policies, and 4) a robust evaluation method to identify when to stop training. It is the first successful large-scale deployment of deep reinforcement learning on a robotic control agent that uses only raw camera images as observations and a model-free learning method to perform robust path planning. We open source our code and video demo on GitHub: https://git.io/fjxoJ.
A Link between Apoptosis and Degree of Phosphorylation of High Mobility Group A1a Protein in Leukemic Cells (2001)

Nuclear phosphoprotein HMGA1a, high mobility group A1a, (previously HMGI) has been investigated during apoptosis. A change in the degree of phosphorylation of HMGA1a has been observed during apoptosis induced in four leukemic cell lines (HL60, K562, NB4, and U937) by drugs (etoposide, camptothecin) or herpes simplex virus type-1. Both hyper-phosphorylation and de-phosphorylation of HMGA1a have been ascertained by liquid chromatography-mass spectrometry. Hyper-phosphorylation (at least five phosphate groups/HMGA1a molecule) occurs at the early apoptotic stages and is probably related to HMGA1a displacement from DNA and chromatin release from the nuclear scaffold. De-phosphorylation (one phosphate or no phosphate groups/HMGA1a molecule) accompanies the later formation of highly condensed chromatin in the apoptotic bodies. We report for the first time a direct link between the degree of phosphorylation of HMGA1a protein and apoptosis according to a process that involves the entire amount of HMGA1a present in the cells and, consequently, whole chromatin. At the same time we report that variously phosphorylated forms of HMGA1a protein are also mono-methylated.
Fiber Crimp And Crimp Stability In Nonwoven Fabric Processes (2000)

In nonwovens, crimp characteristics of synthetic fibers are, along with finish, major contributors to processing efficiency, web cohesion, fabric bulk and bulk stability. However, the meaning of measurable crimp parameters and their influence on processing and fabric characteristics has not been quantified. The purpose of this study is to quantify the mechanical fiber behavior during crimp removal, and relate it to fundamental fiber properties, nonwoven fabric properties, and processibility in nonwoven equipment.Single fiber tensile tests in the crimp removal region have been performed on various fibers with the Textechno FAVIMAT and have also been monitored optically. Based on empirical evidence, a basic understanding of the physical crimp removal mechanism is obtained. A methodology is developed, to identify the true crimp removal region of the whole single fiber load-extension curve during a tensile test. A mechanical model accounting for the nonlinear load-deflection behavior during crimp removal is developed. According to this model, a logarithmic function can be used to describe the material behavior in the crimp node during crimp removal. This function is fit to experimental data and delivers two fitting parameters that characterize the shape of the experimental load-extension curve in the crimp region.The extracted characteristic crimp parameters are being evaluated in terms of fiber material characteristics, such as fiber type, crimp processing settings and carding performance during nonwoven production. A dependence of the shape of the crimp removal curve on crimping settings during crimp production is established. The characteristic crimp parameters are also correlated to the sequence of processing stages during nonwoven production and cylinder speed during carding.
ChemInform Abstract: Cross‐Coupling of Magnesium Diacetylides with Organic Halides Catalyzed by Transition Metal Complexes. (1988)

Abstract The magnesium diacetylides (I) react with the halides (II) in the presence of Ni, Pd, or Cu catalysts to give the disubstituted acetylenes (III).
Forced Raman scattering in air by a two-frequency laser beam (1989)

Stimulated Raman scattering in atmospheric nitrogen has been observed using two copropagating high power laser beams at 1.064 mu m and 1.053 mu m from a neodymium glass laser. This is due to the near coincidence of the beat frequency at 98.2 cm-1 with a rotational line of nitrogen (transition between J=11 and J=13) at 99 cm-1. The beams were of total intensity 6*109 W cm-2 and had a common air path of approximately=30 m. Large amplitude Stokes and anti-Stokes sidebands up to one half the pump beam intensity were generated. The observations are compared with a theoretical treatment of the interaction.
A verified connection management protocol for the transport layer (1987)

We specify and verify a connection management protocol for use between entities connected by channels that can lose, reorder, and duplicate messages. The protocol is symmetric. Each entity is in one of the following states: closed, listen, open, active opening, passive opening, or closing. The first three are stable states to be exited only by user request, while the last three are transient states. Each entity maintains a local incarnation number at all times, and a remote incarnation number only when opening, open, and closing. Our protocol employs the 3-way handshake used in TCP and ISO Transport Protocol (Class 4). We verify the safety property that when an entity is open, its remote incarnation number matches the remote entity's local incarnation number. This ensures that data messages from past connection instances are not delivered to the user. We verify the following progress properties: an actively opening entity will eventually establish a connection, provided that the remote entity is willing to communicate or is itself actively opening; the states of active opening, passive opening, and closing are transient; if the entities remain closed, the channels will eventually become empty, assuming messages have a maximum lifetime. This protocol specification can be immediately combined with the data transfer protocol specifications presented in [SHAN1, SHAN2, SHAN3] to provide a transport layer protocol with the functions of connection management and two-way data transfer. The verifications too can be immediately combined to provide a hierarchical verification of the multi-function protocol. The specifications and verifications can be combined because the connection management and data transfer protocols are images of the multi-function protocol. This illustrates the power of protocol projections in constructing multi-function protocols.
Continuous Recognition of Arm Activities With Body-Worn Inertial Sensors (2004)

This paper presents a new method for recognizing nonperiodic, sporadic arm-related activities in a continuous signal stream from body-worn inertial sensors. The method utilizes a segmentation scheme based on a natural, dynamic signal partitioning.
Kinetics of radionuclides used for bone studies. (1969)

In this paper we report our investigation to study the kinetics of five bone-seeking nuclides and to compare their local bone and plasma kinetics and urinary excretion rates in order to establish their relative usefulness for detecting and following up the course of metastatic bone lesions. The studies were quantitative, and they used quantitative and computerized scanning methods previously devel oped in this laboratory (1-3).
Thinned-PZT on SOI process and design optimization for piezoelectric inertial energy harvesting (2011)

This paper presents the design, fabrication, and testing of a thinned-PZT/Si unimorph for vibration energy harvesting. It produces a record power output and has state-of-the-art efficiency. The harvester utilizes thinning of bulk-PZT pieces bonded to an SOI wafer, and takes advantage of the similar thermal expansion between PZT and Si to minimize beam bending due to residual stress. Monolithic integration of a tungsten proof mass lowers the resonance frequency and increases the power output. The harvester dimensions, including the PZT/Si thickness ratio and the proof-mass/total-beam length ratio, are optimized via parametric multi-physics FEA. Additionally, a fabrication process for hermetic packaging of the harvester is introduced. It uses vertical Si vias for electrical feed-throughs. An unpackaged harvester with a tungsten proof mass produces 2.74 μW at 0.1 g (167 Hz), and 205 μW at 1.5 g (154 Hz) at resonance (here, g = 9.8 m/s <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> ). The active device volume is 27 mm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">3</sup> (7 × 7 × 0.55 mm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">3</sup> ). We report the highest power output, Normalized Power Density (N.P.D.), and Figure of Merit (N.P.D. × Bandwidth) amongst reported microfabricated vibration energy harvesters.
Emails as graph (2012)

In this paper, we present an approach for representing an email archive in the form of a network, capturing the communication among users and relations among the entities extracted from the textual part of the email messages. We showcase the method on the Enron email corpus, from which we extract various entities and a social network. The extracted named entities (NE), such as people, email addresses and telephone numbers, are organized in a graph along with the emails in which they were found. The edges in the graph indicate relations between NEs and represent a co-occurrence in the same email part, paragraph, sentence or a composite NE. We study mathematical properties of the graphs so created and describe our hands-on experience with the processing of such structures. Enron Graph corpus contains a few million nodes and is large enough for experimenting with various graph-querying techniques, e.g. graph traversal or spread of activation. Due to its size, the exploitation of traditional graph processing libraries might be problematic as they keep the whole structure in the memory. We describe our experience with the management of such data and with the relation discovery among the extracted entities. The described experience might be valuable for practitioners and highlights several research challenges.
Microfabrication and application of high-aspect-ratio silicon tips (2005)

We report a new process combining reactive ion etching (RIE) and deep RIE (DRIE) tools for microfabrication of high-aspect-ratio (HAR) silicon tips with heights &gt;40μm and aspect ratios of 7. We integrate atomic force microscope (AFM) cantilevers with HAR tips and compare AFM scans using an HAR tip and a commercial tip. Our results demonstrate the advantage of HAR tips for metrology applications.