The secret pi calculus is a variant of the pi calculus that features both dynamic and static communication channels; differently from dynamic channels, the scope of static channels cannot be extruded. This is achieved during the execution by means of a mechanism of accepted/blocked channels in process rearrangement; the construction can be interpreted as a monitored run-time system.
The field of Metabolic Engineering (ME) has gained a major importance, since it allows the design of improved microorganisms for industrial applications, starting with wild-type strains that usually have low production capabilities in terms of the target compounds. The ultimate aim of ME is to identify genetic manipulations in silico leading to improved microbial strains, that can be implemented using novel molecular biology techniques.
Alcides Fonseca
DI/FCUL
Luís Cruz-Filipe
University of Southern Denmark
Marcelo Finger
USP
Nadia Magnenat-Thalmann
https://en.wikipedia.org/wiki/Nadia_Magnenat_Thalmann
No ensino universitário normal o aproveitamento/rendimento escolar é também motivo de preocupação em muitos países europeus, embora existam países onde esse rendimento se aproxima dos 100%. Em termos económicos, facilmente se percebe que quanto maior for a taxa de aprovação dos alunos, menor a desistência e a reprovação, mais justificadas estão as verbas públicas (provenientes dos impostos) que o Estado investiu no sector da educação.
Esta sessão tem como objetivo discutir as motivações e perspetivas associadas com a realização de um mestrado, apresentar a estrutura dos cursos e as disciplinas que estes envolvem e esclarecer as dúvidas que os potenciais interessados coloquem.
O programa da sessão inclui apresentações sobre:
Diz-se que nem sempre pensamos por linhas direitas, quase sempre seguimos por curvas, em ziguezagues, corrigindo o que estava confuso, unindo e simplificando, recorrendo a imagens e metáforas, para ajudar os outros a capturarem a essência das coisas.
A iniciativa do Departamento de Informática de Ciências - organizada no âmbito do Girls in ICT Day - visa promover uma reflexão sobre as potencialidades das Tecnologias da Informação e Comunicação junto de jovens raparigas, pais e professores.
