Tool for spatial and dynamic representation of artistic performances

This proposal aims to explore the use of available technologies for video representation of sets and performers in order to serve as support for composition processes and artistic performer rehearsals, while focusing in representing the performer’s body and its movements, and its relation with objects belonging to the three-dimensional space of their performances. This project’s main goal is to design and develop a system that can spatially represent the performer and its movements, by means of capturing processes and reconstruction using a camera device, as well as enhance the three-dimensional space where the performance occurs by allowing interaction with virtual objects and by adding a video component, either for documentary purposes, or for live performances effects (for example, using video mapping video techniques in captured video or projection during a performance).

Process virtualization theory (PVT) and institutional theory (INT) to explain SAAS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the pressures existing in the organization’s environment. We propose an integrated research model that combines the process virtualization theory (PVT) and the institutional theory (INT). PVT seeks to explain whether SaaS processes are suitable for migration into virtual environments via an information technology-based mechanism. INT seeks to explain the effects of the institutionalized environment on the structure and actions of the organization. The research makes three contributions. First, it addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and external coercive, normative, and mimetic pressures faced by an organization. Second, it empirically tests many of the propositions of PVT and INT in the SaaS context, thereby helping to determine how the theory operates in practice. Third, the integration of PVT and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

Arquitecturas imaginárias. Espaço real e ilusório no Barroco português

Tese de Doutoramento em Arquitectura / Cultura Arquitectónica.

3D representation of the urban evolution of Braga using the cityengine tool

The morphological evolution of the city of Braga has been the subject of several studies focusing on different urban areas in different periods. Using the accumulated knowledge provided by the available archaeological, historical and iconographic data of Braga, from the Roman times to the nineteenth century, we intend to present a working methodology for 3D representation of urban areas and its evolution, using the CityEngine ESRI tool. Different types of graphic and cartographic data will be integrated in an archaeological information system for the characterization of urban buildings. Linking this information system to the rules of characterization of urban spaces through the CityEngine tool, we can create the 3D urban spaces and their changes. The building characterization rules include several parameters of architectural elements that can be dynamically changed according the latest information. This methodology will be applied to the best known areas within of the city allowing the creation of different and dynamic layouts. Considerations about the concepts, challenges and constraints of using the CityEngine tool for recording and representing urban evolution knowledge will be discussed.

Quantum field theory approach to the optical conductivity of strained and deformed graphene

The computation of the optical conductivity of strained and deformed graphene is discussed within the framework of quantum field theory in curved spaces. The analytical solutions of the Dirac equation in an arbitrary static background geometry for one dimensional periodic deformations are computed, together with the corresponding Dirac propagator. Analytical expressions are given for the optical conductivity of strained and deformed graphene associated with both intra and interbrand transitions. The special case of small deformations is discussed and the result compared to the prediction of the tight-binding model.

Pseudofermion dynamical theory for the spin dynamical correlation functions of the half-filled 1D Hubbard model

A modified version of the metallic-phase pseudofermion dynamical theory (PDT) of the 1D Hubbard model is introduced for the spin dynamical correlation functions of the half-filled 1D Hubbard model Mott– Hubbard phase. The Mott–Hubbard insulator phase PDT is applied to the study of the model longitudinal and transverse spin dynamical structure factors at finite magnetic field h, focusing in particular on the sin- gularities at excitation energies in the vicinity of the lower thresholds. The relation of our theoretical results to both condensed-matter and ultra-cold atom systems is discussed.

On the temperature dependence of the absorption cross section for black holes in string theory

We study the low frequency absorption cross section of spherically symmetric nonextremal d-dimensional black holes. In the presence of α′ corrections, this quantity must have an explicit dependence on the Hawking temperature of the form 1/TH. This property of the low frequency absorption cross section is shared by the D1-D5 system from type IIB superstring theory already at the classical level, without α′ corrections. We apply our formula to the simplest example, the classical d-dimensional Reissner-Nordstr¨om solution, checking that the obtained formula for the cross section has a smooth extremal limit. We also apply it for a d-dimensional Tangherlini-like solution with α′3 corrections.

Absorption of scalars by nonextremal charged black holes in string theory

We analyze the low frequency absorption cross section of minimally coupled massless scalar fields by different kinds of charged static black holes in string theory, namely the D1–D5 system in d=5 and a four dimensional dyonic four-charged black hole. In each case we show that this cross section always has the form of some parameter of the solution divided by the black hole Hawking temperature. We also verify in each case that, despite its explicit temperature dependence, such quotient is finite in the extremal limit, giving a well defined cross section. We show that this precise explicit temperature dependence also arises in the same cross section for black holes with string \alpha' corrections: it is actually induced by them.

Ontological representation of tumor-node-metastasis classification and an ontology-driven classifier: a study on colorectal cancer

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Comprensión en resolución de problemas en Física: niveles de representación e inferencias basadas en el conocimiento. Comprehension in Physics Problem-Solving: levels of representation and knowledge-based inferences.

Se propone desarrollar e integrar estudios sobre Modelado y Resolución de Problemas en Física que asumen como factores explicativos: características de la situación planteada, conocimiento de la persona que resuelve y proceso puesto en juego durante la resolución. Interesa comprender cómo los estudiantes acceden al conocimiento previo, qué procedimientos usan para recuperar algunos conocimientos y desechar otros, cuáles son los criterios que dan coherencia a sus decisiones, cómo se relacionan estas decisiones con algunas características de la tarea, entre otras. Todo ello con miras a estudiar relaciones causales entre las dificultades encontradas y el retraso o abandono en las carreras.Se propone organizar el trabajo en tres ejes, los dos primeros de construcción teórica y un tercero de implementación y transferencia. Se pretende.1.-Estudiar los procesos de construcción de las representaciones mentales en resolución de problemas de física, tanto en expertos como en estudiantes de diferentes niveles académicos.2.-Analizar y clasificar las inferencias que se producen durante las tareas de comprensión en resolución de problemas de física. Asociar dichas inferencias con procesos de transición entre representaciones mentales de diferente naturaleza.3.-Desarrollar materiales y diseños instruccionales en la enseñanza de la Física, fundamentado en un conocimiento de los requerimientos psicológicos de los estudiantes en diversas tareas de aprendizaje.En términos generales se plantea un enfoque interpretativo a la luz de marcos de la psicología cognitiva y de los desarrollos propios del grupo. Se trabajará con muestras intencionales de alumnos y profesores de física. Se utilizarán protocolos verbales y registros escritos producidos durante la ejecución de las tareas con el fin de identificar indicadores de comprensión, inferencias, y diferentes niveles de representación. Se prevé analizar material escrito de circulación corriente sea comercial o preparado por los docentes de las carreras involucradas.Las características del objeto de estudio y el distinto nivel de desarrollo en que se encuentran los diferentes ojetivos específicos llevan a que el abordaje contemple -según consideracion de Juni y Urbano (2006)- tanto la lógica cualitativa como la cuantitativa.

Juventud vulnerable y escuela media: representaciones y experiencias sobre la autoridad escolar. Vulnerable youth and high school: representation and experiences on scholastic authority.

La investigación busca responder cómo experimentan, se representan y caracterizan grupos juveniles en situación de vulnerabilidad social de la ciudad de Córdoba, la autoridad en la escuela media considerada en tres actores institucionales claves: docentes, preceptores y directores. Se propone indagar acerca de la autoridad desde dos dimensiones: las representaciones juveniles de la autoridad pedagógica (ligada al desempeño de los profesores) y la autoridad en términos de límites que reconocen en los directivos y preceptores vinculándola con el espacio institucional de la escuela. Objetivos Explorar las relaciones con la autoridad escolar vivenciadas en su tránsito por la escuela secundaria por jóvenes en condiciones de vulnerabilidad social de la ciudad de Córdoba. Indagar como vivencian los jóvenes las leyes y normativas escolares atendiendo a la cercanía o distancia con las prácticas que ellos ponen en juego en el seno de sus grupos de referencia. Identificar desde las voces de adolescentes de sectores populares los problemas de convivencia escolar más frecuentes, apuntando a reconocer qué posiciones advierten ante tales situaciones en los adultos que se desempeñan en diferentes roles en la escuela. Explorar en las interacciones y conflictos que se plantean en sus relaciones con docentes, directivos y preceptores. Conocer las valoraciones que los jóvenes efectúan sobre las estrategias de autoridad puestas en juego por profesores (vinculándolas con el desempeño cotidiano en sus asignaturas), preceptores y directivos. Materiales y métodos: Se seguirán dos etapas: a) Realización de grupos focales con adolescentes de 15-17 en situación de vulnerabilidad social que asisten a la escuela media. Se prevé la utilización de muestras intencionales. b) Aplicación de un cuestionario estandarizado a jóvenes de escuelas secundarias en situación de vulnerabilidad. Las preguntas del cuestionario serán elaboradas en forma de escalas de tipo Likert construidas a partir de la información obtenida en la primera etapa Resultados: La investigación producirá conocimientos acerca de: - formas de legitimación de la autoridad escolar por parte de jóvenes socialmente vulnerables - características de la autoridad escolar en docentes, preceptores y directores - modelos institucionales de autoridad escolar Importancia: La significatividad de los resultados se vincula con el marco de las discusiones que se vienen desarrollando en torno a las transformaciones de la educación secundaria, dentro de las cuales la recreación del vínculo docente-alumno y la redefinición de los marcos de autoridad institucionales resultan sustantivos de cara a la mejora. Pertinencia: El trabajo ayudará a identificar núcleos críticos ligados con la gestión de convivencia y de la autoridad escolar, lo que servirá para identificar aspectos de los formatos institucionales que deberían ser revisados y aquellos que podrían ser objeto de afianzamiento y multiplicación.

Entre la ejecución y la representación: intersecciones de lo real en la construcción escénica. Between the execution and the representation: intersections of the real thing in the scenic construction.

Esta propuesta de investigación se enmarca en los encuentros y discusiones que se están realizando en la Escuela de Artes de la Facultad de Filosofía y Humanidades (CEPIA, CIFFyH y SeCyT, de la U.N.C), en relación a las problemáticas de la investigación en Artes. Los encuentros llevados a cabo en diversas ocasiones y a lo largo de 2009, demuestran la necesidad de establecer un campo particular de la investigación y su relación con la práctica artística. Este proyecto nace de estas inquietudes y establece ciertos ejes de trabajo que permiten poner en práctica ciertos esbozos imaginados. En este sentido, nuestra propuesta se centra en definir la misma construcción escénica como objeto de estudio, delimitando sobre éste la problemática de lo real en el trabajo de la ficción, proponiendo además un equipo que permita investigar en su propio desarrollo creativo las diversas variables que entran en juego. De este modo, se trabajará en una propuesta de laboratorio escénico donde los planteos de orden teórico atraviesen la práctica y, a su vez, la observación de ésta permita una reelaboración y profundización del pensamiento contemporáneo sobre la problemática ejecución/representación, desde los diversos órdenes en que ésta interviene. La idea de representación teatral que planteaba Aristóteles señala que las acciones devienen necesariamente en la definición del carácter de los personajes. Este concepto es clave en el desarrollo del teatro occidental y por ende en las diferentes concepciones de actor. La definición de acción dada por Aristóteles es problemática para parte del teatro contemporáneo ya que supone que toda acción es mimética. También da por supuesto que en el teatro se conforman personajes, y que la unidad narrativa está dada por una programática, que es definida por la acción.La presente investigación se propone indagar en la relación entre la ejecución de la acción y su representación en el desarrollo de un laboratorio teatral. Esto implica que necesariamente es aplicada al trabajo escénico. Nuestra hipótesis de partida es que la relación conflictiva entre acción, ejecución de la misma y representación, se produce a partir de la operación material sobre lo real . Estas intersecciones podrían ser pensadas como una teoría del montaje donde la corporalidad es el principio necesario e irreductible de la construcción. La intersección de lo real es una problemática que permite ahondar sobre los procedimientos por los cuales se construye la escena. La idea de un teatro material, obliga a pensar con qué procedimientos se construye ficción. Un teatro que intenta recalar en lo “real” como modo de señalar la cosa misma, se propone, desde la perspectiva de la realización, indagar en los mecanismos de su construcción (procedimientos), por lo cual supone que la actividad teatral puede dar cuenta de los procesos por los cuales se realiza. La realización de una acción, puede remitir a sí misma y genera una relación “extraña” y ambigua con el mundo de referencia. La acción en sí misma, pone en cuestión la idea de modelo y da cuenta de una crisis en la representación. La teoría ha intentado dividir y sistematizar de manera binaria la manifestación teatral: Teatro de Representación/ Teatro Performático, para distinguir un teatro vinculado a la creación de personajes o para relacionarlo a un teatro de ejecución. Sin embargo, pensamos que es posible encontrar en la producción escénica, intersecciones de lo real que median el mundo de la representación y el de la performance para la construcción de ficción. Nuestra hipótesis de base es que si intervenimos el plano de la ejecución en el actor, la representación varía sustancialmente sus mecanismos de producción de sentido. Este primer planteo no es conflictivo hasta que se pone de manifiesto lo real. This research’s proposal is framed into the meetings and discussions that have been taking place in the School of Arts of the Faculty of Philosophy and Humanities (CEPIA, CIFFyH y SeCyT, of the National University of Cordoba), concerning the difficulties of research in Arts. The meetings carried out along 2009, demonstrate the need to establish a particular field of research and its relation to the practice of arts. This project is born from these concerns and it establishes central axis for the work, that enables us to put on practice some sketches imagined. In this regard, our proposal focuses on defining the construction of the scene as object of study, in itself, delimiting the issue of “the real” in the work of fiction. Proposing, furthermore, a team for researching the many variables that comes into play, in their own creative development. Consequently, the work will be developed in the method of a scenic laboratory, where the theoretical proposals cross over the practice and, in turn, these observations allow a reworking and deepen of contemporary thinking about the problematic of performance / representation, from the diverse orders in which it intervene. The idea of theatrical performance proposed by Aristotle, indicate that actions necessarily turn into the definition of the nature of the characters. This concept is key to the development of Western theaterand consequently on the different conceptions of actor. The definition of action given by Aristotle is problematic for a part of the contemporary theater, because it assumes that every action is mimetic. Also presumes that in the theatre the characters are formed, and narrative unit is given by a programmatic, which is defined by the action. This research proposes to explore the relationship between implementation of the action and its representation in the development of a theatrical laboratory. This implies that it is applied necessarily to the scenic practice. Our preliminary hypothesis is that the co.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.