This paper presents a formal framework for the automatic transformation of ineecient generate and test programs into equivalent programs by learning from the proofs of example queries. In the resulting program the search is guided by strategies based on abstracted proof traces obtained from the interpretation of example computations. Strategies are incre-mentally improved in an iterative proces...

The Markov Chain Monte Carlo method is at the heart of most fully-polynomial randomized approximation schemes for #P-complete problems such as estimating the permanent or the value of a polytope. It is therefore very natural and important to determine whether quantum computers can speed-up classical mixing processes based on Markov chains. To this end, we present a new quantum algorithm, making...

This study investigates whether a rhythm can orient attention to specific moments enhancing people's reaction times (RT). We used a modified version of the temporal orienting paradigm in which an auditory isochronous rhythm was presented prior to an auditory single target. The rhythm could have a fast pace (450 ms Inter-Onset-Interval or IOI) or a slow pace (950 ms IOI). The target was presente...

The aim of this study was to examine (i) the effects of a severe interval training period on oxygen pulse kinetics (O2-p, the ratio between VO2 and heart rate), and (ii) to study the consequences of these effects on the variation of performance (time to exhaustion) during severe runs. Seven athletes were tested before and after an eight-weeks period of a specific intermittent training at v Delt...

Abstract In the development of smart cities, there is a great emphasis on setting up so-called Smart City Control Rooms, SCCR. This paper presents Snap4City as big data city platform to support decision makers by means SCCR dashboards and tools reporting in real time status several city’s aspects. The solution has been adopted European cities such Antwerp, Florence, Lonato del Garda, Pisa, Sant...

In most industrial zones, electric energy is one of the most important energy sources. Since electrical motors are the main energy consumers of industrial factories, consumption optimization in these motors can be considered as a main option related to energy saving. One very effective way to reduce the consumption of these equipment is to use a motor speed controllers or drives. Since the loss...