10.9k citations
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Ludwig-Maximilians-Universität MünchenDE1.6k papers
- University of BonnDE1.6k papers
- Johannes Gutenberg University MainzDE1.6k papers
- National Institute for Subatomic PhysicsNL1.6k papers
- University of ManchesterGB1.6k papers
- University of MichiganUS1.6k papers
- Brookhaven National LaboratoryUS1.5k papers
- Charles UniversityCZ1.5k papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1.5k papers
- Czech Technical University in PragueCZ1.5k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.5k papers
212 papers · 1 filter
SAT Solving for Variants of First-Order Subsumption
Robin Coutelier, Jakob Rath, Michael Rawson +2
Automated reasoners, such as SAT/SMT solvers and first-order provers, are becoming the backbones of rigorous systems engineering, being used for example in applications of system v…
Transport resistance dominates the fill factor losses in record organic solar cells
Chen Wang, Roderick C. I. MacKenzie, Uli Würfel +4
Organic photovoltaics are a promising solar cell technology well-suited to mass production using roll-to-roll processes. The efficiency of lab-scale solar cells has exceeded 20% an…
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
Bas van den Heuvel, Jorge A. Pérez
While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous commu…
Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus +1
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong cor…
Search for charged Higgs bosons produced in top-quark decays or in association with top quarks and decaying via in 13 TeV collisions with the ATLAS detector
ATLAS Collaboration
Charged Higgs bosons produced either in top-quark decays or in association with a top-quark, subsequently decaying via , are searched for in 140 $\text{fb}^…
Task-Driven Co-Design of Mobile Manipulators
Raphael Schneider, Daniel Honerkamp, Tim Welschehold +1
Recent interest in mobile manipulation has resulted in a wide range of new robot designs. A large family of these designs focuses on modular platforms that combine existing mobile…