—The dynamics of reciprocal transducer systems is modelled accounting for a nonlinear constitutive relation between the electric displacement and the electric field as reported ...
Linxiang X. Wang, Morten Willatzen, Roderick V. N....
The longest increasing circular subsequence (LICS) of a list is considered. A Monte-Carlo algorithm to compute it is given which has worst case execution time O(n3/2 log n) and st...
Michael H. Albert, Mike D. Atkinson, Doron Nussbau...
We study a posteriori error estimates in the energy norm for some parabolic obstacle problems discretized with a Euler implicit time scheme combined with a finite element spatial ...
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
This paper deals with the problem of epipolar rectification in the uncalibrated case. First the calibrated (Euclidean) case is recognized as the ideal one, then we observe that in...