— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
In this paper, the authors analyze the Gaudry–Hess–Smart (GHS) Weil descent attack on the elliptic curve discrete logarithm problem (ECDLP) for elliptic curves defined over c...
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Thinnings are very important operators for image analysis developed by mathematical morphology. Their most popular applications are the discrete homotopic skeletons. They are defi...
Segmenting the speech signals on the basis of time-frequency analysis is the most natural approach. Boundaries are located in places where energy of some frequency subband rapidly...