|This paper presents the investigations in the electric performance of di¬erential signalling transmission lines used for high speed integrated circuits (IC’s) and boards by using the parallelized ­ nite-di¬erence time-domain (FDTD) method. The FDTD method is ­ rstly parallelized with single-program multipledata (SPMD) architecture using the MPI protocol and experimentally validated. The key el...

We describe a novel formulation of the range recovery problem, based on computation of the di erential variation in image intensities with respect to changes in camera position. The method uses a single stationary camera and a pair of calibrated optical masks to directly measure this di erential quantity. The subsequent computation of the range image is simple and should be suitable for real-ti...

In this work we consider the problem of control of mechanical systems subject to unilateral constraints. Impulsive forces arise whenever the constraints become active and these forces give rise to nonsmooth dynamics. The dynamics of the system is de ned by a set of di erential equations with discontinuous righthand side using Hamilton's equations of motion. A nonlinear transformation is applied...

Applying 3D di erential operators to extract point landmarks from medical images generally su ers from false detections. A considerable number of these false detections is caused by neighboring structures that are included in the region-of-interest (ROI) speci ed by the observer. The main contributions of this paper are two di erent approaches to reducing false detections resulting from neighbo...

A system of a parabolic partial di erential equation coupled with ordinary di erential inclusions that arises from a closed-loop control problem for a thermodynamic process governed by the Allen-Cahn di usion reaction model is studied. A feedback law for the closed-loop control is proposed and implemented in the case of a nite number of control devices located inside the process domain basing o...

While impossible di erential cryptanalysis is a well-known and popular cryptanalytic method, errors in the analysis are often discovered and many papers in the literature present aws. Wishing to solve that, Boura et al. [1] presented at ASIACRYPT'14 a generic vision of impossible di erential attacks with the aim of simplifying and helping the construction and veri cation of this type of cryptan...

of the Dissertation Axioms for Di erential Cohomology

E↑ective di↑erential Nullstellensatz – page 1/19

Quantitative analysis of dynamical processes requires a precise estimation of the optical ow eld from image sequences. Most articles evaluating the performance of optical ow techniques focus on the initial formulation of the minimization problem to solve the ill posed brightness change constraint equation. Performance di erences are attributed to slight di erences in the formulation of the mini...