gebhart/patrepeval huggingface dataset:
Unfold/fold transformations and loop optimization of logic programs (1988)

Programs typically spend much of their execution time in loops. This makes the generation of efficient code for loops essential for good performance. Loop optimization of logic programming languages is complicated by the fact that such languages lack the iterative constructs of traditional languages, and instead use recursion to express loops. In this paper, we examine the application of unfold/fold transformations to three kinds of loop optimization for logic programming languages: recursion removal, loop fusion and code motion out of loops. We describe simple unfold/fold transformation sequences for these optimizations that can be automated relatively easily. In the process, we show that the properties of unification and logical variables can sometimes be used to generalize, from traditional languages, the conditions under which these optimizations may be carried out. Our experience suggests that such source-level transformations may be used as an effective tool for the optimization of logic programs.
Avian Leukosis Retroviruses and Gene Transfer into the Avian Genome (2019)

To date, avian retroviruses remain the only method for transferring foreign genes into the avian germline. In this report, our results using avian leukosis retroviruses as vectors to transfer and express foreign gene constructs in chicken somatic and germ cells are summarized. In addition, the characteristics of two interesting transgenic chicken lines with desirable disease-resistance properties are discussed. Our attempt to develop Japanese quail as a transgenic animal model for poultry is also summarized.
Mutations in the tyrR gene of Escherichia coli which affect TyrR-mediated activation but not TyrR-mediated repression (1993)

Site-directed mutagenesis has been used to further characterize amino acid residues necessary for the activation of gene expression by the TyrR protein. Amino acid substitutions have been made at positions 2, 4, 5, 6, 7, 8, 9, 10, and 16. TyrR mutants with amino acid substitutions V-5-->P (VP5), VF5, CS7, CR7, DR9, RI10, RS10, and ER16 show no or very little activation of expression of either mtr or tyrP. In each case, however, the ability to repress aroF is unaltered. Amino acid substitutions at positions 4, 6, and 8 have no effect on activation. Small internal deletions of residues 10 to 19, 20 to 29, or 30 to 39 also destroy phenylalanine- or tyrosine-mediated activation of mtr and tyrP. In these mutants repression of aroF is also unaltered. In activation-defective tyrR mutants, expression of mtr is repressed in the presence of tyrosine. This tyrosine-mediated repression is trpR dependent and implies an interaction between TrpR and TyrR proteins in the presence of tyrosine.
Multilayer Electrolyzer Stack Converts Carbon Dioxide to Gas Products at High Pressure with High Efficiency (2019)

Electrochemical reduction of CO<sub>2</sub> is a value-added approach to both decrease the atmospheric emission of carbon dioxide and form valuable chemicals. We present a zero gap electrolyzer cell, which continuously converts gas phase CO<sub>2</sub> to products without using any liquid catholyte. This is the first report of a multilayer CO<sub>2</sub> electrolyzer stack for scaling up the electrolysis process. CO formation with partial current densities above 250 mA cm<sup>-2</sup> were achieved routinely, which was further increased to 300 mA cm<sup>-2</sup> (with ∼95% faradic efficiency) by pressurizing the CO<sub>2</sub> inlet (up to 10 bar). Evenly distributing the CO<sub>2</sub> gas among the layers, the electrolyzer operates identically to the sum of multiple single-layer electrolyzer cells. When passing the CO<sub>2</sub> gas through the layers consecutively, the CO<sub>2</sub> conversion efficiency increased. The electrolyzer <i>simultaneously</i> provides high partial current density, low cell voltage (-3.0 V), high conversion efficiency (up to 40%), and high selectivity for CO production.
Restenosis after balloon angioplasty. A practical proliferative model in porcine coronary arteries. (1990)

A model of proliferative human restenosis was developed in domestic pigs by using deep injury to the coronary arterial media. Metal wire coils were delivered percutaneously to the coronary arteries of 11 pigs with an oversized, high-pressure (14 atm) balloon and were left in place for times ranging from 28 to 70 days. During placement, the balloon expanded the coils and delivered them securely within the arterial lumen. Light microscopic examination of the vessels confirmed fracture of the internal elastic lamina by the coil. An extensive proliferative response occurred in 10 of the 11 pigs and was associated with a luminal area narrowing of at least 50% in all but one pig. The histopathologic features of the proliferative response were identical to those observed in human cases of restenosis after angioplasty. Immunohistochemical studies confirmed the prominence of smooth muscle cells in the proliferative tissue. A similar response was obtained in two of five porcine coronary arteries in which balloon in...
Jupiter: A Networked Computing Architecture (2019)

In the era of Internet of Things, there is an increasing demand for networked computing to support the requirements of the time-constrained, compute-intensive distributed applications such as multi-camera video processing and data fusion for security. We present Jupiter, an open source networked computing system that inputs a Directed Acyclic Graph (DAG)-based computational task graph to efficiently distribute the tasks among a set of networked compute nodes regardless of their geographical separations and orchestrates the execution of the DAG thereafter. This Kubernetes container-orchestration-based system supports both centralized and decentralized scheduling algorithms for optimally mapping the tasks based on information from a range of profilers: network profilers, resource profilers, and execution time profilers. While centralized scheduling algorithms with global knowledge have been popular among the grid/cloud computing community, we argue that a distributed scheduling approach is better suited for networked computing due to lower communication and computation overhead in the face of network dynamics. To this end, we propose and implement a new class of distributed scheduling algorithms called WAVE on the Jupiter system. We present a set of real world experiments on two separate testbeds - one a world-wide network of 90 cloud computers across 8 cities and the other a cluster of 30 Raspberry pi nodes, over a simple networked computing application called Distributed Network Anomaly Detector (DNAD). We show that despite using more localized knowledge, a distributed WAVE greedy algorithm can achieve similar performance as a classical centralized scheduling algorithm called Heterogeneous Earliest Finish Time (HEFT), suitably enhanced for the Jupiter system.
Komplexe mit Koordinationszahlen 2–12 und ihre stereochemischen Besonderheiten (1998)

Dieses Kapitel beinhaltet: Koordinationseinheiten mit niedrigen Koordinationszahlen (2–4) Koordinationseinheiten mit den Koordinationszahlen 5 und 6 Koordinationseinheiten mit den Koordinationszahlen 7–12
Nitrogen Oxides Emission Control Options for Coal-Fired Electric Utility Boilers (2005)

Recent regulations have required reductions in emissions of nitrogen oxides (NOx) from electric utility boilers. To comply with these regulatory requirements, it is increasingly important to implement state-of-the-art NOx control technologies on coal-fired utility boilers. This paper reviews NOx control options for these boilers. It discusses the established commercial primary and secondary control technologies and examines what is being done to use them more effectively. Furthermore, the paper discusses recent developments in NOx controls. The popular primary control technologies in use in the United States are low-NOx burners and overfire air. Data reflect that average NOx reductions for specific primary controls have ranged from 35% to 63% from 1995 emissions levels. The secondary NOx control technologies applied on U.S. coal-fired utility boilers include reburning, selective noncatalytic reduction (SNCR), and selective catalytic reduction (SCR). Thirty-six U.S. coal-fired utility boilers have installed SNCR, and reported NOx reductions achieved at these applications ranged from 15% to 66%. Recently, SCR has been installed at >150 U.S. coal-fired utility boilers. Data on the performance of 20 SCR systems operating in the United States with low-NOx emissions reflect that in 2003, these units achieved NOx emission rates between 0.04 and 0.07 lb/10(6) Btu.
graph2vec: Learning Distributed Representations of Graphs (2017)

Recent works on representation learning for graph structured data predominantly focus on learning distributed representations of graph substructures such as nodes and subgraphs. However, many graph analytics tasks such as graph classification and clustering require representing entire graphs as fixed length feature vectors. While the aforementioned approaches are naturally unequipped to learn such representations, graph kernels remain as the most effective way of obtaining them. However, these graph kernels use handcrafted features (e.g., shortest paths, graphlets, etc.) and hence are hampered by problems such as poor generalization. To address this limitation, in this work, we propose a neural embedding framework named graph2vec to learn data-driven distributed representations of arbitrary sized graphs. graph2vec's embeddings are learnt in an unsupervised manner and are task agnostic. Hence, they could be used for any downstream task such as graph classification, clustering and even seeding supervised representation learning approaches. Our experiments on several benchmark and large real-world datasets show that graph2vec achieves significant improvements in classification and clustering accuracies over substructure representation learning approaches and are competitive with state-of-the-art graph kernels.
Intrathecal eugenol administration alleviates neuropathic pain in male Sprague‐Dawley rats (2010)

The main objective of this study was to determine the central effect of eugenol on neuropathic pain when injected intrathecally at the level of the lumbar spinal cord. In a preliminary study the penetrability of eugenol was evaluated in the CNS of rats. Blood, brain and spinal cord samples were collected at selected time points following eugenol administration and concentrations were determined by tandem liquid chromatography-mass spectrometry. Brain-to-plasma and spinal cord-to-plasma ratios (3.3 and 6.7, respectively) suggest that eugenol penetrates relatively well the CNS of rats, with a preferential distribution in the spinal cord. Following the induction of neuropathic pain in rats using the sciatic nerve ligation model, intrathecal injections of eugenol were done to evaluate the central effect of eugenol. Treatment with 50 μg of eugenol significantly decreased secondary mechanical allodynia after 15 min, 2 h and 4 h (p < 0.05; <0.005; <0.05, respectively) and improved thermal hyperalgesia after 2 h and 4 h (p < 0.001 and p < 0.05). The results support the hypothesis that eugenol may alleviate neuropathic pain, both allodynia and hyperalgesia, by acting centrally most probably at the level of the dorsal horn of the spinal cord where vanilloid receptors can be found.
Aberrant expression of the S1P regulating enzymes, SPHK1 and SGPL1, contributes to a migratory phenotype in OSCC mediated through S1PR2 (2016)

Oral squamous cell carcinoma (OSCC) is a lethal disease with a 5-year mortality rate of around 50%. Molecular targeted therapies are not in routine use and novel therapeutic targets are required. Our previous microarray data indicated sphingosine 1-phosphate (S1P) metabolism and signalling was deregulated in OSCC. In this study, we have investigated the contribution of S1P signalling to the pathogenesis of OSCC. We show that the expression of the two major enzymes that regulate S1P levels were altered in OSCC: SPHK1 was significantly upregulated in OSCC tissues compared to normal oral mucosa and low levels of SGPL1 mRNA correlated with a worse overall survival. In in vitro studies, S1P enhanced the migration/invasion of OSCC cells and attenuated cisplatin-induced death. We also demonstrate that S1P receptor expression is deregulated in primary OSCCs and that S1PR2 is over-expressed in a subset of tumours, which in part mediates S1P-induced migration of OSCC cells. Lastly, we demonstrate that FTY720 induced significantly more apoptosis in OSCC cells compared to non-malignant cells and that FTY720 acted synergistically with cisplatin to induce cell death. Taken together, our data show that S1P signalling promotes tumour aggressiveness in OSCC and identify S1P signalling as a potential therapeutic target.
Gas Target Source for Neutron Radiation Therapy (1971)

The design criteria for a 1013 neutron/sec. source suitable for radiation therapy are discussed. The possibility of employing a differentially pumped gas target containing gaseous tritium is considered. It is concluded that a differentially pumped gas target is technically feasible and can provide the source strength required for neutron cancer therapy.
Protection of Mouse Brain from Aluminum-induced Damage by Caffeic Acid (2008)

The natural product caffeic acid is a specific inhibitor of 5-lipoxygenase (5-LOX); it also possesses antioxidant and antiinflammatory properties.The current study was designed to determine whether the neuroprotective properties of caffeic acid are due to inhibition of 5-LOX.Cerebral damage was induced in mice by intracerebroventricular microinjection of aluminum (5.0 µg aluminum in 2.0 µL, once a day, for 5 days).Caffeic acid was administered intragastrically at 30 min prior to aluminum and repeated daily for an additional 10 days.The brain injury was determined by observation of behavioral changes in mice, as well as by measuring biochemical and pathological changes in the cerebral tissue.The levels of 5-LOX proteins and 5-LOX mRNA expression were measured in brain tissue.Aluminum impaired learning and memory in mice produced neuronal death in hippocampi, elevated brain malondialdehyde levels, increased protein expression of amyloid precursor protein (APP), amyloid beta, and 5-LOX.It also increased 5-LOX mRNA expression and decreased choline acetyl transferase (ChAT) protein expression in the brain tissue of mice.Caffeic acid prevented brain damage as well as behavioral and biochemical changes caused by aluminum overload.The results of this study suggest that overexpression of 5-LOX accompanies the cerebral injury induced by aluminum overload in mice, and that selective inhibitors of 5-LOX may have potential value in the treatment of aluminum neurotoxicity and conceivably of diseases associated with neuronal injury.
Deuterium-labeled 2′-Hydroxypyridoxol (2003)

The preparation of [5′,5′-2H2]- and [2′,2′,5′,5′-2H4]-2′-hydroxypyridoxol, as well as of [5′,5′-2H2]-4-pyridoxic acid, starting from 3,4′-O-isopropylidenepyridoxol, is described. The labeled compounds were employed in an investigation of the biosynthesis of Vitamins B1 and B6.
Automatic Pallet Engagment by a Vision Guided Forklift (2006)

This paper presents a vision-guided control method called mobile camera-space manipulation (MCSM) that enables a robotic forklift vehicle to engage pallets based on a pallet’s actual current location by using feedback from vision sensors that are part of the robotic forklift. MCSM is capable of high precision mobile manipulation control without relying on strict camera calibration. The paper contains development of the method as well as experimental results with a forklift prototype in actual pallet engagement tasks. The technology could be added to AGV (automatically guided vehicle) systems enabling them to engage arbitrarily located pallets. It also could be added to standard forklifts as an operator assist capability.
Study on Laser Parameters for Silicon Solar Cells with LCP Selective Emitters (2009)

In this paper Laser Chemical Processing (LCP) is used for high local doping of selective emitters. In order to find influencing laser parameters on LCP selective emitters, high-efficiency Si solar cells with size of 2x2 cm2 cells were processed. The highly doped emitters were processed with different laser powers to see the influence on grooving form and pulse energies. In order to find out if there is a contact resistance problem because of an isolating PSG layer, solar cells with and without PSG etch after the LCP selective emitter formation were compared. Laser induced damage is investigated for low and high pulse energies with TEM. This shows no dislocations for low laser power and small regions of dislocations for high laser power.
Determination of Total, Inorganic and Organic Phosphorus in Brewing Products and Materials (1970)

(1970). Determination of Total, Inorganic and Organic Phosphorus in Brewing Products and Materials. Proceedings. Annual meeting - American Society of Brewing Chemists: Vol. 28, Proceedings of the Annual Meeting 1970, pp. 18-28.
Lidar technology for measuring trace gases on Mars and Earth (2011)

Many fundamental questions about planetary evolution require monitoring of the planet's atmosphere with unprecedented accuracy at both high and low latitudes, over both day and night and all seasons. Each planetary atmosphere presents its own unique challenges. For the planets/moons that have relatively low surface pressure and low trace gas concentrations, such as Mars or Europa, the challenge is to have enough sensitivity to measure the trace gas of interest. For Earth, the challenge is to measure trace gases with very high precision and accuracy in the presence of other interfering species. An orbiting laser remote sensing instrument is capable of measuring trace gases on a global scale with unprecedented accuracy, and higher spatial resolution that can be obtained by passive instruments. For Mars, our proposed measurement uses Optical Parametric Amplifiers (OPA) and Integrated Path Differential Absorption (IDPA) in the 3-4 um spectral range to map various trace gas concentrations from orbit on a global scale. For earth, we propose to use Erbium Doped Fiber Amplifier technology (EDFA) and IDPA at 1.57 and OPA at 1.65 &mu;m to measure carbon dioxide and methane concentrations respectively.
The Atomos transactional programming language (2006)

Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. Atomos is derived from Java, but replaces its synchronization and conditional waiting constructs with simpler transactional alternatives.The Atomos watch statement allows programmers to specify fine-grained watch sets used with the Atomos retry conditional waiting statement for efficient transactional conflict-driven wakeup even in transactional memory systems with a limited number of transactional contexts. Atomos supports open-nested transactions , which are necessary for building both scalable application programs and virtual machine implementations.The implementation of the Atomos scheduler demonstrates the use of open nesting within the virtual machine and introduces the concept of transactional memory violation handlers that allow programs to recover from data dependency violations without rolling back.Atomos programming examples are given to demonstrate the usefulness of transactional programming primitives. Atomos and Java are compared through the use of several benchmarks. The results demonstrate both the improvements in parallel programming ease and parallel program performance provided by Atomos.
EFFECT OF 17-ALPHA-HYDROXYPROGESTERONE-17-n-CAPROATE ON VARIOUS PELVIC MALIGNANCIES (1964)

Department of Gynecology, the University of Southern California School of Medicine, Los Angeles, California
Leveraging the Internet for Numerically-Intensive Scientific Applications (2001)

We have developed a distributed and extensible environment for modeling multidisciplinary engineering problems using the Internet. The system allows both new and existing numerical tools to be represented as components that connect to form complex simulations. Numerically intensive calculations are relegated to dedicated servers, while a variety of clients--- including web pages and applets--- can be used to control the simulation remotely. A novel event-driven paradigm allows the user to perform &amp;quot;what-if&amp;quot;- type calculations interactively; a minimum amount of data is automatically recalculated by the system. The various features of the environment are demonstrated by computing the compressible flow through a 3D geometry.
Screen printed thick film subterranean and subaqueous environmental chemical sensor arrays (2011)

Thick film environmental and chemical sensor arrays designed for deployment in both subterranean and submerged aqueous applications are reported. Various choices of materials for these different applications have been evaluated and the responses of the different sensor types are compared and discussed. Results indicate that the choice of binder materials is critical to producing sensors capable of medium term deployment (days) as the binders not only affect the tradeoff between hydration time and drift but also have a bearing on device sensitivity. Sensor calibration is shown to remain an issue with long term deployments (e.g. several weeks) but this can be ameliorated in the medium term with the use of novel device fabrication and packaging techniques.
A multivariate analysis of Pteryxia terebinthina (Apiaceae)1 (2008)

Recognition of infraspecific taxa in Pteryxia terebinthina (vars. albiflora, californica, foeniculacea, and terebinthina) is controversial. Multivariate analysis of variance, principal component analysis, and discriminant analysis of 265 specimens representing the morphological variability and geographic distribution of the species complex were conducted to test the validity of these infraspecific taxa. Results show that var. terebinthina can be recognized by its unique fruit wing structure. There are statistically significant differences among the remaining varieties for most of the characters previously used to recognize these varieties, but all of these characters are overlapping among the taxa. No clearly separated clusters are revealed in the principal component analysis and discriminant analysis does not allow reliable recognition of the varieties. We therefore propose that this species complex be recognized as containing two varieties, foeniculacea and terebinthina.