Cloud technologies in teaching computer science of future economists
CTE Workshop Proceedings, 2014 Research goals: to analyze the main features use cloud technology in the training of computer science specialists economy and future develop recommendations for their use in the educational process of the university.
O. M. Yatsko
doaj +1 more source
Formal Model of IDS Based on BDI Logic
Mathematics, 2021 Computer network security is an important aspect of computer science. Many researchers are trying to increase security using different methods, technologies, or tools.
Ján Perháč +3 more
doaj +1 more source
Algebraic School of V.M. Glushkov and Insertion Modeling
Кібернетика та комп'ютерні технології, 2023 The Algebraic School of Viktor Mykhailovych Glushkov already has several generations of scientists, most of whom have already identified and are developing their own scientific directions.
Oleksandr Letychevskyi
doaj +1 more source
Multibody system transfer matrix method: The past, the present, and the future
International Journal of Mechanical System Dynamics, 2022 The multibody system transfer matrix method (MSTMM), a novel dynamics approach developed during the past three decades, has several advantages compared to conventional dynamics methods.
Xiaoting Rui +5 more
doaj +1 more source
Application of practice-based learning in graph theory
International Journal of Trends in Mathematics Education Research, 2023 Learning graph theory is an important topic in the world of mathematics and computer science. However, students often face difficulties in understanding the concepts and practical application of graph theory. Therefore, this study aims to apply practicum-
Marhadi Saputro, Iwit Prihatin
doaj +1 more source
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality [PDF]
, 2020 Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from Girard's counterexample against normalization of System F equipped with a
Thierry Coquand +5 more
core +1 more source
Computer-based music production: Specifics of professional training
Образование и наука, 2021 Introduction. The process of professional training in most economic sectors is now thoroughly developed and regulated by global science. Today, the exception is the creative directions of professional activity, which play an important role in society ...
A. A. Konovalov, N. I. Butorina
doaj +1 more source
Earth Sciences Push Radiative Transfer Theory: 2009 International Conference on Advances in Mathematics, Computational Methods, and Reactor Physics; Saratoga Springs, New York, 4–7 May 2009 [PDF]
Eos, Transactions American Geophysical Union, 2009 The theories of radiative transfer and particle—particularly neutron—transport are grounded in distinctive microscale physics that deals with either optics or particle dynamics. However, it is not practical to track every wave or particle in macroscopic systems, nor do all of these details matter.
Anthony Davis, Michael Mishchenko
openaire +1 more source
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. The key idea is to define two systems, one modelling a protocol and
Timothy A. S. Davidson +3 more
doaj +1 more source
Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science
, 2017 Following a number of technological and theoretical breakthroughs in the 1930s, researchers in the nascent field of automatic computing started to develop a disciplinary identity independent from computing’s progenitor fields, mainly electrical engineering and mathematical logic.
Tedre, Matti, Denning, Peter J.
openaire +2 more sources