We increasingly rely on computers to interact with the physical world for us. At the large end, software underlies the control systems of commercial aircraft and power plants, and at the small end it controls medical devices and hobbyist UAVs. The failure of any of these systems can have severe consequences which are often measured in the loss of human lives. Formal verification has proven a pr...

Older adults represent the fastest-growing population of drivers with a valid driver's licence. Also common in this age group are multiple chronic medical conditions that may have an effect on physical function and driving ability. Determining the reliability of physical measures used to assess older drivers' functional ability is important to identifying those who are safe to continue driving....

In this paper we investigate the controllability of an air hockey puck subject to impacts from a mallet, which is a special case of the more general problem of impulsive manipulation. We rst formulate the control problem on the tangent bundle of the three dimensional connguration manifold of the puck and characterize the set of velocities reachable with arbitrary impulsive inputs. In reality, o...

A classical problem for the two-dimensional Euler flow for an incompressible fluid confined to a smooth domain. is that of finding regular solutions with highly concentrated vorticities around N moving vortices. The formal dynamic law for such objects was first derived in the 19th century by Kirkhoff and Routh. In this paper we devise a gluing approach for the construction of smooth N-vortex so...

While Myerson’s theorem provides an elegant solution to the optimal auction design problem for k-good auctions, his auction is rather complicated, and is consequently not widely used in practice. On the other hand, posted-price mechanisms are widely used in practice. We have derived an optimal posted-price mechanism for an auction with a single bidder.1 What about for multiple bidders? What is ...

We propose a local adaptive multiplicative error model (MEM) accommodating timevarying parameters. MEM parameters are adaptively estimated based on a sequential testing procedure. A data-driven optimal length of local windows is selected, yielding adaptive forecasts at each point in time. Analyzing one-minute cumulative trading volumes of five large NASDAQ stocks in 2008, we show that local win...

In this paper we describe explicit generating functions for a large class of Hurwitz-Hodge integrals. These are integrals of tautological classes on moduli spaces of admissible covers, a (stackily) smooth compactification of the Hurwitz schemes. Admissible covers and their tautological classes are interesting mathematical objects on their own, but recently they have proved to be a useful tool f...

Original scientific paper This paper presents semi-analytical solution for the problem of elastic impact of two beams. The solution is based on the finite element discretization of the structure and equation of motion solution using diagonalization method for solving a system of differential equations. This procedure avoids temporal discretization typical for numerical methods, and in this way ...

Self-localization the correlation of current and former impressions of the world is an essential ability for most mobile agents. In an inhabited dynamic system, high precision metric approaches demand accurate sensor devices and large computational power. In contrast, during the last few years qualitative methods have been explored to overcome mainly problems regarding complexity and stability....

We hypothesized that attitudes characterized by a strong association between the attitude object and an evaluation of that object are capable of being activated from memory automatically upon mere presentation of the attitude object. We used a priming procedure to examine the extent to which the mere presentation of an attitude object would facilitate the latency with which subjects could indic...