870 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- City, University of LondonGB152 papers
- University of OxfordGB15 papers
- St George's, University of LondonGB14 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- King's College LondonGB11 papers
- Nankai UniversityCN11 papers
- Northeastern UniversityUS7 papers
- University of BolognaIT6 papers
- Austral University of ChileCL5 papers
- Imperial College LondonGB5 papers
- KTH Royal Institute of TechnologySE5 papers
- National Institute for Theoretical PhysicsZA5 papers
169 papers
Rabin Games Revisited
Antonio Di Stasio, Moshe Y. Vardi
Rabin games have their roots in Michael Rabin's seminal work on automata over infinite trees and form a classical model for infinite-round games with ω-regular winning conditions.…
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
Taisa Kushner, Ryan McCleeary, Martin Brain
Complex algorithms such as deep neural networks are increasingly being deployed on embedded, resource constrained platforms. However, existing hardware and software schemes for imp…
Quantifying Confidence in Assurance 2.0 Arguments
Robin Bloomfield, John Rushby
Confidence is central to safety and assurance cases: how much confidence a decision requires and how much the argument actually provides are both important questions. We present a…
Semantic Conflict Model for Collaborative Data Structures
Georgii Semenov, Vitaly Aksenov
Digital collaboration systems support asynchronous work over replicated data, where conflicts arise when concurrent operations cannot be unambiguously integrated into a shared hist…
Toroidal Fermi-surface geometry and phonon-limited transport in nodal-line semimetals
Aman Anand, Alessandro De Martino
Nodal-line semimetals (NLSs) can display unconventional quasiparticle dynamics and charge transport properties due to their extended band degeneracy and the peculiar geometry of th…
The MICCAI Federated Tumor Segmentation (FeTS) Challenge 2024: Efficient and Robust Aggregation Methods for Federated Learning
Akis Linardos, Sarthak Pati, Ujjwal Baid +25
We present the design and results of the MICCAI Federated Tumor Segmentation (FeTS) Challenge 2024, which focuses on federated learning (FL) for glioma sub-region segmentation in m…
Parallelism in Neurodegenerative Biomarker Tests: Hidden Errors and the Risk of Misconduct
Axel Petzold, Joachim Pum, David P Crabb
Biomarkers are critical tools in the diagnosis and monitoring of neurodegenerative diseases. Reliable quantification depends on assay validity, especially the demonstration of para…
Beyond Single-Tokenomics: How Farcaster's Pluralistic Incentives Reshape Social Networking
Wen Yang, Qiming Ye, Onur Ascigil +4
This paper presents the first empirical analysis of how diverse token-based reward mechanisms impact platform dynamics and user behaviors. For this, we gather a unique, large-scale…
Multilayer network science: theory, methods, and applications
Alberto Aleta, Andreia Sofia Teixeira, Guilherme Ferraz de Arruda +14
Multilayer network science has emerged as a central framework for analysing interconnected and interdependent complex systems. Its relevance has grown substantially with the increa…
Magnetic Bloch bands and Weiss oscillations in Dirac mass superlattices
A. Anand, R. Egger, A. De Martino
We study two-dimensional Dirac fermions in a one-dimensional mass superlattice under a perpendicular magnetic field. Using exact solutions for isolated and finite arrays of domain…
Motor Imagery EEG Signal Classification Using Minimally Random Convolutional Kernel Transform and Hybrid Deep Learning
Jamal Hwaidi, Mohamed Chahine Ghanem
The brain-computer interface (BCI) establishes a non-muscle channel that enables direct communication between the human body and an external device. Electroencephalography (EEG) is…
Exploring Content and Social Connections of Fake News with Explainable Text and Graph Learning
Vítor N. Lourenço, Aline Paes, Tillman Weyde
The global spread of misinformation and concerns about content trustworthiness have driven the development of automated fact-checking systems. Since false information often exploit…
Deciphering compressed electroweakino excesses with MadAnalysis 5
Jack Y. Araz, Benjamin Fuks, Mark D. Goodsell +1
We present version 1.11 of MadAnalysis 5, which extends the software package in several major ways to improve the handling of efficiency tables, the computation of observables in d…
Angular-momentum-selective nanofocusing with Weyl semimetals
Marco Peluso, Alessandro De Martino, Reinhold Egger +1
We investigate the theory of surface plasmon polaritons on a magnetic Weyl semimetal conical tip. We show that the axion term in the effective electrodynamics modifies the surface…
Communicating Likelihoods with Normalising Flows
Jack Y. Araz, Anja Beck, Méril Reboud +2
We present a machine-learning-based workflow to model an unbinned likelihood from its samples. A key advancement over existing approaches is the validation of the learned likelihoo…
Ideology and polarization set the agenda on social media
Edoardo Loru, Alessandro Galeazzi, Anita Bonetti +6
The abundance of information on social media has reshaped public discussions, shifting attention to the mechanisms that drive online discourse. This study analyzes large-scale Twit…
Deep reinforcement learning for the management of the wall regeneration cycle in wall-bounded turbulent flows
Giorgio Maria Cavallazzi, Luca Guastoni, Ricardo Vinuesa +1
The wall cycle in wall-bounded turbulent flows is a complex turbulence regeneration mechanism that remains not fully understood. This study explores the potential of deep reinforce…
The Federated Tumor Segmentation (FeTS) Challenge
Sarthak Pati, Ujjwal Baid, Maximilian Zenk +29
This manuscript describes the first challenge on Federated Learning, namely the Federated Tumor Segmentation (FeTS) challenge 2021. International challenges have become the standar…
Automatic Target Recognition on Synthetic Aperture Radar Imagery: A Survey
O. Kechagias-Stamatis, N. Aouf
Automatic Target Recognition (ATR) for military applications is one of the core processes towards enhancing intelligencer and autonomously operating military platforms. Spurred by…
Simplified stochastic calculus via semimartingale representations
Aleš Černý, Johannes Ruf
We develop a stochastic calculus that makes it easy to capture a variety of predictable transformations of semimartingales such as changes of variables, stochastic integrals, and t…
Lorentzian Toda field theories
Andreas Fring, Samuel Whittington
We propose several different types of construction principles for new classes of Toda field theories based on root systems defined on Lorentzian lattices. In analogy to conformal a…
On the Hydrodynamics of Unstable Excitations
Olalla A. Castro-Alvaredo, Cecilia De Fazio, Benjamin Doyon +1
The generalized hydrodynamic (GHD) approach has been extremely successful in describing the out-of-equilibrium properties of a great variety of integrable many-body quantum systems…
Robust On-Manifold Optimization for Uncooperative Space Relative Navigation with a Single Camera
Duarte Rondao, Nabil Aouf, Mark A. Richardson +1
Optical cameras are gaining popularity as the suitable sensor for relative navigation in space due to their attractive sizing, power and cost properties when compared to convention…
The Center of the Partition Algebra
Samuel Creedon
In this paper we show that the center of the partition algebra , in the semisimple case, is given by the subalgebra of supersymmetric polynomials in the normal…