gebhart/patrepeval huggingface dataset:
Type reconstruction for coercion polymorphism (Technical summary) (1991)

In this pa.perwe examine coerdon between primitive (or unstructured) types.We assume UHLl tile collection of primitive types in a. language can be a.rranged in some lattice, although in some cases a. more general partial order is permitled.Type TI :5 T~if all clement oC type Tl Call be coerced iuto all element of type 1'<!.We show how type reconstruction for subtype polymorphism can be used to obtain coercion polymorphism.The approach we use to suMype polymorphism is the one which embeds subtype polymorphism into parametric polymorphism.Tbis paper illuminates the trade-offs involved in this approach by revealing some of the nature of the embedding.
A<i>Legionella</i>effector acquired from protozoa is involved in sphingolipids metabolism and is targeted to the host cell mitochondria (2009)

Legionella pneumophila infects alveolar macrophages and protozoa through establishment of an intracellular replication niche. This process is mediated by bacterial effectors translocated into the host cell via the Icm/Dot type IV secretion system. Most of the effectors identified so far are unique to L. pneumophila; however, some of the effectors are homologous to eukaryotic proteins. We performed a distribution analysis of many known L. pneumophila effectors and found that several of them, mostly eukaryotic homologous proteins, are present in different Legionella species. In-depth analysis of LegS2, a L. pneumophila homologue of the highly conserved eukaryotic enzyme sphingosine-1-phosphate lyase (SPL), revealed that it was most likely acquired from a protozoan organism early during Legionella evolution. The LegS2 protein was found to translocate into host cells using a C-terminal translocation domain absent in its eukaryotic homologues. LegS2 was found to complement the sphingosine-sensitive phenotype of a Saccharomyces serevisia SPL-null mutant and this complementation depended on evolutionary conserved residues in the LegS2 catalytic domain. Interestingly, unlike the eukaryotic SPL that localizes to the endoplasmic reticulum, LegS2 was found to be targeted mainly to host cell mitochondria. Collectively, our results demonstrate the remarkable adaptations of a eukaryotic protein to the L. pneumophila pathogenesis system.
Quantitative trait loci influencing grain protein content in tetraploid wheats (1996)

Abstract Seed storage protein content of durum wheat ( Triticum turgidum var. durum ) has an important effect on nutritional value and pasta‐making characteristics. The objective of this study was to determine by association with genetic markers the number, chromosomal location, and magnitude of effect of quantitative trait loci (QTLs) controlling protein concentration in kernels. A set of 65 recombinant inbred lines (RIs) was developed by single seed descent from a cross between cultivated durum wheat cv. ‘Messapia’ (low protein content) and accession MG4343 of the wild tetraploid wheat var. dicoccoides (high protein content). This population was characterized for eight morphological, six storage protein, one isozyme and 124 RFLP loci. Field trials were conducted in one location in 1993 and two locations in 1994. QTLs were mapped by regression analysis on each marker locus for each location and for the average across environments. A total of six putative QTLs were located on chromosome arms 4BS, SAL, 6AS, 6BS and 7BS. The number and size of QTLs detected varied across environments. The marker with the highest r 2 value per QTL in each environment and across environments was chosen for a multiple linear regression analysis, which explained 49.2‐ 56.4% of the phenotypic variation for protein content. Only some of the markers were found to be negatively associated with plant grain yield and/or seed weight in one or two of the environments.
FPGA Implementation of 8, 16 and 32 Bit LFSR with Maximum Length Feedback Polynomial Using VHDL (2012)

LFSR based PN Sequence Generator technique is used for various cryptography applications and for designing encoder, decoder in different communication channel. It is more important to test and verify by implementing on any hardware for getting better efficient result. As FPGAs is used to implement any logical function for faster prototype development, it is necessary to implement the existing design of LFSR on FPGA to test and verify the simulated & synthesis result between different lengths. The total number of random state generated on LFSR depends on the feedback polynomial. As it is simple counter so it can count maximum of 2n-1 by using maximum feedback polynomial. Here in this paper we implemented 8, 16 and 32-bit LFSR on FPGA by using VHDL to study the performance and analysis the behavior of randomness. The analysis is conceded out to find number of gates, memory and speed requirement in FPGA as the number of bits is increased. The comparative study of 8, 16 and 32 bit LFSR on FPGA is shown here to understand the on chip verification. Also the simulation problem for long bit LFSR on FPGA is presented.
A real-time RFID localization experiment using propagation models (2012)

This paper introduces a real-time localization system (RTLS) using efficient multiple propagation models to compensate for the drawback of the received signal strength technique. The RTLS is implemented on an active RFID system and uses received signal strength measurements and reference tags for ranging. The RTLS is implemented purely in software that post processes the received signal strength data from the reader and does not require any additional hardware or any modifications to the RFID reader or tags. The proposed algorithm using multiple propagation models improves the performance of the RTLS. Two-dimensional localization results are given for a four-reader system covering a 4.5 by 5.5 meter room. The scenarios of both single tag and two tags for the tag object are developed. It has been proven that tag multiplicity, two tags for the target object, improves the performance of the system by reducing inaccurate received signal strength measurements due to poor tag orientation. Experimental results show that the proposed system achieves a localization accuracy within 1 meter in over 50 percent of the experiments and outperforms other comparable systems. Currently developed three-dimensional space extension research is discussed and results are presented.
Systemic Delivery of a miR34a Mimic as a Potential Therapeutic for Liver Cancer (2014)

miR34a is a tumor-suppressor miRNA that functions within the p53 pathway to regulate cell-cycle progression and apoptosis. With apparent roles in metastasis and cancer stem cell development, miR34a provides an interesting opportunity for therapeutic development. A mimic of miR34a was complexed with an amphoteric liposomal formulation and tested in two different orthotopic models of liver cancer. Systemic dosing of the formulated miR34a mimic increased the levels of miR34a in tumors by approximately 1,000-fold and caused statistically significant decreases in the mRNA levels of several miR34a targets. The administration of the formulated miR34a mimic caused significant tumor growth inhibition in both models of liver cancer, and tumor regression was observed in more than one third of the animals. The antitumor activity was observed in the absence of any immunostimulatory effects or dose-limiting toxicities. Accumulation of the formulated miR34a mimic was also noted in the spleen, lung, and kidney, suggesting the potential for therapeutic use in other cancers.
Ratchet Effect in Partially Gated Multifinger Field-Effect Transistors (2018)

In the drive for terahertz-frequency technology, a spatial phase shift between a THz near field and a periodically modulated two-dimensional electron gas dramatically enhances the detection responsivity of a multigate ``ratchet'' structure, by breaking its symmetry. In high-mobility structures the response exhibits a plasmonic peak; finite ratchet structures also present such peaks, at lower plasmonic frequencies, corresponding to the wavelengths determined by overall structure length. These results are important for the modeling, design, and optimization of very sensitive sub-THz and THz plasmonic detectors, modulators, mixers, phase shifters, and sources.
Transient time measurement of head magnetic field by using electron beam tomography (1999)

Waveforms of the magnetic field from magnetic recording heads were measured by using an electron-beam tomography system. In addition, the relationship between the magnetic field transition and the current transition was investigated. The magnetic field transition of a recent head with a high Bs type core almost follows the current transition. To develop a high-speed transition head, it is very important to improve the current response.
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation. (2017)

Pinocchio is a practical zk-SNARK that allows a prover to perform cryptographically verifiable computations with verification effort potentially less than performing the computation itself. A recent proposal showed how to make Pinocchio adaptive (or “hash-and-prove”), i.e., to enable proofs with respect to computation-independent commitments. This enables computations to be chosen after the commitments have been produced, and for data to be shared between different computations in a flexible way. Unfortunately, this proposal is not zero-knowledge. In particular, it cannot be combined with Trinocchio, a system in which Pinocchio is outsourced to three workers that do not learn the inputs thanks to multi-party computation (MPC). In this paper, we show how to make Pinocchio adaptive in a zero-knowledge way; apply this to make Trinocchio work on computation-independent commitments; present tooling to easily program flexible verifiable computations (with or without MPC); and use it to build a prototype in a medical research case study.
Synthesis of the D-3 Series of Phosphatidylinositol Phosphates (1996)

The 3-mono-, 3,4-bis-, and 3,4,5-trisphosphates of l-α-phosphatidyl-d-myo-inositol have been synthesized in their optically active forms from the two enantiomers of 1,2:5,6-di-O-cyclohexylidene-myo-inositol. These chiral precursors were prepared by a facile biocatalytic resolution, in which the 4-butyryl ester of the racemic compound was subjected to enantioselective hydrolysis by porcine pancreatic lipase in a biphasic system. The overall yield from individual chiral precursors ranged from 32% for the 3,4,5-trisphosphate to 39% for the monophosphate.
Characteristic Impedances of Broadside-Coupled Strip Transmission Lines (1960)

Formulas are given for the even- and odd-mode characteristic impedances of shielded coupled strip-transmission-line configurations that are especially useful when close coupling is desired. Applications may be made to wideband coupled-strip-line filters, 3-db directional couplers, and many other components. The cross sections considered are thin broadside-coupled strips either parallel or perpendicular to the ground planes. Modification of the formulas for thick strips is discussed. The derivations are outlined, with particular attention given to the underlying assumption that restricts the use of the formulas to cases of close coupling.
The <i>Saccharomyces cerevisiae</i> Checkpoint Gene <i>BUB1</i> Encodes a Novel Protein Kinase (1994)

Normal cell multiplication requires that the events of mitosis occur in a carefully ordered fashion. Cells employ checkpoints to prevent cycle progression until some prerequisite step has been completed. To explore the mechanisms of checkpoint enforcement, we previously screened for mutants of Saccharomyces cerevisiae which are unable to recover from a transient treatment with a benzimidazole-related microtubule inhibitor because they fail to inhibit subsequent cell cycle steps. Two of the identified genes, BUB2 and BUB3, have been cloned and described (M. A. Hoyt, L. Totis, and B. T. Roberts, Cell 66:507-517, 1991). Here we present the characterization of the BUB1 gene and its product. Genetic evidence was obtained suggesting that Bub1 and Bub3 are mutually dependent for function, and immunoprecipitation experiments demonstrated a physical association between the two. Sequence analysis of BUB1 revealed a domain with similarity to protein kinases. In vitro experiments confirmed that Bub1 possesses kinase activity; Bub1 was able to autophosphorylate and to catalyze phosphorylation of Bub3. In addition, overproduced Bub1 was found to localize to the cell nucleus.
CSIT honors Virginia Edgerton: Award for outstanding service in the public interest presented (1979)

The presentation of the Second CSIT-IEEE Award for Outstanding Service in the Public Interest took place at Electro '79 on April 24 in New York City. The recipient was Virginia Edgerton. The award consists of a certificate and $750 and is intended to recognize engineers who have, in the course of their professional duties, acted to protect the public interest, particularly where such action is taken despite personal risk.
56.4: Dual‐Gate IGZO TFT for Threshold‐ Voltage Compensation in AMOLED Pixel Circuit (2012)

Abstract In addition to the gate electrode at the bottom, a dual‐gate InGaZnO 4 (a‐IGZO) thin film transistor (TFT) has a secondary gate electrode on the top. The threshold voltage of the TFT using the bottom‐gate in its normal operation can be controlled by the top‐gate. Based on this phenomenon, a new concept of using the top‐gate to compensate threshold voltage variation is proposed. This new technique is demonstrated in two pixel circuits of active‐matrix organic light‐emitting diode and verified by the measurement results.
[Quality assurance aspects of laparoscopic colorectal tumor surgery]. (2000)

It is still controversial whether a laparoscopic resection should be accomplished to treat colorectal cancer for cure. Some surgeons strongly believe that the new approach causes less pain, adhesions and abdominal hernias and allows faster oral intake. However, some surgeons hesitate to use this technique because they fear that it may compromise the long term results. It was evaluated whether the current quality of treatment is improved by the laparoscopic approach. Therefore, the short- and long-term benefits of laparoscopic and conventional surgery were compared. Following a systematic analysis of available scientific data it can be concluded that there are some clinically relevant short-term benefits for patients. Reliable long-term results from controlled trials are not available yet. There are not any published data which allow to conclude that the prognosis may be worsened using the laparoscopic technique. Thus, the surgeon should consider to learn this technique properly and apply it in selected cases.
FOXC1 Transcriptional Regulatory Activity Is Impaired by PBX1 in a Filamin A-Mediated Manner (2005)

FOXC1 mutations underlie Axenfeld-Rieger syndrome, an autosomal dominant disorder that is characterized by a spectrum of ocular and nonocular phenotypes and results in an increased susceptibility to glaucoma. Proteins interacting with FOXC1 were identified in human nonpigmented ciliary epithelial cells. Here we demonstrate that FOXC1 interacts with the actin-binding protein filamin A (FLNA). In A7 melanoma cells possessing elevated levels of nuclear FLNA, FOXC1 is unable to activate transcription and is partitioned to an HP1α, heterochromatin-rich region of the nucleus. This inhibition is mediated through an interaction between FOXC1 and the homeodomain protein PBX1a. In addition, we demonstrate that efficient nuclear and subnuclear localization of PBX1 is mediated by FLNA. Together, these data reveal a mechanism by which structural proteins such as FLNA can influence the activity of a developmentally and pathologically important transcription factor such as FOXC1. Given the resemblance of the skeletal phenotypes caused by FOXC1 loss-of-function mutations and FLNA gain-of-function mutations, this inhibitory activity of FLNA on FOXC1 may contribute to the pathogenesis of FLNA-linked skeletal disorders.
Method of enriching queries by contextual information to approve of information retrieval system in Arabic (2015)

In this paper, we propose a method is to improve the performance of information retrieval systems (IRS) by increasing the selectivity of relevant documents on the web. Indeed, a significant number of relevant documents on the web are not returned by an IRS (specifically a search engine), because of the richness of natural language Arabics. For this purpose the search engine does not reach high performance and does not meet the needs of users. To remedy this problem, we propose a method of enrichment of the query. This method relies on many steps. First, identification of significant terms (simple and composed) present in the query. Then, generation of a descriptive list and its assignment to each term that has been identified as significant in the query. A descriptive list is a set of linguistic knowledge of different types (morphological, syntactic and semantic). In this paper we are interested in the statistical treatment, based on the similarity method. This method exploits the weighting functions of Salton TF-IDF and TF-IEF on the list generated in the previous step. TF-IDF function identifies relevant documents, while the TF-IEF's role is to identify the relevant sentence. The terms of high weight (which are terms which may be correlated to the context of the response) are incorporated into the original query. The application of this method is based on a corpus of documents belonging to a closed domain.
Development of a differential temperature probe for the measurement of atmospheric turbulence at all levels (1988)

http://archive.org/details/developmentofdif1094523172
Relaxed pinout constraints yield improved parallel adders for VLSI-based systems (1982)

Relaxation of pinout constraints on the msi-based carry lookahead adder algorithm leads to a refined implementation which requires fewer gates and increases the speed by 30percent. This is accomplished by increasing the level of parallelism in the algorithm. The revised algorithm and its implementation are discussed. 10 references.
Taurine Protects Rat Bronchioles from Acute Ozone-Induced Lung Inflammation and Hyperplasia (1995)

Ozone is a potent respiratory irritant known to induce lung injury in humans and experimental animals. The present studies determined if ozone-induced lung inflammation was modified by pretreatment of animals with taurine, a detoxifying antioxidant. Rats were pretreated for 10 days with 5% taurine in their drinking water (controls received water only) prior to exposure to 2 ppm ozone for 3 h. At 2, 6, 12, 24, 48, and 72 h after ozone exposure, rats were anesthetized and the lungs were perfusion-fixed for histopathologic evaluation. An additional group of rats was used to examine bronchoalveolar lavage cell counts and hydroxyproline levels. A count of bronchoalveolar lavage cells 48 h after ozone exposure showed significantly fewer total inflammatory cells and fewer polymorphonuclear leukocytes accompanied by a reduction in hydroxyproline in the lavage fluid of ozone-exposed rats pretreated with taurine compared to rats that did not receive taurine. Light microscopy revealed an inflammatory cell infiltrate in the lungs of rats exposed to ozone. This was followed by focal hyperplasia in the terminal and respiratory bronchioles. Rats pretreated with taurine and then exposed to ozone showed none of these alterations. In addition, although there was a significant reduction in cell proliferation as measured by DNA precursor incorporation in the lungs of rats pretreated with taurine prior to ozone exposure compared to unsupplemented rats, the distribution of labeled cells was the same in taurine supplemented and unsupplemented groups. Also, significantly higher levels of taurine were found in the plasma, whole blood, and lavage fluid of rats pretreated with dietary taurine compared to rats that received water only. The results suggest that supplemental taurine protects rat lung epithelium from acute ozone-induced lung inflammation and hyperplasia.
Experimental Study on a Packed Bed Humidifier in an Evaporative Gas Turbine (2002)

This paper examines the performance of gas turbine cycles operating with a mixture of air and water vapor. Special attention is paid to the humidification tower, where the water vapor is added to the air. The experiments in this study have been carried out in the first evaporative gas turbine pilot plant located at Lund Institute of Technology in the southern part of Sweden. This pilot plant is based on a Volvo VT600 gas turbine with a design load of 600 kW. The compressor pressure is just above 8 bars and the intake air-flow is 3.4 kg/s. Roughly 70 percent of the compressed air is humidified in the humidification tower, which is the only humidifying device. The tower diameter is 0.7 m and the total flexible packing height is 0.9 m of a stainless steel structured packing with a specific surface area of 240 m2/m3. The number of mass transfer units in the humidifier was experimentally determined to about 3 for a packing height of 0.45 m. The height of a transfer unit from the literature data for the packing is predicted to be 0.24 m. With a packing height of 0.45 m, only about 2 transfer units are expected from the packing. However, the droplet zones above and below the packing contribute about 1 transfer unit. Thus, it is concluded that the mass transfer performance of the packing is adequately predicted by literature data. Equations are provided to adjust the height of a transfer unit for other pressures and temperatures. For full-scale plants operating at higher pressures and temperatures it is suggested that the high quality exhaust heat, (temperatures above the boiling point) is recovered in a boiler and injected as steam. The remaining part of the exhaust heat, (temperatures below the boiling point) is used to produce hot water for a relatively small humidification tower using only a portion of the compressed air flow.
Automatic inference of code transforms for patch generation (2017)

We present a new system, Genesis, that processes human patches to automatically infer code transforms for automatic patch generation. We present results that characterize the effectiveness of the Genesis inference algorithms and the complete Genesis patch generation system working with real-world patches and defects collected from 372 Java projects. To the best of our knowledge, Genesis is the first system to automatically infer patch generation transforms or candidate patch search spaces from previous successful patches.
The automatic integration of ordinary differential equations (1971)

An integration technique for the automatic solution of an initial value problem for a set of ordinary differential equations is described. A criterion for the selection of the order of approximation is proposed. The objective of the criterion is to increase the step size so as to reduce solution time. An option permits the solution of “stiff” differential equations. A program embodying the techniques discussed appears in Algorithm 407.
Über die Reaktion von Benzylisothiocyanat mit Glyoxal‐di(tert‐butylnitron) (1980)

Abstract Glyoxal‐di( tert ‐butylnitron) (1) reagiert mit Benzyl iso thiocyanat (2) außer zu 3 und 5 zu dem benzylthiocarbamoylierten Derivat 10 eines 2‐( tert ‐Butylimino)‐acetamidins, das authentisch aus dem mono‐Desoxygenierungsprodukt 6 und der Amidin‐Zwischenstufe 9B synthetisiert werden kann.