Results 11 to 20 of about 19,827,130 (305)
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
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 +6 more sources
SSRN Electronic Journal, 2018 AbstractWe 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 3 simultaneously reports her beliefs ...
Piotr Evdokimov, Umberto Garfagnini
openaire +2 more sources
Higher order interpretation for higher order complexity
EPiC Series in Computing, 2018 We design an interpretation-based theory of higher-order functions that is well-suited for the complexity analysis of a standard higher- order functional language a` la ml. We manage to express the interpretation of a given program in terms of a least fixpoint and we show that when restricted to functions bounded by higher-order polynomials, they ...
Hainry, Emmanuel, Péchoux, Romain
openaire +4 more sources
An Efficient Stochastic Numerical Computing Framework for the Nonlinear Higher Order Singular Models
Fractal and Fractional, 2021 The focus of the present study is to present a stochastic numerical computing framework based on Gudermannian neural networks (GNNs) together with the global and local search genetic algorithm (GA) and active-set approach (ASA), i.e., GNNs-GA-ASA.
Zulqurnain Sabir +3 more
doaj +1 more source
Higher-Order Responsibility [PDF]
Proceedings of the AAAI Conference on Artificial IntelligenceIn ethics, individual responsibility is often defined through Frankfurt's principle of alternative possibilities. This definition is not adequate in a group decision-making setting because it often results in the lack of a responsible party or "responsibility gap".
Jiang, Junli, Naumov, Pavel
openaire +3 more sources
Modelling performing calculations over the data presented in a probabilistic form
MATEC Web of Conferences, 2018 The article presents the results of comparison of different forms of representation and transformation of information in the form of non-positional probabilistic display.
Sapozhnikov Nikolay +3 more
doaj +1 more source
Ryazan sustainable combinations of terminological character associated with lace
Дискурс профессиональной коммуникации, 2019 The purpose of this article is to present a multidimensional view of professional speech of residents of the Ryazan region by putting focus on stable combinations of a terminological nature.
S. O. Kiparisova
doaj +1 more source
The use of Higher Order MCQs in assessment
, 2022 Why are higher-order MCQs important? Large student numbers (efficient) – more traditional forms are labour intensive – MCQs can be computer-marked if they are well set up.
Elkington, E.
core +3 more sources
Медицинский совет, 2019 A total of 137 male patients with stable ischemic heart disease (SIHD), average age 62.3 ± 7.46 years, were divided into 3 groups depending on the initial measurements of blood pressure (BP) and heart rate (HR).
I. I. Shaposhnik +7 more
doaj +1 more source