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

Subject: A* Repository: 65 Document Type: Sin Especificar Year: 1202 Language: Inglés

Sort by Score Title Year -

1-10 from 12 results (0.073 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: 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: 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: Tree models :algorithms and information theoretic properties
Language: Inglés
Repository: 65
Subject: Algoritmos / Tree Models

Acceder
Title: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Ant Colony Optimization para la resolución del Problema de Steiner Generalizado
Language: Inglés
Repository: 65
Subject: Ant Colony Optimization / Computación de alto desempeño / Problema de Steiner / Metaheurísticas

Acceder
Title: Agent-based methodology for developing agroecosystems simulations
Language: Inglés
Repository: 65
Subject: Sistemas Multi-Agente / Agro-ecosistema / Desarrollo de Software / Simulación

Acceder

« Previous 1 2 Next »