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 Language: Inglés Year: 2006 Repository: 37

Sort by Score Title Year -

11-20 from 20 results (0.015 seconds)

Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Towards distributed reasoning for behavioral optimization
Author: Cebulla, Michael
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Architectures / Optimization / Ant Colony Optimization (ACO) / autonomic computing

Acceder
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: 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: Secure mobile code and control flow analysis
Author: Bavera, Francisco / Aguirre, Jorge / Nordio, Martín
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / mobile code / certifying compilation / static analysis / proof-carrying code / Program verification

Acceder
Title: Satellite Image Restoration using the VMCA Model
Author: Anderson, Sharolyn / Fonstad, Mark Alan / Delrieux, Claudio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Satellite Image Restoration / Visual / VMCA Model / Graphics / Real time

Acceder
Title: TCP over geo-routing for high mobility: vehicle grids and airborne swarms
Author: Chen, Jiwei / Gerla, Mario / Lee, Yeng-Zhong
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Internet (e.g., TCP/IP) / Network Protocols / Wireless communication / High-speed (e.g., FDDI, fiber channel, ATM)

Acceder
Title: A study on the ability of support vector regression and neural networks to forecast basic time series patterns
Author: Crone, Sven F. / Weber, Richard / Guajardo, José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / learning algorithms / comparison / Radial Basis Functions (RBF) / Neural nets / Algorithms

Acceder
Title: Active patterns for self-optimization : Schemes for the design of intelligent mechatronic systems
Author: Schmidt, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Patterns / Network communications / Multiagent systems

Acceder
Title: Acute stress response for self-optimizing mechatronic systems
Author: Giese, Holger / Montealegre, Norma / Müller, Thomas / Oberthür, Simón / Schulz, Bernd
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Real-time and embedded systems / self-optimizing / mechatronic systems

Acceder

« Previous 1 2 Next »