Sciweavers

5269 search results - page 319 / 1054
» order 2007
Sort
View
AML
2006
87views more  AML 2006»
15 years 7 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer
AR
2006
107views more  AR 2006»
15 years 7 months ago
Control and system identification for the Berkeley lower extremity exoskeleton (BLEEX)
The Berkeley lower extremity exoskeleton (BLEEX) is an autonomous robotic device whose function is to increase the strength and endurance of a human pilot. In order to achieve an e...
Justin Ghan, Ryan Steger, Hami Kazerooni
175
Voted
CCE
2006
15 years 7 months ago
Hierarchical multiscale model-based design of experiments, catalysts, and reactors for fuel processing
In this paper a hierarchical multiscale simulation framework is outlined and experimental data injection into this framework is discussed. Specifically, we discuss multiscale mode...
D. G. Vlachos, A. B. Mhadeshwar, N. S. Kaisare
170
Voted
BMCBI
2007
92views more  BMCBI 2007»
15 years 7 months ago
Large-scale validation of methods for cytotoxic T-lymphocyte epitope prediction
Background: Reliable predictions of Cytotoxic T lymphocyte (CTL) epitopes are essential for rational vaccine design. Most importantly, they can minimize the experimental effort ne...
Mette V. Larsen, Claus Lundegaard, Kasper Lamberth...
221
Voted
CAD
2007
Springer
15 years 7 months ago
Detection of closed sharp edges in point clouds using normal estimation and graph theory
The reconstruction of a surface model from a point cloud is an important task in the reverse engineering of industrial parts. We aim at constructing a curve network on the point c...
Kris Demarsin, Denis Vanderstraeten, Tim Volodine,...