A Generic Model of Execution for Synthesizing Domain-Specific Models

Software engineering researchers are challenged to provide increasingly more pow- erful levels of abstractions to address the rising complexity inherent in software solu- tions. One new development paradigm that places models as abstraction at the fore- front of the development process is Model-Driven Software Development (MDSD). MDSD considers models as first class artifacts, extending the capability for engineers to use concepts from the problem domain of discourse to specify apropos solutions. A key component in MDSD is domain-specific modeling languages (DSMLs) which are languages with focused expressiveness, targeting a specific taxonomy of problems. The de facto approach used is to first transform DSML models to an intermediate artifact in a HLL e.g., Java or C++, then execute that resulting code. Our research group has developed a class of DSMLs, referred to as interpreted DSMLs (i-DSMLs), where models are directly interpreted by a specialized execution engine with semantics based on model changes at runtime. This execution engine uses a layered architecture and is referred to as a domain-specific virtual machine (DSVM). As the domain-specific model being executed descends the layers of the DSVM the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed. The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process. The appeal of an i-DSML is constrained as it possesses unique semantics contained within the DSVM. Existing DSVMs for i-DSMLs exhibit tight coupling between the implicit model of execution and the semantics of the domain, making it difficult to develop DSVMs for new i-DSMLs without a significant investment in resources. At the onset of this research only one i-DSML had been created for the user- centric communication domain using the aforementioned approach. This i-DSML is the Communication Modeling Language (CML) and its DSVM is the Communication Virtual machine (CVM). A major problem with the CVM’s synthesis engine is that the domain-specific knowledge (DSK) and the model of execution (MoE) are tightly interwoven consequently subsequent DSVMs would need to be developed from inception with no reuse of expertise. This dissertation investigates how to decouple the DSK from the MoE and sub- sequently producing a generic model of execution (GMoE) from the remaining appli- cation logic. This GMoE can be reused to instantiate synthesis engines for DSVMs in other domains. The generalized approach to developing the model synthesis com- ponent of i-DSML interpreters utilizes a reusable framework loosely coupled to DSK as swappable framework extensions. This approach involves first creating an i-DSML and its DSVM for a second do- main, demand-side smartgrid, or microgrid energy management, and designing the synthesis engine so that the DSK and MoE are easily decoupled. To validate the utility of the approach, the SEs are instantiated using the GMoE and DSKs of the two aforementioned domains and an empirical study to support our claim of reduced developmental effort is performed.

Seawater carbonate chemistry and Strongylocentrotus purpuratus body length and gene expression pattern changes during experiments, 2011

Extensive use of fossil fuels is leading to increasing CO2 concentrations in the atmosphere and causes changes in the carbonate chemistry of the oceans which represents a major sink for anthropogenic CO2. As a result, the oceans' surface pH is expected to decrease by ca. 0.4 units by the year 2100, a major change with potentially negative consequences for some marine species. Because of their carbonate skeleton, sea urchins and their larval stages are regarded as likely to be one of the more sensitive taxa. In order to investigate sensitivity of pre-feeding (2 days post-fertilization) and feeding (4 and 7 days post-fertilization) pluteus larvae, we raised Strongylocentrotus purpuratus embryos in control (pH 8.1 and pCO2 41 Pa e.g. 399 µatm) and CO2 acidified seawater with pH of 7.7 (pCO2 134 Pa e.g. 1318 µatm) and investigated growth, calcification and survival. At three time points (day 2, day 4 and day 7 post-fertilization), we measured the expression of 26 representative genes important for metabolism, calcification and ion regulation using RT-qPCR. After one week of development, we observed a significant difference in growth. Maximum differences in size were detected at day 4 (ca. 10 % reduction in body length). A comparison of gene expression patterns using PCA and ANOSIM clearly distinguished between the different age groups (Two way ANOSIM: Global R = 1) while acidification effects were less pronounced (Global R = 0.518). Significant differences in gene expression patterns (ANOSIM R = 0.938, SIMPER: 4.3% difference) were also detected at day 4 leading to the hypothesis that differences between CO2 treatments could reflect patterns of expression seen in control experiments of a younger larva and thus a developmental artifact rather than a direct CO2 effect. We found an up regulation of metabolic genes (between 10 to 20% in ATP-synthase, citrate synthase, pyruvate kinase and thiolase at day 4) and down regulation of calcification related genes (between 23 and 36% in msp130, SM30B, SM50 at day 4). Ion regulation was mainly impacted by up regulation of Na+/K+-ATPase at day 4 (15%) and down regulation of NHE3 at day 4 (45%). We conclude that in studies in which a stressor induces an alteration in the speed of development, it is crucial to employ experimental designs with a high time resolution in order to correct for developmental artifacts. This helps prevent misinterpretation of stressor effects on organism physiology.

CT Image Electron Density Quantification in Regions with Metal Implants: Implications for Radiotherapy Treatment Planning

In radiotherapy planning, computed tomography (CT) images are used to quantify the electron density of tissues and provide spatial anatomical information. Treatment planning systems use these data to calculate the expected spatial distribution of absorbed dose in a patient. CT imaging is complicated by the presence of metal implants which cause increased image noise, produce artifacts throughout the image and can exceed the available range of CT number values within the implant, perturbing electron density estimates in the image. Furthermore, current dose calculation algorithms do not accurately model radiation transport at metal-tissue interfaces. Combined, these issues adversely affect the accuracy of dose calculations in the vicinity of metal implants. As the number of patients with orthopedic and dental implants grows, so does the need to deliver safe and effective radiotherapy treatments in the presence of implants. The Medical Physics group at the Cancer Centre of Southeastern Ontario and Queen's University has developed a Cobalt-60 CT system that is relatively insensitive to metal artifacts due to the high energy, nearly monoenergetic Cobalt-60 photon beam. Kilovoltage CT (kVCT) images, including images corrected using a commercial metal artifact reduction tool, were compared to Cobalt-60 CT images throughout the treatment planning process, from initial imaging through to dose calculation. An effective metal artifact reduction algorithm was also implemented for the Cobalt-60 CT system. Electron density maps derived from the same kVCT and Cobalt-60 CT images indicated the impact of image artifacts on estimates of photon attenuation for treatment planning applications. Measurements showed that truncation of CT number data in kVCT images produced significant mischaracterization of the electron density of metals. Dose measurements downstream of metal inserts in a water phantom were compared to dose data calculated using CT images from kVCT and Cobalt-60 systems with and without artifact correction. The superior accuracy of electron density data derived from Cobalt-60 images compared to kVCT images produced calculated dose with far better agreement with measured results. These results indicated that dose calculation errors from metal image artifacts are primarily due to misrepresentation of electron density within metals rather than artifacts surrounding the implants.

Creating an Empire: Local Political Change at Angamuco, Michoacan, Mexico

Thesis (Ph.D.)--University of Washington, 2016-08

Comparison of 2.3 & 5 mega pixel (MP) resolution monitors when detecting mammography image blurring

Background - Image blurring in Full Field Digital Mammography (FFDM) is reported to be a problem within many UK breast screening units resulting in significant proportion of technical repeats/recalls. Our study investigates monitors of differing pixel resolution, and whether there is a difference in blurring detection between a 2.3 MP technical review monitor and a 5MP standard reporting monitor. Methods - Simulation software was created to induce different magnitudes of blur on 20 artifact free FFDM screening images. 120 blurred and non-blurred images were randomized and displayed on the 2.3 and 5MP monitors; they were reviewed by 28 trained observers. Monitors were calibrated to the DICOM Grayscale Standard Display Function. T-test was used to determine whether significant differences exist in blurring detection between the monitors. Results - The blurring detection rate on the 2.3MP monitor for 0.2, 0.4, 0.6, 0.8 and 1 mm blur was 46, 59, 66, 77and 78% respectively; and on the 5MP monitor 44, 70, 83 , 96 and 98%. All the non-motion images were identified correctly. A statistical difference (p <0.01) in the blurring detection rate between the two monitors was demonstrated. Conclusions - Given the results of this study and knowing that monitors as low as 1 MP are used in clinical practice, we speculate that technical recall/repeat rates because of blurring could be reduced if higher resolution monitors are used for technical review at the time of imaging. Further work is needed to determine monitor minimum specification for visual blurring detection.

O coração e o dragão: perspectivas da vida urbana em uma cidade fragmentada

This research aims to study dimensions of urban life in the contemporaneous city. It is an effort to understand the functioning of the contemporary city as an artifact that somehow affects social relations. The study focuses on the limits and possibilities of urbanity in the city today, understanding urbanity as a set of factors that favor wealth, diversity and spontaneity of public life. The research aims to show that cities today tend to criate fragmented urban life into at least one of the three urbanity dimensions: spatial dimension, social and temporal dimension. The study involves the analysis of two public spaces in Fortaleza (Praça do Ferreira and the open urban public spaces of the Centro Cultural Dragão do Mar), using Space Syntax Analysis methods and for Post Occupancy Evaluation procedures. Research shows that temporal dimension of urbanity is limited in the public spaces studied. In Praça do Ferreira, spatial and social dimensions are present, but their effects are limited by the temporal dimension. The Dragão do Mar, on the other hand, the spatial and social dimensions of urban life are more limited and more concentrated in time

Estudo do design do selo postal português: proposta para aplicação de realidade aumentada

O presente projeto de investigação, propõe compreender a cultura visual contemporânea do design do selo postal português, de 2001 a 2013, considerando os avanços e os novos meios tecnológicos digitais. Para isso, partiu-se da história do selo postal como objeto de testemunho histórico, cultural e visual repleto de valores duradouros e possuidores de uma linguagem gráfica distinta. A esse conjunto de caraterísticas que determinam o selo postal, as mesmas, representam um grau de importância associados à história e à cultura de um país, evidenciando uma linguagem característica da vida social e da época que se encontra, que ao longo dos anos possuem valores de importância e sentimento para a humanidade. Primeiramente, procedeu-se a uma pesquisa exaustiva sobre os principais designers e ateliers portugueses, quer realizada em livros de coleções dos CTT, quer na internet em motores de busca. Seguidamente, realizou-se uma análise geral sobre a sintaxe da linguagem visual, baseada no trabalho de Donis A. Dondis (2003), declinada sobre a comunicação visual no design, para este caso, nos selos postais. Partindo dessa análise, posteriormente, efetuou-se a criação de uma emissão de selos postais juntamente com a tecnologia da realidade aumentada, tendo como base a temática centrada na cidade do Porto e que pode ser repercutida em diferentes cidades do país “Uma visita portuguesa com certeza”. Com este projeto conseguiu-se demonstrar e implementar uma tecnologia digital a um artefacto de cariz físico, usualmente, apresentado em suporte papel. O estudo pretende assim, contribuir para a inovação ao nível do design filatélico e histórico do selo postal português, tendo como base o uso dessa tecnologia.

A Grand Tour: A Catalogue of Eighteenth-Century Print Works at Memorial University Libraries

This catalogue highlights forty-seven of the 1,180 eighteenth-century imprints held by Memorial University Libraries. Intended as a general introduction to eighteenth-century literature in its original formats, the work is aimed at students and teachers of book history and bibliography, as well as at the general reader. Consequently, the focus is broad, highlighting the emerging free press, imaginative literature—particularly the novel—travel literature, street literature, illustration, as well as works of religion, philosophy, science, and medicine. The introduction discusses each of the works presented in the catalogue and makes a case for the collection as a whole as representing a range of developments both in eighteenth-century literature and in the book trade. Catalogue entries highlight the physical artifact, offering both description and photographic evidence. Each entry contains information about the author and the content of the work, and attempts to place the work in its literary context.

O discurso de natureza nas HQs do Chico Bento: provocações ao campo do saber da Educação Ambiental

O presente estudo refere-se a uma Dissertação de Mestrado em Educação Ambiental (EA) a qual teve como objetivo estabelecer um diálogo em torno do conceito de nature-za a partir da análise das formas desse discurso veiculadas nas histórias em quadrinhos (HQs) do personagem Chico Bento e suas relações com as concepções presentes no campo de saber da EA. Com a intenção de problematizar a forma como as HQs, através do discurso de natureza, vêm contribuindo para pensarmos sobre EA, selecionaram-se HQs do Chico Bento publicadas entre os anos de 2009 e 2013 e que fazem referência à natureza. Apoiado em autores como Michel Foucault, Isabel Carvalho, Leandro Belina-so Guimarães, Maria Lúcia Castagna Wortmann, Mônica Meyer, Keith Thomas, Ray-mond Williams, entre outros, a pesquisa analisou as enunciações de natureza que com-puseram o corpus de análise desta investigação. O caminho metodológico selecionado para operar com o material empírico trata especificamente de algumas ferramentas da Análise do Discurso, a partir de Michel Foucault. Na análise do material posto em sus-penso, a pesquisa apontou para dois enunciados potentes, os quais vêm auxiliando na constituição do discurso de natureza por meio das HQs: a natureza constituída nos des-locamentos operados pelas diferenças culturais entre as realidades rural e urbana e um ideal romântico de natureza produzido pela visibilidade e enunciabilidade das HQs do Chico Bento. Com isso, evidenciou-se que as HQs analisadas entram na ordem do dis-curso verdadeiro no campo da EA. Sendo assim, ressalta-se a importância de atentarmos para os gibis e suas histórias, como um artefato cultural potente que vem nos auxiliando a olhar para o dispositivo da EA. Tal dispositivo interpelando-nos a constituir modos de ser e de viver, diante de saberes e verdades produzidas na e pela cultura, pois, diante dos significados travados por meio da cultura, vamos engendrando nossos modos de vida, bem como estabelecendo relações com o mundo em que vivemos.

Novo roteiro para a Arte Nova em Aveiro e Ílhavo: proposta de uma aplicação mobile

A presente investigação tem como objeto de estudo a Arte Nova nas cidades de Aveiro e Ílhavo, traduzindo-se posteriormente na criação de uma aplicação mobile de um roteiro diferenciador referente ao património Arte Nova localizado nas duas cidades. Existe em Aveiro, uma tomada de consciência notória relativa ao património que se enquadra no espírito e nas características do estilo Arte Nova. Isso em muito se deve à originalidade e diversidade de interpretações que a caracterizam localmente. No entanto, apesar dos melhoramentos efetuados na comunicação deste património, especialmente depois da reabilitação do edifício Mário Belmonte Pessoa e da sua transformação em Museu Arte Nova, o roteiro atual não contempla todos os artefactos do estilo existentes na cidade e exclui aqueles que se encontram fora do centro urbano da cidade de Aveiro. Em Ílhavo a realidade é completamente díspar da encontrada na cidade vizinha, Aveiro, não existindo grande decoro pelo tratamento da informação referente ao estilo Arte Nova, apenas algumas referencias breves em guias culturais e um roteiro limitado no site da Câmara Municipal de Ílhavo. Paralelamente a isto, a região de Aveiro tornou-se numa das regiões com o espólio mais significativo do país. Dada à sua importância cultural e local, o roteiro diferenciador que propomos nesta investigação irá intervir de forma a melhorar o que já existe, passando pelo aprofundamento de conhecimentos sobre o tema, catalogação, cruzamento e agrupamento de toda a informação dos artefactos que se encontrem dispersos pelas duas cidades, de forma a tornar mais fácil a procura e o acesso à informação. Numa primeira fase, a investigação irá focar-se nos conteúdos afetos a cada um dos artefactos, sendo estes metodologicamente trabalhados através do método triangular de Francisco Providência, a interpretação autoral (autoria) que se traduz na evolução dos edifícios (tecnologia) e a relevância da sua história (programa) para o património nacional. Posteriormente, os conteúdos anteriormente referidos serão adaptados a uma aplicação mobile que facilitará o acesso à informação previamente selecionada referente a cada artefacto, apresentando uma breve história sobre as manifestações da Arte Nova nas cidades de Aveiro e Ílhavo. Esta aplicação mobile permitirá perceber a evolução dos edifícios desde a sua construção até à atualidade, ao nível de recuperação estrutural ou da falta de reabilitação e recuperação dos mesmos. Contribuirá para conhecer se os edifícios mantiveram (ou não) as suas características originais relativas ao desenho e tecnologia, para tal fará valerse de tecnologias como Realidade Aumentada, assim como os princípios de elaboração e leitura de QR codes, para facilitar o acesso, localização e compreensão dessa mesma informação, permitindo ainda que o seu utilizador embarque numa viagem no tempo e experiencie o roteiro de uma forma diferente. Paralelamente, pretende-se que este roteiro funcione como um roteiro único do património Arte Nova nas duas cidades, com o intuito de se expandir a outras cidades e se tornar num roteiro único do património Arte Nova na região de Aveiro. A diversidade do património Arte Nova nesta região assenta no cunho pessoal e social que os proprietários atribuíram aos seus artefactos, assim como na formação e a capacidade artística fortemente influenciada pela técnica pessoal, temperamento e sensibilidade dos seus autores, fazendo destes artefactos autênticas obras de arte, que merecem o seu estudo. Constatou-se, ao nível dos resultados que o protótipo da aplicação mobile, se adequaram ao que foi anunciado, a nível investigativo, e por isso, interessou a este estudo confirmar a demonstração do que foi enunciado. No entanto, concluiu-se que o respetivo protótipo necessita de ser ‘afinado’ em estudos futuros. Independentemente, das fragilidades encontradas, considera-se que este protótipo de aplicação mobile poderá servir como meio de excelência para a integração de conteúdos que vão mais além do que a visualização dos artefactos. Assim, contribui-se para o adensamento e acesso ao conhecimento sobre a história da Arte Nova em Portugal.

Utilisation de la tomodensitométrie à deux énergies pour le calcul de dose en curiethérapie à bas débit

Dans la pratique actuelle de la curiethérapie à bas débit, l'évaluation de la dose dans la prostate est régie par le protocole défini dans le groupe de travail 43 (TG-43) de l'American Association of Physicists in Medicine. Ce groupe de travail suppose un patient homogène à base d'eau de même densité et néglige les changements dans l'atténuation des photons par les sources de curiethérapie. En considérant ces simplifications, les calculs de dose se font facilement à l'aide d'une équation, indiquée dans le protocole. Bien que ce groupe de travail ait contribué à l'uniformisation des traitements en curiethérapie entre les hôpitaux, il ne décrit pas adéquatement la distribution réelle de la dose dans le patient. La publication actuelle du TG-186 donne des recommandations pour étudier des distributions de dose plus réalistes. Le but de ce mémoire est d'appliquer ces recommandations à partir du TG-186 pour obtenir une description plus réaliste de la dose dans la prostate. Pour ce faire, deux ensembles d'images du patient sont acquis simultanément avec un tomodensitomètre à double énergie (DECT). Les artéfacts métalliques présents dans ces images, causés par les sources d’iode, sont corrigés à l'aide d’un algorithme de réduction d'artefacts métalliques pour DECT qui a été développé dans ce travail. Ensuite, une étude Monte Carlo peut être effectuée correctement lorsque l'image est segmentée selon les différents tissus humains. Cette segmentation est effectuée en évaluant le numéro atomique effectif et la densité électronique de chaque voxel, par étalonnage stoechiométrique propre au DECT, et en y associant le tissu ayant des paramètres physiques similaires. Les résultats montrent des différences dans la distribution de la dose lorsqu'on compare la dose du protocole TG-43 avec celle retrouvée avec les recommandations du TG-186.

Inteligência coletiva e gestão do conhecimento: uma aplicação na rede social Facebook

Social networks rely on concepts such as collaboration, cooperation, replication, flow, speed, interaction, engagement, and aim the continuous sharing and resharing of information in support of the permanent social interaction. Facebook, the largest social network in the world, reached, in May 2016, the mark of 1.09 billion active users daily, draining 161.7 million hours of users’ attention to the website every day. These users share 4.75 billion units of content daily. The research presented in this dissertation aims to investigate the management of knowledge and collective intelligence, from the introduction of mechanisms that aim to enable users to manage and organize current information in the feeds from Facebook groups in which they participate, turning Facebook into a collective knowledge and information management device that goes far beyond mere interaction and communication among people. The adoption of Design Science Research methodology is intended to instill the "genes" of collective intelligence, as presented in the literature, in the computational artifact being developed, so that intelligence can be managed and used to create even more knowledge and intelligence to and by the group. The main theoretical contribution of this dissertation is to discuss knowledge management and collective intelligence in a complementary and integrated manner, showing how efforts to obtain one also contribute to leveraging the other.

El cuerpo como artefacto: tecnologías médicas, anatomopolítica y resistencia

En este artículo se defiende la tesis de que hay un giro importante en el biopoder anatomo-político de finales del siglo XX y comienzos del XXI. Este giro consiste en la aparición de diferentes tendencias culturales que comprenden el cuerpo humano como un artefacto que puede usarse para manifestar resistencia al poder. Para ello, estas tendencias se sirven de las tecnologías médicas como un medio para diseñar el cuerpo de acuerdo con una intención particular que permita cumplir cierta función elegida de antemano por quien identifica ese cuerpo como propio.

Design as a critical research

Historically the imaginary and the hegemonic thinking, in the Western globe north, has been marked by the epistemology and capitalists archetypes. Notwithstanding the design seem as a practice and discipline shielded on a simplistic discourse of functional / communicative efficiency, wandering through by multiple aestheticism apparently neutral in relation to the symbolic, but in fact they never are, because what really hapens is that the aesthetic appearance of the generated forms will always be a review of the powers ruling. We start from the understanding that the act of creating an aesthetic artifact, will also be a movement of inscription in a discursive platform (that precedes it), is in itself an narrative act and that fact represent a certain take place in relation to certain symbolic reality. On reflection shown if it sees design as a discipline and / or an instrument of action, whose operational relevance tends to question and simultaneously rehearsing a response, in which more than why interests answer to why. Apparently the design is a content mediator, but also, it is structure, is body, is idea. We think a design praxis as discipline and enrollment tool of critical thought and social transformation. For guiding research in this text, we propose the following question: Can the Design want for themselves an engagement with the symbolic in order to be an active part in the production of critical thinking in the place where it belongs? Methodologically our argument will be present in two differents moments: 1. a first, exploratory nature where we rescue the draw issues in the practice of design and 2. a second analytical nature concerning the subject issues (graphic and / or utility ) design and how it incorporates formal rites, political events and social practices of contemporary everyday life. We consider the praxis of design as a discipline and critical thinking enrollment tool as agents of social transformation. With this study we seek for contribute phenomenology design by studying the artifacts of configuration as well as the possible messages they convey and what impact they may have on the social network.

Multi-modal ultrasound imaging for breast cancer detection

This work describes preliminary results of a two-modality imaging system aimed at the early detection of breast cancer. The first technique is based on compounding conventional echographic images taken at regular angular intervals around the imaged breast. The other modality obtains tomographic images of propagation velocity using the same circular geometry. For this study, a low-cost prototype has been built. It is based on a pair of opposed 128-element, 3.2 MHz array transducers that are mechanically moved around tissue mimicking phantoms. Compounded images around 360 degrees provide improved resolution, clutter reduction, artifact suppression and reinforce the visualization of internal structures. However, refraction at the skin interface must be corrected for an accurate image compounding process. This is achieved by estimation of the interface geometry followed by computing the internal ray paths. On the other hand, sound velocity tomographic images from time of flight projections have been also obtained. Two reconstruction methods, Filtered Back Projection (FBP) and 2D Ordered Subset Expectation Maximization (2D OSEM), were used as a first attempt towards tomographic reconstruction. These methods yield useable images in short computational times that can be considered as initial estimates in subsequent more complex methods of ultrasound image reconstruction. These images may be effective to differentiate malignant and benign masses and are very promising for breast cancer screening. (C) 2015 The Authors. Published by Elsevier B.V.