Sciweavers

11016 search results - page 1813 / 2204
» Cloud Computing for Science
Sort
View
HRI
2010
ACM
15 years 5 months ago
Towards industrial robots with human-like moral responsibilities
—Robots do not have any capability of taking moral responsibility. At the same time industrial robotics is entering a new era with “intelligent” robots sharing workbench with...
Baran Çürüklü, Gordana Dodig...
ICSOC
2010
Springer
15 years 5 months ago
BPEL4Pegasus: Combining Business and Scientific Workflows
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
Mirko Sonntag, Dimka Karastoyanova, Ewa Deelman
IJSYSC
2010
92views more  IJSYSC 2010»
15 years 5 months ago
Constrained optimal control: an application to semiactive suspension systems
This paper applies three different control techniques to the design of a quarter car semiactive suspension system. The three techniques, originally developed to solve a constrain...
Tina Paschedag, Alessandro Giua, Carla Seatzu
SAC
2008
ACM
15 years 5 months ago
Strangeness-based feature weighting and classification of gene expression profiles
Achieving high classification accuracy is a major challenge in the diagnosis of cancer types based on gene expression profiles. These profiles are notoriously noisy in that a larg...
Haifeng Shao, Bei Yu, Joseph H. Nadeau
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
« Prev « First page 1813 / 2204 Last » Next »