Zobrazeno 1 - 10
of 2 096
pro vyhledávání: '"Nordstroem, A."'
DTAA: A Detect, Track and Avoid Architecture for navigation in spaces with Multiple Velocity Objects
Proactive collision avoidance measures are imperative in environments where humans and robots coexist. Moreover, the introduction of high quality legged robots into workplaces highlighted the crucial role of a robust, fully autonomous safety solution
Externí odkaz:
http://arxiv.org/abs/2412.08121
We exhibit supercritical trade-off for monotone circuits, showing that there are functions computable by small circuits for which any circuit must have depth super-linear or even super-polynomial in the number of variables, far exceeding the linear w
Externí odkaz:
http://arxiv.org/abs/2411.14267
For almost two decades, mixed integer programming (MIP) solvers have used graph-based conflict analysis to learn from local infeasibilities during branch-and-bound search. In this paper, we improve MIP conflict analysis by instead using reasoning bas
Externí odkaz:
http://arxiv.org/abs/2410.15110
Power system communication networks enable operators to remotely monitor and control field equipment. The sophistication of these networks is also increasing as operators continue the trend towards digitization, which is beneficial in integrating dis
Externí odkaz:
http://arxiv.org/abs/2410.09405
The breaking of space-time symmetries and the non-conservation of the associated Noether charges constitutes a central artifact in lattice field theory. In prior work we have shown how to overcome this limitation for classical actions describing poin
Externí odkaz:
http://arxiv.org/abs/2410.05896
Autor:
Nordström, Jan, Malan, Arnaud. G.
We show that a reformulation of the governing equations for incompressible multi-phase flow in the volume of fluid setting leads to a well defined energy rate. Weak nonlinear inflow-outflow and solid wall boundary conditions complement the developmen
Externí odkaz:
http://arxiv.org/abs/2406.19525
We introduce a novel construction procedure for one-dimensional summation-by-parts (SBP) operators. Existing construction procedures for FSBP operators of the form $D = P^{-1} Q$ proceed as follows: Given a boundary operator $B$, the norm matrix $P$
Externí odkaz:
http://arxiv.org/abs/2405.08770
We show that even though the Discontinuous Galerkin Spectral Element Method is stable for hyperbolic boundary-value problems, and the overset domain problem is well-posed in an appropriate norm, the energy of the approximation of the latter is bounde
Externí odkaz:
http://arxiv.org/abs/2405.04668
We present a novel solution procedure for initial boundary value problems. The procedure is based on an action principle, in which coordinate maps are included as dynamical degrees of freedom. This reparametrization invariant action is formulated in
Externí odkaz:
http://arxiv.org/abs/2404.18676
Autor:
Ihalainen, Hannes, Oertel, Andy, Tan, Yong Kiam, Berg, Jeremias, Järvisalo, Matti, Nordström, Jakob
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems, but ensuring correctness of MaxSAT solvers has remained an
Externí odkaz:
http://arxiv.org/abs/2404.17316