Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
214
Intron evolution as a population-genetic process.
- Proc. Natl. Acad. Sci. USA.
, 2002
"... Debate over the mechanisms responsible for the phylogenetic and genomic distribution of introns has proceeded largely without consideration of the population-genetic forces influencing the establishment and retention of novel genetic elements. However, a simple model incorporating random genetic dr ..."
Abstract
-
Cited by 58 (2 self)
- Add to MetaCart
with the assumption that such properties are a precondition for initial establishment, because inserts that cannot be accurately removed from a transcript are expected to have highly deleterious effects. Even if fully proficient with respect to excision, an intron may impose a weak selective disadvantage on its host
On the amortized complexity of zero-knowledge protocols
- of Lecture Notes in Computer Science
, 2009
"... Abstract. We present a protocol that allows to prove in zero-knowledge that committed values xi, yi, zi, i = 1,..., l satisfy xiyi = zi, where the values are taken from a finite field K, or are integers. The amortized communication complexity per instance proven is O(κ + l) for an error probability ..."
Abstract
-
Cited by 19 (2 self)
- Add to MetaCart
of 2 −l, where κ is the size of a commitment. When the committed values are from a field of small constant size, this improves complexity of previous solutions by a factor of l. When the values are integers, we improve on security: whereas previous solutions with similar efficiency require the strong
Collapsing three-manifolds under a lower curvature bound
- J. Differential Geom
"... Abstract The purpose of this paper is to completely characterize the topology of threedimensional Riemannian manifolds with a uniform lower bound of sectional curvature which converges to a metric space of lower dimension. Introduction We study the topology of three-dimensional Riemannian manifolds ..."
Abstract
-
Cited by 30 (3 self)
- Add to MetaCart
-dimensional Alexandrov space with boundary. The argument in the previous section shows that the part M i of M i converging to a part X 0 of X away from the boundary ∂X is a Seifert fibred space over X 0 . Hence the essential point of the proof is to describe the topology of M i − M i . Actually we prove
Automatic program repair with evolutionary computation,”
- Commun. ACM,
, 2010
"... Abstract There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-th ..."
Abstract
-
Cited by 34 (5 self)
- Add to MetaCart
;everything else it is supposed to do." We use test cases to measure fitness. For our purposes, a test case consists of input to the program (e.g., command-line arguments, data files read from the disk, etc.) and an oracle comparator function that encodes the desired response. A program P is said to pass a
APractical Lattice-based Digital Signature Schemes
"... Digital signatures are an important primitive for building secure systems and are used in most real world security protocols. However, almost all popular signature schemes are either based on the factoring as-sumption (RSA) or the hardness of the discrete logarithm problem (DSA/ECDSA). In the case o ..."
Abstract
- Add to MetaCart
Digital signatures are an important primitive for building secure systems and are used in most real world security protocols. However, almost all popular signature schemes are either based on the factoring as-sumption (RSA) or the hardness of the discrete logarithm problem (DSA/ECDSA). In the case
unknown title
"... local deduction theorem and interpolation for substructural logics over FL. Dedicated to the memory of Willem Johannes Blok Abstract. Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural l ..."
Abstract
- Add to MetaCart
local deduction theorem and interpolation for substructural logics over FL. Dedicated to the memory of Willem Johannes Blok Abstract. Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural
1 Interference Channel with an Out-of-Band Relay
"... Abstract—A Gaussian interference channel (IC) with a relay is considered. The relay is assumed to operate over an orthogonal band with respect to the underlying IC, and the overall system is referred to as IC with an out-of-band relay (IC-OBR). The system can be seen as operating over two parallel i ..."
Abstract
- Add to MetaCart
information over the two constituent channels. For a basic model in which the OBRC consists of four orthogonal channels from sources to relay and from relay to destinations (IC-OBR Type-I), a condition is identified under which signal relaying and separable operation is optimal. This condition entails
ACKNOWLEDGMENTS
, 2011
"... First and foremost, I would like to thank my advisor, Prof. Jennifer E. Michaels. I am most appreciative of your guidance over the last four years, from the basics of elastic waves to both short- and long-term career advice. I have grown a tremendous amount, both profes-sionally and personally, and ..."
Abstract
- Add to MetaCart
First and foremost, I would like to thank my advisor, Prof. Jennifer E. Michaels. I am most appreciative of your guidance over the last four years, from the basics of elastic waves to both short- and long-term career advice. I have grown a tremendous amount, both profes-sionally and personally
Results 1 - 10
of
214
