Arquivo de Books Chapters - Page 3 of 4 - NOVA LINCS NOVA LINCS

Login

Certifying Data in Multiparty Session Types

Published in 25/03/2016

Authors

Bernardo Toninho, Nobuko Yoshida, Sam Lindley, Conor McBride, Phil Trinder, Don Sannella,

Jitter Search: A News-Based Real-Time Twitter Search Interface

Published in 01/03/2016

Authors

Flávio Martins, Marie-Francine Moens, João Magalhães, Nicola Ferro, Jamie Callan, Fabio Crestani, Fabrizio Silvestri, Maria Giorgio Di Nunzio, Maria Giorgio Di Nunzio, Claudia Hauff, Gianmaria Silvello,

Watch out for that tree! A Tutorial on Shortcut Deforestation

Published in 01/01/2016

Authors

Jácome Cunha, Alberto Pardo,

The Potential of Logic Programming as a Computational Tool to Model Morality

Published in 01/12/2015

Authors

Ari Saptawijaya, Robert Trappl, Luís Moniz Pereira, Robert Trappl, Ari Saptawijaya, Luís Moniz Pereira,

The Potential of Logic Programming as a Computational Tool to Model Morality

Published in 01/12/2015

Authors

Ari Saptawijaya, Robert Trappl, Luís Moniz Pereira, Robert Trappl, Ari Saptawijaya, Luís Moniz Pereira,

Framework Support for the Efficient Implementation of Multi-Version Algorithms

Published in 01/05/2015

Authors

Ricardo Dias, Rachid Guerraoui, Tiago Vale, Paolo Romano, João Lourenço,

On artificial autonomy emergence – the foothills of a challenging climb

Published in 01/05/2015

Authors

Jeffrey B. White, Fernando Cardoso, Luís Moniz Pereira,

Bridging Two Realms of Machine Ethics

Published in 01/05/2015

Authors

Luís Moniz Pereira, Jeffrey B. White, Ari Saptawijaya,

Enhancing Remote Spectators Experience During Live Sports Broadcasts?with Second Screen Applications

Published in 01/04/2015

Authors

Pedro Centieiro, Anton Nijholt, Teresa Romão, A Eduardo Dias,

Spreadsheet Engineering

Published in 01/03/2015

Authors