Related papers: Implementing the modular eballot system V0.6
ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and evaluation of programming language analysis and implementation tools. In this paper, we sketch the overall…
Redox flow batteries (RFBs) have gained popularity as large-scale energy storage systems for wind and solar powered grids. Modern RFB systems are based on highly corrosive and/or flammable electrolytes. Organic redox active species for RFBs…
The project envisages the implementation of an e-payment system utilizing FIPS-201 Smart Card. The system combines hardware and software modules. The hardware module takes data insertions (e.g. currency notes), processes the data and then…
We present the real interpolation with variable exponent and we prove the basic properties in analogy to the classical real interpolation. More precisely, we prove that under some additional conditions, this method can be reduced to the…
Cooperative vehicle platooning applications increasingly demand realistic simulation tools to ease their validation and to bridge the gap between development and real-world deployment. However, their complexity and cost often hinder its…
New retrieval tasks have always been emerging, thus urging the development of new retrieval models. However, instantiating a retrieval model for each new retrieval task is resource-intensive and time-consuming, especially for a retrieval…
We introduce a robo-advisor system that recommends customized investment portfolios to users using an expected utility model elicited from pairwise comparison questionnaires. The robo-advisor system comprises three fundamental components.…
In this paper we validate the implementation of the numerical scheme proposed in [3]. The validation is made by comparison with an explicit solution here obtained, and the solutions of Riemann problems for several networks. We then perform…
We establish a separation principle for the output feedback stabilisation of state-affine systems that are observable at the stabilization target. Relying on control templates (recently introduced in [4]), that allow to approximate a…
An event-driven molecular dynamics simulation of inelastic hard spheres contained in a cylinder and subject to strong vibration reproduces accurately experimental results[1] for a system of vibrofluidized glass beads. In particular, we are…
The disassembly of small household appliances poses significant challenges due to their complex and curved geometries, which render traditional rigid fixtures inadequate. In this paper, we propose a modular vacuum-based fixturing system…
Wave-function Monte Carlo methods are an important tool for simulating quantum systems, but the standard method cannot be used to simulate decoherence in continuously measured systems. Here we present a new Monte Carlo method for such…
Some aspects of the ELectrical EXplicit (ELEX) scheme for using explicit integration schemes in circuit simulation are discussed. It is pointed out that the parallel resistor approach, presented earlier to address singular matrix issues…
This paper discusses a method for implementing a probabilistic inference system based on an extended relational data model. This model provides a unified approach for a variety of applications such as dynamic programming, solving sparse…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Comment: Expert Elicitation for Reliable System Design [arXiv:0708.0279]
Deterministic replay is a method for allowing complex multitasking real-time systems to be debugged using standard interactive debuggers. Even though several replay techniques have been proposed for parallel, multi-tasking and real-time…
We previously developed an algorithm, called resolution exchange, which improves canonical sampling of atomic resolution models by swapping conformations between high- and low-resolution simulations[1]. Here, we demonstrate a generally…