Investigador do CRACS visita Universidade de Berkeley...
Eduardo Marques, investigador do CRACS - INESC Porto LA (Center for Research in Advanced Computing Systems), visita durante o mês de Fevereiro a Universidade de Berkeley, no âmbito do seu trabalho de doutoramento que incide sobre o desenho e implementação de linguagens de programação para sistemas embebidos.
Em particular, Eduardo Marques estuda mecanismos que permitam fazer o "run-time patching" de aplicações, garantindo que após essa operação, o código cumpre as restrições de tempo-real a que está sujeito de acordo com a sua especificação original.
Este trabalho insere-se numa colaboração entre Luís Lopes (CRACS/Universidade do Porto) e Christoph Kirsch (Universidade de Salzburgo).
... e investigadora foi oradora em seminário da Faculdade de Medicina do Porto
Inês Dutra, membro do CRACS - INESC Porto LA, foi oradora convidada do Seminário de Inteligência Artificial em Medicina, no Mestrado de Informática Médica da U.Porto.
O Seminário realizado no dia 18 de Janeiro, na Faculdade de Medicina da U.Porto, teve como título: "Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming”.
|