|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
José Antonio López Ortí, Francisco José Marco Castillo and María José Martínez Usó
In the present paper, we efficiently solve the two-body problem for extreme cases such as those with high eccentricities. The use of numerical methods, with the usual variables, cannot maintain the perihelion passage accurately. In previous articles, we ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xi Duan, Jian Liu and Xinjie Wang
The real-time simulation technology of large-scale open sea surfaces has been of great importance in fields such as computer graphics, ocean engineering, and national security. However, existing technologies typically have performance requirements or pla...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yusuf Brima, Ulf Krumnack, Simone Pika and Gunther Heidemann
Self-supervised learning (SSL) has emerged as a promising paradigm for learning flexible speech representations from unlabeled data. By designing pretext tasks that exploit statistical regularities, SSL models can capture useful representations that are ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dilanka Chandrasiri, Perampalam Gatheeshgar, Hadi Monsef Ahmadi and Lenganji Simwanda
In the construction domain, there is a growing emphasis on sustainability, resource efficiency, and energy optimisation. Light-gauge steel panels (LGSPs) stand out for their inherent advantages including lightweight construction and energy efficiency. Ho...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bekbasarov Isabai, Atenov Yerlan and Shanshabayev Nurzhan
This article is dedicated to addressing the current challenge of augmenting the load-bearingcapability of pile foundations. This predicament is most effectively addressed by employing piles with unconventional geometries along with atypical methodologies...
ver más
|
|
|
|
|
|
|
|
|
|
|
Gerhard Hasslinger, Konstantinos Ntougias, Frank Hasslinger and Oliver Hohlfeld
We evaluate analysis results and approximations for the performance of basic caching methods, assuming independent requests. Compared with simulative evaluations, the analysis results are accurate, but their computation is tractable only within a limited...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mohammed Mizanur Rahman, Mahfuzur Rahman and Md. Abdul Kaium Masud
This study examines the determinants of financial intermediation costs of banks in ten Emerging Economies (EEs) in the period 2000?2018 using panel data of 1335 banks. Empirically, this study applies the single-stage dealership model and its extensions b...
ver más
|
|
|
|
|
|
|
|
|
|
|
Harshvardhan J. Pandit
Solid is a new radical paradigm based on decentralising control of data from central organisations to individuals that seeks to empower individuals to have active control of who and how their data is being used. In order to realise this vision, the use-c...
ver más
|
|
|
|
|
|
|
|
|
|
|
Francesco Esposito, Mario Argenziano, Diana Faiella and Elena Mele
This paper reports a study on the Intermediate Isolation System (IIS) applied to existing buildings. This kind of application is particularly suitable when a vertical addition is planned for buildings in seismic zones; in such a case, an isolation system...
ver más
|
|
|
|
|
|