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: "Robots -- Programming" Repository: 65 Repository: 73

Sort by Score Title Year -

1381-1390 from 14722 results (0.058 seconds)

Title: Estudio y simulación del comportamiento del cemento portland tipo i, con adición del 20% de zeolita ecuatoriana mediante el curado al aire.
Author: Jiménez, J. / Cornejo, M.
Language: Español
Repository: 28
Subject: CEMENTO / ZEOLITA / RESISTENCIA UNIAXIAL A LA COMPRESIÓN / EXPERIMENTACIÓN / ANÁLISIS ESTADÍSTICO / MODELO MATEMÁTICO.

Acceder
Title: Herramienta computacional para medir áreas de asoleamiento tridimensionales
Author: Hoyos, Daniel / Villena, Maiver
Language: Español
Repository: 37
Subject: Ingeniería / evaluación energética / Energía Renovable / Energía solar / instrumentación / imágenes / visión artificial / estereografía

Acceder
Title: A GPU approach to fortran legacy systems
Author: Méndez, Mariano / Tinetti, Fernando Gustavo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / CUDA / legacy systems / GPU / openACC

Acceder
Title: Planificación de rutas eficientes con herramientas de código abierto / Planning efficient vehicle routes with open software tools
Author: Andreo Oliver, Marcos Jesús
Language: Español
Repository: 72
Subject: Telemática / Telematics / Ingeniería Telemática / 3325 Tecnología de las Telecomunicaciones

Acceder
Title: Modelado matemático del control de flujo en HSDPA
Author: Pedreño López, Gaspar / Alcaraz Espín, Juan José / Cerdán Cartagena, José Fernando
Language: Español
Repository: 72
Subject: Control de flujo / HSDPA (High Speed Downlink Packet Access) / Optimización / Programación dinámica

Acceder
Title: Optimal design of shape and reinforcement for concrete sections
Author: Torrano Martínez, Manuel Santiago / Martí Montrull, Pascual
Language: Inglés
Repository: 72
Subject: Cargas axiales / Flexión biaxial / Hormigón armado / Diseño óptimo / Forma de optimización / Secciones de hormigón / Axial loads / Bending biaxial / Reinforced concrete / Optimal design / Shape optimization / Concrete sections / Mecánica de Medios Continuos y Teoría de Estructuras

Acceder
Title: Develop automatic measure system for basic measurements of semiconductors / Desarrollo de un sistema autómico para medias básicas de semiconductores
Author: Campos Estrada, Arturo
Language: Inglés
Repository: 72
Subject: Semiconductores / Semiconductors / Phyton (Lenguaje de programación) / Teoría de la Señal y las Comunicaciones / 3307.14 Dispositivos Semiconductores

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: Análisis Estructurado y Técnicas de Software Aplicadas al Proceso de Enseñanza y Aprendizaje de la Programación Informática de la Facultad de Ciencias Matemáticas y Físicas de la Universidad de Guayaquil
Author: Bajaña Vera, Geancarlo / Sotomayor Pérez, Ingrid Damaris
Language: Español
Repository: 62
Subject: Análisis Estructurado / Técnicas de Software / Proceso de Enseñanza - Aprendizaje

Acceder
Title: Parallel algorithm for evolvable-based boolean synthesis on GPUs
Author: Vitola, Jaime / Sanabria, Adriana / Pedraza, César / Sepúlveda, Johanna
Language: Desconocido
Repository: 40
Subject: Evolutionary algorithms / Boolean synthesis / GPU

Acceder

« Previous 135 136 137 138 139 140 141 142 143 Next »