The automatic design of well-performing robotic controllers is still an unsolved problem due to the inherently large parameter space and noisy, often hard-to-define performance metrics, especially when sequential tasks need to be accomplished. Distal contr ...
We present TimeEvolver, a program for computing time evolution in a generic quantum system. It relies on well-known Krylov subspace techniques to tackle the problem of multiplying the exponential of a large sparse matrix iH, where His the Hamiltonian, with ...
Strong gravitational lensing is a powerful probe of cosmology and the dark matter distribution. Efficient lensing software is already a necessity to fully use its potential and the performance demands will only increase with the upcoming generation of tele ...
We introduce a new class of succinct arguments, that we call elastic. Elastic SNARKs allow the prover to allocate different resources (such as memory and time) depending on the execution environment and the statement to prove. The resulting output is indep ...
This work investigates on computer aided integrated architectural design and production. The aim is to provide integral solutions for the design and the production of geometrically complex free-form architecture. Investigations on computer aided geometric ...
One of the key trends in computing over the past two decades has been increased distribution, both at the processor level, where multi-core architectures are now the norm, and at the system level, where many key services are currently distributed overmulti ...
The geometrical intrinsic contribution to the anomalous Hall conductivity (AHC) of a metal is commonly expressed as a reciprocal-space integral: as such, it only addresses unbounded and macroscopically homogeneous samples. Here we show that the geometrical ...
The machine tool data model of STEP-NC (ISO 14649) was conceived as a necessary extension to the original STEP-NC set of standards to make efficient control possible. The intention of this paper is to describe the background to the data model as well as re ...
The current development of generators and power electric drives is characterized by increased power electronic integration. This evolution concerns particularly the variable speed power units allowing both a higher performance and substantial savings on co ...
