Fault-Tolerant Aggregation by Flow Updating Paulo Jesus, Carlos Baquero, and Paulo S´ergio Almeida University of Minho (CCTC-DI) Campus de Gualtar, Braga, Portugal {pcoj, cbm, psa}@di.uminho.pt

Source URL: gsd.di.uminho.pt

• Routing algorithms
• Distributed data storage
• Edsger W. Dijkstra
• Distributed computing
• Distributed hash table
• File sharing
• Routing
• Distributed algorithm
• Kademlia
• Belief propagation

International Conference Transcultural Amnesia. Mapping displaced memories Conferência Internacional Amnésia Transcultural. Para um Mapeamento de Memórias Deslocalizadas University of Minho, Campus Gualtar, Braga (Por

Source URL: cehum.ilch.uminho.pt

• Geography of Europe
• Europe
• Guimares
• University of Minho
• Gualtar
• ISCTE University Institute of Lisbon
• Miguel Vale de Almeida
• Portugal

On the Synthesis and Reconfiguration of Pipelines Diogo Telmo Neves† , Rui C. Gonc¸alves‡ Department of Informatics, University of Minho Campus of Gualtar, Braga, Portugal Email: {† dneves, ‡ rgoncalves}@di.umin

Source URL: cdn.rcgoncalves.net

II Encontro Ibérico de Estética/II Encuentro Ibérico de Estética/ II Iberian Meeting of Aesthetics 29 outubro/ 29 octubre / 29th October Auditório de Engenharia 2, Campus de Gualtar

Source URL: cehum.ilch.uminho.pt

Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, PBraga, Portugal Email:

Source URL: cs.ioc.ee

Modelling Changes in the Unconditional Variance of Long Stock Return Series Cristina Amado∗ University of Minho and NIPE Campus de Gualtar, Braga, Portugal

Source URL: creates.au.dk

• Autoregressive conditional heteroskedasticity
• Maximum likelihood
• Estimator
• Entailment
• Likelihood function
• Estimation theory
• Statistics
• Logic

Código de Identificação: Programa GT-BES 13A/2015 IDENTIFICAÇÃO Instituição: Serviços de Documentação da Universidade do Minho Morada: Campus de Gualtar - Braga Telefone: E-mail: ho.p

Source URL: apbad.pt

Semi-Automatic Design and Prototyping of Adaptive User Interfaces F. Mario Martins Universidade do Minho Dept. de Informatica/INESC Campus de Gualtar

Source URL: ui4all.ics.forth.gr

• User interface techniques
• Graphical user interfaces
• Software
• Technical communication
• User interface
• Virtual reality
• Adaptation
• Prolog
• Adaptive user interface
• Human–computer interaction
• Computing
• Software engineering

Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, P[removed]Braga, Portugal Email: [removed]

Source URL: set.ee

• Mathematics
• Metalogic
• Hoare logic
• Predicate transformer semantics
• Structure
• Interpretation
• Program logic
• Model theory
• Logic

13 de outubro 10h00 | Sala de Reuniões ICS Campus de Gualtar Os Institutos Federais de Educação Tecnológica sob a ótica do

Source URL: www.ics.uminho.pt