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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (129)

Show More Show Less

Author

Simari, Guillermo Ricardo (18)
Chesñevar, Carlos Iván (12)
Falappa, Marcelo Alejandro (5)
Fillottrani, Pablo Rubén (5)
García, Alejandro Javier (5)
Alfonso, Hugo (4)
Capobianco, Marcela (4)
Cechich, Alejandra (4)
Fernandez, Natalia (4)
Gallard, Raúl Hector (4)

Show More Show Less

Subject

Ciencias Informáticas (104)
ARTIFICIAL INTELLIGENCE (22)
Ecología (14)
medio ambiente (14)
SOFTWARE ENGINEERING (11)
Informática (9)
Algorithms (8)
Intelligent agents (8)
base de datos (8)
Logic Programming (7)

Show More Show Less

Year

2012 (129)
2006 (23)
2013 (14)
2002 (11)
2001 (8)
2004 (7)
2008 (7)
2000 (6)
2003 (6)
1998 (5)

Show More Show Less

Document Type

Sin Especificar (129)

Show More Show Less

Language

Inglés (81)
Español (41)
Portugués (7)

Show More Show Less

Your search

Query: PHYSICAL PROPERTIES Document Type: Sin Especificar Repository: 37 Year: 2012

Sort by Score Title Year -

51-60 from 129 results (0.017 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: 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: 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: Time series modeling and synchronization using neural networks
Author: Cofiño, Antonio S. / Gutiérrez, José Manuel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / nonlinear time series / system identification / Neural nets / Synchronization / identificación

Acceder
Title: Incorporating tabu search for local search into evolutionary algorithms to solve the job shop scheduling problem
Author: Fernandez, Natalia / Salto, Carolina / Alfonso, Hugo / Gallard, Raúl Hector
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Evolutionary algorithms / hybridization / local search / Scheduling / Optimization / Algorithms / ARTIFICIAL INTELLIGENCE

Acceder
Title: Issues for assessing component-based systems
Author: Cechich, Alejandra / Piattini Velthuis, Mario
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Component-based systems / Component evaluation / Component-based system evaluation / Component metrics / Metrics / SOFTWARE ENGINEERING

Acceder
Title: Modeling argumentation with labeled deduction: formalization and theoretical considerations
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / informática / knowledge representation / defeasible argumentation / logic programming / Labeled deduction

Acceder
Title: Tool support for verifying applications using object-oriented patterns
Author: Aranda, Gabriela N. / Flores, Andrés P. / Buccella, Agustina / Reynoso, Luis A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Tool Support / Verifying Applications / Object-Oriented Patterns

Acceder
Title: An extension to EMTPL
Author: Cobo, María Laura / Falappa, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Programming Languages / Metric Temporal Logic / Deductive Databases / Negation / base de datos / Languages / Metrics / SOFTWARE ENGINEERING

Acceder
Title: Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Introducing Probabilistic Reasoning / Defeasible Argumentation / Labeled Deductive Systems

Acceder

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

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723