This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better compilation and interpretation; specifically, knowing an array’s shape could permit reductions in the number of run-time array conformability checks, enable memory preallocation optimizations, and facilitate the in-lining...

In this paper path planning and obstacle avoidance for a statically stable biped robot using PRM and reinforcement learning is discussed. The main objective of the paper is to compare these two methods of path planning for applications involving a biped robot. The statically stable biped robot under consideration is a 4-degree of freedom walking robot that can follow any given trajectory on fla...

Overview over the seven different measurement methods and the frequency ranges that they cover are summarized in Fig. S1; detailed descriptions of the techniques and data collected from them are discussed in the subsequent sections below. The techniques include three lowfrequency methods involving piezo-ceramics that shear or compress the entire sample quasi-statically and four higher-frequency...

We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised...

Let Yl, , Yp be monomials over the indeterminates Xl, , xq. For every y (yl, , yp) there is some minimum number L(y) of multiplications sufficient to compute y 1, , Yo from x 1, , xq and the identity 1. Let L(p, q, N) denote the maximum of L(y) over all y for which the exponent of any indeterminate in any monomial is at most N. We show that if p (N+ 1) () and q (N+ 1)(), then L(p, q, N) min {p,...

Social software challenges strategic thinking in important ways: empowering creative, independent individuals implies indeterminate and uncertain reactions and creations in support of, or in opposition to, management’s original thinking. We build a framework that organizes research on social software, taking perspectives from both inside and outside companies. We use this framework to introduce...

Abstract: Let m : Σ → X be a Banach space valued countably additive vector measure. In this paper we present a procedure to construct an m -orthogonal system in the space L(m) of square integrable functions with respect to m . If the vector measure is constructed from a family of indeterminate scalar measures, it is possible to obtain a family of polynomials that is orthogonal with respect to t...

Knowledge transfer literature treats the transfer of explicit knowledge ‘embodied’ in documents and the like as unproblematic. No empirical grounds are given for this assumption, and some authors have recently expressed reservations suggesting that complex cognitive and social process are involved. Reading theory and research is an obvious place to turn to for further insight. The transactional...

If P is a moment-indeterminate probability distribution, then it is desirable to present explicitly other distributions possessing the same moments as P. In this paper, a method to construct an infinite family of probability densities called the Stieltjes class all with the same moments is presented. The method is applicable for densities with support (0,∞) which satisfy the lower bound: f(x) ≥...