|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
Guangya Zhu, Chongyu Wang, Wei Zhao, Yonghui Xie, Ding Guo and Di Zhang
The diagnosis of blade crack faults is critical to ensuring the safety of turbomachinery. Blade tip timing (BTT) is a non-contact vibration displacement measurement technique, which has been extensively studied for blade vibration condition monitoring re...
ver más
|
|
|
|
|
|
|
|
|
|
|
Eduardo Cibrián, Jose María Álvarez-Rodríguez, Roy Mendieta and Juan Llorens
The use of different techniques and tools is a common practice to cover all stages in the development life-cycle of systems generating a significant number of work products. These artefacts are frequently encoded using diverse formats, and often require ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Guido Bologna
The explainability of connectionist models is nowadays an ongoing research issue. Before the advent of deep learning, propositional rules were generated from Multi Layer Perceptrons (MLPs) to explain how they classify data. This type of explanation techn...
ver más
|
|
|
|
|
|
|
|
|
|
|
Reazul Islam, Mustaffa Omar and Mahfuzur Rahman
This paper proposes an integrated, comprehensive financial model that can provide startup capital to socially committed business ventures, such as social enterprises and Yunus Social Business (YSB), by using Islamic social funds (ISFs), Zakat (almsgiving...
ver más
|
|
|
|
|
|
|
|
|
|
|
Georgia Garani, Dionysios Papadatos, Sotiris Kotsiantis and Vassilios S. Verykios
Data analysis of weather phenomena to either predict or control human imprint on the environment requires the collection of various forms of observational data ranging from historical and longitudinal to forecast. The objective of this research paper is ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Andres Gonzalez-Nucamendi, Julieta Noguez, Luis Neri, Víctor Robledo-Rella, Rosa María Guadalupe García-Castelán and David Escobar-Castillejos
With the recent advancements of learning analytics techniques, it is possible to build predictive models of student academic performance at an early stage of a course, using student?s self-regulation learning and affective strategies (SRLAS), and their m...
ver más
|
|
|
|
|
|
|
|
|
|
|
Lucas Böltz and Hannes Frey
We study classes of geometric graphs, which all correspond to the following structural characteristic. For each instance of a vertex set drawn from a universe of possible vertices, each pair of vertices is either required to be connected, forbidden to be...
ver más
|
|
|
|
|
|