Search Results - "prueba"

1

Adaptación de la Prótesis de Mano Basada en Soft-Robotics PrExHand para la Evaluación con Usuarios no Patológicos en Pruebas Funcionales

By: Suárez García, Marcela, Cifuentes García, Carlos Andrés, Suárez García, Marcela
Published: 2021

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Prueba funcional...”

Tipo de material: Trabajo de grado - Pregrado

2

Towards a Maude Formal Environment

By: Durán, Francisco, Rocha, Camilo, Álvarez, José María, Durán, Francisco, Rocha, Camilo, Álvarez, José María, Informática
Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Obligación de prueba...”

Tipo de material: Capítulo - Parte de Libro

3

Theorem Proving Modulo Based on Boolean Equational Procedures

By: Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published: 2008

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Prueba del teorema...”

Tipo de material: Documento de Conferencia

4

Order-Sorted Equality Enrichments Modulo Axioms

By: Gutiérrez, Raúl, Meseguer, José, Rocha, Camilo, Gutiérrez, Raúl, Meseguer, José, Rocha, Camilo, Informática
Published in: Rewriting Logic and Its Applications (2012)

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Obligación de prueba...”

Tipo de material: Capítulo - Parte de Libro

5

Tool Interoperability in the Maude Formal Environment

By: Durán, Francisco, Rocha, Camilo, Álvarez, José María, Durán, Francisco, Rocha, Camilo, Álvarez, José María, Informática
Published in: Algebra and Coalgebra in Computer Science (2011)

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Obligación de prueba...”

Tipo de material: Capítulo - Parte de Libro

6

Proving Safety Properties of Rewrite Theories

By: Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Algebra and Coalgebra in Computer Science (2011)

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Obligación de prueba...”

Tipo de material: Capítulo - Parte de Libro

7

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

By: Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Specification, Algebra, and Software (2014)

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Obligación de prueba...”

Tipo de material: Capítulo - Parte de Libro

8

Análisis de los mecanismos de falla de una zapata cimentada sobre un suelo con propiedades variables.

By: Arévalo Martinez, Ana María, Garzón Ávila, Lina Ximena, Arévalo Martinez, Ana María
Published: 2017

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Prueba de capacidad de carga...”

Tipo de material: Trabajo de grado - Pregrado

9

Evaluación de fallas de aislamiento en transformadores de potencia utilizando Análisis de Cromatografía por Gases Disueltos (DGA)

By: Juris Zapata, Juan Sebastian, Durán Tovar, Iván Camilo (dir), Juris Zapata, Juan Sebastian
Published: 2020

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Pruebas...”

Tipo de material: Trabajo de grado - Maestría

10

Uso de analíticas para predecir los computadores afectados por Malware, en una institución financiera en Colombia, 2017

By: Mayorga García, Gerardo, Ospina, Victoria Eugenia (dir), Mayorga García, Gerardo
Published: 2017

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Prueba de concepto...”

Tipo de material: Trabajo de grado - Maestría

11

Sobre el cruce entre variables categóricas

By: Rondón Troncoso, Hermilda Susana, Rondón Troncoso, Hermilda Susana, Grupo de Investigación Innovación Docente e Investigación Educativa-Innovad-IE
Published: 2015

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Prueba Ji cuadrado...”

Tipo de material: Artículo de revista

12

Impact of changing location and power of a PV system in electrical distribution networks, integrating MATLAB and OpenDSS

By: Ruíz Garzón, Javier Andrés, González Tristancho, Daniel José, Espinosa González, Francy Catalina, Ruíz Garzón, Javier Andrés, González Tristancho, Daniel José, Espinosa González, Francy Catalina, Grupo de Modelación Estratégica en Energía y Potencia
Published: 2018

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Caso de prueba IEEE...”

Tipo de material: Artículo de revista

13

Utilización de agregado grueso de concreto reciclado en elementos estructurales de concreto reforzado

By: Arriaga Tafhurt, Libardo Enrique, Arriaga Tafhurt, Libardo Enrique
Published: 2014

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Hormigón - Pruebas...”

Tipo de material: Trabajo de grado - Pregrado

14

Minería de Datos Educativos (EDM): análisis de los factores determinantes que influyeron el desempeño de las pruebas SABER en Cundinamarca (Colombia) entre 2017 a 2021

By: Larrarte Torres, Carlos Alberto, Ospina Becerra, Victoria Eugenia, Osorio, Fabiola, Larrarte Torres, Carlos Alberto
Published: 2022

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Pruebas Saber 11°...”

Tipo de material: Trabajo de grado - Maestría

15

Rehabilitación sísmica de muros de adobe de edificaciones monumentales mediante tensores de acero

By: López Pérez, Cecilia Teresa, Ruiz Valencia, Daniel Mauricio, Jérez Barbosa, Sandra, Quiroga Saavedra, Pedro, Uribe Escamilla, Jairo, Muñoz Díaz, Edgar, López Pérez, Cecilia Teresa, Ruiz Valencia, Daniel Mauricio, Jérez Barbosa, Sandra, Quiroga Saavedra, Pedro, Uribe Escamilla, Jairo, Muñoz Díaz, Edgar, Grupo de Investigación Estructuras y Materiales - Gimeci
Published: 2007

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Patrimonio arquitectónico – Pruebas...”

Tipo de material: Artículo de revista

16

Estudio de la citotoxicidad de puntos de carbono dopados con Gd3+

By: Baquero Castillo, Karol Julissa, Rodríguez Burbano, Diana Consuelo, Rivera Amezquita, Laura Victoria, Baquero Castillo, Karol Julissa
Published: 2022

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Pruebas estadísticas...”

Tipo de material: Trabajo de grado - Pregrado

17

Cashew nut shell liquid effect on the corrosion behaviour of the metallic alloys

By: Pino Hernández, Carlos Andrés, Hernández Acevedo, Camilo, Esguerra Arce, Johanna, Bermúdez Castañeda, Ángela, Hernández Acevedo, Camilo, Pino Hernández, Carlos Andrés, Hernández Acevedo, Camilo, Esguerra Arce, Johanna, Bermúdez Castañeda, Ángela, Universidad de los Andes, BPIN: 2020000100571 - Aprovechamiento de los subproductos Agroindustriales de la producción del marañón en el departamento del Vichada, Diseño Sostenible en Ingeniería Mecánica (DSIM)
Published: 2024

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Corrosión en aleaciones - Pruebas...”

Tipo de material: Trabajo de grado - Maestría

18

Mechanical Performance of Concrete with Waste from Oil Industry

By: Torres Castellanos, Nancy, Torres Agredo, Janneth, Mejía de Gutierrez, Ruby, Torres Castellanos, Nancy, Torres Agredo, Janneth, Mejía de Gutierrez, Ruby, Estructuras y Materiales
Published: 2016

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Aptitudes mecánicas - Pruebas...”

Tipo de material: Artículo de revista

19

Propiedades mecánicas, eléctricas y de durabilidad de concretos con agregados reciclados

By: Valverde Valverde, Jorge Alejandro, Torres Castellanos, Nancy, Valverde Valverde, Jorge Alejandro, Torres Castellanos, Nancy
Published: 2017

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Comprensión - Pruebas...”

Tipo de material: Artículo de revista

20

Chloride ion resistance of self-compacting concretes incorporating volcanic materials

By: Burgos, Diana M., Guzmán, Álvaro, Torres, Nancy, Delvasto, Silvio, Burgos, Diana M., Guzmán, Álvaro, Torres, Nancy, Delvasto, Silvio, Estructuras y Materiales
Published: 2017

Fuente: Escuela Colombiana de Ingeniería

Subjects: '; “...Hormigón - Pruebas...”

Tipo de material: Artículo de revista

Narrow Search