In this paper, we generalize the techniques of reverse-mode algorithmic differentiation to include elementary operations on multidimensional arrays of complex numbers. We explore the application of the algorithmic differentiation to phase retrieval error metrics and show that reverse-mode algorithmic differentiation provides a framework for straightforward calculation of gradients of complicate...

This paper discusses application of the technique of algorithmic debugging, originating from logic programming, to automatic diagnosis of VLSI digital circuits. In particular, the main aim of the presented work is to provide a method for smooth combination of different diagnosis techniques, where the use of logic specifications and algorithmic debugging plays an essential role. Examples of the ...

We have developed a highly interactive, online course to teach Introduction to Computer Music. The course is intended for students with a basic knowledge of programming and teaches principles and techniques of sound synthesis and algorithmic composition using a hands-on, projectoriented approach. The course contains an extensive set of short video lectures complemented by about 80 interactive, ...

Bi-directional Grid Constrained (BGC) Stochastic Processes (BGCSP) become more constrained the further they drift away from origin or time axis are examined here. As axis, then greater likelihood of stopping, as if by two hidden reflective barriers. The theory BGCSP is applied to a trading environment in which long and short available. stochastic differential equation Trading Problem (GTP) prop...

This paper reviews and critically appraises the application of compartmental models for generating glycaemic predictions and offering clinical decision support in diabetes care. Comparisons are made with alternative algorithmic-based approaches. Unresolved issues raised for model-based techniques include the relative lack of input data necessary for generating reasonable blood glucose predictio...

Algorithmic Reenement is part of the theory of the B method both at the reenement and implementation stages. It a sign of how little loop introduction is used in practice at the reenement stage that neither the B-Toolkit nor Atelier-B provide support for loop introduction until the implementation stage. This paper examines the use of algorithmic reenement in general before data reenement. This ...

Practical application of the task-priority redundancy resolution technique must deal with the occurrence of kinematic and algorithmic singularities. The aim of this paper is twofold. First, the application of existing singularity-robust methods to the case of kinematically redundant arms is studied. Then, a new task-priority redundancy resolution technique is developed that overcomes the effect...

We have designed and implemented an API for grid computing that can be used for developing grid-distributed parallel programs without leaving the level of the language in which the core application is written. Our software framework is able to utilize the information about heterogeneous grid environments in order to adapt the algorithmic structure of parallel programs to the particular situatio...