Zobrazeno 1 - 10
of 1 688
pro vyhledávání: '"Schewe, P."'
Distribution factors are indispensable tools in the design and analysis of power transmission grids. Recently, they received a renewed interest in the field of topology optimization, leading to the definition of bus merge and bus split distribution f
Externí odkaz:
http://arxiv.org/abs/2412.16164
Autor:
Vasylenko, Andrij, Antypov, Dmytro, Schewe, Sven, Daniels, Luke M., Claridge, John B., Dyer, Matthew S., Rosseinsky, Matthew J.
Computational modelling of materials using machine learning, ML, and historical data has become integral to materials research. The efficiency of computational modelling is strongly affected by the choice of the numerical representation for describin
Externí odkaz:
http://arxiv.org/abs/2408.02292
Random projection, a dimensionality reduction technique, has been found useful in recent years for reducing the size of optimization problems. In this paper, we explore the use of sparse sub-gaussian random projections to approximate semidefinite pro
Externí odkaz:
http://arxiv.org/abs/2406.14249
We propose DFAMiner, a passive learning tool for learning minimal separating deterministic finite automata (DFA) from a set of labelled samples. Separating automata are an interesting class of automata that occurs generally in regular model checking
Externí odkaz:
http://arxiv.org/abs/2405.18871
Autor:
Swaminathan, Ranjini, Schewe, Jacob, Walton, Jeremy, Zimmermann, Klaus, Jones, Colin, Betts, Richard A., Burton, Chantelle, Jones, Chris D., Mengel, Matthias, Reyer, Christopher P. O., Turner, Andrew G., Weigel, Katja
Climate risk assessments must account for a wide range of possible futures, so scientists often use simulations made by numerous global climate models to explore potential changes in regional climates and their impacts. Some of the latest-generation
Externí odkaz:
http://arxiv.org/abs/2404.11939
While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the properties that optimal solutions need to have, and devised a novel way
Externí odkaz:
http://arxiv.org/abs/2404.04124
Autor:
Ferrarotti, Flavio, Rivière, Peter, Schewe, Klaus-Dieter, Singh, Neeraj Kumar, Ameur, Yamine Aït
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment $\square$LTL of the logic LTL(EB), the integration of the UNTIL-fragment of Pnueli's linear time temp
Externí odkaz:
http://arxiv.org/abs/2401.16838
Abstract State Machines (ASMs) provide a model of computations on structures rather than strings. Blass, Gurevich and Shelah showed that deterministic PTIME-bounded ASMs define the choiceless fragment of PTIME, but cannot capture PTIME. In this artic
Externí odkaz:
http://arxiv.org/abs/2401.16366
Autor:
Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Regular decision processes (RDPs) are a subclass of non-Markovian decision processes where the transition and reward functions are guarded by some regular property of the past (a lookback). While RDPs enable intuitive and succinct representation of n
Externí odkaz:
http://arxiv.org/abs/2312.08602
Publikováno v:
EPTCS 390, 2023, pp. 203-219
While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the constraints that optimal solutions need to satisfy, and devised a novel
Externí odkaz:
http://arxiv.org/abs/2310.01008