gebhart/patrepeval huggingface dataset:
Delay-power performance analysis (2003)

Based on an incremental path search algorithm, this paper addresses the problem of low power performance driven path classification by sizing selected gates on the shortest and the longest identified paths of the circuit. Delay and power/area constraints are managed using circuit path sizing alternatives defined through a realistic evaluation of gate power and delay. Demonstration of this technique is given on examples of path enumeration and optimization evaluated on several ISCAS'85 benchmarks. Implemented in the POPS tool (Performance Optimization by Path Selection), the accuracy of this technique is compared to evaluation obtained from the EPIC tool with SPICE used as a reference.
Scalable and scalably-verifiable sequential synthesis (2008)

This paper describes an efficient implementation of sequential synthesis that uses induction to detect and merge sequentially-equivalent nodes. State-encoding, scan chains, and test vectors are essentially preserved. Moreover, the sequential synthesis results are sequentially verifiable using an independent inductive prover similar to that used for synthesis, with guaranteed completeness. Experiments with this sequential synthesis show effectiveness. When applied to a set of 20 industrial benchmarks ranging up to 26 K registers and up to 53 K 6 -LUTs, average reductions in register and area are 12.9% and 13.1% respectively while delay is reduced by 1.4%. When applied to the largest academic benchmarks, an average reduction in both registers and area is more than 30%. The associated sequential verification is also scalable and runs about 2times slower than synthesis. The implementation is available in the synthesis and verification system ABC.
Highly conductive epitaxial CdO thin films prepared by pulsed laser deposition (2001)

Epitaxial growth of both pure and doped CdO thin films has been achieved on MgO (111) substrates using pulsed laser deposition. A maximum conductivity of 42 000 S/cm with mobility of 609 cm2/V s is achieved when the CdO epitaxial film is doped with 2.5% Sn. The pure CdO epitaxial film has a band gap of 2.4 eV. The band gap increases with doping and reaches a maximum of 2.87 eV when the doping level is 6.2%. Both grain boundary scattering and ionized impurity scattering are found to contribute to the mobility of CdO films.
<i>Clostridium difficile</i>–related Hospitalizations among US Adults, 2006 (2008)

salons. M. conceptionense belongs to the M. fortuitum group and was isolated in a posttraumatic osteitis infl ammation (10). M. chimaera belongs to MAC and has been isolated only in patients with pulmonary disorders but not from immunocompromised patients. The authors reported that the isolate showed unusually high virulence. We isolated this species for the fi rst time in an environmental sample. It could belong to the transitory fl ora of the H cooling tower because it was isolated only once in our samples. Cooling towers already had been investigated for slow-growing mycobacteria (1), and our study showed they also can be an environmental source of rapidly growing NTM pathogens. In our procedure for amebal co-cultures, incubation cannot last >10 days because amebae do not survive longer in Page's amebal saline buffer. Moreover, agar plates were incubated for 10 days only, which explains why we could recover only rapidly growing mycobacteria. The cooling towers, already known as a source of dissemination of Legionella spp., may disseminate mycobacteria in aerosols and be a previously nonrecognized source of infection.
A noise parameter configuration technique to mitigate detour inference attack on differential privacy (2017)

Nowadays, data has become more important as the core resource for the information society. However, with the development of data analysis techniques, the privacy violation such as leakage of sensitive data and personal identification exposure are also increasing. Differential privacy is the technique to satisfy the requirement that any additional information should not be disclosed except information from the database itself. It is well known for protecting the privacy from arbitrary attack. However, recent research argues that there is a several ways to infer sensitive information from data although the differential privacy is applied. One of this inference method is to use the correlation between the data. In this paper, we investigate the new privacy threats using attribute correlation which are not covered by traditional studies and propose a privacy preserving technique that configures the differential privacy's noise parameter to solve this new threat. In the experiment, we show the weaknesses of traditional differential privacy method and validate that the proposed noise parameter configuration method provide a sufficient privacy protection and maintain an accuracy of data utility.
Accurate Kinetic Modeling of Alkaline Phosphatase in the <i>Escherichia coli </i>Periplasm:  Implications for Enzyme Properties and Substrate Diffusion<sup>†</sup> (1996)

Alkaline phosphatase in the periplasm of Escherichia coli presents many of the complex factors that may influence enzymes in vivo. These include an environment that contains a high enzyme concentration, is densely populated with other macromolecules, and is separated from other compartments by a partial diffusion barrier. A previous study provided a partial description of this situation and developed a model that utilized kinetic behavior to estimate the permeability of the outer membrane [Martinez, M. B., et al., (1992) Biochemistry 31, 11500]. This study extends that description to provide a complete model for the enzyme at all substrate levels. Some of the parameters needed for complete modeling include the following: outer membrane permeability to the substrate and product, catalytic efficiency of the enzyme, number of enzymes per cell, and effects of the reaction product (an inhibitor) on the enzyme. The theoretical model fit the data quite well over a wide range of values for each of these parameters. The best fit of theory with experimental data required that the rate constant for product escape from the periplasm was 4-fold greater than that for substrate entry. This correlated with the relative sizes of the substrate and product. The excellent fit of theory and results suggested that alkaline phosphatase and its substrate were unaffected by the solution conditions in the periplasm. That is, the catalytic parameters (kcat and KM), determined for the enzyme in dilute solution, appeared to be unchanged by the conditions in the periplasm. The major factor that altered the kinetic behavior was the combined effect of the permeability barrier and the dense population of enzyme molecules in the periplasm. Given the large impact of these parameters on reaction properties, the excellent fit of theory and results was striking. Overall, this study demonstrated that enzyme action in the complex biological environment can be accurately modeled, if all factors that influence enzyme behavior are known.
An Estimate of the Store Size Necessary for Dynamic Storage Allocation (1971)

Dynamic storage allocation using fixed blocks is usually inefficient in its use of store. The amount of store needed depends on the allocation strategy used. It is proved that for any strategy the amount of store needed is bounded below by a function which rises logarithmically with the size of blocks used. A certain strategy is shown to exceed this bound by a factor of at most 13/4. The exact amount of store needed is found for the case when blocks have sizes 1 and 2 only.
GIC occurrences and GIC test for 400 kV system transformer (2002)

The geomagnetic induced currents in a transmission network may saturate transformers and cause additional losses, a high level of harmonics, and a lack of reactive power in the grid. Also, malfunctioning of protection circuits is reported in this paper. The field tests made for two 463 MVA system transformers show that tested transformers may tolerate very high DC currents for times typical to geomagnetic storms. The effects of the voltage control and voltage quality in network are also considered, and results of earlier Finnish GIC risk studies are reported.
Phosphonitrilic Compounds. V. Cyclized Products from the Reactions of Hexachlorocyclotriphosphazene (Phosphonitrilic Chloride Trimer) with Aromatic Dihydroxy, Dithiol, and Diamino Compounds (1966)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTPhosphonitrilic Compounds. V. Cyclized Products from the Reactions of Hexachlorocyclotriphosphazene (Phosphonitrilic Chloride Trimer) with Aromatic Dihydroxy, Dithiol, and Diamino CompoundsH. R. Allcock and R. L. KugelCite this: Inorg. Chem. 1966, 5, 6, 1016–1020Publication Date (Print):June 1, 1966Publication History Published online1 May 2002Published inissue 1 June 1966https://pubs.acs.org/doi/10.1021/ic50040a015https://doi.org/10.1021/ic50040a015research-articleACS PublicationsRequest reuse permissionsArticle Views979Altmetric-Citations60LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
Quaternary ammonium salts as bifunctional catalysts in the oxybromination of aromatic compounds by aqueous hydrogen bromide/hydrogen peroxide (1987)

J. Dakka and Y. Sasson, J. Chem. Soc., Chem. Commun., 1987, 1421 DOI: 10.1039/C39870001421
A Framework for Real-Time Digital Audio Processing in the Internet Browser (2008)

In an attempt to address the lack of audio processing in web-based applications, various methods are explored for generating dynamic audio and real-time processing. After the logical platform is identified, a framework is theoretically and practically designed. The framework includes implementations that target the everyday web developer, as well as the digital signal processing programmer, in an effort to unite the two parties and infuse the next generation of rich Internet
Studies on the interaction of the carbohydrate binding module 3 from the Clostridium thermocellum CipA scaffolding protein with cellulose and paper fibres (2009)

The adsorption of a carbohydrate binding module (CBM3) from the Clostridium thermocellum scaffolding protein (CipA) to cellulose was analysed in this work. The effect of CBM-PEG on the drainability of E. globulus and P. sylvestris pulps and on the physical properties of the respective papersheets was also studied. The CBM binding to cellulose is often described as “irreversible”, but this classification does not fully characterize this interaction. Indeed, the results obtained demonstrate that, although the adsorption on cellulose is rather stable, CBM inter-fibre mobility may be observed. The results also showed that the CBM-PEG conjugate improves the drainability of E. globulus and P. sylvestris pulps without affecting the physical properties of the papersheets.
Controller-free exploration of medical image data: Experiencing the Kinect (2011)

In this paper, an open-source system for a controller-free, highly interactive exploration of medical images is presented. By using a Microsoft Xbox Kinect™ as the only input device, the system's user interface allows users to interact at a distance through hand and arm gestures. The paper also details the interaction techniques we have designed specifically for the deviceless exploration of medical imaging data. Since the user interface is touch-free and does not require complex calibration steps, it is suitable for use in operating rooms, where non-sterilizable devices cannot be used.
Correlating resource demand information with ARM data for application services (1998)

Recognizing and solving a distributed application's performance problems can require information about the application's structure, the application-level services offered by each of its processes, and the resource demands and response times of each of these services.The Application Response Measurement package (ARM) Version 2.0 offers a de facto standard instrumentation paradigm for distributed applications that enables the monitoring of services and their relationships.The data that can be captured is adequate for deducing the structure of distributed applications and for gathering response time measures.However for most platforms it is not possible to measure a service's resource demands directly.This last step is necessary for sizing studies and the development of predictive performance models.In this paper we present the results of experiments that illustrate the conditions under which common statistical techniques, instead of direct measurement, can be used to accurately correlate the use of application level services with resource demand information.Both simulation and the measurement of a CORBA application are used to assess the accuracy of the techniques and the relative importance of various experimental factors.The results of the experiments are used to provide a set of requirements for ARM monitoring infrastructures and strategies for ARM instrumentation plans.
Active learning from demonstration for robust autonomous navigation (2012)

Building robust and reliable autonomous navigation systems that generalize across environments and operating scenarios remains a core challenge in robotics. Machine learning has proven a significant aid in this task; in recent years learning from demonstration has become especially popular, leading to improved systems while requiring less expert tuning and interaction. However, these approaches still place a burden on the expert, specifically to choose the best demonstrations to provide. This work proposes two approaches for active learning from demonstration, in which the learning system requests specific demonstrations from the expert. The approaches identify examples for which expert demonstration is predicted to provide useful information on concepts which are either novel or uncertain to the current system. Experimental results demonstrate both improved generalization performance and reduced expert interaction when using these approaches.
A Visual Embedding for the Unsupervised Extraction of Abstract Semantics (2015)

Vector-space word representations obtained from neural network models have been shown to enable semantic operations based on vector arithmetic. In this paper, we explore the existence of similar information on vector representations of images. For that purpose we define a methodology to obtain large, sparse vector representations of image classes, and generate vectors through the state-of-the-art deep learning architecture GoogLeNet for 20K images obtained from ImageNet. We first evaluate the resultant vector-space semantics through its correlation with WordNet distances, and find vector distances to be strongly correlated with linguistic semantics. We then explore the location of images within the vector space, finding elements close in WordNet to be clustered together, regardless of significant visual variances (e.g. 118 dog types). More surprisingly, we find that the space unsupervisedly separates complex classes without prior knowledge (e.g. living things). Afterwards, we consider vector arithmetics. Although we are unable to obtain meaningful results on this regard, we discuss the various problem we encountered, and how we consider to solve them. Finally, we discuss the impact of our research for cognitive systems, focusing on the role of the architecture being used.
The Impact of Regional Land-Use Controls on Property Values: The Case of the New Jersey Pinelands (1991)

The economic impacts of these policies have not been given prominent position in the literature. However, a gradual accumulation of knowledge is emerging. This paper seeks to extend this base by exploring the change in real estate prices over a 20-year period encompassing the introduction of regional growth controls to the approximately one million acres of southern New Jersey known as the Pinelands.
Preclinical Safety and Pharmacokinetic Profile of 3K3A-APC, a Novel, Modified Activated Protein C for Ischemic Stroke (2012)

Activated protein C (APC), a protease with anticoagulant and cytoprotective activities, protects neurons and cerebrovascular endothelium from ischemic injury. A recombinant APC, drotrecogin alfa (activated) (DrotAA) (Xigris®), was approved by the Food and Drug Administration for the treatment of sepsis; however, serious bleeding was a dose-limiting side effect. A modified APC, containing 405 amino acid residues, 3K3A-APC, was designed to possess significantly reduced anticoagulant activity ( < 10 %) while maintaining full cytoprotective properties. The preclinical safety assessment of 3K3A-APC was conducted to support initiation of ischemic stroke clinical trials.The safety and toxicokinetics of 3K3A-APC were studied in CD-1 mice and cynomolgus monkeys. Multiple-dose (14-day), intravenous GLP toxicology assessed toxicity, histopathology, immunogenicity, and toxicokinetics.Dose-related increases in plasma total 3K3A-APC were observed in mice and monkeys with no evidence of accumulation over 14 days. The elimination T(1/2) in monkeys was 1 hour. 3K3A-APC was well tolerated in mice and monkeys, and no signs of 3K3A-APC toxicity were identified in mice or monkeys at any time. Additionally,wild-type APC (DrotAA) was studied to obtain comparative anticoagulant data using clotting assays. Anticoagulant activity of 3K3A-APC was observed in monkeys at doses of 1 and 5 mg/kg/day .In contrast, DrotAA showed prolongation of clotting assays in monkeys at doses 1/10(th) of those showing effects with 3K3A-APC. Based upon the anticoagulant profiles, the risk for APC-induced bleeding in clinical trials of 3K3A-APC is greatly reduced relative to wild type APC which makes this new drug a feasible therapy for ischemic stroke patients.
Safety and benefits of fructooligosaccharides as food ingredients (1994)

The article discusses the safety of fructooligosaccharides and their use to improve teh flavor of unsweetened lowfat yogurt
Superior Activity of the Type C Class of ISS <i>In Vitro</i> and <i>In Vivo</i> Across Multiple Species (2005)

CpG-C are a novel class of CpG motif-containing immunostimulatory sequences (ISS) that includes both a 5'-TCG element and a CpG-containing palindrome. CpG-C drive all known ISS activities and, in particular, are potent enhancers of IFN-alpha from plasmacytoid dendritic cells (PDCs). In our examination of CpG-C sequence requirements, we determined that optimal IFN-alpha-inducing activity could be achieved with longer palindromes. Longer palindromes also correlated with maintenance of the double-stranded (ds) form despite concentration and pH changes, indicating a preference for ds oligodeoxynucleotides (ODNs) by the ISS-induced signaling mechanism for IFN-alpha synthesis. This correlation did not hold for all arms of the ISS-induced immune response, since we did not observe increased B cell activity with the longer palindrome CpG-C ODNs. We further demonstrated that CpG-C retained activity in an in vitro primate system and induced the expression of several cytokines and IFN-alpha-inducible genes when CpG-C were administered in vivo to mice and primates. In conclusion, we have shown CpG-C to exert several types of immune functions across multiple species, and this novel class is thus an attractive candidate for ISS-based therapeutic strategies.
Preparation of tailor-made functional polymers by anionic living polymerization. (1986)

Anionic living polymerization is the most excellent method to prepare homopolymers and block polymers with controlled molecular weights and very narrow molecular weight distributions. However, functional monomers are unable to be directly polymerized with anionic initiators to generate functional polymers of well-defined structures because initiators and propagating ends react with the functional groups. Recently, it was found that styrene derivatives bearing functional groups, such as hydroxyl, amino, formyl, and carboxyl groups, were polymerized with anionic initiators to afford living polymers at low temperature by masking the functional groups with trialkylsilyl groups and other suitable protective groups. Removal of the protective groups was quantitatively performed by acid treatment of the polymers produced. Thus, by means of protection method and anionic living polymerization, tailor-made functional homopolymers and block copolymers of these functional monomers with styrenes and dienes were synthesized. Various types of microphase separation of the functional block copolymers were observed by electron microscopic measurement.
Schwefel, Teil B Lieferung 3, Gmelins Handbuch der Anorganischen Chemie (1964)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSchwefel, Teil B Lieferung 3, Gmelins Handbuch der Anorganischen ChemieMax SchmidtCite this: Inorg. Chem. 1964, 3, 4, 616Publication Date (Print):April 1, 1964Publication History Published online1 May 2002Published inissue 1 April 1964https://doi.org/10.1021/ic50014a049RIGHTS & PERMISSIONSArticle Views24Altmetric-Citations-LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InReddit PDF (152 KB) Get e-Alerts Get e-Alerts
Identification and Analysis of a Novel Group of Bacteriophages Infecting the Lactic Acid Bacterium Streptococcus thermophilus (2016)

Phage predation of S. thermophilus is an important issue for the dairy industry, where viral contamination can lead to fermentation inefficiency or complete fermentation failure. Genome information and phage-host interaction studies of S. thermophilus phages, particularly those emerging in the marketplace, are an important part of limiting the detrimental impact of these viruses in the dairy environment.