BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Development and validation of a risk model for prediction of hazardous alcohol consumption in general practice attendees : the PredictAL study

Background: Little is known about the risk of progression to hazardous alcohol use in people currently drinking at safe limits. We aimed to develop a prediction model (predictAL) for the development of hazardous drinking in safe drinkers. Methods: A prospective cohort study of adult general practice attendees in six European countries and Chile followed up over 6 months. We recruited 10,045 attendees between April 2003 to February 2005. 6193 European and 2462 Chilean attendees recorded AUDIT scores below 8 in men and 5 in women at recruitment and were used in modelling risk. 38 risk factors were measured to construct a risk model for the development of hazardous drinking using stepwise logistic regression. The model was corrected for over fitting and tested in an external population. The main outcome was hazardous drinking defined by an AUDIT score >= 8 in men and >= 5 in women. Results: 69.0% of attendees were recruited, of whom 89.5% participated again after six months. The risk factors in the final predictAL model were sex, age, country, baseline AUDIT score, panic syndrome and lifetime alcohol problem. The predictAL model's average c-index across all six European countries was 0.839 (95% CI 0.805, 0.873). The Hedge's g effect size for the difference in log odds of predicted probability between safe drinkers in Europe who subsequently developed hazardous alcohol use and those who did not was 1.38 (95% CI 1.25, 1.51). External validation of the algorithm in Chilean safe drinkers resulted in a c-index of 0.781 (95% CI 0.717, 0.846) and Hedge's g of 0.68 (95% CI 0.57, 0.78). Conclusions: The predictAL risk model for development of hazardous consumption in safe drinkers compares favourably with risk algorithms for disorders in other medical settings and can be a useful first step in prevention of alcohol misuse.

Avaliação dos Processos de Software utilizando CMMI

Atualmente, as empresas distinguem-se das demais pelos produtos e serviços fornecidos com qualidade e dentro dos prazos estabelecidos. Uma empresa de desenvolvimento de software não foge a essa regra e para isso os processos envolvidos nas diversas fases de levantamento, desenvolvimento, implementação e suporte devem estar documentados, ser do conhecimento geral da Organização e colocados em prática diariamente nas diversas atividades dos colaboradores. Para isso deve contribuir uma melhoria contínua desses mesmos processos. O CMMI-DEV, Capability Maturity Model Integration for Development, possibilita a introdução de boas práticas nas diversas áreas do processo de desenvolvimento de software, mas também a avaliação dessas áreas e respetiva identificação de aspetos a necessitarem de ser melhorados ou até disseminados por toda a organização. Este trabalho envolveu efetuar uma análise teórica do CMMI-DEV e sua posterior utilização prática num ambiente de trabalho empresarial para avaliação dos processos dessa empresa. Para a concretização deste segundo aspeto, foi elaborado um questionário para avaliar os processos de uma organização, segundo o modelo CMMI-DEV 1.3, avaliada a facilidade de utilização do questionário de avaliação dos processos por parte dos inquiridos. Foi realizada ainda uma análise aos resultados obtidos nos referidos questionários.

Accessing meteorological data in INSPIRE

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Sustainability of systems interoperability in dynamic business networks

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

CAT (Curator Archiving Tool): improving access to web archives

PADICAT is the web archive created in 2005 in Catalonia (Spain ) by the Library of Catalonia (BC ) , the National Library of Catalonia , with the aim of collecting , processing and providing permanent access to the digital heritage of Catalonia . Its harvesting strategy is based on the hybrid model ( of massive harvesting . SPA top level domain ; selective compilation of the web site output of Catalan organizations; focused harvesting of public events) . The system provides open access to the whole collection , on the Internet . We consider necessary to complement the current search for new and visualization software with open source software tool, CAT ( Curator Archiving Tool) , composed by three modules aimed to effectively managing the processes of human cataloguing ; to publish directories where the digital resources and special collections ; and to offer statistical information of added value to end users. Within the framework of the International Internet Preservation Consortium meeting ( Vienna 2010) , the progress in the development of this new tool, and the philosophy that has motivated his design, are presented to the international community.

Modeling water movement in horizontal columns using fractal theory

Fractal mathematics has been used to characterize water and solute transport in porous media and also to characterize and simulate porous media properties. The objective of this study was to evaluate the correlation between the soil infiltration parameters sorptivity (S) and time exponent (n) and the parameters dimension (D) and the Hurst exponent (H). For this purpose, ten horizontal columns with pure (either clay or loam) and heterogeneous porous media (clay and loam distributed in layers in the column) were simulated following the distribution of a deterministic Cantor Bar with fractal dimension H" 0.63. Horizontal water infiltration experiments were then simulated using Hydrus 2D software. The sorptivity (S) and time exponent (n) parameters of the Philip equation were estimated for each simulation, using the nonlinear regression procedure of the statistical software package SAS®. Sorptivity increased in the columns with the loam content, which was attributed to the relation of S with the capillary radius. The time exponent estimated by nonlinear regression was found to be less than the traditional value of 0.5. The fractal dimension estimated from the Hurst exponent was 17.5 % lower than the fractal dimension of the Cantor Bar used to generate the columns.

Statistical Modeling of the Eye for Multimodal Treatment Planning for External Beam Radiation Therapy of Intraocular Tumors.

PURPOSE: Ocular anatomy and radiation-associated toxicities provide unique challenges for external beam radiation therapy. For treatment planning, precise modeling of organs at risk and tumor volume are crucial. Development of a precise eye model and automatic adaptation of this model to patients' anatomy remain problematic because of organ shape variability. This work introduces the application of a 3-dimensional (3D) statistical shape model as a novel method for precise eye modeling for external beam radiation therapy of intraocular tumors. METHODS AND MATERIALS: Manual and automatic segmentations were compared for 17 patients, based on head computed tomography (CT) volume scans. A 3D statistical shape model of the cornea, lens, and sclera as well as of the optic disc position was developed. Furthermore, an active shape model was built to enable automatic fitting of the eye model to CT slice stacks. Cross-validation was performed based on leave-one-out tests for all training shapes by measuring dice coefficients and mean segmentation errors between automatic segmentation and manual segmentation by an expert. RESULTS: Cross-validation revealed a dice similarity of 95% ± 2% for the sclera and cornea and 91% ± 2% for the lens. Overall, mean segmentation error was found to be 0.3 ± 0.1 mm. Average segmentation time was 14 ± 2 s on a standard personal computer. CONCLUSIONS: Our results show that the solution presented outperforms state-of-the-art methods in terms of accuracy, reliability, and robustness. Moreover, the eye model shape as well as its variability is learned from a training set rather than by making shape assumptions (eg, as with the spherical or elliptical model). Therefore, the model appears to be capable of modeling nonspherically and nonelliptically shaped eyes.

Modeling the Emergence of Social Structure from a Phylogenetic Point of View

Based on provious (Hemelrijk 1998; Puga-González, Hildenbrant & Hemelrijk 2009), we have developed an agent-based model and software, called A-KinGDom, which allows us to simulate the emergence of the social structure in a group of non-human primates. The model includes dominance and affiliative interactions and incorporate s two main innovations (preliminary dominance interactions and a kinship factor), which allow us to define four different attack and affiliative strategies. In accordance with these strategies, we compared the data obtained under four simulation conditions with the results obtained in a provious study (Dolado & Beltran 2012) involving empirical observations of a captive group of mangabeys (Cercocebus torquatus)

On an IDS Model for Mobile Ad Hoc Networks

Manet security has a lot of open issues. Due to its character-istics, this kind of network needs preventive and corrective protection. Inthis paper, we focus on corrective protection proposing an anomaly IDSmodel for Manet. The design and development of the IDS are consideredin our 3 main stages: normal behavior construction, anomaly detectionand model update. A parametrical mixture model is used for behav-ior modeling from reference data. The associated Bayesian classi¯cationleads to the detection algorithm. MIB variables are used to provide IDSneeded information. Experiments of DoS and scanner attacks validatingthe model are presented as well.

Three-dimensional model of bubbling fluidized bed combustion

 Diplomityön tarkoituksena on kehittää kolmiulotteinen malli kerrosleijupoltolle. Työn kirjallisuusosa sisältää seuraavat perusteet kerrosleijupolton tekniikasta: yleistiedot, leijutus- ja palamisilmiöt, kiinteän aineen ja kaasun sekoittuminen, päästöt ja lämmönsiirto. Lisäksi palamissysteemin mallinnuksen perusteet ja ratkaisumenetelmät ovat esitelty. Työn mallinnusosassa kehitetty koodi on ohjelmoitu Fortran-ohjelmointikielellä. Kehitetty malli perustuu olemassa olevaan malliin kiertoleijupoltosta. Yhtälö kiintoainekonsentraatioprofiilille on vaihdettu ja kiertovirta on poistettu koodista. Mallilla on tehty herkkyystarkasteluja polttoaineen ja kaasun sekoittumisen sekä reaktiokertoimen vaikutukselle. Visualisointi on tehty ohjelmassa Tecplot 360 ja mallinnustuloksia on vertailtu mitattuihin tuloksiin. Mallin laskemattulokset vastaavat hyvin mittaustuloksia ja kokemusperäisiä tietoja; monissa tapauksissa malli pystyy kvantitatiivisesti kuvaamaan parametrien variointia ja kaikissa tapauksissa malli antaa ainakin kvalitatiivisesti oikeita tuloksia. Työhön liittyvän kehityksen ja mallinnuskokemuksen perusteella on tehty ehdotukset mallin tulevaa kehitystä ja mittauksia varten.

Early life host-microbe interactions : implications for the development of asthma

Plus de 300 millions de personnes dans le monde souffrent de l'asthme. L'asthme est une maladie inflammatoire chronique des voies respiratoires caractérisée par des symptômes variables et récurrents, une obstruction bronchique réversible et des bronchospasmes. Les symptômes communs incluent une respiration sifflante, de la toux, une oppression thoracique et de la dyspnée. Normalement, la maladie commence à se manifester pendant l'enfance. Pourtant, facteurs génétiques héréditaires et événements environnementaux survenant au cours de la petite enfance sont responsables de sa manifestation, indiquant que le développement de la maladie est lié à des événements qui se produisent bien avant son déclenchement. L'infection respiratoire virale aiguë constitue un de ces facteurs environnementaux jouant un rôle prépondérant. Un des virus les plus communs est le virus respiratoire syncytial (VRS), qui infecte presque tous les enfants avant l'âge de 2 ans. Ce virus, s'il infecte des tout-petits, peut en effet provoquer une bronchiolite aiguë, un phénomène qui a été épidémiologiquement lié à l'apparition d'asthme plus tard dans la vie. Dans le premier chapitre de cette thèse, nous avons étudié, chez la souris, comment une infection avec le VRS influe sur l'asthme allergique. Nous avons constaté que seule l'infection des souris à l'état de nouveau-né prédispose à un asthme allergique plus sévère chez l'adulte. En effet, si des souris adultes étaient infectées, elles étaient protégées contre l'apparition des symptômes asthmatiques. Cela nous a mené à investiguer les mécanismes immunitaires spécifiques durant cette courte période du début de la vie. Deux événements se produisent en parallèle au cours de la petite enfance: (1) Le système immunitaire, qui est encore immature immédiatement après la naissance, commence à se développer pour être en mesure de jouer son rôle protecteur contre les agents infectieux. (2) Le corps, y compris les poumons, est colonisé par des bactéries commensales, qui vivent en symbiose avec leur hôte humain. Chez l'adulte, ces bactéries sont connues pour influencer notre système immunitaire, l'éduquant à générer des réponses immunitaires adéquates et efficaces. Dans la deuxième partie de cette thèse, nous avons voulu déterminer si ces bactéries symbiotiques étaient impliquées dans l'éducation du système immunitaire du nouveau-né et quelles conséquences cela pourrait avoir sur les réponses immunitaires engendrées par ce dernier. Pour étudier l'effet de ces bactéries symbiotiques, nous avons utilisé des souris stériles, en d'autres termes des souris qui n'hébergent pas ces bactéries symbiotiques. En comparant ces souris stériles à des souris qui abritent une flore microbienne normale, nous avons constaté que les bactéries symbiotiques sont vitales pour la bonne éducation du système immunitaire du nouveau-né. Nous avons démontré que le contact direct des cellules immunitaires avec la flore microbienne dans les poumons modifie le phénotype de ces cellules immunitaires, ce qui change probablement leur réaction au cours de réponses immunitaires. Nous avons donc vérifié si l'éducation immunitaire induite par cette microflore est importante pour prévenir les maladies pulmonaires telles que l'asthme allergique, affections qui sont causées par une réaction excessive du système immunitaire envers des agents inoffensifs. En effet, nous avons observé que le processus de maturation du système immunitaire néonatal, lequel a été déclenché et façonné par la flore microbienne, est important pour éviter une réaction asthmatique exagérée chez la souris adulte. Ce phénomène est dû aux lymphocytes T régulateurs. Ces cellules, dont la présence est induite dans les poumons, ont des capacités immunosuppressives et atténuent donc les réponses immunitaires pour prévenir une inflammation excessive. En conclusion, nous avons montré dans cette thèse que la colonisation par des bactéries symbiotiques tôt dans la vie est un événement décisif pour la maturation du système immunitaire et pour prévenir le développement de l'asthme. Dans l'avenir, il serait intéressant de découvrir quelles bactéries sont présentes dans les poumons du nouveau-né et lesquelles sont directement impliquées dans ce processus de maturation immunitaire. Une prochaine étape serait alors de favoriser la présence de ces bactéries au début de la vie au moyen d'un traitement avec des agents pré- ou probiotiques, ce qui pourrait éventuellement contribuer à une prévention précoce du développement de l'asthme. -- L'asthme est une maladie chronique inflammatoire des voies respiratoires affectant près de 300 millions d'individus dans le monde. Bien que les traits caractéristiques du phénotype asthmatique s'établissent généralement pendant l'enfance, la prédisposition au développement de la maladie est intimement liée à des événements survenant durant la petite enfance, comme le sont par exemple les infections virales respiratoires aiguës. Les mécanismes par lesquels ces événements provoquent un dysfonctionnement immunitaire et, par conséquent, conduisent au développement de l'asthme n'ont pas encore été entièrement décelés. La dysbiose du microbiote des voies respiratoires a été récemment associes au phénotype asthmatique, touisTcis, la cuûoboiatioî! d un lien cause à effet entre la dysbiose microbienne et l'apparition des symptômes asthmatiques reste à être démontrée. Dans cette thèse, nous avons étudié le rôle que joue la colonisation microbienne des voies respiratoires au cours de la petite enfance dans la maturation du système immunitaire ainsi que dans la protection contre l'inflammation pulmonaire de type allergique. Nous avons de surcroît développé un modèle expérimental pour comprendre comment les infections virales respiratoires interfèrent avec ce processus. Dans la première partie de cette thèse, nous avons évalué l'effet d'infections causées par le virus respiratoire syncytial (VRS) sur le développement de l'asthme. En accord avec des études épidémiologiques, nous avons constaté qu'une infection au VRS lors de la période néonatale exacerbait les réponses pulmonaires allergiques ultérieures. Par contraste, une infection à l'âge adulte avait un effet protecteur. Nous avons ainsi démontré que l'influence d'une infection à VRS sur l'issue et la sévérité de l'asthme respiratoire était strictement dépendante de l'âge. Ces résultats nous ont conduit à émettre l'hypothèse que des différences dans le phénotype homéostatique des cellules immunitaires pourraient être responsables de ces disparités liées à l'âge. Par conséquent, dans la deuxième partie de cette thèse, nous avons suivi et caractérisé le processus de maturation des cellules immunitaires dans les poumons du nouveau-né en condition d'homéostasie. Nous avons découvert que leur phénotype change de façon dynamique pendant le développement néonatal et que la colonisation par des microbes était déterminante pour la maturation des cellules immunitaires dans les poumons. Dans la dernière partie de cette thèse, nous avons démontré comment le microbiote pulmonaire éduque le développement immunitaire durant la période néonatale l'orientant de manière à induire une tolérance face aux aéroallergènes. Nous avons découvert que la colonisation microbienne des voies respiratoires provoque une expression transitoire de PD-L1 sur les cellules dendritiques (CD) pulmonaires du type CD11b+ dans les deux premières semaines de la vie. Cet événement engendre par la suite la génération de lymphocytes T régulateurs (TREG) dans les poumons, lesquels sont responsables de la protection contre une réponse inflammatoire allergique exagérée chez la souris adulte. Par conséquent, nous proposons un rôle pivot de la maturation immunitaire induite par le microbiote pulmonaire dans l'établissement de la tolérance aux aéroallergènes. En conclusion, les résultats présentés dans cette thèse fournissent de nouveaux indices révélant comment des événements se produisant lors de la petite enfance peuvent façonner les réponses du système immunitaire dirigées contre les allergènes et soulignent le rôle central joué par le microbiote pulmonaire dans l'édification d'une réponse immunitaire équilibrée. En résumé, notre travail met en évidence le microbiote pulmonaire comme étant une cible potentielle pour la prévention de certaines maladies respiratoires. -- Asthma is a chronic inflammatory disorder of the respiratory tract and affects approximately 300 million individuals world-wide. Although the asthmatic phenotype commonly establishes during childhood, predisposition towards disease development has been linked to events in early infancy, such as severe respiratory viral infections. However, the mechanisms by which these events cause immune dysfunction and, therefore, lead to the development of asthma have yet to be fully deciphered. Dysbiosis of the airway microbiota has recently been associated with the asthmatic phenotype; however, conclusive evidence for a causal link between microbial dysbiosis in the ail ways and asthma development is still missing. In this thesis we investigated the role of early-life microbial airway colonization in immune maturation and the protection against allergic airway inflammation and established an experimental model to address how respiratory viral infections interfere in this process. In the first part of this thesis we evaluated the effect of Respiratory syncytial virus (RSV) infections on the development of asthma. In concurrence with epidemiological studies, we found that neonatal infection exacerbated subsequent allergic airway inflammation. In contrast, adult infection was protective in the same context. Thus, we could demonstrate that the influence of RSV infection on subsequent allergic airway responses was strictly age-dependent. These findings led us to the hypothesis that differences in the homeostatic phenotype of immune cells could be responsible for the age-related disparities seen within the context of RSV. Therefore, in a second part of this thesis, we followed the process of homeostatic immune cell maturation in the neonatal lung. Immune cell phenotypes changed dynamically during neonatal development. We discovered that the colonization with microbes was central to the maturation of immune cells in the lung. In the last part of this thesis, we demonstrated how microbiota-driven immune development during the neonatal period induces tolerance against aeroallergens. We discovered that microbial colonization led to a transient programmed death-ligand (PD-L) 1 expression on CD11b+ pulmonary dendritic cells (DCs) during the first two weeks of life. This in turn induced regulatory T (TREG) cells in the lung, which were responsible for the protection against exaggerated allergic airway inflammation in adult mice. Thus, we propose a key role for microbiota-driven immune maturation in the establishment of tolerance towards aeroallergens. In conclusion, the results presented in this thesis provide new insights into how early-life events shape pulmonary immune responses towards allergens and suggest the airway microbiota as a key player in establishing a balanced immune response. Overall, our work highlights the airway microbiota as potential target for disease prevention.