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

Repository: 65 Document Type: Sin Especificar Year: 2014 Language: Inglés

Sort by Score Title Year -

1-10 from 64 results (0.008 seconds)

Title: Unsolved accidents in fuel storage tanks : Resolution methodology by mathematical modeling under systemic appproach.
Language: Inglés
Repository: 65
Subject: Explosion / Tank / Fuel / Accident / Modeling / COMBUSTIBLES / ALMACENAMIENTO DE COMBUSTIBLES / EXPLOSIONES / MODELOS MATEMATICOS
Title: Mathematical analysis of scheduling policies in peer-to-peer video streaming networks
Language: Inglés
Repository: 65
Subject: Redes de pares / Problema de optimización combinatoria / Video bajo demanda

Acceder
Title: Software unit testing techniques :An empirical study
Language: Inglés
Repository: 65
Subject: Empirical Software Engineering / Cost of Testing Techniques / Effectiveness of Testing Techniques / Personal Software Process

Acceder
Title: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

Acceder
Title: Efficient global illumination calculation for inverse lighting problems
Language: Inglés
Repository: 65
Subject: Problema inverso de iluminación / Intenciones de iluminación / Matriz inversa de radiosidad / Optimizacion / Problema multi-objetivo / Descomposición aproximada de matrices / Matrices de rango bajo / Radiosity / Radiosity matrix inverse / Optimization / Multi objective problem / Approximated matrix decomposition / Low rank matrix

Acceder
Title: Decoupling and context in new media art
Language: Inglés
Repository: 65
Subject: Art / New media art / Interactive art / HCI / Human-computer interaction / Computer music / Neo-colonial theory / Politics / Cognitive capitalism / Arte / Arte y nuevos medios / Arte interactivo / Interacción persona-computadora / IPC / Música por computadora / Teoría neocolonial / Política / Capitalismo cognitivo

Acceder
Title: Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language: Inglés
Repository: 65
Subject: Modelos formales / Prioridades de seguridad / Asistente de pruebas Coq / JME-MIDP / Virtualización / DNSSEC

Acceder
Title: An analysis of the economic lot-sizing problem with return options focused on the remanufacturing plan
Language: Inglés
Repository: 65
Subject: Remanufacturación / Tamaño del lote económico / Control de inventario / Optimización / Lot-sizing problem / Remanufacturing / Inventory control / Optimization

Acceder
Title: First class syntax, semantics and their composition
Language: Inglés
Repository: 65
Subject: Gramática de primera clase / Semántica de primera clase / Gramáticas de atributos / Construcción de compiladores / Lenguajes extensibles, Haskell

Acceder
Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder

« Previous 1 2 3 4 5 6 7 Next »