In silico constraint-based strain optimization methods: the quest for optimal cell factories

Shifting from chemical to biotechnological processes is one of the cornerstones of 21st century industry. The production of a great range of chemicals via biotechnological means is a key challenge on the way toward a bio-based economy. However, this shift is occurring at a pace slower than initially expected. The development of efficient cell factories that allow for competitive production yields is of paramount importance for this leap to happen. Constraint-based models of metabolism, together with in silico strain design algorithms, promise to reveal insights into the best genetic design strategies, a step further toward achieving that goal. In this work, a thorough analysis of the main in silico constraint-based strain design strategies and algorithms is presented, their application in real-world case studies is analyzed, and a path for the future is discussed.

Kinematic constraint equations

This chapter presents a general methodology for the formulation of the kinematic constraint equations at position, velocity and acceleration levels. Also a brief characterization of the different type of constraints is offered, namely the holonomic and nonholonomic constraints. The kinematic constraints described here are formulated using generalized coordinates. The chapter ends with a general approach to deal with the kinematic analysis of multibody systems.

Literacia(s) com e sobre valores: um projeto de intervenção pedagógica no 1º Ciclo do Ensino Básico

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1ºCiclo do Ensino Básico

Algorithms and tools for in silico design of cell factories

PhD thesis in Bioengineering

Generating timed trajectories foran autonomous robot

Tese de Doutoramento Programa Doutoral em Engenharia Electrónica e Computadores

Otimização com restrições de complementaridade: algoritmos e aplicações

Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)

Discriminação de género e construção das masculinidades nos contextos de trabalho: o caso da engenharia civil

Dissertação de mestrado em Gestão de Recursos Humanos

Project management under uncertainty: a study on solution methods

Project Management involves onetime endeavors that demand for getting it right the first time. On the other hand, project scheduling, being one of the most modeled project management process stages, still faces a wide gap from theory to practice. Demanding computational models and their consequent call for simplification, divert the implementation of such models in project management tools from the actual day to day project management process. Special focus is being made to the robustness of the generated project schedules facing the omnipresence of uncertainty. An "easy" way out is to add, more or less cleverly calculated, time buffers that always result in project duration increase and correspondingly, in cost. A better approach to deal with uncertainty seems to be to explore slack that might be present in a given project schedule, a fortiori when a non-optimal schedule is used. The combination of such approach to recent advances in modeling resource allocation and scheduling techniques to cope with the increasing flexibility in resources, as can be expressed in "Flexible Resource Constraint Project Scheduling Problem" (FRCPSP) formulations, should be a promising line of research to generate more adequate project management tools. In reality, this approach has been frequently used, by project managers in an ad-hoc way.

Preschool education in Brazil: does public supply crowd out private enrollment?

Expanding access to preschool education is a particularly important policy issue in developing countries, where enrollment rates are generally much lower, and where private institutions constitute a much larger share of the formal preschool sector, than in developed countries. This paper examines if an expansion in the supply of public preschool crowds-out private enrollment using rich data for municipalities in Brazil from 2000 to 2006, where federal transfers to local governments change discontinuously with given population thresholds. Results from a regression-discontinuity design reveal that larger federal transfers lead to a significant expansion of local public preschool services, but show no evidence of crowding-out of private enrollment, nor of negative impacts on the quality of private providers. This finding is consistent with a theory in which households differ in willingness-to-pay for preschool services, and private suppliers optimally adjust prices in response to an expansion of lower-quality, free-of-charge public supply. In the context of the model, the absence of crowding-out effects of more public preschool providers can be rationalized by the existence of relatively large differences in willingness-to-pay for preschool services across different demand segments. Our theoretical and empirical findings therefore suggest that in developing country settings characterized by relatively high income inequality, an expansion in public preschool supply will likely significantly increase enrollment among the poorest segments of society, and need not have adverse effects on the quantity or quality of local private supply.

Girls out of school. State, culture and education in poor rural Lao People's Democratic Republic

Tese de Doutoramento em Sociologia

Estudo e conceção de um sistema de encaixe rápido e simples para próteses de membros inferiores

Dissertação de mestrado integrado em Engenharia Biomédica

Modelação de governo electrónico para países emergentes: O caso de São Tomé e Príncipe

Tese de Doutoramento em Tecnologias e Sistemas de Informação

O ensino da flauta de bisel em grupo como inovação pedagógica: Uma investigação-ação no 2.º Ciclo do Ensino Básico

Tese de Doutoramento em Estudos da Criança (Especialidade em Educação Musical)

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.