Irene Schena Department of Computer Science, University of Bologna Via di Mura Anteo Zamboni 7 40127 Bologna, Italy email [email protected] web http://www.cs.unibo.it/~schena ABSTRACT An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, twodimensional system of symbolic notations. Tools for the mechanisation of mat...

In this paper, we present a new method for twodimensional (2D) shape detection applicable under affine transformation. The problem of affine-invariant shape detection is an important and fundamental research subject in computer vision. Although various methods have been proposed to solve this problem, most of those approaches are not well suited for the following general cases: (1) a shape to b...

We develop a model for the parallel performance of algorithms that consist of concurrent, twodimensional wavefronts implemented in a message passing environment. The model, based on a LogGP machine parametrization, combines the separate contributions of computation and communication wavefronts. We validate the model on three important supercomputer systems, on up to 500 processors. We use data ...

—In this research, we address the problem of TwoDimensional (2D) angle estimation for monostatic MultipleInput Multiple-Output (MIMO) radar. An expanded PARAFAC model is proposed to make full use of the Vandermonde-like structure of the data model, which expands the received data through unitary transformation and links the problem of 2D angle estimation to the PARAFAC model. Unlike the tradit...

R econstruction of given noisy data is an ill-posed problem and a computationally intensive task. Nonlinear regularization techniques are used to find a unique solution under certain constraints. In our contribution we present a parallel mixed-signal architecture which solves this nonlinear problem with in microseconds. By connecting all parallel cells in a circular manner it is possible to pro...

Using numerical and analytical calculations we study the structure of vacancies and interstitials in twodimensional colloidal crystals. In particular, we compare the displacement fields of the defect obtained numerically with the predictions of continuum elasticity theory for a simple defect model. In such a comparison it is of crucial importance to employ corresponding boundary conditions both...

In this paper we consider the coverage control problem for a team of wire-traversing robots. The twodimensional motion of robots moving in a planar environment has to be projected to one-dimensional manifolds representing the wires. Starting from Lloyd’s descent algorithm for coverage control, a solution that generates continuous motion of the robots on the wires is proposed. This is realized b...

Motivated by its practical success, we show that the twodimensional total variation denoiser satisfies a sharp oracle inequality that leads to near optimal rates of estimation for a large class of image models such as bi-isotonic, Hölder smooth and cartoons. Our analysis hinges on properties of the unnormalized Laplacian of the twodimensional grid such as eigenvector delocalization and spectral...

The oscillating motions of a wavefront on a twodimensional (2D) switch line, i.e., a transmission line periodically loaded with electronic switches (the switch is open for voltages greater than a fixed threshold and closed otherwise), are discussed. In a twodimensional switch line, the amplitude of the wavefront decays more rapidly than in a one-dimensional switch line, and the oscillation freq...

Belief has been formally modelled using doxastic logics in recent decades. The possible worlds model provides an intuitive semantics for these log­ ics. But it also commits us to the problem of logical omniscience. A number of logics have been intro­ duced to circumvent the problem. Of particular in­ terest is the logic of awareness. In this paper we present a new method to put awareness into d...