Best of Computing 2016

Artigos do Departamento de Informática entre os melhores

Na lista de artigos e livros notáveis da ACM Computing Reviews, a Best of Computing, encontram-se publicações de professores e investigadores do Departamento de Informática

ACI Ciências

Todos os anos a Association for Computing Machinery, através da sua publicação Computing Reviews, revista científica focada na revisão de literatura de ciência da computação, anuncia uma lista com publicações notáveis feitas ao longo do ano na área da informática.

Os professores e investigadores de Ciências, Francisco Martins, Luís Carriço, Luís Correia, Tiago Guerreiro, Vasco Vasconcelos e os alunos de doutoramento Diogo Marques e Fernando Silva, viram alguns dos seus trabalhos serem aqui distinguidos.

Na última lista publicada, relativa ao ano 2016, os artigos referenciados na Computing Reviews foram Snooping on mobile phones: prevalence and trends, dos autores pertencentes a Ciências, Luís Carriço, Tiago Guerreiro e Diogo Marques; e o artigo Open issues in evolutionary robotics, dos autores Luís Correia e Fernando Silva. O primeiro artigo foi também reconhecido com o "Distinguished Paper Award" da conferência SOUPS - Symposium on Usable Privacy and Security, que atesta a qualidade elevada da contribuição na área da privacidade usável. O último artigo é um dos mais lidos na revista científica onde foi publicado, a MIT Press Journals.

Em 2016 foram distinguidos 231 artigos na lista da Computing Reviews.

Em 2014 a prestigiada publicação havia já reconhecido o trabalho de outros dois professores do Departamento de Informática desta faculdade, Francisco Martins e Vasco Vasconcelos, com o trabalho The stream-based service-centred calculus: a foundation for service-oriented programming.

A revisão dos artigos e respetiva seleção é feita por um júri composto por revisores e editores da Association for Computing Machinery, bem como por investigadores da área da computação, inseridos no meio académico e na indústria.

Sinopse dos trabalhos distinguidos

Snooping on mobile phones: prevalence and trends

O artigo estima que uma em cada cinco pessoas já acedeu a conteúdos no telemóvel de um amigo ou familiar, sem a sua permissão. Para tal, e dada a relutância das pessoas em admitir comportamentos reprováveis, os investigadores aplicaram uma metodologia de inquirição anónima e indireta, que levou a estes números alarmantes que superam em grande escala as estimativas obtidas anteriormente em questionários diretos. O estudo apresenta ainda tendências para este fenómeno que se mostra prevalente entre a população mais nova e aqueles com maior nível de adoção de smartphones. Este estudo mostra que as defesas existentes atualmente não são eficazes contra a intrusão a dispositivos móveis por parte de pessoas socialmente próximas, abrindo espaço para investigação em novas defesas que sejam resilientes a esta ameaça.

Open issues in evolutionary robotics

A publicação consiste numa análise do estado da arte da robótica evolucionária. Um dos objetivos de longo prazo nesta área de investigação é o de poder criar automaticamente controladores para robôs autónomos, com base apenas numa especificação sumária da tarefa que o robô deve realizar. Todavia, os investigadores têm enfrentado consistentemente uma série de questões que impedem a adoção generalizada de algoritmos evolucionários para produzir controladores de robôs móveis. Neste artigo, analisamos e discutimos os problemas em aberto na robótica evolucionária. Estes problemas variam desde questões técnicas, como se devem ser usadas simulações computacionais ou apenas robôs reais, até questões metodológicas, como que práticas de investigação podem ser melhoradas na área. Para além da revisão e discussão dos problemas em aberto, discutimos quais são os caminhos potencialmente mais promissores em termos de investigação futura, com vista ao estabelecimento da robótica evolucionária como abordagem canónica para a engenharia de robôs autônomos.

The stream-based service-centred calculus: a foundation for service-oriented programming

Os serviços web são atualmente a mais importante tecnologia para disponibilizar sistemas de informação de forma a que estes possam ser descobertos, acedidos e compostos remotamente. Estes conceitos deram origem a um paradigma denominado "computação orientada por serviços". Por forma a modelar este tipo de serviços, e permitir raciocinar sobre os seus comportamentos, são necessárias linguagens e técnicas de análise adequadas. Este artigo apresenta uma destas linguagens, denominada "stream-based service-centered calculus" (SSCC). A SSCC é uma linguagem para modelar a composição e a orquestração de serviços, permitindo analisar e provar propriedades dos modelos. Além disso, o artigo contém uma série de exemplos que atesta a flexibilidades da linguagem: explica como codificar um longo catálogo de conhecidos padrões de interação e descreve dois estudos de caso relacionados com a indústria automóvel. Mostra também como a modelação centrada em objetos pode ser transformada num estilo centrado em serviços, de um modo sistemático e garantindo a equivalência comportamental entre o sistema de objetos e o de serviços.

Fonte: DI

Raquel Salgueira Póvoas, Área de Comunicação e Imagem de Ciências
info.ciencias@ciencias.ulisboa.pt

No átrio do edifício C6 da Faculdade de Ciências da ULisboa encontram-se expostos os módulos da exposição "O Homem, O Cientista, O Professor" com informação relativa à vida e obra de José Sebasti&ati

“Os ensinamentos de Ciências foram fundamentais e imprescindíveis ao longo de todas as fases do projeto, uma vez que sem os mesmos teria sido muito mais difícil a execução dos diversos processos metodológicos, bem como o entendimento detalhado do background teórico que suporta o projeto em si”, declara a aluna do curso de Ciências da Saúde, Ana Margarida Drumond.

Activo até 19 de Março

Os 12 princípios propostos por David Holmgren, no livro “Permaculture Principles & Pathways Beyond Sustainability” (2002), resultam da análise das dinâmicas energéticas em sistemas ecológicos, bem como da observação e réplica de padrões e processos naturais.

Encontram-se abertas as candidaturas para Estágios Curriculares na Siemens Portugal.

BioMimetx

A spin-off BioMimetx produz novos biocidas, mais baratos e ecológicos, amenizando um problema com grandes consequências económicas e ambientais – a bioincrustação. A ideia já foi distinguida com três prémios.

Já está a decorrer a 2ª edição do Jumping Talent!

Encontram-se abertas as candidaturas para estágios de verão no CERN, para estudantes com o 3&or

As inscrições nas Oficinas de Matemática estão abertas até 20 de janeiro. A iniciativa tem como público-alvo os candidatos aos Maiores de 23 Anos e visa desenvolver as competências indispensáveis ao ingresso e progress

Ana Prata e Helena Vieira na final da 3.ª edição do Lisbon Challenge

O projeto vencedor da 3.ª edição do Lisbon Challenge é da autoria de Helena Vieira, professora convidada do Departamento de Estatística e Investigação Operacional (DEIO) de Ciências da ULisboa e de Ana Prata, aluna do mestrado em Microbiologia Aplicada.

No 1st BioSys PhD Day foi dado a conhecer o trabalho de 11 estudantes de doutoramento, através de apresentações e sessões de discussão de posters.

A investigação em processamento da Linguagem e em Tradução Automática feita no Departamento de Informática, em notícia na última edição do expresso, a

Ao fim de um ano, o projeto cumpriu uma das metas estabelecidas: a aplicação de um sistema de tradução automática em cenário de uso real, num serviço de helpdesk informático fornecido pela Higher Functions - Sistemas Informáticos Inteligentes, Lda..

No passado dia 6 de janeiro, o Departamento de Matemática celebrou o aniversário do Professor Armando Machado com um lanche.

 

As inscrições decorrem até 11 de fevereiro.

Entre os dias 3 e 31 de janeiro de 2015 a biblioteca do C4 também está aberta aos sáb

Na sequência da avaliação das unidades de investigação promovida em 2014 pela FCT, o CCMM passou a integrar o Centro de Química Estrutural da Universidade de Lisboa.

In the very recent international evaluation that FCT (Foundation for Science and Technology) has carried out of Portuguese scientific R&D units, BioISI was assessed as Excellent (classification: 24/25)

Santander Top Training 2015

Através do Santander Top Training, o Banco Santander Totta desenvolve jovens talentos promovendo o seu crescimento profissional enquadrado numa equipa inovadora e de prestigio. 

Entrevista com... Pedro Raposo, curador Adler

“Haverá sempre altos e baixos, mas estou em crer que se soubermos muito bem o que queremos, se procurarmos estudar e trabalhar com os melhores na área que nos interessa, se formos persistentes, e se mantivermos uma atitude cosmopolita, colheremos sempre algum fruto do nosso esforço”, declara Pedro Raposo.

Universidad de Las Fuerzas Armadas na ULisboa

Cinco alunos equatorianos estudam na ULisboa. Em Ciências, a comitiva visitou o Centro de Sistemas de Energia Sustentáveis (SESUL) e o Laboratório de Sistemas, Instrumentação e Modelação em Ciências e Tecnologias do Ambiente e do Espaço (SIM).

Pedro Raposo -  próximo Curador do Planetário Adler, em Chicago

Pedro Raposo, pós-doc do Centro Interuniversitário de História das Ciências e Tecnologia (CIUHCT), vai ser o próximo curador do Planetário Adler, em Chicago, o mais importante planetário dos Estados Unidos da América, e uma das instituições científico-culturais líderes neste país.

Encontrar fármacos mais eficazes é um dos principais objetivos de quem estuda esta doença genética.

Entre os dias 22 de dezembro de 2014 5 de janeiro de 2015 a biblioteca do C4 está aberta todos os dias úteis entre as 9h00 e as 17h00.

Um modelo de previsão desenvolvido na União Europeia, mostrou que a doença por vírus Ébola terá infetado na África Ocidental entre 14.000 e 22.000 pessoas no final de novembro.

Páginas