Higher order
Higher order dynamic mode decomposition
... Abstract. This paper deals with an extension of dynamic mode decomposition (DMD), which is appropriate to treat general periodic and quasi-periodic dynamics, and transients decaying to periodic and quasi- periodic ...
45
Using higher-order functional programming to do register allocation on a functional language
... to a RISC architecture in a uniform way that encompasses register alloca- tion and spill code placement, avoids unnecessary copy instructions, provides short-circuit translation of Boolean expressions, and can make use ...
19
Hoare-style Reasoning with Higher-order Control : Continuations and Concurrency
... The key novelty of the current work with respect to previous results on Hoare logics with histories (Fu et al. , 2010; Liang & Feng, 2013; Gotsman et al. , 2013; Bell et al. , 2010; Sergey et al. , 2015b; Hemed et ...
180
Geometrical structures of higher-order dynamical systems and field theories
... Finally, Chapter 6 focuses on giving an unambiguous geometric formulation of second-order field theo- ries using a similar approach as in Chapter 5: we first state the Lagrangian-Hamiltonian unified formalism for ...
260
Higher order dynamic mode decomposition to identify and extrapolate flow patterns
... a higher order dynamic mode decomposition (HODMD) algorithm both to identify flow patterns and to extrapolate a transient solution to the attractor ...and higher order DMD are applied to the ...
12
Hiord: A type-free higher-order logic programming language with predicate abstraction
... There is a type free higher order extensión of Prolog, namely Hilog, which has been presented [4] with a proof theory and a semantics based on (the well- known) translation of higher-or[r] ...
16
Higher order hypergeometric Lauricella function and zero asymptotics of orthogonal polynomials
... Our aim here is to express in terms of higher order hypergeometric Lauricella functions the corresponding asymptotic contracted measure of zeros for the sequence {P n (x)}™ =1 to be de[r] ...
7
Modulation of Higher-Order Olfaction Components on Executive Functions in Humans.
... are higher order cognitive capacities that allow people to ori- ent towards the future, display self-control and effectively have goal oriented behaviour ...
11
A new sequence of linear positive operators for higher order Lp approximation
... ABSTRACT. The purpose of this paper is to develo p some direct results in the Lp approximation by a linear combination of a new sequence of linear positive operators. We estimate the error in the approximation in terms ...
10
The role of information literacy competence and higher order thinking skills to develop academic writing in science and engineering students
... Three units were designed: Nominalizations, Making Generalizations: Boosting and Hedging, and Writing a Research Paper/Project Report. The lead-in tasks, which focused on raising awareness of the nature and ...
9
A higher-order perturbation analysis of the nonlinear Schrödinger equation
... A well-known and thoroughly studied phenomenon in nonlinear wave propagation is that of modulation instability (MI). MI is usually approached as a perturbation to a pump, and its analysis is based on preserving only ...
10
An approach to higher-order assertion-based debugging of higher-order (C)LP programs
... between higher-order and assertions in ...in order to deal with higher-order calls and recall and adapt the notions of first-order conditional literals, assertions, program ...
24
Higher order mean curvatures of SAC half lightlike submanifolds of indefinite almost contact manifolds
... introduce higher order mean curvatures of screen almost con- formal (SAC) half-lightlike submanifolds of indefinite almost contact mani- folds, admitting a semi-symmetric non-metric ...
24
Alternans and higher-order rhythms in an ionic model of a sheet of ischemic ventricular muscle
... and higher-order rhythms occur in the model as ischemia progresses, we have not been able to produce sustained spiral-wave activity corresponding to reentrant arrhythmias such as ventricular tachycardia and ...
16
Applying Non-Steady-State Photo-Emf Technique to Detection of Higher Order Auto Correlation Functions of Ultrashort Optical Pulses
... measure higher order correlation functions of short optical pulses using non-steady-state photo-EMF ...and higher order correlation function is ...
9
HIGHER-ORDER MODER EFFECTS OF THE NONUNIFORMLY PERFORATED PIPE
... and higher-order mode ...of higher-order modes (1,0), (0,1) and (2,0) were present in the experiment results for nonuniformly perforated pipe and in the calculated results for uniformly ...
6
Hybrid Higher-Order Statistics Learning in Multiuser Detection
... use higher-order statistics (HOS) in the computation of a unitary transformation to diagonalize higher-order cumulant tensors of the whitened (decorrelated) ...
8
Higher-order regularization and morphological techniques for image segmentation
... images. Higher-order potentials solve the limitations of pair-wise regularization, but parameterizing high-level information in these potentials is ...of higher-order potentials in Chapter ...
128
Assertion-based debugging of higher-order (C)LP programs
... We now introduce predprops, which gather a number of anonymous assertions i n order to fully describe variables containing higher-order terms (predicate symbols), similarly to how pr[r] ...
11
Higher order elliptic equations in half space
... Abstract. We consider 2m th order elliptic equations with H¨ older coefficients in half space. We solve the Dirichlet problem with m conditions on the bound- ary of the upper half space. We first analyze the ...
22