Search Results - "theory of algorithms"

Sums of Reciprocals of Fractional Parts and Multiplicative Diophantine Approximation by Beresnevich, Victor, Haynes, Alan, Velani, Sanju

“…There are two main interrelated goals of this paper. Firstly we investigate the sums…”
Get full text

Overlapping Iterated Function Systems from the Perspective of Metric Number Theory by Baker, Simon

“…In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from…”
Get full text

Toward a Systems Theory of Algorithms by Dorfler, Florian, He, Zhiyu, Belgioioso, Giuseppe, Bolognani, Saverio, Lygeros, John, Muehlebach, Michael

“…Traditionally, numerical algorithms are seen as isolated pieces of code confined to an in silico existence. However, this perspective is inappropriate for many…”
Get full text

Chair of Mathematical Logic and Theory of Algorithms by Semenov, A. L., Babenko, M. A., Belov, A. Ya, Vereshchagin, N. K., Vishnikin, M. E., Zolin, E. E., Krupski, V. N., Kuznetsov, S. L., Lyubetsky, V. A., Onoprienko, A. A., Pentus, M. R., Soprunov, S. F., Sorokin, A. A., Shekhtman, V. B., Yavorskaya, T. L.

“…The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State…”
Get full text

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 by Amirdjanov, G. P., Gurevich, I. B., Kostyuk, F. V., Kulberg, N. S., Rudchenko, T. A., Semenov, A. L., Sotnikov, A. N., Trusova, Yu. O., Uvarov, A. Yu, Vardanyan, V. A., Yakovleva, T. V., Yashina, V. V., Zakharova, A. S.

“…The review presents the history of the creation and work of the Scientific Council “Cybernetics” (SCC)—the center for development of cybernetics in the USSR…”
Get full text

Phone and Video-Based Modalities of Central Blinded Adjudication of Modified Rankin Scores in an Endovascular Stroke Trial by López-Cancio, Elena, Salvat, Mercè, Cerdà, Neus, Jiménez, Marta, Codas, Javier, Llull, Laura, Boned, Sandra, Cano, Luis M, Lara, Blanca, Molina, Carlos, Cobo, Erik, Dávalos, Antoni, Jovin, Tudor G, Serena, Joaquín

“…The standard outcome measure in stroke research is modified Rankin scale (mRS) evaluated by local blinded investigators. We aimed to assess feasibility and…”
Get more information

НЕПОЛНЫЙ АЛГОРИТМ В КОНСТРУКТИВНОЙ МАТЕМАТИКЕ (ЧАСТЬ 1) by Коновалов В.А.

“…Представлены результаты исследования проблемы неполноты алгоритмов. Введено новаторское определение «неполный алгоритм», отличающееся от известной в науке…”
Get full text

Rational Points, Rational Curves, and Entire Holomorphic Curves on Projective Varieties by Gasbarri, Carlo, Lu, Steven, Roth, Mike, Tschinkel, Yuri

“…This volume contains papers from the Short Thematic Program on Rational Points, Rational Curves, and Entire Holomorphic Curves and Algebraic Varieties, held…”
Get full text

An Algorithm for Reselecting a Reference Objects by Bondarenko, N. N.

“…The problem of optimally choosing a learning object is studied. The definition of essential totality of precedents is given. It is shown that an iterative…”
Get full text

CATEGORIES OF COMPUTER SYSTEMS ALGORITHMS by A. V. Poltavskiy, E. Y. Rusyaeva

“…Philosophy as a frame of reference on world around and as the first science is a fundamental basis, "roots" (R. Descartes) for all branches of the scientific…”
Get full text

Applying a Reference Objects Preselection Algorithm to Real-World Data by Bondarenko, N. N.

“…The problem of optimal selection of learning objects is investigated. The effectiveness of the previously proposed iterative method for generating sets of…”
Get full text

The power of verification for one-parameter agents by Auletta, Vincenzo, De Prisco, Roberto, Penna, Paolo, Persiano, Giuseppe

“…We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they…”
Get full text

Mesh reconstruction algorithm based on Laplace harmonic equation by Huawei CHEN, Quan WU, Weiping XU, Zeyun YU

“…Upon the problem of transforming triangular mesh into quadrilateral mesh, gradient field via harmonic equation is created, integral flow is tracked, and…”
Get full text

Karp, Richard Manning by William L. Hosch

Get full text

Functionals Using Bounded Information and the Dynamics of Algorithms by Grigorieff, S., Valarcher, P.

“…We consider computable functionals mapping the Baire space into the set of integers. By continuity, the value of the functional on a given function depends…”
Get full text

Basics of Algorithms Intelligent System by Yu, Rusyaeva E., Poltavsky, A.V., Ahobagze, G.N.

“…It is shown that the fundamental basis and the primary basis for the concepts in the field of algorithmization of modern intelligent systems lie in the…”
Get full text

Computer Implication and the Curry Paradox by Aitken, Wayne, Barrett, Jeffrey A.

“…There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of…”
Get full text

A software method used to control the degree in a polynomial computation of Hansen coefficients by Barbulescu, Lucian Florentin, Bazavan, Petru Calin

“…The Hansen coefficients are widely used in the semi-analytical methods of elliptic orbital propagation. The generation of those coefficients, in computer…”
Get full text

A course of Mathematical Logic and Theory of Algorithms as a mathematical background of modern cryptology by Epishkina, Anna, Kogos, Konstantin, Nikiforova, Natalia

“…The purpose of this work is to show that the course, Mathematical Logic and Theory of Algorithms, lectured by the authors in National Research Nuclear…”
Get full text

The Integral Mean of the Discrepancy of the Sequence (nα) by Schoißengeier, J.

Get full text