Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
Euclidean lattices are mathematical objects of increasing interest in the fields of cryptography and error-correcting codes. This doctoral thesis is a study on high-dimensional lattices with the motivation to understand how efficient they are in terms of b ...
This thesis concerns the theory of positive-definite completions and its mutually beneficial connections to the statistics of function-valued or continuously-indexed random processes, better known as functional data analysis. In particular, it dwells upon ...
Arterial pulse waves (PWs) such as blood pressure and photoplethysmogram (PPG) signals contain a wealth of information on the cardiovascular (CV) system that can be exploited to assess vascular age and identify individuals at elevated CV risk. We review th ...
A novel surrogate model based on the Grassmannian diffusion maps (GDMaps) and utilizing geometric harmonics (GH) is developed for predicting the response of complex physical phenomena. The method utilizes GDMaps to obtain a low-dimensional representation o ...
This laconic discourse uses the Aristotelian authority to define the role of the analogical procedure in the government of the architectural composition. Respecting its ambiguous balance between mathematical method and attitude of the imagination, analogy ...
We propose an online algorithm for sequential learning in the contextual multiarmed bandit setting. Our approach is to partition the context space and, then, optimally combine all of the possible mappings between the partition regions and the set of bandit ...
Motivated by the increasing availability and quality of miniaturized sensors, computers, and wireless communication devices arid given their enormous potential, the use of wireless sensor networks (WSN) has become widespread. Because in many applications o ...
This paper reviews the state of the art and discusses recent developments in the field of adaptive isogeometric analysis, with special focus on the mathematical theory. This includes an overview of available spline technologies for the local resolution of ...
The intershaft bearing is located between the high and low-pressure rotors of the aero-engine, where the working environment is harsh, the load variation range is large, and the lubrication and heat dissipation are poor. The fault of the intershaft bearing ...
