gebhart/patrepeval huggingface dataset:
Auto-tuning full applications: A case study (2011)

In this paper, we take a concrete step towards materializing our long-term goal of providing a fully automatic end-to-end tuning infrastructure for arbitrary program components and full applications. We describe a general-purpose offline auto-tuning framework and apply it to an application benchmark, SMG2000, a semi-coarsening multigrid on structured grids. We show that the proposed system first extracts computationally intensive loop nests into separate executable functions, a code transformation called outlining. The outlined loop nests are then tuned by the framework and subsequently integrated back into the application. Each loop nest is optimized through a series of composable code transformations, with the transformations parameterized by unbound optimization parameters that are bound during the tuning process. The values for these parameters are selected using a search-based auto-tuner, which performs a parallel heuristic search for the best-performing optimized variants of the outlined loop nests. We show that our system pinpoints a code variant that performs 2.37 times faster than the original loop nest. When the full application is run using the code variant found by the system, the application’s performance improves by 27%.
Hydrophilic, Pro-Drug Analogues of T138067 Are Efficacious in Controlling Tumor Growth In Vivo and Show a Decreased Ability To Cross the Blood Brain Barrier (2001)

The novel anticancer compound T138067 is an irreversible inhibitor of tubulin polymerization. Amides 3-6 were synthesized using standard methodologies and determined to be significantly less lipophilic than T138067 based on logP calculations. Tubulin polymerization and [(3)H]-T138067 competition assays revealed that these amides are pro-drugs for parent aniline 2. Amides 3-5 showed no detectable signs of crossing the blood brain barrier, while amide 6 was found in extremely small amounts (12 ng/g of brain tissue). Aniline 2, which was formed in vivo from these amides, was found in significantly smaller amounts (approximately 20 to >5000 times) in the brain than when 2 was administered directly. The in vivo efficacy of amide 6 approached that of T138067 and was better tolerated when administered to athymic nude mice bearing MX-1 human mammary tumor xenografts.
Über Verbindungen mit Urotropin‐Struktur, XXX. Ringschlußreaktionen ausgehend von Bicyclo [3.3.1]nonandion‐(3.7) (1964)

Abstract Die katalytische Hydrierung von Bicyclo[3.3.1]nonandion‐(3.7) (I) führte in glatter Reaktion zu 1‐Hydroxy‐2‐oxa‐adamantan (III), das nach Austausch der Hydroxylgruppe gegen Halogen und anschließende katalytische Hydrierung das bereits bekannte 2‐Oxa‐adamantan (VII) liefert. Die Kinetik der Solvolyse des 1‐Brom‐2‐oxa‐adamantans wurde verglichen mit der des 1‐Brom‐adamantans. Die reduktive Umsetzung von Bicyclo[3.3.1]nonandion‐(3.7) mit Ammoniak bzw. Methylamin ergab das bisher noch unbekannte Ringsystem des 2‐Aza‐adamantans. Als primäre Reaktionsprodukte wurden 1‐Hydroxy‐2‐aza‐adamantane (X, XI) erhalten, bei denen nach Austausch der Hydroxylgruppe gegen Chlor und anschließender reduktiver Entfernung des Halogens die in 1‐Stellung unsubstituierten 2‐Aza‐adamantane gebildet wurden.
Content-based movie coding - an overview (2004)

In this paper we discuss modalities of exploiting the distinct characteristics of entertainment movie sequences in the framework of content-based coding. In the content-based movie coding, methods that originate from model-based analysis synthesis and region-based coding, content-based retrieval, content re-purposing and computer graphics domains contribute to achieving simultaneous bit rate reduction in the compressed streams and preservation of high quality of the decoded pictures.
Effectiveness of a machine-level, global optimizer (1986)

We present an overview of the design of a machine-code-level, global (intraprocedural) optimizer that supports several front-ends producing code for the Hewlett-Packard Precision Architecture family of machines. The basic optimization strategy is described, including information about the division of responsibilities between various components of the compiler. Optimization algorithms are described, including a discussion of the dataflow information they require. Measurements showing the collective and individual effects of various optimizer components are presented.
Stiff Coatings on Compliant Biofibers: The Cuticle of <i>Mytilus californianus</i> Byssal Threads<sup>,</sup> (2009)

For lasting holdfast attachment, the mussel Mytilus californianus coats its byssal threads with a protective cuticle 2-5 microm thick that is 4-6 times stiffer than the underlying collagen fibers. Although cuticle hardness (0.1 GPa) and stiffness (2 GPa) resemble those observed in related mussels, a more effective dispersion of microdamage enables M. californianus byssal threads to sustain strains to almost 120% before cuticle rupture occurs. Underlying factors for the superior damage tolerance of the byssal cuticle were explored in its microarchitecture and in the cuticular protein, mcfp-1. Cuticle microstructure was distinctly granular, with granule diameters (approximately 200 nm) only a quarter of those in M. galloprovincialis cuticle, for example. Compared with homologous proteins in related mussel species, mcfp-1 from M. californianus had a similar mass (approximately 92 kDa) and number of tandemly repeated decapeptides, and contained the same post-translational modifications, namely, trans-4-hydroxyproline, trans-2,3-cis-3,4-dihydroxyproline, and 3,4-dihydroxyphenylalanine (Dopa). The prominence of isoleucine in mcfp-1, however, distinguished it from homologues in other species. The complete protein sequence deduced from cDNAs for two related variants revealed a highly conserved consensus decapeptide PKISYPPTYK that is repeated 64 times and differs slightly from the consensus peptide (AKPSYPPTYK) of both M. galloprovincialis and M. edulis proteins.
Ammonia Sensory Properties Based on Single-Crystalline Micro/Nanostructures of Perylenediimide Derivatives: Core-Substituted Effect (2011)

Ammonia sensory properties based on conductometric gas sensors composed of single-crystalline micro/nanostructures of PTCDI-C12, PTCDI-Br2C12, and PTCDI-CN2C12 were investigated, and it was found that the core-cyanated PTCDI-CN2C12 sensor was response to NH3 gas. The initial sensitivity of the PTCDI-CN2C12 sensor had a value of 40%, then slightly decreased to 37% in 24 h, and could still keep a stable value of 37% after its exposure to air for 14 days. Detailed studies indicated that the addition of the strong electron-withdrawing group, CN, caused a significant decreasing of the reduction potential of PTCDI-CN2C12, which led to a notable increasing of the current of PTCDI-CN2C12 nanobelts with their exposure to NH3 gas due to the efficient charge exchange occurring between the PTCDI-CN2C12 and NH3 molecules so as to show that it is highly sensitive to NH3 molecules. The low LUMO energy level and highly ordered arrangement in nanobelts determined that the sensitivity of the PTCDI-CN2C12 sensor could keep a stable value even though it was exposed to air for 14 days. It is expected that this study can provide some valuable information for fabricating organic sensing devices with good sensitivity and stability.
Serologic Diagnosis of Acute Lymphadenopathic Toxoplasmosis (1980)

The diagnosis of acute toxoplasmosis usually depends on serology, yet little data are available to compare the relative usefulness of various serologic tests after the onset of illness. The Sabin-Feldman dye test (DT), the IgM immunofluorescent antibody (IgM-IFA) test, the soluble antigen complement-fixation (CF) test, and the indirect hemagglutination (IHA) test were performed on serial serum specimens from 27 previously healthy patients, each of whom could identify the date of onset of illness within two weeks. IgM-IFA titers of greater than or equal to 1:160 were the best indicators of infection acquired in the past two to four months. The DT was useful for screening, but two-tube rises in titer were rarely documented, and absolute titers were imprecise indicators of the recentness of infection. Although two-tube rises in titer in CF and IHA tests could be seen in the majority of patients, the rises were so slow that both tests were less useful than the IgM-IFA test in documenting the diagnosis of acute toxoplasmosis.
Description of Microbacterium foliorum sp. nov. and Microbacterium phyllosphaerae sp. nov., isolated from the phyllosphere of grasses and the surface litter after mulching the sward, and reclassification of Aureobacterium resistens (Funke et al. 1998) as Microbacterium resistens comb. nov.. (2001)

The taxonomic position of a group of coryneform bacteria isolated from the phyllosphere of grasses and the surface litter after sward mulching was investigated. On the basis of restriction analyses of 16S rDNA, the isolates were divided into two genotypes. According to the 16S rDNA sequence analysis, representatives of both genotypes were related at a level of 99.2% similarity and clustered within the genus Microbacterium. Chemotaxonomic features (major menaquinones MK-12, MK-11 and MK-10; predominating iso- and anteiso-branched cellular fatty acids; G+C content 64-67 mol%; peptidoglycan-type B2beta with glycolyl residues) corresponded to this genus as well. DNA-DNA hybridization studies showed a reassociation value of less than 70% between representative strains of both subgroups, suggesting that two different species are represented. Although the extensive morphological and physiological analyses did not reveal any differentiating feature for the genotypes, differences in the presence of the cell-wall sugar mannose enabled the subgroups to be distinguished from one another. DNA-DNA hybridization with type strains of closely related Microbacterium spp. indicated that the isolates represent two individual species, which can also be differentiated from previously described species of Microbacterium on the basis of biochemical features. As a result of phenotypic and phylogenetic analyses, the species Microbacterium foliorum sp. nov., type strain P 333/02T (= DSM 12966T = LMG 19580T), and Microbacterium phyllosphaerae sp. nov., type strain P 369/06T (= DSM 13468T = LMG 19581T), are proposed. Furthermore, the reclassification of Aureobacterium resistens (Funke et al. 1998) as Microbacterium resistens (Funke et al. 1998) comb. nov. is proposed.
Reconstructing spatial image from natural language texts (1992)

This paper describes the understanding process of the spatial descriptions in Japanese. In order to understand the described world, the authors try to reconstruct the geometric model of the global scene from the scenic descriptions drawing a space. It is done by an experimental computer program SPRINT, which takes natural language texts and produces a model of the described world. To reconstruct the model, the authors extract the qualitative spatial constraints from the text, and represent them as the numerical constraints on the spatial attributes of the eutities. This makes it possible to express the vagueness of the spatial concepts and to derive the maximally plausible interpretation from a chunk of information accumulated as the constraints. The interpretation reflects the temporary belief about the world.
Proteorhodopsin photosystem gene expression enables photophosphorylation in a heterologous host (2007)

Proteorhodopsins (PRs) are retinal-containing proteins that catalyze light-activated proton efflux across the cell membrane. These photoproteins are known to be globally distributed in the ocean's photic zone, and they are found in a diverse array of Bacteria and Archaea. Recently, light-enhanced growth rates and yields have been reported in at least one PR-containing marine bacterium, but the physiological basis of light-activated growth stimulation has not yet been determined. To describe more fully PR photosystem genetics and biochemistry, we functionally surveyed a marine picoplankton large-insert genomic library for recombinant clones expressing PR photosystems in vivo. Our screening approach exploited transient increases in vector copy number that significantly enhanced the sensitivity of phenotypic detection. Two genetically distinct recombinants, initially identified by their orange pigmentation, expressed a small cluster of genes encoding a complete PR-based photosystem. Genetic and biochemical analyses of transposon mutants verified the function of gene products in the photopigment and opsin biosynthetic pathways. Heterologous expression of six genes, five encoding photopigment biosynthetic proteins and one encoding a PR, generated a fully functional PR photosystem that enabled photophosphorylation in recombinant Escherichia coli cells exposed to light. Our results demonstrate that a single genetic event can result in the acquisition of phototrophic capabilities in an otherwise chemoorganotrophic microorganism, and they explain in part the ubiquity of PR photosystems among diverse microbial taxa.
Heterogeneity in expression of the bcr-abl fusion transcript in CML blast crisis. (1987)

The 9;22 Philadelphia chromosome translocation in chronic myelogenous leukemia (CML) generates a bcr-abl fusion gene which codes for an aberrant 8-kb bcr-abl hybrid message. CML blast crisis cell lines display enhanced in vitro expression of this aberrant bcr-abl transcript when compared with fresh CML chronic phase cells. We directly compared in fresh patient samples the level of expression of the bcr-abl transcript in CML blast crisis versus chronic phase cells. All chronic phase patients displayed relatively low amounts of this aberrant transcript, while four of 10 blast crisis patients expressed this transcript at significantly higher levels. The remaining six blast crisis samples exhibited low levels of the aberrant transcript comparable to chronic phase cells. The two patients displaying the highest levels of the bcr-abl transcript did not harbor amplified copies of the bcr-abl fusion gene. This heterogeneity in the level of expression of the bcr-abl transcript in CML blast crisis indicates that enhanced expression of this aberrant transcript is not an absolutely necessary condition for blast transformation.
Activation of Protein Kinase C (α, β, and ζ) by Insulin in 3T3/L1 Cells (1997)

We presently studied (a) insulin effects on protein kinase C (PKC) and (b) effects of transfection-induced, stable expression of PKC isoforms on glucose transport in 3T3/L1 cells. In both fibroblasts and adipocytes, insulin provoked increases in membrane PKC enzyme activity and membrane levels of PKC-alpha and PKC-beta. However, insulin-induced increases in PKC enzyme activity were apparent in both non-down-regulated adipocytes and adipocytes that were down-regulated by overnight treatment with 5 microM phorbol ester, which largely depletes PKC-alpha, PKC-beta, and PKC-epsilon, but not PKC-zeta. Moreover, insulin provoked increases in the enzyme activity of immunoprecipitable PKC-zeta. In transfection studies, stable overexpression of wild-type or constitutively active forms of PKC-alpha, PKC-beta1, and PKC-beta2 failed to influence basal or insulin-stimulated glucose transport (2-deoxyglucose uptake) in fibroblasts and adipocytes, despite inhibiting insulin effects on glycogen synthesis. In contrast, stable overexpression of wild-type PKC-zeta increased, and a dominant-negative mutant form of PKC-zeta decreased, basal and insulin-stimulated glucose transport in fibroblasts and adipocytes. These findings suggested that: (a) insulin activates PKC-zeta, as well as PKC-alpha and beta; and (b) PKC-zeta is required for, and may contribute to, insulin effects on glucose transport in 3T3/L1 cells.
Dependence of the electromechanical coupling coefficient on the width-to-thickness ratio of plank-shaped piezoelectric transducers used for electronically scanned ultrasound diagnostic systems (1979)

A finite element analysis method is used to obtain the electromechanical coupling coefficient ke for plank-shaped piezoelectric transducers with a width W to thickness T ratio of not more than two. Calculation results for typical piezoelectric ceramics show that there exist maximum values of ke at certain values of W/T. For PCM-5R material the maximum value of ke is 0.69 at a W/T of 0.6. It is shown that only one vibrational mode is very strongly coupled around this value of W/T. This vibrational mode is very useful for application to electronically scanned arrayed transducers.
Low-power data representation (2000)

A method of changing a data representation to reduce the switching activity from datapath elements is described. The proposed method finds a low-power data representation so that more frequently consecutive data values have a smaller Hamming distance between their binary codes. The experimental results show that a switching activity reduction of up to 22.6% over a standard data representation scheme can be achieved.
직교 입력 백터를 이용하는 수정된 RLS 알고리즘에 관한 연구 (2019)

This paper proposes an easy algorithm for finding tapped-delay-line (TDL) filter coefficients in an adaptive filter algorithm using orthogonal input signals. The proposed algorithm can be used to obtain the coefficients and errors of a TDL filter without using an inverse orthogonalization process for the orthogonal input signals. The form of the proposed algorithm in this paper has the advantages of being easy to use and similar to the familiar recursive least-squares (RLS) algorithm. In order to evaluate the proposed algorithm, system identification simulation of the 11th-order finite-impulse-response (FIR) filter was performed. It is shown that the convergence characteristics of the learning curve and the tracking ability of the coefficient vectors are similar to those of the conventional RLS analysis. Also, the derived equations and computer simulation results ensure that the proposed algorithm can be used in a similar manner to the Levinson-Durbin algorithm.
Synthesis of Lanthanide Fluoride Nanoparticles of Varying Shape and Size (2005)

Yttrium fluoride nanoparticles of varying crystallinity, shape, and size are prepared by precipitation in reverse microemulsions of water in cyclohexane stabilized with polyoxyethylene isooctylphenyl ether. YF3 particles obtained by the classical microemulsion method are found to be monodisperse amorphous spheres, with controllable diameters between 6 and 50 nm. Particles of the same material obtained by a relatively minor variation of this method are found to be monocrystalline. Typically, mixtures of monodisperse regular hexagonal and triangular single crystals are observed. The size of the crystalline particles can be varied between about 25 and 350 nm. The formation of single crystals can be attributed to the slower incorporation of the precipitant into the micelles when introduced in this fashion.
Mathematical Methods in Physics (1996)

Vector and tensor analysis vector fields n-dimensional space Hilbert space functions of a complex variable ordinary and partial differential equations Green's functions eigenvalue problems wave equations dispersion theory problems with solutions representing extensions to the theory applications in areas of special relativity electromagnetic theory, hydrodynamic heat conduction vibrating membranes advanced and retarded d-functions and other papers. (Part contents).
Optical properties of polycrystalline nickel silicides (1990)

The near-normal reflectivity of polycrystalline ${\mathrm{Ni}}_{3}$Si, ${\mathrm{Ni}}_{2}$Si, NiSi, and ${\mathrm{NiSi}}_{2}$ from 0.01 to 6 eV and the dielectric functions obtained by Kramers-Kronig analysis are presented. The effect of an oxide overlayer on the optical properties is also considered. The low-energy response is discussed in terms of the Drude model and compared with the transport measurements. The higher-energy interband spectrum is interpreted on the basis of the calculated density of states and photoemission results. In particular, the optical structures of ${\mathrm{NiSi}}_{2}$ are correlated to interband transitions using the joint density of states obtained by band-structure calculations.
May-Happen-in-Parallel Analysis for Actor-Based Concurrency (2015)

This article presents a may-happen-in-parallel (MHP) analysis for languages with actor-based concurrency . In this concurrency model, actors are the concurrency units such that, when a method is invoked on an actor a 2 from a task executing on actor a 1 , statements of the current task in a 1 may run in parallel with those of the (asynchronous) call on a 2 , and with those of transitively invoked methods. The goal of the MHP analysis is to identify pairs of statements in the program that may run in parallel in any execution. Our MHP analysis is formalized as a method-level ( local ) analysis whose information can be modularly composed to obtain application-level ( global ) information. The information yielded by the MHP analysis is essential to infer more complex properties of actor-based concurrent programs, for example, data race detection, deadlock freeness, termination, and resource consumption analyses can greatly benefit from the MHP relations to increase their accuracy. We report on MayPar, a prototypical implementation of an MHP static analyzer for a distributed asynchronous language.
Flexible security systems and a new structure for electronic commerce on software radio (2002)

We summarize the security necessary for software defined radio (SDR) systems, and propose a flexible structure for security systems on SDR. We introduce a new electronic commerce scheme for SDR that utilizes the ability of SDR to switch between different security algorithms for electronic commerce. We evaluate the performance of the cryptographic algorithms used in electronic commerce on various platforms including SDR systems, as basic research toward the implementation of SDR.
Grafting of polymers onto a carbon black surface by the trapping of polymer radicals (1998)

The grafting of polymers onto a carbon black surface based on the trapping of polymer radicals by polycondensed aromatic rings of the surface was investigated. It was found that polymer radicals formed by the thermal decomposition of azo-polymer, peroxy-polymer and 2,2,6,6-tetramethylpiperidinyl-1-oxy-terminated polymer are successfully captured by a carbon black surface to give the corresponding polymer-grafted carbon blacks. The grafting of polymers onto carbon black was also achieved by the trapping of polymer radicals formed by the redox reaction of ceric ions with polymers having hydroxyl groups. It was concluded that surface grafting of polymers onto carbon black is effective when there are few functional groups. The electrical resistance of poly(ethylene oxide) (PEO)-grafted carbon black thus obtained is increased drastically to about 104–105 times the initial resistance at the melting point of PEO. This may be due to a widening of the gaps between the carbon black particles by melting of PEO. In addition, it was found that the electrical resistance of a crystalline poly(ethylene imine) (PEI)-grafted carbon black drastically increased to 103–104 times the initial resistance in methanol, ethanol and water vapor, but hardly any change in electrical resistance was observed in n-hexane or toluene vapor. These results suggest the possibility of detecting a slight change in the crystalline structure of PEI upon absorption of solvent vapor as a large increase in the electrical resistance of the polymer-grafted carbon black. © 1998 John Wiley & Sons, Ltd.
Getting Started with Identity (2016)

ASP.NET Core Identity is an API from Microsoft to manage users in ASP.NET applications. In this chapter, I demonstrate the process of setting up ASP.NET Core Identity and creating a simple user administration tool that manages individual user accounts that are stored in a database.