Sciweavers

243 search results - page 12 / 49
» Logic-Statistic Models with Constraints for Biological Seque...
Sort
View
BMCBI
2011
12 years 11 months ago
A user-friendly web portal for T-Coffee on supercomputers
Background: Parallel T-Coffee (PTC) was the first parallel implementation of the T-Coffee multiple sequence alignment tool. It is based on MPI and RMA mechanisms. Its purpose is t...
Josep Rius Torrento, Fernando Cores, Francesc Sols...
ASM
2010
ASM
14 years 4 months ago
Lightweight Modeling of Java Virtual Machine Security Constraints
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
Mark C. Reynolds
MVA
1998
227views Computer Vision» more  MVA 1998»
13 years 7 months ago
Automatic reconstruction of 3D human arm motion from a monocular image sequence
A model-based approach to reconstruction of 3D human arm motion from a monocular image sequence taken under orthographic projection is presented. The reconstruction is divided into...
Valentina Filova, Franc Solina, Jadran Lenarcic
BMCBI
2008
118views more  BMCBI 2008»
13 years 7 months ago
Kismeth: Analyzer of plant methylation states through bisulfite sequencing
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...
Eyal Gruntman, Yijun Qi, R. Keith Slotkin, Ted Roe...
BMCBI
2004
138views more  BMCBI 2004»
13 years 7 months ago
Constraint Logic Programming approach to protein structure prediction
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
Alessandro Dal Palù, Agostino Dovier, Feder...