A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Visions on high-speed trains: a methodological analysis

Based on the report for the unit “Foresight Analysis Methods” of the PhD program on Technology Assessment in 2013. This unit was supervised by Prof. António Moniz. The paper had meanwhile contributions from the supervisor and Dr. Douglas Robinson.

Development of human central nervous system 3D in vitro models for preclinical research

Neurological disorders are a major concern in modern societies, with increasing prevalence mainly related with the higher life expectancy. Most of the current available therapeutic options can only control and ameliorate the patients’ symptoms, often be-coming refractory over time. Therapeutic breakthroughs and advances have been hampered by the lack of accurate central nervous system (CNS) models. The develop-ment of these models allows the study of the disease onset/progression mechanisms and the preclinical evaluation of novel therapeutics. This has traditionally relied on genetically engineered animal models that often diverge considerably from the human phenotype (developmentally, anatomically and physiologically) and 2D in vitro cell models, which fail to recapitulate the characteristics of the target tissue (cell-cell and cell-matrix interactions, cell polarity). The in vitro recapitulation of CNS phenotypic and functional features requires the implementation of advanced culture strategies that enable to mimic the in vivo struc-tural and molecular complexity. Models based on differentiation of human neural stem cells (hNSC) in 3D cultures have great potential as complementary tools in preclinical research, bridging the gap between human clinical studies and animal models. This thesis aimed at the development of novel human 3D in vitro CNS models by integrat-ing agitation-based culture systems and a wide array of characterization tools. Neural differentiation of hNSC as 3D neurospheres was explored in Chapter 2. Here, it was demonstrated that human midbrain-derived neural progenitor cells from fetal origin (hmNPC) can generate complex tissue-like structures containing functional dopaminergic neurons, as well as astrocytes and oligodendrocytes. Chapter 3 focused on the development of cellular characterization assays for cell aggregates based on light-sheet fluorescence imaging systems, which resulted in increased spatial resolu-tion both for fixed samples or live imaging. The applicability of the developed human 3D cell model for preclinical research was explored in Chapter 4, evaluating the poten-tial of a viral vector candidate for gene therapy. The efficacy and safety of helper-dependent CAV-2 (hd-CAV-2) for gene delivery in human neurons was evaluated, demonstrating increased neuronal tropism, efficient transgene expression and minimal toxicity. The potential of human 3D in vitro CNS models to mimic brain functions was further addressed in Chapter 5. Exploring the use of 13C-labeled substrates and Nucle-ar Magnetic Resonance (NMR) spectroscopy tools, neural metabolic signatures were evaluated showing lineage-specific metabolic specialization and establishment of neu-ron-astrocytic shuttles upon differentiation. Chapter 6 focused on transferring the knowledge and strategies described in the previous chapters for the implementation of a scalable and robust process for the 3D differentiation of hNSC derived from human induced pluripotent stem cells (hiPSC). Here, software-controlled perfusion stirred-tank bioreactors were used as technological system to sustain cell aggregation and dif-ferentiation. The work developed in this thesis provides practical and versatile new in vitro ap-proaches to model the human brain. Furthermore, the culture strategies described herein can be further extended to other sources of neural phenotypes, including pa-tient-derived hiPSC. The combination of this 3D culture strategy with the implemented characterization methods represents a powerful complementary tool applicable in the drug discovery, toxicology and disease modeling.

Technological evolution

The evolution of a technology and the understanding of the moment in its life cycle is of the utmost importance to the entry strategy devised by any company. Having the entry of EDP Brazil on the micro-generation market as background, the present workproject attempts to summarize the most important topics in management literature concerning the theory of technology life-cycles and the updated literature on developments of photovoltaic technology to infer the current positioning of this technology in the theoretical models. The need for this type of work stems from the very common lack of bridging between the academic research of economic aspects relevant to the evolution of technologies and the agents of research on specific technological issues. When this occurs, namely due to the external nature of research to companies, thereby escaping the harsh economic controls of a profit seeking enterprise, the evolution many times lacks the appropriate framework to be studied on a more forward looking manner and to allow for management decisions to be based on.

Numerical simulation of galvanized rebars pullout

The usage of rebars in construction is the most common method for reinforcing plain concrete and thus bridging the tensile stresses along the concrete crack surfaces. Usually design codes for modelling the bond behaviour of rebars and concrete suggest a local bond stress – slip relationship that comprises distinct reinforcement mechanisms, such as adhesion, friction and mechanical anchorage. In this work, numerical simulations of pullout tests were performed using the finite element method framework. The interaction between rebar and concrete was modelled using cohesive elements. Distinct local bond laws were used and compared with ones proposed by the Model Code 2010. Finally an attempt was made to model the geometry of the rebar ribs in conjunction with a material damaged plasticity model for concrete.

Assessment of the performance of steel fibre reinforced self-compacting concrete in elevated slabs

The reinforcement mechanisms at the cross section level assured by fibres bridging the cracks in steel fibre reinforced self-compacting concrete (SFRSCC) can be significantly amplified at structural level when the SFRSCC is applied in structures with high support redundancy, such is the case of elevated slab systems. To evaluate the potentialities of SFRSCC as the fundamental material of elevated slab systems, a ¼ scale SFRSCC prototype of a residential building was designed, built and tested. The extensive experimental program includes material tests for characterizing the relevant properties of SFRSCC, as well as structural tests for assessing the performance of the prototype at serviceability and ultimate limit conditions. Three distinct approaches where adopted to derive the constitutive laws of the SFRSCC in tension that were used in finite element material nonlinear analysis to evaluate the reliability of these approaches in the prediction of the load carrying capacity of the prototype.

Industrial engineering and management curriculum profile: Developing a framework of competences

This paper presents a framework of competences developed for Industrial Engineering and Management that can be used as a tool for curriculum analysis and design, including the teaching and learning processes as well as the alignment of the curriculum with the professional profile. The framework was applied to the Industrial Engineering and Management program at University of Minho (UMinho), Portugal, and it provides an overview of the connection between IEM knowledge areas and the competences defined in its curriculum. The framework of competences was developed through a process of analysis using a combination of methods and sources for data collection. The framework was developed according to four main steps: 1) characterization of IEM knowledge areas; 2) definition of IEM competences; 3) survey; 4) application of the framework at the IEM curriculum. The findings showed that the framework is useful to build an integrated vision of the curriculum. The most visible aspect in the learning outcomes of IEM program is the lack of balance between technical and transversal competences. There was not almost any reference to the transversal competences and it is fundamentally concentrated on Project-Based Learning courses. The framework presented in this paper provides a contribution to the definition of IEM professional profile through a set of competences which need to be explored further. In addition, it may be a relevant tool for IEM curriculum analysis and a contribution for bridging the gap between universities and companies.

Evaluation of the performance of steel fibre reinforced self-compacting concrete in elevated slab systems; from the material to the structure

Degree of Doctor of Philosophy of Structural/Civil Engineering

Jornalismo desportivo: entretenimento ou informação

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Dos ciclos e sistemas aos interstícios de Creixomil: entre o seu conhecimento e transformação potencial

Dissertação de mestrado integrado em Arquitectura (área de especialização em Território)

Addressing Sea Surface Salinity retrieval at different spatial resolution. Feasibility study using OCCAM data within SEPS simulator and L2 processor tools

Projecte de recerca elaborat a partir d’una estada a la National Oceanography Centre of Southampton (NOCS), Gran Bretanya, entre maig i juliol del 2006. La possibilitat d’obtenir una estimació precissa de la salinitat marina (SSS) és important per a investigar i predir l’extensió del fenòmen del canvi climàtic. La missió Soil Moisture and Ocean Salinity (SMOS) va ser seleccionada per l’Agència Espacial Europea (ESA) per a obtenir mapes de salinitat de la superfície marina a escala global i amb un temps de revisita petit. Abans del llençament de SMOS es preveu l’anàlisi de la variabilitat horitzontal de la SSS i del potencial de les dades recuperades a partir de mesures de SMOS per a reproduir comportaments oceanogràfics coneguts. L’objectiu de tot plegat és emplenar el buit existent entre les fonts de dades d’entrada/auxiliars fiables i les eines desenvolupades per a simular i processar les dades adquirides segons la configuració de SMOS. El SMOS End-to-end Performance Simulator (SEPS) és un simulador adhoc desenvolupat per la Universitat Politècnica de Catalunya (UPC) per a generar dades segons la configuració de SMOS. Es va utilitzar dades d’entrada a SEPS procedents del projecte Ocean Circulation and Climate Advanced Modeling (OCCAM), utilitzat al NOCS, a diferents resolucions espacials. Modificant SEPS per a poder fer servir com a entrada les dades OCCAM es van obtenir dades de temperatura de brillantor simulades durant un mes amb diferents observacions ascendents que cobrien la zona seleccionada. Les tasques realitzades durant l’estada a NOCS tenien la finalitat de proporcionar una tècnica fiable per a realitzar la calibració externa i per tant cancel•lar el bias, una metodologia per a promitjar temporalment les diferents adquisicions durant les observacions ascendents, i determinar la millor configuració de la funció de cost abans d’explotar i investigar les posibiltats de les dades SEPS/OCCAM per a derivar la SSS recuperada amb patrons d’alta resolució.

Analysing the innovation process in the EU Integrated Programme, ISAFRUIT

ISAFRUIT is an integrated European Union Project focussed on increasing fruit consumption as a means to improve human health, through evaluating the fruit chain and addressing bottlenecks therein.The innovations which are being developed throughout the ISAFRUIT Project have been analysed to determine both the success factors and the obstacles in reaching the commercialisation stage. Only 9.58% of the deliverables planned within the Project were focussed on developing technological innovations.There is evidence, however, of successes in the development of new innovations arising from the ISAFRUIT Project, with several other potential innovations in the pipeline. Of the technologies identified, 67% are still at the “invention stage”; that is, the stage prior to bridging the so-called “valley of death”, the stage between an invention and an innovation. Those which are considered to have moved over the “valley of death” either had industry partners included in the Project, or had consulted with industry to ensure that the technology was relevant, or met a recognised industry need. Many of the technologies which made less progress did not have the same interactions with industry. A number of other issues were identified which prevented further progress towards innovation. The need for scientists to publish scientific papers, both for their career pathways and to increase their chances of future funding, was identified as one issue, although the filing of patents is now becoming more accepted and recognised. The patenting system is considered complex by many scientists and is not well-understood. Finally, agreements between partners on the sharing of intellectual property rights can cause a delay in the innovation process.

The Academic Work and Careers in Europe : Trends, Challenges, Perspectives

This book explores the perceptions of academic staff and representatives of institutional leadership about the changes in academic careers and academic work experienced in recent years. It emphasizes standardization and differentiation of academic career paths, impact of new forms of quality management on academic work, changes in recruitment, employment and working conditions, and academics' perceptions of their professional contexts. The book demonstrates a growing diversity within the academic profession and new professional roles inhabiting a space which is neither located in the core business of teaching and research nor at the top level management and leadership. The new higher education professionals tend to be important change agents within the higher education institutions not only fulfilling service and bridging functions but also streamlining academic work to make a contribution to the reputation and competitiveness of the institutions as a whole. Based on interviews with academic staff, this book explores the situation in eight European countries: Austria, Croatia, Finland, Germany, Ireland, Romania, and Switzerland.

Redirecting anti-viral CTL against cancer cells by surface targeting of monomeric MHC class I-viral peptide conjugated to antibody fragments.

To combine the advantage of both the tumor targeting capacity of high affinity monoclonal antibodies (mAbs) and the potent killing properties of cytotoxic T lymphocytes (CTL), we investigated the activity of conjugates made by coupling single Fab' fragments, from mAbs specific for tumor cell surface antigens, to monomeric HLA-A2 complexes containing the immunodominant influenza-matrix peptide 58-66. In solution, the monovalent 95 kDa Fab-HLA-A2/Flu conjugates did not activate influenza-specific CTL. However, when targeted to tumor cells expressing the relevant tumor-associated antigen, the conjugates induced CTL activation and efficient tumor cell lysis, as a result of MHC/peptide surface oligomerization. The highly specific and sensitive in vitro cytotoxicity results presented suggest that injection of Fab-MHC/peptide conjugates could represent a new form of immunotherapy, bridging antibody and T lymphocyte attack on cancer cells.