Results 21 to 30 of about 19,827,130 (305)
, 2006 We extend the flattening transformation, which turns nested into flat data parallelism, to the full higher-order case, including lambda abstractions and data parallel arrays of functions. Our central observation is that flattening needs to transform the closures used to represent functional values.
Roman Leshchinskiy +2 more
openaire +2 more sources
Antimicrobial activity of essential oil of Monarda citriodora Cerv. ex Lag. [PDF]
BIO Web of ConferencesThe results of studying the antimicrobial activity of an essential oil obtained by steam distillation from dry raw materials of lemon monarda (Monarda citriodora Cerv. ex Lag.), grown in the conditions of the Steppe Crimea (Prisivashye).
Shevchuk Oksana +4 more
doaj +1 more source
Constructing a Matrix Mid-Point Iterative Method for Matrix Square Roots and Applications
Mathematics, 2022 In this paper, an improvement to the mid-point method is contributed for finding the square root of a matrix as well as its inverse. To this aim, an iteration scheme to find this matrix function is constructed, and its error and stability estimates are ...
Javad Golzarpoor +2 more
doaj +1 more source
Higher-Order Optimality Conditions and Higher-Order Tangent Sets [PDF]
SIAM Journal on Optimization, 2017 We present a simple approach to an analysis of higher order approximations to sets and functions. The objects we study are not of a specific order; they include objects of order 2 and m with m not necessarily an integer. We deduce from these concepts optimality conditions of higher order and we establish some calculus rules.
openaire +3 more sources
Higher-Order Defeat and Evincibility [PDF]
, 2019 One of the ambitions of the past decades of epistemology has been to accommodate the view that ‘higher-order evidence’ that a belief one holds is rationally flawed has a systematic kind of defeating force with respect to that belief.
Lasonen-Aarnio, Maria +1 more
core +1 more source
Singular Higher-Order Complete Vector Bases for Finite Methods [PDF]
, 2004 This paper presents new singular curl- and divergence- conforming vector bases that incorporate the edge conditions. Singular bases complete to arbitrarily high order are described in a unified and consistent manner for curved triangular and ...
Graglia, Roberto, Lombardi, Guido
core +1 more source
CONFIGURATIONS OF HIGHER ORDERS
Advances and Applications in Discrete Mathematics, 2022 This paper begins by extending the notion of a combinatorial configuration of points and lines to a combinatorial configuration of points and planes that we refer to as configurations of order $2$. We then proceed to investigate a further extension to the notion of points and $k$-planes ($k$-dimensional hyperplanes) which we refer to as configurations ...
openaire +3 more sources
Multiorder neurons for evolutionary higher-order clustering and growth [PDF]
, 2007 This letter proposes to use multiorder neurons for clustering irregularly shaped data arrangements. Multiorder neurons are an evolutionary extension of the use of higher-order neurons in clustering.
GUAN, Sheng Uei +5 more
core +1 more source
, 2010 Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coproducts, initial algebras and terminal coalgebras. In the present paper we show that, surprisingly, the category of containers is cartesian closed, giving rise to a full ...
Thorsten Altenkirch +2 more
openaire +2 more sources
, 1995 Even though higher-order calculi for automated theorem proving are rather old, tableau calculi have not been investigated yet. This paper presents two free variable tableau calculi for higher-order logic that use higher-order unification as the key inference procedure.
openaire +2 more sources