In this paper, an efficient algorithm to compute the set of prime implicants of a prepositional formula in Conjunc-tive Normal Form (CNF) is presented. The proposed algorithm uses a concept of representing the formula as a bi-nary matrix and computing paths through the matrix as implicants. The algorithm finds the prime implicants as theprime paths using the divide-and-conquer techn...

Transition systems with timing constraints are a well known abstract representation of real time systems. EEcient analysis of timed transition systems is therefore a basis for real time veriication. In this paper we introduce an algorithm for reachability analysis of timed transition systems with forced events which is based on an intuitive concept of constraint evaluation. During a depth-rst s...

We propose a new strategy to estimate surface normal information from highly noisy sparse data. Our approach is based on a tensor field morphologically adapted to infer normals. It acts as a three-dimensional structuring element of smooth surfaces. Robust orientation inference for all input elements is performed by morphological operations using the tensor field. A general normal estimator is d...

Dense disparity maps can be computed from wide-baseline stereo pairs but will inevitably contain large areas where the depth cannot be estimated accurately because the pixels are seen in one view only. A traditional approach to this problem is to introduce a global optimization scheme to fill-in the missing information by enforcing spatialconsistency, which usually means introducing a geometric...

Background Endometriosis is the presence of endometrial tissue outside of the uterine cavity and is the most common gynecologic disorder in women of reproductive age. We have preliminary evidence that in the presence of a 3-dimensional (3-D) fibrin matrix, human endometrial glands, stroma, and neovascularization can develop in vitro, mimicking the earliest stages of endometriosis. The aim of th...

We propose a convex variational approach to space-time reconstruction which estimates surface normal information and integrates it into the photoconsistency estimation as well as into an anisotropic spatio-temporal total variation regularization. As such the proposed method generalizes the works [4], [5]. Although [4] already studied anisotropic regularization they did not estimate normals but ...

At the heart of a quantitatively accurate metal-molecule-metal conductance calculation, the potential profile must reflect the surface physics between the metal and vacuum. In this work, we employ a local orbital basis and calculate the conductance over a suite of Hamiltonians to examine trends within a molecular system using a rapid, selfconsistent scattering matrix method. As discussed above,...

There is a Paley graph for each prime power q such that q ≡ 1 (mod 4). The vertex set is the field Fq and two vertices x and y are joined by an edge if and only if x − y is a nonzero square of Fq. We compute the Smith normal forms of the adjacency matrix and Laplacian matrix of a Paley graph.

We present a rigorous study of the perfect absorption properties of metal–insulator–metal (MIM) structures in the visible spectrum. We provide a derivation (based on the transfer matrix method) and analysis of the conditions for which the perfect absorption occurs. We show that these conditions are fulfilled when the incident wave excites the eigenmodes of the structure. The quantitative analys...

The PolyMAX estimator is used intensively in modal analysis applications nowadays. The main advantages are its speed and the very clear stabilization diagrams it yields. Recently, an algorithm allowing a fast calculation of confidence intervals has been derived for frequency-domain least-squares estimators based on a common-denominator model. In this contribution, the approach is extended to th...