Sciweavers

391 search results - page 35 / 79
» Formal Universes
Sort
View
92
Voted
BIRTHDAY
2004
Springer
15 years 5 months ago
Two Models for Gene Assembly in Ciliates
Two models for gene assembly in ciliates have been proposed and investigated in the last few years. The DNA manipulations postulated in the two models are very different: one mode...
Tero Harju, Ion Petre, Grzegorz Rozenberg
124
Voted
CTRSA
2005
Springer
121views Cryptology» more  CTRSA 2005»
15 years 6 months ago
Time-Selective Convertible Undeniable Signatures
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...
Fabien Laguillaumie, Damien Vergnaud
92
Voted
LLC
2011
167views more  LLC 2011»
14 years 7 months ago
Computational Phonology - Part II: Grammars, Learning, and the Future
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
Jeffrey Heinz
CPM
2005
Springer
116views Combinatorics» more  CPM 2005»
15 years 6 months ago
Exact and Approximation Algorithms for DNA Tag Set Design
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
Ion I. Mandoiu, Dragos Trinca
RSA
2010
94views more  RSA 2010»
14 years 11 months ago
Word maps and spectra of random graph lifts
We study here the spectra of random lifts of graphs. Let G be a finite connected graph, and let the infinite tree T be its universal cover space. If λ1 and ρ are the spectral ...
Nati Linial, Doron Puder