Sciweavers

1057 search results - page 45 / 212
» Theoretical and Experimental DNA Computation
Sort
View
SPIN
2007
Springer
15 years 3 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
LPAR
2005
Springer
15 years 3 months ago
The nomore++ Approach to Answer Set Solving
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
Christian Anger, Martin Gebser, Thomas Linke, Andr...
SCALESPACE
2001
Springer
15 years 2 months ago
Total Variation Based Oversampling of Noisy Images
Abstract. We propose a variational model which permits to simultaneously deblur and oversample an image. Indeed, after some recalls on an existing variational model for image overs...
François Malgouyres
CSB
2002
IEEE
121views Bioinformatics» more  CSB 2002»
15 years 2 months ago
Fast and Sensitive Algorithm for Aligning ESTs to Human Genome
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
Jun Ogasawara, Shinichi Morishita
TCS
2011
14 years 4 months ago
Parameter estimation for Boolean models of biological networks
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
Elena S. Dimitrova, Luis David García-Puent...