Search
Search Results
-
Quaternion Algebra
This chapter contains further historical background to the invention of quaternions, and covers the evolution of quaternion algebra. I show how... -
Software approaches for resilience of high performance computing systems: a survey
With the scaling up of high-performance computing systems in recent years, their reliability has been descending continuously. Therefore, system...
-
Computer Science for Continuous Data
Building on George Boole’s work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous... -
A causal, time-independent synchronization pattern for collective adaptive systems
Artificial ants are “small” units, moving autonomously on a shared, dynamically changing “space”, directly or indirectly exchanging some kind of...
-
Research in the Area of Pattern Recognition and Image Analysis at the Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences and Its Predecessors
AbstractThis paper provides a short survey of the main direction of activity of the Federal Research Center “Computer Science and Control” of the...
-
Reading detection of needle-type instrument in a noisy environment using computer vision-based algorithms
This study investigated the use of computer vision–based algorithms for detecting needle-type instrument readings in the cockpit of an aerial...
-
Designing Playful Intelligent Tutoring Software to Support Engaging and Effective Algebra Learning
In designing learning technology, it is critical that the technology supports both learning and engagement of students. However, achieving both... -
Foundations for MLOps Systems
In this chapter, we will discuss foundations for MLOps systems by breaking down the topic into fundamental building blocks that you will apply in... -
Language support for verifying reconfigurable interacting systems
Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic...
-
-
Model Checking for Probabilistic Multiagent Systems
In multiagent systems, agents usually do not have complete information of the whole system, which makes the analysis of such systems hard. The...
-
Causal analysis of positive Reaction Systems
Cause/effect analysis of complex systems is instrumental in better understanding many natural phenomena. Moreover, formal analysis requires the...
-
Comparing perfomance abstractions for collective adaptive systems
Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two...
-
Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation
Complex systems modeling and simulation are critical in many industrial and research fields, specifically to predict, prove, verify, and understand...
-
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood’s Machine using Computer Algebra
AbstractThe problem of finding a periodic motion of generalized Atwood’s machine in which the pulley of a finite radius is replaced by two small...
-
A Note on Adjoint Linear Algebra
A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application... -
The Role of the Scientific Council “Cybernetics” of the USSR Academy of Sciences/the Russian Academy of Sciences in the Development of National Cybernetics and Computer Technology
AbstractThe review presents the history of the creation and work of the Scientific Council “Cybernetics” (SCC)—the center for development of...
-
Supporting Education in Advanced Mathematical Analysis Problems by Symbolic Computational Techniques Using Computer Algebra System
In this paper we present two didactic examples of the use of Mathematica’s symbolic calculations in problems of mathematical analysis which we... -
Numerical algorithms for the fast and reliable solution of periodic tridiagonal Toeplitz linear systems
In the present paper, we consider the solution of periodic tridiagonal Toeplitz linear systems. By exploiting the special low-rank and Toeplitz...
-
Ball Arithmetic as a Tool in Computer Algebra
This presentation gives an overview of ball arithmetic as a tool for computing with real numbers in the context of computer algebra, and discusses...