gebhart/patrepeval huggingface dataset:
Testing Techniques for Data-Flow Synchronous Programs. (1995)

Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data sequences. The second approach consists in analyzing the required safety properties (written in LUSTRE) of the software. This analysis may result, in specific cases, in automatic generators of relevant test data. The third approach considers that LUSTRE is used for the implementation of the software, and defines structure-based testing criteria. These criteria are specific to the model which captures the LUSTRE program structure : the operator net. Moreover, an automatic test data generation process is described for this last approach using LESAR, a tool designed to automatically prove the satisfact...
A stable data-adaptive method for matched-field array processing in acoustic waveguides (1990)

Capon’s maximum likelihood (ML) method has been used with some success in matched field processing for source range and depth estimation. One reason for the interest in the ML is that it is data adaptive; that is, it adapts to the actual noise field present rather than requiring an a priori estimate of the noise component for prewhitening. When modal noise is present the ML can become sensitive to any deviations from the unperturbed case (i.e., from the model) as would be introduced by phase errors or model parameter errors. Using a dimensionality-reduction procedure a more stable data adaptive method, the ‘‘reduced’’ ML (RML), is obtained. The RML is compared here with the ML on simulated data from a 21-sensor array in a Pekeris waveguide supporting eight normal modes. Under modal noise conditions the RML provides a significant improvement over ML when phase errors occur. Although the deviation from the model considered here is that caused by phase errors, the nature of the perturbation is not important since the sensitivity of ML is not to any special type of perturbation.
Applications of micro computer database software to power systems monitoring problems (1991)

The authors report on the applications of a well established database management system to data manipulation, presentation, revisions and updates. The database relates to both grid and primary substation, weekly demand information, system daily load information for short-term forecasting objectives, statistical faults report for reliability evaluation of power systems, generation and transmission data for system performance studies. Additional provision is made to include substation equipment inventory data to aid network reinforcement planning objectives.
Individual and combined effect of granulocyte–macrophage colony‐stimulating factor and prolactin on maturation of dendritic cells from blood monocytes under serum‐free conditions (2000)

Prolactin (PRL) shares structural and functional features with haemopoietic factors and cytokine peptides. Dendritic cells (DC) are involved in both initiating the primary and boosting the secondary host immune response and can be differentiated in vitro from precursors under the effect of granulocyte-macrophage colony-stimulating factor (GM-CSF) plus other factors. Because PRL has been shown to functionally interact with GM-CSF, we have addressed its role on GM-CSF-driven differentiation of DC. Monocytic DC precursors from peripheral blood mononuclear cells (PBMC) were enriched either by adhesion to a plastic surface or CD14-positive selection and cultured for 7 days in serum-free medium containing GM-CSF, interleukin (IL)-4 and PRL, alone or in combination. Cells with large, veiled cytoplasm, expressing major histocompatibility complex (MHC) class II and the costimulatory molecules CD80, CD86 and CD40 and lacking the monocyte marker CD14, were considered as having the phenotype of cytokine-generated DC. Functional maturation was assessed by proliferation and interferon-gamma (IFN-gamma) release of allogeneic T lymphocytes. Physiological (10-20 ng/ml) concentrations of PRL interacted synergistically with GM-CSF and the effect was similar to that induced by IL-4 on GM-CSF-driven DC maturation. When used alone, the physiological concentrations of PRL were inhibitory, whereas higher concentrations (80 ng/ml) were stimulatory. The synergistic effect of PRL may in part be caused by its ability to counteract the down-modulation of the GM-CSF receptor observed in serum-free conditions. These data provide further evidence of the significance of PRL in the process of T lymphocyte activation.
FIGHTING (2001)

Why do children fight? And how can early years educators deal with such behaviour when it arises in the nursery? Barry Wright has some advice.
Quantifying the global cellular thiol–disulfide status (2009)

It is widely accepted that the redox status of protein thiols is of central importance to protein structure and folding and that glutathione is an important low-molecular-mass redox regulator. However, the total cellular pools of thiols and disulfides and their relative abundance have never been determined. In this study, we have assembled a global picture of the cellular thiol-disulfide status in cultured mammalian cells. We have quantified the absolute levels of protein thiols, protein disulfides, and glutathionylated protein (PSSG) in all cellular protein, including membrane proteins. These data were combined with quantification of reduced and oxidized glutathione in the same cells. Of the total protein cysteines, 6% and 9.6% are engaged in disulfide bond formation in HEK and HeLa cells, respectively. Furthermore, the steady-state level of PSSG is <0.1% of the total protein cysteines in both cell types. However, when cells are exposed to a sublethal dose of the thiol-specific oxidant diamide, PSSG levels increase to >15% of all protein cysteine. Glutathione is typically characterized as the "cellular redox buffer"; nevertheless, our data show that protein thiols represent a larger active redox pool than glutathione. Accordingly, protein thiols are likely to be directly involved in the cellular defense against oxidative stress.
Characteristics of Germanium-on-Insulators Fabricated by Wafer Bonding and Hydrogen-Induced Layer Splitting (2006)

There is considerable interest in germanium-on-insulator (GeOI) because of its advantages in terms of device performance and compatibility with silicon processing. In this paper, fabricating GeOI by hydrogen-induced layer splitting and wafer bonding is discussed. Hydrogen in germanium exists in molecular form and is prone to outdiffusion, resulting in a storage-time dependence of blistering. In contrast to the case of silicon, little effect of substrate doping on blistering is observed in germanium. Hydrogen implantation in germanium creates both {100}- and {111}-type microcracks. These two types of platelets are located in the same region for (111)-oriented wafers, but in different zones for (100) samples. This variation in distribution explains the smoother splitting of (111) surfaces than that of (100) surfaces. Hydrogen implantation also introduces a significant concentration of charged vacancies, which affect dopant diffusion in the transferred germanium film. Boron, with a negligible Fermi-level dependence, shows an identical diffusion profile to that of bulk germanium. In contrast, phosphorus diffusion is enhanced in the fabricated GeOI layers. These results also shed light on the understanding of dopant diffusion mechanisms in germanium.
Cell-free cloning of highly expanded CTG repeats by amplification of dimerized expanded repeats (2007)

We describe conditions for producing uninterrupted expanded CTG repeats consisting of up to 2000 repeats using 29 DNA polymerase. Previously, generation of such repeats was hindered by CTG repeat instability in plasmid vectors maintained in Escherichia coli and poor in vitro ligation of CTG repeat concatemers due to strand slippage. Instead, we used a combination of in vitro ligation and 29 DNA polymerase to amplify DNA. Correctly ligated products generating a dimerized repeat tract formed substrates for rolling circle amplification (RCA). In the presence of two non-complementary primers, hybridizing to either strand of DNA, ligations can be amplified to generate microgram quantities of repeat containing DNA. Additionally, expanded repeats generated by rolling circle amplification can be produced in vectors for expression of expanded CUG (CUG(exp)) RNA capable of sequestering MBNL1 protein in cell culture. Amplification of dimerized expanded repeats (ADER) opens new possibilities for studies of repeat instability and pathogenesis in myotonic dystrophy, a neurological disorder caused by an expanded CTG repeat.
Rocks to Robots: A Biological Growth Approach to Rapid Lunar Industrialization or How to Realize Von Neumann's Vision (2004)

Using telepresence, regolith is mined on a kilogram scale for ISRU. Telepresence-operated ISRU apparatus immediately produces metals and ceramics, also on kilogram scales. Metals, particularly iron, are shaped using casting, powder metallurgy, and light machining methods. This produces a versatile kit of assorted stock mechanical components. These lunar kits, together with required earth-based components, are assembled by telepresence to generate additional mining and fabrication equipment, as well as more telepresence robots.
The Giant Protein Titin as an Integrator of Myocyte Signaling Pathways (2010)

The giant muscle protein titin, the "backbone" of the sarcomere, harbors a complex molecular spring whose stiffness is variably tuned in health and disease. Titin is increasingly recognized as a crucial integrator of diverse myocyte signaling pathways. The titin-associated signalosome includes hotspots of protein-protein interactions important for the regulation of protein quality-control mechanisms, hypertrophic gene activation, and mechanosensing.
Generalization of spatially variant apodization to noninteger Nyquist sampling rates (2000)

Spatially variant apodization (SVA) is reformulated for use on synthetic aperture radar imagery with an arbitrary sampling rate. The algorithm is implemented as a spatially varying three-point finite impulse response filter, and constraints on the filter parameters are developed from physically motivated concepts. By varying the parameters of the filter, the sidelobe energy is reduced with no effective loss of resolution. The procedure produces an output comparable to that of the integer Nyquist version of SVA, and effectively eliminates sidelobe artifacts with no loss of mainlobe resolution.
Ge Epitaxial Refill Deposition Techniques for Fabricating Pedestal Transistor Structures (1972)

An etch-epitaxial refill technique is described for the fabrication of integrated high-speed Ge transistor structures having a pedestal configuration. The device areas surrounding 0.1 ohm-cm mesa structures were refilled with Ge having a resistivity range of 1 to 10 ohm-cm, providing low parasitic capacitance in the passive area of the base-collector junction. Processes and techniques were developed for minimizing the ridge that tends to form at the edge of the deposited SiO <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</inf> mask. Electrical properties and junction characteristics of the epitaxial regions are discussed and some device results presented.
Hemoglobin McKees Rocks (alpha2beta2145Tyr leads to Term). A human "nonsense" mutation leading to a shortened beta-chain. (1976)

The first example of the premature termination of a polypeptide chain in man appears to be Hb McKees Rocks, beta145 Tyr leads to Term, discovered in polycythemic members of a Caucasian family. Point mutation has apparently occurred at the codon for Tyr beta145 from UAU to a "nonsense" codon, UAA or UAG, resulting in a shortened polypeptide chain with Lys 144 as its carboxyl-terminal amino acid. Evidence for this structural conclusion is the absence of tryptic peptide betaT-15 from "fingerprints" of the abnormal beta-chain, the finding of C-terminal Lys, and the similarity between the functional properties of this variant hemoglobin and those of des Tyr (145)-His(146)beta hemoglobin resulting from carboxypeptidase-A digestion of normal human hemoglobin. Hb McKees Rocks has markedly abnormal properties: its oxygen affinity is the highest of the human variants described to date; its Bohr effect is reduced; it is devoid of subunit cooperativity; and it is unaffected by 2,3-diphosphoglyceric acid. These properties are probably the consequences of decreased stability of the T quaternary conformation and are partially restored in the presence of the strong allosteric effector inositol hexaphosphate.
Keratoprostheses in clinical practice – a review (2010)

The search for a substitute for the natural cornea dates back more than 200 years. Although several devices have been developed and trialled, very few have had successful long-term results and continue in regular clinical use. Keratoprosthesis (KPro) surgery is complex and should be performed in centres with an experienced multidisciplinary team. Currently available KPro devices range from the totally synthetic, such as the Boston KPro, to the totally biological tissue-engineered artificial cornea. The osteo-odonto keratoprothesis combines a synthetic optic with a biological haptic. All keratoprostheses have significant limitations, although visual improvement is possible with each of the devices in clinical use today. This review discusses these devices with emphasis on their indications, surgical techniques and results, before briefly exploring emerging devices and innovative approaches for the future.
Chip-package hybrid clock distribution network and DLL for low jitter clock delivery (2005)

This paper presents a chip-package hybrid clock distribution network and delay-locked loop (DLL) with which to achieve extremely low jitter clock delivery. The proposed hybrid clock distribution network and DLL provide digital noise-free and low-jitter clock signals by utilizing lossless package layer interconnections instead of lossy on-chip global wires with cascaded repeaters. The lossless package layer interconnections become high-frequency waveguides and provide a repeater-free clock distribution network; thus, the clock signal becomes free of on-chip power supply noise. The proposed chip-package hybrid clock scheme has demonstrated a 78-ps peak-to-peak jitter at 500 MHz under a 240-mV on-chip simultaneous switching noise condition versus a conventional clock scheme, which produced a 172-ps peak-to-peak jitter under the same condition. Moreover, the proposed scheme has demonstrated an 80-ps long-term jitter with a 300-mV DC voltage drop test condition, contrasted with the 380-ps long-term jitter of a conventional clock scheme. Finally, the proposed hybrid clock scheme has a confirmed delay of 1.47 ns versus a conventional clock scheme delay of 2.85 ns.
Diagnosis of some common and uncommon hyperpigmentation disorders in children (2014)

Skin color is an important social and cultural characteristic, which explains why the parents of children with any deviations from normal pigmentation are concerned about this problem. This article discusses selected pigment anomalies present at birth or appearing in the first months of life. They may be transient or permanent, localized (as in café-au-lait spots) or segmental, or more rarely, complex or generalized. As with most pigmentary diseases, a physical examination, including Wood's lamp examination and a detailed history, is usually sufficient for diagnosis. Time of onset, distribution pattern, and associated clinical and sometimes histopathologic or molecular findings are helpful in differentiating these disorders.
X-Ray Fluorescence Determination of Barium and Strontium in Geologic Samples (1971)

It is possible to accurately determine barium and strontium in a variety of geologic samples by the XRF method proposed herein after correcting for matrix effects. The first-order (I) titanium Kα1 line interferes spectrally with the barium first-order (I) Lα1 analytical line. Iron significantly absorbs the emitted strontium x-ray quanta. Both of these effects were investigated in detail and a method of correcting for them developed. Detection limit for both elements is about 10 ppm.
Membrane systems for profitable VOC recovery (1996)

VOC emissions from all types of vents, processing streams, or leaks will have to be reduced during the next few years. Several established technologies (including carbon adsorption, condensation, or incineration) can be used to destroy or remove VOCs from air streams, but no single technology meets every need. Membrane-based vapor separation, developed during the past 10 years, is beginning to prove its commercial viability and is emerging as an alternative technology for many industrial applications. Approximately 60 membrane VOC recovery plants have been installed worldwide. When Membrane Technology and Research started to develop membrane-based vapor separation, pollution control was expected to be the principal application. This has not been the case. In general, producers of contaminated effluent gas streams want to solve emission problems at the lowest possible cost. Often the lowest treatment cost is no treatment at all; rather, the process is changed to avoid the emission. The authors now believe the future of this technology lies in resource recovery applications, in which the value of the separated components pays for the process. This means that gas streams containing more than {approximately}1% VOCs fall in the competitive range for membrane systems. Recovery of high-value solvent vapors such as CFCs,more » HCFCs, or perfluorocarbons is particularly attractive. The authors are also finding that processes in which nitrogen is used as an inert gas offer good opportunities for cost savings. The value of the nitrogen that can be recycled to the plant represents a significant credit. This credit is not enough to pay for the entire process, but combined with the value of the recovered monomer and the avoided cost of incineration of the vent stream, the savings can be enough to turn a pollution control cost into a resource recovery profit center.« less
A development environment for telecommunications management network (2002)

Variety and complexity involved in telecommunications management make it difficult to manage telecommunications networks efficiently and effectively. In order to overcome this problem, the concept of the telecommunications management network (TMN) which provides integrated management capabilities has been conceived recently. We describe a development process for TMN and an environment supporting this process. Currently this environment consists of four tools: a GDMO editor, a viewer, an analyzer and a schema generator. We also briefly mention other tools being developed.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Seven-Coordinate [Re<sup>V</sup>ON<sub>4</sub>X<sub>2</sub>]<sup>+</sup>Complexes (X = O and Cl) (2000)

The oxorhenium(V) complexes with ligands containing N4 (H2pmen) and N4O2 (H2bbpen, H2Clbbpen, and H2bped) donor atom sets have been synthesized. X-ray crystallographic analyses of the [ReO(H2pmen)Cl2]+, [ReO(bbpen)]+, and [ReO(bped)]+ complexes showed that all three cations share a rare seven-coordinate structure with a distorted pentagonal bipyramidal geometry, which represents a novel and potentially general structural motif in ReV = O complexes. 1H NMR spectroscopy shows that the structures of the complexes are retained in the solution.
Bound Iron Admixture Prevents the Spontaneous Generation of Peroxides in Total Parenteral Nutrition Solutions (1997)

For patients requiring iron supplementation, bound-iron should be added during the preparation of TPN solutions, because it protects against the spontaneous generation of peroxides.
Linoleic acid, antioxidants and coronary heart disease (1990)

Conference Article| December 01 1990 Linoleic acid, antioxidants and coronary heart disease M. F. OLIVER M. F. OLIVER 1Wynn Institute for Metabolic Research, London NW8 9SQ, U.K. Search for other works by this author on: This Site PubMed Google Scholar Biochem Soc Trans (1990) 18 (6): 1049–1051. https://doi.org/10.1042/bst0181049 Article history Received: July 27 1990 Views Icon Views Article contents Figures & tables Video Audio Supplementary Data Peer Review Share Icon Share Facebook Twitter LinkedIn MailTo Cite Icon Cite Get Permissions Citation M. F. OLIVER; Linoleic acid, antioxidants and coronary heart disease. Biochem Soc Trans 1 December 1990; 18 (6): 1049–1051. doi: https://doi.org/10.1042/bst0181049 Download citation file: Ris (Zotero) Reference Manager EasyBib Bookends Mendeley Papers EndNote RefWorks BibTex toolbar search Search Dropdown Menu toolbar search search input Search input auto suggest filter your search All ContentAll JournalsBiochemical Society Transactions Search Advanced Search Keywords: CHD, coronary heart disease, LDL, lowdensity lipoprotein This content is only available as a PDF. © 1990 Biochemical Society1990 Article PDF first page preview Close Modal You do not currently have access to this content.
A Guide to Fully Homomorphic Encryption. (2015)

Fully homomorphic encryption (FHE) has been dubbed the holy grail of cryptography, an elusive goal which could solve the IT world’s problems of security and trust. Research in the area exploded after 2009 when Craig Gentry showed that FHE can be realised in principle. Since that time considerable progress has been made in finding more practical and more efficient solutions. Whilst research quickly developed, terminology and concepts became diverse and confusing so that today it can be difficult to understand what the achievements of different works actually are. The purpose of this paper is to address three fundamental questions: What is FHE? What can FHE be used for? What is the state of FHE today? As well as surveying the field, we clarify different terminology in use and prove connections between different FHE notions. 1
Autoimmunity After Ischemic Stroke and Brain Injury (2019)

Ischemic Stroke is a major cause of morbidity and mortality worldwide. Sterile inflammation occurs after both stroke subtypes and contributes to neuronal injury and damage to the blood-brain barrier with release of brain antigens and a potential induction of autoimmune responses that escape central and peripheral tolerance mechanisms. In stroke patients, the detection of T cells and antibodies specific to neuronal antigens suggests a role of humoral adaptive immunity. In experimental models stroke leads to a significant increase of autoreactive T and B cells to CNS antigens. Lesion volume and functional outcome in stroke patients and murine stroke models are connected to antigen-specific responses to brain proteins. In patients with traumatic brain injury (TBI) a range of antibodies against brain proteins can be detected in serum samples. In this review, we will summarize the role of autoimmunity in post-lesional conditions and discuss the role of B and T cells and their potential neuroprotective or detrimental effects.