Sciweavers

2416 search results - page 129 / 484
» What is a Biological Function
Sort
View
140
Voted
JALC
2006
95views more  JALC 2006»
15 years 4 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
TASE
2008
IEEE
15 years 4 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
IPPS
2006
IEEE
15 years 10 months ago
Base line performance measurements of access controls for libraries and modules
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or ...
Jason W. Kim, Vassilis Prevelakis
RECOMB
2008
Springer
16 years 5 months ago
Automatic Parameter Learning for Multiple Network Alignment
We developed Gr?mlin 2.0, a new multiple network aligner with (1) a novel scoring function that can use arbitrary features of a multiple network alignment, such as protein deletion...
Jason Flannick, Antal F. Novak, Chuong B. Do, Bala...
RECOMB
2008
Springer
16 years 5 months ago
Estimating the Relative Contributions of New Genes from Retrotransposition and Segmental Duplication Events during Mammalian Evo
Gene duplication has long been recognized as a major force in genome evolution and has recently been recognized as an important source of individual variation. For many years the o...
Jin Jun, Paul Ryvkin, Edward Hemphill, Ion I. Mand...