Results 11 to 20 of about 12,698,759 (344)
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 ...
Murawski, Andrzej S., Tzevelekos, Nikos
openaire +5 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 +1 more source
IEEE/ACM Transactions on Audio, Speech, and Language Processing, 2023 This work introduces a new theory for spatial audio recording and reproduction named Higher Order Stereophony. Through the use of the Taylor expansion, the technique accurately reproduces a sound field across a line that is orientated as the interaural axis of a listener, to attempt to recreate a set of desired binaural signals.
Jacob Hollebon, Filippo Maria Fazi
openaire +3 more sources
Higher-Order Weyl Semimetals [PDF]
Physical Review Letters, 2020 We investigate higher-order Weyl semimetals (HOWSMs) having bulk Weyl nodes attached to both surface and hinge Fermi arcs. We identify a new type of Weyl node, that we dub a $2nd$ order Weyl node, that can be identified as a transition in momentum space in which both the Chern number and a higher order topological invariant change.
Sayed Ali Akbar Ghorashi +2 more
openaire +3 more sources
Higher Order Coercive Inequalities [PDF]
Potential Analysis, 2021 AbstractWe study the higher order q- Poincaré and other coercive inequalities for a class probability measures satisfying Adam’s regularity condition.
Yifu Wang, Boguslaw Zegarlinski
openaire +3 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
THE ROLE OF VEGF SINGLE NUCLEOTIDE POLYMORPHISMS IN THE DEVELOPMENT OF CARDIOVASCULAR DISEASES
Медицинская иммунология, 2019 Cardiovascular diseases (CVD) are the main cause of mortality in the population. The pathophysiological processes underlying the development of CVD are inflammation, endothelial dysfunction, oxidative stress, atherosclerosis, fibrosis, dyslipidemia and ...
Anife Sevrievna Gaffarova +4 more
doaj +1 more source
Медицинская иммунология, 2019 Aim: To analyze the features of the B-cell immune response and the formation of immunological memory in humans after vaccination against human papillomavirus and during natural infection, as well as to evaluate the effectiveness of various types of ...
Emiliya Rafilevna Zagidullina +14 more
doaj +1 more source
Higher order Maass forms [PDF]
, 2010 We determine the size of spaces of higher order Maass forms of even weight for cofinite discrete subgroups of PSL(2,R) with cusps. If exponential growth at the cusps is allowed, the spaces of Maass forms of a given order are as large as algebraic ...
Bruggeman +6 more
core +4 more sources
The effect of oral administration of tauroside Sx1 on the accumulation of influenza virus and histological changes in the lungs of mice [PDF]
BIO Web of ConferencesThe constant threat of a new viral pandemic gives special urgency to the search for new effective means of preventing and treating influenza infection.
Sataieva Tatiana +5 more
doaj +1 more source