The development of machine learning in particular and artificial intelligent in general has been strongly conditioned by the lack of an appropriated framework to specify and integrate learning processes, data transformation processes and data models. In this work we extend traditional algebraic specification methods to this type of framework. Limits and colimits of diagrams are universal constr...

We study the feasibility of having various humanoid robots undertake some tasks from those challenged by the DARPA’s call on disaster operations. Hence, we focus on locomotion tasks that apparently require human-like motor skills to be achieved. We use virtual scenes under the fully3D-modeled-environment assumption. The robot autonomously plans and executes the motion with a high-level goal spe...

A more practical design of X-chart has been proposed which recognizes that the process mean, in the majority of industrial operations, is a random variable, and uses the necessary information on the production rate and specification limits and the ratio of costs of false alarm and producing defectives. A methodology has been proposed to see whether incorporation of warning limits is effective f...

This technical note presents limits on the security (as a function of the number of plaintext bytes encrypted and the number of forgery attempts made by an adversary) for the main Authenticated Encryption schemes available in TLS 1.2 and the draft of TLS 1.3. These limits are derived from security proofs for the considered schemes available in the literature. Our intention is to provide conside...

We show how PVS-style predicate subtyping can be simulated in HOL using predicate sets, and explain how to perform subtype checking using this model. We illustrate some applications of this to specification and verification in HOL, and also demonstrate some limits of the approach. Finally we report on the effectiveness of a subtype checker used as a condition prover in a contextual rewriter.

2 Basic Concepts 4 2.1 Event and Trace . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Event . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.2 Trace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Prefix order over traces . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Prefi...