gebhart/patrepeval huggingface dataset:
A Program Logic for Bytecode (2005)

Program logics for bytecode languages such as Java bytecode or the .NET CIL can be used to apply Proof-Carrying Code concepts to bytecode programs and to verify correctness properties of bytecode programs. This paper presents a Hoare-style logic for a sequential bytecode kernel language similar to Java bytecode and CIL. The logic handles object-oriented features such as inheritance, dynamic method binding, and object structures with destructive updates, as well as unstructured control flow with jumps. It is sound and complete.
The First Example of a Catalytic Hunsdiecker Reaction:  Synthesis of β-Halostyrenes (1997)

ADVERTISEMENT RETURN TO ISSUEPREVNoteNEXTThe First Example of a Catalytic Hunsdiecker Reaction: Synthesis of β-Halostyrenes†Shantanu Chowdhury and Sujit RoyView Author Information Metallo-Organic Laboratory, I&PC Division, Indian Institute of Chemical Technology, Hyderabad 500007, IndiaCite this: J. Org. Chem. 1997, 62, 1, 199–200Publication Date (Web):January 10, 1997Publication History Received8 November 1995Published online10 January 1997Published inissue 1 January 1997https://pubs.acs.org/doi/10.1021/jo951991fhttps://doi.org/10.1021/jo951991fbrief-reportACS PublicationsCopyright © 1997 American Chemical SocietyRequest reuse permissionsArticle Views3986Altmetric-Citations85LEARN 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-AlertscloseSupporting Info (1)»Supporting Information Supporting Information SUBJECTS:Bromine,Catalytic reactions,Chemical reactions,Organic acids,Organic compounds Get e-Alerts
Code generation for multiple mappings (2002)

There has been a great amount of recent work toward unifying iteration reordering transformations. Many of these approaches represent transformations as affine mappings from the original iteration space to a new iteration space. These approaches show a great deal of promise, but they all rely on the ability to generate code that iterates over the points in these new iteration spaces in the appropriate order. This problem has been fairly well-studied in the case where all statements use the same mapping. We have developed an algorithm for the less well-studied case where each statement uses a potentially different mapping. Unlike many other approaches, our algorithm can also generate code from mappings corresponding to loop blocking. We address the important trade-off between reducing control overhead and duplicating code.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Comparison of alternative modulation techniques for microwave optical links (1991)

Directly- and externally-modulated fiber optic links have been compared in terms of gain, noise, and dynamic range. Data obtained indicate that direct modulation has gain and noise figures relatively insensitive to the optical bias level, provided the increased dynamic range at the higher laser bias level; excess optical noise caused by relaxation oscillation in the semiconductor laser limited the noise figure and dynamic range. For the externally-modulated link, gain and noise figures appeared to significantly depend on the optical input power and RF switching power, but the dynamic range is primarily determined by the optical input power. Photodetector linearity is a significant factor limiting the dynamic range of both of these links, especially at lower microwave frequencies.
Two-Band Excitation for HMM-Based Speech Synthesis (2007)

This letter describes a two-band excitation model for HMM-based speech synthesis. The HMM-based speech synthesis system generates speech from the HMM training data of the spectral and excitation parameters. Synthesized speech has a typical quality of vocoded sound mostly because of the simple excitation model with the voiced/unvoiced selection. In this letter, two-band excitation based on the harmonic plus noise speech model is proposed for generating the mixed excitation source. With this model, we can generate the mixed excitation more accurately and reduce the memory for the trained excitation data as well.
Low Cost V-band Filter and Antenna on Liquid Crystal Polymer Substrate (2006)

In this paper, we present for the first time low cost V-band compact planar band-pass filter and circularly polarized antenna array that have been designed, fabricated on liquid crystal polymer substrate and measured. The 4 pole elliptic filter exhibits a measured minimum insertion loss of 2.6 dB at 68 GHz for a relative 3 dB bandwidth of 11% and a rejection better than 22 dB at an offset of 10% away from the center frequency. In addition, a 2 by 2 linearly polarized series path antenna array has been developed and exhibit a 10 dB bandwidth of 4 GHz, a gain of 11 dBi and a 3dB beam-width of 40 degrees in both azimuth and elevation (E and H plane).
One-Pot Facile Synthesis of Pyridyl Annelated Perylene Bisimides (2009)

Two regiospecifically pyridyl annelated perylene bisimides have been prepared in one pot by the combination of the Suzuki cross-coupling reaction and subsequent light-promoted cyclization in high yields.
Maximizing the spread of influence through a social network (2003)

Models for the processes by which ideas and influence propagate through a social network have been studied in a number of domains, including the diffusion of medical and technological innovations, the sudden and widespread adoption of various strategies in game-theoretic settings, and the effects of "word of mouth" in the promotion of new products. Recently, motivated by the design of viral marketing strategies, Domingos and Richardson posed a fundamental algorithmic problem for such social network processes: if we can try to convince a subset of individuals to adopt a new product or innovation, and the goal is to trigger a large cascade of further adoptions, which set of individuals should we target?We consider this problem in several of the most widely studied models in social network analysis. The optimization problem of selecting the most influential nodes is NP-hard here, and we provide the first provable approximation guarantees for efficient algorithms. Using an analysis framework based on submodular functions, we show that a natural greedy strategy obtains a solution that is provably within 63% of optimal for several classes of models; our framework suggests a general approach for reasoning about the performance guarantees of algorithms for these types of influence problems in social networks.We also provide computational experiments on large collaboration networks, showing that in addition to their provable guarantees, our approximation algorithms significantly out-perform node-selection heuristics based on the well-studied notions of degree centrality and distance centrality from the field of social networks.
A General Requirement for the Sin3-Rpd3 Histone Deacetylase Complex in Regulating Silencing in Saccharomyces cerevisiae (1999)

The Sin3-Rpd3 histone deacetylase complex, conserved between human and yeast, represses transcription when targeted by promoter-specific transcription factors. SIN3 and RPD3 also affect transcriptional silencing at the HM mating loci and at telomeres in yeast. Interestingly, however, deletion of the SIN3 and RPD3 genes enhances silencing, implying that the Sin3-Rpd3 complex functions to counteract, rather than to establish or maintain, silencing. Here we demonstrate that Sin3, Rpd3, and Sap30, a novel component of the Sin3-Rpd3 complex, affect silencing not only at the HMR and telomeric loci, but also at the rDNA locus. The effects on silencing at all three loci are dependent upon the histone deacetylase activity of Rpd3. Enhanced silencing associated with sin3Delta, rpd3Delta, and sap30Delta is differentially dependent upon Sir2 and Sir4 at the telomeric and rDNA loci and is also dependent upon the ubiquitin-conjugating enzyme Rad6 (Ubc2). We also show that the Cac3 subunit of the CAF-I chromatin assembly factor and Sin3-Rpd3 exert antagonistic effects on silencing. Strikingly, deletion of GCN5, which encodes a histone acetyltransferase, enhances silencing in a manner similar to deletion of RPD3. A model that integrates the effects of rpd3Delta, gcn5Delta, and cac3Delta on silencing is proposed.
A Polycystin-1 Multiprotein Complex Is Disrupted in Polycystic Kidney Disease Cells (2004)

Autosomal dominant polycystic kidney disease (ADPKD) is typified by the accumulation of fluid-filled cysts and abnormalities in renal epithelial cell function. The disease is principally caused by mutations in the gene encoding polycystin-1, a large basolateral plasma membrane protein expressed in kidney epithelial cells. Our studies reveal that, in normal kidney cells, polycystin-1 forms a complex with the adherens junction protein E-cadherin and its associated catenins, suggesting a role in cell adhesion or polarity. In primary cells from ADPKD patients, the polycystin-1/polycystin-2/E-cadherin/beta-catenin complex was disrupted and both polycystin-1 and E-cadherin were depleted from the plasma membrane as a result of the increased phosphorylation of polycystin-1. The loss of E-cadherin was compensated by the transcriptional upregulation of the normally mesenchymal N-cadherin. Increased cell surface N-cadherin in the disease cells in turn stabilized the continued plasma membrane localization of beta-catenin in the absence of E-cadherin. The results suggest that enhanced phosphorylation of polycystin-1 in ADPKD cells precipitates changes in its localization and its ability to form protein complexes that are critical for the stabilization of adherens junctions and the maintenance of a fully differentiated polarized renal epithelium.
Multifactor Gaussian process models for style-content separation (2007)

We introduce models for density estimation with multiple, hidden, continuous factors. In particular, we propose a generalization of multilinear models using nonlinear basis functions. By marginalizing over the weights, we obtain a multifactor form of the Gaussian process latent variable model. In this model, each factor is kernelized independently, allowing nonlinear mappings from any particular factor to the data. We learn models for human locomotion data, in which each pose is generated by factors representing the person's identity, gait, and the current state of motion. We demonstrate our approach using time-series prediction, and by synthesizing novel animation from the model.
Integration of Heterogeneous Semistructured Data Models in the Canonical One (1999)

To provide for interoperability of heterogeneous information objects it is required to establish a global, uniform view of the underlying digital collections and services. An information model is needed which is able to express uniformly the structure and semantics of heterogeneous data collections as well as the available services. Usually the mediator&apos;s layer is introduced to provide the users with the metainformation uniformly characterizing content of the underlying collections and with the canonical information model applied for definition of such metainformation and for querying integrated world of digital collections. The paper focuses on the canonical model intended for homogeneous representation of various semistructured and hybrid data models that have been developed recently with orientation on the data contained in Web sites. The paper provides a short overview of several representative semistructured and hybrid data models. The canonical information model (based on the SY...
Surface Trafficking of Neurotransmitter Receptor: Comparison between Single-Molecule/Quantum Dot Strategies (2007)

The cellular traffic of neurotransmitter receptors has captured a lot of attention over the last decade, mostly because synaptic receptor number is adjusted during synaptic development and plasticity. Although each neurotransmitter receptor family has its own trafficking characteristics, two main
Review of Electromagnetic Surface Waves - 1960 Through 1987 (1988)

Abstract : This report contains a literature survey on electromagnetic surface waves for the years 1960 through 1987.
Personal Verification System Using ID Card and Face Photo (2019)

Generally, the process of verifying a person's identification in a bank is accomplished by an officer comparing a photo in an ID card with the actual face of the person. This process is prone to mistake as officers usually need to serve several people in a short time. This article proposes the personal verification system using an ID card and face photo by applying face detection and face comparison. A system based on several open source libraries for face recognition including Dlib, Facenet, and ArcFace is implemented. The experimental analysis shows that the system based on ArcFace yields the highest accuracy at 99.06% for face detection and 96.09% for face comparison. ArcFace outperforms other methods because it not only uses MTCNN but also adjusts face image to be in a straight direction as well as fixes the positions of eyebrows, eyes nose, and mouth so that all images have similar references.
Moleculo Long-Read Sequencing Facilitates Assembly and Genomic Binning from Complex Soil Metagenomes (2016)

Soil metagenomics has been touted as the "grand challenge" for metagenomics, as the high microbial diversity and spatial heterogeneity of soils make them unamenable to current assembly platforms. Here, we aimed to improve soil metagenomic sequence assembly by applying the Moleculo synthetic long-read sequencing technology. In total, we obtained 267 Gbp of raw sequence data from a native prairie soil; these data included 109.7 Gbp of short-read data (~100 bp) from the Joint Genome Institute (JGI), an additional 87.7 Gbp of rapid-mode read data (~250 bp), plus 69.6 Gbp (>1.5 kbp) from Moleculo sequencing. The Moleculo data alone yielded over 5,600 reads of >10 kbp in length, and over 95% of the unassembled reads mapped to contigs of >1.5 kbp. Hybrid assembly of all data resulted in more than 10,000 contigs over 10 kbp in length. We mapped three replicate metatranscriptomes derived from the same parent soil to the Moleculo subassembly and found that 95% of the predicted genes, based on their assignments to Enzyme Commission (EC) numbers, were expressed. The Moleculo subassembly also enabled binning of >100 microbial genome bins. We obtained via direct binning the first complete genome, that of "<i>Candidatus</i> Pseudomonas sp. strain JKJ-1" from a native soil metagenome. By mapping metatranscriptome sequence reads back to the bins, we found that several bins corresponding to low-relative-abundance <i>Acidobacteria</i> were highly transcriptionally active, whereas bins corresponding to high-relative-abundance <i>Verrucomicrobia</i> were not. These results demonstrate that Moleculo sequencing provides a significant advance for resolving complex soil microbial communities. <b>IMPORTANCE</b> Soil microorganisms carry out key processes for life on our planet, including cycling of carbon and other nutrients and supporting growth of plants. However, there is poor molecular-level understanding of their functional roles in ecosystem stability and responses to environmental perturbations. This knowledge gap is largely due to the difficulty in culturing the majority of soil microbes. Thus, use of culture-independent approaches, such as metagenomics, promises the direct assessment of the functional potential of soil microbiomes. Soil is, however, a challenge for metagenomic assembly due to its high microbial diversity and variable evenness, resulting in low coverage and uneven sampling of microbial genomes. Despite increasingly large soil metagenome data volumes (>200 Gbp), the majority of the data do not assemble. Here, we used the cutting-edge approach of synthetic long-read sequencing technology (Moleculo) to assemble soil metagenome sequence data into long contigs and used the assemblies for binning of genomes. <b>Author Video</b>: An author video summary of this article is available.
Fault Simulation and Emulation Tools to Augment Radiation-Hardness Assurance Testing (2013)

As of 2013, the gold standard for assessing radiation-hardness assurance (RHA) for a system, subsystem, or a component is accelerated radiation testing and/or pulsed laser testing. Fault injection tools, which include both fault simulation and emulation tools, have become more common in the last 15 years. Fault simulation tools use analytical methods for assessing RHA, whereas fault emulation uses hardware methods. Both fault simulation and emulation allow designers to augment traditional RHA techniques to determine whether circuit designs, microarchitectures, components, and application-specific integrated circuits (ASICs) meet the requirements for a particular mission. Fault simulation and emulation can provide the designers the luxury of testing on the benchtop without the time and financial constraints of accelerated radiation testing. This paper explores how to design, implement, and validate a fault simulation or emulation system. The paper ends with several case studies of currently used fault simulation and emulation systems.
Protein Sculptures: Life's Building Blocks Inspire Art (2005)

The author takes a literal look at the foundation of our physical existence by creating sculptures of proteins, the universal parts of the machinery of life. For him, it is less important to copy a molecule accurately in all its details than to find a guiding principle and follow it to see whether it yields artistically interesting results. The main idea underlying these sculptures is the analogy between the technique of mitered cuts and protein folding. The sculptures offer a sensual experience of a world that is usually accessible only through the intellect.
Temporal and information flow based event detection from social text streams (2007)

Recently, social text streams (e.g., blogs, web forums, and emails) have become ubiquitous with the evolution of the web. In some sense, social text streams are sen-sors of the real world. Often, it is desirable to extract real world events from the social text streams. How-ever, existing event detection research mainly focused only on the stream properties of social text streams but ignored the contextual, temporal, and social information embedded in the streams. In this paper, we propose to detect events from social text streams by exploring the content as well as the temporal, and social dimensions. We define the term event as the information flow be-tween a group of social actors on a specific topic over a certain time period. We represent social text streams as multi-graphs, where each node represents a social ac-tor and each edge represents the information flow be-tween two actors. The content and temporal associa-tions within the flow of information are embedded in the corresponding edge. Events are detected by combining text-based clustering, temporal segmentation, and infor-mation flow-based graph cuts of the dual graph of the social networks. Experiments conducted with the En-ron email dataset1 and the political blog dataset from Dailykos2 show the proposed event detection approach outperforms the other alternatives.
An Automatic Bias Control (ABC) Circuit for Injection Lasers (1978)

A totally electronic method of stabilizing the output light of an injection laser is presented. This novel method compensates the drift of the threshold current in gallium aluminum arsenide lasers by means of a feedback signal derived from the laser voltage.
Logistics Information Systems: The Importance of anEnterprise Perspective (1992)

The move towards higher levels of customer service necessary to defend market share has come at a time when the economic climate has highlighted the need to reduce logistics costs. Compounding this issue is the added complexity many companies now face as they expand towards a European‐wide supply chain. In this environment it has become essential to address the management of the supply chain in a more formal way, and in particular to use modern information systems. The focus of these tools is away from the local cost‐reduction initiatives which prevailed throughout the 1980s, to a focus on logistics issues which span the “enterprise”. Enterprise logistics applications are now being used by many of the world′s leading corporations and have proven to offer substantial financial benefit in addition to the necessary operational improvements.
Inactivation of an Integrated Antibiotic Resistance Gene in Mammalian Cells to Re-Enable Antibiotic Selection (2014)

Removing an antibiotic resistance gene allows the same antibiotic to be re-used in the next round of genetic manipulation. Here we applied the CRISPR/Cas system to disrupt the puromycin resistance gene in an engineered mouse embryonic stem cell line and then re-used puromycin selection in the resulting cells to establish stable reporter cell lines. With the CRISPR/Cas system, pre-engineered sequences, such as loxP or FRT, are not required. Thus, this technique can be used to disrupt antibiotic resistance genes that cannot be removed by the Cre-loxP and Flp-FRT systems.
IBM Deep Learning Service (2017)

Deep learning, driven by large neural network models, is overtaking traditional machine learning methods for understanding unstructured and perceptual data domains such as speech, text, and vision. At the same time, the “As-a-Service”-based business model for the cloud is fundamentally transforming the information technology industry. These two trends, deep learning and “As-a-Service,” are colliding to give rise to a new business model for cognitive application delivery: deep learning as a service in the cloud. In this paper, we discuss the details of the software architecture behind IBM's deep learning as a service (DLaaS). DLaaS provides developers the flexibility to use popular deep learning libraries—such as Caffe, Torch, and TensorFlow—in the cloud in a scalable and resilient manner with minimal effort. The platform uses a distribution and orchestration layer that facilitates learning from a large amount of data in a reasonable amount of time across compute nodes. A resource provisioning layer enables flexible job management on heterogeneous resources, such as graphics processing units and central processing units, in an infrastructure-as-a-service cloud.