Profile

Cover photo
Jácome Cunha
121 followers|363,221 views
AboutPostsPhotosVideos

Stream

Jácome Cunha

Shared publicly  - 
2
Jácome Cunha's profile photo
 
And what have they chose for the cover image... A  http://en.wikipedia.org/wiki/Plimpton_322
Add a comment...

Jácome Cunha

Shared publicly  - 
1
Dave Clarke's profile photoJácome Cunha's profile photo
2 comments
 
That's one to look at it 😜 the other is that we can actually find bad smells in spreadsheets and use that to feed a fault localization algorithm, thus finding faults in spreadsheets 😄
Add a comment...

Jácome Cunha

Shared publicly  - 
 
Tobias Kaminski (NOVA LINCS/DI/FCT), co-orientado pelo Prof. João Leite e pelo Dr. Matthias Knorr, venceu o prémio de melhor tese do Mestrado Europeu em Lógica Computacional (EMCL) de 2014.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
 
Title: FORMAL MODELLING, SAFETY ANALYSIS AND MEDICAL DEVICES

Speaker: Michael Harrison (Newcastle University & Queen Mary University of London)

Abstract: The talk describes aspects of two current research projects, part of CHI+MED a UK funded initiative focusing on the safety and usability of medical devices. The first project uses the IVY tool (developed at Braga) in an ongoing risk analysis of a paediatric dialysis machine, currently making the transition from research project at Newcastle Royal Victoria Infirmary to marketable product. Issues for focus include the nature of the model, the properties relevant to arguing that appropriate control measures are in place, and the nature of the conversation between the medical physicists, who developed the device, and the modeller.

The second project explores the role of IVY patterns in proving properties of an IV infusion pump using theorem proving techniques. This part of the talk will (if there is time) discuss the role of the patterns as heuristics driving the analysis of the interactive behaviour of the device, demonstrating that user related safety requirements are satisfied.
View original post
1
Add a comment...
Have him in circles
121 people
Miguel Matos's profile photo
Bruno Matos's profile photo
Alexandra Silva's profile photo
Miguel Costa's profile photo
Luciano Rocha's profile photo
Ricardo Santos's profile photo
João F. Ferreira's profile photo
David Costa's profile photo
Francisco Braga's profile photo

Jácome Cunha

Shared publicly  - 
 
O Jogo “Audio Space Station” é uma aplicação para dispositivos móveis desenvolvida no NOVA LINCS/DI/FCT que tem por objectivo ajudar jogadores cegos e amblíopes no treino de localização auditiva e a distinguir conceitos normalmente abordados em aulas de orientação e mobilidade, tais como distinção de frente/ trás, esquerda/direita, perto/longe.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
João Leitão, investigador do NOVA LINCS foi convidado a fazer uma apresentação na conferência de indústria RICON 2014, patrocinada pela empresa Basho Inc.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
Departamento de Informática da Faculdade de Ciências e Tecnologia (FCT), uma das nove unidades orgânicas da Universidade Nova de Lisboa (UNL), situa-se no Monte de Caparica, num campus universitário com uma área de 30 ha, com capacidade de expansão até 60 ha.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
Novo artigo publicado na Nature Scientic Reports com co-autoria de um membro NOVA LINCS Luís Moniz Pereira com T. A. Han,   F. C. Santos e T. Lenaerts intitulado: “Synergy between intention recognition and commitments in cooperation dilemmas”.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
 
Concurso aberto para Bolseiro de Investigação.
 ·  Translate
Referência: BI1-2015_INGrid_UMINHO. Área científica genérica: Computer science. Área científica específica: Informatics. Resumo do anúncio: Encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação no âmbito do projeto INGrid “Ubiquidade em Sistemas Multisite Nation Wide e ...
View original post
1
Add a comment...
People
Have him in circles
121 people
Miguel Matos's profile photo
Bruno Matos's profile photo
Alexandra Silva's profile photo
Miguel Costa's profile photo
Luciano Rocha's profile photo
Ricardo Santos's profile photo
João F. Ferreira's profile photo
David Costa's profile photo
Francisco Braga's profile photo
Links
Basic Information
Gender
Male