A survey is given on two decades of developments in the field, encompassing an increase in computing power by four orders of magnitude. The '4-D approach' integrating expectation-based methods from systems dynamics and control engineering with methods from AI has allowed to create vehicles with unprecedented capabilities in the technical realm: Autonomous road vehicle guidance in public traffic...

Current surgical robotic systems in orthopaedics lack realistic pre-operative simulations and utilize invasive methods to register bone intra-operatively. A multidisciplinary group of researchers is addressing these deeciencies in the context of robotic cementless hip replacement surgery. In this paper we outline our current research progress and a road-map for the short-term future of our rese...

We develop a formal model in which the government provides public goods in different policy fields for its citizens. We start from the basic premise that two office-motivated candidates have differential capabilities in different policy fields, and compete by proposing how to allocate government resources to those fields. The model has a unique equilibrium that differs substantially from the st...

Even sophisticated branch-prediction techniques necessarily suffer some mispredictions, and even relatively small mispredict rates hurt performance substantially in current-generation processors. This suggests the study of multipath execution, in which the processor simultaneously executes code from both the taken and not-taken outcomes of a branch. This paper describes HydraScalar, a simulator...

a famous theorem of schur states that for a group $g$ finiteness of $g/z(g)$‎ ‎implies the finiteness of $g'.$ the converse of schur's theorem is an interesting problem which has been considered by some‎ ‎authors‎. ‎recently‎, ‎podoski and szegedy proved the truth of the converse of schur's theorem for capable groups‎. ‎they also established an explicit bound for the index of the center of such...

in this article we introduce the notion of n-capable groups. it is shown that every group g admits a uniquely determined subgroup (〖z^n)〗^* (g) which is a characteristic subgroup and lies in the n-centre subgroup of the group g. this is the smallest subgroup of g whose factor group is n-capable. moreover, some properties of n-central extension will be studied.

We show that if G is any p-group of class at most two and exponent p, then there exist groups G1 and G2 of class two and exponent p that contain G, neither of which can be expressed as a central product, and with G1 capable and G2 not capable. We provide upper bounds for rank(Gi ) in terms of rank(G) in each case.