Sciweavers

577 search results - page 108 / 116
» Budget Feasible Mechanisms
Sort
View
98
Voted
CCGRID
2009
IEEE
15 years 3 months ago
The Grid Enablement and Sustainable Simulation of Multiscale Physics Applications
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...
Yingwen Song, Yoshio Tanaka, Hiroshi Takemiya, Aii...
HYBRID
2010
Springer
15 years 1 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
INFOSCALE
2007
ACM
15 years 1 months ago
Query-driven indexing for scalable peer-to-peer text retrieval
We present a query-driven algorithm for the distributed indexing of large document collections within structured P2P networks. To cope with bandwidth consumption that has been ide...
Gleb Skobeltsyn, Toan Luu, Ivana Podnar Zarko, Mar...
LBM
2007
15 years 1 months ago
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
Bo Hu, Srinandan Dasmahapatra, David Robertson, Pa...
RSS
2007
139views Robotics» more  RSS 2007»
15 years 1 months ago
Design of a Bio-inspired Dynamical Vertical Climbing Robot
Abstract— This paper reviews a template for dynamical climbing originating in biology, explores its stability properties in a numerical model, and presents empirical data from a ...
Jonathan Clark, Daniel Goldman, Pei-Chun Lin, Gora...