Sciweavers

82 search results - page 6 / 17
» ab 2007
Sort
View
BMCBI
2007
216views more  BMCBI 2007»
13 years 8 months ago
A replica exchange Monte Carlo algorithm for protein folding in the HP model
Background: The ab initio protein folding problem consists of predicting protein tertiary structure from a given amino acid sequence by minimizing an energy function; it is one of...
Chris Thachuk, Alena Shmygelska, Holger H. Hoos
CORR
2007
Springer
193views Education» more  CORR 2007»
13 years 8 months ago
Multi-Sensor Fusion Method using Dynamic Bayesian Network for Precise Vehicle Localization and Road Matching
This paper presents a multi-sensor fusion strategy for a novel road-matching method designed to support real-time navigational features within advanced driving-assistance systems....
Cherif Smaili, Maan E. El Najjar, François ...
CORR
2007
Springer
151views Education» more  CORR 2007»
13 years 8 months ago
The algebraicity of the lambda-calculus
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
André Hirschowitz, Marco Maggesi
NAR
2007
96views more  NAR 2007»
13 years 8 months ago
DOMAC: an accurate, hybrid protein domain prediction server
Protein domain prediction is important for protein structure prediction, structure determination, function annotation, mutagenesis analysis and protein engineering. Here we descri...
Jianlin Cheng
ATAL
2007
Springer
14 years 2 months ago
A platform for massive agent-based simulation and its evaluation
There are many studies on ABS and several frameworks for ABS have already been published. However, there are few frameworks that can enable agent-based simulation using large numb...
Gaku Yamamoto, Hideki Tai, Hideyuki Mizuta