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

Sort by Score Title Year -

221-230 from 395 results (0.019 seconds)

Title: Computer Aided Verification of Relational Models
Author: Necco, Claudia Mónica / Oliveira, José R. / Visser, Joost / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / models verification / symbolic execution / extended static checking / strategic term rewriting

Acceder
Title: Selecting COTS components: a comparative study on E-Payment systems
Author: Cechich, Alejandra / Taryano, Karina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / COTS-based development / COTS selection / Quality attributes / E-Payment systems

Acceder
Title: Use of morphisms as a tool to help learning object oriented concepts
Author: Friss de Kereki, Inés / Crespo, José / Azpiazu, Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Design / morphisms / software design / object-oriented concepts

Acceder
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: Parallel execution of a parameter sweep for molecular dynamics simulations in a hybrid GPU/CPU environment
Author: García Garino, Carlos / Bringa, Eduardo M. / Millán, Emmanuel N.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / General purpose GPU / parameter sweep / Molecular Dynamics / Parallel / Simulation / Environments / Distributed

Acceder
Title: Assessing Trust in a Classroom Environment, applying Social Network Analysis
Author: Kuz, Antonieta / Falco, Mariana / Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Graphs and networks / NodeXL© / classroom climate

Acceder
Title: An Approach to Argumentative Reasoning Servers with Multiple Preference Criteria
Author: Teze, Juan Carlos / Gottifredi, Sebastián / García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / argumentative server / client agents

AccederDescargar
Title: Approximated Cycles in TU-Games
Author: Cesco, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Games / U-cycle / TU-game

AccederDescargar
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: A Modelling Framework for Optimising Investment for the Australian Livestock Industry
Author: García Flores, Rodolfo / Higgins, Andrew / Prestwidge, Di / McFallan, Stephen
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Beef supply chain / Facility location / Network ow optimisation / Maximal covering

Acceder

« Previous 19 20 21 22 23 24 25 26 27 Next »