gebhart/patrepeval huggingface dataset:
COSS: Cross Ontology Semantic Similarity measure &#x2014; An information content based approach (2011)

Computation of Semantic similarity between concepts play a key role in Ontology mapping, Psycholinguistics, Information Integration and Information Retrieval. A COSS (Cross Ontology Semantic Similarity) measure which follows information content approach and is based on Amos Tversky psychological contrast model for finding the semantic closeness of concepts belonging to different biomedical ontologies. This computational approach exploits knowledge sources such as ontologies, thesauri to quantify the information content (informativeness) which helps to assess the amount of information shared by the compared concepts. The proposed approach is corpus independent and it correlates well with the human judgements. The proposed approach has been experimented with two biomedical ontologies: SNOMED-CT (Systemized nomenclature of medical clinical terms) and Mesh (Medical subject headings) within UMLS Framework and the results are reported. This paper also proposed RRCOSS (Refined Resnik Cross Ontology Semantic Similarity) and RLCOSS (Refined Lin Cross Ontology Semantic Similarity) measures. The proposed three approaches outperform the other computational methods as it achieves the highest correlation of 0.920.
A Verified Compiler For A Structured Assembly Language (2005)

We describe the verification of a compiler for a subset of the Vista language: a structured assembly language for the Viper microprocessor. This proof has been mechanically checked using the HOL system. We conszder how the compiler correctness theorem could be used to deduce safety and liveness properties of compiled code from theorems stating that these properties hold of the source code. We also show how secwe compilation can be achieved using automated theorem proving techniques.
Three-layer ferroelectrets from perforated Teflon®-PTFE films fused between two homogeneous Teflon®-FEP films (2007)

In this contribution, we propose a new route towards polymer ferroelectrets with uniform voids: Two homogeneous Teflon®-FEP films are separated by, but also thermally fused to a Teflon®-PTFE film with several homogeneous holes. Closed voids with FEP top and bottom lids and PTFE walls are thus formed. After internally charging the top and bottom FEP layers with positive and negative polarity, respectively, the voids constitute large dipoles that can be deformed by mechanical or electrical stresses. Consequently, the three-layer sandwich exhibits direct and inverse piezoelectricity. The continuous layerfusing process involves a press with hot cylindrical rolls that operate at temperatures up to 310 °C, which may allow production of inexpensive transducer materials on a large scale. We report about the concept, the processing, the charging and the electromechanical performance of the three-layer ferroelectrets.
Phase II Study of the Mammalian Target of Rapamycin Inhibitor Ridaforolimus in Patients With Advanced Bone and Soft Tissue Sarcomas (2011)

Single-agent ridaforolimus in patients with advanced and pretreated sarcomas led to PFS results that compare favorably with historical metrics. A phase III trial based on these data will further define ridaforolimus activity in sarcomas.
A Simple Cytosine to G‐Clamp Nucleobase Substitution Enables Chiral γ‐PNAs to Invade Mixed‐Sequence Double‐Helical B‐form DNA (2008)

Watson–Crick recognition of double-helical B-form DNA by Chiral γ-PNAs: C→G-clamp (X) nucleobase substitution provides the necessary binding free energy for chiral γ-PNAs to invade mixed-sequence B-DNA. Supporting information for this article is available on the WWW under http://www.wiley-vch.de/contents/jc_2268/2008/z800441_s.pdf or from the author. Please note: The publisher is not responsible for the content or functionality of any supporting information supplied by the authors. Any queries (other than missing content) should be directed to the corresponding author for the article.
The MIR flickr retrieval evaluation (2008)

In most well known image retrieval test sets, the imagery typically cannot be freely distributed or is not representative of a large community of users. In this paper we present a collection for the MIR community comprising 25000 images from the Flickr website which are redistributable for research purposes and represent a real community of users both in the image content and image tags. We have extracted the tags and EXIF image metadata, and also make all of these publicly available. In addition we discuss several challenges for benchmarking retrieval and classification methods.
Reinforcement Learning through Asynchronous Advantage Actor-Critic on a GPU (2016)

We introduce a hybrid CPU/GPU version of the Asynchronous Advantage Actor-Critic (A3C) algorithm, currently the state-of-the-art method in reinforcement learning for various gaming tasks. We analyze its computational traits and concentrate on aspects critical to leveraging the GPU's computational power. We introduce a system of queues and a dynamic scheduling strategy, potentially helpful for other asynchronous algorithms as well. Our hybrid CPU/GPU version of A3C, based on TensorFlow, achieves a significant speed up compared to a CPU implementation; we make it publicly available to other researchers at https://github.com/NVlabs/GA3C .
Mobile genetic elements : protocols and genomic applications (2004)

Transposable elements (TEs)-DNA sequences that are capable of moving from one chromosome location to another-are found in all living organisms. They have been increasingly investigated in a wide spectrum of species, including bacteria, plants, fungi, and animals. In Mobile Genetic Elements: Protocols and Genomic Applications, leading experts describe in step-by-step detail their most productive transposon-based methods and strategies for studying genome structure, function, and evolution. These readily reproducible techniques cover a broad range, including mutagenesis, transgenesis, gene silencing, and molecular systematics. Among the highlights are a series of DNA hybridization methods for analyzing the distribution and dynamics of mobile DNA at the hosts' genomic level, techniques for studying LTR retrotransposons in heterologous host systems, and mutagenesis protocols for investigating gene functions in a broad range of organisms. Additional methods deal with highly informative sets of polymorphic markers, RNAi technology in gene silencing, and applications during transgenesis. The protocols presented follow the successful Methods in Molecular Biology™ series format, each one offering step-by-step laboratory instructions, an introduction outlining the principle behind the technique, lists of equipment and reagents, and tips on troubleshooting and avoiding known pitfalls. State-of-the-art and highly practical, Mobile Genetic Elements: Protocols and Genomic Applications offers investigators powerful genetic tools for dissecting the function of a specific gene, elaborating on the mechanisms leading to genetic change and diversity, and studying the evolutionary impact of mobile DNA on the biology and evolution of organisms
Bindung durch Berührung (2014)

Beziehungsaufbau zwischen Eltern und ihrem neugeborenen Kind ist ohne körperliche Berührung nicht denkbar. Entscheidend ist dabei die Qualität der Berührungserfahrung. Nur wenn die Eltern sich feinfühlig auf die Stimmungen und Körpersignale einstimmen, entfalten die Körperberührungen ihren Zauber, gehen unter die Haut und stärken das Band zwischen Eltern und Kind. Dazu ist die <b>Schmetterlingsmassage</b> besonders gut geeignet.
RAIDER: Responsive architecture for inter-domain economics and routing (2010)

Multi-owner structure shaping inter-domain operations is arguably the most important factor determining the end-to-end performance in the current Internet. Financial sustainability of Internet service provisioning has significantly changed the way Internet grows and all the other business sectors using the Internet as infrastructure. Further, scalability of BGP routing table sizes is becoming a stressing problem. Architectural solutions providing ways to better inter-domain economics and more scalable inter-domain routing protocols are of crucial importance. In this position paper, we present a new interdomain communications architecture to address routing scalability by leveraging the inherent structure in ISP topologies and using a simplified addressing method. To manage risks in costly backbone business and open the doors for realizing higher quality end-to-end services, our architecture uses protocol-level techniques to increase operational granularity of inter-ISP market with automated service level agreements (SLAs).
Use of Bacterial Artificial Chromosomes in Generating Targeted Mutations in Human and Mouse Cytomegaloviruses (2007)

Cloning of cytomegalovirus (CMV) genomes as bacterial artificial chromosomes (BAC) in E. coli and their manipulation using the techniques of bacterial genetics has greatly facilitated the construction of CMV mutants. This unit describes easily applicable procedures that allow rapid introduction of any kind of targeted mutation into BAC-cloned CMV genomes. Protocols for the reconstitution of virus from isolated BAC DNA, preparation of a virus stock, and isolation and characterization of viral DNA are also included. Special emphasis is laid on description of critical steps and thorough characterization of the altered BACs.
Unified multiframe super-resolution of matte, foreground, and background (2013)

Reconstruction of a super-resolved image from multiple frames and extraction of matte are two popular topics that have been solved independently. In this paper, we advocate a unified framework that assimilates matting within the super-resolution model. We show that joint estimation is advantageous, as super-resolved edge information helps in obtaining a sharp matte, while the matte in turn aids in resolving fine details. We propose a multiframe approach to increase the spatial resolution of the matte, foreground, and background. This is validated extensively on examples from standard matting datasets.
Coloring Away Communication in Parallel Query Optimization (1995)

We address the problem of finding parallel plans for SQL queries using the two-phase approach of join ordering and query rewrite (JOQR) followed by parallelization. We focus on the JOQR phase and develop optimization algorithms that account for communication as well as computation costs. Using a model based on representing the partitioning of data as a color, we devise an efficient algorithm for the problem of choosing the partitioning attributes in a query tree so as to minimize total cost. We extend our model and algorithm to incorporate the interaction of data partitioning with conventional optimization choices such as access methods and strategies for computing operators. Our algorithms apply to queries that include operators such as grouping, aggregation, intersection and set difference in addition to joins. 1 Introduction An important challenge in parallel database systems [DG92, Val93, BCC + 90, DGG + 86] is parallel query optimization. This is the problem of finding opt...
Time reversal and the spatio-temporal matched filter (L) (2004)

It is known that focusing of an acoustic field by a time-reversal mirror (TRM) is equivalent to a spatio-temporal matched filter under conditions where the Green’s function of the field satisfies reciprocity and is time invariant, i.e., the Green’s function is independent of the choice of time origin. In this letter, it is shown that both reciprocity and time invariance can be replaced by a more general constraint on the Green’s function that allows a TRM to implement the spatio-temporal matched filter even when conditions are time varying.
Efficient Algorithms for Masking and Finding Quasi-Identifiers (2007)

A quasi-identifier refers to a subset of attributes that can uniquely identify most tuples in a table. Incautious publication of quasi-identifiers will lead to privacy leakage. In this paper we consider the problems of finding and masking quasi-identifiers. Both problems are provably hard with severe time and space requirements. We focus on designing efficient approximation algorithms for large data sets. We first propose two natural measures for quantifying quasi-identifiers: distinct ratio and separation ratio. We develop efficient algorithms that find small quasi-identifiers with provable size and separation/distinct ratio guarantees, with space and time requirements sublinear in the number of tuples. We also propose efficient algorithms for masking quasi-identifiers, where we use a random sampling technique to greatly reduce the space and time requirements, without much sacrifice in the quality of the results. Our algorithms for masking and finding quasi-identifiers naturally apply to stream databases. Extensive experimental results on real world data sets confirm efficiency and accuracy of our algorithms.
Inhibitors of the Metalloproteinase Anthrax Lethal Factor (2016)

Bacillus anthracis, a rod shaped, spore forming, gram positive bacteria, is the etiological agent of anthrax. B. anthracis virulence is partly attributable to two secreted bipartite protein toxins, which act inside host cells to disrupt signaling pathways important for host defense against infection. These toxins may also directly contribute to mortality in late stage infection. The zinc-dependent metalloproteinase anthrax lethal factor (LF) is a critical component of one of these protein toxins and a prime target for inhibitor development to produce anthrax therapeutics. Here, we describe recent efforts to identify specific and potent LF inhibitors. Derivatization of peptide substrate analogs bearing zinc-binding groups has produced potent and specific LF inhibitors, and X-ray crystallography of LFinhibitor complexes has provided insight into features required for high affinity binding. Novel inhibitor scaffolds have been identified through several approaches, including fragment-based drug discovery, virtual screening, and highthroughput screening of diverse compound libraries. Lastly, efforts to discover LF inhibitors have led to the development of new screening strategies, such as the use of full-length proteins as substrates, that may prove useful for other proteases as well. Overall, these efforts have led to a collection of chemically and mechanistically diverse molecules capable of inhibiting LF activity in vitro and in cells, as well as in animal models of anthrax infection.
Simultaneous suppression of MITF and BRAF<sup>V600E</sup> enhanced inhibition of melanoma cell proliferation (2009)

Microphthalmia-associated transcription factor (MITF) is a master gene regulating differentiation of melanocytes, and a lineage survival oncogene mediating pro-proliferative function in malignant melanoma. However, high expression of MITF also has an anti-proliferative effect. To clarify the therapeutic implication of MITF as a molecular target for human melanoma, we evaluated the role of MITF in cell proliferation in a panel of human melanoma cell lines which express different levels of MITF. We found that both MITF depletion and forced expression of MITF significantly inhibited proliferation, suggesting that endogenous MITF is regulated at an appropriate level for melanoma cell proliferation, and could be a molecular target for melanoma. However, half of the melanoma cell lines in this study were relatively resistant to MITF depletion, indicating other treatment strategies are required for therapy. Our microarray analysis indicated that regulation of several cell growth-associated molecules may be independent of MITF and dependent on BRAF(V600E). Thus to enhance the anti-proliferative effect of MITF down-regulation, we combined shRNA-mediated MITF depletion with BRAF(V600E) inactivation, another known molecular target for melanoma. Indeed, simultaneous depletion of both MITF and BRAF(V600E) significantly inhibited melanoma growth even for the melanoma cell lines resistant to MITF depletion. These results suggest MITF may be an important molecular target for human melanoma and simultaneous inhibition of MITF and MAPK signaling may be an attractive strategy for melanoma treatment.
Estimation of Parameter Variation based on the Disturbance Observer. Application to the Estimation of the Inner Pressure of Tires. (1994)

This paper deals with an estimation method of parameter variations of dynamic systems based on the disturbance observer. In this method, the disturbance observer is designed to estimate the parameter variations as disturbances. A necessary and sufficient design condition for the existence of disturbance observers is shown from the view point of the observability of extended systems. This condition is used to determine the states to be measured by sensors for corresponding parameter variations. The simple correlation method extracts the parameter variations from the estimated disturbances which include external disturbances and noise.The proposed method is applied to the estimation of the inner pressure, i. e. the stiffness, variations of tires in the active suspension system. Several numerical and experimental results are shown to confirm the effectiveness of the method.
MOSFETs with Recessed SiGe Source/Drain Junctions Formed by Selective Etching and Growth (2004)

A source/drain extension process that uses HCl etching followed by selective growth of in situ B-doped SiGe is demonstrated. The two key process steps, etching and growth, are integrated by performing them consecutively in the same chemical vapor deposition reactor. The technique has the potential to solve end-of-the-roadmap requirements on junction depth, junction abruptness, and active doping concentration. © 2004 The Electrochemical Society. All rights reserved.
A novel autoantibody against moesin in the serum of patients with MPO-ANCA-associated vasculitis (2013)

The anti-moesin autoantibody existed in the serum of patients with MPO-AAV and was associated with the production of inflammatory cytokines/chemokines targeting neutrophils with a cytoplasmic profile, which suggests that the anti-moesin autoantibody has the possibility to be a novel autoantibody developing vasculitis via neutrophil and endothelial cell activation.
GIS-NaP1 zeolite microspheres as potential water adsorption material: Influence of initial silica concentration on adsorptive and physical/topological properties (2016)

GIS-NaP1 zeolite samples were synthesized using seven different Si/Al ratios (5-11) of the hydrothermal reaction mixtures having chemical composition Al2O3:xSiO2:14Na2O:840H2O to study the impact of Si/Al molar ratio on the water vapour adsorption potential, phase purity, morphology and crystal size of as-synthesized GIS-NaP1 zeolite crystals. The X-ray diffraction (XRD) observations reveal that Si/Al ratio does not affect the phase purity of GIS-NaP1 zeolite samples as high purity GIS-NaP1 zeolite crystals were obtained from all Si/Al ratios. Contrary, Si/Al ratios have remarkable effect on the morphology, crystal size and porosity of GIS-NaP1 zeolite microspheres. Transmission electron microscopy (TEM) evaluations of individual GIS-NaP1 zeolite microsphere demonstrate the characteristic changes in the packaging/arrangement, shape and size of primary nano crystallites. Textural characterisation using water vapour adsorption/desorption, and nitrogen adsorption/desorption data of as-synthesized GIS-NaP1 zeolite predicts the existence of mix-pores i.e., microporous as well as mesoporous character. High water storage capacity 1727.5 cm(3) g(-1) (138.9 wt.%) has been found for as-synthesized GIS-NaP1 zeolite microsphere samples during water vapour adsorption studies. Further, the total water adsorption capacity values for P6 (1299.4 mg g(-1)) and P7 (1388.8 mg g(-1)) samples reveal that these two particular samples can absorb even more water than their own weights.
Low-cost sensor for online detection of harmful diesel combustion gases in UV-VIS region (2006)

Online detection of harmful exhaust gases is necessary for optimal engine control to reduce the polluting emissions of diesel cars. Optical detection methods in the UV-VIS range enable the simultaneous characterisation of various gases such as NO, NO<sub>2</sub> and SO<sub>2</sub>. Additionally this technique is fast and has a low cross-sensitivity to other exhaust components. First results show the advantages for the optical approach compared with standard electrochemical gas sensors.
Sampling Algorithm for Small Input Current Distortion in Digitally Controlled Boost PFC Converters (2003)

After a short introduction to the digital control of boost power factor correction converters, the principle of operation of the alternating-edge-sampling algorithm is reviewed.The main features of this sampling algorithm are: switching noise immunity, straightforwardness, the need for only few extra processor cycles and accurate measurement of the averaged input current.However, to accomplish this last feature the timing of the sampling instants has to be tuned manually.Moreover, the "ideal" timing instants may slowly vary because of temperature effects and during the life-time of the converter.To annihilate these effects and to avoid manual tuning, the alternating-edge-sampling algorithm is extended with an autotuning feature for the timing of the sampling instants.The distortion caused by the sampling algorithm due to an inaccurate timing of the sampling instants is quantified to obtain an estimate for the timing error.This timing error is continuously monitored and intermittently used to adjust the timing of the sampling instants.As a result, the proposed sampling algorithm provides accurate measurements of the averaged inductor current without manual tuning, over a wide temperature range and during the operating life-time of the converter.Experimental verification using a digitally controlled boost converter demonstrates the feasibility of the proposed sampling algorithm and demonstrates that a small input current distortion can be achieved.Sampling algorithm for small input current distortion in digitally controlled boost PFC converters DE GUSSEME
Molecular Manipulation of Two- and Three-Dimensional Silica Nanostructures by Alkoxysilylation of a Layered Silicate Octosilicate and Subsequent Hydrolysis of Alkoxy Groups (2005)

A novel methodology for constructing molecularly ordered silica nanostructures with two-dimensional (2-D) and three-dimensional (3-D) networks has been developed by using a stepwise process involving silylation of a layered silicate octosilicate with alkoxytrichlorosilanes [ROSiCl(3), R = alkyl] and subsequent reaction within the interlayer spaces. Alkoxytrichlorosilanes react almost completely with octosilicate, bridging two closest Si-OH (or -O(-)) sites on the silicate layers, to form new five-membered rings. The unreacted functional groups, Si-Cl and Si-OR, are readily hydrolyzed by the posttreatment with a water/dimethyl sulfoxide (DMSO) or water/acetone mixture, leading to the formation of two types of silicate structures. The treatment with a water/DMSO mixture produced a unique crystalline 2-D silicate framework with geminal silanol groups, whereas a water/acetone mixture induced hydrolysis and subsequent condensation between adjacent layers to form a new 3-D silicate framework. The 2-D structure is retained by the presence of DMSO molecules within the swelled interlayer spaces and is transformed to a 3-D silicate upon desorption of DMSO. The structural modeling suggests that both of the 3-D silicates contain new cagelike frameworks where solvent molecules are trapped even at high temperature (up to 380 degrees C, in the case of acetone). Both 2-D and 3-D silica structures are quite different from known layered silicates and zeolite-like materials, indicating the potential of the present approach for precise design of various silicate structures at the molecular level.