An efficient algorithm to reduce the noise from the Nuclear Magnetic Resonance Free Induction Decay (NMR FID) signals is presented, in this paper, via the oversampled real-valued discrete Gabor transform using the Gaussian synthesis window. An NMR FID signal in the Gabor transform domain (i.e., a joint time-frequency domain) is concentrated in a few number of Gabor transform coefficients while ...

Design couples synthesis and analysis in iterative cycles, alternatively generating solutions, and evaluating their validity. The accuracy and depth of evaluation has increased markedly because of the availability of powerful simulation tools and the development of domain-specific knowledge bases. Efforts to extend the state of the art in evaluation have unfortunately been carried out in stovep...

This paper presents an application of finite domain constraint programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, and ex...

This paper presents an application of finite domain constraint logic programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, ...

Unsupervised program synthesis is a domain-general framework for defining domain-specific program synthesis systems. For each domain, we expect the user to sketch a space of program hypotheses. For example, in a domain of regression problems the space of programs might include piecewise polynomials, and in a domain of visual concepts the space of programs might include graphics primitives. As p...

The coordination of primase function within the replisome is an essential but poorly understood feature of lagging strand synthesis. By using crystallography and small-angle X-ray scattering (SAXS), we show that functional elements of bacterial primase transition between two dominant conformations: an extended form that uncouples a regulatory domain from its associated RNA polymerase core and a...

Abstract— Log-domain filters have recently come into the limelight of the VLSI community as an important class of circuits for implementing continuous-time filters in the current domain [4], [3], [2]. Some papers have discussed log-domain circuit analysis [1] and some have addressed circuit synthesis [2], [5], [6], [7]. In this paper we describe synthesis of a secondorder log-domain bandpass fi...

Early gene E5 of bovine papillomavirus type 1 encodes a 44-amino-acid protein whose expression can transform immortalized mouse cell lines. We have previously reported that a chemically synthesized E5 peptide functions to induce cellular DNA synthesis upon microinjection into growth-arrested mouse cells. We further defined the two E5 domains essential for the full DNA synthesis induction activi...

This paper describes a class of decision procedures that we have found useful for efficient, domainspecific deductive synthesis. These procedures are called closure-based ground literal satisfiability procedures. We argue that this is a large and interesting class of procedures and show how to interface these procedures to a theorem prover for efficient deductive synthesis. Finally, we describe...