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: 1202

Sort by Score Title Year -

241-250 from 692 results (0.01 seconds)

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
Title: Typed windows : an implementation of a programming language for graphics design. Master Thesis
Language: Inglés
Repository: 65
Subject: DISENO GRAFICO / GRAPHICS DESIGN / TY WIN

Acceder
Title: GRASP heuristics for Wide Area Network design
Language: Inglés
Repository: 65
Subject: TOPOLOGICAL DESIGN / METAHEURISTIC / ACCESS NETWORK / BACKBONE NETWORK / SURVIVABILITY / GRASP / RNN

Acceder
Title: CMDM: un método conceptual para la especificación de bases multidimensionales
Language: Inglés
Repository: 65
Subject: DATA WAREHOUSE / OLAP / BASE DE DATOS MULTIDIMENSIONALES / MULTIDIMENSIAL DATABASE

Acceder
Title: Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example
Language: Español
Repository: 65
Subject: ANALISIS DE SISTEMAS EN TIEMPO REAL / AUTOMATAS TEMPORIZADOS / TCTL / CTL / VERIFICACION DE MODELOS / TEORIA DE TIPOS / REAL TIME SYSTEMS / MODEL / TYPE THEORY

Acceder

« Previous 21 22 23 24 25 26 27 28 29 Next »