Sciweavers

114 search results - page 2 / 23
» Characterizing and predicting value degree of use
Sort
View
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
13 years 11 months ago
Characterization of Protein based Spring-like Elastic Joints for Biorobotic Applications
—This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) for characterization of molecular elastic joints for bio nanorobotic prototyping. Simp...
Mustapha Hamdi, Gaurav Sharma, Antoine Ferreira, C...
FORMATS
2010
Springer
13 years 3 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
BMCBI
2010
122views more  BMCBI 2010»
13 years 11 days ago
Functional enrichment analyses and construction of functional similarity networks with high confidence function prediction by PF
Background: A new paradigm of biological investigation takes advantage of technologies that produce large high throughput datasets, including genome sequences, interactions of pro...
Troy Hawkins, Meghana Chitale, Daisuke Kihara
SPRINGSIM
2008
13 years 6 months ago
Predicting hepatic disposition properties of cationic drugs using a physiologically based, agent-oriented In Silico Liver
The In Silico Liver (ISL) plugs together autonomous software objects that represent hepatic components at different scales and levels of details. ISL parameters sensitive to drug-...
Li Yan, Sunwoo Park, Shahab Sheikh-Bahaei, Glen E....
AML
2006
120views more  AML 2006»
13 years 5 months ago
On the infinite-valued Lukasiewicz logic that preserves degrees of truth
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
Josep Maria Font, Àngel J. Gil, Antoni Torr...