|
|
|
|
|
Vincenzo Manca
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ruichen He, Florian Holzapfel, Johannes Bröcker, Yi Lai and Shuguang Zhang
The emergence of eVTOL (electrical Vertical Takeoff and Landing) aircraft necessitates the development of safe and efficient systems to meet stringent certification and operational requirements. The primary state-of-the-art technology for flight control ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Radoslaw Piotr Katarzyniak, Grzegorz Popek and Marcin Zurawski
This article presents a model of an architecture of an artificial cognitive agent that performs the function of generating autoepistemic membership statements used to communicate beliefs about the belonging of an observed external object to a category wi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Abner Perez-Haro and Arturo Diaz-Perez
Policy mining is an automated procedure for generating access rules by means of mining patterns from single permissions, which are typically registered in access logs. Attribute-based access control (ABAC) is a model which allows security administrators ...
ver más
|
|
|
|
|
|
|
|
|
|
|
María-Jose García-López and Francisco Pérez-Hernández
In the contemporary context, characterized by the paramount importance of sustainability, both governments and companies, particularly multinational enterprises (MNEs), play an important role in fostering and overseeing the transformative processes neces...
ver más
|
|
|
|
|
|
|
|
|
|
|
Javad Shahidinejad, Mohsen Kalantari and Abbas Rajabifard
Cadastral databases have been used for over 20 years, but most contain 2D data. The increasing presence of high-rise buildings with modern architecture complicates the process of determining property rights, restrictions, and responsibilities. It is, the...
ver más
|
|
|
|
|
|
|
|
|
|
|
Monika Rybczak and Krystian Kozakiewicz
Today, specific convolution neural network (CNN) models assigned to specific tasks are often used. In this article, the authors explored three models: MobileNet, EfficientNetB0, and InceptionV3 combined. The authors were interested in investigating how q...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yifan Cao, Yangda Chen, Mingwen Shi, Chuanzhen Li, Weijun Wu, Yapeng Li, Xuxin Guo and Xianpeng Sun
The high energy consumption CEA building brings challenges to the management of the energy system. An accurate energy consumption prediction model is necessary. Although there are various prediction methods, the prediction method for the particularity of...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jiachen Zhang, Guoqing Tu, Shubo Liu and Zhaohui Cai
The rapid development of speech synthesis technology has significantly improved the naturalness and human-likeness of synthetic speech. As the technical barriers for speech synthesis are rapidly lowering, the number of illegal activities such as fraud an...
ver más
|
|
|
|
|
|
|
|
|
|
|
Igor Masich, Natalya Rezova, Guzel Shkaberina, Sergei Mironov, Mariya Bartosh and Lev Kazakovtsev
A number of real-world problems of automatic grouping of objects or clustering require a reasonable solution and the possibility of interpreting the result. More specific is the problem of identifying homogeneous subgroups of objects. The number of group...
ver más
|
|
|
|
|
|