gebhart/patrepeval huggingface dataset:
An efficient method of computing static single assignment form (1989)

Article An efficient method of computing static single assignment form Share on Authors: R. Cytron IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NY IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NYView Profile , J. Ferrante IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NY IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NYView Profile , B. K. Rosen IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NY IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NYView Profile , M. N. Wegman IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NY IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NYView Profile , F. K. Zadeck Computer Science Dept., Brown University, Providence, RI Computer Science Dept., Brown University, Providence, RIView Profile Authors Info & Claims POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesJanuary 1989 Pages 25–35https://doi.org/10.1145/75277.75280Online:03 January 1989Publication History 308citation1,950DownloadsMetricsTotal Citations308Total Downloads1,950Last 12 Months119Last 6 weeks14 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
ADR monitoring of compound formulas (2001)

目的:调查分析复方制剂诱发的不良反应.方法:对本院1994年1月～1998年12月由复方制剂诱发的不良反应病例的类型、临床表现以及诱发药物等进行分析.结果:复方制剂诱发的不良反应75例,占全部285例不良反应病例的26.3%,中、重度症状者占36%,涉及12个器官/系统类型,诱发药品35个品种,有既往药物不良反应史者占21.3%.结论:临床应高度重视对复方制剂的不良反应监测与相关性研究,提高复方制剂的用药安全性.
Observation of lymphocyte function in perinatal cows and neonatal calves. (1987)

The changes in lymphocyte transformation rate and proportion of E-rosette forming cells (ERFC), in addition with serum concentration of IgG and cortisol were examined on dairy cows in the perinatal period. The cows were bled at the various stages of pregnancy, parturition and post-parturient period. Also in calves, the lymphocyte transformation rate and proportion of ERFC were examined on the blood samples collected at weekly interval from birth to 5 weeks of age. The blastogenic response of lymphocytes to concanavalin A and pokeweed mitogen decreased beginning from the 3rd trimester and reached a minimum at parturition. The proportion of ERFC and serum IgG concentration also decreased with parturition. The high serum cortisol level at parturition may influence lymphocyte activity in cows. In neonatal calves, the number of ERFC and responsiveness of peripheral lymphocytes to mitogen corresponded to adult level immediately after birth.
Class E power amplifiers for wireless transceivers (1999)

The thesis deals with the design of a Class E power amplifier in CMOS technology.Presently in wireless communication systems, the power amplifier is implemented in GaAs or bipolar technologies, while the signal processing blocks are done in CMOS.If the power amplifier could be irnplemented in CMOS, it would allow the system to be fabricated on a single chip, thus reducing power, area and cost.The objective of this thesis is to investigate the design of such an amplifier in a deep submicron CMOS process.A Class E amplifier configuration was selected for implementation due to its expected high efficiency.The Class E power amplifier was implemented in a 0.35 pm standard CMOS technology.The modeling of the CMOS compatible inductors used in the amplifier was carefully considered.A modified scalable inductor mode1 was developed based upon process parameters and the spiral characteristic.The integrated amplifier itself consisted of a Class F driver and a Class E power stage.The amplifier was successfully implemented, occupying a silicon area of 1.92 mm2.The amplifier operates at 835MHz, delivering 79mW of power to a 50R load from a 3.3V supply with a power added efficiency of 36%.
Electrophysiological effects of angiotensin II. Part I: signal transduction and basic electrophysiological mechanisms (2008)

In the recent years, a tremendous amount has been learned about the pathophysiology and molecular biology of the cardiac angiotensin II system. Interestingly, the angiotensin II appears to have several effects on cardiac electrophysiology, which have not been fully appreciated so far. Therefore, this review will highlight on the basic knowledge of signal transduction and electrophysiological effects of angiotensin II, which may have an impact on the occurrence of cardiac arrhythmia.
Evidence That Ser87 of BimEL Is Phosphorylated by Akt and Regulates BimEL Apoptotic Function (2005)

Bim, the Bcl-2 interacting mediator of cell death, is a member of the BH3-only family of pro-apoptotic proteins. Recent studies have demonstrated that the apoptotic activity of Bim can be regulated through a post-translational mechanism whereby ERK phosphorylation serves as a signal for Bim ubiquitination and proteasomal degradation. In this report, we investigated the signaling pathways leading to Bim phosphorylation in Ba/F3 cells, an interleukin-3 (IL-3)-dependent B-cell line. IL-3 stimulation induced phosphorylation of Bim(EL), one of the predominant isoforms of Bim expressed in cells, at multiple sites, as evidenced by the formation of at least three to four bands by Western blotting that were sensitive to phosphatase digestion. The appearance of multiple, phosphorylated species of Bim(EL) correlated with Akt, and not ERK, activation. The PI3K inhibitor, LY294002, blocked IL-3-stimulated Akt activity and partially blocked Bim(EL) phosphorylation. In vitro kinase assays showed that recombinant Akt could directly phosphorylate a GST-Bim(EL) fusion protein and identified the Akt phosphorylation site in the Bim(EL) domain as Ser(87). Further, we demonstrated that cytokine stimulation promotes Bim(EL) binding to 14-3-3 proteins. Finally, we show that mutation of Ser(87) dramatically increases the apoptotic potency of Bim(EL). We propose that Ser(87) of Bim(EL) is an important regulatory site that is targeted by Akt to attenuate the pro-apoptotic function of Bim(EL), thereby promoting cell survival.
High affinity histamine binding site is the H3 receptor: Characterization and autoradiographic localization in rat brain (1991)

The binding of the histamine autoreceptor (H3) agonist [3H]-N alpha-methyl-histamine ([3H]-N-MeHA) was examined in 25 micron thick rat forebrain sections. The specific binding was saturable and of high affinity: Scatchard analysis indicated a Kd of 2 nM and a Bmax of 25 +/- 3 fmol/section. Under similar conditions, [3H]-histamine [( 3H]-HA) bound with a Kd of 8 nM and a Bmax of 20 +/- 2 fmol/section. Competition studies indicated that both ligands bound an identical site which had the pharmacological characteristics of the H3 binding site. The high affinity binding of [3H-N-MeHA was sensitive to the presence of 5'-guanylyl-imidodiphosphate, indicating that the binding site is likely coupled to a G-protein. Autoradiographic studies indicated the [3H]-N-MeHA binding to be greatest in the nucleus accumbens, striatum, substantia nigra pars reticulata, and certain cortical areas. Striatal quinolinic acid lesions greatly reduced binding in both the striatum and ipsilateral substantia nigra, while 6-hydroxydopamine lesions of the nigrostriatal dopamine system were without effect on binding. Therefore, most of the H3 binding sites in the basal ganglia are on striatonigral projection neurons. Cortical quinolinic acid lesions greatly reduced H3 binding in cortex, indicating that the binding in cortex, as in striatum, is largely on intrinsic neurons, rather than on afferents such as histamine nerve terminals.
Centralized security policy support for virtual machine (2006)

For decades, researchers have pointed out that Mandatory Access Control (MAC) is an effective method to protect computer systems from being misused. Unfortunately, MAC is still not widely deployed because of its complexity. The problem is even worse in a virtual machine environment, because the current architecture is not designed to support MAC in a site-wide manner: machines with multiple virtual hosts needs to have multiple MAC security policies, and each of these policies must be updated and managed separately inside each virtual host. In order to ease the burden on administrators when deploying security policies in a virtual environment, this paper proposes an architecture named Virtual Mandatory Access Control (VMAC) to centralize security policies, so that all policy management can easily be done from a central machine. VMAC securely centralizes the security logging information from all virtual hosts into a central machine so intrusion detection analysis on the logging data is straightforward. To arrive at the architecture presented here, we have investigated various popular MAC schemes, and implemented several schemes with VMAC on the Xen Virtual Machine. This paper presents our experiences in the development process.
Joint DOD and DOA Estimation for Bistatic MIMO Radar in Unknown Correlated Noise (2014)

In this paper, joint direction-of-departure (DOD) and direction-of-arrival (DOA) estimation for bistatic multiple-input-multi-output (MIMO) radar in an unknown spatially correlated noise environment is investigated. The signal model is based on the assumption that the waveforms are transmitted by two separated subarrays having M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> and M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> sensors and received by two separated subarrays having N <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> and N2 sensors, respectively. The received data are pulse-compressed using a matching matrix consisting of M=M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> +M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> orthogonally transmitted waveforms. The joint covariance matrix of unknown correlated noise is analyzed. A novel algorithm is proposed by jointly estimating the DOD and DOA with transmitter and receiver subarrays in unknown noise. The joint estimation algorithm is based on the canonical correlation decomposition (CCD) and exploits the shift-invariance properties in the Kronecker product structure of each column of the various steering matrices. The estimated DOA and DOD can be automatically paired correspondingly. In addition, the formulas of stochastic Cramér-Rao bounds (CRB) for DOD and DOA estimation are derived. Simulations show that our method can effectively improve the performance of estimation in unknown correlated noise environments and is insensitive to having different noise environments in the two subarrays.
Novel Multi-User MIMO Scheme Based on Successive Interference Cancellation (2007)

Multiple Input Multiple Output (MIMO) technology using multiple transmit and receive antennas is considered one of essential elements for wireless communication systems in order to achieve the required spectral efficiency and high data rates. In this paper, we propose new multi-user preceding MIMO schemes named successive interference cancellation (SIC) based Per User and Stream Rate Control (S-PUSRC), and modified S-PUSRC, which are characterized by SIC based multiple stream reception and the feedback of decoding order for efficient multi-user scheduling. Additionally, a number of simulation results are presented.
CCR: a rapid and simple approach for mutation detection (1997)

We describe a simple approach for detecting known mutations in genomic DNA. The strategy entails a DNA amplification reaction that combines the use of thermostable DNA polymerase and ligase, and that has been designated the Combined Chain Reaction (CCR). CCR consists of four phases: denaturation, annealing, elongation and ligation. Unlike most PCR-based mutation detection systems it relies on mismatch between primer and template at the primer 5'ends. It is rapid and simple, and requires neither the use of radioactivity, nor polyacrylamide gel electrophoresis, nor autoradiography for mutation detection at the single base-pair level.
A more rigorous proof of complete stability of cellular neural networks (1997)

The proof for the stability of cellular neural networks (CNNs) with symmetric feedback templates contains some gaps. The purpose of this letter is to discuss and provide a more rigorous proof using LaSalle's invariant principle.
Effect of NGF and anti-NGF on neuropathic pain in rats following chronic constriction injury of the sciatic nerve (1999)

The systemic administration of anti-nerve growth factor (NGF) antibodies can prevent local sensory hypersensitivity and block nociceptive fibers from sprouting into denervated adult rat skin. However, in the case of chronic constriction injury (CCI) in a rat, there is evidence that NGF reverses some effects of axotomy and alleviates thermal hyperalgesia. It is with this in mind that we investigated the influence of local anti-NGF and NGF on neuropathic pain and collateral sprouting caused by CCI. In our study, we looked at the effects to the ligated nerves after 30 consecutive days of local injections of anti-NGF and NGF. A high-dose of anti-NGF (1800 ng) was found to eradicate heat and cold hyperalgesia during postoperative days 16-28 and from days 8 to 34 after CCI, respectively. Our results show that a low-dose anti-NGF (18 ng) only mildly alleviates heat hyperalgesia but not cold hyperalgesia. There is evidence that a rebound phenomenon occurs for a short period of time after the anti-NGF injections cease. Results show that anti-NGF injections, whether in a high or low dose, significantly reduces the severity of autotomy or prevents the spread of collateral sprouting from the saphenous nerve into the sciatic innervation territory. In contrast, when a NGF (0.75 ng/g body weight) was applied to the ligated nerve immediately after the ligation, heat and cold hyperalgesia were eradicated during postoperative days 4-68 and from days 4 to 28, respectively. The results show that the effect of anti-NGF is delayed at the onset, is short in duration, and is dependent on the dosage. However, anti-NGF but not NGF blocked collateral sprouting and decreased the severity of autotomy, suggesting that anti-NGF may be a better potential alternative analgesic for the treatment of neuropathic pain in humans. The different initiation times to abolish thermal hyperalgesia by anti-NGF (delayed onset) and NGF (early onset) suggests that alterations in neurotrophic factors contribute to the development of behavioral hyperalgesia via a complex mechanism in CCI rats.
The Effect of Growth Temperature on Wax Ester Content and Composition of Euglena gracilis (1989)

A streptomycin-bleached mutant of Euglena gracilis strain Z, a non-photosynthetic mutant, was grown aerobically in the dark at 33, 26 and 15 °C respectively. The content of wax esters was greater at higher growth temperatures, whereas the content of paramylon was greater at lower temperatures. The highest temperature (33C) caused the greatest accumulation of wax esters. Wax esters synthesized at the highest temperature had carbon chain lengths of C24-32 and the predominant chain lengths were C27 and C28. The constituent fatty acids and alcohols ranged from C11 to C18 with myristic acid and myristyl alcohol being the main components. At the lowest temperature (15 °C) the mean chain length of wax esters decreased. The most abundant wax ester was C26, and the most abundant fatty acids and fatty alcohols of wax esters were C13. A considerable amount (44–48% of the total) of odd-carbon-numbered wax esters were present. The effect of temperature on odd-carbon-numbered wax formation is discussed in relation to possible sources of propionate or methylmalonate units.
Transfemoral Selective Bilateral Pulmonary Arteriography with a Pulmonary-Artery-Seeking Catheter (1970)

A new, improved pulmonary-artery-seeking catheter is described. This catheter has a reversed secondary curve; when introduced from the right femoral vein, it passes readily from the right ventricle to the pulmonary artery with a minimum of manipulation. This catheter design has been successfully applied without complications in humans and dogs.
Production of levulinic acid in urban biorefineries (2011)

Thesis (S.M. in Technology and Policy)--Massachusetts Institute of Technology, Engineering Systems Division, Technology and Policy Program, 2011.
Revision of Vagal Nerve Stimulator Electrodes Through a Posterior Cervical Triangle Approach: Technical Note (2010)

The posterior cervical triangle approach provides a virgin dissection plane for VNS revision.
Phylogenetic distribution of three pathways for propionate production within the human gut microbiota (2014)

Propionate is produced in the human large intestine by microbial fermentation and may help maintain human health. We have examined the distribution of three different pathways used by bacteria for propionate formation using genomic and metagenomic analysis of the human gut microbiota and by designing degenerate primer sets for the detection of diagnostic genes for these pathways. Degenerate primers for the acrylate pathway (detecting the lcdA gene, encoding lactoyl-CoA dehydratase) together with metagenomic mining revealed that this pathway is restricted to only a few human colonic species within the Lachnospiraceae and Negativicutes. The operation of this pathway for lactate utilisation in Coprococcus catus (Lachnospiraceae) was confirmed using stable isotope labelling. The propanediol pathway that processes deoxy sugars such as fucose and rhamnose was more abundant within the Lachnospiraceae (based on the pduP gene, which encodes propionaldehyde dehydrogenase), occurring in relatives of Ruminococcus obeum and in Roseburia inulinivorans. The dominant source of propionate from hexose sugars, however, was concluded to be the succinate pathway, as indicated by the widespread distribution of the mmdA gene that encodes methylmalonyl-CoA decarboxylase in the Bacteroidetes and in many Negativicutes. In general, the capacity to produce propionate or butyrate from hexose sugars resided in different species, although two species of Lachnospiraceae (C. catus and R. inulinivorans) are now known to be able to switch from butyrate to propionate production on different substrates. A better understanding of the microbial ecology of short-chain fatty acid formation may allow modulation of propionate formation by the human gut microbiota.
Simplified modeling of parallel plate resonances on multilayer printed circuit boards (2000)

Multilayer printed circuit boards (PCBs) are currently used in various areas of electronics such as telecommunications. However, high crosstalk between signal vias can cause degradation of performance for these kinds of structures. Resonances of parallel ground or power planes can increase this crosstalk. In this study, a simplified approach to the modeling of these resonances is described. It is assumed that the fields inside the board have characteristically only two-dimensional (2-D) variation. When this hypothesis is valid, it is shown that resonances can be measured on two-layer prototyping boards and simulated using a 2-D finite-difference model. It is additionally noted that a previously suggested method of using coaxial ground vias to suppress coupling between vias is not necessarily effective if there are resonant parallel plates on the board. Agreement between measured and modeled results is good enough for practical design purposes. The main advantages of the method used in this study compared to the more robust three-dimensional (3-D) simulation models are savings in time and costs. Additionally, prototyping is much easier on two than multilayer boards.
Biology of vascular endothelial growth factors (2006)

Angiogenesis is the process by which new blood vessels are formed from existing vessels. The vascular endothelial growth factors (VEGFs) are considered as key molecules in the process of angiogenesis. The VEGF family currently includes VEGF‐A, ‐B, ‐C, ‐D, ‐E, ‐F and placenta growth factor (PlGF), that bind in a distinct pattern to three structurally related receptor tyrosine kinases, denoted VEGF receptor‐1, ‐2, and ‐3. VEGF‐C and VEGF‐D also play a crucial role in the process of lymphangiogenesis. Here, we review the biology of VEGFs and evaluate their role in pathological angiogenesis and lymphangiogenesis.
Galanin and galanin‐like peptide modulate neurite outgrowth via protein kinase C‐mediated activation of extracellular signal‐related kinase (2006)

The neuropeptide galanin is widely distributed in the central nervous system and plays a role in a number of processes in the adult brain. Galanin also has neurotrophic effects in the developing nervous system and after nerve injury. The current study investigated the mechanism by which galanin promotes neurite outgrowth in the neuronal cell line PC12 and in neurospheres derived from adult hippocampal progenitor cells. We demonstrated that galanin can induce extracellular signal-related kinase (ERK) phosphorylation transiently in a concentration-dependent manner in neurons. Galanin-like peptide, which is thought to signal primarily through the GalR2 receptor subtype, induced ERK phosphorylation with similar kinetics to galanin. In functional studies, the ability of galanin and galanin-like peptide to induce neurite outgrowth was dependent on activation of both protein kinase C and ERK. This study identified a novel physiological role for galanin-induced ERK phosphorylation and identified ERK and protein kinase C as important signaling components in the galanin-mediated modulation of neurite outgrowth.
Concomitant Length and Diameter Separation of Single-Walled Carbon Nanotubes (2004)

Gel electrophoresis and column chromatography conducted on individually dispersed, ultrasonicated single-walled carbon nanotubes yield simultaneous separation by tube length and diameter. Electroelution after electrophoresis is shown to produce highly resolved fractions of nanotubes with average lengths between 92 and 435 nm. Separation by diameter is concomitant with length fractionation, and nanotubes that have been cut shortest also possess the greatest relative enrichments of large-diameter species. Longer sonication time causes increased electrophoretic mobility in the gels; thus, ultrasonic processing determines the degree of both length and diameter separation of the nanotubes. The relative quantum yield decreases nonlinearly as the nanotube length becomes shorter. These techniques constitute a preparative, scalable method for separating nanotubes by two important attributes required for electronic and sensor applications.
Paper electronics and electronic paper (2002)

The manufacturing, converting and ennobling processes of paper are truly large area and reel-to-reel processes. Here, we describe a project focusing on using the converting and ennobling processes of paper in order to introduce electronic functions onto the paper surface. As key active electronic materials we are using organic molecules and polymers. We develop sensor, communication and display devices on paper and the main application areas are packaging and paper display applications.