Result 1 to 20 of 153 total
A formal interactive verification environment for the plan execution interchange language. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 343-357 (2012).
1
Provably correct conflict prevention bands algorithms. (English)
Sci. Comput. Program. 77, No. 10-11, 1039-1057 (2012).
2
A formal library of set relations and its application to synchronous languages. (English)
Theor. Comput. Sci. 412, No. 37, 4853-4866 (2011).
3
GLUE!-PS: a multi-language architecture and data model to deploy TEL designs to multiple learning environments. (English)
Kloos, Carlos Delgado (ed.) et al., Towards ubiquitous learning. 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23984-7/pbk). Lecture Notes in Computer Science 6964, 285-298 (2011).
4
Simulation and verification of synchronous set relations in rewriting logic. (English)
Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26‒30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 60-75 (2011).
5
Results of the usability and acceptance evaluation of a cardiac rehabilitation system. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Users and applications. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-21618-3/pbk). Lecture Notes in Computer Science 6764, 219-225 (2011).
6
User interface framework for ambient intelligence platforms. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Towards mobile and intelligent interaction environments. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-21615-2/pbk). Lecture Notes in Computer Science 6763, 129-136 (2011).
7
A uniform object-oriented solution to the eigenvalue problem for real symmetric and Hermitian matrices. (English)
Comput. Phys. Commun. 182, No. 9, 2059-2064 (2011).
8
A concurrent object-oriented approach to the eigenproblem treatment in shared memory multicore environments. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2011. International conference, Santander, Spain, June 20‒23, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21927-6/pbk). Lecture Notes in Computer Science 6782, 630-642 (2011).
9
Distributed model predictive control based on a cooperative game. (English)
Optim. Control Appl. Methods 32, No. 2, 153-176 (2011).
10
A uniform object-oriented solution to the eigenvalue problem for real symmetric and Hermitian matrices (English)
Computer Physics Communications 182, No. 9, 2059-2064 (2011).
11
Embedded robust nonlinear control for a four-rotor rotorcraft: validation in real-time with wind disturbances (English)
IROS, 2682-2687 (2011).
12
Results of the usability and acceptance evaluation of a cardiac rehabilitation system (English)
HCI (4), 219-225 (2011).
13
User interface framework for ambient intelligence platforms (English)
HCI (3), 129-136 (2011).
14
Simulation and verification of synchronous set relations in rewriting logic (English)
SBMF, 60-75 (2011).
15
Wireless sensor network analysis through a coalitional game: application to a distributed Kalman filter (English)
ICNSC, 1-6 (2011).
16
A concurrent object-oriented approach to the eigenproblem treatment in shared memory multicore environments (English)
ICCSA (1), 630-642 (2011).
17
GLUE!-PS: A multi-language architecture and data model to deploy TEL designs to multiple learning environments (English)
EC-TEL, 285-298 (2011).
18
Modeling short-time parsing of speech features in neocortical structures. (English)
García-Pedrajas, Nicolás (ed.) et al., Trends in applied intelligent systems. 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1‒4, 2010. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-13032-8/pbk). Lecture Notes in Computer Science 6098. Lecture Notes in Artificial Intelligence, 159-168 (2010).
19
A metaheuristic approach to the optimal definition of molecule-fixed axes in rovibrational Hamiltonians. (English)
Comput. Phys. Commun. 181, No. 5, 967-977 (2010).
20
Result 1 to 20 of 153 total
Start
Contact
Print
General Help
