1
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... the Dynamics of Biological Networks from Time Course Data -- Decision Making in Cells -- Robustness of Neural...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Curves using Simulated Evolution on Control Parameters -- Control and Robotics -- Design of A Takagi...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...
View full text
Electronic eBook
8
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Solution using Modified Flocking Algorithm -- Augmented Human Interaction with Remote Devices using Low...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Predictive Model for Closed-Loop Collision Avoidance in a Fly-Robotic Interface -- Neuromechanical Simulation...
View full text
Electronic eBook