Abstract. This article presents an efficient public-key protocol for mutual authentication and key exchange designed for third generation mobile communications systems. The paper a...
This paper presents a method to induce relational concepts with neural networks using the inductive logic programming system LINUS. Some first-order inductive learning tasks taken...
Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avil...
The standard method of generating countable ordinals from uncountable ordinals can be replaced by a use of fixed point extractors available in the term calculus of Howard's s...
This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel ...
Yiannis A. Katsigiannis, Pavlos S. Georgilakis, Ge...
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...