976 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR49 papers
- Technical University of DenmarkDK38 papers
- Aarhus UniversityDK29 papers
- University of CopenhagenDK23 papers
- Tokyo Institute of TechnologyJP19 papers
- University of ManchesterGB18 papers
- École Polytechnique Fédérale de LausanneCH17 papers
- University of OxfordGB16 papers
- Centre de Physique ThéoriqueFR14 papers
- East China Normal UniversityCN14 papers
- IMAR - Institutul de Matematică „Simion Stoilow” al Academiei RomâneRO14 papers
- Imperial College LondonGB14 papers
81 papers · 1 filter
Beamspace MIMO for Satellite Swarms
Maik Röper, Bho Matthiesen, Dirk Wübben +2
Systems of small distributed satellites in low Earth orbit (LEO) transmitting cooperatively to a multiple antenna ground station (GS) are investigated. These satellite swarms have…
Statistics of the Effective Massive MIMO Channel in Correlated Rician Fading
Jens Abraham, Pablo Ramirez-Espinosa, Torbjörn Ekman
Massive MIMO base stations use multiple spatial diversity branches, which are often assumed to be uncorrelated in theoretical work. Correlated branches are considered seldom since…
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
Christian Schilling, Marcelo Forets, Sebastian Guadalupe
We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable state…
No Free Lunch: Balancing Learning and Exploitation at the Network Edge
Federico Mason, Federico Chiariotti, Andrea Zanella
Over the last few years, the DRL paradigm has been widely adopted for 5G and beyond network optimization because of its extreme adaptability to many different scenarios. However, c…
Unsupervised Time Series Outlier Detection with Diversity-Driven Convolutional Ensembles -- Extended Version
David Campos, Tung Kieu, Chenjuan Guo +4
With the sweeping digitalization of societal, medical, industrial, and scientific processes, sensing technologies are being deployed that produce increasing volumes of time series…
Joint Far- and Near-End Speech Intelligibility Enhancement based on the Approximated Speech Intelligibility Index
Andreas Jonas Fuglsig, Jan Østergaard, Jesper Jensen +3
This paper considers speech enhancement of signals picked up in one noisy environment which must be presented to a listener in another noisy environment. Recently, it has been show…
Edge Computing and Communication for Energy-Efficient Earth Surveillance with LEO Satellites
Marc Martinez-Gost, Israel Leyva-Mayorga, Ana Pérez-Neira +3
Modern satellites deployed in low Earth orbit (LEO) accommodate processing payloads that can be exploited for edge computing. Furthermore, by implementing inter-satellite links, th…
Conservative Time Discretization: A Comparative Study
Marcelo Forets, Christian Schilling
We present the first review of methods to overapproximate the set of reachable states of linear time-invariant systems subject to uncertain initial states and input signals for sho…
Deep Learning Analysis of Cardiac MRI in Legacy Datasets: Multi-Ethnic Study of Atherosclerosis
Avan Suinesiaputra, Charlene A Mauger, Bharath Ambale-Venkatesh +9
The shape and motion of the heart provide essential clues to understanding the mechanisms of cardiovascular disease. With the advent of large-scale cardiac imaging data, statistica…
Exciton absorption, band structure, and optical emission in biased bilayer graphene
Mikkel Ohm Sauer, Thomas Garm Pedersen
Biased bilayer graphene (BBG) is a variable band gap semiconductor, with a strongly field-dependent band gap of up to , making it of particular interest for grap…
Dynamic polarizability of low-dimensional excitons
Thomas Garm Pedersen
Excitons in low-dimensional materials behave mathematically as confined hydrogen atoms. An appealing unified description of confinement in quantum wells or wires, etc., is found by…
Remote Anomaly Detection in Industry 4.0 Using Resource-Constrained Devices
Anders E. Kalør, Daniel Michelsanti, Federico Chiariotti +2
A central use case for the Internet of Things (IoT) is the adoption of sensors to monitor physical processes, such as the environment and industrial manufacturing processes, where…
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
Giovanni Bacci, Anna Ingólfsdóttir, Kim Larsen +1
Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective…
Power Minimization of Downlink Spectrum Slicing for eMBB and URLLC Users
Fabio Saggese, Marco Moretti, Petar Popovski
5G technology allows heterogeneous services to share the wireless spectrum within the same radio access network. In this context, spectrum slicing of the shared radio resources is…
Stochastic Rounding for Image Interpolation and Scan Conversion
Olivier Rukundo, Samuel Emil Schmidt
The stochastic rounding (SR) function is proposed to evaluate and demonstrate the effects of stochastically rounding row and column subscripts in image interpolation and scan conve…
ADBSat: Verification and validation of a novel panel method for quick aerodynamic analysis of satellites
Luciana Sinpetru, Nicholas H. Crisp, Peter C. E. Roberts +7
We present the validation of ADBSat, a novel implementation of the panel method including a fast pseudo-shading algorithm, that can quickly and accurately determine the forces and…
LazySets.jl: Scalable Symbolic-Numeric Set Computations
Marcelo Forets, Christian Schilling
LazySets.jl is a Julia library that provides ways to symbolically represent sets of points as geometric shapes, with a special focus on convex sets and polyhedral approximations. L…
Learning, Computing, and Trustworthiness in Intelligent IoT Environments: Performance-Energy Tradeoffs
Beatriz Soret, Lam D. Nguyen, Jan Seeger +7
An Intelligent IoT Environment (iIoTe) is comprised of heterogeneous devices that can collaboratively execute semi-autonomous IoT applications, examples of which include highly aut…
Generalized Multivariable Grid-Forming Control Design for Power Converters
Meng Chen, Dao Zhou, Ali Tayyebi +3
The grid-forming converter is an important unit in the future power system with more inverter-interfaced generators. However, improving its performance is still a key challenge. Th…
Safe Dynamic Programming
Rafal Wisniewski, Manuela L. Bujorianu
We incorporate safety specifications into dynamic programming. Explicitly, we address the minimization problem of a Markov decision process up to a stopping time with safety constr…
Machine Learning-Based 3D Channel Modeling for U2V mmWave Communications
Kai Mao, Qiuming Zhu, Maozhong Song +4
Unmanned aerial vehicle (UAV) millimeter wave (mmWave) technologies can provide flexible link and high data rate for future communication networks. By considering the new features…
Polarimetric Room Electromagnetics
Troels Pedersen, Ramoni Adeogun
A polarimetric model for the power delay spectrum for inroom communication is proposed. The proposed model describes the gradual depolarization of the signal with delay. The model…
Navigation-Oriented Scene Understanding for Robotic Autonomy: Learning to Segment Driveability in Egocentric Images
Galadrielle Humblot-Renaux, Letizia Marchegiani, Thomas B. Moeslund +1
This work tackles scene understanding for outdoor robotic navigation, solely relying on images captured by an on-board camera. Conventional visual scene understanding interprets th…
Signaling Design for Cooperative Resource Allocation and its Impact to Reliability
Rasmus Liborius Bruun, C. Santiago Morejón García, Troels B. Sørensen +3
Decentralized cooperative resource allocation schemes for robotic swarms are essential to enable high reliability in high throughput data exchanges. These cooperative schemes requi…