Bitcoin contracts: secure compilation, analysis, and expressiveness
Speaker: Massimo Bartoletti (University of Cagliari).
Speaker: Massimo Bartoletti (University of Cagliari).
Speaker: Nuno Garcia.
Speaker: Simon Harper (University of Manchester).
Abstract: We will discuss how data science can be applied to precision medicine and how this requires a different way of thinking and understanding than we typically exhibit when looking at big data.
Speaker: Ankush Das (Carnegie Mellon University).
Speaker: Katharina Reinecke (University of Washington).
Speaker: Nikola Banovic (University of Michigan).
Speaker: Diogo Poças.
Por Casey Fiesler (University of Colorado Boulder).
Por Daniela Oliveira.
Melhorar o funcionamento e a otimização energética de edifícios e equipamentos, resolvendo algumas das suas limitações, é um dos objetivos do projeto “Self Assessment Towards Optimization of Building Energy (SATO)”, liderado pela Ciências ULisboa e que tem início marcado para o próximo mês de outubro. O projeto integra 16 parceiros europeus da academia e dos sectores público e empresarial e representa a primeira grande colaboração científica entre o LASIGE e o IDL.