OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PHYSICAL PROPERTIES" Document Type: Sin Especificar Year: 2012 Repository: 37 Language: Inglés

Sort by Score Title Year -

21-30 from 99 results (0.018 seconds)

Title: Fast simulation of animal locomotion: lamprey swimming
Author: Beauregard, Matthew / Kennedy, Paul J. / Debenham, John
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Simulation / Biología / Graphics / Robotics / Applications

Acceder
Title: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder
Title: A formal model for some behavioural features of analysis patterns
Author: Buccella, Agustina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Pattern analysis / Formal methods

Acceder
Title: An application of a theorem prover
Author: Campos, M. / Lins, R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Applications / Application / Theorem Prover

Acceder
Title: On the logic for utopia
Author: Areces, Carlos Eduardo / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / theory of conditionals / modal logic / knowledge representation

Acceder
Title: An approach for identifying design principles in argument systems : A preliminary report
Author: Capobianco, Marcela / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / approach / argument systems / Intelligent agents

Acceder
Title: A time-based admission control mechanism for IEEE 802.11 ad Hoc networks
Author: Costa, Luís Henrique M. K. / Cerveira, Carlos Rodrigo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Wireless communication / TAC-AODV / ad hoc networks

Acceder
Title: A layered architecture using schematic plans for controlling mobile robots
Author: Tucat, Mariano / Gottifredi, Sebastián / Vidaurreta, Federico / García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Robotics / Intelligent agents / Multiagent systems / Distributed Artificial Intelligence

Acceder
Title: CALD: Computer-Aided Logic Design System
Author: Bioul, Géry Jean Antoine / Simonelli, Daniel Horacio / Heineke, Susana / Otaegui, Valeria
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Computer-aided design (CAD)

Acceder
Title: The utility of pollination for autonomic computing
Author: Kasinger, Holger / Bauer, Bernhard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / sistema informático / Polinización

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »