947 citations
- Chalmers University of TechnologySE951 papers
- Centre National de la Recherche ScientifiqueFR125 papers
- KTH Royal Institute of TechnologySE116 papers
- Nicolaus Copernicus Astronomical CenterPL57 papers
- Stockholm UniversitySE53 papers
- Uppsala UniversitySE46 papers
- Lund UniversitySE42 papers
- Silesian University in OpavaCZ38 papers
- Heriot-Watt UniversityGB37 papers
- University College LondonGB33 papers
- B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of UkraineUA32 papers
- The Open UniversityGB30 papers
1,809 papers
New Translations From LTL with Past to LDBA and DPA
David Lidell, Nir Piterman
We present asymptotically optimal translations from linear temporal logic with past to limit-deterministic Buchi automata and onwards to deterministic parity automata. In contrast…
A Hybridizable Discontinuous Galerkin Method for Wave Propagation in Elastic Beam Networks
Moritz Hauck, Joseph Holten, Axel Målqvist +2
This paper studies the numerical solution of elastic wave propagation on networks, modeled by elastodynamic equations posed on each edge, coupled at the nodes through suitable tran…
Finite element approximation of the linearized Cahn-Hilliard-Cook equation
Ali Mesforush, Stig Larsson
The linearized Cahn-Hilliard-Cook equation is discretized in the spatial variables by a standard finite element method. Strong convergence estimates are proved under suitable assum…
DEFT: Joint Task Placement and DVFS for Energy-Efficient Multi-GPU Runtimes
Jing Chen, Miquel Pericas
Energy efficiency has become a first-order concern in modern high-performance computing systems, as it directly determines achievable throughput under fixed power budgets. Although…
A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku
Venkatesh Vadde, Roman Ovcharov, Victor H. González +3
Optical coherent Ising machines based on time-multiplexing have demonstrated significant progress in terms of connectivity and spin scalability. However, they are constrained by la…
TACK: A Statistical Evaluation of Degradation Activity on a Novel TArgeting Chimeras Knowledge Dataset
Stefano Ribes, Nils Dunlop, Rocío Mercado
Proteolysis-targeting chimeras (PROTACs) represent a promising therapeutic modality that induces targeted protein degradation by hijacking the ubiquitin-proteasome system. However,…