gebhart/patrepeval huggingface dataset:
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach (2004)

In the embedded, multimedia community, designers deal with data management at different levels of abstraction ranging from abstract data types and dynamic memory management to physical data organisations. In order to achieve large reductions in energy consumption, memory footprint, and/or execution time, data structure related optimizations are a must. However, the complexity of describing and implementing such optimized implementations is immense. Hence, a strong, practical need is present to unambiguously (i.e. mathematically) describe these complicated dynamic data organisations. The objective of this article is to formally describe data structures and access operations -or dynamic data structures for short- that we have implemented in prior, application-related work. We do this by (a) extending the syntax and semantics of Separation Logic -a logic developed recently in the program verification community- and (b) using it as a specification language for our applications. The short-term benefit of this work is that it allows the embedded software designer to unambiguously express and hence more easily explore low cost, dynamic data structures. In practice this means that the designer can clearly reason and consequently implement nontrivial but optimal dynamic data structures. The benefit in the long term is that it provides an avenue for future optimizing compilers to increase the global scope of optimizations that are related to dynamic data management.
Characterization of fibrin/fibrinogen degradation products reagents and their utility in critical care patients with enhanced fibrinolysis (2020)

LIASAUTO P-FDP displayed the reactivity towards various fibrin/fibrinogen degradation products, and it might be useful for DIC diagnosis because the fibrinolytic status differed in the DIC types and stages.
Physical and chemical properties of hybrid barrier coatings obtained in an atmospheric pressure dielectric barrier discharge (2005)

The aim of this work is to develop barrier coatings by using an atmospheric pressure dielectric barrier discharge (DBD). For this purpose the plasma polymers obtained from a hybrid organic-inorganic precursor compound as well as from a purely organic compound were compared. The physical properties of the coatings were determined by scanning electron microscopy and scanning probe microscopy analysis as well as by profilometry and by determining their oxygen transmission rates. The chemical structure was revealed by ATR-FTIR analysis and C-13- and Si-29-CP/MAS solid-state nuclear magnetic resonance measurements. It is shown that atmospheric pressure plasma polymerization of hybrid polymer precursors leads to coatings with excellent barrier properties due to the unique synergistic effect of the organic and the inorganic network structures that are formed in the plasma.
The Application of Guanidinium to Improve Biomolecule Quality in Fixed, Paraffin-embedded Tissue (2023)

Neutral buffered formalin (NBF) is the most common fixative in clinical applications. However, NBF damages proteins and nucleic acids, limiting the quality of proteomic and nucleic acid-based assays. Prior studies have demonstrated that BE70, a fixative of buffered 70% ethanol, has many benefits over NBF but the degradation of proteins and nucleic acids in archival paraffin blocks remain a challenge. Thus, we evaluated the addition of guanidinium salts to BE70 with the hypothesis that this may protect RNA and protein. Guanidinium salt supplemented BE70 (BE70G)-fixed tissue is comparable with that of BE70 via histology and immunohistochemistry. Western blot analysis also revealed that HSP70, AKT, and glyceraldehyde 3-phosphate dehydrogenase (GAPDH) expression signals in BE70G-fixed tissue were higher than those in BE70-fixed tissue. The quality of nucleic acids extracted from BE70G-fixed, paraffin-embedded tissue was also superior, and BE70G provides improved protein and RNA quality at shorter fixation times than its predecessors. The degradation of proteins, AKT and GAPDH, in archival tissue blocks is also decreased with the addition of guanidinium salt to BE70. In conclusion, BE70G fixative improves the quality of molecular analysis with more rapid fixation of tissue and enhanced long-term storage of paraffin blocks at room temperature for evaluation of protein epitopes.
ANGPTL3 Inhibition in Homozygous Familial Hypercholesterolemia (2017)

Evinacumab, a monoclonal antibody that blocks ANGPTL3, was administered to nine adults with homozygous familial hypercholesterolemia. At 4 weeks, LDL cholesterol was reduced by a mean of 49%, with a mean absolute change from baseline of −157 mg per deciliter.
A review of carbide fuel corrosion for nuclear thermal propulsion applications (1993)

At the operation conditions of interest in nuclear thermal propulsion reactors, carbide materials have been known to exhibit a number of life limiting phenomena. These include the formation of liquid, loss by vaporization, creep and corresponding gas flow restrictions, and local corrosion and fuel structure degradation due to excessive mechanical and/or thermal loading. In addition, the radiation environment in the reactor core can produce a substantial change in its local physical properties, which can produce high thermal stresses and corresponding stress fractures (cracking). Time-temperature history and cyclic operation of the nuclear reactor can also accelerate some of these processes. The University of New Mexico`s Institute for Space Nuclear Power Studies, under NASA sponsorship has recently initiated a study to model the complicated hydrogen corrosion process. In support of this effort, an extensive review of the open literature was performed, and a technical expert workshop was conducted. This paper summarizes the results of this review.
Cobalt and nickel diimine-dioxime complexes as molecular electrocatalysts for hydrogen evolution with low overvoltages (2009)

Hydrogen production through the reduction of water appears to be a convenient solution for the long-run storage of renewable energies. However, economically viable hydrogen production requests platinum-free catalysts, because this expensive and scarce (only 37 ppb in the Earth's crust) metal is not a sustainable resource [Gordon RB, Bertram M, Graedel TE (2006) Proc Natl Acad Sci USA 103:1209-1214]. Here, we report on a new family of cobalt and nickel diimine-dioxime complexes as efficient and stable electrocatalysts for hydrogen evolution from acidic nonaqueous solutions with slightly lower overvoltages and much larger stabilities towards hydrolysis as compared to previously reported cobaloxime catalysts. A mechanistic study allowed us to determine that hydrogen evolution likely proceeds through a bimetallic homolytic pathway. The presence of a proton-exchanging site in the ligand, furthermore, provides an exquisite mechanism for tuning the electrocatalytic potential for hydrogen evolution of these compounds in response to variations of the acidity of the solution, a feature only reported for native hydrogenase enzymes so far.
Maternal mental health: an ethical base for good practice (2010)

In this chapter we argue that the four principles of medical ethics, beneficence, non-maleficence, respect for autonomy, and justice (Gillon 1985; Beauchamp and Childress 2001), a new Family Interest Principle (introduced later in the chapter), and a consideration of ‘capacity’ provide a reasoned practice guide for work with mothers experiencing health problems, focusing here on mental health when a parent is a patient. Our concern is the relationship of the clinician with a parent and through the parent their child. Ethics of service provision or services planning (e.g. Culyer 2001; McLachlan 2005), or the provision of other services (e.g. education, child protection) although intensely relevant to this area are not addressed in this chapter nor will we deal with the complex aspects of medical ethics relating to the treatment of children (Baines 2008). We use the term ‘parent’ to refer to any adult person who fulfils a substantive parental role with a child. Defining what counts as a family will in certain circumstances be contentious. There are diverse patterns of family arrangements that may be influenced by cultural, political, economic, and temporal factors. For the purposes of our discussion, we define a family in terms of its role in child-rearing, as a group of at least one adult and at least one child, living together in long-term relationships on an ongoing basis, with vested interest in the well-being of each of the family members.
Histological features of hair follicles in skin biopsies and clinical features of patients treated with zalutumumab, zalutumumab + HuMab-10F8 or saline, based on evaluation of HE staining and clinical observations. (2015)

&lt;p&gt;a) semi-quantitative scoring: normal, acute inflammation (based on influx of neutrophils).&lt;/p&gt;
On the negative differential resistance effect in high-field semiconductor-dielectric systems (1992)

The active role of the dielectric in high-field semiconductor-dielectric systems (HFSDS) and the experimental results concerning partial and total surface flashover in HFSDS are presented. The system negative differential resistance effect by partial surface flashover is explained on the basis of a two-channel model with an appropriate equivalent circuit correlated with the potential distribution along the semiconductor.
Ohmic nanocontacts to GaAs using undoped and p-doped layers of low-temperature-grown GaAs (2000)

The development and characterization of high-performance nanocontacts to n-GaAs are reported. The nanocontacts can be made to both undoped and p-doped low-temperature-grown GaAs (LTG:GaAs) cap layers. The geometry of the nanocontact is well characterized and requires the deposition of a 4 nm single-crystalline Au cluster onto an ohmic contact structure which features a chemically stable LTG:GaAs surface layer prepared using an ex situ chemical self-assembly technique. A self-assembled monolayer of xylyl dithiol (HS–CH2–C6H4–CH2–SH) is required to provide mechanical and electronic tethering of the Au cluster to the LTG:GaAs surface. For the case of an undoped LTG:GaAs cap layer, a specific contact resistance of 1×10−6 Ω cm2 and a current density of 1×106 A/cm2 have been measured from scanning tunneling microscopy. When a p-doped LTG:GaAs cap layer is used, the corresponding values are 1×10−7 Ω cm2 and 1×107 A/cm2, respectively. Improved surface stability as evidenced by a lower oxidation rate for p-doped LTG:GaAs provides a natural explanation for the higher-quality ohmic contact properties of the nanocontact to the p-doped LTG:GaAs cap layer.
Truncation of the human immunodeficiency virus type 1 transmembrane glycoprotein cytoplasmic domain blocks virus infectivity (1992)

Human immunodeficiency virus type 1 contains a transmembrane glycoprotein with an unusually long cytoplasmic domain. To determine the role of this domain in virus replication, a series of single nucleotide changes that result in the insertion of premature termination codons throughout the cytoplasmic domain has been constructed. These mutations delete from 6 to 192 amino acids from the carboxy terminus of gp41 and do not affect the amino acid sequence of the regulatory proteins encoded by rev and tat. The effects of these mutations on glycoprotein biosynthesis and function as well as on virus infectivity have been examined in the context of a glycoprotein expression vector and the viral genome. All of the mutant glycoproteins were synthesized, processed, and transported to the cell surface in a manner similar to that of the wild-type glycoprotein. With the exception of mutants that remove the membrane anchor domain, all of the mutant glycoproteins retained the ability to cause fusion of CD4-bearing cells. However, deletion of more than 19 amino acids from the C terminus of gp41 blocked the ability of mutant virions to infect cells. This defect in virus infectivity appeared to be due at least in part to a failure of the virus to efficiently incorporate the truncated glycoprotein. Similar data were obtained for mutations in two different env genes and two different target cell lines. These results indicate that the cytoplasmic domain of gp41 plays a critical role during virus assembly and entry in the life cycle of human immunodeficiency virus type 1.
Variable Data Security Printing and the &#x201C;Layered&#x201D; Deterrent (2005)

Printed documents and packages, even for high value goods like pharmaceuticals, are generally susceptible to counterfeiting. This is due in part to the use of &#x201C;static&#x201D; elements for most of the printed elements. Even when &#x201C;variable&#x201D; data features&#x2014;such as bar codes, lot numbers, and expiry dates&#x2014;are used, they are typically identical for pallets or larger lot sizes. This aids the would-be counterfeiter. With variable data printing (VDP) technology, every printed element on a package is, potentially, part of a multi-feature authenticating design. VDP, in combination with liquid electrophotographic (LEP) technologies, provides an opportunity to change the nature of security printing. VDP provides precision control over the individual dots, while LEP technology provides precision registration of more than a dozen layers of ink. This allows a novel &#x201C;layered&#x201D; deterrent, with an innately shifting deterrence strategy, to be created using variable print strategies on each of the multiple layers. This shifts the need for specialized printing techniques to the need to accommodate variable ink approaches. In our talk, we will overview the astonishing variability that can be provided in a single, modestly-sized security print feature through the use of infrared/ultraviolet fluorescent inks, infrared opaque and transparent black inks, inks containing taggants, magnetic ink, and inks with differential adhesive properties to enable sandwich printing. This variability provides covert and forensic protection to complement the overt protection of such known techniques as guilloche and microtext. Finally, when overprinting (metallic inks, lenticular printing, etc.) is considered, an extraordinary number of possible encryptions are available on very little package &#x201C;real estate&#x201D;. We consider the permutations available in our presentation.
Comprehensive comparison of female germ cell development in vitro and in vivo identifies epigenetic gene regulation crucial for oocyte development and embryonic competence (2023)

Summary Germ cells are the origin of new individuals. Hence, specifying germ cell identity is crucial for reproduction. The recent establishment of in vitro culture systems for generating oocytes from mouse pluripotent stem cells provides a basis for progress in studies of oogenesis and reproductive technology. However, currently the developmental competence of in vitro generated oocytes is low compared to in vivo grown oocytes. The causes underlying poor oocyte quality remain to be determined. By reconstituting germ cell development in culture from different developmental starting points within gametogenesis, we show that the differentiation of primordial germ cells (PGCs) and primordial germ cell-like cells (PGCLCs) to growing oocytes (GROs), as well as the subsequent growth of follicles are critical culture steps for specifying competence of fully-grown oocytes (FGOs) for preimplantation development. A systematic comparison of transcriptomes of single oocytes having undergone different in vitro culture trajectories identifies genes normally upregulated during oocyte growth to be susceptible for mis-regulation during in vitro oogenesis. Many of such genes have been described as targets of Polycomb repressive complexes (PRCs). Deregulation of Polycomb repression therefore likely perturbs the accumulation of cytoplasmic factors and/or setting of chromatin states in FGOs that are required for embryonic development after fertilization. Conversely, in vitro derived oocytes often displayed failure of zygotic genome activation (ZGA) and abnormal acquisition of 5-hydroxymethylcytosine (5hmC) on maternal chromosomes after activation. In addition, subcellular delocalization of pyruvate dehydrogenase (PDH) and of STELLA were observed suggesting new molecular markers for defective oocyte development. Our study identifies epigenetic regulation at an early stage of oogenesis as crucial for developmental competence and suggests specific in vitro culture steps as targets for improving oocyte quality. Highlights Single cell transcriptomics and functional assessment of oocyte development from pluripotent stem cells in culture in a stage-specific manner provides a comprehensive resource for comparisons to oogenesis in vivo . Culture steps for growth and differentiation of reconstituted follicles are critical for defining embryonic competence of in vitro generated oocytes. Zygotic genome activation failure and epigenetic impairment are hallmarks of i n vitro -generated oocytes that fail to develop after activation or fertilization. Computational analysis of gene expression changes and chromatin modification patterns identifies specific gene sets that indicate that Polycomb mediated repression is vulnerable during in vitro folliculogenesis.
The Spoken Web Search Task (2012)

In this paper, we describe the “Spoken Web Search” Task, which&#13;\nis being held as part of the 2012 MediaEval campaign. The&#13;\npurpose of this task is to perform audio search in multiple&#13;\nlanguages, with very little resources being available for each&#13;\nindividual language. The data is being taken from audio content&#13;\nthat was created in live and realistic low-resource settings.
ChemInform Abstract: Synthesis and Photochemistry of (2S,4R)‐ and (2R,4R)‐1,2,3,4‐ Tetrahydro‐4‐ethyl‐1,1,4‐trimethyl‐3Z‐ethylidene‐2‐naphthalenols. (1994)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Knowledge Management for Keyword Search over Data Graphs (2014)

This demo presents exploratory keyword search over data graphs by means of semantic facets. The demo starts with a keyword search over data graphs. Answers are first ranked by an existing search engine that considers their textual relevance and semantic structure. The user can then explore the answers through facets of structural patterns (i.e., schemas) as well as through other features. A particular way of presenting answers in a compact form is also supported and is applicable when looking for a single entity that connects the keywords. The demo is based on a working prototype that users can try on their own. It includes five data graphs that are quite diversified. In particular, three of them were generated from relational databases and two - from RDF triples. The demo shows that the system enables users to easily and quickly perform various search tasks by means of exploration, filtering and summarization.
Modulation of the substrate specificity of protein phosphatases. Phosphatases and kinases : a dialogue (1989)

International audience
Controlled polymerizations as tools for the design of star‐like and dendrimer‐like polymers (2006)

Abstract This paper highlights our recent efforts to engineer polymer chains in star‐like and dendrimer‐like architectures using atom‐transfer radical polymerization (ATRP) and anionic ring‐opening polymerization (AROP) of ethylene oxide as synthetic tools. The scope and limitations of ATRP are first discussed when this method of controlled radical polymerization is applied to multifunctional initiators for the synthesis of star polymers by the core‐first approach. The switch from ATRP to AROP of ethylene oxide and vice versa allows access to branched amphiphilic block copolymers exhibiting core–shell structures. Stress is also put on the methodologies for the selective branching of polymeric chain‐ends, with a view to introducing ω‐geminal functionalities from which further polymer branches can be grown. When linear polymer precursors are used, such a strategy leads to asymmetric and mikto‐arm stars but the same can be applied to multi‐arm stars so as to generate so‐called ‘dendrimer‐like (co)polymers’ that are dendrimers with true macromolecular generations. Copyright © 2006 Society of Chemical Industry
Effects of wind tunnel orientation and mixed convection on heat transfer from a PQFP (2002)

The thermal resistance of a surface-mount, plastic quad flat package (PQFP) was measured over a range of heating powers, air velocities, and package orientations. The package was mounted in a low-speed wind tunnel which could be rotated in the vertical plane, thus changing the orientation of the package with respect to the gravity vector. Results show that the regime of mixed correction is limited, for a horizontal package, to air velocities less than 2.5 m/s at a heating power of 4 W, i.e., to Gr/sub L/*/Re/sub L//sup 2/ greater than about unity. In the mixed convection regime, variation of the wind tunnel inclination angle from buoyancy-opposed to buoyancy-assisted orientations decreases the total thermal resistance by 5% or more when the air velocity is less than 0.5 m/s at a heating power of 4 W, i.e., for Gr/sub L/*/Re/sub L//sup 2/ greater than about ten. For air velocities greater than 2.5 m/s, for all tunnel orientations, the total thermal resistance shows a steep decrease. Flow visualization revealed that the resistance decrease appears to be due to restarting of the surface boundary layer on the package.
Supplementary Figure from A Novel EGFRvIII T-Cell Bispecific Antibody for the Treatment of Glioblastoma (2023)

Supplementary Figure from A Novel EGFRvIII T-Cell Bispecific Antibody for the Treatment of Glioblastoma
Dyadic Human Motion Prediction (2021)

Prior work on human motion forecasting has mostly focused on predicting the future motion of single subjects in isolation from their past pose sequence. In the presence of closely interacting people, however, this strategy fails to account for the dependencies between the different subject's motions. In this paper, we therefore introduce a motion prediction framework that explicitly reasons about the interactions of two observed subjects. Specifically, we achieve this by introducing a pairwise attention mechanism that models the mutual dependencies in the motion history of the two subjects. This allows us to preserve the long-term motion dynamics in a more realistic way and more robustly predict unusual and fast-paced movements, such as the ones occurring in a dance scenario. To evaluate this, and because no existing motion prediction datasets depict two closely-interacting subjects, we introduce the LindyHop600K dance dataset. Our results evidence that our approach outperforms the state-of-the-art single person motion prediction techniques.
Performance Analysis of Carrier-Phase DGPS Navigation for Shipboard Landing of Aircraft (2003)

ABSTRACT: Shipboard-relative GPS (SRGPS) is a variant of the Joint Precision Approach and Landing System (JPALS) that is being developed to support automatic shipboard landings in zero-visibility conditions. At present, the navigation system requirements specify a vertical protection level of 1.1 m, an integrity risk of approximately 10−7, and a system availability of at least 99.7 percent. Because of the stringent nature of these specifications, differential carrier-phase solutions are being pursued. In this context, this paper gives a detailed analysis of the fault-free integrity and availability of SRGPS. The performance of single- and dual-frequency architectures is evaluated for both floating-ambiguity and fixed-integer carrier-phase differential GPS (DGPS) navigation. The sensitivity of SRGPS availability is quantified with respect to raw code and carrier measurement quality, spatial decorrelation of ionospheric and tropospheric errors, and broadcast service radius. Necessary conditions to achieve the desired navigation performance are defined.