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* Year: 2014 Year: 1202 Document Type: Sin Especificar

Sort by Score Title Year -

71-80 from 191 results (0.083 seconds)

Title: Estudio del papel de los motivos (TG/CA)n en Trypanosoma cruzi
Language: Español
Repository: 65
Subject: TRIPANOSOMIASIS / PROTEINAS / GENETICA / GENOMA / ACIDOS NUCLEICOS / PARASITOLOGIA / GENETICA BIOQUIMICA / ENFERMEDADES INFECCIOSAS

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: 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: 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
Title: Diseño topológico de redes : casos de estudio :"The generalized Steiner problem"and "The Steiner 2-edge-connected subgraph problem"
Language: Español
Repository: 65
Subject: Diseño topológico / Redes / Requerimientos de conexión / Subgrafo2-arista-conexo / Algoritmo exacto / Algoritmo paralelo distribuído / Algoritmo aproximado / Metaheurística Ant System

Acceder
Title: Sistemas de información de tráfico
Language: Español
Repository: 65
Subject: SISTEMAS DE TRANSPORTE INTELIGENTES / SISTEMAS AVANZADOS DE INFORMACION A VIAJEROS / SISTEMAS DE INFORMACION GEOGRAFICA / GIS / RUTEO DE VEHICULOS / SERVICIOS WEB / ALGORITMOS DE PLANIFICACION DE RUTAS / ALGORITMO Ax / SIMULACION MICROSCOPICA DE TRANSITO DE VEHICULOS

Acceder
Title: Transporte vertical: simulación y análisis de sistemas de ascensores
Language: Español
Repository: 65
Subject: Transporte vertical / Ascensores / Ruteo de ascensores / imulación / Control de grupos / Routing / Group control / Simulation

Acceder

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