Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 3.814 registro(s)

Filtros temática quitar todos
actas de congreso
Agregar a Mi catálogo

Technology Management in the IT-Driven Services (PICMET), 2013 Proceedings of PICMET '13:

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ingeniería y tecnología - Otras ingenierías y tecnologías - Ingeniería mecánica - Ingeniería de los materiales - Biotecnología médica  

actas de congreso
Agregar a Mi catálogo

Technology Time Machine Symposium (TTM), 2012 IEEE

Más información

ISBNs: 978-1-4673-2456-4 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2012 IEEE Xplore

Cobertura temática: Otras ingenierías y tecnologías  

actas de congreso
Agregar a Mi catálogo

Technology, Informatics, Management, Engineering, and Environment (TIME-E), 2013 International Conference on

Más información

ISBNs: 978-1-4673-5730-2 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ingeniería y tecnología - Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática - Ingeniería mecánica - Ingenieria ambiental  

tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas de optimización basadas en lógica para problemas discretos/continuos en ingeniería de procesos

Más información
Autores/as: Aldo Rodomiro Vecchietti ; Ignacio Emilio Grossmann ; Alberto Bandoni ; Pio Antonio Aguirre ; José Mauricio Pinto ; Jaime Cerdá

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2000 Biblioteca Virtual de la Universidad Nacional del Litoral (SNRD) acceso abierto

Cobertura temática: Otras ingenierías y tecnologías  

La abstracción del comportamiento de un proceso en un modelo matemático requiere un profundo entendimiento de los fenómenos fisicoquímicos que ocurren en el mismo como de los objetivos perseguidos con la aplicación del modelo. La resolución de modelos matemáticos de optimización, ya sea en Ingeniería de Procesos como en otras áreas comprende, en una primera etapa, la abstracción de los hechos de la vida real en ecuaciones matemáticas que formulen el objetivo perseguido y las restricciones a las que está sujeto el problema. Una alternativa para la representación modelos de optimización discretos-continuos que se presentan habitualmente en Ingeniería de Procesos, es el empleo de lógica. El empleo de lógica en los problemas de programación matemática y de optimización se ha incrementado en los últimos años. La principal razón se debe a que en muchos presenta una manera mas natural, directa y sistemática de modelar un problema. La Programación Disyuntiva y la Programación con Restricciones Lógicas son dos áreas del conocimiento que hacen uso de este recurso en el modelado de sus problemas. Ambas han evolucionado de manera independiente. En esta tesis se aborda la caracterización y el estudio de los algoritmos y técnicas de optimización basadas en lógica para resolver problemas de Ingeniería de Procesos, también se presentarán las implementaciones computacionales efectuadas durante el desarrollo de la tesis.
tesis Acceso Abierto
Agregar a Mi catálogo

Técnicas distribuídas para verificación acotada eficiente

Más información
Autores/as: Nicolás Leandro Rosner ; Marcelo Fabián Frias

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2015 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto

Cobertura temática: Otras ingenierías y tecnologías  

El análisis formal de artefactos de software suele dividirse en dos clases de enfoques: pesados y livianos. Los métodos pesados ofrecen plena certeza del resultado obtenido pero requieren usuarios expertos. Los métodos livianos son más fáciles de aprender y se materializan en herramientas totalmente automáticas, pero la validez de sus resultados es parcial. Por ejemplo, en las técnicas de verificación exhaustiva acotada, la validez del resultado devuelto por la herramienta automática siempre está limitada por alguna noción de alcance o tamaño máximo configurable por el usuario. Para incrementar el grado de confianza en el resultado, el usuario sólo debe aumentar ese alcance y volver a ejecutar la herramienta. Sin embargo, el costo computacional del análisis automático es casi siempre exponencial en dicho alcance. En esta tesis presentamos una serie de técnicas y herramientas cuyo objetivo es mejorar la escalabilidad del análisis exhaustivo acotado de artefactos de software. En particular, nos interesa poder aprovechar la disponibilidad de hardware de bajo costo (como por ejemplo clusters de PCs, existentes en muchas empresas e instituciones) para extender la frontera de lo tratable mediante esta clase de enfoques. Por una parte presentamos transcoping, un enfoque incremental para explorar problemas de verificación exhaustiva acotada en tamaños pequeños y extrapolar la información recolectada para asistir la toma automática de decisiones en tamaños mayores del mismo problema. Mostramos su aplicación al análisis distribuido de modelos Alloy, así como a la toma de decisiones en la generación de casos de test basada en invariantes híbridos. También presentamos Ranger, otra técnica distinta para distribuir el análisis de modelos Alloy, que divide el problema en subproblemas de menor complejidad linealizando el espacio de potenciales contraejemplos y partiéndolo en intervalos disjuntos. Por otra parte, construyendo sobre la noción de cotas ajustadas para campos de la técnica TACO, presentamos MUCHO-TACO, una técnica para distribuir la verificación de programas Java anotados con contratos JML, basada en la herramienta secuencial TACO. Por último presentamos BLISS, un conjunto de técnicas para refinar la búsqueda de estructuras válidas durante la ejecución simbólica, basadas en Symbolic PathFinder.
libros Acceso Abierto
Agregar a Mi catálogo

Tecnologia dell'architettura: creatività e innovazione nella ricerca: Materiali del I Seminario OSDOTTA (Viareggio, 14-16 settembre 2005)

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ingeniería y tecnología - Otras ingenierías y tecnologías - Artes  

actas de congreso
Agregar a Mi catálogo

Tecnologias Aplicadas a la Ensenanza de la Electronica (Technologies Applied to Electronics Teaching) (TAEE), 2014 XI

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2014 IEEE Xplore

Cobertura temática: Ingeniería y tecnología - Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  

libros Acceso Abierto
Agregar a Mi catálogo

Tecnologías digitales y transformaciones sociales: desigualdades y desafíos en el contexto latinoamericano actual

Más información

978-9-87722-700-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2020 JSTOR acceso abierto

Cobertura temática: Otras ingenierías y tecnologías  

libros Acceso Abierto
Agregar a Mi catálogo

Tecnologie di progetto per il terminal aeroportuale

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ingeniería y tecnología - Otras ingenierías y tecnologías - Artes  

actas de congreso
Agregar a Mi catálogo

Telecom World (ITU WT), 2011 Technical Symposium at ITU

Más información

ISBNs: 978-1-4577-1148-0 (impreso) 978-92-61-13681-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2011 IEEE Xplore

Cobertura temática: Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales