• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 214
Next 10 →

Intron evolution as a population-genetic process.

by Michael Lynch - 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

by Ronald Cramer, Valerio Pastro - 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

Contents

by unknown authors
"... strong completeness and uniform bounds ..."
Abstract - Add to MetaCart
strong completeness and uniform bounds

Collapsing three-manifolds under a lower curvature bound

by Takashi Shioya , Takao Yamaguchi - 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,”

by Stephanie Forrest , Westley Weimer , Stephanie Forrest , Claire Le Goues , Thanhvu Nguyen - 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

by unknown authors
"... 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

by Nikolaos Galatos, Hiroakira Ono, Algebraization Parametrized
"... 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

unknown title

by unknown authors
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

1 Interference Channel with an Out-of-Band Relay

by Onur Sahin, Osvaldo Simeone, Elza Erkip
"... 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

by Jennifer E. Michaels, Maysam Ghovanloo, James H. Mcclellan, Michael J. Leamy, George W. Woodruff, Laurence J. Jacobs, Thomas E. Michaels , 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
Next 10 →
Results 1 - 10 of 214
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University