2.3k citations
- Interdisciplinary Centre for Security, Reliability and TrustLU193 papers
- Centre National de la Recherche ScientifiqueFR133 papers
- Luxembourg Institute of Science and TechnologyLU105 papers
- Donostia International Physics CenterES66 papers
- Forschungszentrum JülichDE37 papers
- Polish Academy of SciencesPL36 papers
- University of CambridgeGB36 papers
- Luxembourg Centre for Systems BiomedicineLU34 papers
- Technische Universität BerlinDE34 papers
- University of OttawaCA34 papers
- Université de LorraineFR31 papers
- University of LiègeBE30 papers
189 papers · 1 filter
A Deep Inference System for Differential Linear Logic
Matteo Acclavio, Giulio Guerrieri
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference for…
Exponentially Handsome Proof Nets and Their Normalization
Matteo Acclavio
Handsome proof nets were introduced by Retoré as a syntax for multiplicative linear logic. These proof nets are defined by means of cographs (graphs representing formulas) equipped…
Red blood cell shape transitions and dynamics in time-dependent capillary flows
Steffen M. Recktenwald, Katharina Graessel, Felix M. Maurer +3
The dynamics of single red blood cells (RBCs) determine microvascular blood flow by adapting their shape to the flow conditions in the narrow vessels. In this study, we explore the…
From hybrid polariton to dipolariton using non-hermitian Hamiltonians to handle particle lifetimes
Aurélia Chenu, Shiue-Yuan Shiau, Ching-Hang Chien +1
We consider photons strongly coupled to the excitonic excitations of a coupled quantum well, in the presence of an electric field. We show how under a field increase, the hybrid po…
Cerebro: Static Subsuming Mutant Selection
Aayush Garg, Milos Ojdanic, Renzo Degiovanni +3
Mutation testing research has indicated that a major part of its application cost is due to the large number of low utility mutants that it introduces. Although previous research h…
Spin-tunable thermoelectric performance in monolayer chromium pnictides
Melania S. Muntini, Edi Suprayoga, Sasfan A. Wella +6
Historically, finding two-dimensional (2D) magnets is well known to be a difficult task due to instability against thermal spin fluctuations. Metals are also normally considered po…