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

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

Sort by Score Title Year -

1-10 from 23 results (0.008 seconds)

Title: New media and impressionism
Language: Inglés
Repository: 65
Subject: Art / New media art / Interaction / Human computer interaction / Interaction in public settings, / Tools for artistic production. / Interactive art

Acceder
Title: MINERVA : Model drIveN and sErvice oRiented framework for the continuous improVement of business process & relAted tools
Language: Inglés
Repository: 65
Subject: Procesos de negocios / Modelos / Gestión de Procesos de Negocio / Business Process Management / Service Oriented Computing / Model Driven Development

Acceder
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Extreme wind climate of Uruguay
Language: Inglés
Repository: 65
Subject: Ciclones extratropicales / Vientos intensos en Uruguay / Tormentas convectivas / Normas de viento / Daños por viento / VIENTO / ENERGÍA EOLICA / MECÁNICA DE LOS FLUIDOS APLICADA / INGENIERÍA DEL VIENTO

Acceder
Title: A Survivable & Reliable Network Topological Design Model
Language: Inglés
Repository: 65
Subject: Reliability / RVR / Survivability / Metaheuristics / Simulation / VNS, VND

Acceder
Title: A Multi-Tree Committee to Assist Port-of-entry Inspection Decisions
Language: Inglés
Repository: 65
Subject: Inspection policy / Multi-tree committee / Risk analysis / Port-of-entry / Binary decision tree

Acceder
Title: RF Power Amplifiers with Built-In Test and Calibration in Nanometer CMOS
Language: Inglés
Repository: 65
Subject: Electrónica

Acceder
Title: Audio source separation techniques including novel time-frequency representation tools
Language: Inglés
Repository: 65
Subject: Procesamiento de Señales

Acceder
Title: Using GRASP and GA to design resilient and cost-effective IP/MPLS networks
Language: Inglés
Repository: 65
Subject: Multilayer networks / Design of resilient networks / Combinatorial optimization / Metaheuristics / Graph theory / Optical transport networks / IP/MPLS / Redes multicapa / Diseño de redes resistentes / Optimización combinatoria / Metaheurísticas / Redes de transporte óptico

Acceder
Title: New variance reduction methods in Monte Carlo rare event simulation
Language: Inglés
Repository: 65
Subject: Método Monte Carlo / Simulación / Splitting / Monte Carlo Condicional / Reducción de Varianza / Simulation / Conditional Monte Carlo / Variance Reduction

Acceder

« Previous 1 2 3 Next »