Presentations

HPC enabled ML-based approaches for Veteran Suicide Prevention 11/6/2019
By Xinlian Liu, Hood College, Frederick, Maryland

Abstract:

SSQSA: Set of Software Quality Static Analyzers 4/12/2019

By Gordana Rakić, University of Novi Sad, Serbia

Introducing Aggregation Functions 1/23/2019

By Regivan Hugo Nunes Santiago, Universidade Federal do Rio Grande do Norte, Brazil

SureThing: Device Location Certification for the Internet of Things 12/3/2018

By Miguel Pardal, Instituto Superior Técnico, University of Lisbon & INESC-ID

YouTube Timed Metadata Enrichment Using a Collaborative Approach 11/21/2018

By José Pedro Pinto, Telecommunications and Multimedia Center, INESC TEC

An Exercise in Formalisation: Blockchain Transactions 11/8/2018:
application/pdf iconslides.pdf

By Steve Reeves, University of Waikato (New Zeeland)

A Metalanguage for Guarded Iteration 7/31/2018

By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.

The Future of Computing and the IBM Q Network 6/6/2018

By Walter Riess, IBM Research – Zurich and Binnig and Rohrer Nanotechnology Center, and Noam Zakay, IBM Corporate Technology and Intellectual Property.

Formal design of embedded systems 4/16/2018

By Naijun Zhan, Distinguished Research Professor at the Chinese Academy of Sciences, China.

Privacy-aware Databases 3/21/2018

By Rogério Pontes, HASLab, INESC TEC & UMinho.