In the last decades the increment of processing power of digital controllers has lead to noteworthy improvements in planning and robot control. Interesting results have been achieved in the impedance control of stiff actuators, where, thanks to very accurate force measurements and fast control loops, it has been possible to perform challenging interaction tasks. More recently, roboticists have ...

– [root property] The minimum element, referred to as the root, of T is f(X1, . . . , Xn), where X1, . . . , Xn are distinct variables. – [leaves property] The maximal elements, referred to as the leaves, of T are all and only (variants of) the left hand sides of the rules defining f . Non-maximal elements of T are referred to as branches. – [parent property] If π is a pattern of T different fr...

This paper investigates whether and how property dispositions affect credit ratings of real estate investment trusts (REITs). We use an instrument variable to control the potential endogeneity problem associated with firm’s decision to divest assets and find that property dispositions have a positive effect on REIT corporate credit ratings. We further investigate the underlying channels for thi...

JavaScript object behavior is dynamic and adheres to prototypebased inheritance. The behavior of a JavaScript object can be changed by adding and removing properties at runtime. Points-to analysis calculates the set of values a reference property or variable may have during execution. We present a novel, partially flow-sensitive, context-sensitive points-to algorithm that accurately models dyna...

The guarded fragment (GF) was introduced in [1] as a fragment of first order logic which combines a great expressive power with nice modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. While GF has been established as a particularly well-behaved fragment of first order logic in many respects, interpolation fails in restrict...

Weber's law applied to interval timing is called the scalar property. A hallmark of timing in the seconds-to-minutes range, the scalar property is characterized by proportionality between the standard deviation of a response distribution and the duration being timed. In this temporal reproduction study, we assessed whether the scalar property was upheld when participants chronometrically counte...

We present (geometric) multigrid methods for isogeometric discretization of scalar second order elliptic problems. The smoothing property of the relaxation method, and the approximation property of the intergrid transfer operators are analyzed. These properties, when used in the framework of classical multigrid theory, imply uniform convergence of two-grid and multigrid methods. Supporting nume...

We seek to assess the effect of commercial property price movements on the behaviour and performance of individual banks in a range of industrialised economies, extending the existing micro literature on bank performance. Our results suggest that commercial property prices tend to be positively associated with bank lending and profitability, and negatively associated with banks’ net interest ma...