Distributed Trust - From Byzantine Consensus to Blockchain
Por Christian Cachin (IBM Research Zurich).
Por Christian Cachin (IBM Research Zurich).
Por Tom Bartindale (OpenLab, Newcastle University).
Por Jafar Adibi (Talkdesk - Head of Data Science and AI).
Biclustering, the discovery of sets of objects with coherent values/patterns on subsets of features, was shown to be key to unravel and characterize informative regions (biclusters) within matricial, time series and network data, in a wide-set of applications in biomedical and social data analysis. Particularly in biomedical problems, where groups of genes or patients tend to be only meaningfully related on a subset of the sampled/monitored conditions.
Knowledge about the domain to be analyzed permeates all steps of the Knowledge Discovery process, from feature generation and selection to result interpretation and visualization. In most cases, this background knowledge resides in the data analyst’s mind only, but making it explicit would open new opportunities for knowledge discovery.
Por Edwin Brady (University of St Andrews).
Por Philip Wadler (University of Edinburgh).
Many profilers based on bytecode instrumentation yield wrong results in the presence of an optimizing dynamic compiler, either due to not being aware of compiler optimizations or due to the inserted code disrupting some optimizations. To avoid such perturbations, we present a technique to make any profiler implemented at the bytecode level aware of optimizations performed by the dynamic compiler. We implement our approach in a state-of-the-art Java virtual machine and evaluate it with several profilers. Joint work with Yudi Zheng and Lubomir Bulej.
Although considerable effort has been invested in developing methods for testing and failure detection, synthesis of programs from abstract models and verification of programs (and models), techniques for locating the root cause of observed program failures are still relatively immature. Therefore, the utility for general testing and debugging techniques remain limited to specific programs, execution environments, and problem contexts. Furthermore, no plug&play toolset exists providing state-of-the-art techniques to help developers with testing and debugging.
Esta sessão tem como objetivo discutir as motivações e perspetivas associadas com a realização de um mestrado ou uma pós-graduação, apresentar a estrutura dos cursos e as disciplinas que estes envolvem e esclarecer as dúvidas que os potenciais interessados coloquem.
O programa da sessão inclui apresentações sobre: