111 citations · 117 across the 7 of their papers we have counts for
7 papers
From Mobile Data to Business Insights: An End-to-End Analytics Framework for Large-Scale Urban Mobility Analysis and Decision Support
Thiago Andrade, Shazia Tabassum, Miguel E. P. Silva +2
Real time location data derived from mobile applications is a powerful tool for addressing various urban challenges, including tourism planning, parking management, bus route optim…
Studying and Improving Graph Neural Network-based Motif Estimation
Pedro C. Vieira, Miguel E. P. Silva, Pedro Manuel Pinto Ribeiro
Graph Neural Networks (GNNs) are a predominant method for graph representation learning. However, beyond subgraph frequency estimation, their application to network motif significa…
Tracking the Structure and Sentiment of Vaccination Discussions on Mumsnet
Miguel E. P. Silva, Rigina Skeva, Thomas House +1
Vaccination is one of the most impactful healthcare interventions in terms of lives saved at a given cost, leading the anti-vaccination movement to be identified as one of the top…
The role of regular asymptomatic testing in reducing the impact of a COVID-19 wave
Miguel E. P. Silva, Martyn Fyles, Li Pi +4
Testing for infection with SARS-CoV-2 is an important intervention in reducing onwards transmission of COVID-19, particularly when combined with the isolation and contact-tracing o…
Comparing directed networks via denoising graphlet distributions
Miguel E. P. Silva, Robert E. Gaunt, Luis Ospina-Forero +2
Network comparison is a widely-used tool for analyzing complex systems, with applications in varied domains including comparison of protein interactions or highlighting changes in…
A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets
Pedro Ribeiro, Pedro Paredes, Miguel E. P. Silva +2
Computing subgraph frequencies is a fundamental task that lies at the core of several network analysis methodologies, such as network motifs and graphlet-based metrics, which have…
Non-Blocking Concurrent Imperative Programming with Session Types
Miguel Silva, Mário Florido, Frank Pfenning
Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-b…