Cerimónia de investidura da nova direção do HASLab. Aluno da UMinho vence Prémio José Luís Encarnação

(1)

Boletim Informativo

N.º 8, novembro/2013 Quarta-feira, 19 de Dezembro de 2013 boletim.di.uminho.pt Nesta edição Agenda Eventos Notícias de Imprensa Participações em Eventos e Reuniões Científicas Provas Académicas Publicações Campus de Gualtar 4710-057 Braga Portugal tel. +351 253604430 fax. +351 253604471 boletim@di.uminho.pt http://www.di.uminho.pt

>> Agenda

Reunião do Conselho de Departamento

No dia 6 de novembro de 2013, pelas 14:30, na sala de reuniões do nosso departamento, com a seguinte ordem de trabalhos: Aprovação da ata da reunião anterior.

Informações.

Aspetos de gestão do departamento. Funcionamento do ano letivo de 2012/2013. Análise e arranque do presente ano letivo. Estado e evolução dos projetos pedagógicos do DI. Processos de avaliação A3ES dos projetos pedagógicos do DI. Outros assuntos.

>> Eventos

Cerimónia de investidura da nova direção do HASLab

Cerimónia de investidura da nova direção do HASLab ? Laboratório de Investigação em Software Confiável. Diretor: Professor Rui Carlos Mendes Oliveira. Diretores Adjuntos: Professor Manuel Alcino Pereira da Cunha, Professor Manuel Bernardo Martins Barbosa.

>> Notícias de Imprensa

Aluno da UMinho vence Prémio José Luís Encarnação

Nuno Silva, do mestrado em Engenharia Informática da Universidade do Minho, venceu o Prémio Professor José Luís Encarnação 2013, por ter criado um acelerador de processamento de imagem digital, que é ideal para os designers durante a criação de calçado, roupa ou outros produtos envolvendo materiais complexos. A investigação juntou várias empresas de calçado nacionais e teve apoio do QREN "O galardão é entregue anualmente pelo Grupo Português de Computação Gráfica, sendo o júri constituído por cinco professores, incluindo o próprio Professor José Luís Encarnação. Nuno Silva foi considerado o aluno do ensino superior nacional com a publicação de maior relevância na área. O seu artigo "Interactive High Fidelity Visualization of Complex Materials on the GPU", com coautoria de Luís Paulo Santos, professor do Departamento de Informática da UMinho, saiu na edição atual da revista "Computers and Graphics". Nuno Silva fez o trabalho no âmbito da dissertação de mestrado, realizada no Centro de Computação Gráfica, em Guimarães."

URL:http://www.dicas.sas.uminho.pt/ModuleLeft.aspx?mdl=~/Modules/EventosJornal/EventosView.ascx&ItemID=5567&Mid=23&lang=pt-PT&pageid=3&ta bid=0

>> Participações em Eventos e Reuniões Científicas

Manuel Alcino Pereira Cunha,Tokyo,Japão

Visita ao professor Zhenjiang Hu, do National Institute of Informatics (NII), no contexto do projecto FATBIT, do qual é consultor, de 02 a 23 de novembro de 2013.

Joaquim Melo Henriques Macedo,Luanda,Angola

Participação na Feira Educa Angola a Convite do Ministério de Educação de Angola com apresentação de comunicação. Contactos com o Ministério das Telecomunicações e Tecnologias de Informação, de 2013-11-02 a 2013-11-10.

Rui Carlos Mendes Oliveira,Vilnius,Lituania

(2)

Boletim Informativo

José Manuel Ferreira Machado,Lodz,Polónia

Workshop temático no âmbito do Projeto PLUSTEX de 2013-11-11 a 2013-11-15.

José Carlos Ferreira Maia Neves,México,México

Participação na MiCAI 2013 - 12th Mexican International Conference on Artificial Intelligence - com apresentação do artigo: A Logic Programming Approach for the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model (November 24 to 30, 2013, Mexico City, Mexico), de 2013-11-21 a 2013-12-01.

Manuel Bernardo Martins Barbosa,Darmstadt,Alemanha

Participação na reunião de kick off do projecto europeu PRACTICE, de 2013-11-24 a 2013-11-27.

José Orlando Roque Nascimento Pereira,Bruxelas,Belgica

Participação na reunião de preparação e na reunião de avaliação do projeto CumuloNimbo nos dias 26 e 27 de novembro de 2013.

Rui Carlos Mendes Oliveira,Darmstadt,Alemanha

Reunião de arranque do projecto FP7 PRACTICE de 2013-11-25 a 2013-11-27.

José Manuel Ferreira Machado,Liberia,Costa Rica

Participação na 7th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2013) e apresentação do artigo Intelligent Information System to Tracking Patients in Intensive Care Units (Artigo publicado pela SPRINGER, LNCS, volume 8276 de 2013-11-30 a 2013-12-07.

Manuel Alcino Pereira Cunha,Banff,Canada

Participação num workshop de trabalho, organizado no Banff International Research Station for Mathematical Innovation and Discovery, sobre 'Bi-directional transformations (BX) ? Theory and Applications Across Disciplines', conforme programa em http://www.birs.ca/events/2013/5-day-workshops/13w5115 de 2013-11-30 a 2013-12-08.

Jorge Gustavo Pereira Bastos Rocha

Aveiro,com o objetivo de participar na workshop intermédia de apresentação dos projetos de investigação com as universidades em 2013-11-01.

Jorge Gustavo Pereira Bastos Rocha,Mirandela

Formação 'Iniciação aos SIG Desktop Open Source' na DRAPN em 2013-11-07.

José Francisco Creissac Freitas Campos,Vila Real

Com o objetivo de participação na Interacção 2013, onde apresenta o artigo: 'Ambiente de geração, mutação e execução de casos de teste para aplicações Web' de 2013-11-07 a 2013-11-08

Jorge Gustavo Pereira Bastos Rocha,Mirandela

(3)

Boletim Informativo

Com o objetivo de participar na Conferência CRC2013 - 13ª Conferência sobre Redes de Computadores na qual apresenta o artigo: 'Framework e Cliente WebRTC' de 2013-11-13 a 2013-11-15.

Alexandre Júlio Teixeira Santos,LEIRIA

Com o objetivo de participar na Conferência de Redes e Computadores, CRC 2013, com a apresentação de artigo - Solução Aberta para uma Rede de Sondas de QoS na RCTS de 2013-11-13 a 2013-11-15.

António Luís Duarte Costa,Leiria

Com o objetivo de participar na conferência CRC2013 - 13ª Conferência sobre Redes de Computadores onde tem 3 artigos e um poster, de 2013-11-13 a 2013-11-15

Jorge Gustavo Pereira Bastos Rocha,Matosinhos

Com o objetivo de participar na reunião de acompanhamento do projeto Eyevision em 2013-11-14.

Jorge Gustavo Pereira Bastos Rocha,Mirandela

Formação 'Servidores de Mapas' na DRAPN de 2013-11-20 a 2013-11-22.

Rui Carlos Mendes Oliveira,Lisboa - Universidade Nova de Lisboa

Com o objetivo de participar nas Provas de Doutoramento em Informática do Mestre Ricardo Jorge Freire Dias de 2013-11-24 a 2013-11-25

Jorge Gustavo Pereira Bastos Rocha,Lisboa

Com o objetivo de participar numa reunião na secretaria de estado dos transportes de 2013-11-26 a 2013-11-27.

Luís Paulo Peixoto Santos,Covilhã

Com o objetivo de arguir as provas de Mestrado em Engenharia Informática de Pedro João Nuno Tavares, da Universidade da Beira Interior em 2013-11-28.

Jorge Gustavo Pereira Bastos Rocha,Águeda

Com o objetivo de participar na Coding party na ESTGA, Universidade de Aveiro em 2013-11-28.

Jorge Gustavo Pereira Bastos Rocha,Águeda

Com o objetivo de participar na Coding party na ESTGA, Universidade de Aveiro em 2013-11-29.

>> Provas Académicas

Provas para Creditação de Formação de Mariana Pereira Neves

01 de novembro de 2013, Provas para Creditação de Formação e Substituição de Dissertação de Mestrado por Relatório de Atividade Profissional, no Mestrado Engenharia Informática, requeridas pela licenciada Mariana Pereira Neves. Local: Anfiteatro A2, Departamento de Informática, Gualtar, Hora: 15H00.

Provas para Creditação de Formação de João Daniel Mota Oliveira

01 de novembro de 2013, Provas para Creditação de Formação e Substituição de Dissertação de Mestrado por Relatório de Atividade Profissional, no Mestrado Engenharia Informática, requeridas pelo licenciado João Daniel Mota Oliveira. Local: Anfiteatro A2, Departamento de Informática, Gualtar. Hora: 16H00

(4)

Boletim Informativo

Provas de Dissertação no Mestrado em Engenharia Informática de Tiago Mendes Ferreira

18 de Novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Tiago Mendes Ferreira. Título da Dissertação: "Descoberta de Padrões de Consumo de Energia Elétrica". Orientador da Dissertação: Orlando Manuel Belo. Local: Anfiteatro A1, Departamento de Informática, Gualtar. Hora: 14H30.

Provas de Dissertação no Mestrado em Engenharia Informática de Nuno Miguel Carvalho Oliveira

18 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Nuno Miguel Carvalho Oliveira. Título da Dissertação: "W3DS service open source implementation", Orientador da Dissertação: Jorge Gustavo Rocha. Local: Anfiteatro A1, Departamento de Informática, Gualtar. Hora: 15H30.

Provas de Dissertação no Mestrado em Engenharia Informática de Tiago Campelo Vilas Boas

27 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Tiago Campelo Vilas Boas. Título da Dissertação: "Development and Implementation of Automatized Clinical Practice Guidelines", Orientador da Dissertação: Paulo Jorge Novais. Co-Orientador da Dissertação: Tiago José Oliveira. Local: Sala de Reuniões, Departamento de Informática, Gualtar. Hora: 14H00.

Provas de Dissertação no Mestrado em Engenharia Informática de Luís Miguel Ferreira Rosa

27 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Luís Miguel Ferreira Rosa. Título da Dissertação: "Sensorização, fusão sensorial e dispositivos móveis: contribuições para a sustentabilidade de ambientes inteligentes". Orientador da Dissertação: César Analide Rodrigues. Co-Orientador da Dissertação: Fábio Silva. Local: Sala de Reuniões, Departamento de Informática, Gualtar, Hora: 15H00.

Provas de Dissertação no Mestrado em Engenharia Informática de Gilberto Martins Felgueiras

27 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Gilberto Martins Felgueiras. Título da Dissertação: "Social Simulation of human behavior in virtual agents for sustainability management platforms", Orientador da Dissertação: César Analide Rodrigues, Co-Orientador da Dissertação: Fábio Silva, Local: Sala de Reuniões, Departamento de Informática, Gualtar, Hora: 16H00.

Provas de Dissertação no Mestrado em Engenharia Informática de Cláudio Filipe Belo da Silva Lourenço

28 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Cláudio Filipe Belo da Silva Lourenço. Título da Dissertação: "A Bounded Model Checker for SPARK Programs", Orientador da Dissertação: Jorge Sousa Pinto, Co-Orientador da Dissertação: Maria João Frade, Local: Anfiteatro A2, Departamento de Informática, Gualtar, Hora: 15H00.

Provas de Dissertação no Mestrado em Engenharia Informática de Carlos André Machado Carvalhal

29 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Carlos André Machado Carvalhal. Título da Dissertação: "Gestão de estruturas multidimensionais assistida por computador - aplicação à área da saúde", Orientador da Dissertação: José Manuel Machado, Co-Orientador da Dissertação: Manuel Filipe Santos, Local: Anfiteatro A2, Departamento de Informática, Gualtar, Hora: 10H00.

Provas de Dissertação no Mestrado em Engenharia Informática de Rui Emanuel Barros Oliveira

29 de novembro de 2013, Provas de Dissertação no Mestrado em Engenharia Informática, requeridas pelo licenciado Rui Emanuel Barros Oliveira. Título da Dissertação: "Aplicação móvel como suporte à prática médica de pediatria", Orientador da Dissertação: António Silva Abelha, Local: Anfiteatro A2, Departamento de Informática, Gualtar, Hora: 11H00.

Defesa da tese do Programa Doutoral em Informática de Davide Rua Carneiro

22 de novembro, Defesa da tese do Programa Doutoral em Informática do Licenciado Davide Rua Carneiro. Tema da Tese: ?An Agent-Based Architecture for Online Dispute Resolution Services?. Local: Anfiteatro da Escola de Engenharia ? Campus de Gualtar ? Braga, Hora: 14:30 horas.

>> Publicações

Recolha e Análise de Dados de Contactos Físicos e Sociais Numa Rede Tolerante a Atrasos

(5)

Boletim Informativo

Fernandes (Leiria: ESTG - IP Leira, 2013), pp. 97?102

URL:http://crc2013.ipleiria.pt/pt-PT/conferencia/crc-2013-atas.pdf

Encaminhamento Com QoS Para Redes Ad Hoc Com Rotas Estáveis

COELHO, Tiago, COSTA, António Duarte Costa, MACEDO, Joaquim Henriques; NICOLAU, Maria João - ?Encaminhamento Com QoS Para Redes Ad Hoc Com Rotas Estáveis,? in Atas da 13a Conferência Sobre Redes de Computadores (CRC2013), ed. by António Pereira, Carlos Rabadão, Patrício Domingues, and Vitor Fernandes (Leiria: ESTG - IP Leira, 2013), pp. 47?52

Ambiente de geração, mutação e execução de casos de teste para aplicações Web

CRUZ, P.J.; CAMPOS, J.C. (2013) - ?Ambiente de geração, mutação e execução de casos de teste para aplicações Web?. In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 45-52. Universidade de Trás-os-Montes e Alto Douro.

A Logic Programming Approach for the Conservation of Buildings Based on an Extension of the Eindhoven Classification Mod

GOMES, Guida; VICENTE, Henrique; MACEDO, Joaquim; ALVES, Victor; NEVES, José - "A Logic Programming Approach for the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model" Participação na MiCAI 2013 - 12th Mexican International Conference on Artificial Intelligence (November 24 to 30, 2013, Mexico City,Mexico) (Pre-publication Polibits research Journal on Computer science and computer engineering with applications).

Automatização de Testes SIP

GONÇALVES, David; SOUSA, Pedro; AMARAL, António; COSTA, António Duarte -?Automatização de Testes SIP,? in Atas da 13a Conferência Sobre Redes de Computadores (CRC2013), ed. by António Pereira, Carlos Rabadão, Patrício Domingues, and Vitor Fernandes (Leiria: ESTG - IP Leira, 2013), pp. 115?117 URL:http://crc2013.ipleiria.pt/pt-PT/conferencia/crc-2013-atas.pdf

Intelligent Information System to Tracking Patients in Intensive Care Units

MARINS, Fernando; CARDOSO, Luciana; PORTELA, Filipe; SANTOS, Manuel Santos, ABELHA, António Abelha; MACHADO, José ? ?Intelligent Information System to Tracking Patients in Intensive Care Units?, Lecture Notes in Computer Science, Volume 8276, Springer, 2013

Internet no Ensino Secundário e Superior: a acessibilidade das fontes de informação e a tentação do plágio

MACEDO, Joaquim ? ?Internet no Ensino Secundário e Superior: a acessibilidade das fontes de informação e a tentação do plágio?. [Apresentação realizada no âmbito do Educa-Angola no dia 5 de Novembro na Universidade Gregório Semedo, Luanda no âmbito das comemorações dia da Universidade, no dia 7 na Universidade Lusíada de Angola, Luanda e no dia 8 no Instituto Médio de Economia de Luanda].

Bayesian Based Selfish Aware Routing on Delay Tolerant Networks

OLIVEIRA, Ricardo; COSTA, António Duarte; NICOLAU, Maria João; MACEDO, Joaquim Henriques - ?Bayesian Based Selfish Aware Routing on Delay Tolerant Networks,? in Atas da 13a Conferência Sobre Redes de Computadores (CRC2013), ed. by António Pereira, Carlos Rabadão, Patrício Domingues, and Vitor Fernandes (Leiria: ESTG - IP Leira, 2013), pp. 91?96

Solução Aberta para uma Rede de Sondas de QoS na RCTS

QUEIRÓS, Pedro; NICOLAU, Maria João; SANTOS, Alexandre - "Solução Aberta para uma Rede de Sondas de QoS na RCTS"; 13ª Conferência sobre Redes de Computadores, CRC'2013, ISBN 978-972-8793-62-3, (pp 65-72), Leiria, 14-15 Nov, 2013

Framework e Cliente WebRTC

AMARAL, Vasco; LIMA, Solange Rito; MOTA, Telma; CHAINHO, Paulo - "Framework e Cliente WebRTC", 13ª Conferência sobre Redes de Computadores, Leiria, Novembro, 2013.