Search
Now showing items 1141-1150 of 1282
Reducción de orden parcial en model checking probabilista simbólico
(2010)
El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado ...
Diseño y síntesis de materiales para baterías de litio-azufre y de ion de litio
(2022-12)
La transición energética es indispensable para la continuidad de los sistemas sociales y ecológicos. La crisis climática es, en esencia, una crisis energética. Para la aplicación práctica de fuentes renovables de energía ...
A multimodal corpus of rapid dialogue games
(2014)
This paper presents a multimodal corpus of spoken human-human dialogues collected as participants played a series of Rapid DialogueGames (RDGs). The corpus consists of a collection of about 11 hours of spoken audio, video, ...
Botrix : plugin de bots colaborativos dentro de un juego 3D
(2013)
Botrix es un plugin (un módulo de software) que ofrece creación y manejo de bots colaborativos. Un bot es un jugador artificial manejado por la computadora. Originalmente el plugin está hecho para el juego Half-Life 2: ...
In vivo EDXRF scanning analysis of human nail
(2014-09)
This paper presents the results of a new technique forin vivoenergy dispersive X-rayfluorescence (EDXRF) scan analysis, applied to humanfingernails. The scan employs a specially designed EDXRF spectrometer, which allows a ...
Information extraction with active learning : a case study in legal text
(2015)
Active learning has been successfully applied to a number of NLP tasks. In this paper, we present a study on Information Extraction for natural language licenses that need to be translated to RDF. The final purpose of our ...
Sistemas de pocos cuerpos en un entorno del umbral del continuo :
(2010)
En esta tesis se presenta un estudio de varios sistemas cuánticos cuyo común denominador es que poseen uno o más estados ligados cerca del umbral de energía del continuo. En este aspecto se analizaron los diagramas de ...
Transferencia de carga eléctrica durante la colisión de granizos y cristales de hielo /
(2008-12)
Las colisiones entre partículas de hielo en presencia de gotas de nube son consideradas como el mecanismo físico responsable de la electrificación de las nubes de tormenta. El objetivo de este trabajo fue realizar un estudio ...
Análisis de binarios usando ejecución simbólica
(2018)
En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...
Estudio de algoritmos para detección de bordes en imágenes SAR satelitales basados en la divergencia de Jensen Shannon
(2023-06-30)
La detección de bordes en imágenes SAR se ve dificultada por el ruido "speckle". Un enfoque basado en la divergencia de Jensen-Shannon no ha logrado solucionar completamente el problema. Para abordarlo, se implementó un ...