Sciweavers

243 search results - page 12 / 49
» Logic-Statistic Models with Constraints for Biological Seque...
Sort
View
BMCBI
2011
14 years 3 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
15 years 8 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»
14 years 11 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»
14 years 11 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»
14 years 11 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...