Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Interoperabilidad semántica de ontologías basada en técnicas de procesamiento del lenguaje natural

Se presenta un estudio y propuesta de interoperabilidad semántica entre ontologías del dominio de la salud basada en técnicas de procesamiento del lenguaje natural. El objetivo fundamental ha sido el desarrollo de un algoritmo de interconexión semántica entre los términos de dos ontologías solapadas y heterogéneas, denominadas «fuente» (Clasificación internacional de enfermedades, 9ª revisión, modificación clínica: CIE-9-MC) y «diana» (esquema jerárquico de la asignatura Enfermería Materno-Infantil: EMI). Esta propuesta permite emparejar semánticamente ontologías, a partir de la reutilización de otro recurso ontológico (WordNet español), sin destruir o modificar la semántica de identidad de cada una de las ontologías involucradas. El modelo presentado puede permitir al usuario acceder a la información que necesita en otra clasificación jerárquica, sin precisar de un entrenamiento referido a la conceptualización de cada sistema, pues utilizaría la ontología «diana» con la que está familiarizado para su aplicación a la recuperación de información.

La integració conceptual o blending i l’arc de Sant Martí: vers una semàntica cognitiva diacrònica i cultural

Aquest article fa un estudi onomasiològic de les denominacions de l’arc de Sant Martí en una perspectiva diacrònica, de contacte de llengües (català, occità, aragonès, etc.) i segons la teoria de la integració conceptual o blending. Planteja la necessitat que la semàntica diacrònica cognitiva faça pròpia l’orientació cultural (fonamentalment, antropològica, històrica social i cultural) i semiòtica.

Subjectivació i interferència en l'evolució semàntica i en l'inici de la gramaticalització de "jaquir" (segles XI-XII)

Estudiem en aquest article els primers passos en l'evolució semàntica i en la gramaticalització del verb "jaquir". Aquest germanisme pertany a un estrat lèxic del català que va començar a fer-se menys usual a la darreria del segle XV, desplaçat per altres sinònims, en aquest cas lleixar-deixar. La recerca es fonamenta en un corpus de documentació en llatí i en català dels segles XI i XII. L'objectiu és descriure la gènesi dels significats que ja apareixen ben establits durant el període literari. Seguim un enfocament metodològic d'orientació cognitivista (estudi de la subjectivació i de la inferència com a mecanismes del canvi semàntic).

Aplicación de tecnologías de procesamiento de lenguaje natural y tecnología semántica en Brand Rain y Anpro21

Este artículo presenta la aplicación y resultados obtenidos de la investigación en técnicas de procesamiento de lenguaje natural y tecnología semántica en Brand Rain y Anpro21. Se exponen todos los proyectos relacionados con las temáticas antes mencionadas y se presenta la aplicación y ventajas de la transferencia de la investigación y nuevas tecnologías desarrolladas a la herramienta de monitorización y cálculo de reputación Brand Rain.

Estudio de fiabilidad y viabilidad de la Web 2.0 y la Web semántica para enriquecer lexicones en el dominio farmacológico

Los actuales sistemas de Reconocimiento de Entidades en el dominio farmacológico, necesarios como apoyo para el personal sanitario en el proceso de prescripción de un tratamiento farmacológico, sufren limitaciones relacionadas con la falta de cobertura de las bases de datos oficiales. Parece por tanto necesario analizar la fiabilidad de los recursos actuales existentes, tanto en la Web Semántica como en la Web 2.0, y determinar si es o no viable utilizar dichos recursos como fuentes de información complementarias que permitan generar y/o enriquecer lexicones empleados por sistemas de Reconocimiento de Entidades. Por ello, en este trabajo se analizan las principales fuentes de información relativas al dominio farmacológico disponibles en Internet. Este análisis permite concluir que existe información fiable y que dicha información permitiría enriquecer los lexicones existentes con sinónimos y otras variaciones léxicas o incluso con información histórica no recogida ni mantenida en las bases de datos oficiales.

La Web Semántica Como Herramienta para el Apoyo a la Docencia

La web semántica consiste en un nuevo paradigma web para acceder, buscar, compartir y gestionar información a través de la combinación de tecnologías y de estructuras de gestión del conocimiento. El concepto de web semántica proporciona herramientas para el almacenamiento, intercambio y consulta de esta información mediante el desarrollo y la inclusión de metadatos y ontologías del cuerpo de conocimiento. La estructura de los datos que proporciona permite que sea consultada automáticamente por usuarios humanos o sistemas informáticos, mejorando su interoperabilidad. El desarrollo de la web semántica supone una evolución del desarrollo web en general hacia una web más inteligente o web 3.0. Este paradigma puede ser aprovechado en los procesos de docencia-aprendizaje para estructurar, almacenar y compartir los contenidos mediante sistemas automáticos de consultas alojados en web semánticas que tratan sobre los cuerpos de conocimiento de las materias. La disciplina informática es especialmente adecuada para este propósito debido a su complejidad y a la gran variedad de términos que maneja. Por otra parte, su desarrollo en continua evolución propicia la implantación de mecanismos automáticos de mantenimiento y de actualización de los nuevos contenidos.

La variación semántica en el marco de la Lingüística Cognitiva: un estudio diacrónico del verbo pisar

Este trabajo trata cuestiones teóricas y descriptivas relacionadas con el análisis de la semántica histórica según los postulados de la Lingüística Cognitiva. La primera parte del trabajo contiene un breve recorrido descriptivo de los marcos teóricos más significativos que dicha perspectiva lingüística sostiene para el análisis del cambio semasiológico. A continuación, de forma más específica, se aplican los postulados teóricos de la semántica cognitiva diacrónica al análisis semántico del verbo pisar. El presente trabajo de fin de grado da muestra de la posibilidad de aplicar los axiomas teóricos de esta perspectiva lingüística para dar luz a los cambios semánticos que a lo largo de la historia de su uso presenta el verbo polisémico pisar.

A valorização da função do objecto de design em contexto museológico : lógicas expositivas - a museologia do design industrial

The design objects give us a testimony of those who imagined, designed, developed, manufactured and used them. Each object, intentionally or not, portrays its own story, all the visible details are part of a decision taken by someone at some time of its chronology. The act of collecting objects, as well as private collections are the basis for the creation of museums as we know them today. Musealization - taking objects into a museum - means that one is restoring, preserving, enhancing some objects compared to others. And when restoring these objects, one is restoring their symbolic capacity, i.e. the fact that they tell a story, means you are restoring its message. In a museum, although out of context and deprived of most of the functions to which they had been designed for, the objects acquire other function(s), preserving their importance. Design museums give us the possibility to have a closer view of the objects, rather than just look at them, along with the pedagogical function. Thus presents a proposal for museography regarding industrial design, which is based on the appreciation of the function of anonymous design objects, based on expository logic, that takes the visitor to see, instead of just looking at objects, offering the possibility of interaction with the same, increasing the relationship between human being - object - museum, including groups with special needs, which are often forgotten in these exhibitions. This dissertation is a reflection and a projectual intervention on the design object in a museum, clarifying the concepts of object and museum, covering issues regarding the relevance of design museums, and culminating in the presentation of a museography project, where the function of an object prevails

Formação e exercício do trabalho : práticas e lógicas de formação profissional contínua numa grande empresa

Tese de doutoramento, Educação (Formação de Adultos), Universidade de Lisboa, Instituto de Educação, 2016

Avaliação da inteligência, da consciência fonológica e das operações lógicas no pré-escolar

De acordo com os últimos dados fornecidos pelo GAVE - Gabinete de Avaliação Educacional do Ministério da Educação, os resultados das provas de aferição, do 4º ano de escolaridade do 1º ciclo do ensino básico, revelam um fraco desempenho das crianças portuguesas nas tarefas de leitura e de escrita. A Inteligência, a Consciência Fonológica, e as Operações Lógicas assumem um papel de relevo na aprendizagem da leitura, porém não são conhecidos estudos para o pré-escolar que contemplem estes preditores em simultâneo. O objetivo deste estudo é analisar o nível das crianças nestes 3 preditores bem como a sua interligação e, complementarmente, a sua influência no conhecimento das letras do alfabeto. Neste estudo participaram 116 crianças com idades compreendidas entre os cinco e seis anos de idade e que frequentavam o ensino pré-escolar, prevenientes de estabelecimentos de ensino público da Região Autónoma da Madeira (RAM). Os instrumentos utilizados foram as Matrizes Progressivas Coloridas de Raven, a Prova de Consciência Fonológica e as Provas Piagetianas. Os resultados obtidos sugerem, ainda, que realmente existe uma estreita relação entre estas três variáveis (Inteligência, Consciência Fonológica e Operações Lógicas) em algumas das tarefas, como bons preditores na aquisição da leitura. Verificou-se, ainda, que as habilitações dos pais influenciam positivamente na aquisição desta habilidade metalinguística. Sugere-se a continuação deste estudo, possivelmente numa perspetiva longitudinal e albergando outros níveis, variáveis ou preditores e estabelecimentos de ensino.

Radiology Service Bus: Interoperabilidade semântica para Radiologia

A integração de sistemas é um tema sempre actual na temática das tecnologias de informação. Desde há muito tempo que as grandes empresas identificaram a necessidade de integrar dados de diferentes sistemas, criando mais valor para os seus negócios. Alguns sectores da indústria estão claramente mais avançados do que outros no que diz respeito à integração de sistemas. Alguns factores, como a concorrência e competitividade mais agressiva em alguns mercados, foram os catalisadores desses avanços tecnológicos. A indústria da saúde não foi, infelizmente, um dos sectores onde se registaram grandes avanços na integração de sistemas. Foi, no entanto, onde se registou uma explosão de normas e protocolos que suportam as diversas disciplinas da medicina, como por ex, a Radiologia. Essas normas e protocolos permitiram dotar a medicina de meios mais rigorosos de produzir diagnósticos e encontrar curas para as mais diversas patologias. Existem muitos produtos que adoptam estas normas. As organizações foram, progressivamente, adquirindo esses produtos mas sem grande preocupação da eventual necessidade da integração. A disciplina da Radiologia é uma das disciplinas onde se verifica, ainda hoje, uma enorme diversidade de equipamentos e sistemas de informação mas onde se encontra desafios consideráveis no que diz respeito à integração. Foram esses desafios que despoletaram o interesse de investigação e cujos resultados se partilham nesta dissertação.

Otoñales; nostálgicas, sonetos, ofrendas y homenajes.

Mode of access: Internet.

El alma de las palabras : diseño de semántica general.

"Bibliografía" : p. [7]-9.