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

Sort by Score Title Year -

71-80 from 169 results (0.014 seconds)

Title: Reassessing Lujanian (Pleistocene) paleoecology from a food web theoretical standpoint
Author: Gibert, Jean P.
Language: Inglés
Repository: 37
Subject: Ciencias Naturales / Paleontología

Acceder
Title: ¿Galaxias de bajo brillo superficial en HCG44?
Author: Faifer, Favio Raúl / Smith Castelli, Analía Viviana / Escudero, Carlos Gabriel / González, N. M.
Language: Inglés
Repository: 37
Subject: Ciencias Astronómicas / Galaxias

Acceder
Title: Towards Smart Data Technologies for Big Data Analytics
Author: Basgall, María José / Naiouf, Marcelo / Herrera, Francisco / Fernández, Alberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Big Data / Smart Data / Data Complexity / Data Quality

Acceder
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Kolmogorov complexity for possibly infinite computations
Author: Figueira, Santiago / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Computational logic / Connection machines / Kolmogorov complexity / Program-size complexity / Turing machines / monotone machines / infinite computations / non-effective computations

Acceder
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

« Previous 4 5 6 7 8 9 10 11 12 Next »