Searching Arxiv, refresh for possibly better results.

total 4took 0.01s

Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular SystemsJun 11 2019A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties. Experimental results validate the correctness proof via detailed computer ... More

A review of software engineering research from a design science perspectiveApr 29 2019Background: Communicating software engineering research to industry practitioners and to other researchers can be challenging due to its context dependent nature. Design science is recognized as a pragmatic research paradigm, addressing this and other ... More

The Dual Kaczmarz AlgorithmNov 01 2018The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector $x$ in a (separable) Hilbert space from the inner-products $\{\langle x, \phi_{n} \rangle\}$. The Kaczmarz algorithms ... More

$J$-factors for self-interacting dark matter in 20 dwarf spheroidal galaxiesDec 08 2017Dwarf spheroidal galaxies are among the most promising targets for indirect dark matter (DM) searches in $\gamma$-rays. The $\gamma$-ray flux from DM annihilation in a dwarf spheroidal galaxy is proportional to the $J$-factor of the source. The $J$-factor ... More