Metabolic engineering with multi-objective optimization of kinetic models

Kinetic models have a great potential for metabolic engineering applications. They can be used for testing which genetic and regulatory modifications can increase the production of metabolites of interest, while simultaneously monitoring other key functions of the host organism. This work presents a methodology for increasing productivity in biotechnological processes exploiting dynamic models. It uses multi-objective dynamic optimization to identify the combination of targets (enzymatic modifications) and the degree of up- or down-regulation that must be performed in order to optimize a set of pre-defined performance metrics subject to process constraints. The capabilities of the approach are demonstrated on a realistic and computationally challenging application: a large-scale metabolic model of Chinese Hamster Ovary cells (CHO), which are used for antibody production in a fed-batch process. The proposed methodology manages to provide a sustained and robust growth in CHO cells, increasing productivity while simultaneously increasing biomass production, product titer, and keeping the concentrations of lactate and ammonia at low values. The approach presented here can be used for optimizing metabolic models by finding the best combination of targets and their optimal level of up/down-regulation. Furthermore, it can accommodate additional trade-offs and constraints with great flexibility.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Novas funcionalidades para dispositivos médicos invasivos com imagem

Tese de Doutoramento em Engenharia Eletrónica e de Computadores.

Influência do tipo de adesivo no comportamento de elementos de betão reforçados com laminados de CFRP de acordo com a técnica NSM

Dissertação de mestrado integrado em Engenharia Civil

Análise técnica - económica da produção de energia em sistemas de abastecimento de água: caso do aproveitamento de fins múltiplos dos socorridos

Dissertação de mestrado integrado em Engenharia Civil

O hospital da misericórdia de Penafiel (1600-1850)

Tese de Doutoramento em História - Especialidade de Idade Moderna

A importância da comunicação nas instituições públicas: o caso da CIM Cávado

Relatório de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

Ferramenta de suporte à decisão e prática clínica em unidades de cuidados neonatais e pediátricos

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

As crianças-soldado na Serra Leoa e na Libéria: estudo comparado sobre o papel da ONU como provedor de segurança humana

Dissertação de mestrado em Relações Internacionais

Congestive heart failure. Correlation between functional class and systolic and diastolic functions assessed by Doppler echocardiography

OBJECTIVE: To evaluate the influence of systolic or diastolic dysfunction, or both on congestive heart failure functional class. METHODS: Thirty-six consecutive patients with a clinical diagnosis of congestive heart failure with sinus rhythm, who were seen between September and November of 1998 answered an adapted questionnaire about tolerance to physical activity for the determination of NYHA functional class. The patients were studied with transthoracic Doppler echocardiography. Two groups were compared: group 1 (19 patients in functional classes I and II) and group 2 (17 patients in functional classes III and IV). RESULTS: The average ejection fraction was significantly higher in group 1 (44.84%±8.04% vs. 32.59%±11.48% with p=0.0007). The mean ratio of the initial/final maximum diastolic filling velocity (E/A) of the left ventricle was significantly smaller in group 1 (1.07±0.72 vs. 1.98±1.49 with p=0.03). The average maximum systolic pulmonary venous velocity (S) was significantly higher in group 1 (53.53cm/s ± 12.02cm/s vs. 43.41cm/s ± 13.55cm/s with p=0.02). The mean ratio of maximum systolic/diastolic pulmonary venous velocity was significantly higher in group 1 (1.52±0.48 vs. 1.08±0.48 with p=0.01). A predominance of pseudo-normal and restrictive diastolic patterns existed in group 2 (58.83% in group 2 vs. 21.06% in group 1 with p=0.03). CONCLUSION: Both the systolic dysfunction index and the patterns of diastolic dysfunction evaluated by Doppler echocardiography worsened with the evolution of congestive heart failure.

Insights into bacterial colony morphology evolution and diversification during infection development in cystic fibrosis

Tese de Doutoramento em Engenharia Biomédica.

Reúso do património do movimento moderno: a panificadora de Vila Real

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitectónica)

Fatalidade ou missão:estudo exploratório sobre as estratégias utilizadas pelas Ajudantes de Lar, para fazer face às exigências da sua profissão

Dissertação de Mestrado em Políticas de Desenvolvimento de Recursos Humanos

Catalogus Plantarum :tum exotiarum tum domesticarum, quae in hortis haud procul a Londino sitis in venditionem propagantur = A Catalogue of trees, shrubs, plants, and flowers, both exotic and domestic, which are propagated for sale, in the gardens near London :divided, accorded to their different degrees of hardiness, into particular books, or parts; in each of which the plants are ranged in an alphabetical order. by a Society of Gardeners

1730