Results 1 to 10 of about 4,523,229 (316)
Higher Order Automatic Differentiation of Higher Order Functions [PDF]
Logical Methods in Computer Science, 2022 We present semantic correctness proofs of automatic differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characterise it as the unique structure preserving macro given a choice of ...
Mathieu Huot +2 more
doaj +5 more sources
Higher Order Connections [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2009 The purpose of this article is to present the theory of higher order connections on vector bundles from a viewpoint inspired by projective differential geometry.
Michael G. Eastwood
doaj +6 more sources
The development of personality qualities of future officers of law enforcement agencies of the Russian Federation [PDF]
SHS Web of Conferences, 2021 The article is devoted to the problems of the development of the emotional and volitional sphere within the framework of the formation of the personal subjectivity of the future officers of Russia.
Dyachkov A.A. +2 more
doaj +1 more source
Structural Mechanics of Engineering Constructions and Buildings, 2021 The purpose of the study - receiving of exact analytical solutions of statics problems of anisotropic plates, resting on an elastic subgrade and subjected to an action of cyclic symmetrical loads.
Elena B. Koreneva
doaj +1 more source
Professional education of officers: modern trends
Вестник Мининского университета, 2023 Introduction. The professional education of Russian officers has always been of particular importance in ensuring its security and sovereignty. During the periods of the highest military victories and successes, it was based on national ideas and values,
T. L. Lopoukha, S. N. Sorokoumova
doaj +1 more source
The Five Dimensions of the APPRO Program: Explanation and Specification
Seminare, 2022 This article discusses the five fundamental dimensions of the "Activity Program Positive Personal Development" (APPRO) formation program. It is addressed not only to the environment of the Church, seminarians, priests, and male and female religious, but
Piotr Kwiatek, Anna Pecoraro
doaj +1 more source
Rational use of natural resources and provision of the population with the necessary food resources [PDF]
E3S Web of Conferences, 2021 Forest natural resources are classified as renewable biological resources. The forests of Russia are a unique ecological system that makes up about 25% of all forest resources of the planet. The main product produced in the exploitation of forests is, of
Koryakina N.А. +4 more
doaj +1 more source
Structural Mechanics of Engineering Constructions and Buildings, 2023 The authors present theoretical basis for creating software for operational (on-site testing) experimental determination of the possibility of safe passage of heavy vehicles on road bridges, taking into account their actual operational condition with ...
Evgeny A. Lugovtsev +2 more
doaj +1 more source
Higher-order linearisability [PDF]
Journal of Logical and Algebraic Methods in Programming, 2019 Linearisability is a central notion for verifying concurrent libraries: a given library is proven safe if its operational history can be rearranged into a new sequential one which, in addition, satisfies a given specification. Linearisability has been examined for libraries in which method arguments and method results are of ground type, including ...
Andrzej S. Murawski, Nikos Tzevelekos
openaire +5 more sources
SSRN Electronic Journal, 2018 Abstract We design a novel experiment to study how subjects update their beliefs about the beliefs of others. Three players receive sequential signals about an unknown state of the world. Player 1 reports her beliefs about the state; Player 2 simultaneously reports her beliefs about the beliefs of Player 1; Player
Piotr Evdokimov, Umberto Garfagnini
openaire +2 more sources