Sleep inertia, sleep homeostatic and circadian influences on higher-order cognitive functions.

Science.gov (United States)

Burke, Tina M; Scheer, Frank A J L; Ronda, Joseph M; Czeisler, Charles A; Wright, Kenneth P

2015-08-01

Sleep inertia, sleep homeostatic and circadian processes modulate cognition, including reaction time, memory, mood and alertness. How these processes influence higher-order cognitive functions is not well known. Six participants completed a 73-day-long study that included two 14-day-long 28-h forced desynchrony protocols to examine separate and interacting influences of sleep inertia, sleep homeostasis and circadian phase on higher-order cognitive functions of inhibitory control and selective visual attention. Cognitive performance for most measures was impaired immediately after scheduled awakening and improved during the first ~2-4 h of wakefulness (decreasing sleep inertia); worsened thereafter until scheduled bedtime (increasing sleep homeostasis); and was worst at ~60° and best at ~240° (circadian modulation, with worst and best phases corresponding to ~09:00 and ~21:00 hours, respectively, in individuals with a habitual wake time of 07:00 hours). The relative influences of sleep inertia, sleep homeostasis and circadian phase depended on the specific higher-order cognitive function task examined. Inhibitory control appeared to be modulated most strongly by circadian phase, whereas selective visual attention for a spatial-configuration search task was modulated most strongly by sleep inertia. These findings demonstrate that some higher-order cognitive processes are differentially sensitive to different sleep-wake regulatory processes. Differential modulation of cognitive functions by different sleep-wake regulatory processes has important implications for understanding mechanisms contributing to performance impairments during adverse circadian phases, sleep deprivation and/or upon awakening from sleep. © 2015 European Sleep Research Society.

1957-2007: 50 Years of Higher Order Programming Languages

Directory of Open Access Journals (Sweden)

Alen Lovrenčić

2009-06-01

Full Text Available Fifty years ago one of the greatest breakthroughs in computer programming and in the history of computers happened -- the appearance of FORTRAN, the first higher-order programming language. From that time until now hundreds of programming languages were invented, different programming paradigms were defined, all with the main goal to make computer programming easier and closer to as many people as possible. Many battles were fought among scientists as well as among developers around concepts of programming, programming languages and paradigms. It can be said that programming paradigms and programming languages were very often a trigger for many changes and improvements in computer science as well as in computer industry. Definitely, computer programming is one of the cornerstones of computer science.Today there are many tools that give a help in the process of programming, but there is still a programming tasks that can be solved only manually. Therefore, programming is still one of the most creative parts of interaction with computers.Programmers should chose programming language in accordance to task they have to solve, but very often, they chose it in accordance to their personal preferences, their beliefs and many other subjective reasons.Nevertheless, the market of programming languages can be merciless to languages as history was merciless to some people, even whole nations. Programming languages and developers get born, live and die leaving more or less tracks and successors, and not always the best survives. The history of programming languages is closely connected to the history of computers and computer science itself. Every single thing from one of them has its reflexions onto the other. This paper gives a short overview of last fifty years of computer programming and computer programming languages, but also gives many ideas that influenced other aspects of computer science. Particularly, programming paradigms are described, their

Higher-Order Components for Grid Programming

CERN Document Server

Dünnweber, Jan

2009-01-01

Higher-Order Components were developed within the CoreGRID European Network of Excellence and have become an optional extension of the popular Globus middleware. This book provides the reader with hands-on experience, describing a collection of example applications from various fields of science and engineering, including biology and physics.

Solution of volume-surface integral equations using higher-order hierarchical Legendre basis functions

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Meincke, Peter; Breinbjerg, Olav

2007-01-01

The problem of electromagnetic scattering by composite metallic and dielectric objects is solved using the coupled volume-surface integral equation (VSIE). The method of moments (MoM) based on higher-order hierarchical Legendre basis functions and higher-order curvilinear geometrical elements...... with the analytical Mie series solution. Scattering by more complex metal-dielectric objects are also considered to compare the presented technique with other numerical methods....

Higher-order rewriting and partial evaluation

DEFF Research Database (Denmark)

Danvy, Olivier; Rose, Kristoffer H.

1998-01-01

We demonstrate the usefulness of higher-order rewriting techniques for specializing programs, i.e., for partial evaluation. More precisely, we demonstrate how casting program specializers as combinatory reduction systems (CRSs) makes it possible to formalize the corresponding program...

Thermal analysis of smart composite laminated angle-ply using higher order shear deformation theory with zig zag function

Science.gov (United States)

YagnaSri, P.; Siddiqui, Maimuna; Vijaya Nirmala, M.

2018-03-01

The objective of the work is to develop the higher order theory for piezoelectric composite laminated plates with zigzag function and to determine the thermal characteristics of piezoelectric laminated plate with zig zag function for different aspect ratios (a/h), thickness ratios (z/h) and voltage and also to evaluate electric potential function by solving second order differential equation satisfying electric boundary conditions along the thickness direction of piezoelectric layer. The related functions and derivations for equation of motion are obtained using the dynamic version of the principle of virtual work or Hamilton’s principle. The solutions are obtained by using Navier’s stokes method for anti-symmetric angle-ply with specific type of simply supported boundary conditions. Computer programs have been developed for realistic prediction of stresses and deflections for various sides to thickness ratios (a/h) and voltages.

Automatic Construction of Java Programs from Functional Program Specifications

OpenAIRE

Md. Humayun Kabir

2015-01-01

This paper presents a novel approach to construct Java programs automatically from the input functional program specifications on natural numbers from the constructive proofs of the input specifications using an inductive theorem prover called Poiti'n. The construction of a Java program from the input functional program specification involves two phases. The theorem prover is used to construct a higher order functional (HOF) program from the input specification expressed as an existential the...

Method of applying single higher order polynomial basis function over multiple domains

CSIR Research Space (South Africa)

Lysko, AA

2010-03-01

Full Text Available A novel method has been devised where one set of higher order polynomial-based basis functions can be applied over several wire segments, thus permitting to decouple the number of unknowns from the number of segments, and so from the geometrical...

Symmetries, invariants and generating functions: higher-order statistics of biased tracers

Science.gov (United States)

Munshi, Dipak

2018-01-01

Gravitationally collapsed objects are known to be biased tracers of an underlying density contrast. Using symmetry arguments, generalised biasing schemes have recently been developed to relate the halo density contrast δh with the underlying density contrast δ, divergence of velocity θ and their higher-order derivatives. This is done by constructing invariants such as s, t, ψ,η. We show how the generating function formalism in Eulerian standard perturbation theory (SPT) can be used to show that many of the additional terms based on extended Galilean and Lifshitz symmetry actually do not make any contribution to the higher-order statistics of biased tracers. Other terms can also be drastically simplified allowing us to write the vertices associated with δh in terms of the vertices of δ and θ, the higher-order derivatives and the bias coefficients. We also compute the cumulant correlators (CCs) for two different tracer populations. These perturbative results are valid for tree-level contributions but at an arbitrary order. We also take into account the stochastic nature bias in our analysis. Extending previous results of a local polynomial model of bias, we express the one-point cumulants Script SN and their two-point counterparts, the CCs i.e. Script Cpq, of biased tracers in terms of that of their underlying density contrast counterparts. As a by-product of our calculation we also discuss the results using approximations based on Lagrangian perturbation theory (LPT).

Higher-Order Generalized Invexity in Control Problems

Directory of Open Access Journals (Sweden)

S. K. Padhan

2011-01-01

Full Text Available We introduce a higher-order duality (Mangasarian type and Mond-Weir type for the control problem. Under the higher-order generalized invexity assumptions on the functions that compose the primal problems, higher-order duality results (weak duality, strong duality, and converse duality are derived for these pair of problems. Also, we establish few examples in support of our investigation.

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

DEFF Research Database (Denmark)

Turon, Aaron; Dreyer, Derek; Birkedal, Lars

2013-01-01

Modular programming and modular verification go hand in hand, but most existing logics for concurrency ignore two crucial forms of modularity: *higher-order functions*, which are essential for building reusable components, and *granularity abstraction*, a key technique for hiding the intricacies ...

Functional Programming in R

DEFF Research Database (Denmark)

Mailund, Thomas

Master functions and discover how to write functional programs in R. In this book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional...... Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recursion when loops are more efficient and how you can get the best of both worlds. Functional programming...... functions by combining simpler functions. You will: Write functions in R including infix operators and replacement functions Create higher order functions Pass functions to other functions and start using functions as data you can manipulate Use Filer, Map and Reduce functions to express the intent behind...

On Delay-Independent Criteria for Oscillation of Higher-Order Functional Differential Equations

Directory of Open Access Journals (Sweden)

Yuangong Sun

2011-01-01

Full Text Available We investigate the oscillation of the following higher-order functional differential equation: x(n(t+q(t|x(t-τ|λ-1x(t-τ=e(t, where q(t and e(t are continuous functions on [t0,∞, 1>λ>0 and τ≠0 are constants. Unlike most of delay-dependent oscillation results in the literature, two delay-independent oscillation criteria for the equation are established in both the case τ>0 and the case τ<0 under the assumption that the potentials q(t and e(t change signs on [t0,∞.

The nonlocal boundary value problems for strongly singular higher-order nonlinear functional-differential equations

Czech Academy of Sciences Publication Activity Database

Mukhigulashvili, Sulkhan

-, č. 35 (2015), s. 23-50 ISSN 1126-8042 Institutional support: RVO:67985840 Keywords : higher order functional differential equations * Dirichlet boundary value problem * strong singularity Subject RIV: BA - General Mathematics http://ijpam.uniud.it/online_issue/201535/03-Mukhigulashvili.pdf

Higher-order force gradient symplectic algorithms

Science.gov (United States)

Chin, Siu A.; Kidwell, Donald W.

2000-12-01

We show that a recently discovered fourth order symplectic algorithm, which requires one evaluation of force gradient in addition to three evaluations of the force, when iterated to higher order, yielded algorithms that are far superior to similarly iterated higher order algorithms based on the standard Forest-Ruth algorithm. We gauge the accuracy of each algorithm by comparing the step-size independent error functions associated with energy conservation and the rotation of the Laplace-Runge-Lenz vector when solving a highly eccentric Kepler problem. For orders 6, 8, 10, and 12, the new algorithms are approximately a factor of 103, 104, 104, and 105 better.

XY model with higher-order exchange.

Science.gov (United States)

Žukovič, Milan; Kalagov, Georgii

2017-08-01

An XY model, generalized by inclusion of up to an infinite number of higher-order pairwise interactions with an exponentially decreasing strength, is studied by spin-wave theory and Monte Carlo simulations. At low temperatures the model displays a quasi-long-range-order phase characterized by an algebraically decaying correlation function with the exponent η=T/[2πJ(p,α)], nonlinearly dependent on the parameters p and α that control the number of the higher-order terms and the decay rate of their intensity, respectively. At higher temperatures the system shows a crossover from the continuous Berezinskii-Kosterlitz-Thouless to the first-order transition for the parameter values corresponding to a highly nonlinear shape of the potential well. The role of topological excitations (vortices) in changing the nature of the transition is discussed.

What the CERAD Battery Can Tell Us about Executive Function as a Higher-Order Cognitive Faculty

Directory of Open Access Journals (Sweden)

Rochelle E. Tractenberg

2010-01-01

Full Text Available Executive function (EF is believed to control or influence the integration and application of cognitive functions such as attention and memory and is an important area of research in cognitive aging. Recent studies and reviews have concluded that there is no single test for EF. Results from first-order latent variable modeling have suggested that little, if any, variability in cognitive performance can be directly (and uniquely attributed to EF; so instead, we modeled EF, as it is conceptualized, as a higher-order function, using elements of the CERAD neuropsychological battery. Responses to subtests from two large, independent cohorts of nondemented elderly persons were modeled with three theoretically plausible structural models using confirmatory factor analysis. Robust fit statistics, generated for the two cohorts separately, were consistent and support the conceptualization of EF as a higher-order cognitive faculty. Although not specifically designed to assess EF, subtests of the CERAD battery provide theoretically and empirically robust evidence about the nature of EF in elderly adults.

Finding Higher Order Differentials of MISTY1

Science.gov (United States)

Tsunoo, Yukiyasu; Saito, Teruo; Kawabata, Takeshi; Nakagawa, Hirokatsu

MISTY1 is a 64-bit block cipher that has provable security against differential and linear cryptanalysis. MISTY1 is one of the algorithms selected in the European NESSIE project, and it is recommended for Japanese e-Government ciphers by the CRYPTREC project. In this paper, we report on 12th order differentials in 3-round MISTY1 with FL functions and 44th order differentials in 4-round MISTY1 with FL functions both previously unknown. We also report that both data complexity and computational complexity of higher order differential attacks on 6-round MISTY1 with FL functions and 7-round MISTY1 with FL functions using the 46th order differential can be reduced to as much as 1/22 of the previous values by using multiple 44th order differentials simultaneously.

Difference equations in massive higher order calculations

International Nuclear Information System (INIS)

Bierenbaum, I.; Bluemlein, J.; Klein, S.; Schneider, C.

2007-07-01

The calculation of massive 2-loop operator matrix elements, required for the higher order Wilson coefficients for heavy flavor production in deeply inelastic scattering, leads to new types of multiple infinite sums over harmonic sums and related functions, which depend on the Mellin parameter N. We report on the solution of these sums through higher order difference equations using the summation package Sigma. (orig.)

The focal boundary value problem for strongly singular higher-order nonlinear functional-differential equations

Czech Academy of Sciences Publication Activity Database

Mukhigulashvili, Sulkhan; Půža, B.

2015-01-01

Roč. 2015, January (2015), s. 17 ISSN 1687-2770 Institutional support: RVO:67985840 Keywords : higher order nonlinear functional-differential equations * two-point right-focal boundary value problem * strong singularity Subject RIV: BA - General Mathematics Impact factor: 0.642, year: 2015 http://link.springer.com/article/10.1186%2Fs13661-014-0277-1

Higher-Order Integral Equation Methods in Computational Electromagnetics

DEFF Research Database (Denmark)

Jørgensen, Erik; Meincke, Peter

Higher-order integral equation methods have been investigated. The study has focused on improving the accuracy and efficiency of the Method of Moments (MoM) applied to electromagnetic problems. A new set of hierarchical Legendre basis functions of arbitrary order is developed. The new basis...

The Cauchy problem for higher order abstract differential equations

CERN Document Server

Xiao, Ti-Jun

1998-01-01

This monograph is the first systematic exposition of the theory of the Cauchy problem for higher order abstract linear differential equations, which covers all the main aspects of the developed theory. The main results are complete with detailed proofs and established recently, containing the corresponding theorems for first and incomplete second order cases and therefore for operator semigroups and cosine functions. They will find applications in many fields. The special power of treating the higher order problems directly is demonstrated, as well as that of the vector-valued Laplace transforms in dealing with operator differential equations and operator families. The reader is expected to have a knowledge of complex and functional analysis.

Higher-order (non-)modularity

DEFF Research Database (Denmark)

Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue

2010-01-01

We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting...... systems modularity of confluence, normalization, and termination can be recovered by imposing suitable linearity constraints....

On higher-order flavour-singlet splitting and coefficient functions at large x

International Nuclear Information System (INIS)

Vogt, A.; Soar, G.; Vermaseren, J.A.M.

2010-08-01

We discuss the large-x behaviour of the splitting functions P qg and P gq and of flavour-singlet coefficient functions, such as the gluon contributions C 2,g and C L,g to the structure functions F 2,L , in massless perturbative QCD. These quantities are suppressed by one or two powers of (1-x) with respect to the (1-x) -1 terms which are the subject of the well-known threshold exponentiation. We show that the double-logarithmic contributions to P qg , P gq and C L at order α s 4 can be predicted from known third-order results and present, as a first step towards a full all-order generalization, the leading-logarithmic large-x behaviour of P qg , P gq and C 2,g at all orders in α s . (orig.)

Certified higher-order recursive path ordering

NARCIS (Netherlands)

Koprowski, A.; Pfenning, F.

2006-01-01

The paper reports on a formalization of a proof of wellfoundedness of the higher-order recursive path ordering (HORPO) in the proof checker Coq. The development is axiom-free and fully constructive. Three substantive parts that could be used also in other developments are the formalizations of the

Protein scaffolds and higher-order complexes in synthetic biology

NARCIS (Netherlands)

den Hamer, A.; Rosier, B.J.H.M.; Brunsveld, L.; de Greef, T.F.A.; Ryadnov, M.; Brunsveld, L.; Suga, H.

2017-01-01

Interactions between proteins control molecular functions such as signalling or metabolic activity. Assembly of proteins via scaffold proteins or in higher-order complexes is a key regulatory mechanism. Understanding and functionally applying this concept requires the construction, study, and

The correlation function for density perturbations in an expanding universe. III The three-point and predictions of the four-point and higher order correlation functions

Science.gov (United States)

Mcclelland, J.; Silk, J.

1978-01-01

Higher-order correlation functions for the large-scale distribution of galaxies in space are investigated. It is demonstrated that the three-point correlation function observed by Peebles and Groth (1975) is not consistent with a distribution of perturbations that at present are randomly distributed in space. The two-point correlation function is shown to be independent of how the perturbations are distributed spatially, and a model of clustered perturbations is developed which incorporates a nonuniform perturbation distribution and which explains the three-point correlation function. A model with hierarchical perturbations incorporating the same nonuniform distribution is also constructed; it is found that this model also explains the three-point correlation function, but predicts different results for the four-point and higher-order correlation functions than does the model with clustered perturbations. It is suggested that the model of hierarchical perturbations might be explained by the single assumption of having density fluctuations or discrete objects all of the same mass randomly placed at some initial epoch.

From higher order thinking to higher order behavior: exploring the relationship between early cognitive skills and social competence in black boys.

Science.gov (United States)

Scott, Kristin M; Barbarin, Oscar A; Brown, Jeffrey M

2013-01-01

This study examines the relations of higher order (i.e., abstract) thinking (HOT) skills to specific domains of social competence in Black boys (n = 108) attending publicly sponsored prekindergarten (pre-K) programs. Data for the study were collected as part of the National Center for Early Development and Learning (NCEDL) Multi-State Study, a national, longitudinal study examining the quality and outcomes in a representative sample of publicly sponsored pre-K programs in six states (N = 240). Pre-K and kindergarten teachers rated randomly selected children on measures of abstract thinking, self-regulation, and social functioning at the beginning and end of each school year. Applying structural equation modeling, compared with earlier time points, HOT measured in the fall of kindergarten significantly predicted each of the domains of social competence in the spring of kindergarten, with the exception of peer social skills, while controlling for general cognitive ability. Results suggest that early intervention to improve HOT may be an effective and more focused approach to address concerns about Black boys' early social competencies in specific domains and potentially reduce the risk of later social difficulties. © 2013 American Orthopsychiatric Association.

Higher order effects of pseudoparticles in QCD

International Nuclear Information System (INIS)

Hietarinta, J.; Palmer, W.F.

1977-01-01

Gauge invariant Green's functions of quark-antiquark bilinear densities in massless, two-color QCD are studied. Nonzero-energy fermion modes, pseudoparticle solutions with topological charge absolute value ν > 1, and n-point functions with n > 2. Some general properties of the O(Dirac constant) approximation are developed, enabling one to isolate and define the terms which contribute to a general n-point function. The higher effects it is found preserve the symmetry breakdown found earlier in the 2-point function (U(2) x U(2) → SU(2) x SU(2) x U(1)). It is shown that a previous 2-point function analysis is exact to order Dirac constant

IRFK2D: a computer program for simulating intrinsic random functions of order k

Science.gov (United States)

Pardo-Igúzquiza, Eulogio; Dowd, Peter A.

2003-07-01

IRFK2D is an ANSI Fortran-77 program that generates realizations of an intrinsic function of order k (with k equal to 0, 1 or 2) with a permissible polynomial generalized covariance model. The realizations may be non-conditional or conditioned to the experimental data. The turning bands method is used to generate realizations in 2D and 3D from simulations of an intrinsic random function of order k along lines that span the 2D or 3D space. The program generates two output files, the first containing the simulated values and the second containing the theoretical generalized variogram for different directions together with the theoretical model. The experimental variogram is calculated from the simulated values while the theoretical variogram is the specified generalized covariance model. The generalized variogram is used to assess the quality of the simulation as measured by the extent to which the generalized covariance is reproduced by the simulation. The examples given in this paper indicate that IRFK2D is an efficient implementation of the methodology.

Symbolic Algebra Development for Higher-Order Electron Propagator Formulation and Implementation.

Science.gov (United States)

Tamayo-Mendoza, Teresa; Flores-Moreno, Roberto

2014-06-10

Through the use of symbolic algebra, implemented in a program, the algebraic expression of the elements of the self-energy matrix for the electron propagator to different orders were obtained. In addition, a module for the software package Lowdin was automatically generated. Second- and third-order electron propagator results have been calculated to test the correct operation of the program. It was found that the Fortran 90 modules obtained automatically with our algorithm succeeded in calculating ionization energies with the second- and third-order electron propagator in the diagonal approximation. The strategy for the development of this symbolic algebra program is described in detail. This represents a solid starting point for the automatic derivation and implementation of higher-order electron propagator methods.

An accurate higher order displacement model with shear and normal deformations effects for functionally graded plates

Energy Technology Data Exchange (ETDEWEB)

Jha, D.K., E-mail: dkjha@barc.gov.in [Civil Engineering Division, Bhabha Atomic Research Centre, Trombay, Mumbai 400 085 (India); Kant, Tarun [Department of Civil Engineering, Indian Institute of Technology Bombay, Powai, Mumbai 400 076 (India); Srinivas, K. [Civil Engineering Division, Bhabha Atomic Research Centre, Mumbai 400 085 (India); Singh, R.K. [Reactor Safety Division, Bhabha Atomic Research Centre, Mumbai 400 085 (India)

2013-12-15

Highlights: • We model through-thickness variation of material properties in functionally graded (FG) plates. • Effect of material grading index on deformations, stresses and natural frequency of FG plates is studied. • Effect of higher order terms in displacement models is studied for plate statics. • The benchmark solutions for the static analysis and free vibration of thick FG plates are presented. -- Abstract: Functionally graded materials (FGMs) are the potential candidates under consideration for designing the first wall of fusion reactors with a view to make best use of potential properties of available materials under severe thermo-mechanical loading conditions. A higher order shear and normal deformations plate theory is employed for stress and free vibration analyses of functionally graded (FG) elastic, rectangular, and simply (diaphragm) supported plates. Although FGMs are highly heterogeneous in nature, they are generally idealized as continua with mechanical properties changing smoothly with respect to spatial coordinates. The material properties of FG plates are assumed here to vary through thickness of plate in a continuous manner. Young's modulii and material densities are considered to be varying continuously in thickness direction according to volume fraction of constituents which are mathematically modeled here as exponential and power law functions. The effects of variation of material properties in terms of material gradation index on deformations, stresses and natural frequency of FG plates are investigated. The accuracy of present numerical solutions has been established with respect to exact three-dimensional (3D) elasticity solutions and the other models’ solutions available in literature.

An accurate higher order displacement model with shear and normal deformations effects for functionally graded plates

International Nuclear Information System (INIS)

Jha, D.K.; Kant, Tarun; Srinivas, K.; Singh, R.K.

2013-01-01

Highlights: • We model through-thickness variation of material properties in functionally graded (FG) plates. • Effect of material grading index on deformations, stresses and natural frequency of FG plates is studied. • Effect of higher order terms in displacement models is studied for plate statics. • The benchmark solutions for the static analysis and free vibration of thick FG plates are presented. -- Abstract: Functionally graded materials (FGMs) are the potential candidates under consideration for designing the first wall of fusion reactors with a view to make best use of potential properties of available materials under severe thermo-mechanical loading conditions. A higher order shear and normal deformations plate theory is employed for stress and free vibration analyses of functionally graded (FG) elastic, rectangular, and simply (diaphragm) supported plates. Although FGMs are highly heterogeneous in nature, they are generally idealized as continua with mechanical properties changing smoothly with respect to spatial coordinates. The material properties of FG plates are assumed here to vary through thickness of plate in a continuous manner. Young's modulii and material densities are considered to be varying continuously in thickness direction according to volume fraction of constituents which are mathematically modeled here as exponential and power law functions. The effects of variation of material properties in terms of material gradation index on deformations, stresses and natural frequency of FG plates are investigated. The accuracy of present numerical solutions has been established with respect to exact three-dimensional (3D) elasticity solutions and the other models’ solutions available in literature

Higher-Order Finite Element Solutions of Option Prices

DEFF Research Database (Denmark)

Raahauge, Peter

2004-01-01

Kinks and jumps in the payoff function of option contracts prevent an effectiveimplementation of higher-order numerical approximation methods. Moreover, thederivatives (the greeks) are not easily determined around such singularities, even withstandard lower-order methods. This paper suggests...... for prices as well as for first and second order derivatives(delta and gamma). Unlike similar studies, numerical approximation errors aremeasured both as weighted averages and in the supnorm over a state space includingtime-to-maturities down to a split second.KEYWORDS: Numerical option pricing, Transformed...

Higher order QCD corrections in small x physics

International Nuclear Information System (INIS)

Chachamis, G.

2006-11-01

We study higher order QCD corrections in small x Physics. The numerical implementation of the full NLO photon impact factor is the remaining necessary piece for the testing of the NLO BFKL resummation against data from physical processes, such as γ * γ * collisions. We perform the numerical integration over phase space for the virtual corrections to the NLO photon impact factor. This, along with the previously calculated real corrections, makes feasible in the near future first estimates for the γ*γ* total cross section, since the convolution of the full impact factor with the NLO BFKL gluon Green's function is now straightforward. The NLO corrections for the photon impact factor are sizeable and negative. In the second part of this thesis, we estimate higher order correction to the BK equation. We are mainly interested in whether partonic saturation delays or not in rapidity when going beyond the leading order. In our investigation, we use the so called 'rapidity veto' which forbid two emissions to be very close in rapidity, to 'switch on' higher order corrections to the BK equation. From analytic and numerical analysis, we conclude that indeed saturation does delay in rapidity when higher order corrections are taken into account. In the last part, we investigate higher order QCD corrections as additional corrections to the Electroweak (EW) sector. The question of whether BFKL corrections are of any importance in the Regge limit for the EW sector seems natural; although they arise in higher loop level, the accumulation of logarithms in energy s at high energies, cannot be dismissed without an investigation. We focus on the process γγ→ZZ. We calculate the pQCD corrections in the forward region at leading logarithmic (LL) BFKL accuracy, which are of the order of few percent at the TeV energy scale. (orig.)

Higher order QCD corrections in small x physics

Energy Technology Data Exchange (ETDEWEB)

Chachamis, G.

2006-11-15

We study higher order QCD corrections in small x Physics. The numerical implementation of the full NLO photon impact factor is the remaining necessary piece for the testing of the NLO BFKL resummation against data from physical processes, such as {gamma}{sup *}{gamma}{sup *} collisions. We perform the numerical integration over phase space for the virtual corrections to the NLO photon impact factor. This, along with the previously calculated real corrections, makes feasible in the near future first estimates for the {gamma}*{gamma}* total cross section, since the convolution of the full impact factor with the NLO BFKL gluon Green's function is now straightforward. The NLO corrections for the photon impact factor are sizeable and negative. In the second part of this thesis, we estimate higher order correction to the BK equation. We are mainly interested in whether partonic saturation delays or not in rapidity when going beyond the leading order. In our investigation, we use the so called 'rapidity veto' which forbid two emissions to be very close in rapidity, to 'switch on' higher order corrections to the BK equation. From analytic and numerical analysis, we conclude that indeed saturation does delay in rapidity when higher order corrections are taken into account. In the last part, we investigate higher order QCD corrections as additional corrections to the Electroweak (EW) sector. The question of whether BFKL corrections are of any importance in the Regge limit for the EW sector seems natural; although they arise in higher loop level, the accumulation of logarithms in energy s at high energies, cannot be dismissed without an investigation. We focus on the process {gamma}{gamma}{yields}ZZ. We calculate the pQCD corrections in the forward region at leading logarithmic (LL) BFKL accuracy, which are of the order of few percent at the TeV energy scale. (orig.)

Higher Order Differential Attack on 6-Round MISTY1

Science.gov (United States)

Tsunoo, Yukiyasu; Saito, Teruo; Nakashima, Hiroki; Shigeri, Maki

MISTY1 is a 64-bit block cipher that has provable security against differential and linear cryptanalysis. MISTY1 is one of the algorithms selected in the European NESSIE project, and it has been recommended for Japanese e-Government ciphers by the CRYPTREC project. This paper reports a previously unknown higher order differential characteristic of 4-round MISTY1 with the FL functions. It also shows that a higher order differential attack that utilizes this newly discovered characteristic is successful against 6-round MISTY1 with the FL functions. This attack can recover a partial subkey with a data complexity of 253.7 and a computational complexity of 264.4, which is better than any previous cryptanalysis of MISTY1.

The Effects of a Multi-Component Higher-Functioning Autism Anti-Stigma Program on Adolescent Boys

Science.gov (United States)

Staniland, Jessica J.; Byrne, Mitchell K.

2013-01-01

A six-session higher-functioning autism anti-stigma program incorporating descriptive, explanatory and directive information was delivered to adolescent boys and the impact upon knowledge, attitudes and behavioural intentions towards peers with autism was evaluated. Participants were seventh-, eighth- and ninth-grade students (N = 395) from…

Higher-order threshold resummation for semi-inclusive e+e- annihilation

International Nuclear Information System (INIS)

Moch, S.; Vogt, A.

2009-08-01

The complete soft-enhanced and virtual-gluon contributions are derived for the quark coefficient functions in semi-inclusive e + e - annihilation to the third order in massless perturbative QCD. These terms enable us to extend the soft-gluon resummation for the fragmentation functions by two orders to the next-to-next-to-next-to-leading logarithmic (N 3 LL) accuracy. The resummation exponent is found to be the same as for the structure functions in inclusive deep-inelastic scattering. This finding, together with known results on the higher-order quark form factor, facilitates the determination of all soft and virtual contributions of the fourth-order difference of the coefficient functions for these two processes. Unlike the previous (N 2 LL) order in the exponentiation, the numerical effect of the N 3 LL contributions turns out to be negligible at LEP energies. (orig.)

Higher Order Expectations in Asset Pricing

OpenAIRE

Philippe BACCHETTA; Eric VAN WINCOOP

2004-01-01

We examine formally Keynes' idea that higher order beliefs can drive a wedge between an asset price and its fundamental value based on expected future payoffs. Higher order expectations add an additional term to a standard asset pricing equation. We call this the higher order wedge, which depends on the difference between higher and first order expectations of future payoffs. We analyze the determinants of this wedge and its impact on the equilibrium price. In the context of a dynamic noisy r...

Analysis of Buried Dielectric Objects Using Higher-Order MoM for Volume Integral Equations

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Meincke, Peter; Breinbjerg, Olav

2004-01-01

A higher-order method of moments (MoM) is applied to solve a volume integral equation for dielectric objects in layered media. In comparison to low-order methods, the higher-order MoM, which is based on higher-order hierarchical Legendre vector basis functions and curvilinear hexahedral elements,...

Optimized Signaling Method for High-Speed Transmission Channels with Higher Order Transfer Function

Science.gov (United States)

Ševčík, Břetislav; Brančík, Lubomír; Kubíček, Michal

2017-08-01

In this paper, the selected results from testing of optimized CMOS friendly signaling method for high-speed communications over cables and printed circuit boards (PCBs) are presented and discussed. The proposed signaling scheme uses modified concept of pulse width modulated (PWM) signal which enables to better equalize significant channel losses during data high-speed transmission. Thus, the very effective signaling method to overcome losses in transmission channels with higher order transfer function, typical for long cables and multilayer PCBs, is clearly analyzed in the time and frequency domain. Experimental results of the measurements include the performance comparison of conventional PWM scheme and clearly show the great potential of the modified signaling method for use in low power CMOS friendly equalization circuits, commonly considered in modern communication standards as PCI-Express, SATA or in Multi-gigabit SerDes interconnects.

Higher twist contributions to the structure functions Fp2(x,Q2) and Fd2(x,Q2) at large x at higher orders

International Nuclear Information System (INIS)

Bluemlein, J.; Boettcher, H.

2008-02-01

The higher twist contributions to the deeply inelastic structure functions F p 2 (x,Q 2 ) and F d 2 (x,Q 2 ) for larger values of the Bjorken variable x are extracted extrapolating the twist-2 contributions measured in the large W 2 region to the region 4 GeV 2 ≤W 2 ≤12.5 GeV 2 applying target mass corrections. We compare the results for the NLO, NNLO and N 3 LO analyzes and include also the large x at N 4 LO to the Wilson coefficients. A gradual lowering of the higher twist contributions going from NLO to N 4 LO is observed, which stresses the importance of higher order corrections. (orig.)

Higher-Order Hierarchies

DEFF Research Database (Denmark)

Ernst, Erik

2003-01-01

This paper introduces the notion of higher-order inheritance hierarchies. They are useful because they provide well-known benefits of object-orientation at the level of entire hierarchies-benefits which are not available with current approaches. Three facets must be adressed: First, it must be po...

A higher order space-time Galerkin scheme for time domain integral equations

KAUST Repository

Pray, Andrew J.

2014-12-01

Stability of time domain integral equation (TDIE) solvers has remained an elusive goal formany years. Advancement of this research has largely progressed on four fronts: 1) Exact integration, 2) Lubich quadrature, 3) smooth temporal basis functions, and 4) space-time separation of convolutions with the retarded potential. The latter method\\'s efficacy in stabilizing solutions to the time domain electric field integral equation (TD-EFIE) was previously reported for first-order surface descriptions (flat elements) and zeroth-order functions as the temporal basis. In this work, we develop the methodology necessary to extend the scheme to higher order surface descriptions as well as to enable its use with higher order basis functions in both space and time. These basis functions are then used in a space-time Galerkin framework. A number of results are presented that demonstrate convergence in time. The viability of the space-time separation method in producing stable results is demonstrated experimentally for these examples.

A higher order space-time Galerkin scheme for time domain integral equations

KAUST Repository

Pray, Andrew J.; Beghein, Yves; Nair, Naveen V.; Cools, Kristof; Bagci, Hakan; Shanker, Balasubramaniam

2014-01-01

Stability of time domain integral equation (TDIE) solvers has remained an elusive goal formany years. Advancement of this research has largely progressed on four fronts: 1) Exact integration, 2) Lubich quadrature, 3) smooth temporal basis functions, and 4) space-time separation of convolutions with the retarded potential. The latter method's efficacy in stabilizing solutions to the time domain electric field integral equation (TD-EFIE) was previously reported for first-order surface descriptions (flat elements) and zeroth-order functions as the temporal basis. In this work, we develop the methodology necessary to extend the scheme to higher order surface descriptions as well as to enable its use with higher order basis functions in both space and time. These basis functions are then used in a space-time Galerkin framework. A number of results are presented that demonstrate convergence in time. The viability of the space-time separation method in producing stable results is demonstrated experimentally for these examples.

Algebraic Specifications, Higher-order Types and Set-theoretic Models

DEFF Research Database (Denmark)

Kirchner, Hélène; Mosses, Peter David

2001-01-01

, and power-sets. This paper presents a simple framework for algebraic specifications with higher-order types and set-theoretic models. It may be regarded as the basis for a Horn-clause approximation to the Z framework, and has the advantage of being amenable to prototyping and automated reasoning. Standard......In most algebraic  specification frameworks, the type system is restricted to sorts, subsorts, and first-order function types. This is in marked contrast to the so-called model-oriented frameworks, which provide higer-order types, interpreted set-theoretically as Cartesian products, function spaces...... set-theoretic models are considered, and conditions are given for the existence of initial reduct's of such models. Algebraic specifications for various set-theoretic concepts are considered....

Challenges in higher order mode Raman amplifiers

DEFF Research Database (Denmark)

Rottwitt, Karsten; Nielsen, Kristian; Friis, Søren Michael Mørk

2015-01-01

A higher order Raman amplifier model that take random mode coupling into account ispresented. Mode dependent gain and signal power fluctuations at the output of the higher order modeRaman amplifier are discussed......A higher order Raman amplifier model that take random mode coupling into account ispresented. Mode dependent gain and signal power fluctuations at the output of the higher order modeRaman amplifier are discussed...

HIGHER ORDER THINKING IN TEACHING GRAMMAR

Directory of Open Access Journals (Sweden)

Citra Dewi

2017-04-01

Full Text Available The aim of this paper discussed about how to enhance students’ higher order thinking that should be done by teacher in teaching grammar. Usually teaching grammar was boring and has the same way to learn like change the pattern of sentence into positive, negative and introgative while the students’ need more various way to develop their thinking. The outcome of students’ competence in grammar sometimes not sufficient enough when the students’ occured some test international standart like Test of English Foreign Language, International English Language Testing. Whereas in TOEFL test it needed higher order thinking answer, so teacher should develop students’ higher order thingking in daily teaching grammar in order to make the students’ enhance their thinking are higher. The method was used in this paper by using field study based on the experience of teaching grammar. It can be shown by students’ toefl score was less in stucture and written expression. The result of this paper was after teacher gave some treatments to enhance students’ higher order thinking in teaching grammar, the students’ toefl scores are sufficient enough as a part of stucture and written expression. It can concluded that it needed some strategies to enhancce students higher order thinking by teaching grammar it can make students’ higher toefl score. Teachers should be creative and inovative to teach the students’ started from giving the students’ question or test in teaching grammar.

Analysis of Scattering by Inhomogeneous Dielectric Objects Using Higher-Order Hierarchical MoM

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Jørgensen, Erik; Meincke, Peter

2003-01-01

An efficient technique for the analysis of electromagnetic scattering by arbitrary shaped inhomogeneous dielectric objects is presented. The technique is based on a higher-order method of moments (MoM) solution of the volume integral equation. This higher-order MoM solution comprises recently...... that the condition number of the resulting MoM matrix is reduced by several orders of magnitude in comparison to existing higher-order hierarchical basis functions and, consequently, an iterative solver can be applied even for high expansion orders. Numerical results demonstrate excellent agreement...

A stable higher order space time Galerkin marching-on-in-time scheme

KAUST Repository

Pray, Andrew J.

2013-07-01

We present a method for the stable solution of time-domain integral equations. The method uses a technique developed in [1] to accurately evaluate matrix elements. As opposed to existing stabilization schemes, the method presented uses higher order basis functions in time to improve the accuracy of the solver. The method is validated by showing convergence in temporal basis function order, time step size, and geometric discretization order. © 2013 IEEE.

Higher order polynomial expansion nodal method for hexagonal core neutronics analysis

International Nuclear Information System (INIS)

Jin, Young Cho; Chang, Hyo Kim

1998-01-01

A higher-order polynomial expansion nodal(PEN) method is newly formulated as a means to improve the accuracy of the conventional PEN method solutions to multi-group diffusion equations in hexagonal core geometry. The new method is applied to solving various hexagonal core neutronics benchmark problems. The computational accuracy of the higher order PEN method is then compared with that of the conventional PEN method, the analytic function expansion nodal (AFEN) method, and the ANC-H method. It is demonstrated that the higher order PEN method improves the accuracy of the conventional PEN method and that it compares very well with the other nodal methods like the AFEN and ANC-H methods in accuracy

Higher-order structure of Saccharomyces cerevisiae chromatin

International Nuclear Information System (INIS)

Lowary, P.T.; Widom, J.

1989-01-01

We have developed a method for partially purifying chromatin from Saccharomyces cerevisiae (baker's yeast) to a level suitable for studies of its higher-order folding. This has required the use of yeast strains that are free of the ubiquitous yeast killer virus. Results from dynamic light scattering, electron microscopy, and x-ray diffraction show that the yeast chromatin undergoes a cation-dependent folding into 30-nm filaments that resemble those characteristic of higher-cell chromatin; moreover, the packing of nucleosomes within the yeast 30-nm filaments is similar to that of higher cells. These results imply that yeast has a protein or protein domain that serves the role of the histone H 1 found in higher cells; physical and genetic studies of the yeast activity could help elucidate the structure and function of H 1. Images of the yeast 30-nm filaments can be used to test crossed-linker models for 30-nm filament structure

Higher-Order Statistical Correlations and Mutual Information Among Particles in a Quantum Well

Science.gov (United States)

Yépez, V. S.; Sagar, R. P.; Laguna, H. G.

2017-12-01

The influence of wave function symmetry on statistical correlation is studied for the case of three non-interacting spin-free quantum particles in a unidimensional box, in position and in momentum space. Higher-order statistical correlations occurring among the three particles in this quantum system is quantified via higher-order mutual information and compared to the correlation between pairs of variables in this model, and to the correlation in the two-particle system. The results for the higher-order mutual information show that there are states where the symmetric wave functions are more correlated than the antisymmetric ones with same quantum numbers. This holds in position as well as in momentum space. This behavior is opposite to that observed for the correlation between pairs of variables in this model, and the two-particle system, where the antisymmetric wave functions are in general more correlated. These results are also consistent with those observed in a system of three uncoupled oscillators. The use of higher-order mutual information as a correlation measure, is monitored and examined by considering a superposition of states or systems with two Slater determinants.

Higher-Order Statistical Correlations and Mutual Information Among Particles in a Quantum Well

International Nuclear Information System (INIS)

Yépez, V. S.; Sagar, R. P.; Laguna, H. G.

2017-01-01

The influence of wave function symmetry on statistical correlation is studied for the case of three non-interacting spin-free quantum particles in a unidimensional box, in position and in momentum space. Higher-order statistical correlations occurring among the three particles in this quantum system is quantified via higher-order mutual information and compared to the correlation between pairs of variables in this model, and to the correlation in the two-particle system. The results for the higher-order mutual information show that there are states where the symmetric wave functions are more correlated than the antisymmetric ones with same quantum numbers. This holds in position as well as in momentum space. This behavior is opposite to that observed for the correlation between pairs of variables in this model, and the two-particle system, where the antisymmetric wave functions are in general more correlated. These results are also consistent with those observed in a system of three uncoupled oscillators. The use of higher-order mutual information as a correlation measure, is monitored and examined by considering a superposition of states or systems with two Slater determinants. (author)

Higher-order blackhole solutions in N=2 supergravity and Calabi-Yau string backgrounds

NARCIS (Netherlands)

Behrndt, K.; Cardoso, G.L.; de Wit, B.Q.P.J.; Lüst, D.; Mohaupt, T.; Sabra, W.A.

1998-01-01

Based on special geometry, we consider corrections to N=2 extremal black-hole solutions and their entropies originating from higher-order derivative terms in N=2 supergravity. These corrections are described by a holomorphic function, and the higher-order black-hole solutions can be expressed in

Security Analysis of 7-Round MISTY1 against Higher Order Differential Attacks

Science.gov (United States)

Tsunoo, Yukiyasu; Saito, Teruo; Shigeri, Maki; Kawabata, Takeshi

MISTY1 is a 64-bit block cipher that has provable security against differential and linear cryptanalysis. MISTY1 is one of the algorithms selected in the European NESSIE project, and it has been recommended for Japanese e-Government ciphers by the CRYPTREC project. This paper shows that higher order differential attacks can be successful against 7-round versions of MISTY1 with FL functions. The attack on 7-round MISTY1 can recover a partial subkey with a data complexity of 254.1 and a computational complexity of 2120.8, which signifies the first successful attack on 7-round MISTY1 with no limitation such as a weak key. This paper also evaluates the complexity of this higher order differential attack on MISTY1 in which the key schedule is replaced by a pseudorandom function. It is shown that resistance to the higher order differential attack is not substantially improved even in 7-round MISTY1 in which the key schedule is replaced by a pseudorandom function.

Quantum Noether identities for non-local transformations in higher-order derivatives theories

International Nuclear Information System (INIS)

Li, Z.P.; Long, Z.W.

2003-01-01

Based on the phase-space generating functional of the Green function for a system with a regular/singular higher-order Lagrangian, the quantum canonical Noether identities (NIs) under a local and non-local transformation in phase space have been deduced, respectively. For a singular higher-order Lagrangian, one must use an effective canonical action I eff P in quantum canonical NIs instead of the classical I P in classical canonical NIs. The quantum NIs under a local and non-local transformation in configuration space for a gauge-invariant system with a higher-order Lagrangian have also been derived. The above results hold true whether or not the Jacobian of the transformation is equal to unity or not. It has been pointed out that in certain cases the quantum NIs may be converted to conservation laws at the quantum level. This algorithm to derive the quantum conservation laws is significantly different from the quantum first Noether theorem. The applications of our formulation to the Yang-Mills fields and non-Abelian Chern-Simons (CS) theories with higher-order derivatives are given, and the conserved quantities at the quantum level for local and non-local transformations are found, respectively. (orig.)

On the Entropy Based Associative Memory Model with Higher-Order Correlations

Directory of Open Access Journals (Sweden)

Masahiro Nakagawa

2010-01-01

Full Text Available In this paper, an entropy based associative memory model will be proposed and applied to memory retrievals with an orthogonal learning model so as to compare with the conventional model based on the quadratic Lyapunov functional to be minimized during the retrieval process. In the present approach, the updating dynamics will be constructed on the basis of the entropy minimization strategy which may be reduced asymptotically to the above-mentioned conventional dynamics as a special case ignoring the higher-order correlations. According to the introduction of the entropy functional, one may involve higer-order correlation effects between neurons in a self-contained manner without any heuristic coupling coefficients as in the conventional manner. In fact we shall show such higher order coupling tensors are to be uniquely determined in the framework of the entropy based approach. From numerical results, it will be found that the presently proposed novel approach realizes much larger memory capacity than that of the quadratic Lyapunov functional approach, e.g., associatron.

Frontiers of higher order fuzzy sets

CERN Document Server

Tahayori, Hooman

2015-01-01

Frontiers of Higher Order Fuzzy Sets, strives to improve the theoretical aspects of general and Interval Type-2 fuzzy sets and provides a unified representation theorem for higher order fuzzy sets. Moreover, the book elaborates on the concept of gradual elements and their integration with the higher order fuzzy sets. This book also introduces new frameworks for information granulation based on general T2FSs, IT2FSs, Gradual elements, Shadowed sets and rough sets. In particular, the properties and characteristics of the new proposed frameworks are studied. Such new frameworks are shown to be more capable to be exploited in real applications. Higher order fuzzy sets that are the result of the integration of general T2FSs, IT2FSs, gradual elements, shadowed sets and rough sets will be shown to be suitable to be applied in the fields of bioinformatics, business, management, ambient intelligence, medicine, cloud computing and smart grids. Presents new variations of fuzzy set frameworks and new areas of applicabili...

MODY - calculation of ordered structures by symmetry-adapted functions

Science.gov (United States)

Białas, Franciszek; Pytlik, Lucjan; Sikora, Wiesława

2016-01-01

In this paper we focus on the new version of computer program MODY for calculations of symmetryadapted functions based on the theory of groups and representations. The choice of such a functional frame of coordinates for description of ordered structures leads to a minimal number of parameters which must be used for presentation of such structures and investigations of their properties. The aim of this work is to find those parameters, which are coefficients of a linear combination of calculated functions, leading to construction of different types of structure ordering with a given symmetry. A spreadsheet script for simplification of this work has been created and attached to the program.

Oscillation of solutions of some higher order linear differential equations

Directory of Open Access Journals (Sweden)

Hong-Yan Xu

2009-11-01

Full Text Available In this paper, we deal with the order of growth and the hyper order of solutions of higher order linear differential equations $$f^{(k}+B_{k-1}f^{(k-1}+\\cdots+B_1f'+B_0f=F$$ where $B_j(z (j=0,1,\\ldots,k-1$ and $F$ are entire functions or polynomials. Some results are obtained which improve and extend previous results given by Z.-X. Chen, J. Wang, T.-B. Cao and C.-H. Li.

The effects of a multi-component higher-functioning autism anti-stigma program on adolescent boys.

Science.gov (United States)

Staniland, Jessica J; Byrne, Mitchell K

2013-12-01

A six-session higher-functioning autism anti-stigma program incorporating descriptive, explanatory and directive information was delivered to adolescent boys and the impact upon knowledge, attitudes and behavioural intentions towards peers with autism was evaluated. Participants were seventh-, eighth- and ninth-grade students (N = 395) from regular classes in a mainstream school. Two-eighth-grade classes were randomly allocated to the intervention condition and all remaining students were either allocated to the no-intervention peer or no-intervention non-peer condition. The anti-stigma program improved the knowledge and attitudes, but not the behavioural intentions of participants towards their peers with autism. Knowledge and attitudinal changes were maintained at follow-up. There were no spill-over effects of the program to non-targeted students. These results provide some preliminary evidence for the effectiveness of multi-session anti-stigma programs incorporating combined information for adolescent students in inclusive educational environments.

Higher order harmonics of reactor neutron equation

International Nuclear Information System (INIS)

Li Fu; Hu Yongming; Luo Zhengpei

1996-01-01

The flux mapping method using the higher order harmonics of the neutron equation is proposed. Based on the bi-orthogonality of the higher order harmonics, the process and formulas for higher order harmonics calculation are derived via the source iteration method with source correction. For the first time, not only any order harmonics for up-to-3-dimensional geometry are achieved, but also the preliminary verification to the capability for flux mapping have been carried out

Functional Programming for Java Developers Tools for Better Concurrency, Abstraction, and Agility

CERN Document Server

Wampler, Dean

2011-01-01

Software development today is embracing functional programming (FP), whether it's for writing concurrent programs or for managing Big Data. Where does that leave Java developers? This concise book offers a pragmatic, approachable introduction to FP for Java developers or anyone who uses an object-oriented language. Dean Wampler, Java expert and author of Programming Scala (O'Reilly), shows you how to apply FP principles such as immutability, avoidance of side-effects, and higher-order functions to your Java code. Each chapter provides exercises to help you practice what you've learned. Once

Higher-order meshing of implicit geometries, Part II: Approximations on manifolds

Science.gov (United States)

Fries, T. P.; Schöllhammer, D.

2017-11-01

A new concept for the higher-order accurate approximation of partial differential equations on manifolds is proposed where a surface mesh composed by higher-order elements is automatically generated based on level-set data. Thereby, it enables a completely automatic workflow from the geometric description to the numerical analysis without any user-intervention. A master level-set function defines the shape of the manifold through its zero-isosurface which is then restricted to a finite domain by additional level-set functions. It is ensured that the surface elements are sufficiently continuous and shape regular which is achieved by manipulating the background mesh. The numerical results show that optimal convergence rates are obtained with a moderate increase in the condition number compared to handcrafted surface meshes.

Neural classifiers for learning higher-order correlations

International Nuclear Information System (INIS)

Gueler, M.

1999-01-01

Studies by various authors suggest that higher-order networks can be more powerful and biologically more plausible with respect to the more traditional multilayer networks. These architecture make explicit use of nonlinear interactions between input variables in the form of higher-order units or product units. If it is known a priori that the problem to be implemented possesses a given set of invariances like in the translation, rotation, and scale invariant recognition problems, those invariances can be encoded, thus eliminating all higher-order terms which are incompatible with the invariances. In general, however, it is a serious set-back that the complexity of learning increases exponentially with the size of inputs. This paper reviews higher-order networks and introduces an implicit representation in which learning complexity is mainly decided by the number of higher-order terms to be learned and increases only linearly with the input size

Neural Classifiers for Learning Higher-Order Correlations

Science.gov (United States)

Güler, Marifi

1999-01-01

Studies by various authors suggest that higher-order networks can be more powerful and are biologically more plausible with respect to the more traditional multilayer networks. These architectures make explicit use of nonlinear interactions between input variables in the form of higher-order units or product units. If it is known a priori that the problem to be implemented possesses a given set of invariances like in the translation, rotation, and scale invariant pattern recognition problems, those invariances can be encoded, thus eliminating all higher-order terms which are incompatible with the invariances. In general, however, it is a serious set-back that the complexity of learning increases exponentially with the size of inputs. This paper reviews higher-order networks and introduces an implicit representation in which learning complexity is mainly decided by the number of higher-order terms to be learned and increases only linearly with the input size.

Higher order antibunching in intermediate states

International Nuclear Information System (INIS)

Verma, Amit; Sharma, Navneet K.; Pathak, Anirban

2008-01-01

Since the introduction of binomial state as an intermediate state, different intermediate states have been proposed. Different nonclassical effects have also been reported in these intermediate states. But till now higher order antibunching is predicted in only one type of intermediate state, which is known as shadowed negative binomial state. Recently we have shown that the higher order antibunching is not a rare phenomenon [P. Gupta, P. Pandey, A. Pathak, J. Phys. B 39 (2006) 1137]. To establish our earlier claim further, here we have shown that the higher order antibunching can be seen in different intermediate states, such as binomial state, reciprocal binomial state, hypergeometric state, generalized binomial state, negative binomial state and photon added coherent state. We have studied the possibility of observing the higher order subpoissonian photon statistics in different limits of intermediate states. The effects of different control parameters on the depth of non classicality have also been studied in this connection and it has been shown that the depth of nonclassicality can be tuned by controlling various physical parameters

A Higher-Order Colon Translation

DEFF Research Database (Denmark)

Danvy, Olivier; Nielsen, Lasse Reichstein

2001-01-01

A lambda-encoding such as the CPS transformation gives rise to administrative redexes. In his seminal article ``Call-by-name, call-by-value and the lambda-calculus'', 25 years ago, Plotkin tackled administrative reductions using a so-called ``colon translation.'' 10 years ago, Danvy and Filinski...... integrated administrative reductions in the CPS transformation, making it operate in one pass. The technique applies to other lambda-encodings (e.g., variants of CPS), but we do not see it used in practice--instead, Plotkin's colon translation appears to be favored. Therefore, in an attempt to link both...... techniques, we recast Plotkin's proof of Indifference and Simulation to the higher-order specification of the one-pass CPS transformation. To this end, we extend his colon translation from first order to higher order...

Method to render second order beam optics programs symplectic

International Nuclear Information System (INIS)

Douglas, D.; Servranckx, R.V.

1984-10-01

We present evidence that second order matrix-based beam optics programs violate the symplectic condition. A simple method to avoid this difficulty, based on a generating function approach to evaluating transfer maps, is described. A simple example illustrating the non-symplectricity of second order matrix methods, and the effectiveness of our solution to the problem, is provided. We conclude that it is in fact possible to bring second order matrix optics methods to a canonical form. The procedure for doing so has been implemented in the program DIMAT, and could be implemented in programs such as TRANSPORT and TURTLE, making them useful in multiturn applications. 15 refs

A Paraconsistent Higher Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2004-01-01

of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order...... of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...

Higher order and heavy quark mass effects in the determination of parton distribution functions

Energy Technology Data Exchange (ETDEWEB)

Bertone, Valerio

2013-07-01

The present thesis was devoted to the study of the inclusion of higher-order corrections and heavy quark mass effects in a PDF determination. This has been carried out in the NNPDF framework resulting originally in the NNPDF2.1 sets, which were at a later stage supplemented by the first LHC data leading to the most recent NNPDF2.3 sets. In Chapter 1 the concept of Parton Distribution Function (PDF) was introduced. We have shown how the analytical computation of the Deep-Inelastic-Scattering (DIS) process at order α{sub s} in QCD leads to initial-stale collinear divergences which, using the factorization theorem, can be reabsorbed into the PDFs. The energy dependence of PDFs is fully determined and the task is then reduced to the determination of the x (Bjorken variable) dependence. In Chapter 2 a detailed discussion of the factorization schemes presently available to include heavy quark mass effects into DIS structure functions has been given. It emerged that there are two possible basic approaches to the calculation of the DIS structure functions. In the first approach, the so-called Fixed-Flavour-Number Scheme (FFNS), the calculation is performed retaining the quark mass of the heavy flavours which provide a ''natural'' regulator for the infrared divergences. In the second approach, called Zero-Mass Variable-Flavour-Number Scheme (ZM-VFNS), the heavy quark masses are instead set to zero and this gives rise to the usual final-state collinear divergences that are absorbed into the PDFs. In addition, in the ZM-VFNS, the number of active flavours is assumed to increase by one unity as the energy of the process crosses the energy threshold of a given heavy quark. In order to obtain a factorization scheme that is accurate both at large and low energies, several prescriptions that interpolate between FFNS at low energy and ZM-VFNS at large energy have been proposed and implemented in as many PDF fits. In Chapter 2 they have been described showing how they behave for

Higher order and heavy quark mass effects in the determination of parton distribution functions

Energy Technology Data Exchange (ETDEWEB)

Bertone, Valerio

2013-07-01

The present thesis was devoted to the study of the inclusion of higher-order corrections and heavy quark mass effects in a PDF determination. This has been carried out in the NNPDF framework resulting originally in the NNPDF2.1 sets, which were at a later stage supplemented by the first LHC data leading to the most recent NNPDF2.3 sets. In Chapter 1 the concept of Parton Distribution Function (PDF) was introduced. We have shown how the analytical computation of the Deep-Inelastic-Scattering (DIS) process at order α{sub s} in QCD leads to initial-stale collinear divergences which, using the factorization theorem, can be reabsorbed into the PDFs. The energy dependence of PDFs is fully determined and the task is then reduced to the determination of the x (Bjorken variable) dependence. In Chapter 2 a detailed discussion of the factorization schemes presently available to include heavy quark mass effects into DIS structure functions has been given. It emerged that there are two possible basic approaches to the calculation of the DIS structure functions. In the first approach, the so-called Fixed-Flavour-Number Scheme (FFNS), the calculation is performed retaining the quark mass of the heavy flavours which provide a ''natural'' regulator for the infrared divergences. In the second approach, called Zero-Mass Variable-Flavour-Number Scheme (ZM-VFNS), the heavy quark masses are instead set to zero and this gives rise to the usual final-state collinear divergences that are absorbed into the PDFs. In addition, in the ZM-VFNS, the number of active flavours is assumed to increase by one unity as the energy of the process crosses the energy threshold of a given heavy quark. In order to obtain a factorization scheme that is accurate both at large and low energies, several prescriptions that interpolate between FFNS at low energy and ZM-VFNS at large energy have been proposed and implemented in as many PDF fits. In Chapter 2 they have been described showing

Higher order and heavy quark mass effects in the determination of parton distribution functions

International Nuclear Information System (INIS)

Bertone, Valerio

2013-01-01

The present thesis was devoted to the study of the inclusion of higher-order corrections and heavy quark mass effects in a PDF determination. This has been carried out in the NNPDF framework resulting originally in the NNPDF2.1 sets, which were at a later stage supplemented by the first LHC data leading to the most recent NNPDF2.3 sets. In Chapter 1 the concept of Parton Distribution Function (PDF) was introduced. We have shown how the analytical computation of the Deep-Inelastic-Scattering (DIS) process at order α s in QCD leads to initial-stale collinear divergences which, using the factorization theorem, can be reabsorbed into the PDFs. The energy dependence of PDFs is fully determined and the task is then reduced to the determination of the x (Bjorken variable) dependence. In Chapter 2 a detailed discussion of the factorization schemes presently available to include heavy quark mass effects into DIS structure functions has been given. It emerged that there are two possible basic approaches to the calculation of the DIS structure functions. In the first approach, the so-called Fixed-Flavour-Number Scheme (FFNS), the calculation is performed retaining the quark mass of the heavy flavours which provide a ''natural'' regulator for the infrared divergences. In the second approach, called Zero-Mass Variable-Flavour-Number Scheme (ZM-VFNS), the heavy quark masses are instead set to zero and this gives rise to the usual final-state collinear divergences that are absorbed into the PDFs. In addition, in the ZM-VFNS, the number of active flavours is assumed to increase by one unity as the energy of the process crosses the energy threshold of a given heavy quark. In order to obtain a factorization scheme that is accurate both at large and low energies, several prescriptions that interpolate between FFNS at low energy and ZM-VFNS at large energy have been proposed and implemented in as many PDF fits. In Chapter 2 they have been described showing how

Skinner-Rusk unified formalism for higher-order systems

Science.gov (United States)

Prieto-Martínez, Pedro Daniel; Román-Roy, Narciso

2012-07-01

The Lagrangian-Hamiltonian unified formalism of R. Skinner and R. Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, first-order and higher-order field theories, and higher-order autonomous systems. In this work we present a generalization of this formalism for higher-order non-autonomous mechanical systems.

A system at the cross-roads of functional and logic programming

NARCIS (Netherlands)

Kamareddine, F.

1992-01-01

The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature of functional programming and furthermore types could be constructed inside it. However, mixing the type-free ¿-calculus with logic is not very straightforward (see Aczel [1] and Scott [15]). In this

Toward an Understanding of Higher-Order Thinking among Minority Students.

Science.gov (United States)

Armour-Thomas, Eleanor; And Others

1992-01-01

Used principal-factors extraction with varimax rotation analysis to clarify nature and function of higher-order thinking among minority high school students (n=107) from economically disadvantaged backgrounds. Results allowed for specification of mental processes associated with the construct and the extent to which students reported awareness and…

Higher-order curvature terms and extended inflation

International Nuclear Information System (INIS)

Wang Yun

1990-01-01

We consider higher-order curvature terms in context of the Brans-Dicke theory of gravity, and investigate the effects of these terms on extended inflationary theories. We find that the higher-order curvature terms tend to speed up inflation, although the original extended-inflation solutions are stable when these terms are small. Analytical solutions are found for two extreme cases: when the higher-order curvature terms are small, and when they dominate. A conformal transformation is employed in solving the latter case, and some of the subtleties in this technique are discussed. We note that percolation is less likely to occur when the higher-order curvature terms are present. An upper bound on α is expected if we are to avoid excessive and inadequate percolation of true-vacuum bubbles

Next-to-next-to-leading order QCD analysis of combined data for xF3 structure function and higher-twist contribution

International Nuclear Information System (INIS)

Sidorov, A.V.

1996-01-01

The simultaneous QCD analysis of the xF 3 structure function measured in deep-inelastic scattering by several collaborations is done up to 3-loop order of QCD. The x dependence of the higher-twist contribution is evaluated and turns out to be in a qualitative agreement with the results of 'old' CCFR data analysis and with renormalon approach predictions. The Gross-Llewellyn Smith sum rule and its higher-twist corrections are evaluated. 32 refs., 1 figs., 1 tab

Triangular Alignment (TAME). A Tensor-based Approach for Higher-order Network Alignment

Energy Technology Data Exchange (ETDEWEB)

Mohammadi, Shahin [Purdue Univ., West Lafayette, IN (United States); Gleich, David F. [Purdue Univ., West Lafayette, IN (United States); Kolda, Tamara G. [Sandia National Laboratories (SNL-CA), Livermore, CA (United States); Grama, Ananth [Purdue Univ., West Lafayette, IN (United States)

2015-11-01

Network alignment is an important tool with extensive applications in comparative interactomics. Traditional approaches aim to simultaneously maximize the number of conserved edges and the underlying similarity of aligned entities. We propose a novel formulation of the network alignment problem that extends topological similarity to higher-order structures and provide a new objective function that maximizes the number of aligned substructures. This objective function corresponds to an integer programming problem, which is NP-hard. Consequently, we approximate this objective function as a surrogate function whose maximization results in a tensor eigenvalue problem. Based on this formulation, we present an algorithm called Triangular AlignMEnt (TAME), which attempts to maximize the number of aligned triangles across networks. We focus on alignment of triangles because of their enrichment in complex networks; however, our formulation and resulting algorithms can be applied to general motifs. Using a case study on the NAPABench dataset, we show that TAME is capable of producing alignments with up to 99% accuracy in terms of aligned nodes. We further evaluate our method by aligning yeast and human interactomes. Our results indicate that TAME outperforms the state-of-art alignment methods both in terms of biological and topological quality of the alignments.

Higher order Bose-Einstein correlations in identical particle production

International Nuclear Information System (INIS)

Biyajima, M.

1990-01-01

A diagram technique to calculate the higher order Bose-Einstein correlations is formulated. This technique is applied to derive explicit expressions for the n-pion correlation functions for n = 2, 3, 4, and 5, and numerical predictions are given. In a comparison with the AFS and NA23 data on two-pion and three-pion Bose-Einstein correlations good agreement is obtained. 21 refs., 5 figs. (Authors)

Higher order mode optical fiber Raman amplifiers

DEFF Research Database (Denmark)

Rottwitt, Karsten; Friis, Søren Michael Mørk; Usuga Castaneda, Mario A.

2016-01-01

We review higher order mode Raman amplifiers and discuss recent theoretical as well as experimental results including system demonstrations.......We review higher order mode Raman amplifiers and discuss recent theoretical as well as experimental results including system demonstrations....

Nonlocal higher order evolution equations

KAUST Repository

Rossi, Julio D.

2010-06-01

In this article, we study the asymptotic behaviour of solutions to the nonlocal operator ut(x, t)1/4(-1)n-1 (J*Id -1)n (u(x, t)), x ∈ ℝN, which is the nonlocal analogous to the higher order local evolution equation vt(-1)n-1(Δ)nv. We prove that the solutions of the nonlocal problem converge to the solution of the higher order problem with the right-hand side given by powers of the Laplacian when the kernel J is rescaled in an appropriate way. Moreover, we prove that solutions to both equations have the same asymptotic decay rate as t goes to infinity. © 2010 Taylor & Francis.

Higher-order phase transitions on financial markets

Science.gov (United States)

Kasprzak, A.; Kutner, R.; Perelló, J.; Masoliver, J.

2010-08-01

Statistical and thermodynamic properties of the anomalous multifractal structure of random interevent (or intertransaction) times were thoroughly studied by using the extended continuous-time random walk (CTRW) formalism of Montroll, Weiss, Scher, and Lax. Although this formalism is quite general (and can be applied to any interhuman communication with nontrivial priority), we consider it in the context of a financial market where heterogeneous agent activities can occur within a wide spectrum of time scales. As the main general consequence, we found (by additionally using the Saddle-Point Approximation) the scaling or power-dependent form of the partition function, Z(q'). It diverges for any negative scaling powers q' (which justifies the name anomalous) while for positive ones it shows the scaling with the general exponent τ(q'). This exponent is the nonanalytic (singular) or noninteger power of q', which is one of the pilar of higher-order phase transitions. In definition of the partition function we used the pausing-time distribution (PTD) as the central one, which takes the form of convolution (or superstatistics used, e.g. for describing turbulence as well as the financial market). Its integral kernel is given by the stretched exponential distribution (often used in disordered systems). This kernel extends both the exponential distribution assumed in the original version of the CTRW formalism (for description of the transient photocurrent measured in amorphous glassy material) as well as the Gaussian one sometimes used in this context (e.g. for diffusion of hydrogen in amorphous metals or for aging effects in glasses). Our most important finding is the third- and higher-order phase transitions, which can be roughly interpreted as transitions between the phase where high frequency trading is most visible and the phase defined by low frequency trading. The specific order of the phase transition directly depends upon the shape exponent α defining the stretched

Conceptualizing and Assessing Higher-Order Thinking in Reading

Science.gov (United States)

Afflerbach, Peter; Cho, Byeong-Young; Kim, Jong-Yun

2015-01-01

Students engage in higher-order thinking as they read complex texts and perform complex reading-related tasks. However, the most consequential assessments, high-stakes tests, are currently limited in providing information about students' higher-order thinking. In this article, we describe higher-order thinking in relation to reading. We provide a…

Application of Mass Lumped Higher Order Finite Elements

International Nuclear Information System (INIS)

J. Chen, H.R. Strauss, S.C. Jardin, W. Park, L.E. Sugiyama, G. Fu, J. Breslau

2005-01-01

There are many interesting phenomena in extended-MHD such as anisotropic transport, mhd, 2-fluid effects stellarator and hot particles. Any one of them challenges numerical analysts, and researchers are seeking for higher order methods, such as higher order finite difference, higher order finite elements and hp/spectral elements. It is true that these methods give more accurate solution than their linear counterparts. However, numerically they are prohibitively expensive. Here we give a successful solution of this conflict by applying mass lumped higher order finite elements. This type of elements not only keep second/third order accuracy but also scale closely to linear elements by doing mass lumping. This is especially true for second order lump elements. Full M3D and anisotropic transport models are studied

Higher-order techniques in computational electromagnetics

CERN Document Server

Graglia, Roberto D

2016-01-01

Higher-Order Techniques in Computational Electromagnetics explains 'high-order' techniques that can significantly improve the accuracy, computational cost, and reliability of computational techniques for high-frequency electromagnetics, such as antennas, microwave devices and radar scattering applications.

Higher-order chromatin structure in DSB induction, repair and misrepair

Czech Academy of Sciences Publication Activity Database

Falk, Martin; Lukášová, Emilie; Kozubek, Stanislav

2010-01-01

Roč. 704, 1-3 (2010), s. 88-100 ISSN 1383-5742 R&D Projects: GA MŠk ME 919; GA AV ČR(CZ) IAA500040802; GA AV ČR(CZ) 1QS500040508 Grant - others:GA MŠk(CZ) LC535 Program:LC Institutional research plan: CEZ:AV0Z50040507; CEZ:AV0Z50040702 Keywords : DNA double strand breaks * DSB repair * higher-order chromatin structure Subject RIV: BO - Biophysics Impact factor: 8.741, year: 2010

Using Transformations in the Implementation of Higher-order Functions

DEFF Research Database (Denmark)

Nielson, Hanne Riis; Nielson, Flemming

1991-01-01

Many different techniques are needed in an optimising compiler-constant folding, program transformation, semantic analysis and optimisation, code generation and so on. The authors propose a uniform framework for all these activities. Every computation in the program to be compiled is classified...

Theory of a higher-order Sturm-Liouville equation

CERN Document Server

Kozlov, Vladimir

1997-01-01

This book develops a detailed theory of a generalized Sturm-Liouville Equation, which includes conditions of solvability, classes of uniqueness, positivity properties of solutions and Green's functions, asymptotic properties of solutions at infinity. Of independent interest, the higher-order Sturm-Liouville equation also proved to have important applications to differential equations with operator coefficients and elliptic boundary value problems for domains with non-smooth boundaries. The book addresses graduate students and researchers in ordinary and partial differential equations, and is accessible with a standard undergraduate course in real analysis.

Higher order Lie-Baecklund symmetries of evolution equations

International Nuclear Information System (INIS)

Roy Chowdhury, A.; Roy Chowdhury, K.; Paul, S.

1983-10-01

We have considered in detail the analysis of higher order Lie-Baecklund symmetries for some representative nonlinear evolution equations. Until now all such symmetry analyses have been restricted only to the first order of the infinitesimal parameter. But the existence of Baecklund transformation (which can be shown to be an overall sum of higher order Lie-Baecklund symmetries) makes it necessary to search for such higher order Lie-Baecklund symmetries directly without taking recourse to the Baecklund transformation or inverse scattering technique. (author)

Fractional equivalent Lagrangian densities for a fractional higher-order equation

International Nuclear Information System (INIS)

Fujioka, J

2014-01-01

In this communication we show that the equivalent Lagrangian densities (ELDs) of a fractional higher-order nonlinear Schrödinger equation with stable soliton-like solutions can be related in a hitherto unknown way. This new relationship is described in terms of a new fractional operator that includes both left- and right-sided fractional derivatives. Using this operator it is possible to generate new ELDs that contain different fractional parts, in addition to the already known ELDs, which only differ by a sum of first-order partial derivatives of two arbitrary functions. (fast track communications)

Adaptive grouping for the higher-order multilevel fast multipole method

DEFF Research Database (Denmark)

Borries, Oscar Peter; Jørgensen, Erik; Meincke, Peter

2014-01-01

An alternative parameter-free adaptive approach for the grouping of the basis function patterns in the multilevel fast multipole method is presented, yielding significant memory savings compared to the traditional Octree grouping for most discretizations, particularly when using higher-order basis...... functions. Results from both a uniformly and nonuniformly meshed scatterer are presented, showing how the technique is worthwhile even for regular meshes, and demonstrating that there is no loss of accuracy in spite of the large reduction in memory requirements and the relatively low computational cost....

Analogy, higher order thinking, and education.

Science.gov (United States)

Richland, Lindsey Engle; Simms, Nina

2015-01-01

Analogical reasoning, the ability to understand phenomena as systems of structured relationships that can be aligned, compared, and mapped together, plays a fundamental role in the technology rich, increasingly globalized educational climate of the 21st century. Flexible, conceptual thinking is prioritized in this view of education, and schools are emphasizing 'higher order thinking', rather than memorization of a cannon of key topics. The lack of a cognitively grounded definition for higher order thinking, however, has led to a field of research and practice with little coherence across domains or connection to the large body of cognitive science research on thinking. We review literature on analogy and disciplinary higher order thinking to propose that relational reasoning can be productively considered the cognitive underpinning of higher order thinking. We highlight the utility of this framework for developing insights into practice through a review of mathematics, science, and history educational contexts. In these disciplines, analogy is essential to developing expert-like disciplinary knowledge in which concepts are understood to be systems of relationships that can be connected and flexibly manipulated. At the same time, analogies in education require explicit support to ensure that learners notice the relevance of relational thinking, have adequate processing resources available to mentally hold and manipulate relations, and are able to recognize both the similarities and differences when drawing analogies between systems of relationships. © 2015 John Wiley & Sons, Ltd.

Compound waves in a higher order nonlinear model of thermoviscous fluids

DEFF Research Database (Denmark)

Rønne Rasmussen, Anders; Sørensen, Mads Peter; Gaididei, Yuri B.

2016-01-01

A generalized traveling wave ansatz is used to investigate compound shock waves in a higher order nonlinear model of a thermoviscous fluid. The fluid velocity potential is written as a traveling wave plus a linear function of space and time. The latter offers the possibility of predicting...

Electromagnetic cloaking in higher order spherical cloaks

Science.gov (United States)

Sidhwa, H. H.; Aiyar, R. P. R. C.; Kulkarni, S. V.

2017-06-01

The inception of transformation optics has led to the realisation of the invisibility devices for various applications, one of which is spherical cloaking. In this paper, a formulation for a higher-order spherical cloak has been proposed to reduce its physical thickness significantly by introducing a nonlinear relation between the original and transformed coordinate systems and it has been verified using the ray tracing approach. Analysis has been carried out to observe the anomalies in the variation of refractive index for higher order cloaks indicating the presence of poles in the relevant equations. Furthermore, a higher-order spherical cloak with predefined values of the material characteristics on its inner and outer surfaces has been designed for practical application.

SHARP: A Spatially Higher-order, Relativistic Particle-in-cell Code

Energy Technology Data Exchange (ETDEWEB)

Shalaby, Mohamad; Broderick, Avery E. [Department of Physics and Astronomy, University of Waterloo, 200 University Avenue West, Waterloo, ON, N2L 3G1 (Canada); Chang, Philip [Department of Physics, University of Wisconsin-Milwaukee, 1900 E. Kenwood Boulevard, Milwaukee, WI 53211 (United States); Pfrommer, Christoph [Leibniz-Institut für Astrophysik Potsdam (AIP), An der Sternwarte 16, D-14482 Potsdam (Germany); Lamberts, Astrid [Theoretical Astrophysics, California Institute of Technology, Pasadena, CA 91125 (United States); Puchwein, Ewald, E-mail: mshalaby@live.ca [Institute of Astronomy and Kavli Institute for Cosmology, University of Cambridge, Madingley Road, Cambridge, CB3 0HA (United Kingdom)

2017-05-20

Numerical heating in particle-in-cell (PIC) codes currently precludes the accurate simulation of cold, relativistic plasma over long periods, severely limiting their applications in astrophysical environments. We present a spatially higher-order accurate relativistic PIC algorithm in one spatial dimension, which conserves charge and momentum exactly. We utilize the smoothness implied by the usage of higher-order interpolation functions to achieve a spatially higher-order accurate algorithm (up to the fifth order). We validate our algorithm against several test problems—thermal stability of stationary plasma, stability of linear plasma waves, and two-stream instability in the relativistic and non-relativistic regimes. Comparing our simulations to exact solutions of the dispersion relations, we demonstrate that SHARP can quantitatively reproduce important kinetic features of the linear regime. Our simulations have a superior ability to control energy non-conservation and avoid numerical heating in comparison to common second-order schemes. We provide a natural definition for convergence of a general PIC algorithm: the complement of physical modes captured by the simulation, i.e., those that lie above the Poisson noise, must grow commensurately with the resolution. This implies that it is necessary to simultaneously increase the number of particles per cell and decrease the cell size. We demonstrate that traditional ways for testing for convergence fail, leading to plateauing of the energy error. This new PIC code enables us to faithfully study the long-term evolution of plasma problems that require absolute control of the energy and momentum conservation.

Higher-order Jordan Osserman pseudo-Riemannian manifolds

International Nuclear Information System (INIS)

Gilkey, Peter B; Ivanova, Raina; Zhang Tan

2002-01-01

We study the higher-order Jacobi operator in pseudo-Riemannian geometry. We exhibit a family of manifolds so that this operator has constant Jordan normal form on the Grassmannian of subspaces of signature (r, s) for certain values of (r, s). These pseudo-Riemannian manifolds are new and non-trivial examples of higher-order Osserman manifolds

Higher-order Jordan Osserman pseudo-Riemannian manifolds

Energy Technology Data Exchange (ETDEWEB)

Gilkey, Peter B [Mathematics Department, University of Oregon, Eugene, OR 97403 (United States); Ivanova, Raina [Mathematics Department, University of Hawaii - Hilo, 200 W Kawili St, Hilo, HI 96720 (United States); Zhang Tan [Department of Mathematics and Statistics, Murray State University, Murray, KY 42071 (United States)

2002-09-07

We study the higher-order Jacobi operator in pseudo-Riemannian geometry. We exhibit a family of manifolds so that this operator has constant Jordan normal form on the Grassmannian of subspaces of signature (r, s) for certain values of (r, s). These pseudo-Riemannian manifolds are new and non-trivial examples of higher-order Osserman manifolds.

Higher Order, Hybrid BEM/FEM Methods Applied to Antenna Modeling

Science.gov (United States)

Fink, P. W.; Wilton, D. R.; Dobbins, J. A.

2002-01-01

In this presentation, the authors address topics relevant to higher order modeling using hybrid BEM/FEM formulations. The first of these is the limitation on convergence rates imposed by geometric modeling errors in the analysis of scattering by a dielectric sphere. The second topic is the application of an Incomplete LU Threshold (ILUT) preconditioner to solve the linear system resulting from the BEM/FEM formulation. The final tOpic is the application of the higher order BEM/FEM formulation to antenna modeling problems. The authors have previously presented work on the benefits of higher order modeling. To achieve these benefits, special attention is required in the integration of singular and near-singular terms arising in the surface integral equation. Several methods for handling these terms have been presented. It is also well known that achieving he high rates of convergence afforded by higher order bases may als'o require the employment of higher order geometry models. A number of publications have described the use of quadratic elements to model curved surfaces. The authors have shown in an EFIE formulation, applied to scattering by a PEC .sphere, that quadratic order elements may be insufficient to prevent the domination of modeling errors. In fact, on a PEC sphere with radius r = 0.58 Lambda(sub 0), a quartic order geometry representation was required to obtain a convergence benefi.t from quadratic bases when compared to the convergence rate achieved with linear bases. Initial trials indicate that, for a dielectric sphere of the same radius, - requirements on the geometry model are not as severe as for the PEC sphere. The authors will present convergence results for higher order bases as a function of the geometry model order in the hybrid BEM/FEM formulation applied to dielectric spheres. It is well known that the system matrix resulting from the hybrid BEM/FEM formulation is ill -conditioned. For many real applications, a good preconditioner is required

Exploring item and higher order factor structure with the Schmid-Leiman solution: syntax codes for SPSS and SAS.

Science.gov (United States)

Wolff, Hans-Georg; Preising, Katja

2005-02-01

To ease the interpretation of higher order factor analysis, the direct relationships between variables and higher order factors may be calculated by the Schmid-Leiman solution (SLS; Schmid & Leiman, 1957). This simple transformation of higher order factor analysis orthogonalizes first-order and higher order factors and thereby allows the interpretation of the relative impact of factor levels on variables. The Schmid-Leiman solution may also be used to facilitate theorizing and scale development. The rationale for the procedure is presented, supplemented by syntax codes for SPSS and SAS, since the transformation is not part of most statistical programs. Syntax codes may also be downloaded from www.psychonomic.org/archive/.

A single dose of oxytocin nasal spray improves higher-order social cognition in schizophrenia.

Science.gov (United States)

Guastella, Adam J; Ward, Philip B; Hickie, Ian B; Shahrestani, Sara; Hodge, Marie Antoinette Redoblado; Scott, Elizabeth M; Langdon, Robyn

2015-11-01

Schizophrenia is associated with significant impairments in both higher and lower order social cognitive performance and these impairments contribute to poor social functioning. People with schizophrenia report poor social functioning to be one of their greatest unmet treatment needs. Recent studies have suggested the potential of oxytocin as such a treatment, but mixed results render it uncertain what aspects of social cognition are improved by oxytocin and, subsequently, how oxytocin might best be applied as a therapeutic. The aim of this study was to determine whether a single dose of oxytocin improved higher-order and lower-order social cognition performance for patients with schizophrenia across a well-established battery of social cognition tests. Twenty-one male patients received both a single dose of oxytocin nasal spray (24IU) and a placebo, two weeks apart in a randomized within-subjects placebo controlled design. Following each administration, participants completed the social cognition tasks, as well as a test of general neurocognition. Results revealed that oxytocin particularly enhanced performance on higher order social cognition tasks, with no effects on general neurocognition. Results for individual tasks showed most improvement on tests measuring appreciation of indirect hints and recognition of social faux pas. These results suggest that oxytocin, if combined to enhance social cognition learning, may be beneficial when targeted at higher order social cognition domains. This study also suggests that these higher order tasks, which assess social cognitive processing in a social communication context, may provide useful markers of response to oxytocin in schizophrenia. Copyright © 2015 Elsevier B.V. All rights reserved.

HONTIOR - HIGHER-ORDER NEURAL NETWORK FOR TRANSFORMATION INVARIANT OBJECT RECOGNITION

Science.gov (United States)

Spirkovska, L.

1994-01-01

Neural networks have been applied in numerous fields, including transformation invariant object recognition, wherein an object is recognized despite changes in the object's position in the input field, size, or rotation. One of the more successful neural network methods used in invariant object recognition is the higher-order neural network (HONN) method. With a HONN, known relationships are exploited and the desired invariances are built directly into the architecture of the network, eliminating the need for the network to learn invariance to transformations. This results in a significant reduction in the training time required, since the network needs to be trained on only one view of each object, not on numerous transformed views. Moreover, one hundred percent accuracy is guaranteed for images characterized by the built-in distortions, providing noise is not introduced through pixelation. The program HONTIOR implements a third-order neural network having invariance to translation, scale, and in-plane rotation built directly into the architecture, Thus, for 2-D transformation invariance, the network needs only to be trained on just one view of each object. HONTIOR can also be used for 3-D transformation invariant object recognition by training the network only on a set of out-of-plane rotated views. Historically, the major drawback of HONNs has been that the size of the input field was limited to the memory required for the large number of interconnections in a fully connected network. HONTIOR solves this problem by coarse coding the input images (coding an image as a set of overlapping but offset coarser images). Using this scheme, large input fields (4096 x 4096 pixels) can easily be represented using very little virtual memory (30Mb). The HONTIOR distribution consists of three main programs. The first program contains the training and testing routines for a third-order neural network. The second program contains the same training and testing procedures as the

Higher-order harmonics of general limited diffraction Bessel beams

International Nuclear Information System (INIS)

Ding De-Sheng; Huang Jin-Huang

2016-01-01

In this paper, we extensively study the higher-order harmonic generation of the general limited diffraction m -th-order Bessel beam. The analysis is based on successive approximations of the Khokhlov–Zabolotskaya–Kuznetsov (KZK) equation. Asymptotic expansions are presented for higher-order harmonic Bessel beams in near and far fields. The validity of asymptotic approximation is also analyzed. The higher-order harmonic of the Bessel beam with the lowest zero-order is taken as a special example. (special topic)

Functional Programming

OpenAIRE

Chitil, Olaf

2009-01-01

Functional programming is a programming paradigm like object-oriented programming and logic programming. Functional programming comprises both a specific programming style and a class of programming languages that encourage and support this programming style. Functional programming enables the programmer to describe an algorithm on a high-level, in terms of the problem domain, without having to deal with machine-related details. A program is constructed from functions that only map inputs to ...

Higher twist contributions to deep-inelastic structure functions

International Nuclear Information System (INIS)

Bluemlein, J.; Boettcher, H.

2008-07-01

We report on a recent extraction of the higher twist contributions to the deep inelastic structure functions F ep,ed 2 (x,Q 2 ) in the large x region. It is shown that the size of the extracted higher twist contributions is strongly correlated with the higher order corrections applied to the leading twist part. A gradual lowering of the higher twist contributions going from NLO to N 4 LO is observed, where in the latter case only the leading large x terms were considered. (orig.)

Higher-Order-Mode Diagnostics and Suppression in Superconducting Cavities (HOMSC12)

Science.gov (United States)

Jones, Roger M.

2014-01-01

From the 25th of June through Wednesday lunchtime of the 27th of June 2012 the Cockcroft Institute and ASTeC hosted an ICFA supported mini workshop on Higher-Order-Mode Diagnostics and Suppression in Superconducting Cavities (HOMSC12). The local organizing committee for this international workshop was chaired by S. Buckley (ASTeC/STFC), conference administration by S. Waller (ASTeC/STFC), and the scientific program committee by R.M. Jones (Cockcroft Institute/University of Manchester).

Discrete Maximum Principle for Higher-Order Finite Elements in 1D

Czech Academy of Sciences Publication Activity Database

Vejchodský, Tomáš; Šolín, Pavel

2007-01-01

Roč. 76, č. 260 (2007), s. 1833-1846 ISSN 0025-5718 R&D Projects: GA ČR GP201/04/P021 Institutional research plan: CEZ:AV0Z10190503; CEZ:AV0Z20760514 Keywords : discrete maximum principle * discrete Grren´s function * higher-order elements Subject RIV: BA - General Mathematics Impact factor: 1.230, year: 2007

Higher-order harmonics of general limited diffraction Bessel beams

Science.gov (United States)

Ding, De-Sheng; Huang, Jin-Huang

2016-12-01

In this paper, we extensively study the higher-order harmonic generation of the general limited diffraction m-th-order Bessel beam. The analysis is based on successive approximations of the Khokhlov-Zabolotskaya-Kuznetsov (KZK) equation. Asymptotic expansions are presented for higher-order harmonic Bessel beams in near and far fields. The validity of asymptotic approximation is also analyzed. The higher-order harmonic of the Bessel beam with the lowest zero-order is taken as a special example. Project supported by the National Natural Science Foundation of China (Grant Nos. 11074038 and 11374051).

Physical uniqueness of higher-order Korteweg-de Vries theory for continuously stratified fluids without background shear

Science.gov (United States)

Shimizu, Kenji

2017-10-01

The 2nd-order Korteweg-de Vries (KdV) equation and the Gardner (or extended KdV) equation are often used to investigate internal solitary waves, commonly observed in oceans and lakes. However, application of these KdV-type equations for continuously stratified fluids to geophysical problems is hindered by nonuniqueness of the higher-order coefficients and the associated correction functions to the wave fields. This study proposes to reduce arbitrariness of the higher-order KdV theory by considering its uniqueness in the following three physical senses: (i) consistency of the nonlinear higher-order coefficients and correction functions with the corresponding phase speeds, (ii) wavenumber-independence of the vertically integrated available potential energy, and (iii) its positive definiteness. The spectral (or generalized Fourier) approach based on vertical modes in the isopycnal coordinate is shown to enable an alternative derivation of the 2nd-order KdV equation, without encountering nonuniqueness. Comparison with previous theories shows that Parseval's theorem naturally yields a unique set of special conditions for (ii) and (iii). Hydrostatic fully nonlinear solutions, derived by combining the spectral approach and simple-wave analysis, reveal that both proposed and previous 2nd-order theories satisfy (i), provided that consistent definitions are used for the wave amplitude and the nonlinear correction. This condition reduces the arbitrariness when higher-order KdV-type theories are compared with observations or numerical simulations. The coefficients and correction functions that satisfy (i)-(iii) are given by explicit formulae to 2nd order and by algebraic recurrence relationships to arbitrary order for hydrostatic fully nonlinear and linear fully nonhydrostatic effects.

Impedance Eduction in Large Ducts Containing Higher-Order Modes and Grazing Flow

Science.gov (United States)

Watson, Willie R.; Jones, Michael G.

2017-01-01

Impedance eduction test data are acquired in ducts with small and large cross-sectional areas at the NASA Langley Research Center. An improved data acquisition system in the large duct has resulted in increased control of the acoustic energy in source modes and more accurate resolution of higher-order duct modes compared to previous tests. Two impedance eduction methods that take advantage of the improved data acquisition to educe the liner impedance in grazing flow are presented. One method measures the axial propagation constant of a dominant mode in the liner test section (by implementing the Kumarsean and Tufts algorithm) and educes the impedance from an exact analytical expression. The second method solves numerically the convected Helmholtz equation and minimizes an objective function to obtain the liner impedance. The two methods are tested first on data synthesized from an exact mode solution and then on measured data. Results show that when the methods are applied to data acquired in the larger duct with a dominant higher-order mode, the same impedance spectra are educed as that obtained in the small duct where only the plane wave mode propagates. This result holds for each higher-order mode in the large duct provided that the higher-order mode is sufficiently attenuated by the liner.

Three weights higher order Hardy type inequalities

Directory of Open Access Journals (Sweden)

Aigerim A. Kalybay

2006-01-01

Full Text Available We investigate the following three weights higher order Hardy type inequality (0.1 ‖g‖q,u≤  C‖Dρkg‖p,v where Dρi denotes the following weighted differential operator: {dig(tdti,i=0,1,...,m−1,di−mdti−m(p(tdmg(tdtm,i=m,m+1,...,k, for a weight function ρ(⋅. A complete description of the weights u, v and ρ so that (0.1 holds was given in [4] for the case 1

Nonlocal higher order evolution equations

KAUST Repository

Rossi, Julio D.; Schö nlieb, Carola-Bibiane

2010-01-01

In this article, we study the asymptotic behaviour of solutions to the nonlocal operator ut(x, t)1/4(-1)n-1 (J*Id -1)n (u(x, t)), x ∈ ℝN, which is the nonlocal analogous to the higher order local evolution equation vt(-1)n-1(Δ)nv. We prove

Unambiguous formalism for higher order Lagrangian field theories

International Nuclear Information System (INIS)

Campos, Cedric M; De Leon, Manuel; De Diego, David MartIn; Vankerschaver, Joris

2009-01-01

The aim of this paper is to propose an unambiguous intrinsic formalism for higher order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, and implies the existence of different Cartan forms and Legendre transformations. We propose a differential-geometric setting for the dynamics of a higher order field theory, based on the Skinner and Rusk formalism for mechanics. This approach incorporates aspects of both the Lagrangian and the Hamiltonian description, since the field equations are formulated using the Lagrangian on a higher order jet bundle and the canonical multisymplectic form on its affine dual. As both of these objects are uniquely defined, the Skinner-Rusk approach has the advantage that it does not suffer from the arbitrariness in conventional descriptions. The result is that we obtain a unique and global intrinsic version of the Euler-Lagrange equations for higher order field theories. Several examples illustrate our construction.

Growth of meromorphic solutions of higher-order linear differential equations

Directory of Open Access Journals (Sweden)

Wenjuan Chen

2009-01-01

Full Text Available In this paper, we investigate the higher-order linear differential equations with meromorphic coefficients. We improve and extend a result of M.S. Liu and C.L. Yuan, by using the estimates for the logarithmic derivative of a transcendental meromorphic function due to Gundersen, and the extended Winman-Valiron theory which proved by J. Wang and H.X. Yi. In addition, we also consider the nonhomogeneous linear differential equations.

Reproduction of nearby sound sources using higher-order ambisonics with practical loudspeaker arrays

DEFF Research Database (Denmark)

Favrot, Sylvain Emmanuel; Buchholz, Jörg

2012-01-01

the impact of two existing and a new proposed regularization function on the reproduced sound fields and on the main auditory cue for nearby sound sources outside the median plane, i.e, low-frequencies interaural level differences (ILDs). The proposed regularization function led to a better reproduction......In order to reproduce nearby sound sources with distant loudspeakers to a single listener, the near field compensated (NFC) method for higher-order Ambisonics (HOA) has been previously proposed. In practical realization, this method requires the use of regularization functions. This study analyzes...... of point source sound fields compared to existing regularization functions for NFC-HOA. Measurements in realistic playback environments showed that, for very close sources, significant ILDs for frequencies above about 250 Hz can be reproduced with NFC-HOA and the proposed regularization function whereas...

The (G′/G-Expansion Method and Its Application for Higher-Order Equations of KdV (III

Directory of Open Access Journals (Sweden)

Huizhang Yang

2014-01-01

Full Text Available New exact traveling wave solutions of a higher-order KdV equation type are studied by the (G′/G-expansion method, where G=G(ξ satisfies a second-order linear differential equation. The traveling wave solutions are expressed by the hyperbolic functions, the trigonometric functions, and the rational functions. The property of this method is that it is quite simple and understandable.

Tunnelling effects of solitons in optical fibers with higher-order effects

Energy Technology Data Exchange (ETDEWEB)

Dai, Chao-Qing [Zhejiang A and F Univ., Lin' an (China). School of Sciences; Suzhou Univ., Jiangsu (China). School of Physical Science and Technology; Zhu, Hai-Ping [Zhejiang Lishui Univ., Zhejiang (China). School of Science; Zheng, Chun-Long [Shaoguan Univ., Guangdong (China). College of Physics and Electromechanical Engineering

2012-06-15

We construct four types of analytical soliton solutions for the higher-order nonlinear Schroedinger equation with distributed coefficients. These solutions include bright solitons, dark solitons, combined solitons, and M-shaped solitons. Moreover, the explicit functions which describe the evolution of the width, peak, and phase are discussed exactly. We finally discuss the nonlinear soliton tunnelling effect for four types of femtosecond solitons. (orig.)

Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs

DEFF Research Database (Denmark)

Biermann, Florian; Dou, Wensheng; Sestoft, Peter

2017-01-01

Spreadsheets are used heavily in industry and academia. Often, spreadsheet models are developed for years and their complexity grows vastly beyond what the paradigm was originally conceived for. Such complexity often comes at the cost of recalculation performance. However, spreadsheet models...

Special issue of Higher-Order and Symbolic Computation

DEFF Research Database (Denmark)

solicited from papers presented at ASIAPEPM 02, the 2002 SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation [1]. The four articles were subjected to the usual process of journal reviewing. "Cost-Augmented Partial Evaluation of Functional Logic Programs" extends previous......The present issue is dedicated to Partial Evaluation and Semantics-Based Program Manipulation. Its first two articles were solicited from papers presented at PEPM 02, the 2002 ACMSIGPLANWorkshop on Partial Evaluation and Semantics-Based Program Manipulation [2], and its last two articles were...... narrowing-driven techniques of partial evaluation for functional-logic programs by the inclusion of abstract computation costs into the partial-evaluation process. A preliminary version of this work was presented at PEPM 02. "Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization...

Algorithm 831: modified Bessel functions of imaginary order and positive argument

NARCIS (Netherlands)

A. Gil (Amparo); J. Segura (Javier); N.M. Temme (Nico)

2004-01-01

textabstract77 programs for the computation of modified Bessel functions of purely imaginary order are presented. The codes compute the functions Kia (x), Lia (x) and their derivatives for real a and positive x; these functions are independent solutions of the differential equation x2w'' + xw' + (a2

Critical and Higher Order Thinking in Online Threaded Discussions in the Slovak Context

Directory of Open Access Journals (Sweden)

Katarina Pisutova-Gerber

2009-02-01

Full Text Available This article describes and analyzes efforts to use collaborative asynchronous discussion forums in a three semester online education program for NGO leaders and managers in Slovakia. Slovakia, as a country with autocratic styles of teacher-centered education, presents strong barriers to the implementation of collaborative learning activities. The authors used Garrison’s four stage cognitive processing categories to analyze some of the online discussions in the program. The two higher order critical thinking categories – integration and solution – appeared in student discussions only when prompted by specific instructional techniques.

First and higher order, heuristically based generalized perturbation theory (HGPT) with optional control reset variable

International Nuclear Information System (INIS)

Gandini, A.

1996-01-01

The heuristically based generalized perturbation theory (HGPT), to first and higher order, applied to the neutron field of a reactor system, is discussed in relation to the criticality reset procedure. This procedure is implicit within the GPT methodology, corresponding to the so called filtering of the importance function relevant to the neutron field from the fundamental mode contamination. It is common practice to use the so called ''lambda''-mode filter. In order to account for any possible reset option, a general definition is introduced of an intensive control variable (ρ) entering into the governing equations, and correspondingly a fundamental ρ-mode filtering of the importance function is defined, relevant to the real criticality reset (control) mechanism adopted. A simple example illustrates the need to take into account the correct filtering, so as to avoid significant inaccuracies in the sensitivity calculation results. The extension of this filtering technique to other functions entering into the GPT perturbative formulations at first and higher order is also discussed. (author)

Time-Discrete Higher-Order ALE Formulations: Stability

KAUST Repository

Bonito, Andrea; Kyza, Irene; Nochetto, Ricardo H.

2013-01-01

on the stability of the PDE but may influence that of a discrete scheme. We examine this critical issue for higher-order time stepping without space discretization. We propose time-discrete discontinuous Galerkin (dG) numerical schemes of any order for a time

The Meaning of Higher-Order Factors in Reflective-Measurement Models

Science.gov (United States)

Eid, Michael; Koch, Tobias

2014-01-01

Higher-order factor analysis is a widely used approach for analyzing the structure of a multidimensional test. Whenever first-order factors are correlated researchers are tempted to apply a higher-order factor model. But is this reasonable? What do the higher-order factors measure? What is their meaning? Willoughby, Holochwost, Blanton, and Blair…

Nil Bohr-sets and almost automorphy of higher order

CERN Document Server

Huang, Wen; Ye, Xiangdong

2016-01-01

Two closely related topics, higher order Bohr sets and higher order almost automorphy, are investigated in this paper. Both of them are related to nilsystems. In the first part, the problem which can be viewed as the higher order version of an old question concerning Bohr sets is studied: for any d\\in \\mathbb{N} does the collection of \\{n\\in \\mathbb{Z}: S\\cap (S-n)\\cap\\ldots\\cap (S-dn)\

Higher order cumulants in colorless partonic plasma

Energy Technology Data Exchange (ETDEWEB)

Cherif, S. [Sciences and Technologies Department, University of Ghardaia, Ghardaia, Algiers (Algeria); Laboratoire de Physique et de Mathématiques Appliquées (LPMA), ENS-Kouba (Bachir El-Ibrahimi), Algiers (Algeria); Ahmed, M. A. A. [Department of Physics, College of Science, Taibah University Al-Madinah Al-Mounawwarah KSA (Saudi Arabia); Department of Physics, Taiz University in Turba, Taiz (Yemen); Laboratoire de Physique et de Mathématiques Appliquées (LPMA), ENS-Kouba (Bachir El-Ibrahimi), Algiers (Algeria); Ladrem, M., E-mail: mladrem@yahoo.fr [Department of Physics, College of Science, Taibah University Al-Madinah Al-Mounawwarah KSA (Saudi Arabia); Laboratoire de Physique et de Mathématiques Appliquées (LPMA), ENS-Kouba (Bachir El-Ibrahimi), Algiers (Algeria)

2016-06-10

Any physical system considered to study the QCD deconfinement phase transition certainly has a finite volume, so the finite size effects are inevitably present. This renders the location of the phase transition and the determination of its order as an extremely difficult task, even in the simplest known cases. In order to identify and locate the colorless QCD deconfinement transition point in finite volume T{sub 0}(V), a new approach based on the finite-size cumulant expansion of the order parameter and the ℒ{sub m,n}-Method is used. We have shown that both cumulants of higher order and their ratios, associated to the thermodynamical fluctuations of the order parameter, in QCD deconfinement phase transition behave in a particular enough way revealing pronounced oscillations in the transition region. The sign structure and the oscillatory behavior of these in the vicinity of the deconfinement phase transition point might be a sensitive probe and may allow one to elucidate their relation to the QCD phase transition point. In the context of our model, we have shown that the finite volume transition point is always associated to the appearance of a particular point in whole higher order cumulants under consideration.

Higher-order human telomeric G-quadruplex DNA metalloenzymes enhance enantioselectivity in the Diels-Alder reaction.

Science.gov (United States)

Li, Yinghao; Jia, Guoqing; Wang, Changhao; Cheng, Mingpan; Li, Can

2015-03-02

Short human telomeric (HT) DNA sequences form single G-quadruplex (G4 ) units and exhibit structure-based stereocontrol for a series of reactions. However, for more biologically relevant higher-order HT G4 -DNAs (beyond a single G4 unit), the catalytic performances are unknown. Here, we found that higher-order HT G4 -DNA copper metalloenzymes (two or three G4 units) afford remarkably higher enantioselectivity (>90 % ee) and a five- to sixfold rate increase, compared to a single G4 unit, for the Diels-Alder reaction. Electron paramagnetic resonance (EPR) and enzymatic kinetic studies revealed that the distinct catalytic function between single and higher-order G4 -DNA copper metalloenzymes can be attributed to different Cu(II) coordination environments and substrate specificity. Our finding suggests that, like protein enzymes and ribozymes, higher-order structural organization is crucial for G4 -DNA-based catalysis. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

On the expressiveness and decidability of higher-order process calculi

NARCIS (Netherlands)

Lanese, Ivan; Perez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan

In higher-order process calculi, the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators necessary to express higher-order communications: input prefix, process output, and parallel composition. By exhibiting a

Multilevel Fast Multipole Method for Higher Order Discretizations

DEFF Research Database (Denmark)

Borries, Oscar Peter; Meincke, Peter; Jorgensen, Erik

2014-01-01

The multi-level fast multipole method (MLFMM) for a higher order (HO) discretization is demonstrated on high-frequency (HF) problems, illustrating for the first time how an efficient MLFMM for HO can be achieved even for very large groups. Applying several novel ideas, beneficial to both lower...... order and higher order discretizations, results from a low-memory, high-speed MLFMM implementation of a HO hierarchical discretization are shown. These results challenge the general view that the benefits of HO and HF-MLFMM cannot be combined....

A Hybrid PO - Higher-Order Hierarchical MoM Formulation using Curvilinear Geometry Modeling

DEFF Research Database (Denmark)

Jørgensen, E.; Meincke, Peter; Breinbjerg, Olav

2003-01-01

which implies a very modest memory requirement. Nevertheless, the hierarchical feature of the basis functions maintains the ability to treat small geometrical details efficiently. In addition, the scatterer is modelled with higher-order curved patches which allows accurate modelling of curved surfaces...

Higher-order modulation instability in nonlinear fiber optics.

Science.gov (United States)

Erkintalo, Miro; Hammani, Kamal; Kibler, Bertrand; Finot, Christophe; Akhmediev, Nail; Dudley, John M; Genty, Goëry

2011-12-16

We report theoretical, numerical, and experimental studies of higher-order modulation instability in the focusing nonlinear Schrödinger equation. This higher-order instability arises from the nonlinear superposition of elementary instabilities, associated with initial single breather evolution followed by a regime of complex, yet deterministic, pulse splitting. We analytically describe the process using the Darboux transformation and compare with experiments in optical fiber. We show how a suitably low frequency modulation on a continuous wave field induces higher-order modulation instability splitting with the pulse characteristics at different phases of evolution related by a simple scaling relationship. We anticipate that similar processes are likely to be observed in many other systems including plasmas, Bose-Einstein condensates, and deep water waves. © 2011 American Physical Society

Higher-Order Separation Logic in Isabelle/HOLCF

DEFF Research Database (Denmark)

Varming, Carsten; Birkedal, Lars

2008-01-01

We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a way that one may use any theory defined in Isabelle/HOLCF to construct assertions, e.g., primitive recursion, least o...

Meta-Logical Reasoning in Higher-Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor

The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics. To aid...

Combined solitary-wave solution for coupled higher-order nonlinear Schroedinger equations

International Nuclear Information System (INIS)

Tian Jinping; Tian Huiping; Li Zhonghao; Zhou Guosheng

2004-01-01

Coupled nonlinear Schroedinger equations model several interesting physical phenomena. We used a trigonometric function transform method based on a homogeneous balance to solve the coupled higher-order nonlinear Schroedinger equations. We obtained four pairs of exact solitary-wave solutions including a dark and a bright-soliton pair, a bright- and a dark-soliton pair, a bright- and a bright-soliton pair, and the last pair, a combined bright-dark-soliton pair

Program on Administration in Higher Education.

Science.gov (United States)

Karadima, Oscar

The importance of developing a university level program on administration in higher education in Latin America is discussed. The objective of such a program would provide training to faculty and higher level education and administrative staff in matters related to administration. The program would offer the necessary guidelines in dealing with…

Strategic Learning in Youth with Traumatic Brain Injury: Evidence for Stall in Higher-Order Cognition

Science.gov (United States)

Gamino, Jacquelyn F.; Chapman, Sandra B.; Cook, Lori G.

2009-01-01

Little is known about strategic learning ability in preteens and adolescents with traumatic brain injury (TBI). Strategic learning is the ability to combine and synthesize details to form abstracted gist-based meanings, a higher-order cognitive skill associated with frontal lobe functions and higher classroom performance. Summarization tasks were…

All-fiber Raman Probe using Higher Order Modes

DEFF Research Database (Denmark)

Larsen, Stine Højer Møller; Rishøj, Lars Søgaard; Rottwitt, Karsten

2013-01-01

We demonstrate the first all-fiber Raman probe utilizing higher order modes for the excitation. The spectrum of cyclohexane is measured using both the fundamental mode as well as in-fiber-generated Bessel-like modes.......We demonstrate the first all-fiber Raman probe utilizing higher order modes for the excitation. The spectrum of cyclohexane is measured using both the fundamental mode as well as in-fiber-generated Bessel-like modes....

Asymptotic Expansions for Higher-Order Scalar Difference Equations

Directory of Open Access Journals (Sweden)

Pituk Mihály

2007-01-01

Full Text Available We give an asymptotic expansion of the solutions of higher-order Poincaré difference equation in terms of the characteristic solutions of the limiting equation. As a consequence, we obtain an asymptotic description of the solutions approaching a hyperbolic equilibrium of a higher-order nonlinear difference equation with sufficiently smooth nonlinearity. The proof is based on the inversion formula for the z -transform and the residue theorem.

On the origin of higher braces and higher-order derivations

Czech Academy of Sciences Publication Activity Database

Markl, Martin

2015-01-01

Roč. 10, č. 3 (2015), s. 637-667 ISSN 2193-8407 Institutional support: RVO:67985840 Keywords : Koszul braces * Börjeseon braces * higher-order derivation Subject RIV: BA - General Mathematics Impact factor: 0.600, year: 2015 http://link.springer.com/article/10.1007/s40062-014-0079-2

Higher order correlations in computed particle distributions

International Nuclear Information System (INIS)

Hanerfeld, H.; Herrmannsfeldt, W.; Miller, R.H.

1989-03-01

The rms emittances calculated for beam distributions using computer simulations are frequently dominated by higher order aberrations. Thus there are substantial open areas in the phase space plots. It has long been observed that the rms emittance is not an invariant to beam manipulations. The usual emittance calculation removes the correlation between transverse displacement and transverse momentum. In this paper, we explore the possibility of defining higher order correlations that can be removed from the distribution to result in a lower limit to the realizable emittance. The intent is that by inserting the correct combinations of linear lenses at the proper position, the beam may recombine in a way that cancels the effects of some higher order forces. An example might be the non-linear transverse space charge forces which cause a beam to spread. If the beam is then refocused so that the same non-linear forces reverse the inward velocities, the resulting phase space distribution may reasonably approximate the original distribution. The approach to finding the location and strength of the proper lens to optimize the transported beam is based on work by Bruce Carlsten of Los Alamos National Laboratory. 11 refs., 4 figs

Perturbative theory of higher-order collision-enhanced wave mixing

International Nuclear Information System (INIS)

Trebino, R.; Rahn, L.A.

1989-01-01

This paper reports on collision-enhanced resonances which represent an interesting class of nonlinear- optical processes. They occur because collisional dephasing can rephase quantum-mechanical amplitudes that ordinarily cancel out exactly, thereby allowing otherwise unobservable wave-mixing resonances to be seen. This is an especially interesting phenomenon because these resonances are coherent effects that are induced by an incoherent process (collisional dephasing). First predicted in the late 1970s and eventually observed in 1981, these novel effects have now been seen in a wide variety of four-wave-mixing experiments, ranging from self-focusing to coherent anti-Stokes Raman spectroscopy. Recently, the authors have extended these observations to higher order, where the authors have shown both experimentally and theoretically the higher-order, collision-enhanced effects exist in nonlinear optics, appearing as subharmonics of two-photon resonances. Indeed, the authors have found that collision-enhanced processes are ideal systems for studying higher-order, nonlinear-optical effects because very high orders can be made to contribute with little or no saturation braodening. Experiments on sodium in a flame using six- and eight-wave-mixing geometries have revealed still higher-order effects (at least as high- order as χ (13) )

Classical higher-order processes

DEFF Research Database (Denmark)

Montesi, Fabrizio

2017-01-01

Classical Processes (CP) is a calculus where the proof theory of classical linear logic types processes à la Π-calculus, building on a Curry-Howard correspondence between session types and linear propositions. We contribute to this research line by extending CP with process mobility, inspired...... by the Higher-Order Π-calculus. The key to our calculus is that sequents are asymmetric: one side types sessions as in CP and the other types process variables, which can be instantiated with process values. The controlled interaction between the two sides ensures that process variables can be used at will......, but always respecting the linear usage of sessions expected by the environment....

Asymptotic Expansions for Higher-Order Scalar Difference Equations

Directory of Open Access Journals (Sweden)

Ravi P. Agarwal

2007-04-01

Full Text Available We give an asymptotic expansion of the solutions of higher-order Poincaré difference equation in terms of the characteristic solutions of the limiting equation. As a consequence, we obtain an asymptotic description of the solutions approaching a hyperbolic equilibrium of a higher-order nonlinear difference equation with sufficiently smooth nonlinearity. The proof is based on the inversion formula for the z -transform and the residue theorem.

Higher-Order Cyclostationarity Detection for Spectrum Sensing

Directory of Open Access Journals (Sweden)

Julien Renard

2010-01-01

Full Text Available Recent years have shown a growing interest in the concept of Cognitive Radios (CRs, able to access portions of the electromagnetic spectrum in an opportunistic operating way. Such systems require efficient detectors able to work in low Signal-to-Noise Ratio (SNR environments, with little or no information about the signals they are trying to detect. Energy detectors are widely used to perform such blind detection tasks, but quickly reach the so-called SNR wall below which detection becomes impossible Tandra (2005. Cyclostationarity detectors are an interesting alternative to energy detectors, as they exploit hidden periodicities present in man-made signals, but absent in noise. Such detectors use quadratic transformations of the signals to extract the hidden sine-waves. While most of the literature focuses on the second-order transformations of the signals, we investigate the potential of higher-order transformations of the signals. Using the theory of Higher-Order Cyclostationarity (HOCS, we derive a fourth-order detector that performs similarly to the second-order ones to detect linearly modulated signals, at SNR around 0 dB, which may be used if the signals of interest do not exhibit second-order cyclostationarity. More generally this paper reviews the relevant aspects of the cyclostationary and HOCS theory, and shows their potential for spectrum sensing.

Higher-order tensors in diffusion imaging

NARCIS (Netherlands)

Schultz, T.; Fuster, A.; Ghosh, A.; Deriche, R.; Florack, L.M.J.; Lim, L.H.; Westin, C.-F.; Vilanova, A.; Burgeth, B.

2014-01-01

Diffusion imaging is a noninvasive tool for probing the microstructure of fibrous nerve and muscle tissue. Higher-order tensors provide a powerful mathematical language to model and analyze the large and complex data that is generated by its modern variants such as High Angular Resolution Diffusion

Theorem Proving In Higher Order Logics

Science.gov (United States)

Carreno, Victor A. (Editor); Munoz, Cesar A.; Tahar, Sofiene

2002-01-01

The TPHOLs International Conference serves as a venue for the presentation of work in theorem proving in higher-order logics and related areas in deduction, formal specification, software and hardware verification, and other applications. Fourteen papers were submitted to Track B (Work in Progress), which are included in this volume. Authors of Track B papers gave short introductory talks that were followed by an open poster session. The FCM 2002 Workshop aimed to bring together researchers working on the formalisation of continuous mathematics in theorem proving systems with those needing such libraries for their applications. Many of the major higher order theorem proving systems now have a formalisation of the real numbers and various levels of real analysis support. This work is of interest in a number of application areas, such as formal methods development for hardware and software application and computer supported mathematics. The FCM 2002 consisted of three papers, presented by their authors at the workshop venue, and one invited talk.

Application of holomorphic functions in two and higher dimensions

CERN Document Server

Gürlebeck, Klaus; Sprößig, Wolfgang

2016-01-01

This book presents applications of hypercomplex analysis to boundary value and initial-boundary value problems from various areas of mathematical physics. Given that quaternion and Clifford analysis offer natural and intelligent ways to enter into higher dimensions, it starts with quaternion and Clifford versions of complex function theory including series expansions with Appell polynomials, as well as Taylor and Laurent series. Several necessary function spaces are introduced, and an operator calculus based on modifications of the Dirac, Cauchy-Fueter, and Teodorescu operators and different decompositions of quaternion Hilbert spaces are proved. Finally, hypercomplex Fourier transforms are studied in detail. All this is then applied to first-order partial differential equations such as the Maxwell equations, the Carleman-Bers-Vekua system, the Schrödinger equation, and the Beltrami equation. The higher-order equations start with Riccati-type equations. Further topics include spatial fluid flow problems, ima...

Predicting perceptual learning from higher-order cortical processing.

Science.gov (United States)

Wang, Fang; Huang, Jing; Lv, Yaping; Ma, Xiaoli; Yang, Bin; Wang, Encong; Du, Boqi; Li, Wu; Song, Yan

2016-01-01

Visual perceptual learning has been shown to be highly specific to the retinotopic location and attributes of the trained stimulus. Recent psychophysical studies suggest that these specificities, which have been associated with early retinotopic visual cortex, may in fact not be inherent in perceptual learning and could be related to higher-order brain functions. Here we provide direct electrophysiological evidence in support of this proposition. In a series of event-related potential (ERP) experiments, we recorded high-density electroencephalography (EEG) from human adults over the course of learning in a texture discrimination task (TDT). The results consistently showed that the earliest C1 component (68-84ms), known to reflect V1 activity driven by feedforward inputs, was not modulated by learning regardless of whether the behavioral improvement is location specific or not. In contrast, two later posterior ERP components (posterior P1 and P160-350) over the occipital cortex and one anterior ERP component (anterior P160-350) over the prefrontal cortex were progressively modified day by day. Moreover, the change of the anterior component was closely correlated with improved behavioral performance on a daily basis. Consistent with recent psychophysical and imaging observations, our results indicate that perceptual learning can mainly involve changes in higher-level visual cortex as well as in the neural networks responsible for cognitive functions such as attention and decision making. Copyright © 2015 Elsevier Inc. All rights reserved.

A posteriori model validation for the temporal order of directed functional connectivity maps.

Science.gov (United States)

Beltz, Adriene M; Molenaar, Peter C M

2015-01-01

A posteriori model validation for the temporal order of neural directed functional connectivity maps is rare. This is striking because models that require sequential independence among residuals are regularly implemented. The aim of the current study was (a) to apply to directed functional connectivity maps of functional magnetic resonance imaging data an a posteriori model validation procedure (i.e., white noise tests of one-step-ahead prediction errors combined with decision criteria for revising the maps based upon Lagrange Multiplier tests), and (b) to demonstrate how the procedure applies to single-subject simulated, single-subject task-related, and multi-subject resting state data. Directed functional connectivity was determined by the unified structural equation model family of approaches in order to map contemporaneous and first order lagged connections among brain regions at the group- and individual-levels while incorporating external input, then white noise tests were run. Findings revealed that the validation procedure successfully detected unmodeled sequential dependencies among residuals and recovered higher order (greater than one) simulated connections, and that the procedure can accommodate task-related input. Findings also revealed that lags greater than one were present in resting state data: With a group-level network that contained only contemporaneous and first order connections, 44% of subjects required second order, individual-level connections in order to obtain maps with white noise residuals. Results have broad methodological relevance (e.g., temporal validation is necessary after directed functional connectivity analyses because the presence of unmodeled higher order sequential dependencies may bias parameter estimates) and substantive implications (e.g., higher order lags may be common in resting state data).

A posteriori model validation for the temporal order of directed functional connectivity maps

Directory of Open Access Journals (Sweden)

Adriene M. Beltz

2015-08-01

Full Text Available A posteriori model validation for the temporal order of neural directed functional connectivity maps is rare. This is striking because models that require sequential independence among residuals are regularly implemented. The aim of the current study was (a to apply to directed functional connectivity maps of functional magnetic resonance imaging data an a posteriori model validation procedure (i.e., white noise tests of one-step-ahead prediction errors combined with decision criteria for revising the maps based upon Lagrange Multiplier tests, and (b to demonstrate how the procedure applies to single-subject simulated, single-subject task-related, and multi-subject resting state data. Directed functional connectivity was determined by the unified structural equation model family of approaches in order to map contemporaneous and first order lagged connections among brain regions at the group- and individual-levels while incorporating external input, then white noise tests were run. Findings revealed that the validation procedure successfully detected unmodeled sequential dependencies among residuals and recovered higher order (greater than one simulated connections, and that the procedure can accommodate task-related input. Findings also revealed that lags greater than one were present in resting state data: With a group-level network that contained only contemporaneous and first order connections, 44% of subjects required second order, individual-level connections in order to obtain maps with white noise residuals. Results have broad methodological relevance (e.g., temporal validation is necessary after directed functional connectivity analyses because the presence of unmodeled higher order sequential dependencies may bias parameter estimates and substantive implications (e.g., higher order lags may be common in resting state data.

Exact solutions to two higher order nonlinear Schroedinger equations

International Nuclear Information System (INIS)

Xu Liping; Zhang Jinliang

2007-01-01

Using the homogeneous balance principle and F-expansion method, the exact solutions to two higher order nonlinear Schroedinger equations which describe the propagation of femtosecond pulses in nonlinear fibres are obtained with the aid of a set of subsidiary higher order ordinary differential equations (sub-equations for short)

Maximal intensity higher-order Akhmediev breathers of the nonlinear Schrödinger equation and their systematic generation

Energy Technology Data Exchange (ETDEWEB)

Chin, Siu A., E-mail: chin@physics.tamu.edu [Department of Physics and Astronomy, Texas A& M University, College Station, TX 77843 (United States); Ashour, Omar A. [Department of Physics and Astronomy, Texas A& M University, College Station, TX 77843 (United States); Science Program, Texas A& M University at Qatar, P.O. Box 23874 Doha (Qatar); Nikolić, Stanko N. [Science Program, Texas A& M University at Qatar, P.O. Box 23874 Doha (Qatar); Institute of Physics, University of Belgrade, Pregrevica 118, 11080 Belgrade (Serbia); Belić, Milivoj R. [Science Program, Texas A& M University at Qatar, P.O. Box 23874 Doha (Qatar)

2016-10-23

It is well known that Akhmediev breathers of the nonlinear cubic Schrödinger equation can be superposed nonlinearly via the Darboux transformation to yield breathers of higher order. Surprisingly, we find that the peak height of each Akhmediev breather only adds linearly to form the peak height of the final breather. Using this peak-height formula, we show that at any given periodicity, there exists a unique high-order breather of maximal intensity. Moreover, these high-order breathers form a continuous hierarchy, growing in intensity with increasing periodicity. For any such higher-order breather, a simple initial wave function can be extracted from the Darboux transformation to dynamically generate that breather from the nonlinear Schrödinger equation. - Highlights: • Proved an analytical formula for the peak-height of an nth-order Akhmediev breather. • Constructed nth-order Akhmediev breathers of maximal peak intensity. • Extracted initial wave functions that can be used experimentally to produce these maximal breathers in optical fibers.

Self-similarity of higher-order moving averages

Science.gov (United States)

Arianos, Sergio; Carbone, Anna; Türk, Christian

2011-10-01

In this work, higher-order moving average polynomials are defined by straightforward generalization of the standard moving average. The self-similarity of the polynomials is analyzed for fractional Brownian series and quantified in terms of the Hurst exponent H by using the detrending moving average method. We prove that the exponent H of the fractional Brownian series and of the detrending moving average variance asymptotically agree for the first-order polynomial. Such asymptotic values are compared with the results obtained by the simulations. The higher-order polynomials correspond to trend estimates at shorter time scales as the degree of the polynomial increases. Importantly, the increase of polynomial degree does not require to change the moving average window. Thus trends at different time scales can be obtained on data sets with the same size. These polynomials could be interesting for those applications relying on trend estimates over different time horizons (financial markets) or on filtering at different frequencies (image analysis).

Compiler-Directed Transformation for Higher-Order Stencils

Energy Technology Data Exchange (ETDEWEB)

Basu, Protonu [Univ. of Utah, Salt Lake City, UT (United States); Hall, Mary [Univ. of Utah, Salt Lake City, UT (United States); Williams, Samuel [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Straalen, Brian Van [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Oliker, Leonid [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Colella, Phillip [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)

2015-07-20

As the cost of data movement increasingly dominates performance, developers of finite-volume and finite-difference solutions for partial differential equations (PDEs) are exploring novel higher-order stencils that increase numerical accuracy and computational intensity. This paper describes a new compiler reordering transformation applied to stencil operators that performs partial sums in buffers, and reuses the partial sums in computing multiple results. This optimization has multiple effect son improving stencil performance that are particularly important to higher-order stencils: exploits data reuse, reduces floating-point operations, and exposes efficient SIMD parallelism to backend compilers. We study the benefit of this optimization in the context of Geometric Multigrid (GMG), a widely used method to solvePDEs, using four different Jacobi smoothers built from 7-, 13-, 27-and 125-point stencils. We quantify performance, speedup, andnumerical accuracy, and use the Roofline model to qualify our results. Ultimately, we obtain over 4× speedup on the smoothers themselves and up to a 3× speedup on the multigrid solver. Finally, we demonstrate that high-order multigrid solvers have the potential of reducing total data movement and energy by several orders of magnitude.

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

DEFF Research Database (Denmark)

Amtoft, T.; Nielson, Flemming; Nielson, Hanne Riis

1997-01-01

The authors develop a sound and complete type and behaviour inference algorithm for a fragment of CML (Standard ML with primitives for concurrency). Behaviours resemble terms of a process algebra and yield a concise representation of the communications taking place during execution; types...... are mostly as usual except that function types and `delayed communication types' are labelled by behaviours expressing the communications that will take place if the function is applied or the delayed action is activated. The development of the paper improves a previously published algorithm in achieving...

Higher order aberrations of the eye: Part one

Directory of Open Access Journals (Sweden)

Marsha Oberholzer

2016-06-01

Full Text Available This article is the first in a series of two articles that provide a comprehensive literature review of higher order aberrations (HOAs of the eye. The present article mainly explains the general principles of such HOAs as well as HOAs of importance, and the measuring apparatus used to measure HOAs of the eye. The second article in the series discusses factors contributing to variable results in measurements of HOAs of the eye. Keywords: Higher order aberrations; wavefront aberrations; aberrometer

Lagrangian-Hamiltonian unified formalism for autonomous higher order dynamical systems

International Nuclear Information System (INIS)

Prieto-Martinez, Pedro Daniel; Roman-Roy, Narciso

2011-01-01

The Lagrangian-Hamiltonian unified formalism of Skinner and Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, as well as for first-order and higher order field theories. However, a complete generalization to higher order mechanical systems is yet to be described. In this work, after reviewing the natural geometrical setting and the Lagrangian and Hamiltonian formalisms for higher order autonomous mechanical systems, we develop a complete generalization of the Lagrangian-Hamiltonian unified formalism for these kinds of systems, and we use it to analyze some physical models from this new point of view. (paper)

Higher Order Lagrange Finite Elements In M3D

International Nuclear Information System (INIS)

Chen, J.; Strauss, H.R.; Jardin, S.C.; Park, W.; Sugiyama, L.E.; Fu, G.; Breslau, J.

2004-01-01

The M3D code has been using linear finite elements to represent multilevel MHD on 2-D poloidal planes. Triangular higher order elements, up to third order, are constructed here in order to provide M3D the capability to solve highly anisotropic transport problems. It is found that higher order elements are essential to resolve the thin transition layer characteristic of the anisotropic transport equation, particularly when the strong anisotropic direction is not aligned with one of the Cartesian coordinates. The transition layer is measured by the profile width, which is zero for infinite anisotropy. It is shown that only higher order schemes have the ability to make this layer converge towards zero when the anisotropy gets stronger and stronger. Two cases are considered. One has the strong transport direction partially aligned with one of the element edges, the other doesn't have any alignment. Both cases have the strong transport direction misaligned with the grid line by some angles

An Algorithm for Higher Order Hopf Normal Forms

Directory of Open Access Journals (Sweden)

A.Y.T. Leung

1995-01-01

Full Text Available Normal form theory is important for studying the qualitative behavior of nonlinear oscillators. In some cases, higher order normal forms are required to understand the dynamic behavior near an equilibrium or a periodic orbit. However, the computation of high-order normal forms is usually quite complicated. This article provides an explicit formula for the normalization of nonlinear differential equations. The higher order normal form is given explicitly. Illustrative examples include a cubic system, a quadratic system and a Duffing–Van der Pol system. We use exact arithmetic and find that the undamped Duffing equation can be represented by an exact polynomial differential amplitude equation in a finite number of terms.

Higher-Order Hybrid Gaussian Kernel in Meshsize Boosting Algorithm

African Journals Online (AJOL)

In this paper, we shall use higher-order hybrid Gaussian kernel in a meshsize boosting algorithm in kernel density estimation. Bias reduction is guaranteed in this scheme like other existing schemes but uses the higher-order hybrid Gaussian kernel instead of the regular fixed kernels. A numerical verification of this scheme ...

On higher-order corrections in M theory

International Nuclear Information System (INIS)

Howe, P.S.; Tsimpis, D.

2003-01-01

A theoretical analysis of higher-order corrections to D=11 supergravity is given in a superspace framework. It is shown that any deformation of D=11 supergravity for which the lowest-dimensional component of the four-form G 4 vanishes is trivial. This implies that the equations of motion of D=11 supergravity are specified by an element of a certain spinorial cohomology group and generalises previous results obtained using spinorial or pure spinor cohomology to the fully non-linear theory. The first deformation of the theory is given by an element of a different spinorial cohomology group with coefficients which are local tensorial functions of the massless supergravity fields. The four-form Bianchi Identities are solved, to first order and at dimension -{1/2}, in the case that the lowest-dimensional component of G 4 is non-zero. Moreover, it is shown how one can calculate the first-order correction to the dimension-zero torsion and thus to the supergravity equations of motion given an explicit expression for this object in terms of the supergravity fields. The version of the theory with both a four-form and a seven-form is discussed in the presence of the five-brane anomaly-cancelling term. It is shown that the supersymmetric completion of this term exists and it is argued that it is the unique anomaly-cancelling invariant at this dimension which is at least quartic in the fields. This implies that the first deformation of the theory is completely determined by the anomaly term from which one can, in principle, read off the corrections to all of the superspace field strength tensors. (author)

Suppression of Higher Order Modes in an Array of Cavities Using Waveguides

Science.gov (United States)

Shashkov, Ya. V.; Sobenin, N. P.; Bazyl, D. S.; Kaminskiy, V. I.; Mitrofanov, A. A.; Zobov, M. M.

An application of additional harmonic cavities operating at multiplies of the main RF system frequency of 400 MHz is currently under discussionin the framework of the High Luminosity LHC upgrade program [1,2]. A structure consisting of two 800 MHz single cell superconducting cavities with grooved beam pipes coupled by drift tubes has been suggested for implementation. However, it is desirable to increase the number of single cells installed in one cryomodule in order to decrease the number of transitions between "warm" and "cold" parts of the collider vacuum chamber. Unfortunately, it can lead to the appearance of higher order modes (HOM) trapped between the cavities. In order to solve this problem the methods of HOM damping with rectangular waveguides connected to the drift tubes were investigated and compared. We describe the results obtained for arrays of 2, 4 and 8 cavitiesin this paper.

Three Point Functions in Higher Spin AdS3 Holography with 1/N Corrections

Directory of Open Access Journals (Sweden)

Yasuaki Hikida

2017-10-01

Full Text Available We examine three point functions with two scalar operators and a higher spin current in 2d W N minimal model to the next non-trivial order in 1 / N expansion. The minimal model was proposed to be dual to a 3d higher spin gauge theory, and 1 / N corrections should be interpreted as quantum effects in the dual gravity theory. We develop a simple and systematic method to obtain three point functions by decomposing four point functions of scalar operators with Virasoro conformal blocks. Applying the method, we reproduce known results at the leading order in 1 / N and obtain new ones at the next leading order. As confirmation, we check that our results satisfy relations among three point functions conjectured before.

Higher Order and Fractional Diffusive Equations

Directory of Open Access Journals (Sweden)

D. Assante

2015-07-01

Full Text Available We discuss the solution of various generalized forms of the Heat Equation, by means of different tools ranging from the use of Hermite-Kampé de Fériet polynomials of higher and fractional order to operational techniques. We show that these methods are useful to obtain either numerical or analytical solutions.

The application of the mesh-free method in the numerical simulations of the higher-order continuum structures

Energy Technology Data Exchange (ETDEWEB)

Sun, Yuzhou, E-mail: yuzhousun@126.com; Chen, Gensheng; Li, Dongxia [School of Civil Engineering and Architecture, Zhongyuan University of Technology, Zhengzhou (China)

2016-06-08

This paper attempts to study the application of mesh-free method in the numerical simulations of the higher-order continuum structures. A high-order bending beam considers the effect of the third-order derivative of deflections, and can be viewed as a one-dimensional higher-order continuum structure. The moving least-squares method is used to construct the shape function with the high-order continuum property, the curvature and the third-order derivative of deflections are directly interpolated with nodal variables and the second- and third-order derivative of the shape function, and the mesh-free computational scheme is establish for beams. The coupled stress theory is introduced to describe the special constitutive response of the layered rock mass in which the bending effect of thin layer is considered. The strain and the curvature are directly interpolated with the nodal variables, and the mesh-free method is established for the layered rock mass. The good computational efficiency is achieved based on the developed mesh-free method, and some key issues are discussed.

A higher-order nonlinear Schrödinger equation with variable coefficients

OpenAIRE

Carvajal, X.; Linares, F.

2003-01-01

We study the initial value problem (IVP) associated to a higher-order nonlinear Schrödinger equation with variable coefficients. Under some regularity on its coefficients we establish local well-posedness for the IVP for data in $H^s(\\mathbb R)$, $s\\ge1/4$, improving previous results [22]. The main ingredient in our proof is an estimate of the maximal function associated to the linear solution similar to the sharp one obtained for linear solutions of the Schrödinger and K...

Wilson's theory of critical phenomena. Higher order corrections to critical exponents

International Nuclear Information System (INIS)

Zinn-Justin, J.

1973-01-01

The Wilson's theory of critical phenomena is presented, in the context of renormalized field theory in d dimension and of the Callan-Symanzik equations. This theory allows in particular to compute critical exponents that govern the behavior of some correlation functions near the critical temperature, as power series in epsilon=4-d, using the standard perturbation theory. Owing to the large value of the expansion parameter epsilon, whose physical value is one, it is very important to perform higher order calculations [fr

Generating higher-order Lie algebras by expanding Maurer-Cartan forms

International Nuclear Information System (INIS)

Caroca, R.; Merino, N.; Salgado, P.; Perez, A.

2009-01-01

By means of a generalization of the Maurer-Cartan expansion method, we construct a procedure to obtain expanded higher-order Lie algebras. The expanded higher-order Maurer-Cartan equations for the case G=V 0 +V 1 are found. A dual formulation for the S-expansion multialgebra procedure is also considered. The expanded higher-order Maurer-Cartan equations are recovered from S-expansion formalism by choosing a special semigroup. This dual method could be useful in finding a generalization to the case of a generalized free differential algebra, which may be relevant for physical applications in, e.g., higher-spin gauge theories.

Modular specification and verification for higher-order languages with state

DEFF Research Database (Denmark)

Svendsen, Kasper

The overall topic of this thesis is modular reasoning for higher-order languages with state. The thesis consists of four mostly independent chapters that each deal with a different aspect of reasoning about higher-order languages with state. The unifying theme throughout all four chapters is higher....... The third chapter of the thesis is a case study of the C# joins library. What makes this library interesting as a case study is that it combines a lot of advanced features (higher-order code with effects, concurrency, recursion through the store, shared mutable state, and fine-grained synchronization...

Neutron scattering studies on chromatin higher-order structure

Energy Technology Data Exchange (ETDEWEB)

Graziano, V.; Gerchman, S.E.; Schneider, D.K.; Ramakrishnan, V. [Brookhaven National Laboratory, Upton, NY (United States)

1994-12-31

We have been engaged in studies of the structure and condensation of chromatin into the 30nm filament using small-angle neutron scattering. We have also used deuterated histone H1 to determine its location in the chromatin 30nm filament. Our studies indicate that chromatin condenses with increasing ionic strength to a limiting structure that has a mass per unit length of 6-7 nucleosomes/11 nm. They also show that the linker histone H1/H5 is located in the interior of the chromatin filament, in a position compatible with its binding to the inner face of the nucleosome. Analysis of the mass per unit length as a function of H5 stoichiometry suggests that 5-7 contiguous nucleosomes need to have H5 bound before a stable higher order structure can exist.

Neutron scattering studies on chromatin higher-order structure

International Nuclear Information System (INIS)

Graziano, V.; Gerchman, S.E.; Schneider, D.K.; Ramakrishnan, V.

1994-01-01

We have been engaged in studies of the structure and condensation of chromatin into the 30nm filament using small-angle neutron scattering. We have also used deuterated histone H1 to determine its location in the chromatin 30nm filament. Our studies indicate that chromatin condenses with increasing ionic strength to a limiting structure that has a mass per unit length of 6-7 nucleosomes/11 nm. They also show that the linker histone H1/H5 is located in the interior of the chromatin filament, in a position compatible with its binding to the inner face of the nucleosome. Analysis of the mass per unit length as a function of H5 stoichiometry suggests that 5-7 contiguous nucleosomes need to have H5 bound before a stable higher order structure can exist

Optimization of economic load dispatch of higher order general cost polynomials and its sensitivity using modified particle swarm optimization

International Nuclear Information System (INIS)

Saber, Ahmed Yousuf; Chakraborty, Shantanu; Abdur Razzak, S.M.; Senjyu, Tomonobu

2009-01-01

This paper presents a modified particle swarm optimization (MPSO) for constrained economic load dispatch (ELD) problem. Real cost functions are more complex than conventional second order cost functions when multi-fuel operations, valve-point effects, accurate curve fitting, etc., are considering in deregulated changing market. The proposed modified particle swarm optimization (PSO) consists of problem dependent variable number of promising values (in velocity vector), unit vector and error-iteration dependent step length. It reliably and accurately tracks a continuously changing solution of the complex cost function and no extra concentration/effort is needed for the complex higher order cost polynomials in ELD. Constraint management is incorporated in the modified PSO. The modified PSO has balance between local and global searching abilities, and an appropriate fitness function helps to converge it quickly. To avoid the method to be frozen, stagnated/idle particles are reset. Sensitivity of the higher order cost polynomials is also analyzed visually to realize the importance of the higher order cost polynomials for the optimization of ELD. Finally, benchmark data sets and methods are used to show the effectiveness of the proposed method. (author)

Practical implementation of a higher order transverse leakage approximation

International Nuclear Information System (INIS)

Prinsloo, Rian H.; Tomašević

2011-01-01

Transverse integrated nodal diffusion methods currently represent the standard in full core neutronic simulation. The primary shortcoming in this approach, be it via the Analytic Nodal Method or Nodal Expansion Method, is the utilization of the quadratic transverse leakage approximation. This approach, although proven to work well for typical LWR problems, is not consistent with the formulation of nodal methods and can cause accuracy and convergence problems. In this work an improved, consistent quadratic leakage approximation is formulated, which derives from the class of higher order nodal methods developed some years ago. In this new approach, only information relevant to describing the transverse leak- age terms in the zero-order nodal equations are obtained from the higher order formalism. The method yields accuracy comparable to full higher order methods, but does not suffer from the same computational burden which these methods typically incur. (author)

Higher class groups of Eichler orders

International Nuclear Information System (INIS)

Guo Xuejun; Kuku, Aderemi

2003-11-01

In this paper, we prove that if A is a quaternion algebra and Λ an Eichler order in A, then the only p-torsion possible in even dimensional higher class groups Cl 2n (Λ) (n ≥ 1) are for those rational primes p which lie under prime ideals of O F at which Λ are not maximal. (author)

Time-Discrete Higher-Order ALE Formulations: Stability

KAUST Repository

Bonito, Andrea

2013-01-01

Arbitrary Lagrangian Eulerian (ALE) formulations deal with PDEs on deformable domains upon extending the domain velocity from the boundary into the bulk with the purpose of keeping mesh regularity. This arbitrary extension has no effect on the stability of the PDE but may influence that of a discrete scheme. We examine this critical issue for higher-order time stepping without space discretization. We propose time-discrete discontinuous Galerkin (dG) numerical schemes of any order for a time-dependent advection-diffusion-model problem in moving domains, and study their stability properties. The analysis hinges on the validity of the Reynold\\'s identity for dG. Exploiting the variational structure and assuming exact integration, we prove that our conservative and nonconservative dG schemes are equivalent and unconditionally stable. The same results remain true for piecewise polynomial ALE maps of any degree and suitable quadrature that guarantees the validity of the Reynold\\'s identity. This approach generalizes the so-called geometric conservation law to higher-order methods. We also prove that simpler Runge-Kutta-Radau methods of any order are conditionally stable, that is, subject to a mild ALE constraint on the time steps. Numerical experiments corroborate and complement our theoretical results. © 2013 Society for Industrial and Applied Mathematics.

Semantics and correctness proofs for programs with partial functions

International Nuclear Information System (INIS)

Yakhnis, A.; Yakhnis, V.

1996-01-01

This paper presents a portion of the work on specification, design, and implementation of safety-critical systems such as reactor control systems. A natural approach to this problem, once all the requirements are captured, would be to state the requirements formally and then either to prove (preferably via automated tools) that the system conforms to spec (program verification), or to try to simultaneously generate the system and a mathematical proof that the requirements are being met (program derivation). An obstacle to this is frequent presence of partially defined operations within the software and its specifications. Indeed, the usual proofs via first order logic presuppose everywhere defined operations. Recognizing this problem, David Gries, in ''The Science of Programming,'' 1981, introduced the concept of partial functions into the mainstream of program correctness and gave hints how his treatment of partial functions could be formalized. Still, however, existing theorem provers and software verifiers have difficulties in checking software with partial functions, because of absence of uniform first order treatment of partial functions within classical 2-valued logic. Several rigorous mechanisms that took partiality into account were introduced [Wirsing 1990, Breu 1991, VDM 1986, 1990, etc.]. However, they either did not discuss correctness proofs or departed from first order logic. To fill this gap, the authors provide a semantics for software correctness proofs with partial functions within classical 2-valued 1st order logic. They formalize the Gries treatment of partial functions and also cover computations of functions whose argument lists may be only partially available. An example is nuclear reactor control relying on sensors which may fail to deliver sense data. This approach is sufficiently general to cover correctness proofs in various implementation languages

The Higher Order Structure of Environmental Attitudes: A Cross-Cultural Examination

Directory of Open Access Journals (Sweden)

Taciano L. Milfont

2010-01-01

Full Text Available Past research has suggested that Preservation and Utilization are the two higher order dimensions forming the hierarchical structure of environmental attitudes. This means that these two higher order dimensions could group all kinds of perceptions or beliefs regarding the natural environment people have. A crosscultural study was conducted in Brazil, New Zealand, and South Africa to test this hierarchical structure of environmental attitudes. Results from single- and multi-group confirmatory factor analyses demonstrated that environmental attitudes are a multidimensional construct, and that their first-order factors associate to each other to form a vertical structure. However, the question whether the vertical structure comprise a single higher order factor or two higher order factors still remains unanswered. These results are discussed and directions for future research trying to demonstrate that Preservation and Utilization, taken as distinct second-order environmental attitudes factors, are more empirically meaningful than a single and generalised environmental attitudes higher order factor are presented.

Higher-order gravity in higher dimensions: geometrical origins of four-dimensional cosmology?

Energy Technology Data Exchange (ETDEWEB)

Troisi, Antonio [Universita degli Studi di Salerno, Dipartimento di Fisica ' ' E.R. Caianiello' ' , Salerno (Italy)

2017-03-15

Determining the cosmological field equations is still very much debated and led to a wide discussion around different theoretical proposals. A suitable conceptual scheme could be represented by gravity models that naturally generalize Einstein theory like higher-order gravity theories and higher-dimensional ones. Both of these two different approaches allow one to define, at the effective level, Einstein field equations equipped with source-like energy-momentum tensors of geometrical origin. In this paper, the possibility is discussed to develop a five-dimensional fourth-order gravity model whose lower-dimensional reduction could provide an interpretation of cosmological four-dimensional matter-energy components. We describe the basic concepts of the model, the complete field equations formalism and the 5-D to 4-D reduction procedure. Five-dimensional f(R) field equations turn out to be equivalent, on the four-dimensional hypersurfaces orthogonal to the extra coordinate, to an Einstein-like cosmological model with three matter-energy tensors related with higher derivative and higher-dimensional counter-terms. By considering the gravity model with f(R) = f{sub 0}R{sup n} the possibility is investigated to obtain five-dimensional power law solutions. The effective four-dimensional picture and the behaviour of the geometrically induced sources are finally outlined in correspondence to simple cases of such higher-dimensional solutions. (orig.)

Higher-order chaotic oscillator using active bessel filter

DEFF Research Database (Denmark)

Lindberg, Erik; Mykolaitis, Gytis; Bumelien, Skaidra

2010-01-01

A higher-order oscillator, including a nonlinear unit and an 8th-order low-pass active Bessel filter is described. The Bessel unit plays the role of "three-in-one": a delay line, an amplifier and a filter. Results of hardware experiments and numerical simulation are presented. Depending...

A numerical study of the second-order wave excitation of ship springing by a higher-order boundary element method

Directory of Open Access Journals (Sweden)

Shao Yan-Lin

2014-12-01

Full Text Available This paper presents some of the efforts by the authors towards numerical prediction of springing of ships. A time-domain Higher Order Boundary Element Method (HOBEM based on cubic shape function is first presented to solve a complete second-order problem in terms of wave steepness and ship motions in a consistent manner. In order to avoid high order derivatives on the body surfaces, e.g. mj-terms, a new formulation of the Boundary Value Problem in a body-fixed coordinate system has been proposed instead of traditional formulation in inertial coordinate system. The local steady flow effects on the unsteady waves are taken into account. Double-body flow is used as the basis flow which is an appropriate approximation for ships with moderate forward speed. This numerical model was used to estimate the complete second order wave excitation of springing of a displacement ship at constant forward speeds.

Higher order multipoles and splines in plasma simulations

International Nuclear Information System (INIS)

Okuda, H.; Cheng, C.Z.

1978-01-01

The reduction of spatial grid effects in plasma simulations has been studied numerically using higher order multipole expansions and the spline method in one dimension. It is found that, while keeping the higher order moments such as quadrupole and octopole moments substantially reduces the grid effects, quadratic and cubic splines in general have better stability properties for numerical plasma simulations when the Debye length is much smaller than the grid size. In particular the spline method may be useful in three-dimensional simulations for plasma confinement where the grid size in the axial direction is much greater than the Debye length. (Auth.)

Higher-order multipoles and splines in plasma simulations

International Nuclear Information System (INIS)

Okuda, H.; Cheng, C.Z.

1977-12-01

Reduction of spatial grid effects in plasma simulations has been studied numerically using higher order multipole expansions and spline method in one dimension. It is found that, while keeping the higher order moments such as quadrupole and octopole moments substantially reduces the grid effects, quadratic and cubic splines in general have better stability properties for numerical plasma simulations when the Debye length is much smaller than the grid size. In particular, spline method may be useful in three dimensional simulations for plasma confinement where the grid size in the axial direction is much greater than the Debye length

Special Issue of Higher-Order and Symbolic Computation

DEFF Research Database (Denmark)

2003-01-01

from a paper presented at ICFP'01, the 2001 International Conference on Functional Programming [2]. The three articles were subjected to the usual process of journal reviewing. "Non-standard semantics for program slicing" builds on Cousot's semantics hierarchy of transition systems and presents a new...... method for designing compositional semantics of programs in a way that enables reasoning about program transformations that may alter the termination behavior of a program. A preliminary version of this work was presented at PEPM'02. "Path Dependent Analysis of Logic Programs" presents a framework...... for designing context-sensitive abstract interpretations of logic programs. It introduces call strings of fixed length and the corresponding abstract domains. The resulting analysis approximates the context in which predicates are called. A preliminary version of this work was presented at PEPM'02. "Automatic...

Higher-order dynamical effects in Coulomb dissociation

International Nuclear Information System (INIS)

Esbensen, H.

1994-06-01

We study the effect of higher-order processes in Coulomb dissociation of 11 Li by numerically solving the three-dimensional time-dependent Schroedinger equation for the relative motion of a di-neutron and the 9 Li core. Comparisons are made to first-order perturbation theory and to measurements. The calculated Coulomb reacceleration effects improve the agreement with experiment, but some discrepancy remains. The effects are much smaller in the dissociation of 11 Be, and they decrease with increasing beam energy. (orig.)

Higher Order Mode Fibers

DEFF Research Database (Denmark)

Israelsen, Stine Møller

This PhD thesis considers higher order modes (HOMs) in optical fibers. That includes their excitation and characteristics. Within the last decades, HOMs have been applied both for space multiplexing in optical communications, group velocity dispersion management and sensing among others......-radial polarization as opposed to the linear polarization of the LP0X modes. The effect is investigated numerically in a double cladding fiber with an outer aircladding using a full vectorial modesolver. Experimentally, the bowtie modes are excited using a long period grating and their free space characteristics...... and polarization state are investigated. For this fiber, the onset of the bowtie effect is shown numerically to be LP011. The characteristics usually associated with Bessel-likes modes such as long diffraction free length and selfhealing are shown to be conserved despite the lack of azimuthal symmetry...

Interactions, strings and isotopies in higher order anisotropic superspaces

CERN Document Server

Vacaru, Sergiu Ion

2001-01-01

The monograph summarizes the author's results on the geometry of anholonomic and locally anisotropic interactions, published in J. Math. Phys., Nucl. Phys. B, Ann. Phys. (NY), JHEP, Rep. Math. Phys., Int. J. Theor. Phys. and in some former Soviet Union and Romanian scientific journals. The main subjects are in the theory of field interactions, strings and diffusion processes on spaces, superspaces and isospaces with higher order anisotropy and inhomogeneity. The approach proceeds by developing the concept of higher order anisotropic (super)space which unifies the logical and manthematical aspects of modern Kaluza--Klein theories and generalized Lagrange and Finsler geometry and leads to modeling of physical processes on higher order fiber (super)bundles provided with nonlinear and distinguished connections and metric structures. This book can be also considered as a pedagogical survey on the mentioned subjects.

The differential geometry of higher order jets and tangent bundles

International Nuclear Information System (INIS)

De Leon, M.; Rodrigues, P.R.

1985-01-01

This chapter is devoted to the study of basic geometrical notions required for the development of the main object of the text. Some facts about Jet theory are reviewed. A particular case of Jet manifolds is considered: the tangent bundle of higher order. It is shown that this jet bundle possesses in a canonical way a certain kind of geometric structure, the so called almost tangent structure of higher order, and which is a generalization of the almost tangent geometry of the tangent bundle. Another important fact examined is the extension of the notion of 'spray' to higher order tangent bundles. (Auth.)

Some physical properties of GaX (X=P, As and Sb) semiconductor compounds using higher-order perturbation theory

International Nuclear Information System (INIS)

Jivani, A.R.; Trivedi, H.J.; Gajjar, P.N.; Jani, A.R.

2005-01-01

Recently proposed model potential for describing the electron-ion interaction is employed to calculate total energy, energy band gap at Jones-zone face at X, equation of state and bulk modulus of GaP, GaAs and GaSb compounds using higher-order perturbation theory. The covalent correction term corresponding to third- and fourth-order perturbation energy terms are used to take account of covalent bonding effect in such semiconductors. The significant value of the covalent bonding term shows the essentiality of higher-order correction for zincblende-type crystals. We have employed five different screening functions along with the latest screening function proposed by Sarkar et al. in the present work. The numerical results for the total energy, energy band gap at Jones-zone face and bulk modulus of these compounds are in good agreement with the experimental data and found better than other such theoretical findings. The pressure and bulk modulus at different volumes are obtained by using such higher-order perturbation theory with the application of our model potential. The pressure obtained by this method is compared with pressure obtained by equations proposed by Murnarghan and Vinet et al. The present study also shows that the incorporation of different screening functions generates distinct effects

Recurrence approach and higher order polynomial algebras for superintegrable monopole systems

Science.gov (United States)

Hoque, Md Fazlul; Marquette, Ian; Zhang, Yao-Zhong

2018-05-01

We revisit the MIC-harmonic oscillator in flat space with monopole interaction and derive the polynomial algebra satisfied by the integrals of motion and its energy spectrum using the ad hoc recurrence approach. We introduce a superintegrable monopole system in a generalized Taub-Newman-Unti-Tamburino (NUT) space. The Schrödinger equation of this model is solved in spherical coordinates in the framework of Stäckel transformation. It is shown that wave functions of the quantum system can be expressed in terms of the product of Laguerre and Jacobi polynomials. We construct ladder and shift operators based on the corresponding wave functions and obtain the recurrence formulas. By applying these recurrence relations, we construct higher order algebraically independent integrals of motion. We show that the integrals form a polynomial algebra. We construct the structure functions of the polynomial algebra and obtain the degenerate energy spectra of the model.

Linear matrix differential equations of higher-order and applications

Directory of Open Access Journals (Sweden)

Mustapha Rachidi

2008-07-01

Full Text Available In this article, we study linear differential equations of higher-order whose coefficients are square matrices. The combinatorial method for computing the matrix powers and exponential is adopted. New formulas representing auxiliary results are obtained. This allows us to prove properties of a large class of linear matrix differential equations of higher-order, in particular results of Apostol and Kolodner are recovered. Also illustrative examples and applications are presented.

Higher order field equations. II

International Nuclear Information System (INIS)

Tolhoek, H.A.

1977-01-01

In a previous paper wave propagation was studied according to a sixth-order partial differential equation involving a complex mass M. The corresponding Yang-Feldman integral equations (indicated as SM-YF-equations), were formulated using modified Green's functions Gsub(R)sup(M)(x) and Gsub(A)sup(M)(x), which then incorporate the partial differential equation together with certain boundary conditions. In this paper certain limit properties of these modified Green's functions are derived: (a) It is shown that for mod(M)→infinity the Green's functions Gsub(R)sup(M)(x) and Gsub(A)sup(M)(x) approach the Green's functions Δsub(R)(x) and Δsub(A)(x) of the corresponding KG-equation (Klein-Gordon equation). (b) It is further shown that the asymptotic behaviour of Gsub(R)sup(M)(x) and Gsub(A)sup(M)(x) is the same as of Δsub(R)(x) and Δsub(A)(x)-and also the same as for Dsub(R)(x) and Dsub(A)(x) for t→+-infinity;, where Dsub(R) and Dsub(A) are the Green's functions for the KG-equation with mass zero. It is essential to take limits in the sense of distribution theory in both cases (a) and (b). The property (b) indicates that the wave propagation properties of the SM-YF-equations, the KG-equation with finite mass and the KG-equation with mass zero are closely related in an asymptotic sense. (Auth.)

Higher order corrections in quantum electrodynamics

International Nuclear Information System (INIS)

Rafael, E.

1977-01-01

Theoretical contributions to high-order corrections in purely leptonic systems, such as electrons and muons, muonium (μ + e - ) and positronium (e + e - ), are reviewed to establish the validity of quantum electrodynamics (QED). Two types of QED contributions to the anomalous magnetic moments are considered, from diagrams with one fermion type lines and those witn two fermion type lines. The contributions up to eighth order are compared to the data available with a different accuracy. Good agreement is stated within the experimental errors. The experimental accuracy of the muonium hyperfine structure and of the radiative corrections to the decay of positronium are compared to the one attainable in theoretical calculations. The need for a higher precision in both experimental data and theoretical calculations is stated

Errors of first-order probe correction for higher-order probes in spherical near-field antenna measurements

DEFF Research Database (Denmark)

Laitinen, Tommi; Nielsen, Jeppe Majlund; Pivnenko, Sergiy

2004-01-01

An investigation is performed to study the error of the far-field pattern determined from a spherical near-field antenna measurement in the case where a first-order (mu=+-1) probe correction scheme is applied to the near-field signal measured by a higher-order probe.......An investigation is performed to study the error of the far-field pattern determined from a spherical near-field antenna measurement in the case where a first-order (mu=+-1) probe correction scheme is applied to the near-field signal measured by a higher-order probe....

Higher Order Analysis of Turbulent Changes Found in the ELF Range Electric Field Plasma Before Major Earthquakes

Science.gov (United States)

Kosciesza, M.; Blecki, J. S.; Parrot, M.

2014-12-01

We report the structure function analysis of changes found in electric field in the ELF range plasma turbulence registered in the ionosphere over epicenter region of major earthquakes with depth less than 40 km that took place during 6.5 years of the scientific mission of the DEMETER satellite. We compare the data for the earthquakes for which we found turbulence with events without any turbulent changes. The structure functions were calculated also for the Polar CUSP region and equatorial spread F region. Basic studies of the turbulent processes were conducted with use of higher order spectra and higher order statistics. The structure function analysis was performed to locate and check if there are intermittent behaviors in the ionospheres plasma over epicenter region of the earthquakes. These registrations are correlated with the plasma parameters measured onboard DEMETER satellite and with geomagnetic indices.

MIMO processing based on higher-order Poincaré spheres

Science.gov (United States)

Fernandes, Gil M.; Muga, Nelson J.; Pinto, Armando N.

2017-08-01

A multi-input multi-output (MIMO) algorithm based on higher-order Poincaré spheres is demonstrated for space-division multiplexing (SDM) systems. The MIMO algorithm is modulation format agnostic, robust to frequency offset and does not require training sequences. In this approach, the space-multiplexed signal is decomposed in sets of two tributary signals, with each set represented in a higher-order Poincaré sphere. For any arbitrary complex modulation format, the samples of two tributaries can be represented in a given higher-order Poincaré sphere with a symmetry plane. The crosstalk along propagation changes the spatial orientation of this plane and, therefore, it can be compensated by computing and realigning the best fit plane. We show how the transmitted signal can be successfully recovered using this procedure for all possible combinations of tributaries. Moreover, we analyze the convergence speed for the MIMO technique considering several optical-to-noise ratios.

Functional Python programming

CERN Document Server

Lott, Steven

2015-01-01

This book is for developers who want to use Python to write programs that lean heavily on functional programming design patterns. You should be comfortable with Python programming, but no knowledge of functional programming paradigms is needed.

Higher-order anisotropies in the blast-wave model: Disentangling flow and density field anisotropies

Energy Technology Data Exchange (ETDEWEB)

Cimerman, Jakub [Czech Technical University in Prague, FNSPE, Prague (Czech Republic); Comenius University, FMPI, Bratislava (Slovakia); Tomasik, Boris [Czech Technical University in Prague, FNSPE, Prague (Czech Republic); Univerzita Mateja Bela, FPV, Banska Bystrica (Slovakia); Csanad, Mate; Loekoes, Sandor [Eoetvoes Lorand University, Budapest (Hungary)

2017-08-15

We formulate a generalisation of the blast-wave model which is suitable for the description of higher-order azimuthal anisotropies of the hadron production. The model includes anisotropy in the density profile as well as an anisotropy in the transverse expansion velocity field. We then study how these two kinds of anisotropies influence the single-particle distributions and the correlation radii of two-particle correlation functions. Particularly we focus on the third-order anisotropy and consideration is given averaging over different orientations of the event plane. (orig.)

Ward identities of higher order Virasoro algebra

International Nuclear Information System (INIS)

Zha Chaozeng; Dolate, S.

1994-11-01

The general formulations of primary fields versus quasi-primary ones in the context of high order Virasoro algebra (HOVA) and the corresponding Ward identity are explored. The primary fields of conformal spins up to 8 are given in terms of quasi-primary fields, and the general features of the higher order expressions are also discussed. It is observed that the local fields, either primary of quasi-primary, carry the same numbers of central charges, and not all the primary fields contribute to the anomalies in the Ward identities. (author). 6 refs

Higher order perturbation theory - An example for discussion

International Nuclear Information System (INIS)

Lewins, J.D.; Parks, G.; Babb, A.L.

1986-01-01

Higher order perturbation theory is developed in the form of a Taylor series expansion to third order to calculate the thermal utilization of a nonuniform cell. The development takes advantage of the self-adjoint property of the diffusion operator to provide a simple development of this illustration of generalized perturbation theory employing scalar perturbation parameters. The results show how a designer might employ a second-order theory to quantify proposed design improvements, together with the limitations of second- and third-order theory. The chosen example has an exact optimization solution and thus provides a clear understanding of the role of perturbation theory at its various orders. Convergence and the computational advantages and disadvantages of the method are discussed

Application of Higher-Order Cumulant in Fault Diagnosis of Rolling Bearing

International Nuclear Information System (INIS)

Shen, Yongjun; Yang, Shaopu; Wang, Junfeng

2013-01-01

In this paper a new method of pattern recognition based on higher-order cumulant and envelope analysis is presented. The core of this new method is to construct analytical signals from the given signals and obtain the envelope signals firstly, then compute and compare the higher-order cumulants of the envelope signals. The higher-order cumulants could be used as a characteristic quantity to distinguish these given signals. As an example, this method is applied in fault diagnosis for 197726 rolling bearing of freight locomotive. The comparisons of the second-order, third-order and fourth-order cumulants of the envelope signals from different vibration signals of rolling bearing show this new method could discriminate the normal and two fault signals distinctly

Modulating functions method for parameters estimation in the fifth order KdV equation

KAUST Repository

Asiri, Sharefa M.; Liu, Da-Yan; Laleg-Kirati, Taous-Meriem

2017-01-01

In this work, the modulating functions method is proposed for estimating coefficients in higher-order nonlinear partial differential equation which is the fifth order Kortewegde Vries (KdV) equation. The proposed method transforms the problem into a

Higher-order risk preferences in social settings.

Science.gov (United States)

Heinrich, Timo; Mayrhofer, Thomas

2018-01-01

We study prudence and temperance (next to risk aversion) in social settings. Previous experimental studies have shown that these higher-order risk preferences affect the choices of individuals deciding privately on lotteries that only affect their own payoff. Yet, many risky and financially relevant decisions are made in the social settings of households or organizations. We elicit higher-order risk preferences of individuals and systematically vary how an individual's decision is made (alone or while communicating with a partner) and who is affected by the decision (only the individual or the partner as well). In doing so, we can isolate the effects of other-regarding concerns and communication on choices. Our results reveal that the majority of choices are risk averse, prudent, and temperate across social settings. We also observe that individuals are influenced significantly by the preferences of a partner when they are able to communicate and choices are payoff-relevant for both of them.

Mathematics Teachers’ Interpretation of Higher-Order Thinking in Bloom’s Taxonomy

OpenAIRE

Tony Thompson

2008-01-01

This study investigated mathematics teachers’ interpretation of higher-order thinking in Bloom’s Taxonomy. Thirty-two high school mathematics teachers from the southeast U.S. were asked to (a) define lower- and higher-order thinking, (b) identify which thinking skills in Bloom’s Taxonomy represented lower- and higher-order thinking, and (c) create an Algebra I final exam item representative of each thinking skill. Results indicate that mathematics teachers have difficulty interpreting the thi...

Comparing higher order models for the EORTC QLQ-C30

DEFF Research Database (Denmark)

Gundy, Chad M; Fayers, Peter M; Grønvold, Mogens

2012-01-01

To investigate the statistical fit of alternative higher order models for summarizing the health-related quality of life profile generated by the EORTC QLQ-C30 questionnaire.......To investigate the statistical fit of alternative higher order models for summarizing the health-related quality of life profile generated by the EORTC QLQ-C30 questionnaire....

Scalar brane backgrounds in higher order curvature gravity

International Nuclear Information System (INIS)

Charmousis, Christos; Davis, Stephen C.; Dufaux, Jean-Francois

2003-01-01

We investigate maximally symmetric brane world solutions with a scalar field. Five-dimensional bulk gravity is described by a general lagrangian which yields field equations containing no higher than second order derivatives. This includes the Gauss-Bonnet combination for the graviton. Stability and gravitational properties of such solutions are considered, and we particularly emphasise the modifications induced by the higher order terms. In particular it is shown that higher curvature corrections to Einstein theory can give rise to instabilities in brane world solutions. A method for analytically obtaining the general solution for such actions is outlined. Generically, the requirement of a finite volume element together with the absence of a naked singularity in the bulk imposes fine-tuning of the brane tension. A model with a moduli scalar field is analysed in detail and we address questions of instability and non-singular self-tuning solutions. In particular, we discuss a case with a normalisable zero mode but infinite volume element. (author)

Higher-order RANS turbulence models for separated flows

Data.gov (United States)

National Aeronautics and Space Administration — Higher-order Reynolds-averaged Navier-Stokes (RANS) models are developed to overcome the shortcomings of second-moment RANS models in predicting separated flows....

Higher order mode damping of a higher harmonic superconducting cavity for SSRF

International Nuclear Information System (INIS)

Yu Haibo; Liu Jianfei; Hou Hongtao; Ma Zhenyu; Feng Xiqiang; Mao Dongqing

2012-01-01

Adopting a higher harmonic cavity on a synchrotron radiation facility can increase the beam lifetime and suppress the beam instability. In this paper, we report the simulation and preliminary design on higher order modes (HOMs) damping of the designed and fabricated higher harmonic superconducting cavity for Shanghai Synchrotron Radiation Facility (SSRF). The requirements for the HOM damping are analyzed, and the length and location of the HOM damper are optimized by using the SEAFISH code. The results show that the design can provide heavy damping for harmful HOMs with decreased impedance, and the beam instability requirement of SSRF can be satisfied. By using the ABCI code, the loss factor is obtained and the HOM power is estimated. (authors)

Multi-instantons and exact results II: specific cases, higher-order effects, and numerical calculations

International Nuclear Information System (INIS)

Zinn-Justin, Jean; Jentschura, Ulrich D.

2004-01-01

In this second part of the treatment of instantons in quantum mechanics, the focus is on specific calculations related to a number of quantum mechanical potentials with degenerate minima. We calculate the leading multi-instanton contributions to the partition function, using the formalism introduced in the first part of the treatise [Ann. Phys. (N. Y.) (previous issue) (2004)]. The following potentials are considered: (i) asymmetric potentials with degenerate minima, (ii) the periodic cosine potential, (iii) anharmonic oscillators with radial symmetry, and (iv) a specific potential which bears an analogy with the Fokker-Planck equation. The latter potential has the peculiar property that the perturbation series for the ground-state energy vanishes to all orders and is thus formally convergent (the ground-state energy, however, is non-zero and positive). For the potentials (ii), (iii), and (iv), we calculate the perturbative B-function as well as the instanton A-function to fourth order in g. We also consider the double-well potential in detail, and present some higher-order analytic as well as numerical calculations to verify explicitly the related conjectures up to the order of three instantons. Strategies analogous to those outlined here could result in new conjectures for problems where our present understanding is more limited

Functional Programming in R

DEFF Research Database (Denmark)

Mailund, Thomas

Master functions and discover how to write functional programs in R. In this book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional...... Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recursion when loops are more efficient and how you can get the best of both worlds. Functional programming...... is a style of programming, like object-oriented programming, but one that focuses on data transformations and calculations rather than objects and state. Where in object-oriented programming you model your programs by describing which states an object can be in and how methods will reveal or modify...

Functional Programming in R

DEFF Research Database (Denmark)

Mailund, Thomas

2017-01-01

Master functions and discover how to write functional programs in R. In this book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional...... Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recursion when loops are more efficient and how you can get the best of both worlds. Functional programming...... is a style of programming, like object-oriented programming, but one that focuses on data transformations and calculations rather than objects and state. Where in object-oriented programming you model your programs by describing which states an object can be in and how methods will reveal or modify...

PRE-SERVICE MATHEMATICS TEACHERS’ CONCEPTION OF HIGHER-ORDER THINKING LEVEL IN BLOOM'S TAXONOMY

OpenAIRE

Damianus D Samo

2017-01-01

The purpose of this study is to explore pre-service mathematics teachers' conception of higher-order thinking in Bloom's Taxonomy, to explore pre-service mathematics teachers' ability in categorizing six cognitive levels of Bloom's Taxonomy as lower-order thinking and higher-order thinking, and pre-service mathematics teachers' ability in identifying some questionable items as lower-order and higher-order thinking. The higher-order thinking is the type of non-algorithm thinking which include ...

Wigner higher-order spectra: definition, properties, computation and application to transient signal analysis

OpenAIRE

Rodríguez Fonollosa, Javier; Nikias, Chrysostomos L.

1993-01-01

The Wigner higher order moment spectra (WHOS) are defined as extensions of the Wigner-Ville distribution (WD) to higher order moment spectra domains. A general class of time-frequency higher order moment spectra is also defined in terms of arbitrary higher order moments of the signal as generalizations of the Cohen’s general class of time-frequency representations. The properties of the general class of time-frequency higher order moment spectra can be related to the properties...

Propagation of high power electromagnetic beam in relativistic magnetoplasma: Higher order paraxial ray theory

Science.gov (United States)

Gill, Tarsem Singh; Kaur, Ravinder; Mahajan, Ranju

2010-09-01

This paper presents an analysis of self-consistent, steady-state, theoretical model, which explains the ring formation in a Gaussian electromagnetic beam propagating in a magnetoplasma, characterized by relativistic nonlinearity. Higher order terms (up to r4) in the expansion of the dielectric function and the eikonal have been taken into account. The condition for the formation of a dark and bright ring derived earlier by Misra and Mishra [J. Plasma Phys. 75, 769 (2009)] has been used to study focusing/defocusing of the beam. It is seen that inclusion of higher order terms does significantly affect the dependence of the beam width on the distance of propagation. Further, the effect of the magnetic field and the nature of nonlinearity on the ring formation and self-focusing of the beam have been explored.

Propagation of high power electromagnetic beam in relativistic magnetoplasma: Higher order paraxial ray theory

International Nuclear Information System (INIS)

Gill, Tarsem Singh; Kaur, Ravinder; Mahajan, Ranju

2010-01-01

This paper presents an analysis of self-consistent, steady-state, theoretical model, which explains the ring formation in a Gaussian electromagnetic beam propagating in a magnetoplasma, characterized by relativistic nonlinearity. Higher order terms (up to r 4 ) in the expansion of the dielectric function and the eikonal have been taken into account. The condition for the formation of a dark and bright ring derived earlier by Misra and Mishra [J. Plasma Phys. 75, 769 (2009)] has been used to study focusing/defocusing of the beam. It is seen that inclusion of higher order terms does significantly affect the dependence of the beam width on the distance of propagation. Further, the effect of the magnetic field and the nature of nonlinearity on the ring formation and self-focusing of the beam have been explored.

De Sitter and scaling solutions in a higher-order modified teleparallel theory

Energy Technology Data Exchange (ETDEWEB)

Paliathanasis, Andronikos, E-mail: anpaliat@phys.uoa.gr [Instituto de Ciencias Físicas y Matemáticas, Universidad Austral de Chile, Valdivia (Chile)

2017-08-01

The existence and the stability conditions for some exact relativistic solutions of special interest are studied in a higher-order modified teleparallel gravitational theory. The theory with the use of a Lagrange multiplier is equivalent with that of General Relativity with a minimally coupled noncanonical field. The conditions for the existence of de Sitter solutions and ideal gas solutions in the case of vacuum are studied as also the stability criteria. Furthermore, in the presence of matter the behaviour of scaling solutions is given. Finally, we discuss the degrees of freedom of the field equations and we reduce the field equations in an algebraic equation, where in order to demonstrate our result we show how this noncanonical scalar field can reproduce the Hubble function of Λ-cosmology.

Higher-order Skyrme hair of black holes

Science.gov (United States)

Gudnason, Sven Bjarke; Nitta, Muneto

2018-05-01

Higher-order derivative terms are considered as replacement for the Skyrme term in an Einstein-Skyrme-like model in order to pinpoint which properties are necessary for a black hole to possess stable static scalar hair. We find two new models able to support stable black hole hair in the limit of the Skyrme term being turned off. They contain 8 and 12 derivatives, respectively, and are roughly the Skyrme-term squared and the so-called BPS-Skyrme-term squared. In the twelfth-order model we find that the lower branches, which are normally unstable, become stable in the limit where the Skyrme term is turned off. We check this claim with a linear stability analysis. Finally, we find for a certain range of the gravitational coupling and horizon radius, that the twelfth-order model contains 4 solutions as opposed to 2. More surprisingly, the lowest part of the would-be unstable branch turns out to be the stable one of the 4 solutions.

Higher order mode damping in Kaon factory RF cavities

International Nuclear Information System (INIS)

Enegren, T.; Poirier, R.; Griffin, J.; Walling, L.; Thiessen, H.A.; Smythe, W.R.

1989-05-01

Proposed designs for Kaon factory accelerators require that the rf cavities support beam currents on the order of several amperes. The beam current has Fourier components at all multiples of the rf frequency. Empty rf buckets produce additional components at all multiples of the revolution frequency. If a Fourier component of the beam coincides with the resonant frequency of a higher order mode of the cavity, which is inevitable if the cavity has a large frequency swing, significant excitation of this mode can occur. The induced voltage may then excite coupled bunch mode instabilities. Effective means are required to damp higher order modes without significantly affecting the fundamental mode. A mode damping scheme based on coupled transmission lines has been investigated and is report

Analysis of Higher Order Modes in Large Superconducting Radio Frequency Accelerating Structures

CERN Document Server

Galek, Tomasz; Brackebusch, Korinna; Van Rienen, Ursula

2015-01-01

Superconducting radio frequency cavities used for accelerating charged particle beams are commonly used in accelerator facilities around the world. The design and optimization of modern superconducting RF cavities requires intensive numerical simulations. Vast number of operational parameters must be calculated to ensure appropriate functioning of the accelerating structures. In this study, we primarily focus on estimation and behavior of higher order modes in superconducting RF cavities connected in chains. To calculate large RF models the state-space concatenation scheme, an efficient hybrid method, is employed.

Higher Order Thinking Skills among Secondary School Students in Science Learning

Science.gov (United States)

Saido, Gulistan Mohammed; Siraj, Saedah; Bin Nordin, Abu Bakar; Al Amedy, Omed Saadallah

2015-01-01

A central goal of science education is to help students to develop their higher order thinking skills to enable them to face the challenges of daily life. Enhancing students' higher order thinking skills is the main goal of the Kurdish Science Curriculum in the Iraqi-Kurdistan region. This study aimed at assessing 7th grade students' higher order…

The Necessity of Functional Analysis for Space Exploration Programs

Science.gov (United States)

Morris, A. Terry; Breidenthal, Julian C.

2011-01-01

As NASA moves toward expanded commercial spaceflight within its human exploration capability, there is increased emphasis on how to allocate responsibilities between government and commercial organizations to achieve coordinated program objectives. The practice of program-level functional analysis offers an opportunity for improved understanding of collaborative functions among heterogeneous partners. Functional analysis is contrasted with the physical analysis more commonly done at the program level, and is shown to provide theoretical performance, risk, and safety advantages beneficial to a government-commercial partnership. Performance advantages include faster convergence to acceptable system solutions; discovery of superior solutions with higher commonality, greater simplicity and greater parallelism by substituting functional for physical redundancy to achieve robustness and safety goals; and greater organizational cohesion around program objectives. Risk advantages include avoidance of rework by revelation of some kinds of architectural and contractual mismatches before systems are specified, designed, constructed, or integrated; avoidance of cost and schedule growth by more complete and precise specifications of cost and schedule estimates; and higher likelihood of successful integration on the first try. Safety advantages include effective delineation of must-work and must-not-work functions for integrated hazard analysis, the ability to formally demonstrate completeness of safety analyses, and provably correct logic for certification of flight readiness. The key mechanism for realizing these benefits is the development of an inter-functional architecture at the program level, which reveals relationships between top-level system requirements that would otherwise be invisible using only a physical architecture. This paper describes the advantages and pitfalls of functional analysis as a means of coordinating the actions of large heterogeneous organizations

Invariant functionals in higher-spin theory

Directory of Open Access Journals (Sweden)

M.A. Vasiliev

2017-03-01

Full Text Available A new construction for gauge invariant functionals in the nonlinear higher-spin theory is proposed. Being supported by differential forms closed by virtue of the higher-spin equations, invariant functionals are associated with central elements of the higher-spin algebra. In the on-shell AdS4 higher-spin theory we identify a four-form conjectured to represent the generating functional for 3d boundary correlators and a two-form argued to support charges for black hole solutions. Two actions for 3d boundary conformal higher-spin theory are associated with the two parity-invariant higher-spin models in AdS4. The peculiarity of the spinorial formulation of the on-shell AdS3 higher-spin theory, where the invariant functional is supported by a two-form, is conjectured to be related to the holomorphic factorization at the boundary. The nonlinear part of the star-product function F⁎(B(x in the higher-spin equations is argued to lead to divergencies in the boundary limit representing singularities at coinciding boundary space–time points of the factors of B(x, which can be regularized by the point splitting. An interpretation of the RG flow in terms of proposed construction is briefly discussed.

Student's Perceived Level and Teachers' Teaching Strategies of Higher Order Thinking Skills: A Study on Higher Educational Institutions in Thailand

Science.gov (United States)

Shukla, Divya; Dungsungnoen, Aj Pattaradanai

2016-01-01

Higher order thinking skills (HOTS) has portrayed immense industry demand and the major goal of educational institution in imparting education is to inculcate higher order thinking skills. This compiles and mandate the institutions and instructor to develop the higher order thinking skills among students in order to prepare them for effective…

Incorporating social groups' responses in a descriptive model for second- and higher-order impact identification

International Nuclear Information System (INIS)

Sutheerawatthana, Pitch; Minato, Takayuki

2010-01-01

The response of a social group is a missing element in the formal impact assessment model. Previous discussion of the involvement of social groups in an intervention has mainly focused on the formation of the intervention. This article discusses the involvement of social groups in a different way. A descriptive model is proposed by incorporating a social group's response into the concept of second- and higher-order effects. The model is developed based on a cause-effect relationship through the observation of phenomena in case studies. The model clarifies the process by which social groups interact with a lower-order effect and then generate a higher-order effect in an iterative manner. This study classifies social groups' responses into three forms-opposing, modifying, and advantage-taking action-and places them in six pathways. The model is expected to be used as an analytical tool for investigating and identifying impacts in the planning stage and as a framework for monitoring social groups' responses during the implementation stage of a policy, plan, program, or project (PPPPs).

Possible higher order phase transition in large-N gauge theory at finite temperature

Energy Technology Data Exchange (ETDEWEB)

Nishimura, Hiromichi

2017-08-07

We analyze the phase structure of SU(¥) gauge theory at finite temperature using matrix models. Our basic assumption is that the effective potential is dominated by double-trace terms for the Polyakov loops. As a function of the temperature, a background field for the Polyakov loop, and a quartic coupling, it exhibits a universal structure: in the large portion of the parameter space, there is a continuous phase transition analogous to the third-order phase transition of Gross,Witten and Wadia, but the order of phase transition can be higher than third. We show that different confining potentials give rise to drastically different behavior of the eigenvalue density and the free energy. Therefore lattice simulations at large N could probe the order of phase transition and test our results. Critical

Reasoning about Java programs in higher order logic using PVS and Isabelle

NARCIS (Netherlands)

Huisman, Marieke

2001-01-01

This thesis describes the first steps of a project aimed at formal verification of Java programs. The work presented here is part of a larger project called LOOP, for Logic of Object Oriented Programming. A semantics for Java is described in type theory and it is shown how this semantics forms the

Higher Education Leadership Graduate Program Development

Science.gov (United States)

Freeman, Sydney, Jr.; Chambers, Crystal Renée; Newton, Rochelle

2016-01-01

Graduate programs in higher education administration and leadership have sought to equip students with the knowledge, skills, and competencies for higher education leadership; that is, to prepare globally minded leaders who can navigate the internal and external demands of, and for, higher education. With the use of the Lattuca and Stark model of…

Higher-order force moments of active particles

Science.gov (United States)

Nasouri, Babak; Elfring, Gwynn J.

2018-04-01

Active particles moving through fluids generate disturbance flows due to their activity. For simplicity, the induced flow field is often modeled by the leading terms in a far-field approximation of the Stokes equations, whose coefficients are the force, torque, and stresslet (zeroth- and first-order force moments) of the active particle. This level of approximation is quite useful, but may also fail to predict more complex behaviors that are observed experimentally. In this study, to provide a better approximation, we evaluate the contribution of the second-order force moments to the flow field and, by reciprocal theorem, present explicit formulas for the stresslet dipole, rotlet dipole, and potential dipole for an arbitrarily shaped active particle. As examples of this method, we derive modified Faxén laws for active spherical particles and resolve higher-order moments for active rod-like particles.

Analysis and Improvement of the Generic Higher-Order Masking Scheme of FSE 2012

OpenAIRE

Roy, Arnab; Venkatesh, Srinivas Vivek

2013-01-01

Masking is a well-known technique used to prevent block cipher implementations from side-channel attacks. Higher-order side channel attacks (e.g. higher-order DPA attack) on widely used block cipher like AES have motivated the design of efficient higher-order masking schemes. Indeed, it is known that as the masking order increases, the difficulty of side-channel attack increases exponentially. However, the main problem in higher-order masking is to design an efficient and secure technique for...

A MATLAB-based graphical user interface program for computing functionals of the geopotential up to ultra-high degrees and orders

Science.gov (United States)

Bucha, Blažej; Janák, Juraj

2013-07-01

We present a novel graphical user interface program GrafLab (GRAvity Field LABoratory) for spherical harmonic synthesis (SHS) created in MATLAB®. This program allows to comfortably compute 38 various functionals of the geopotential up to ultra-high degrees and orders of spherical harmonic expansion. For the most difficult part of the SHS, namely the evaluation of the fully normalized associated Legendre functions (fnALFs), we used three different approaches according to required maximum degree: (i) the standard forward column method (up to maximum degree 1800, in some cases up to degree 2190); (ii) the modified forward column method combined with Horner's scheme (up to maximum degree 2700); (iii) the extended-range arithmetic (up to an arbitrary maximum degree). For the maximum degree 2190, the SHS with fnALFs evaluated using the extended-range arithmetic approach takes only approximately 2-3 times longer than its standard arithmetic counterpart, i.e. the standard forward column method. In the GrafLab, the functionals of the geopotential can be evaluated on a regular grid or point-wise, while the input coordinates can either be read from a data file or entered manually. For the computation on a regular grid we decided to apply the lumped coefficients approach due to significant time-efficiency of this method. Furthermore, if a full variance-covariances matrix of spherical harmonic coefficients is available, it is possible to compute the commission errors of the functionals. When computing on a regular grid, the output functionals or their commission errors may be depicted on a map using automatically selected cartographic projection.

Recurrent activity in higher order, modality non-specific brain regions

DEFF Research Database (Denmark)

Lou, Hans Olav Christensen; Joensson, Morten; Biermann-Ruben, Katja

2011-01-01

It has been proposed that the workings of the brain are mainly intrinsically generated recurrent neuronal activity, with sensory inputs as modifiers of such activity in both sensory and higher order modality non-specific regions. This is supported by the demonstration of recurrent neuronal activity...... in the visual system as a response to visual stimulation. In contrast recurrent activity has never been demonstrated before in higher order modality non-specific regions. Using magneto-encephalography and Granger causality analysis, we tested in a paralimbic network the hypothesis that stimulation may enhance...... causal recurrent interaction between higher-order, modality non-specific regions. The network includes anterior cingulate/medial prefrontal and posterior cingulate/medial parietal cortices together with pulvinar thalami, a network known to be effective in autobiographic memory retrieval and self...

Visualization and processing of higher order descriptors for multi-valued data

CERN Document Server

Schultz, Thomas

2015-01-01

Modern imaging techniques and computational simulations yield complex multi-valued data that require higher-order mathematical descriptors. This book addresses topics of importance when dealing with such data, including frameworks for image processing, visualization, and statistical analysis of higher-order descriptors. It also provides examples of the successful use of higher-order descriptors in specific applications and a glimpse of the next generation of diffusion MRI. To do so, it combines contributions on new developments, current challenges in this area, and state-of-the-art surveys.   Compared to the increasing importance of higher-order descriptors in a range of applications, tools for analysis and processing are still relatively hard to come by. Even though application areas such as medical imaging, fluid dynamics, and structural mechanics are very different in nature they face many shared challenges. This book provides an interdisciplinary perspective on this topic with contributions from key rese...

Analysis of warping deformation modes using higher order ANCF beam element

Science.gov (United States)

Orzechowski, Grzegorz; Shabana, Ahmed A.

2016-02-01

Most classical beam theories assume that the beam cross section remains a rigid surface under an arbitrary loading condition. However, in the absolute nodal coordinate formulation (ANCF) continuum-based beams, this assumption can be relaxed allowing for capturing deformation modes that couple the cross-section deformation and beam bending, torsion, and/or elongation. The deformation modes captured by ANCF finite elements depend on the interpolating polynomials used. The most widely used spatial ANCF beam element employs linear approximation in the transverse direction, thereby restricting the cross section deformation and leading to locking problems. The objective of this investigation is to examine the behavior of a higher order ANCF beam element that includes quadratic interpolation in the transverse directions. This higher order element allows capturing warping and non-uniform stretching distribution. Furthermore, this higher order element allows for increasing the degree of continuity at the element interface. It is shown in this paper that the higher order ANCF beam element can be used effectively to capture warping and eliminate Poisson locking that characterizes lower order ANCF finite elements. It is also shown that increasing the degree of continuity requires a special attention in order to have acceptable results. Because higher order elements can be more computationally expensive than the lower order elements, the use of reduced integration for evaluating the stress forces and the use of explicit and implicit numerical integrations to solve the nonlinear dynamic equations of motion are investigated in this paper. It is shown that the use of some of these integration methods can be very effective in reducing the CPU time without adversely affecting the solution accuracy.

Some higher moments of deep inelastic structure functions at next-to-next-to-leading order of perturbative QCD

International Nuclear Information System (INIS)

Retey, A.; Vermaseren, J.A.M.

2001-01-01

We present the analytic next-to-next-to-leading QCD calculation of some higher moments of deep inelastic structure functions in the leading twist approximation. We give results for the moments N=1,3,5,7,9,11,13 of the structure function F 3 . Similarly we present the moments N=10,12 for the flavour singlet and N=12,14 for the non-singlet structure functions F 2 and F L . We have calculated both the three-loop anomalous dimensions of the corresponding operators and the three-loop coefficient functions of the moments of these structure functions

The geometry of higher-order Lagrange spaces applications to mechanics and physics

CERN Document Server

Miron, Radu

1997-01-01

This monograph is devoted to the problem of the geometrizing of Lagrangians which depend on higher-order accelerations It presents a construction of the geometry of the total space of the bundle of the accelerations of order k>=1 A geometrical study of the notion of the higher-order Lagrange space is conducted, and the old problem of prolongation of Riemannian spaces to k-osculator manifolds is solved Also, the geometrical ground for variational calculus on the integral of actions involving higher-order Lagrangians is dealt with Applications to higher-order analytical mechanics and theoretical physics are included as well Audience This volume will be of interest to scientists whose work involves differential geometry, mechanics of particles and systems, calculus of variation and optimal control, optimization, optics, electromagnetic theory, and biology

Higher-Order Spectrum in Understanding Nonlinearity in EEG Rhythms

Directory of Open Access Journals (Sweden)

Cauchy Pradhan

2012-01-01

Full Text Available The fundamental nature of the brain's electrical activities recorded as electroencephalogram (EEG remains unknown. Linear stochastic models and spectral estimates are the most common methods for the analysis of EEG because of their robustness, simplicity of interpretation, and apparent association with rhythmic behavioral patterns in nature. In this paper, we extend the use of higher-order spectrum in order to indicate the hidden characteristics of EEG signals that simply do not arise from random processes. The higher-order spectrum is an extension Fourier spectrum that uses higher moments for spectral estimates. This essentially nullifies all Gaussian random effects, therefore, can reveal non-Gaussian and nonlinear characteristics in the complex patterns of EEG time series. The paper demonstrates the distinguishing features of bispectral analysis for chaotic systems, filtered noises, and normal background EEG activity. The bispectrum analysis detects nonlinear interactions; however, it does not quantify the coupling strength. The squared bicoherence in the nonredundant region has been estimated to demonstrate nonlinear coupling. The bicoherence values are minimal for white Gaussian noises (WGNs and filtered noises. Higher bicoherence values in chaotic time series and normal background EEG activities are indicative of nonlinear coupling in these systems. The paper shows utility of bispectral methods as an analytical tool in understanding neural process underlying human EEG patterns.

Higher-order neural network software for distortion invariant object recognition

Science.gov (United States)

Reid, Max B.; Spirkovska, Lilly

1991-01-01

The state-of-the-art in pattern recognition for such applications as automatic target recognition and industrial robotic vision relies on digital image processing. We present a higher-order neural network model and software which performs the complete feature extraction-pattern classification paradigm required for automatic pattern recognition. Using a third-order neural network, we demonstrate complete, 100 percent accurate invariance to distortions of scale, position, and in-plate rotation. In a higher-order neural network, feature extraction is built into the network, and does not have to be learned. Only the relatively simple classification step must be learned. This is key to achieving very rapid training. The training set is much smaller than with standard neural network software because the higher-order network only has to be shown one view of each object to be learned, not every possible view. The software and graphical user interface run on any Sun workstation. Results of the use of the neural software in autonomous robotic vision systems are presented. Such a system could have extensive application in robotic manufacturing.

Covariant quantization of infinite spin particle models, and higher order gauge theories

International Nuclear Information System (INIS)

Edgren, Ludde; Marnelius, Robert

2006-01-01

Further properties of a recently proposed higher order infinite spin particle model are derived. Infinitely many classically equivalent but different Hamiltonian formulations are shown to exist. This leads to a condition of uniqueness in the quantization process. A consistent covariant quantization is shown to exist. Also a recently proposed supersymmetric version for half-odd integer spins is quantized. A general algorithm to derive gauge invariances of higher order Lagrangians is given and applied to the infinite spin particle model, and to a new higher order model for a spinning particle which is proposed here, as well as to a previously given higher order rigid particle model. The latter two models are also covariantly quantized

Top-quark physics as a prime application of automated higher-order corrections

Energy Technology Data Exchange (ETDEWEB)

Weiss, Christian

2017-07-15

Experiments in high energy physics have reached an unprecedented accuracy. This accuracy has to be matched by the theoretical predictions used to search for new physics. For this purpose, sophisticated computer programs are necessary, both for the calculation of matrix elements (tree-level and loop) and in the field of Monte-Carlo event generation. The hadronic initial state at the LHC poses significant challenges for measurement and simulation. A future lepton collider, like the proposed international linear collider (ILC) in Japan or compact linear collider (CLIC) at CERN would have a much cleaner initial state. Such a machine would achieve an even higher precision. In the field of lepton colliders, the Whizard event generator has been established as the program of choice due to its unique treatment of beam structure functions and initial-state radiation. In this thesis, we present the extension of Whizard to next-to-leading order accuracy, thus augmenting it to the state of the art. We use the Frixione-Kunszt-Signer (FKS) subtraction scheme to subtract divergences, of which a detailed outline is given. This new functionality is used to perform in-depth studies of the top quark. Being the heaviest particle in the standard model, its strong connection to the Higgs sector as well as its abundant production at a future lepton collider makes it an excellent object of study. Yet, its lifetime is very short and high-multiplicity final-states of its decay products are decayed in the detector. This thesis investigates the influence of NLO QCD corrections to the fully off-shell top production processes e{sup +}e{sup -}→μ{sup +}ν{sub μ}e{sup -} anti ν{sub e}b anti b and e{sup +}e{sup -}→μ{sup +}ν{sub μ}e{sup -} anti ν{sub e}b anti bH. These calculations have not been performed for the first time. Moreover, the incorporation of NLO QCD corrections into the resummation of the top production threshold and its matching to the relativistic continuum for the process

Top-quark physics as a prime application of automated higher-order corrections

International Nuclear Information System (INIS)

Weiss, Christian

2017-07-01

Experiments in high energy physics have reached an unprecedented accuracy. This accuracy has to be matched by the theoretical predictions used to search for new physics. For this purpose, sophisticated computer programs are necessary, both for the calculation of matrix elements (tree-level and loop) and in the field of Monte-Carlo event generation. The hadronic initial state at the LHC poses significant challenges for measurement and simulation. A future lepton collider, like the proposed international linear collider (ILC) in Japan or compact linear collider (CLIC) at CERN would have a much cleaner initial state. Such a machine would achieve an even higher precision. In the field of lepton colliders, the Whizard event generator has been established as the program of choice due to its unique treatment of beam structure functions and initial-state radiation. In this thesis, we present the extension of Whizard to next-to-leading order accuracy, thus augmenting it to the state of the art. We use the Frixione-Kunszt-Signer (FKS) subtraction scheme to subtract divergences, of which a detailed outline is given. This new functionality is used to perform in-depth studies of the top quark. Being the heaviest particle in the standard model, its strong connection to the Higgs sector as well as its abundant production at a future lepton collider makes it an excellent object of study. Yet, its lifetime is very short and high-multiplicity final-states of its decay products are decayed in the detector. This thesis investigates the influence of NLO QCD corrections to the fully off-shell top production processes e"+e"-→μ"+ν_μe"- anti ν_eb anti b and e"+e"-→μ"+ν_μe"- anti ν_eb anti bH. These calculations have not been performed for the first time. Moreover, the incorporation of NLO QCD corrections into the resummation of the top production threshold and its matching to the relativistic continuum for the process e"+e"-→bW"++ anti bW"-. All results are obtained with

Integrating reaction and analysis: investigation of higher-order reactions by cryogenic trapping

Directory of Open Access Journals (Sweden)

Skrollan Stockinger

2013-09-01

Full Text Available A new approach for the investigation of a higher-order reaction by on-column reaction gas chromatography is presented. The reaction and the analytical separation are combined in a single experiment to investigate the Diels–Alder reaction of benzenediazonium-2-carboxylate as a benzyne precursor with various anthracene derivatives, i.e. anthracene, 9-bromoanthracene, 9-anthracenecarboxaldehyde and 9-anthracenemethanol. To overcome limitations of short reaction contact times at elevated temperatures a novel experimental setup was developed involving a cooling trap to achieve focusing and mixing of the reactants at a defined spot in a fused-silica capillary. This trap functions as a reactor within the separation column in the oven of a gas chromatograph. The reactants are sequentially injected to avoid undefined mixing in the injection port. An experimental protocol was developed with optimized injection intervals and cooling times to achieve sufficient conversions at short reaction times. Reaction products were rapidly identified by mass spectrometric detection. This new approach represents a practical procedure to investigate higher-order reactions at an analytical level and it simultaneously provides valuable information for the optimization of the reaction conditions.

An Efficient Higher-Order Quasilinearization Method for Solving Nonlinear BVPs

Directory of Open Access Journals (Sweden)

Eman S. Alaidarous

2013-01-01

Full Text Available In this research paper, we present higher-order quasilinearization methods for the boundary value problems as well as coupled boundary value problems. The construction of higher-order convergent methods depends on a decomposition method which is different from Adomain decomposition method (Motsa and Sibanda, 2013. The reported method is very general and can be extended to desired order of convergence for highly nonlinear differential equations and also computationally superior to proposed iterative method based on Adomain decomposition because our proposed iterative scheme avoids the calculations of Adomain polynomials and achieves the same computational order of convergence as authors have claimed in Motsa and Sibanda, 2013. In order to check the validity and computational performance, the constructed iterative schemes are also successfully applied to bifurcation problems to calculate the values of critical parameters. The numerical performance is also tested for one-dimension Bratu and Frank-Kamenetzkii equations.

Higher-order corrections in the cut vertex theory and the reciprocity relation in (PHI3)6 field theory

International Nuclear Information System (INIS)

Kubota, T.

1980-01-01

Higher-order corrections to deep inelastic and inclusive annihilation processes in the asymptotically free (PHI 3 ) 6 theory are calculated by using the method of cut vertices proposed by Mueller. Renormalization of the cut vertices is carried out up the two-loop level and it is found that, in the minimal subtraction scheme, the equality between the anomalous dimension of the space-like cut vertex and that of the corresponding time-like cut vertex does not hold beyond the leading order. Corrections to the coefficient functions are also calculated to study the Q 2 dependence of the moment up to the next-to-leading order. It is shown that the reciprocity relation suggested by Gribov and Lipatov on the basis of the leading-order calculation does not hold in the higher order. (orig.)

A Linear-Elasticity Solver for Higher-Order Space-Time Mesh Deformation

Science.gov (United States)

Diosady, Laslo T.; Murman, Scott M.

2018-01-01

A linear-elasticity approach is presented for the generation of meshes appropriate for a higher-order space-time discontinuous finite-element method. The equations of linear-elasticity are discretized using a higher-order, spatially-continuous, finite-element method. Given an initial finite-element mesh, and a specified boundary displacement, we solve for the mesh displacements to obtain a higher-order curvilinear mesh. Alternatively, for moving-domain problems we use the linear-elasticity approach to solve for a temporally discontinuous mesh velocity on each time-slab and recover a continuous mesh deformation by integrating the velocity. The applicability of this methodology is presented for several benchmark test cases.

Higher order statistical moment application for solar PV potential analysis

Science.gov (United States)

Basri, Mohd Juhari Mat; Abdullah, Samizee; Azrulhisham, Engku Ahmad; Harun, Khairulezuan

2016-10-01

Solar photovoltaic energy could be as alternative energy to fossil fuel, which is depleting and posing a global warming problem. However, this renewable energy is so variable and intermittent to be relied on. Therefore the knowledge of energy potential is very important for any site to build this solar photovoltaic power generation system. Here, the application of higher order statistical moment model is being analyzed using data collected from 5MW grid-connected photovoltaic system. Due to the dynamic changes of skewness and kurtosis of AC power and solar irradiance distributions of the solar farm, Pearson system where the probability distribution is calculated by matching their theoretical moments with that of the empirical moments of a distribution could be suitable for this purpose. On the advantage of the Pearson system in MATLAB, a software programming has been developed to help in data processing for distribution fitting and potential analysis for future projection of amount of AC power and solar irradiance availability.

Higher-order-mode damper as beam-position monitors; Higher-Order-Mode Daempfer als Stahllagemonitore

Energy Technology Data Exchange (ETDEWEB)

Peschke, C.

2006-03-15

In the framework of this thesis a beam-position monitor was developed, which can only because of the signals from the HOM dampers of a linear-accelerator structure determine the beam position with high accuracy. For the unique determination of the beam position in the plane a procedure was developed, which uses the amplitudes and the start-phase difference between a dipole mode and a higher monopole mode. In order tocheck the suitability of the present SBLC-HOM damper as beam position monitor three-dimensional numerical field calculations in the frequency and time range and measurements on the damper cell were performed. For the measurements without beam a beam simulator was constructed, which allows computer-driven measurements with variable depositions of the simulated beam with a resolution of 1.23 {mu}m. Because the complete 6 m long, 180-cell accelerator structure was not available for measurements and could also with the available computers not be three-dimensionally simulated simulated, a one-dimensional equivalent-circuit based model of the multi-cell was studied. The equivalent circuits with 879 concentrated components regards the detuning from cell to cell, the cell losses, the damper losses, and the beam excitation in dependence on the deposition. the measurements and simulations let a resolution of the ready beam-position monitor on the 180-cell in the order of magnitude of 1-10 {mu}m and a relative accuracy smaller 6.2% be expected.

The prelimbic cortex uses higher-order cues to modulate both the acquisition and expression of conditioned fear.

Directory of Open Access Journals (Sweden)

Melissa Judith Sharpe

2015-01-01

Full Text Available The prelimbic (PL cortex allows rodents to adapt their responding under changing experimental circumstances. In line with this, the PL cortex has been implicated in strategy set shifting, attentional set shifting, the resolution of response conflict, and the modulation of attention towards predictive stimuli. One interpretation of this research is that the PL cortex is involved in using information garnered from higher-order cues in the environment to modulate how an animal responds to environmental stimuli. However, data supporting this view of PL function in the aversive domain are lacking. In the following experiments, we attempted to answer two questions. Firstly, we wanted to investigate whether the role of the PL cortex in using higher-order cues to influence responding generalizes across appetitive and aversive domains. Secondly, as much of the research has focused on a role for the PL cortex in performance, we wanted to assess whether this region is also involved in the acquisition of hierarchal associations which facilitate an ability to use higher-order cues to modulate responding. In order to answer these questions, we assessed the impact of PL inactivation during both the acquisition and expression of a contextual bi-conditional discrimination. A contextual bi-conditional discrimination involves presenting two stimuli. In one context, one stimulus is paired with shock while the other is presented without shock. In another context, these contingencies are reversed. Thus, animals have to use the present contextual cues to disambiguate the significance of the stimulus and respond appropriately. We found that PL inactivation disrupted both the encoding and expression of these context-dependent associations. This supports a role for the PL cortex in allowing higher-order cues to modulate both learning about, and responding towards, different cues. We discuss these findings in the broader context of functioning in the medial prefrontal

Higher order BLG supersymmetry transformations from 10-dimensional super Yang Mills

Energy Technology Data Exchange (ETDEWEB)

Hall, John [Alumnus of Physics Department, Imperial College,South Kensington, London, SW7 2AZ (United Kingdom); Low, Andrew [Physics Department, Wimbledon High School,Mansel Road, London, SW19 4AB (United Kingdom)

2014-06-26

We study a Simple Route for constructing the higher order Bagger-Lambert-Gustavsson theory - both supersymmetry transformations and Lagrangian - starting from knowledge of only the 10-dimensional Super Yang Mills Fermion Supersymmetry transformation. We are able to uniquely determine the four-derivative order corrected supersymmetry transformations, to lowest non-trivial order in Fermions, for the most general three-algebra theory. For the special case of Euclidean three-algbera, we reproduce the result presented in arXiv:1207.1208, with significantly less labour. In addition, we apply our method to calculate the quadratic fermion terms in the higher order BLG fermion supersymmetry transformation.

Hamiltonian formulation of theory with higher order derivatives

International Nuclear Information System (INIS)

Gitman, D.M.; Lyakhovich, S.L.; Tyutin, I.V.

1983-01-01

A method of ''hamiltonization'' of a special theory with higher order derivatives is described. In a nonspecial case the result coincides with the known Ostrogradsky formulation. It is shown that in the nonspecial theory the lagrange equations of motion are reduced to the normal form

Flexible implementation of the Ensemble Model with arbitrary order of moments

Energy Technology Data Exchange (ETDEWEB)

Ackermann, W. [Technische Universitaet Darmstadt, Institut fuer Theorie Elektromagnetischer Felder (TEMF), Schlossgartenstrasse 8, D 64289 Darmstadt (Germany)]. E-mail: ackermann@temf.tu-darmstadt.de; Weiland, T. [Technische Universitaet Darmstadt, Institut fuer Theorie Elektromagnetischer Felder (TEMF), Schlossgartenstrasse 8, D 64289 Darmstadt (Germany)]. E-mail: thomas.weiland@temf.tu-darmstadt.de

2006-03-01

The Ensemble Model takes advantage of an approach to express the phase space particle distribution function in terms of the first, second and higher order moments instead of considering individual particles. Based on a new flexible implementation, an arbitrary number of orders can be processed and automatically converted into proper update equations for the simulation program V-Code. In this paper the influence of the introduction of higher order moments on the beam dynamics simulation is investigated. The achievable accuracy and the numerical efforts are compared with the ones obtained from the lower order calculations.

Abstract Interpretation as a Programming Language

DEFF Research Database (Denmark)

Rosendahl, Mads

2013-01-01

examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus...... in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen...

Coaxial higher-order mode damper employing a high-pass filter

International Nuclear Information System (INIS)

Kang, Y.W.; Jiang, X.

1997-01-01

Two different types of coaxial higher-order mode (HOM) dampers have been investigated for the Advanced Photon Source (APS) storage ring cavities: e-probe dampers and h-loop dampers. Realization of the h-loop dampers has been difficult because the loop antenna couples not only to the HOMs but also to the accelerating mode and results in loss of Q at the fundamental frequency. Previously, a first-order fundamental rejection filter was tested with unsatisfactory rejection characteristics. This problem can be overcome by using a higher-order high-pass filter between the loop and the matched load. Prototype dampers have been fabricated and tested in a storage ring single-cell cavity and the damping characteristic was analyzed

Modulating functions method for parameters estimation in the fifth order KdV equation

KAUST Repository

Asiri, Sharefa M.

2017-07-25

In this work, the modulating functions method is proposed for estimating coefficients in higher-order nonlinear partial differential equation which is the fifth order Kortewegde Vries (KdV) equation. The proposed method transforms the problem into a system of linear algebraic equations of the unknowns. The statistical properties of the modulating functions solution are described in this paper. In addition, guidelines for choosing the number of modulating functions, which is an important design parameter, are provided. The effectiveness and robustness of the proposed method are shown through numerical simulations in both noise-free and noisy cases.

Health-Improving Rehabilitation Program of Pysical Education at Higher School

Directory of Open Access Journals (Sweden)

V. M. Naskalov

2013-01-01

Full Text Available The research is aimed to explore the efficiency of innovative technologies and increase the health-improving effect as a result of physical training in ecologically unfavorable conditions. A health-improving rehabilitation program, containing a set of modern means of physical rehabilitation and recreation in combination with physical exercises, was worked out to carry out the pedagogical experiment. The program includes the hydromassage, stretching exercises with biomechanical stimulation and exercises for developing weightlifting abilities. Apart from this, the interval hypoxic training was used in ‘artificially created’ favorable ecological conditions for detoxication. The students at Polotsk State University took part in the experiment. Among the assessment criteria applied by the author, there are generally acknowledged methods identifying the development of physical qualities, external respiration functions, body fat and other components composition. The experiment revealed that the innovative program had enhanced the health-improving effect compared to the traditional training programs, which was expressed by the statistically valid increase of the students’ speed- strength characteristics, flexibility, external respiration functions as well as the body fat decrease. Therefore, in order to increase a health-improving effect of physical training, the author recommends considering the specific ecological and hygienic conditions of a particular region to create the corresponding programs for group and individual health protection and recovery. The research findings can be used in physical education process at universities situated in the regions with unfavorable ecological conditions. 

Conceptual DFT: the chemical relevance of higher response functions.

Science.gov (United States)

Geerlings, P; De Proft, F

2008-06-07

.g. on the local and global polarizability. Its derivatives may govern the influence of charge on the polarizability, the R-analogues being the nuclear Fukui function and the quadratic and cubic force constants. Although some of the higher order derivatives may be difficult to evaluate a comparison with the energy expansion used in spectroscopy in terms of nuclear displacements, nuclear magnetic moments, electric and magnetic fields leads to the conjecture that, certainly cross terms may contain new, intricate information for understanding chemical reactivity.

Higher Order Heavy Quark Corrections to Deep-Inelastic Scattering

Science.gov (United States)

Blümlein, Johannes; DeFreitas, Abilio; Schneider, Carsten

2015-04-01

The 3-loop heavy flavor corrections to deep-inelastic scattering are essential for consistent next-to-next-to-leading order QCD analyses. We report on the present status of the calculation of these corrections at large virtualities Q2. We also describe a series of mathematical, computer-algebraic and combinatorial methods and special function spaces, needed to perform these calculations. Finally, we briefly discuss the status of measuring αs (MZ), the charm quark mass mc, and the parton distribution functions at next-to-next-to-leading order from the world precision data on deep-inelastic scattering.

Higher order heavy quark corrections to deep-inelastic scattering

International Nuclear Information System (INIS)

Bluemlein, J.; Freitas, A. de; Johannes Kepler Univ., Linz; Schneider, C.

2014-11-01

The 3-loop heavy flavor corrections to deep-inelastic scattering are essential for consistent next-to-next-to-leading order QCD analyses. We report on the present status of the calculation of these corrections at large virtualities Q 2 . We also describe a series of mathematical, computer-algebraic and combinatorial methods and special function spaces, needed to perform these calculations. Finally, we briefly discuss the status of measuring α s (M Z ), the charm quark mass m c , and the parton distribution functions at next-to-next-to-leading order from the world precision data on deep-inelastic scattering.

A finite deformation theory of higher-order gradient crystal plasticity

DEFF Research Database (Denmark)

Kuroda, Mitsutoshi; Tvergaard, Viggo

2008-01-01

crystal plasticity that is based on an assumption of the existence of higher-order stresses. Furthermore, a boundary-value problem for simple shear of a constrained thin strip is studied numerically, and some characteristic features of finite deformation are demonstrated through a comparison to a solution......For higher-order gradient crystal plasticity, a finite deformation formulation is presented. The theory does not deviate much from the conventional crystal plasticity theory. Only a back stress effect and additional differential equations for evolution of the geometrically necessary dislocation...

Effective description of higher-order scalar-tensor theories

Energy Technology Data Exchange (ETDEWEB)

Langlois, David [APC—Astroparticule et Cosmologie, Université Paris Diderot Paris 7, 75013 Paris (France); Mancarella, Michele; Vernizzi, Filippo [Institut de physique théorique, Université Paris Saclay, CEA, CNRS, 91191 Gif-sur-Yvette (France); Noui, Karim, E-mail: langlois@apc.univ-paris7.fr, E-mail: michele.mancarella@cea.fr, E-mail: karim.noui@lmpt.univ-tours.fr, E-mail: filippo.vernizzi@cea.fr [Laboratoire de Mathématiques et Physique Théorique, Université François Rabelais, Parc de Grandmont, 37200 Tours (France)

2017-05-01

Most existing theories of dark energy and/or modified gravity, involving a scalar degree of freedom, can be conveniently described within the framework of the Effective Theory of Dark Energy, based on the unitary gauge where the scalar field is uniform. We extend this effective approach by allowing the Lagrangian in unitary gauge to depend on the time derivative of the lapse function. Although this dependence generically signals the presence of an extra scalar degree of freedom, theories that contain only one propagating scalar degree of freedom, in addition to the usual tensor modes, can be constructed by requiring the initial Lagrangian to be degenerate. Starting from a general quadratic action, we derive the dispersion relations for the linear perturbations around Minkowski and a cosmological background. Our analysis directly applies to the recently introduced Degenerate Higher-Order Scalar-Tensor (DHOST) theories. For these theories, we find that one cannot recover a Poisson-like equation in the static linear regime except for the subclass that includes the Horndeski and so-called 'beyond Horndeski' theories. We also discuss Lorentz-breaking models inspired by Horava gravity.

Ultra-compact Higher-Order-Mode Pass Filter in a Silicon Waveguide

DEFF Research Database (Denmark)

Guan, Xiaowei; Frandsen, Lars Hagedorn; Ding, Yunhong

2015-01-01

An 3.7 μm long higher-order-mode pass filter with an extinction ratio larger than 20 dB is demonstrated in a 1D corrugated silicon multimode waveguide......An 3.7 μm long higher-order-mode pass filter with an extinction ratio larger than 20 dB is demonstrated in a 1D corrugated silicon multimode waveguide...

A simplified parsimonious higher order multivariate Markov chain model

Science.gov (United States)

Wang, Chao; Yang, Chuan-sheng

2017-09-01

In this paper, a simplified parsimonious higher-order multivariate Markov chain model (SPHOMMCM) is presented. Moreover, parameter estimation method of TPHOMMCM is give. Numerical experiments shows the effectiveness of TPHOMMCM.

Computer-Mediated Assessment of Higher-Order Thinking Development

Science.gov (United States)

Tilchin, Oleg; Raiyn, Jamal

2015-01-01

Solving complicated problems in a contemporary knowledge-based society requires higher-order thinking (HOT). The most productive way to encourage development of HOT in students is through use of the Problem-based Learning (PBL) model. This model organizes learning by solving corresponding problems relative to study courses. Students are directed…

Is there a Core Curriculum across Higher Education Doctoral Programs?

Directory of Open Access Journals (Sweden)

Sydney Freeman Jr.

2016-03-01

Full Text Available Currently the study of higher education has been referred to as a multidisciplinary field. Consensus is continuing to evolve regarding both what is considered the appropriate coursework and the foundational knowledgebase of this field. The study of higher education is maturing and has the potential to transition from being seen as a field to being respected as an academic discipline. The purpose of the present study is to investigate the status of the core curriculum in higher education doctoral programs from the perspective of program directors with programs that required the completion of standardized coursework prior to beginning a dissertation. We used online survey analytic techniques to query program directors about their EdD and PhD programs in higher education, credit hours, and curricular content. Our study confirms previous work finding that there is common agreement in the subject matter areas of organization, leadership, administration, and history. What our work adds is that there is a growing consensus among higher education doctoral programs about the position of higher education law and finance in the curricular core. In addition, we find there is a growing interest in public policy and community colleges over time, with a majority of EdD programs including instruction in these areas. Nevertheless, majoritarian agreement does not meet at a level wherein consensus can be inferred, especially within PhD programs where requirements are more varied across programs. In addition, while there is an increasing trend in the inclusion of multiculturalism in higher education doctoral programming, multiculturalism is not currently part of higher education’s core. We conclude with research and practice implications for doctoral programs in higher education as a field of study.

Neurodevelopmental outcomes of triplets or higher-order extremely low birth weight infants.

Science.gov (United States)

Wadhawan, Rajan; Oh, William; Vohr, Betty R; Wrage, Lisa; Das, Abhik; Bell, Edward F; Laptook, Abbot R; Shankaran, Seetha; Stoll, Barbara J; Walsh, Michele C; Higgins, Rosemary D

2011-03-01

Extremely low birth weight twins have a higher rate of death or neurodevelopmental impairment than singletons. Higher-order extremely low birth weight multiple births may have an even higher rate of death or neurodevelopmental impairment. Extremely low birth weight (birth weight 401-1000 g) multiple births born in participating centers of the Neonatal Research Network between 1996 and 2005 were assessed for death or neurodevelopmental impairment at 18 to 22 months' corrected age. Neurodevelopmental impairment was defined by the presence of 1 or more of the following: moderate to severe cerebral palsy; mental developmental index score or psychomotor developmental index score less than 70; severe bilateral deafness; or blindness. Infants who died within 12 hours of birth were excluded. Maternal and infant demographic and clinical variables were compared among singleton, twin, and triplet or higher-order infants. Logistic regression analysis was performed to establish the association between singletons, twins, and triplet or higher-order multiples and death or neurodevelopmental impairment, controlling for confounding variables that may affect death or neurodevelopmental impairment. Our cohort consisted of 8296 singleton, 2164 twin, and 521 triplet or higher-order infants. The risk of death or neurodevelopmental impairment was increased in triplets or higher-order multiples when compared with singletons (adjusted odds ratio: 1.7 [95% confidence interval: 1.29-2.24]), and there was a trend toward an increased risk when compared with twins (adjusted odds ratio: 1.27 [95% confidence: 0.95-1.71]). Triplet or higher-order births are associated with an increased risk of death or neurodevelopmental impairment at 18 to 22 months' corrected age when compared with extremely low birth weight singleton infants, and there was a trend toward an increased risk when compared with twins.

Purely Functional Structured Programming

OpenAIRE

Obua, Steven

2010-01-01

The idea of functional programming has played a big role in shaping today's landscape of mainstream programming languages. Another concept that dominates the current programming style is Dijkstra's structured programming. Both concepts have been successfully married, for example in the programming language Scala. This paper proposes how the same can be achieved for structured programming and PURELY functional programming via the notion of LINEAR SCOPE. One advantage of this proposal is that m...

Teager-Kaiser Energy and Higher-Order Operators in White-Light Interference Microscopy for Surface Shape Measurement

Directory of Open Access Journals (Sweden)

Abdel-Ouahab Boudraa

2005-10-01

Full Text Available In white-light interference microscopy, measurement of surface shape generally requires peak extraction of the fringe function envelope. In this paper the Teager-Kaiser energy and higher-order energy operators are proposed for efficient extraction of the fringe envelope. These energy operators are compared in terms of precision, robustness to noise, and subsampling. Flexible energy operators, depending on order and lag parameters, can be obtained. Results show that smoothing and interpolation of envelope approximation using spline model performs better than Gaussian-based approach.

Higher-order fluctuation-dissipation relations in plasma physics: Binary Coulomb systems

Science.gov (United States)

Golden, Kenneth I.

2018-05-01

A recent approach that led to compact frequency domain formulations of the cubic and quartic fluctuation-dissipation theorems (FDTs) for the classical one-component plasma (OCP) [Golden and Heath, J. Stat. Phys. 162, 199 (2016), 10.1007/s10955-015-1395-6] is generalized to accommodate binary ionic mixtures. Paralleling the procedure followed for the OCP, the basic premise underlying the present approach is that a (k ,ω ) 4-vector rotational symmetry, known to be a pivotal feature in the frequency domain architectures of the linear and quadratic fluctuation-dissipation relations for a variety of Coulomb plasmas [Golden et al., J. Stat. Phys. 6, 87 (1972), 10.1007/BF01023681; J. Stat. Phys. 29, 281 (1982), 10.1007/BF01020787; Golden, Phys. Rev. E 59, 228 (1999), 10.1103/PhysRevE.59.228], is expected to be a pivotal feature of the frequency domain architectures of the higher-order members of the FDT hierarchy. On this premise, each member, in its most tractable form, connects a single (p +1 )-point dynamical structure function to a linear combination of (p +1 )-order p density response functions; by definition, such a combination must also remain invariant under rotation of their (k1,ω1) ,(k2,ω2) ,...,(kp,ωp) , (k1+k2+⋯+kp,ω1+ω2+⋯+ωp) 4-vector arguments. Assigned to each 4-vector is a species index that corotates in lock step. Consistency is assured by matching the static limits of the resulting frequency domain cubic and quartic FDTs to their exact static counterparts independently derived in the present work via a conventional time-independent perturbation expansion of the Liouville distribution function in its macrocanonical form. The proposed procedure entirely circumvents the daunting issues of entangled Liouville space paths and nested Poisson brackets that one would encounter if one attempted to use the conventional time-dependent perturbation-theoretic Kubo approach to establish the frequency domain FDTs beyond quadratic order.

A tridiagonal parsimonious higher order multivariate Markov chain model

Science.gov (United States)

Wang, Chao; Yang, Chuan-sheng

2017-09-01

In this paper, we present a tridiagonal parsimonious higher-order multivariate Markov chain model (TPHOMMCM). Moreover, estimation method of the parameters in TPHOMMCM is give. Numerical experiments illustrate the effectiveness of TPHOMMCM.

Lagrangian procedures for higher order field equations

International Nuclear Information System (INIS)

Bollini, C.G.

1987-01-01

A Lagrangian procedure for a pedagogical way is presented for the treatment of higher order field equations. The energy-momentum tensor and the conserved density current are built. In particular the case in which the derivatives appear only in the invariant D'Alembertian operator is discussed. Some examples are discussed. The fields are quantized and the corresponding Hamilonian which is shown not to be positive defructed. Rules are given to write the causal propagators. (author) [pt

Lagrangian procedures for higher order field equations

International Nuclear Information System (INIS)

Bollini, C.G.; Giambiagi, J.J.

1986-01-01

We present in a pedagogical way a Lagrangian procedure for the treatment of higher order field equations. We build the energy-momentum tensor and the conserved density current. In particular we discuss the case in which the derivatives appear only in the invariant D'Alembertian operator. We discuss some examples. We quantize the fields and construct the corresponding Hamiltonian which is shown not to be positive definite. We give the rules for the causal propagators. (Author) [pt

Enhancing Higher Order Thinking Skills through Clinical Simulation

Science.gov (United States)

Varutharaju, Elengovan; Ratnavadivel, Nagendralingan

2014-01-01

Purpose: The study aimed to explore, describe and analyse the design and implementation of clinical simulation as a pedagogical tool in bridging the deficiency of higher order thinking skills among para-medical students, and to make recommendations on incorporating clinical simulation as a pedagogical tool to enhance thinking skills and align the…

Calculating Higher-Order Moments of Phylogenetic Stochastic Mapping Summaries in Linear Time

Science.gov (United States)

Dhar, Amrit

2017-01-01

Abstract Stochastic mapping is a simulation-based method for probabilistically mapping substitution histories onto phylogenies according to continuous-time Markov models of evolution. This technique can be used to infer properties of the evolutionary process on the phylogeny and, unlike parsimony-based mapping, conditions on the observed data to randomly draw substitution mappings that do not necessarily require the minimum number of events on a tree. Most stochastic mapping applications simulate substitution mappings only to estimate the mean and/or variance of two commonly used mapping summaries: the number of particular types of substitutions (labeled substitution counts) and the time spent in a particular group of states (labeled dwelling times) on the tree. Fast, simulation-free algorithms for calculating the mean of stochastic mapping summaries exist. Importantly, these algorithms scale linearly in the number of tips/leaves of the phylogenetic tree. However, to our knowledge, no such algorithm exists for calculating higher-order moments of stochastic mapping summaries. We present one such simulation-free dynamic programming algorithm that calculates prior and posterior mapping variances and scales linearly in the number of phylogeny tips. Our procedure suggests a general framework that can be used to efficiently compute higher-order moments of stochastic mapping summaries without simulations. We demonstrate the usefulness of our algorithm by extending previously developed statistical tests for rate variation across sites and for detecting evolutionarily conserved regions in genomic sequences. PMID:28177780

Higher order aberrations in amblyopic children and their role in refractory amblyopia

Directory of Open Access Journals (Sweden)

Arnaldo Dias-Santos

2014-12-01

Full Text Available Objective: Some studies have hypothesized that an unfavourable higher order aberrometric profile could act as an amblyogenic mechanism and may be responsible for some amblyopic cases that are refractory to conventional treatment or cases of “idiopathic” amblyopia. This study compared the aberrometric profile in amblyopic children to that of children with normal visual development and compared the aberrometric profile in corrected amblyopic eyes and refractory amblyopic eyes with that of healthy eyes. Methods: Cross-sectional study with three groups of children – the CA group (22 eyes of 11 children with unilateral corrected amblyopia, the RA group (24 eyes of 13 children with unilateral refractory amblyopia and the C group (28 eyes of 14 children with normal visual development. Higher order aberrations were evaluated using an OPD-Scan III (NIDEK. Comparisons of the aberrometric profile were made between these groups as well as between the amblyopic and healthy eyes within the CA and RA groups. Results: Higher order aberrations with greater impact in visual quality were not significantly higher in the CA and RA groups when compared with the C group. Moreover, there were no statistically significant differences in the higher order aberrometric profile between the amblyopic and healthy eyes within the CA and RA groups. Conclusions: Contrary to lower order aberrations (e.g., myopia, hyperopia, primary astigmatism, higher order aberrations do not seem to be involved in the etiopathogenesis of amblyopia. Therefore, these are likely not the cause of most cases of refractory amblyopia.

Near integrability of kink lattice with higher order interactions

Science.gov (United States)

Jiang, Yun-Guo; Liu, Jia-Zhen; He, Song

2017-11-01

We make use of Manton’s analytical method to investigate the force between kinks and anti-kinks at large distances in 1+1 dimensional field theory. The related potential has infinite order corrections of exponential pattern, and the coefficients for each order are determined. These coefficients can also be obtained by solving the equation of the fluctuations around the vacuum. At the lowest order, the kink lattice represents the Toda lattice. With higher order correction terms, the kink lattice can represent one kind of generic Toda lattice. With only two sites, the kink lattice is classically integrable. If the number of sites of the lattice is larger than two, the kink lattice is not integrable but is a near integrable system. We make use of Flaschka’s variables to study the Lax pair of the kink lattice. These Flaschka’s variables have interesting algebraic relations and non-integrability can be manifested. We also discuss the higher Hamiltonians for the deformed open Toda lattice, which has a similar result to the ordinary deformed Toda. Supported by Shandong Provincial Natural Science Foundation (ZR2014AQ007), National Natural Science Foundation of China (11403015, U1531105), S. He is supported by Max-Planck fellowship in Germany and National Natural Science Foundation of China (11305235)

Developing Higher-Order Thinking Skills through WebQuests

Science.gov (United States)

Polly, Drew; Ausband, Leigh

2009-01-01

In this study, 32 teachers participated in a year-long professional development project related to technology integration in which they designed and implemented a WebQuest. This paper describes the extent to which higher-order thinking skills (HOTS) and levels of technology implementation (LoTI) occur in the WebQuests that participants designed.…

Higher-order geodesic deviations applied to the Kerr metric

CERN Document Server

Colistete, R J; Kerner, R

2002-01-01

Starting with an exact and simple geodesic, we generate approximate geodesics by summing up higher-order geodesic deviations within a general relativistic setting, without using Newtonian and post-Newtonian approximations. We apply this method to the problem of closed orbital motion of test particles in the Kerr metric spacetime. With a simple circular orbit in the equatorial plane taken as the initial geodesic, we obtain finite eccentricity orbits in the form of Taylor series with the eccentricity playing the role of a small parameter. The explicit expressions of these higher-order geodesic deviations are derived using successive systems of linear equations with constant coefficients, whose solutions are of harmonic oscillator type. This scheme gives best results when applied to orbits with low eccentricities, but with arbitrary possible values of (GM/Rc sup 2).

The Adler D-function for N = 1 SQCD regularized by higher covariant derivatives in the three-loop approximation

Science.gov (United States)

Kataev, A. L.; Kazantsev, A. E.; Stepanyantz, K. V.

2018-01-01

We calculate the Adler D-function for N = 1 SQCD in the three-loop approximation using the higher covariant derivative regularization and the NSVZ-like subtraction scheme. The recently formulated all-order relation between the Adler function and the anomalous dimension of the matter superfields defined in terms of the bare coupling constant is first considered and generalized to the case of an arbitrary representation for the chiral matter superfields. The correctness of this all-order relation is explicitly verified at the three-loop level. The special renormalization scheme in which this all-order relation remains valid for the D-function and the anomalous dimension defined in terms of the renormalized coupling constant is constructed in the case of using the higher derivative regularization. The analytic expression for the Adler function for N = 1 SQCD is found in this scheme to the order O (αs2). The problem of scheme-dependence of the D-function and the NSVZ-like equation is briefly discussed.

The Adler D-function for N=1 SQCD regularized by higher covariant derivatives in the three-loop approximation

Directory of Open Access Journals (Sweden)

A.L. Kataev

2018-01-01

Full Text Available We calculate the Adler D-function for N=1 SQCD in the three-loop approximation using the higher covariant derivative regularization and the NSVZ-like subtraction scheme. The recently formulated all-order relation between the Adler function and the anomalous dimension of the matter superfields defined in terms of the bare coupling constant is first considered and generalized to the case of an arbitrary representation for the chiral matter superfields. The correctness of this all-order relation is explicitly verified at the three-loop level. The special renormalization scheme in which this all-order relation remains valid for the D-function and the anomalous dimension defined in terms of the renormalized coupling constant is constructed in the case of using the higher derivative regularization. The analytic expression for the Adler function for N=1 SQCD is found in this scheme to the order O(αs2. The problem of scheme-dependence of the D-function and the NSVZ-like equation is briefly discussed.

Analysis of higher order harmonics with holographic reflection gratings

Science.gov (United States)

Mas-Abellan, P.; Madrigal, R.; Fimia, A.

2017-05-01

Silver halide emulsions have been considered one of the most energetic sensitive materials for holographic applications. Nonlinear recording effects on holographic reflection gratings recorded on silver halide emulsions have been studied by different authors obtaining excellent experimental results. In this communication specifically we focused our investigation on the effects of refractive index modulation, trying to get high levels of overmodulation that will produce high order harmonics. We studied the influence of the overmodulation and its effects on the transmission spectra for a wide exposure range by use of 9 μm thickness films of ultrafine grain emulsion BB640, exposed to single collimated beams using a red He-Ne laser (wavelength 632.8 nm) with Denisyuk configuration obtaining a spatial frequency of 4990 l/mm recorded on the emulsion. The experimental results show that high overmodulation levels of refractive index produce second order harmonics with high diffraction efficiency (higher than 75%) and a narrow grating bandwidth (12.5 nm). Results also show that overmodulation produce diffraction spectra deformation of the second order harmonic, transforming the spectrum from sinusoidal to approximation of square shape due to very high overmodulation. Increasing the levels of overmodulation of refractive index, we have obtained higher order harmonics, obtaining third order harmonic with diffraction efficiency (up to 23%) and narrowing grating bandwidth (5 nm). This study is the first step to develop a new easy technique to obtain narrow spectral filters based on the use of high index modulation reflection gratings.

Higher-order thinking in foreign language learning

OpenAIRE

Bastos, Ascensão; Ramos, Altina

2017-01-01

A project is being conducted in English as a foreign language (EFL), involving eleventh graders in formal and non-formal learning contexts, in a Portuguese high school. The goal of this study is to examine the impact of cognitive tools and higher-order thinking processes on the learning of EFL and achievement of larger processes oriented to action, involving problem solving, decision-making and creation of new products. YouTube videos emerge as cognitive tools in the process. Final results sh...

Higher-order conditioning is impaired by hippocampal lesions.

Science.gov (United States)

Gilboa, Asaf; Sekeres, Melanie; Moscovitch, Morris; Winocur, Gordon

2014-09-22

Behavior in the real world is rarely motivated by primary conditioned stimuli that have been directly associated with potent unconditioned reinforcers. Instead, motivation and choice behavior are driven by complex chains of higher-order associations that are only indirectly linked to intrinsic reward and often exert their influence outside awareness. Second-order conditioning (SOC) [1] is a basic associative-learning mechanism whereby stimuli acquire motivational salience by proxy, in the absence of primary incentives [2, 3]. Memory-systems theories consider first-order conditioning (FOC) and SOC to be prime examples of hippocampal-independent nondeclarative memory [4, 5]. Accordingly, neurobiological models of SOC focus almost exclusively on nondeclarative neural systems that support motivational salience and reward value. Transfer of value from a conditioned stimulus to a neutral stimulus is thought to require the basolateral amygdala [6, 7] and the ventral striatum [2, 3], but not the hippocampus. We developed a new paradigm to measure appetitive SOC of tones in rats. Hippocampal lesions severely impaired both acquisition and expression of SOC despite normal FOC. Unlike controls, rats with hippocampal lesions could not discriminate between positive and negative secondary conditioned tones, although they exhibited general familiarity with previously presented tones compared with new tones. Importantly, normal rats' behavior, in contrast to that of hippocampal groups, also revealed different confidence levels as indexed by effort, a central characteristic of hippocampal relational memory. The results indicate, contrary to current systems models, that representations of intrinsic relationships between reward value, stimulus identity, and motivation require hippocampal mediation when these relationships are of a higher order. Copyright © 2014 Elsevier Ltd. All rights reserved.

Multi-tissue analysis of co-expression networks by higher-order generalized singular value decomposition identifies functionally coherent transcriptional modules.

Directory of Open Access Journals (Sweden)

Xiaolin Xiao

2014-01-01

Full Text Available Recent high-throughput efforts such as ENCODE have generated a large body of genome-scale transcriptional data in multiple conditions (e.g., cell-types and disease states. Leveraging these data is especially important for network-based approaches to human disease, for instance to identify coherent transcriptional modules (subnetworks that can inform functional disease mechanisms and pathological pathways. Yet, genome-scale network analysis across conditions is significantly hampered by the paucity of robust and computationally-efficient methods. Building on the Higher-Order Generalized Singular Value Decomposition, we introduce a new algorithmic approach for efficient, parameter-free and reproducible identification of network-modules simultaneously across multiple conditions. Our method can accommodate weighted (and unweighted networks of any size and can similarly use co-expression or raw gene expression input data, without hinging upon the definition and stability of the correlation used to assess gene co-expression. In simulation studies, we demonstrated distinctive advantages of our method over existing methods, which was able to recover accurately both common and condition-specific network-modules without entailing ad-hoc input parameters as required by other approaches. We applied our method to genome-scale and multi-tissue transcriptomic datasets from rats (microarray-based and humans (mRNA-sequencing-based and identified several common and tissue-specific subnetworks with functional significance, which were not detected by other methods. In humans we recapitulated the crosstalk between cell-cycle progression and cell-extracellular matrix interactions processes in ventricular zones during neocortex expansion and further, we uncovered pathways related to development of later cognitive functions in the cortical plate of the developing brain which were previously unappreciated. Analyses of seven rat tissues identified a multi

Multi-tissue analysis of co-expression networks by higher-order generalized singular value decomposition identifies functionally coherent transcriptional modules.

Science.gov (United States)

Xiao, Xiaolin; Moreno-Moral, Aida; Rotival, Maxime; Bottolo, Leonardo; Petretto, Enrico

2014-01-01

Recent high-throughput efforts such as ENCODE have generated a large body of genome-scale transcriptional data in multiple conditions (e.g., cell-types and disease states). Leveraging these data is especially important for network-based approaches to human disease, for instance to identify coherent transcriptional modules (subnetworks) that can inform functional disease mechanisms and pathological pathways. Yet, genome-scale network analysis across conditions is significantly hampered by the paucity of robust and computationally-efficient methods. Building on the Higher-Order Generalized Singular Value Decomposition, we introduce a new algorithmic approach for efficient, parameter-free and reproducible identification of network-modules simultaneously across multiple conditions. Our method can accommodate weighted (and unweighted) networks of any size and can similarly use co-expression or raw gene expression input data, without hinging upon the definition and stability of the correlation used to assess gene co-expression. In simulation studies, we demonstrated distinctive advantages of our method over existing methods, which was able to recover accurately both common and condition-specific network-modules without entailing ad-hoc input parameters as required by other approaches. We applied our method to genome-scale and multi-tissue transcriptomic datasets from rats (microarray-based) and humans (mRNA-sequencing-based) and identified several common and tissue-specific subnetworks with functional significance, which were not detected by other methods. In humans we recapitulated the crosstalk between cell-cycle progression and cell-extracellular matrix interactions processes in ventricular zones during neocortex expansion and further, we uncovered pathways related to development of later cognitive functions in the cortical plate of the developing brain which were previously unappreciated. Analyses of seven rat tissues identified a multi-tissue subnetwork of co

Higher- and Lower-Order Factor Analyses of the Temperament in Middle Childhood Questionnaire

Science.gov (United States)

Kotelnikova, Yuliya; Olino, Thomas M.; Klein, Daniel N.; Mackrell, Sarah V.M.; Hayden, Elizabeth P.

2017-01-01

The Temperament in Middle Childhood Questionnaire (TMCQ; Simonds & Rothbart, 2004) is a widely used parent-report measure of temperament. However, neither its lower- nor higher-order structures have been tested via a bottom-up, empirically based approach. We conducted higher- and lower-order exploratory factor analyses (EFAs) of the TMCQ in a large (N = 654) sample of 9-year-olds. Item-level EFAs identified 92 items as suitable (i.e., with loadings ≥.40) for constructing lower-order factors, only half of which resembled a TMCQ scale posited by the measure’s authors. Higher-order EFAs of the lower-order factors showed that a three-factor structure (Impulsivity/Negative Affectivity, Negative Affectivity, and Openness/Assertiveness) was the only admissible solution. Overall, many TMCQ items did not load well onto a lower-order factor. In addition, only three factors, which did not show a clear resemblance to Rothbart’s four-factor model of temperament in middle childhood, were needed to account for the higher-order structure of the TMCQ. PMID:27002124

Influence of higher order modes on angled-facet amplifiers

DEFF Research Database (Denmark)

Wang, Z.; Mikkelsen, B.; Stubkjær, Kristian

1991-01-01

The influence of the first-order mode on the residual reflectivity of angled-facet amplifiers is analyzed. For a 7 degrees angled-facet ridge waveguide amplifier with a single-layer antireflective (AR) coating, a gain ripple lower than 1-dB at 25-dB gain can be obtained independent...... of the polarization, even in the presence of a first-order mode with a 15-dB gain. The tolerances for the thickness and refractive index of the AR coating are reduced by a factor of three compared to operation in the fundamental mode only. The influence of the higher order mode can virtually be suppressed...

Higher order capacity statistics of multi-hop transmission systems over Rayleigh fading channels

KAUST Repository

Yilmaz, Ferkan

2012-03-01

In this paper, we present an exact analytical expression to evaluate the higher order statistics of the channel capacity for amplify and forward (AF) multihop transmission systems operating over Rayleigh fading channels. Furthermore, we present simple and efficient closed-form expression to the higher order moments of the channel capacity of dual hop transmission system with Rayleigh fading channels. In order to analyze the behavior of the higher order capacity statistics and investigate the usefulness of the mathematical analysis, some selected numerical and simulation results are presented. Our results are found to be in perfect agreement. © 2012 IEEE.

Generating superpositions of higher order bessel beams [Conference paper

CSIR Research Space (South Africa)

Vasilyeu, R

2009-10-01

Full Text Available An experimental setup to generate a superposition of higher-order Bessel beams by means of a spatial light modulator and ring aperture is presented. The experimentally produced fields are in good agreement with those calculated theoretically....

Time-ordered products and Schwinger functions

International Nuclear Information System (INIS)

Eckmann, J.P.; Epstein, H.

1979-01-01

It is shown that every system of time-ordered products for a local field theory determines a related system of Schwinger functions possessing an extended form of Osterwalder-Schrader positivity and that the converse is true provided certain growth conditions are satisfied. This is applied to the phi 3 4 theory and it is shown that the time-ordered functions and S-matrix elements admit the standard perturbation series as asymptotic expansions. (orig.) [de

Functional programming for computer vision

Science.gov (United States)

Breuel, Thomas M.

1992-04-01

Functional programming is a style of programming that avoids the use of side effects (like assignment) and uses functions as first class data objects. Compared with imperative programs, functional programs can be parallelized better, and provide better encapsulation, type checking, and abstractions. This is important for building and integrating large vision software systems. In the past, efficiency has been an obstacle to the application of functional programming techniques in computationally intensive areas such as computer vision. We discuss and evaluate several 'functional' data structures for representing efficiently data structures and objects common in computer vision. In particular, we will address: automatic storage allocation and reclamation issues; abstraction of control structures; efficient sequential update of large data structures; representing images as functions; and object-oriented programming. Our experience suggests that functional techniques are feasible for high- performance vision systems, and that a functional approach simplifies the implementation and integration of vision systems greatly. Examples in C++ and SML are given.

COMPUTER EXPERIMENTS WITH FINITE ELEMENTS OF HIGHER ORDER

Directory of Open Access Journals (Sweden)

Khomchenko A.

2017-12-01

Full Text Available The paper deals with the problem of constructing the basic functions of a quadrilateral finite element of the fifth order by the means of the computer algebra system Maple. The Lagrangian approximation of such a finite element contains 36 nodes: 20 nodes perimeter and 16 internal nodes. Alternative models with reduced number of internal nodes are considered. Graphs of basic functions and cognitive portraits of lines of zero level are presented. The work is aimed at studying the possibilities of using modern information technologies in the teaching of individual mathematical disciplines.

Promoting Peer Acceptance of Females with Higher-Functioning Autism in a Mainstream Education Setting: A Replication and Extension of the Effects of an Autism Anti-Stigma Program

Science.gov (United States)

Ranson, Natalia J.; Byrne, Mitchell K.

2014-01-01

This study evaluated the effects of an eight-session female higher-functioning autism anti-stigma program on the knowledge, attitudes and behavioural intentions of adolescent girls. Participants were seventh-, eighth- and ninth-grade students (N = 273) in a mainstream school. Two-eighth-grade classes were randomly allocated to the intervention…

Solitons and rogue waves for a higher-order nonlinear Schroedinger-Maxwell-Bloch system in an erbium-doped fiber

International Nuclear Information System (INIS)

Su, Chuan-Qi; Gao, Yi-Tian; Yu, Xin; Xue, Long; Aviation Univ. of Air Force, Liaoning

2015-01-01

Under investigation in this article is a higher-order nonlinear Schroedinger-Maxwell-Bloch (HNLS-MB) system for the optical pulse propagation in an erbium-doped fiber. Lax pair, Darboux transformation (DT), and generalised DT for the HNLS-MB system are constructed. Soliton solutions and rogue wave solutions are derived based on the DT and generalised DT, respectively. Properties of the solitons and rogue waves are graphically presented. The third-order dispersion parameter, fourth-order dispersion parameter, and frequency detuning all influence the characteristic lines and velocities of the solitons. The frequency detuning also affects the amplitudes of solitons. The separating function has no effect on the properties of the first-order rogue waves, except for the locations where the first-order rogue waves appear. The third-order dispersion parameter affects the propagation directions and shapes of the rogue waves. The frequency detuning influences the rogue-wave types of the module for the measure of polarization of resonant medium and the extant population inversion. The fourth-order dispersion parameter impacts the rogue-wave interaction range and also has an effect on the rogue-wave type of the extant population inversion. The value of separating function affects the spatial-temporal separation of constituting elementary rogue waves for the second-order and third-order rogue waves. The second-order and third-order rogue waves can exhibit the triangular and pentagon patterns under different choices of separating functions.

Higher-order techniques for some problems of nonlinear control

Directory of Open Access Journals (Sweden)

Sarychev Andrey V.

2002-01-01

Full Text Available A natural first step when dealing with a nonlinear problem is an application of some version of linearization principle. This includes the well known linearization principles for controllability, observability and stability and also first-order optimality conditions such as Lagrange multipliers rule or Pontryagin's maximum principle. In many interesting and important problems of nonlinear control the linearization principle fails to provide a solution. In the present paper we provide some examples of how higher-order methods of differential geometric control theory can be used for the study nonlinear control systems in such cases. The presentation includes: nonlinear systems with impulsive and distribution-like inputs; second-order optimality conditions for bang–bang extremals of optimal control problems; methods of high-order averaging for studying stability and stabilization of time-variant control systems.

First-order and higher order sequence learning in specific language impairment.

Science.gov (United States)

Clark, Gillian M; Lum, Jarrad A G

2017-02-01

A core claim of the procedural deficit hypothesis of specific language impairment (SLI) is that the disorder is associated with poor implicit sequence learning. This study investigated whether implicit sequence learning problems in SLI are present for first-order conditional (FOC) and higher order conditional (HOC) sequences. Twenty-five children with SLI and 27 age-matched, nonlanguage-impaired children completed 2 serial reaction time tasks. On 1 version, the sequence to be implicitly learnt comprised a FOC sequence and on the other a HOC sequence. Results showed that the SLI group learned the HOC sequence (η p ² = .285, p = .005) but not the FOC sequence (η p ² = .099, p = .118). The control group learned both sequences (FOC η p ² = .497, HOC η p 2= .465, ps < .001). The SLI group's difficulty learning the FOC sequence is consistent with the procedural deficit hypothesis. However, the study provides new evidence that multiple mechanisms may underpin the learning of FOC and HOC sequences. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

Existence and Uniqueness of Solutions for Coupled Systems of Higher-Order Nonlinear Fractional Differential Equations

Directory of Open Access Journals (Sweden)

Ahmad Bashir

2010-01-01

Full Text Available We study an initial value problem for a coupled Caputo type nonlinear fractional differential system of higher order. As a first problem, the nonhomogeneous terms in the coupled fractional differential system depend on the fractional derivatives of lower orders only. Then the nonhomogeneous terms in the fractional differential system are allowed to depend on the unknown functions together with the fractional derivative of lower orders. Our method of analysis is based on the reduction of the given system to an equivalent system of integral equations. Applying the nonlinear alternative of Leray-Schauder, we prove the existence of solutions of the fractional differential system. The uniqueness of solutions of the fractional differential system is established by using the Banach contraction principle. An illustrative example is also presented.

Functional Programming Using F#

DEFF Research Database (Denmark)

Hansen, Michael Reichhardt; Rischel, Hans

This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems....... Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming...... and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, a mini-projects and links to further F# sources....

Periodic Solution and Stationary Distribution of Stochastic Predator-Prey Models with Higher-Order Perturbation

Science.gov (United States)

Liu, Qun; Jiang, Daqing

2018-04-01

In this paper, two stochastic predator-prey models with general functional response and higher-order perturbation are proposed and investigated. For the nonautonomous periodic case of the system, by using Khasminskii's theory of periodic solution, we show that the system admits a nontrivial positive T-periodic solution. For the system disturbed by both white and telegraph noises, sufficient conditions for positive recurrence and the existence of an ergodic stationary distribution to the solutions are established. The existence of stationary distribution implies stochastic weak stability to some extent.

Integrability and solitons for the higher-order nonlinear Schrödinger equation with space-dependent coefficients in an optical fiber

Science.gov (United States)

Su, Jing-Jing; Gao, Yi-Tian

2018-03-01

Under investigation in this paper is a higher-order nonlinear Schrödinger equation with space-dependent coefficients, related to an optical fiber. Based on the self-similarity transformation and Hirota method, related to the integrability, the N-th-order bright and dark soliton solutions are derived under certain constraints. It is revealed that the velocities and trajectories of the solitons are both affected by the coefficient of the sixth-order dispersion term while the amplitudes of the solitons are determined by the gain function. Amplitudes increase when the gain function is positive and decrease when the gain function is negative. Furthermore, we find that the intensities of dark solitons are presented as a superposition of the solitons and stationary waves.

Competition of Dzyaloshinskii-Moriya and Higher-Order Exchange Interactions in Rh /Fe Atomic Bilayers on Ir(111)

Science.gov (United States)

Romming, Niklas; Pralow, Henning; Kubetzka, André; Hoffmann, Markus; von Malottki, Stephan; Meyer, Sebastian; Dupé, Bertrand; Wiesendanger, Roland; von Bergmann, Kirsten; Heinze, Stefan

2018-05-01

Using spin-polarized scanning tunneling microscopy and density functional theory we demonstrate the occurrence of a novel type of noncollinear spin structure in Rh /Fe atomic bilayers on Ir(111). We find that higher-order exchange interactions depend sensitively on the stacking sequence. For fcc-Rh /Fe /Ir (111 ) , frustrated exchange interactions are dominant and lead to the formation of a spin spiral ground state with a period of about 1.5 nm. For hcp-Rh /Fe /Ir (111 ) , higher-order exchange interactions favor an up-up-down-down (↑↑↓↓) state. However, the Dzyaloshinskii-Moriya interaction at the Fe /Ir interface leads to a small angle of about 4° between adjacent magnetic moments resulting in a canted ↑↑↓↓ ground state.

Higher-order resonant electronic recombination as a manifestation of configuration interaction

International Nuclear Information System (INIS)

Beilmann, C; Amaro, P; Tashenov, S; Bekker, H; Harman, Z; Crespo López-Urrutia, J R

2013-01-01

Theoretical and experimental investigations of higher-order electron–ion recombination resonances including inter-shell excitations are presented for L-shell ions of Kr with the aim of examining details of atomic structure calculations. The particular importance of electron–electron interaction and configuration mixing effects for these recombination processes enables their use for detailed tests of electron correlation effects. A test of the required level of considered mixing configurations is presented and further experiments involving higher-order recombination channels are motivated. (paper)

Higher order mode of a microstripline fed cylindrical dielectric resonator antenna

Energy Technology Data Exchange (ETDEWEB)

Kumar, A. V. Praveen, E-mail: praveen.kumar@pilani.bits-pilani.ac.in [Department of Electrical and Electronics Engineering, BITS Pilani, Pilani, Rajasthan-333 031 (India)

2016-03-09

A microstrip transmission line can be used to excite the broadside radiating mode of a cylindrical dielectric resonator antenna (CDRA). The same is found to excite considerably well a higher order mode (HOM) as well. However unlike the broadside mode, the higher order mode gives distorted radiation pattern which makes this mode less useful for practical applications. The cause of distortion in the HOM radiation and the dependence of HOM coupling on the microstrip feed line are explored using HFSS simulations.

Improved Multilevel Fast Multipole Method for Higher-Order discretizations

DEFF Research Database (Denmark)

Borries, Oscar Peter; Meincke, Peter; Jorgensen, Erik

2014-01-01

The Multilevel Fast Multipole Method (MLFMM) allows for a reduced computational complexity when solving electromagnetic scattering problems. Combining this with the reduced number of unknowns provided by Higher-Order discretizations has proven to be a difficult task, with the general conclusion b...

Modulational instability and nano-scale energy localization in ferromagnetic spin chain with higher order dispersive interactions

International Nuclear Information System (INIS)

Kavitha, L.; Mohamadou, A.; Parasuraman, E.; Gopi, D.; Akila, N.; Prabhu, A.

2016-01-01

The nonlinear localization phenomena in ferromagnetic spin lattices have attracted a steadily growing interest and their existence has been predicted in a wide range of physical settings. We investigate the onset of modulational instability of a plane wave in a discrete ferromagnetic spin chain with physically significant higher order dispersive octupole–dipole and dipole–dipole interactions. We derive the discrete nonlinear equation of motion with the aid of Holstein–Primakoff (H–P) transformation combined with Glauber's coherent state representation. We show that the discrete ferromagnetic spin dynamics is governed by an entirely new discrete NLS model with complex coefficients not reported so far. We report the study of modulational instability (MI) of the ferromagnetic chain with long range dispersive interactions both analytically in the frame work of linear stability analysis and numerically by means of molecular dynamics (MD) simulations. Our numerical simulations explore that the analytical predictions correctly describe the onset of instability. It is found that the presence of the various exchange and dispersive higher order interactions systematically favors the local gathering of excitations and thus supports the growth of high amplitude, long-lived discrete breather (DB) excitations. We analytically compute the strongly localized odd and even modes. Further, we employ the Jacobi elliptic function method to solve the nonlinear evolution equation and an exact propagating bubble-soliton solution is explored. - Highlights: • Higher order dispersive interactions plays significant role in ferromagnetic spin chain. • The energy localization is studied both analytically and numerically. • The existence of DBs are studied under the effect of higher order dispersive interaction.

Language Planning and the Programs in Filipino of Higher Education Institutions

Directory of Open Access Journals (Sweden)

Jaine Z. Tarun

2016-11-01

Full Text Available This study was focused on the language planning and the programs in Filipino of Higher Education Institutions (HEIs in Region 02, Philippines. It aimed to evaluate the extent of contributions in the implementation of national and institutional academic language policies and programs on Filipino in the General Education Curriculum (GEC, Bilingual / Multilingual Education, translation of books and articles, instructional materials development using Filipino and other languages in the region, having published books, scholarly articles and theses in other disciplines and journals written in Filipino and the attitudes of administrators, faculty and students. This evaluative study applied both the quantitative analysis of data using the survey method and qualitative analysis using the multi-method approach or triangulation. A total of 216 respondents from other disciplines, except Filipino, randomly selected among the administrators, faculty and students were utilized. The results confirmed that the minimum required GEC courses in Filipino as stipulated in CHED Memorandum Order No. 59 s. 1996 were implemented in their curricular programs while as a medium of instruction in Humanities, Social Sciences and Communications (HUSOCOM courses, Filipino was not used. Result substantiated that Filipino aided instruction in classroom discourses both in HUSOCOM and Non – HUSOCOM courses was commonly practiced. Result also vouched the non-existence of institutional policies and programs in Filipino. However, there were no significant differences in the positive attitudes among administrators, faculty and students of Higher Education Institutions.

Higher-order momentum distributions and locally affine LDDMM registration

DEFF Research Database (Denmark)

Sommer, Stefan Horst; Nielsen, Mads; Darkner, Sune

2013-01-01

description of affine transformations and subsequent compact description of non-translational movement in a globally nonrigid deformation. The resulting representation contains directly interpretable information from both mathematical and modeling perspectives. We develop the mathematical construction......To achieve sparse parametrizations that allow intuitive analysis, we aim to represent deformation with a basis containing interpretable elements, and we wish to use elements that have the description capacity to represent the deformation compactly. To accomplish this, we introduce in this paper...... higher-order momentum distributions in the large deformation diffeomorphic metric mapping (LDDMM) registration framework. While the zeroth-order moments previously used in LDDMM only describe local displacement, the first-order momenta that are proposed here represent a basis that allows local...

Gamow-Jordan vectors and non-reducible density operators from higher-order S-matrix poles

International Nuclear Information System (INIS)

Bohm, A.; Loewe, M.; Maxson, S.; Patuleanu, P.; Puentmann, C.; Gadella, M.

1997-01-01

In analogy to Gamow vectors that are obtained from first-order resonance poles of the S-matrix, one can also define higher-order Gamow vectors which are derived from higher-order poles of the S-matrix. An S-matrix pole of r-th order at z R =E R -iΓ/2 leads to r generalized eigenvectors of order k=0,1,hor-ellipsis,r-1, which are also Jordan vectors of degree (k+1) with generalized eigenvalue (E R -iΓ/2). The Gamow-Jordan vectors are elements of a generalized complex eigenvector expansion, whose form suggests the definition of a state operator (density matrix) for the microphysical decaying state of this higher-order pole. This microphysical state is a mixture of non-reducible components. In spite of the fact that the k-th order Gamow-Jordan vectors has the polynomial time-dependence which one always associates with higher-order poles, the microphysical state obeys a purely exponential decay law. copyright 1997 American Institute of Physics

Functional Programming in C# Classic Programming Techniques for Modern Projects

CERN Document Server

Sturm, Oliver

2011-01-01

Take advantage of the growing trend in functional programming. C# is the number-one language used by .NET developers and one of the most popular programming languages in the world. It has many built-in functional programming features, but most are complex and little understood. With the shift to functional programming increasing at a rapid pace, you need to know how to leverage your existing skills to take advantage of this trend. Functional Programming in C# leads you along a path that begins with the historic value of functional ideas. Inside, C# MVP and functional programming expert Oli

The Role of Formative Feedback in Promoting Higher Order ...

African Journals Online (AJOL)

DrNneka

An International Multi-disciplinary Journal, Ethiopia. AFRREV ... make contribution to this research gap by proposing a theoretical feedback model that can promote higher order thinking skills in the classroom. The proposed ..... process; students provided with tasks that are novel, complex, creative, and non- algorithmic ...

A hierarchical generalization of the acoustic reciprocity theorem involving higher-order derivatives and interaction quantities.

Science.gov (United States)

Lin, Ju; Li, Jie; Li, Xiaolei; Wang, Ning

2016-10-01

An acoustic reciprocity theorem is generalized, for a smoothly varying perturbed medium, to a hierarchy of reciprocity theorems including higher-order derivatives of acoustic fields. The standard reciprocity theorem is the first member of the hierarchy. It is shown that the conservation of higher-order interaction quantities is related closely to higher-order derivative distributions of perturbed media. Then integral reciprocity theorems are obtained by applying Gauss's divergence theorem, which give explicit integral representations connecting higher-order interactions and higher-order derivative distributions of perturbed media. Some possible applications to an inverse problem are also discussed.

Animal-Assisted Stress Reduction Programs in Higher Education

Science.gov (United States)

Haggerty, Julie M.; Mueller, Megan Kiely

2017-01-01

This study investigated the prevalence of increasingly popular animal-assisted stress relief programs at higher education institutions across the United States. Although research on animal-assisted programs is increasing, there is still a lack of information documenting implementation of these programs. Therefore, the purpose of this study was to…

Exact Solutions to Nonlinear Schroedinger Equation and Higher-Order Nonlinear Schroedinger Equation

International Nuclear Information System (INIS)

Ren Ji; Ruan Hangyu

2008-01-01

We study solutions of the nonlinear Schroedinger equation (NLSE) and higher-order nonlinear Schroedinger equation (HONLSE) with variable coefficients. By considering all the higher-order effect of HONLSE as a new dependent variable, the NLSE and HONLSE can be changed into one equation. Using the generalized Lie group reduction method (GLGRM), the abundant solutions of NLSE and HONLSE are obtained

Higher order perturbation theory applied to radiative transfer in non-plane-parallel media

International Nuclear Information System (INIS)

Box, M.A.; Polonsky, I.N.; Davis, A.B.

2003-01-01

Radiative transfer in non-plane-parallel media is a very challenging problem, which is currently the subject of concerted efforts to develop computational techniques which may be used to tackle different tasks. In this paper we develop the full formalism for another technique, based on radiative perturbation theory. With this approach, one starts with a plane-parallel 'base model', for which many solution techniques exist, and treat the horizontal variability as a perturbation. We show that under the most logical assumption as to the base model, the first-order perturbation term is zero for domain-average radiation quantities, so that it is necessary to go to higher order terms. This requires the computation of the Green's function. While this task is by no means simple, once the various pieces have been assembled they may be re-used for any number of perturbations--that is, any horizontal variations

Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool

DEFF Research Database (Denmark)

Bundgaard, Mikkel; Glenstrup, Arne John; Hildebrandt, Thomas

is the starting point of an endeavor to provide a completely formalized and extensible business process engine within the Computer Supported Mobile Adaptive Business Processes (CosmoBiz) research project at the IT University of Copenhagen. Building upon the formalization of WS-BPEL we propose and formalize Home......BPEL, a higher-order WS-BPEL-like business process execution language where processes are first-class values that can be stored in variables, passed as messages, and activated as embedded sub-instances. A sub-instance is similar to a WS-BPEL scope, except that it can be dynamically frozen and stored as a process...

On realization of nonlinear systems described by higher-order differential equations

NARCIS (Netherlands)

van der Schaft, Arjan

1987-01-01

We consider systems of smooth nonlinear differential and algebraic equations in which some of the variables are distinguished as “external variables.” The realization problem is to replace the higher-order implicit differential equations by first-order explicit differential equations and the

Constrained variational calculus for higher order classical field theories

Energy Technology Data Exchange (ETDEWEB)

Campos, Cedric M; De Leon, Manuel; De Diego, David MartIn, E-mail: cedricmc@icmat.e, E-mail: mdeleon@icmat.e, E-mail: david.martin@icmat.e [Instituto de Ciencias Matematicas, CSIC-UAM-UC3M-UCM, Serrano 123, 28006 Madrid (Spain)

2010-11-12

We develop an intrinsic geometrical setting for higher order constrained field theories. As a main tool we use an appropriate generalization of the classical Skinner-Rusk formalism. Some examples of applications are studied, in particular to the geometrical description of optimal control theory for partial differential equations.

Constrained variational calculus for higher order classical field theories

International Nuclear Information System (INIS)

Campos, Cedric M; De Leon, Manuel; De Diego, David MartIn

2010-01-01

We develop an intrinsic geometrical setting for higher order constrained field theories. As a main tool we use an appropriate generalization of the classical Skinner-Rusk formalism. Some examples of applications are studied, in particular to the geometrical description of optimal control theory for partial differential equations.

Decidable Fragments of a Higher Order Calculus with Locations

DEFF Research Database (Denmark)

Bundgaard, Mikkel; Godskesen, Jens Christian; Huttel, Hans

2009-01-01

Homer is a higher order process calculus with locations. In this paper we study Homer in the setting of the semantic finite control property, which is a finite reachability criterion that implies decidability of barbed bisimilarity. We show that strong and weak barbed bisimilarity are undecidable...

The role of formative feedback in promoting higher order thinking ...

African Journals Online (AJOL)

The role of formative feedback in promoting higher order thinking skills in ... activities, task characteristics, validating students' thinking, and providing feedback. ... Keywords: classroom environment, formative assessment, formative feedback, ...

Generalized Second-Order Parametric Optimality Conditions in Semiinfinite Discrete Minmax Fractional Programming and Second-Order Univexity

Directory of Open Access Journals (Sweden)

Ram Verma

2016-02-01

Full Text Available This paper deals with mainly establishing numerous sets of generalized second order paramertic sufficient optimality conditions for a semiinfinite discrete minmax fractional programming problem, while the results on semiinfinite discrete minmax fractional programming problem achieved based on some partitioning schemes under various types of generalized second order univexity assumptions. 

Squeezing of higher order Hermite-Gauss modes

DEFF Research Database (Denmark)

Lassen, Mikael Østergaard

2008-01-01

The present paper gives an overview of the experimental generation of squeezing in higher order Hermite-Gaussian modes with an optical parametric ampli¯er (OPA). This work was awarded with The European Optical Society (EOS) price 2007. The purpose of the prize is to encourage a European dimension...... in research in pure and applied optics. The EOS prize is awarded based on the selection criteria of high professionalism, academic and technical quality. Following the EOS Prize rules, the conditions for eligibility are that the work was performed in Europe and that it is published under the auspices...

Measurement of electrodynamics characteristics of higher order modes for harmonic cavity at 2400 MHz

Science.gov (United States)

Shashkov, Ya V.; Sobenin, N. P.; Gusarova, M. A.; Lalayan, M. V.; Bazyl, D. S.; Donetskiy, R. V.; Orlov, A. I.; Zobov, M. M.; Zavadtsev, A. A.

2016-09-01

In the frameworks of the High Luminosity Large Hadron Collider (HL-LHC) upgrade program an application of additional superconducting harmonic cavities operating at 800 MHz is currently under discussion. As a possible candidate, an assembly of two cavities with grooved beam pipes connected by a drift tube and housed in a common cryomodule, was proposed. In this article we discuss measurements of loaded Q-factors of higher order modes (HOM) performed on a scaled aluminium single cell cavity prototype with the fundamental frequency of 2400 MHz and on an array of two such cavities connected by a narrow beam pipe. The measurements were performed for the system with and without the matching load in the drift tube..

Towards a Unified Programming Language

DEFF Research Database (Denmark)

Madsen, Ole Lehrmann

2000-01-01

style and where more research is needed. In addition to traditional paradigms such as object-oriented-, imperative-functional- and logic programming, we also discuss concurrent programming and prototype-based programming. We discuss language features such as the BETA pattern construct, virtual......The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not argue for a multi-paradigm language, where the programmer alternates between the different paradigms/styles. Instead, we...... procedures and classes, higher order classes, methods and functions, part objects, block-structure, and class-less objects....

Classification of endoscopic capsule images by using color wavelet features, higher order statistics and radial basis functions.

Science.gov (United States)

Lima, C S; Barbosa, D; Ramos, J; Tavares, A; Monteiro, L; Carvalho, L

2008-01-01

This paper presents a system to support medical diagnosis and detection of abnormal lesions by processing capsule endoscopic images. Endoscopic images possess rich information expressed by texture. Texture information can be efficiently extracted from medium scales of the wavelet transform. The set of features proposed in this paper to code textural information is named color wavelet covariance (CWC). CWC coefficients are based on the covariances of second order textural measures, an optimum subset of them is proposed. Third and forth order moments are added to cope with distributions that tend to become non-Gaussian, especially in some pathological cases. The proposed approach is supported by a classifier based on radial basis functions procedure for the characterization of the image regions along the video frames. The whole methodology has been applied on real data containing 6 full endoscopic exams and reached 95% specificity and 93% sensitivity.

Regulation of Central Nervous System Myelination in Higher Brain Functions

Directory of Open Access Journals (Sweden)

Mara Nickel

2018-01-01

Full Text Available The hippocampus and the prefrontal cortex are interconnected brain regions, playing central roles in higher brain functions, including learning and memory, planning complex cognitive behavior, and moderating social behavior. The axons in these regions continue to be myelinated into adulthood in humans, which coincides with maturation of personality and decision-making. Myelin consists of dense layers of lipid membranes wrapping around the axons to provide electrical insulation and trophic support and can profoundly affect neural circuit computation. Recent studies have revealed that long-lasting changes of myelination can be induced in these brain regions by experience, such as social isolation, stress, and alcohol abuse, as well as by neurological and psychiatric abnormalities. However, the mechanism and function of these changes remain poorly understood. Myelin regulation represents a new form of neural plasticity. Some progress has been made to provide new mechanistic insights into activity-independent and activity-dependent regulations of myelination in different experimental systems. More extensive investigations are needed in this important but underexplored research field, in order to shed light on how higher brain functions and myelination interplay in the hippocampus and prefrontal cortex.

Higher-Order Structure in Bacterial VapBC Toxin-Antitoxin Complexes

DEFF Research Database (Denmark)

Bendtsen, Kirstine L; Brodersen, Ditlev E

2017-01-01

Toxin-antitoxin systems are widespread in the bacterial kingdom, including in pathogenic species, where they allow rapid adaptation to changing environmental conditions through selective inhibition of key cellular processes, such as DNA replication or protein translation. Under normal growth...... that allow auto-regulation of transcription by direct binding to promoter DNA. In this chapter, we review our current understanding of the structural characteristics of type II toxin-antitoxin complexes in bacterial cells, with a special emphasis on the staggering variety of higher-order architecture...... conditions, type II toxins are inhibited through tight protein-protein interaction with a cognate antitoxin protein. This toxin-antitoxin complex associates into a higher-order macromolecular structure, typically heterotetrameric or heterooctameric, exposing two DNA binding domains on the antitoxin...

A Novel Higher-Order Shear and Normal Deformable Plate Theory for the Static, Free Vibration and Buckling Analysis of Functionally Graded Plates

Directory of Open Access Journals (Sweden)

Shi-Chao Yi

2017-01-01

Full Text Available Closed-form solution of a special higher-order shear and normal deformable plate theory is presented for the static situations, natural frequencies, and buckling responses of simple supported functionally graded materials plates (FGMs. Distinguished from the usual theories, the uniqueness is the differentia of the new plate theory. Each individual FGM plate has special characteristics, such as material properties and length-thickness ratio. These distinctive attributes determine a set of orthogonal polynomials, and then the polynomials can form an exclusive plate theory. Thus, the novel plate theory has two merits: one is the orthogonality, where the majority of the coefficients of the equations derived from Hamilton’s principle are zero; the other is the flexibility, where the order of the plate theory can be arbitrarily set. Numerical examples with different shapes of plates are presented and the achieved results are compared with the reference solutions available in the literature. Several aspects of the model involving relevant parameters, length-to-thickness, stiffness ratios, and so forth affected by static and dynamic situations are elaborate analyzed in detail. As a consequence, the applicability and the effectiveness of the present method for accurately computing deflection, stresses, natural frequencies, and buckling response of various FGM plates are demonstrated.

Size-dependent bending, buckling and vibration of higher-order shear deformable magneto-electro-thermo-elastic rectangular nanoplates

Science.gov (United States)

Gholami, Raheb; Ansari, Reza; Gholami, Yousef

2017-06-01

The aim of the present study is to propose a unified size-dependent higher-order shear deformable plate model for magneto-electro-thermo-elastic (METE) rectangular nanoplates by adopting the nonlocal elasticity theory to capture the size effect, and by utilizing a generalized shape function to consider the effects of transverse shear deformation and rotary inertia. By considering various shape functions, the proposed plate model can be reduced to the nonlocal plate model based upon the Kirchhoff, Mindlin and Reddy plate theories, as well as the parabolic, trigonometric, hyperbolic and exponential shear deformation plate theories. The governing equations of motion and corresponding boundary conditions of METE nanoplates subjected to external in-plane, transverse loads as well as magnetic, electric and thermal loadings, are obtained using Hamilton’s principle. Then, as in some case studies, the static bending, buckling, and free vibration characteristics of simply-supported METE rectangular nanoplates are investigated based upon the Navier solution approach. Numerical results are provided in order to investigate the influences of various parameters including the nondimensional nonlocal parameter, type of transverse loading, temperature change, applied voltage, and external magnetic potential on the mechanical behaviors of METE nanoplates. Furthermore, comparisons are made between the results predicted by different nonlocal plate models by utilizing the developed unified nonlocal plate model and selecting the associated shape functions. It is illustrated that by using the presented unified nonlocal plate model, the development of a nonlocal plate model based upon any existing higher-order shear deformable plate theory is a simple task.

Functional Programming in Computer Science

Energy Technology Data Exchange (ETDEWEB)

Anderson, Loren James [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Davis, Marion Kei [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2016-01-19

We explore functional programming through a 16-week internship at Los Alamos National Laboratory. Functional programming is a branch of computer science that has exploded in popularity over the past decade due to its high-level syntax, ease of parallelization, and abundant applications. First, we summarize functional programming by listing the advantages of functional programming languages over the usual imperative languages, and we introduce the concept of parsing. Second, we discuss the importance of lambda calculus in the theory of functional programming. Lambda calculus was invented by Alonzo Church in the 1930s to formalize the concept of effective computability, and every functional language is essentially some implementation of lambda calculus. Finally, we display the lasting products of the internship: additions to a compiler and runtime system for the pure functional language STG, including both a set of tests that indicate the validity of updates to the compiler and a compiler pass that checks for illegal instances of duplicate names.

Higher-order relativistic periastron advances and binary pulsars

International Nuclear Information System (INIS)

Damour, T.; Schafer, G.

1988-01-01

The contributions to the periastron advance of a system of two condensed bodies coming from relativistic dynamical effects of order higher than the usual first post-Newtonian (1PN) equations of motion are investigated. The structure of the solution of the orbital second post-Newtonian (2PN) equations of motion is given in a simple parametrized form. The contributions to the secular pariastron advance, and the period, of orbital 2PN effects are then explicitly worked out by using the Hamilton-Jacobi method. The spin-orbit contribution to the secular precession of the orbit in space is rederived in a streamlined way by making full use of Hamiltonian methods. These results are then applied to the theoretical interpretation of the observational data of pulsars in close eccentric binary systems. It is shown that the higher-order relativistic contributions are already of theoretical and astophysical significance for interpreting the high-precision measurement of the secular periastron advance of PSR 1913+16 achived by Taylor and coworkers. The case of extremely fast spinning (millisecond) binary pulsars is also discussed, and shown to offer an easier ground for getting new tests of general relativity, and/or, a direct measurement of the moment of inertia of a neutron star

High-Order Hamilton's Principle and the Hamilton's Principle of High-Order Lagrangian Function

International Nuclear Information System (INIS)

Zhao Hongxia; Ma Shanjun

2008-01-01

In this paper, based on the theorem of the high-order velocity energy, integration and variation principle, the high-order Hamilton's principle of general holonomic systems is given. Then, three-order Lagrangian equations and four-order Lagrangian equations are obtained from the high-order Hamilton's principle. Finally, the Hamilton's principle of high-order Lagrangian function is given.

Defining Higher-Order Turbulent Moment Closures with an Artificial Neural Network and Random Forest

Science.gov (United States)

McGibbon, J.; Bretherton, C. S.

2017-12-01

Unresolved turbulent advection and clouds must be parameterized in atmospheric models. Modern higher-order closure schemes depend on analytic moment closure assumptions that diagnose higher-order moments in terms of lower-order ones. These are then tested against Large-Eddy Simulation (LES) higher-order moment relations. However, these relations may not be neatly analytic in nature. Rather than rely on an analytic higher-order moment closure, can we use machine learning on LES data itself to define a higher-order moment closure?We assess the ability of a deep artificial neural network (NN) and random forest (RF) to perform this task using a set of observationally-based LES runs from the MAGIC field campaign. By training on a subset of 12 simulations and testing on remaining simulations, we avoid over-fitting the training data.Performance of the NN and RF will be assessed and compared to the Analytic Double Gaussian 1 (ADG1) closure assumed by Cloudy Layers Unified By Binormals (CLUBB), a higher-order turbulence closure currently used in the Community Atmosphere Model (CAM). We will show that the RF outperforms the NN and the ADG1 closure for the MAGIC cases within this diagnostic framework. Progress and challenges in using a diagnostic machine learning closure within a prognostic cloud and turbulence parameterization will also be discussed.

Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL

DEFF Research Database (Denmark)

Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders

2018-01-01

We certify in the proof assistant Isabelle/HOL the soundness of a declarative first-order prover with equality. The LCF-style prover is a translation we have made, to Standard ML, of a prover in John Harrison’s Handbook of Practical Logic and Automated Reasoning. We certify it by replacing its ke......’s ML environment as an interactive application or can be used standalone in OCaml or Standard ML (or in other functional programming languages like Haskell and Scala with some additional work)....

On the computation of the higher-order statistics of the channel capacity over generalized fading channels

KAUST Repository

Yilmaz, Ferkan

2012-12-01

The higher-order statistics (HOS) of the channel capacity μn=E[logn (1+γ end)], where n ∈ N denotes the order of the statistics, has received relatively little attention in the literature, due in part to the intractability of its analysis. In this letter, we propose a novel and unified analysis, which is based on the moment generating function (MGF) technique, to exactly compute the HOS of the channel capacity. More precisely, our mathematical formalism can be readily applied to maximal-ratio-combining (MRC) receivers operating in generalized fading environments. The mathematical formalism is illustrated by some numerical examples focusing on the correlated generalized fading environments. © 2012 IEEE.

On the computation of the higher-order statistics of the channel capacity over generalized fading channels

KAUST Repository

Yilmaz, Ferkan; Alouini, Mohamed-Slim

2012-01-01

The higher-order statistics (HOS) of the channel capacity μn=E[logn (1+γ end)], where n ∈ N denotes the order of the statistics, has received relatively little attention in the literature, due in part to the intractability of its analysis. In this letter, we propose a novel and unified analysis, which is based on the moment generating function (MGF) technique, to exactly compute the HOS of the channel capacity. More precisely, our mathematical formalism can be readily applied to maximal-ratio-combining (MRC) receivers operating in generalized fading environments. The mathematical formalism is illustrated by some numerical examples focusing on the correlated generalized fading environments. © 2012 IEEE.

Visibility-Based Hypothesis Testing Using Higher-Order Optical Interference

Science.gov (United States)

Jachura, Michał; Jarzyna, Marcin; Lipka, Michał; Wasilewski, Wojciech; Banaszek, Konrad

2018-03-01

Many quantum information protocols rely on optical interference to compare data sets with efficiency or security unattainable by classical means. Standard implementations exploit first-order coherence between signals whose preparation requires a shared phase reference. Here, we analyze and experimentally demonstrate the binary discrimination of visibility hypotheses based on higher-order interference for optical signals with a random relative phase. This provides a robust protocol implementation primitive when a phase lock is unavailable or impractical. With the primitive cost quantified by the total detected optical energy, optimal operation is typically reached in the few-photon regime.

Inseparability inequalities for higher order moments for bipartite systems

International Nuclear Information System (INIS)

Agarwal, G S; Biswas, Asoka

2005-01-01

There are several examples of bipartite entangled states of continuous variables for which the existing criteria for entanglement using the inequalities involving the second-order moments are insufficient. We derive new inequalities involving higher order correlation, for testing entanglement in non-Gaussian states. In this context, we study an example of a non-Gaussian state, which is a bipartite entangled state of the form Ψ(x a , x b ) ∝ (αx a + βx b ) e -(x a 2 +x b 2 )/2 . Our results open up an avenue to search for new inequalities to test entanglement in non-Gaussian states

Higher order corrections to energy levels of muonic atoms

International Nuclear Information System (INIS)

Rinker, G.A. Jr.; Steffen, R.M.

1975-08-01

In order to facilitate the analysis of muonic x-ray spectra, the results of numerical computations of all higher order quantum electrodynamical corrections to the energy levels of muonic atoms are presented in tabular and graphical form. These corrections include the vacuum polarization corrections caused by emission and reabsorption of virtual electron pairs to all orders, including ''double-bubble'' and ''cracked-egg'' diagrams. An estimate of the Delbruecke scattering-type correction is presented. The Lamb-shift (second- and fourth-order vertex) corrections have been calculated including the correction for the anomalous magnetic moment of the muon. The relativistic nuclear motion (or recoil) correction as well as the correction caused by the screening of the atomic electrons is presented in graphs. For the sake of completeness a graph of the nuclear polarization as computed on the basis of Chen's approach has been included. All calculations were made with a two-parameter Fermi distribution of the nuclear charge density. 7 figures, 23 references

Chronnectome fingerprinting: Identifying individuals and predicting higher cognitive functions using dynamic brain connectivity patterns.

Science.gov (United States)

Liu, Jin; Liao, Xuhong; Xia, Mingrui; He, Yong

2018-02-01

The human brain is a large, interacting dynamic network, and its architecture of coupling among brain regions varies across time (termed the "chronnectome"). However, very little is known about whether and how the dynamic properties of the chronnectome can characterize individual uniqueness, such as identifying individuals as a "fingerprint" of the brain. Here, we employed multiband resting-state functional magnetic resonance imaging data from the Human Connectome Project (N = 105) and a sliding time-window dynamic network analysis approach to systematically examine individual time-varying properties of the chronnectome. We revealed stable and remarkable individual variability in three dynamic characteristics of brain connectivity (i.e., strength, stability, and variability), which was mainly distributed in three higher order cognitive systems (i.e., default mode, dorsal attention, and fronto-parietal) and in two primary systems (i.e., visual and sensorimotor). Intriguingly, the spatial patterns of these dynamic characteristics of brain connectivity could successfully identify individuals with high accuracy and could further significantly predict individual higher cognitive performance (e.g., fluid intelligence and executive function), which was primarily contributed by the higher order cognitive systems. Together, our findings highlight that the chronnectome captures inherent functional dynamics of individual brain networks and provides implications for individualized characterization of health and disease. © 2017 Wiley Periodicals, Inc.

Monadic Functional Reactive Programming

NARCIS (Netherlands)

A.J. van der Ploeg (Atze); C Shan

2013-01-01

htmlabstractFunctional Reactive Programming (FRP) is a way to program reactive systems in functional style, eliminating many of the problems that arise from imperative techniques. In this paper, we present an alternative FRP formulation that is based on the notion of a reactive computation: a

Higher order modes of coupled optical fibres

International Nuclear Information System (INIS)

Alexeyev, C N; Yavorsky, M A; Boklag, N A

2010-01-01

The structure of hybrid higher order modes of two coupled weakly guiding identical optical fibres is studied. On the basis of perturbation theory with degeneracy for the vector wave equation expressions for modes with azimuthal angular number l ≥ 1 are obtained that allow for the spin–orbit interaction. The spectra of polarization corrections to the scalar propagation constants are calculated in a wide range of distances between the fibres. The limiting cases of widely and closely spaced fibres are studied. The obtained results can be used for studying the tunnelling of optical vortices in directional couplers and in matters concerned with information security

Teaching Higher Order Thinking in the Introductory MIS Course: A Model-Directed Approach

Science.gov (United States)

Wang, Shouhong; Wang, Hai

2011-01-01

One vision of education evolution is to change the modes of thinking of students. Critical thinking, design thinking, and system thinking are higher order thinking paradigms that are specifically pertinent to business education. A model-directed approach to teaching and learning higher order thinking is proposed. An example of application of the…

Field profile and loading measurements on higher order modes in a two cell 500 MHz superconducting structure

International Nuclear Information System (INIS)

Barry, W.; Edighoffer, J.; Chattopadhyay, S.; Fornaca, S.

1992-08-01

The Infrared Free Electron Laser, being designed at LBL as part of the Chemical Dynamics Research Laboratory, is based on a 500 MHz superconducting linac driver that consists of five 4-cell structures of the CERN/DESY type. A 500 MHz, 2-cell version of this structure is being used in a joint Stanford/LBL/BNL program to study accelerator issues relevant to the FEL applications. As part of this study, field profile and loading measurements of higher order modes have been made on the prototype structure

Divergent Response Profile in Activated Cord Blood T cells from First-born Child Implies Birth-order-associated in Utero Immune Programming

DEFF Research Database (Denmark)

Kragh, Marie; Larsen, Jeppe Madura; Thysen, Anna Hammerich

2016-01-01

Background: First-born children are at higher risk for development of a range of immune-mediated diseases. The underlying mechanism of ‘birth-order-effects’ on disease risk is largely unknown, but in utero programming of the child's immune system may play a role. Objective: We studied the associa...... programing may contribute to later development of immune-mediated diseases by increasing overall immune reactivity in first-born children as compared to younger siblings.......Background: First-born children are at higher risk for development of a range of immune-mediated diseases. The underlying mechanism of ‘birth-order-effects’ on disease risk is largely unknown, but in utero programming of the child's immune system may play a role. Objective: We studied...

Geometric function theory in higher dimension

CERN Document Server

2017-01-01

The book collects the most relevant outcomes from the INdAM Workshop “Geometric Function Theory in Higher Dimension” held in Cortona on September 5-9, 2016. The Workshop was mainly devoted to discussions of basic open problems in the area, and this volume follows the same line. In particular, it offers a selection of original contributions on Loewner theory in one and higher dimensions, semigroups theory, iteration theory and related topics. Written by experts in geometric function theory in one and several complex variables, it focuses on new research frontiers in this area and on challenging open problems. The book is intended for graduate students and researchers working in complex analysis, several complex variables and geometric function theory.

Higher-order organisation of extremely amplified, potentially functional and massively methylated 5S rDNA in European pikes (Esox sp.).

Science.gov (United States)

Symonová, Radka; Ocalewicz, Konrad; Kirtiklis, Lech; Delmastro, Giovanni Battista; Pelikánová, Šárka; Garcia, Sonia; Kovařík, Aleš

2017-05-18

Pikes represent an important genus (Esox) harbouring a pre-duplication karyotype (2n = 2x = 50) of economically important salmonid pseudopolyploids. Here, we have characterized the 5S ribosomal RNA genes (rDNA) in Esox lucius and its closely related E. cisalpinus using cytogenetic, molecular and genomic approaches. Intragenomic homogeneity and copy number estimation was carried out using Illumina reads. The higher-order structure of rDNA arrays was investigated by the analysis of long PacBio reads. Position of loci on chromosomes was determined by FISH. DNA methylation was analysed by methylation-sensitive restriction enzymes. The 5S rDNA loci occupy exclusively (peri)centromeric regions on 30-38 acrocentric chromosomes in both E. lucius and E. cisalpinus. The large number of loci is accompanied by extreme amplification of genes (>20,000 copies), which is to the best of our knowledge one of the highest copy number of rRNA genes in animals ever reported. Conserved secondary structures of predicted 5S rRNAs indicate that most of the amplified genes are potentially functional. Only few SNPs were found in genic regions indicating their high homogeneity while intergenic spacers were more heterogeneous and several families were identified. Analysis of 10-30 kb-long molecules sequenced by the PacBio technology (containing about 40% of total 5S rDNA) revealed that the vast majority (96%) of genes are organised in large several kilobase-long blocks. Dispersed genes or short tandems were less common (4%). The adjacent 5S blocks were directly linked, separated by intervening DNA and even inverted. The 5S units differing in the intergenic spacers formed both homogeneous and heterogeneous (mixed) blocks indicating variable degree of homogenisation between the loci. Both E. lucius and E. cisalpinus 5S rDNA was heavily methylated at CG dinucleotides. Extreme amplification of 5S rRNA genes in the Esox genome occurred in the absence of significant pseudogenisation

Geometrical optics in general relativity: A study of the higher order corrections

International Nuclear Information System (INIS)

Anile, A.M.

1976-01-01

The higher order corrections to geometrical optics are studied in general relativity for an electromagnetic test wave. An explicit expression is found for the average energy--momentum tensor which takes into account the first-order corrections. Finally the first-order corrections to the well-known area-intensity law of geometrical optics are derived

Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback

NARCIS (Netherlands)

Gerdes, Alex; Heeren, Bastiaan; Jeuring, J.T.; Binsbergen, Thomas van

2015-01-01

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

NARCIS (Netherlands)

Gerdes, A.; Heeren, B.J.; Jeuring, J.T.; Binsbergen, Thomas~van

2017-01-01

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a

Contribution of higher order terms in the reductive perturbation theory, 2

International Nuclear Information System (INIS)

Ichikawa, Y.H.; Mitsuhashi, Teruo; Konno, Kimiaki.

1977-01-01

Contribution of higher order terms in the reductive perturbation theory has been investigated for nonlinear propagation of strongly dispersive ion plasma wave. The basic set of fluid equation is reduced to a coupled set of the nonlinear Schroedinger equation for the first order perturbed potential and a linear inhomogeneous equation for the second order perturbed potential. A steady state solution of the coupled set of equations has been solved analytically in the asymptotic limit of small wave number. (auth.)

Higher order alchemical derivatives from coupled perturbed self-consistent field theory.

Science.gov (United States)

Lesiuk, Michał; Balawender, Robert; Zachara, Janusz

2012-01-21

We present an analytical approach to treat higher order derivatives of Hartree-Fock (HF) and Kohn-Sham (KS) density functional theory energy in the Born-Oppenheimer approximation with respect to the nuclear charge distribution (so-called alchemical derivatives). Modified coupled perturbed self-consistent field theory is used to calculate molecular systems response to the applied perturbation. Working equations for the second and the third derivatives of HF/KS energy are derived. Similarly, analytical forms of the first and second derivatives of orbital energies are reported. The second derivative of Kohn-Sham energy and up to the third derivative of Hartree-Fock energy with respect to the nuclear charge distribution were calculated. Some issues of practical calculations, in particular the dependence of the basis set and Becke weighting functions on the perturbation, are considered. For selected series of isoelectronic molecules values of available alchemical derivatives were computed and Taylor series expansion was used to predict energies of the "surrounding" molecules. Predicted values of energies are in unexpectedly good agreement with the ones computed using HF/KS methods. Presented method allows one to predict orbital energies with the error less than 1% or even smaller for valence orbitals. © 2012 American Institute of Physics

A higher level language data acquisition system (III) - the user data acquisition program

International Nuclear Information System (INIS)

Finn, J.M.; Gulbranson, R.L.; Huang, T.L.

1983-01-01

The nuclear physics group at the University of Illinois has implemented a data acquisition system using modified versions of the Concurrent Pascal and Sequential Pascal languages. The user, a physicist, develops a data acquisition ''operating system'', written in these higher level languages, which is tailored to the planned experiment. The user must include only those system functions which are essential to the task, thus improving efficiency. The user program is constructed from simple modules, mainly consisting of Concurrent Pascal PROCESSes, MONITORs, and CLASSes together with appropriate data type definitions. Entire programs can be put together using ''cut and paste'' techniques. Planned enhancements include the automating of this process. Systems written for the Perkin-Elmer 3220 using this approach can easily exceed 2 kHz data rates for event by event handling; 20 kHz data rates have been achieved by the addition of buffers in the interrupt handling software. These rates have been achieved without the use of special-purpose hardware such as micro-programmed branch drivers. With the addition of such devices even higher data rates should be possible

Determination of the secondary energy from the electron beam with a flattening foil by computer. Percentage depth dose curve fitting using the specific higher order polynomial

Energy Technology Data Exchange (ETDEWEB)

Kawakami, H [Kyushu Univ., Beppu, Oita (Japan). Inst. of Balneotherapeutics

1980-09-01

A computer program written in FORTRAN is described for determining the secondary energy of the electron beam which passed through a flattening foil, using a time-sharing computer service. The procedure of this program is first to fit the specific higher order polynomial to the measured percentage depth dose curve. Next, the practical range is evaluated by the point of intersection R of the line tangent to the fitted curve at the inflection point P and the given dose E, as shown in Fig. 2. Finally, the secondary energy corresponded to the determined practical range can be obtained by the experimental equation (2.1) between the practial range R (g/cm/sup 2/) and the electron energy T (MeV). A graph for the fitted polynomial with the inflection points and the practical range can be plotted on a teletype machine by request of user. In order to estimate the shapes of percentage depth dose curves correspond to the electron beams of different energies, we tried to find some specific functional relationships between each coefficient of the fitted seventh-degree equation and the incident electron energies. However, exact relationships could not be obtained for irreguarity among these coefficients.

Numerical methods of higher order of accuracy for incompressible flows

Czech Academy of Sciences Publication Activity Database

Kozel, K.; Louda, Petr; Příhoda, Jaromír

2010-01-01

Roč. 80, č. 8 (2010), s. 1734-1745 ISSN 0378-4754 Institutional research plan: CEZ:AV0Z20760514 Keywords : higher order methods * upwind methods * backward-facing step Subject RIV: BK - Fluid Dynamics Impact factor: 0.812, year: 2010

Transition of EMRIs through resonance: higher order corrections in resonant flux enhancement

Science.gov (United States)

Mihaylov, Deyan; Gair, Jonathan

2017-01-01

Extreme mass ratio inspirals (EMRIs) are candidate events for gravitational wave detection in the millihertz range (by detectors like LISA and eLISA). These events involve a stellar-mass black hole, or a similar compact object, descending into the gravitational field of a supermassive black hole, eventually merging with it. Properties of the inspiraling trajectory away from resonance are well known and have been studied extensively, however little is known about the behaviour of these binary systems at resonance, when the radial and lateral frequencies of the orbit become commensurate. There are two resonance models in the literature, the instantaneous frequency function by Gair, Bender, and Yunes, and the standard two timescales approach devised by Flanagan and Hinderer. We argue that the Gair, Bender and Yunes model provides a valid treatment of the resonance problem and extend this solution to higher order in the size of the on-resonance perturbation. The non-linear differential equations which arise in treating resonances are interesting from a mathematical view point. We present our algorithm for perturbative solutions and the results to third order in the infinitesimal parameter, and discuss the scope of this approach. Deyan Mihaylov is funded by the STFC.

Program content of teaching physical education in order to prevent violence in educational institutions

Directory of Open Access Journals (Sweden)

Sretenović Zoran

2013-01-01

Full Text Available The primary goal of this paper is to show the capacity of the program content of physical education in the implementation of the third specific objective of the Framework Action Plan for the Prevention of Violence in Educational Institutions. Ministry of Education brought this plan in January 2009. The third specific objective of the Framework Action Plan: Provide preventive and protective role of school sport and sporting activities of students. This paper examines the extent to which this goal is achieved, trough regular classes, after-school and extracurricular activities of physical education; indicates the capacity of the teaching field in the creation and development of a safe and supportive environment in the institution; sees level of participation by experts, council and teams in the design and implementation of sports activities in school and the extent to which these activities are implemented in the institution documents, plans and programs of experts, and larger teams; it is the sustainability of these activities achieved in school practices and also to strengthen the competence of teachers in supporting the development of students personality, communication and collaboration. In order to complete document association of council, experts and teams in the institution, there has been an insight into the school curriculum, the development plan, annual plan of the institution, protection program community of students, the curriculum of a school parliament, council of parents, higher vocational and physical education teachers and report on the implementation of the protection program. In order to document by empirical data the capacity of the teaching areas in the function of preventing violence, a sample of 46 primary schools in Sumadija area, evaluation of the implementation of sports and sports activities students in programming classes of physical education, was executed. By these results, it can be concluded that in teaching methods

Evidence for higher-order effects in L-shell ionization by proton impact

International Nuclear Information System (INIS)

Sarkadi, L.; Mukoyama, T.

1988-01-01

It is widely believed that higher order processes of ion-atom collisions are negligible in cases of light projectiles like proton. Recent refined experiments tried to prove that the existence of such effects were comperable with the experimental errors, and they showed the unexpected relative importance of the higher order processes. Thus a new coupled channel calculation was performed for proton-gold atom collision in the energy range of 0.15-3.0 MeV, including dynamical subshell coupling effects. The results show that the deviations from the first order cross sections reach 40% at low collision energy. This result made necessary to correct the calculations of L-shell X-ray production cross sections. (D.G.) 6 refs

Transverse vibrations of shear-deformable beams using a general higher order theory

Science.gov (United States)

Kosmatka, J. B.

1993-01-01

A general higher order theory is developed to study the static and vibrational behavior of beam structures having an arbitrary cross section that utilizes both out-of-plane shear-dependent warping and in-plane (anticlastic) deformations. The equations of motion are derived via Hamilton's principle, where the full 3D constitutive relations are used. A simplified version of the general higher-order theory is also presented for beams having an arbitrary cross section that includes out-of-plane shear deformation but assumes that stresses within the cross section and in-plane deformations are negligible. This simplified model, which is accurate for long to moderately short wavelengths, offers substantial improvements over existing higher order theories that are limited to beams with thin rectangular cross sections. The current approach will be very useful in the study of thin-wall closed-cell beams such as airfoil-type sections where the magnitude of shear-related cross-sectional warping is significant.

Modeling 3D PCMI using the Extended Finite Element Method with higher order elements

Energy Technology Data Exchange (ETDEWEB)

Jiang, W. [Idaho National Lab. (INL), Idaho Falls, ID (United States); Spencer, Benjamin W. [Idaho National Lab. (INL), Idaho Falls, ID (United States)

2017-03-31

This report documents the recent development to enable XFEM to work with higher order elements. It also demonstrates the application of higher order (quadratic) elements to both 2D and 3D models of PCMI problems, where discrete fractures in the fuel are represented using XFEM. The modeling results demonstrate the ability of the higher order XFEM to accurately capture the effects of a crack on the response in the vicinity of the intersecting surfaces of cracked fuel and cladding, as well as represent smooth responses in the regions away from the crack.

Field profile and loading measurements on higher order modes in a two cell 500 MHz superconducting structure

International Nuclear Information System (INIS)

Barry, W.; Edighoffer, J.; Chattopadhyay, S.; Fornaco, S.

1992-01-01

The Infrared Free Electron Laser, being designed at LBL as part of the Chemical Dynamics Research Laboratory, is based on a 500 MHz superconducting linac driver that consists of five 4-cell structures of the CERN/DESY type. A 500 MHz, 2-cell version of this structure is being used in a joint Stanford/LBL/BNL program to study accelerator issues relevant to the FEL applications. As part of this study, field profile and loading measurements of higher order modes have been made on the prototype structure. (Author) 3 refs., 2 figs., tab

A higher-order tensor vessel tractography for segmentation of vascular structures.

Science.gov (United States)

Cetin, Suheyla; Unal, Gozde

2015-10-01

A new vascular structure segmentation method, which is based on a cylindrical flux-based higher order tensor (HOT), is presented. On a vessel structure, the HOT naturally models branching points, which create challenges for vessel segmentation algorithms. In a general linear HOT model embedded in 3D, one has to work with an even order tensor due to an enforced antipodal-symmetry on the unit sphere. However, in scenarios such as in a bifurcation, the antipodally-symmetric tensor embedded in 3D will not be useful. In order to overcome that limitation, we embed the tensor in 4D and obtain a structure that can model asymmetric junction scenarios. During construction of a higher order tensor (e.g. third or fourth order) in 4D, the orientation vectors lie on the unit 3-sphere, in contrast to the unit 2-sphere in 3D tensor modeling. This 4D tensor is exploited in a seed-based vessel segmentation algorithm, where the principal directions of the 4D HOT is obtained by decomposition, and used in a HOT tractography approach. We demonstrate quantitative validation of the proposed algorithm on both synthetic complex tubular structures as well as real cerebral vasculature in Magnetic Resonance Angiography (MRA) datasets and coronary arteries from Computed Tomography Angiography (CTA) volumes.

The Link between Higher Order Thinking Skills, Representation and Concepts in Enhancing TIMSS Tasks

Directory of Open Access Journals (Sweden)

Nor’ain Mohd. Tajudin

2016-08-01

Full Text Available Students’ performances in TIMSS have featured strongly in recent discussions and debates about the quality of mathematical learning outcomes both from teachers and policy makers. Findings of TIMSS trends showed that most high school students in Malaysia continue to perform at less than satisfactory levels, particularly, in tasks that are cognitively demanding. In this article, we present a critical analysis of selected TIMSS Tasks and demonstrate how to support students better in the use of Higher Order Thinking Skills (HOTS in making progress with such tasks. In so doing we present analyses of TIMSS tasks and a model of these tasks that relate HOTS, representation and concepts which can be utilised by teachers to understand the role of HOTS better in empowering students shift to higher levels of cognitive funtioning in the context of tackling TIMSS and similarly demanding tasks. Our analyses and model provide an important starting point for the design of future professional development programs for Malaysian mathematics teachers in reconceptualising HOTS and implementing them in regular classrooms.

Construction of special eye models for investigation of chromatic and higher-order aberrations of eyes.

Science.gov (United States)

Zhai, Yi; Wang, Yan; Wang, Zhaoqi; Liu, Yongji; Zhang, Lin; He, Yuanqing; Chang, Shengjiang

2014-01-01

An achromatic element eliminating only longitudinal chromatic aberration (LCA) while maintaining transverse chromatic aberration (TCA) is established for the eye model, which involves the angle formed by the visual and optical axis. To investigate the impacts of higher-order aberrations on vision, the actual data of higher-order aberrations of human eyes with three typical levels are introduced into the eye model along visual axis. Moreover, three kinds of individual eye models are established to investigate the impacts of higher-order aberrations, chromatic aberration (LCA+TCA), LCA and TCA on vision under the photopic condition, respectively. Results show that for most human eyes, the impact of chromatic aberration on vision is much stronger than that of higher-order aberrations, and the impact of LCA in chromatic aberration dominates. The impact of TCA is approximately equal to that of normal level higher-order aberrations and it can be ignored when LCA exists.

Collocated electrodynamic FDTD schemes using overlapping Yee grids and higher-order Hodge duals

Science.gov (United States)

Deimert, C.; Potter, M. E.; Okoniewski, M.

2016-12-01

The collocated Lebedev grid has previously been proposed as an alternative to the Yee grid for electromagnetic finite-difference time-domain (FDTD) simulations. While it performs better in anisotropic media, it performs poorly in isotropic media because it is equivalent to four overlapping, uncoupled Yee grids. We propose to couple the four Yee grids and fix the Lebedev method using discrete exterior calculus (DEC) with higher-order Hodge duals. We find that higher-order Hodge duals do improve the performance of the Lebedev grid, but they also improve the Yee grid by a similar amount. The effectiveness of coupling overlapping Yee grids with a higher-order Hodge dual is thus questionable. However, the theoretical foundations developed to derive these methods may be of interest in other problems.

ANOVA-HDMR structure of the higher order nodal diffusion solution

International Nuclear Information System (INIS)

Bokov, P. M.; Prinsloo, R. H.; Tomasevic, D. I.

2013-01-01

Nodal diffusion methods still represent a standard in global reactor calculations, but employ some ad-hoc approximations (such as the quadratic leakage approximation) which limit their accuracy in cases where reference quality solutions are sought. In this work we solve the nodal diffusion equations utilizing the so-called higher-order nodal methods to generate reference quality solutions and to decompose the obtained solutions via a technique known as High Dimensional Model Representation (HDMR). This representation and associated decomposition of the solution provides a new formulation of the transverse leakage term. The HDMR structure is investigated via the technique of Analysis of Variance (ANOVA), which indicates why the existing class of transversely-integrated nodal methods prove to be so successful. Furthermore, the analysis leads to a potential solution method for generating reference quality solutions at a much reduced calculational cost, by applying the ANOVA technique to the full higher order solution. (authors)

Next-to leading order analysis of target mass corrections to structure functions and asymmetries

International Nuclear Information System (INIS)

Brady, L.T.; Accardi, A.; Hobbs, T.J.; Melnitchouk, W.

2011-01-01

We perform a comprehensive analysis of target mass corrections (TMCs) to spin-averaged structure functions and asymmetries at next-to-leading order. Several different prescriptions for TMCs are considered, including the operator product expansion, and various approximations to it, collinear factorization, and xi-scaling. We assess the impact of each of these on a number of observables, such as the neutron to proton F 2 structure function ratio, and parity-violating electron scattering asymmetries for protons and deuterons which are sensitive to gamma-Z interference effects. The corrections from higher order radiative and nuclear effects on the parity-violating deuteron asymmetry are also quantified.

MatLab Script and Functional Programming

Science.gov (United States)

Shaykhian, Gholam Ali

2007-01-01

MatLab Script and Functional Programming: MatLab is one of the most widely used very high level programming languages for scientific and engineering computations. It is very user-friendly and needs practically no formal programming knowledge. Presented here are MatLab programming aspects and not just the MatLab commands for scientists and engineers who do not have formal programming training and also have no significant time to spare for learning programming to solve their real world problems. Specifically provided are programs for visualization. The MatLab seminar covers the functional and script programming aspect of MatLab language. Specific expectations are: a) Recognize MatLab commands, script and function. b) Create, and run a MatLab function. c) Read, recognize, and describe MatLab syntax. d) Recognize decisions, loops and matrix operators. e) Evaluate scope among multiple files, and multiple functions within a file. f) Declare, define and use scalar variables, vectors and matrices.

Time-discrete higher order ALE formulations: a priori error analysis

KAUST Repository

Bonito, Andrea

2013-03-16

We derive optimal a priori error estimates for discontinuous Galerkin (dG) time discrete schemes of any order applied to an advection-diffusion model defined on moving domains and written in the Arbitrary Lagrangian Eulerian (ALE) framework. Our estimates hold without any restrictions on the time steps for dG with exact integration or Reynolds\\' quadrature. They involve a mild restriction on the time steps for the practical Runge-Kutta-Radau methods of any order. The key ingredients are the stability results shown earlier in Bonito et al. (Time-discrete higher order ALE formulations: stability, 2013) along with a novel ALE projection. Numerical experiments illustrate and complement our theoretical results. © 2013 Springer-Verlag Berlin Heidelberg.

45 CFR 2519.300 - Who may participate in a Higher Education program?

Science.gov (United States)

2010-10-01

... 45 Public Welfare 4 2010-10-01 2010-10-01 false Who may participate in a Higher Education program... FOR NATIONAL AND COMMUNITY SERVICE HIGHER EDUCATION INNOVATIVE PROGRAMS FOR COMMUNITY SERVICE Participant Eligibility and Benefits § 2519.300 Who may participate in a Higher Education program? Students...

FITS: a function-fitting program

Energy Technology Data Exchange (ETDEWEB)

Balestrini, S.J.; Chezem, C.G.

1982-01-01

FITS is an iterating computer program that adjusts the parameters of a function to fit a set of data points according to the least squares criterion and then lists and plots the results. The function can be programmed or chosen from a library that is provided. The library can be expanded to include up to 99 functions. A general plotting routine, contained in the program but useful in its own right, is described separately in an Appendix.

Abstract Interpretation as a Programming Language

Directory of Open Access Journals (Sweden)

Mads Rosendahl

2013-09-01

Full Text Available In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators. The semantics itself can be seen as a program and one may examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen as a programming paradigm and be used to write programs in a circular style.

A TLBO based gradient descent learning-functional link higher order ANN: An efficient model for learning from non-linear data

Directory of Open Access Journals (Sweden)

Bighnaraj Naik

2018-01-01

Full Text Available All the higher order ANNs (HONNs including functional link ANN (FLANN are sensitive to random initialization of weight and rely on the learning algorithms adopted. Although a selection of efficient learning algorithms for HONNs helps to improve the performance, on the other hand, initialization of weights with optimized weights rather than random weights also play important roles on its efficiency. In this paper, the problem solving approach of the teaching learning based optimization (TLBO along with learning ability of the gradient descent learning (GDL is used to obtain the optimal set of weight of FLANN learning model. TLBO does not require any specific parameters rather it requires only some of the common independent parameters like number of populations, number of iterations and stopping criteria, thereby eliminating the intricacy in selection of algorithmic parameters for adjusting the set of weights of FLANN model. The proposed TLBO-FLANN is implemented in MATLAB and compared with GA-FLANN, PSO-FLANN and HS-FLANN. The TLBO-FLANN is tested on various 5-fold cross validated benchmark data sets from UCI machine learning repository and analyzed under the null-hypothesis by using Friedman test, Holm’s procedure and post hoc ANOVA statistical analysis (Tukey test & Dunnett test.

45 CFR 2519.600 - How are funds for Higher Education programs distributed?

Science.gov (United States)

2010-10-01

... 45 Public Welfare 4 2010-10-01 2010-10-01 false How are funds for Higher Education programs...) CORPORATION FOR NATIONAL AND COMMUNITY SERVICE HIGHER EDUCATION INNOVATIVE PROGRAMS FOR COMMUNITY SERVICE Distribution of Funds § 2519.600 How are funds for Higher Education programs distributed? All funds under this...

Higher-order Brunnian structures and possible physical realizations

DEFF Research Database (Denmark)

A. Baas, Nils; V. Fedorov, D.; S. Jensen, A.

2014-01-01

We consider few-body bound state systems and provide precise definitions of Borromean and Brunnian systems. The initial concepts are more than a hundred years old and originated in mathematical knot-theory as purely geometric considerations. About thirty years ago they were generalized and applied...... to the binding of systems in nature. It now appears that recent generalization to higher order Brunnian structures may potentially be realized as laboratory made or naturally occurring systems. With the binding energy as measure, we discuss possibilities of physical realization in nuclei, cold atoms...

Integrable higher order deformations of Heisenberg supermagnetic model

International Nuclear Information System (INIS)

Guo Jiafeng; Yan Zhaowen; Wang Shikun; Wu Ke; Zhao Weizhong

2009-01-01

The Heisenberg supermagnet model is an integrable supersymmetric system and has a close relationship with the strong electron correlated Hubbard model. In this paper, we investigate the integrable higher order deformations of Heisenberg supermagnet models with two different constraints: (i) S 2 =3S-2I for S is an element of USPL(2/1)/S(U(2)xU(1)) and (ii) S 2 =S for S is an element of USPL(2/1)/S(L(1/1)xU(1)). In terms of the gauge transformation, their corresponding gauge equivalent counterparts are derived.

Higher-Order Fermi-Liquid Corrections for an Anderson Impurity Away from Half Filling

Science.gov (United States)

Oguri, Akira; Hewson, A. C.

2018-03-01

We study the higher-order Fermi-liquid relations of Kondo systems for arbitrary impurity-electron fillings, extending the many-body quantum theoretical approach of Yamada and Yosida. It includes, partly, a microscopic clarification of the related achievements based on Nozières' phenomenological description: Filippone, Moca, von Delft, and Mora [Phys. Rev. B 95, 165404 (2017), 10.1103/PhysRevB.95.165404]. In our formulation, the Fermi-liquid parameters such as the quasiparticle energy, damping, and transport coefficients are related to each other through the total vertex Γσ σ';σ'σ(ω ,ω';ω',ω ), which may be regarded as a generalized Landau quasiparticle interaction. We obtain exactly this function up to linear order with respect to the frequencies ω and ω' using the antisymmetry and analytic properties. The coefficients acquire additional contributions of three-body fluctuations away from half filling through the nonlinear susceptibilities. We also apply the formulation to nonequilibrium transport through a quantum dot, and clarify how the zero-bias peak evolves in a magnetic field.

Higher-Order Fermi-Liquid Corrections for an Anderson Impurity Away from Half Filling.

Science.gov (United States)

Oguri, Akira; Hewson, A C

2018-03-23

We study the higher-order Fermi-liquid relations of Kondo systems for arbitrary impurity-electron fillings, extending the many-body quantum theoretical approach of Yamada and Yosida. It includes, partly, a microscopic clarification of the related achievements based on Nozières' phenomenological description: Filippone, Moca, von Delft, and Mora [Phys. Rev. B 95, 165404 (2017)PRBMDO2469-995010.1103/PhysRevB.95.165404]. In our formulation, the Fermi-liquid parameters such as the quasiparticle energy, damping, and transport coefficients are related to each other through the total vertex Γ_{σσ^{'};σ^{'}σ}(ω,ω^{'};ω^{'},ω), which may be regarded as a generalized Landau quasiparticle interaction. We obtain exactly this function up to linear order with respect to the frequencies ω and ω^{'} using the antisymmetry and analytic properties. The coefficients acquire additional contributions of three-body fluctuations away from half filling through the nonlinear susceptibilities. We also apply the formulation to nonequilibrium transport through a quantum dot, and clarify how the zero-bias peak evolves in a magnetic field.

Higher-order Bessel like beams with z-dependent cone angles

CSIR Research Space (South Africa)

Ismail, Y

2010-08-01

Full Text Available .64.81.22. Terms of Use: http://spiedl.org/terms Fig.5: Optical design to generate z-dependent Bessel-like beams 4. CONSIDERING A MATHEMATICAL APPROACH TO EXPLAINING Z-DEPENDENT BLB?S The stationary phase method is implemented in order to confirm... on higher-order z-dependent BLB?s [6]. 5. EXPERIMENTALLY GENERATED Z-DEPENDENT BESSEL-LIKE BEAMS From the above in can be deduced that these beams are Bessel-like hence they are so named z-dependent Bessel-like beams. These beams are produced however...

Higher-order radiative corrections for b b ¯→H-W+

Science.gov (United States)

Kidonakis, Nikolaos

2018-02-01

I present higher-order radiative corrections from collinear and soft-gluon emission for the associated production of a charged Higgs boson with a W boson. The calculation uses expressions from resummation at next-to-leading-logarithm accuracy. From the resummed cross section I derive analytical formulas at approximate next-to-next-to-leading order and next-to-next-to-next-to-leading order. Total cross sections are presented for the process b b ¯→H-W+ at various LHC energies. The transverse momentum and rapidity distributions of the charged Higgs boson are also calculated.

Higher-order schemes for the Laplace transformation method for parabolic problems

KAUST Repository

Douglas, C.

2011-01-01

In this paper we solve linear parabolic problems using the three stage noble algorithms. First, the time discretization is approximated using the Laplace transformation method, which is both parallel in time (and can be in space, too) and extremely high order convergent. Second, higher-order compact schemes of order four and six are used for the the spatial discretization. Finally, the discretized linear algebraic systems are solved using multigrid to show the actual convergence rate for numerical examples, which are compared to other numerical solution methods. © 2011 Springer-Verlag.

Foundational (co)datatypes and (co)recursion for higher-order logic

NARCIS (Netherlands)

Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy; Dixon, C.; Finger, M.

2017-01-01

We describe a line of work that started in 2011 towards enriching Isabelle/HOL’s language with coinductive datatypes, which allow infinite values, and with a more expressive notion of inductive datatype than previously supported by any system based on higher-order logic. These (co)datatypes are

Superpositions of higher-order bessel beams and nondiffracting speckle fields

CSIR Research Space (South Africa)

Dudley, Angela L

2009-08-01

Full Text Available speckle fields. The paper reports on illuminating a ring slit aperture with light which has an azimuthal phase dependence, such that the field produced is a superposition of two higher-order Bessel beams. In the case that the phase dependence of the light...

Authentic Instruction for 21st Century Learning: Higher Order Thinking in an Inclusive School

Science.gov (United States)

Preus, Betty

2012-01-01

The author studied a public junior high school identified as successfully implementing authentic instruction. Such instruction emphasizes higher order thinking, deep knowledge, substantive conversation, and value beyond school. To determine in what ways higher order thinking was fostered both for students with and without disabilities, the author…

Resilience and Higher Order Thinking

Directory of Open Access Journals (Sweden)

Ioan Fazey

2010-09-01

Full Text Available To appreciate, understand, and tackle chronic global social and environmental problems, greater appreciation of the importance of higher order thinking is required. Such thinking includes personal epistemological beliefs (PEBs, i.e., the beliefs people hold about the nature of knowledge and how something is known. These beliefs have profound implications for the way individuals relate to each other and the world, such as how people understand complex social-ecological systems. Resilience thinking is an approach to environmental stewardship that includes a number of interrelated concepts and has strong foundations in systemic ways of thinking. This paper (1 summarizes a review of educational psychology literature on PEBs, (2 explains why resilience thinking has potential to facilitate development of more sophisticated PEBs, (3 describes an example of a module designed to teach resilience thinking to undergraduate students in ways conducive to influencing PEBs, and (4 discusses a pilot study that evaluates the module's impact. Theoretical and preliminary evidence from the pilot evaluation suggests that resilience thinking which is underpinned by systems thinking has considerable potential to influence the development of more sophisticated PEBs. To be effective, however, careful consideration of how resilience thinking is taught is required. Finding ways to encourage students to take greater responsibility for their own learning and ensuring close alignment between assessment and desired learning outcomes are particularly important.

Robust rooftop extraction from visible band images using higher order CRF

KAUST Repository

Li, Er

2015-08-01

In this paper, we propose a robust framework for building extraction in visible band images. We first get an initial classification of the pixels based on an unsupervised presegmentation. Then, we develop a novel conditional random field (CRF) formulation to achieve accurate rooftops extraction, which incorporates pixel-level information and segment-level information for the identification of rooftops. Comparing with the commonly used CRF model, a higher order potential defined on segment is added in our model, by exploiting region consistency and shape feature at segment level. Our experiments show that the proposed higher order CRF model outperforms the state-of-the-art methods both at pixel and object levels on rooftops with complex structures and sizes in challenging environments. © 1980-2012 IEEE.

The invariance of second-order functionals revisited

International Nuclear Information System (INIS)

Battezzati, M.

1984-01-01

In this paper some invariance properties of certain homogeneous functional forms of perturbative second-order energies with respect to transformations on the arguments are briefly considered. It has been shown that, if this energy is regarded as an Hamiltonian governing the time evolution of the arguments, which are the components of the first-order perturbed functions, the x and y couples play naturally the role of canonically conjugated co-ordinates and momenta. A search has been made for those linear transformations on these functions which preserve the above duality or reciprocity relations. It has been found that certain canonical transformations are of this type. In particular, the spinorial covariant-contravariant transformations for rotations in four-dimensional space-time

An Investigation of Higher-Order Thinking Skills in Smaller Learning Community Social Studies Classrooms

Science.gov (United States)

Fischer, Christopher; Bol, Linda; Pribesh, Shana

2011-01-01

This study investigated the extent to which higher-order thinking skills are promoted in social studies classes in high schools that are implementing smaller learning communities (SLCs). Data collection in this mixed-methods study included classroom observations and in-depth interviews. Findings indicated that higher-order thinking was rarely…

Pseudo Boolean Programming for Partially Ordered Genomes

Science.gov (United States)

Angibaud, Sébastien; Fertin, Guillaume; Thévenin, Annelyse; Vialette, Stéphane

Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, number of adjacencies, number of reversals, etc. These measures are classically used between two totally ordered genomes. However, genetic mapping techniques often give rise to different maps with some unordered genes. Starting from a partial order between genes of a genome, one method to find a total order consists in optimizing a given measure between a linear extension of this partial order and a given total order of a close and well-known genome. However, for most common measures, the problem turns out to be NP-hard. In this paper, we propose a (0,1)-linear programming approach to compute a linear extension of one genome that maximizes the number of common intervals (resp. the number of adjacencies) between this linear extension and a given total order. Next, we propose an algorithm to find linear extensions of two partial orders that maximize the number of adjacencies.

Order functions and evaluation codes

DEFF Research Database (Denmark)

Høholdt, Tom; Pellikaan, Ruud; van Lint, Jack

1997-01-01

Based on the notion of an order function we construct and determine the parameters of a class of error-correcting evaluation codes. This class includes the one-point algebraic geometry codes as wella s the generalized Reed-Muller codes and the parameters are detremined without using the heavy...... machinery of algebraic geometry....

Higher-Order Wavefront Aberrations for Populations of Young Emmetropes and Myopes

Directory of Open Access Journals (Sweden)

Jinhua Bao

2009-01-01

Conclusions: Human eyes have systematical higher order aberrations in population, and factors that cause bilateral symmetry of wavefront aberrations between the right and left eyes made important contribution to the systematical aberrations.

A Content Analysis of General Chemistry Laboratory Manuals for Evidence of Higher-Order Cognitive Tasks

Science.gov (United States)

Domin, Daniel S.

1999-01-01

The science laboratory instructional environment is ideal for fostering the development of problem-solving, manipulative, and higher-order thinking skills: the skills needed by today's learner to compete in an ever increasing technology-based society. This paper reports the results of a content analysis of ten general chemistry laboratory manuals. Three experiments from each manual were examined for evidence of higher-order cognitive activities. Analysis was based upon the six major cognitive categories of Bloom's Taxonomy of Educational Objectives: knowledge, comprehension, application, analysis, synthesis, and evaluation. The results of this study show that the overwhelming majority of general chemistry laboratory manuals provide tasks that require the use of only the lower-order cognitive skills: knowledge, comprehension, and application. Two of the laboratory manuals were disparate in having activities that utilized higher-order cognition. I describe the instructional strategies used within these manuals to foster higher-order cognitive development.

Group-ICA model order highlights patterns of functional brain connectivity

Directory of Open Access Journals (Sweden)

Ahmed eAbou Elseoud

2011-06-01

Full Text Available Resting-state networks (RSNs can be reliably and reproducibly detected using independent component analysis (ICA at both individual subject and group levels. Altering ICA dimensionality (model order estimation can have a significant impact on the spatial characteristics of the RSNs as well as their parcellation into sub-networks. Recent evidence from several neuroimaging studies suggests that the human brain has a modular hierarchical organization which resembles the hierarchy depicted by different ICA model orders. We hypothesized that functional connectivity between-group differences measured with ICA might be affected by model order selection. We investigated differences in functional connectivity using so-called dual-regression as a function of ICA model order in a group of unmedicated seasonal affective disorder (SAD patients compared to normal healthy controls. The results showed that the detected disease-related differences in functional connectivity alter as a function of ICA model order. The volume of between-group differences altered significantly as a function of ICA model order reaching maximum at model order 70 (which seems to be an optimal point that conveys the largest between-group difference then stabilized afterwards. Our results show that fine-grained RSNs enable better detection of detailed disease-related functional connectivity changes. However, high model orders show an increased risk of false positives that needs to be overcome. Our findings suggest that multilevel ICA exploration of functional connectivity enables optimization of sensitivity to brain disorders.

FITS: a function-fitting program

Energy Technology Data Exchange (ETDEWEB)

Balestrini, S.J.; Chezem, C.G.

1982-08-01

FITS is an iterating computer program that adjusts the parameters of a function to fit a set of data points according to the least squares criterion and then lists and plots the results. The function can be programmed or chosen from a library that is provided. The library can be expanded to include up to 99 functions. A general plotting routine, contained in the program but useful in its own right, is described separately in Appendix A. An example problem file and its solution is given in Appendix B.

Behaviour at x = 0,1, sum rules and parametrizations for structure functions beyond the leading order

International Nuclear Information System (INIS)

Lopez, C.

1981-01-01

We write the simplest possible parametrizations of deep inelastic structure functions which satisfy the following requirements: (i) exact compatibility with QCD at the endpoints x = 0,1, to second order; (ii) fulfilment of sum rules to second order; (iii) leading and subleading Regge behaviour. In all we find that, including the QCD scale Λ, such parametrizations describe in a simple manner the three standard functions W 1 , W 2 , W 3 for all x, Q 2 in terms of four to six parameters only (two more if allowing for higher twists). (orig.)

Glucocorticoid programming of neuroimmune function.

Science.gov (United States)

Walker, David J; Spencer, Karen A

2018-01-15

Throughout life physiological systems strive to maintain homeostasis and these systems are susceptible to exposure to maternal or environmental perturbations, particularly during embryonic development. In some cases, these perturbations may influence genetic and physiological processes that permanently alter the functioning of these physiological systems; a process known as developmental programming. In recent years, the neuroimmune system has garnered attention for its fundamental interactions with key hormonal systems, such as the hypothalamic pituitary adrenal (HPA) axis. The ultimate product of this axis, the glucocorticoid hormones, play a key role in modulating immune responses within the periphery and the CNS as part of the physiological stress response. It is well-established that elevated glucocorticoids induced by developmental stress exert profound short and long-term physiological effects, yet there is relatively little information of how these effects are manifested within the neuroimmune system. Pre and post-natal periods are prime candidates for manipulation in order to uncover the physiological mechanisms that underlie glucocorticoid programming of neuroimmune responses. Understanding the potential programming role of glucocorticoids may be key in uncovering vulnerable windows of CNS susceptibility to stressful experiences during embryonic development and improve our use of glucocorticoids as therapeutics in the treatment of neurodegenerative diseases. Crown Copyright © 2017. Published by Elsevier Inc. All rights reserved.

Approximation of Analytic Functions by Bessel's Functions of Fractional Order

Directory of Open Access Journals (Sweden)

Soon-Mo Jung

2011-01-01

Full Text Available We will solve the inhomogeneous Bessel's differential equation x2y″(x+xy′(x+(x2-ν2y(x=∑m=0∞amxm, where ν is a positive nonintegral number and apply this result for approximating analytic functions of a special type by the Bessel functions of fractional order.

Modeling Human Behaviour with Higher Order Logic: Insider Threats

DEFF Research Database (Denmark)

Boender, Jaap; Ivanova, Marieta Georgieva; Kammuller, Florian

2014-01-01

it to the sociological process of logical explanation. As a case study on modeling human behaviour, we present the modeling and analysis of insider threats as a Higher Order Logic theory in Isabelle/HOL. We show how each of the three step process of sociological explanation can be seen in our modeling of insider’s state......, its context within an organisation and the effects on security as outcomes of a theorem proving analysis....

Ask-Elle: An Adaptable Programming Tutor for Haskell Giving Automated Feedback

Science.gov (United States)

Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas

2017-01-01

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more…

Higher order multi-term time-fractional partial differential equations involving Caputo-Fabrizio derivative

OpenAIRE

Erkinjon Karimov; Sardor Pirnafasov

2017-01-01

In this work we discuss higher order multi-term partial differential equation (PDE) with the Caputo-Fabrizio fractional derivative in time. Using method of separation of variables, we reduce fractional order partial differential equation to the integer order. We represent explicit solution of formulated problem in particular case by Fourier series.

Asymptotic estimates and exponential stability for higher-order monotone difference equations

Directory of Open Access Journals (Sweden)

Pituk Mihály

2005-01-01

Full Text Available Asymptotic estimates are established for higher-order scalar difference equations and inequalities the right-hand sides of which generate a monotone system with respect to the discrete exponential ordering. It is shown that in some cases the exponential estimates can be replaced with a more precise limit relation. As corollaries, a generalization of discrete Halanay-type inequalities and explicit sufficient conditions for the global exponential stability of the zero solution are given.

Asymptotic estimates and exponential stability for higher-order monotone difference equations

Directory of Open Access Journals (Sweden)

Mihály Pituk

2005-03-01

Full Text Available Asymptotic estimates are established for higher-order scalar difference equations and inequalities the right-hand sides of which generate a monotone system with respect to the discrete exponential ordering. It is shown that in some cases the exponential estimates can be replaced with a more precise limit relation. As corollaries, a generalization of discrete Halanay-type inequalities and explicit sufficient conditions for the global exponential stability of the zero solution are given.

A Derivational Approach to the Operational Semantics of Functional Languages

DEFF Research Database (Denmark)

Biernacka, Malgorzata

We study the connections between different forms of operational semantics for functional programming languages and we present systematic methods of interderiving reduction semantics, abstract machines and higher-order evaluators. We first consider two methods based on program transformations: a s...

Static Analysis of Laminated Composite Plate using New Higher Order Shear Deformation Plate Theory

Directory of Open Access Journals (Sweden)

Ibtehal Abbas Sadiq

2017-02-01

Full Text Available In the present work a theoretical analysis depending on the new higher order . element in shear deformation theory for simply supported cross-ply laminated plate is developed. The new displacement field of the middle surface expanded as a combination of exponential and trigonometric function of thickness coordinate with the transverse displacement taken to be constant through the thickness. The governing equations are derived using Hamilton’s principle and solved using Navier solution method to obtain the deflection and stresses under uniform sinusoidal load. The effect of many design parameters such as number of laminates, aspect ratio and thickness ratio on static behavior of the laminated composite plate has been studied. The modal of the present work has been verified by comparing the results of shape functions with that were obtained by other workers. Result shows the good agreement with 3D elasticity solution and that published by other researchers.

xF 3( x,Q 2) Structure Function and Gross-Llewellyn Smith Sum Rule with Nuclear Effect and Higher Twist Correction

International Nuclear Information System (INIS)

Nath, N.M.; Mukharjee, A.; Das, M.K.; Sarma, J.K.

2016-01-01

We present an analysis of the xF 3 (x,Q 2 ) structure function and Gross-Llewellyn Smith(GLS) sum rule taking into account the nuclear effects and higher twist correction. This analysis is based on the results presented in [N.M. Nath, et al, Indian J. Phys. 90 (2016) 117]. The corrections due to nuclear effects predicted in several earlier analysis are incorporated to our results of xF 3 (x,Q 2 ) structure function and GLS sum rule for free nucleon, corrected upto next-next-to-leading order (NNLO) perturbative order and calculate the nuclear structure function as well as sum rule for nuclei. In addition, by means of a simple model we have extracted the higher twist contributions to the non-singlet structure function xF 3 (x,Q 2 ) and GLS sum rule in NNLO perturbative orders and then incorporated them to our results. Our NNLO results along with nuclear effect and higher twist corrections are observed to be compatible with corresponding experimental data and other phenomenological analysis. (paper)

On a higher order multi-term time-fractional partial differential equation involving Caputo-Fabrizio derivative

OpenAIRE

Pirnapasov, Sardor; Karimov, Erkinjon

2017-01-01

In the present work we discuss higher order multi-term partial differential equation (PDE) with the Caputo-Fabrizio fractional derivative in time. We investigate a boundary value problem for fractional heat equation involving higher order Caputo-Fabrizio derivatives in time-variable. Using method of separation of variables and integration by parts, we reduce fractional order PDE to the integer order. We represent explicit solution of formulated problem in particular case by Fourier series.

Ultra-compact broadband higher order-mode pass filter fabricated in a silicon waveguide for multimode photonics

DEFF Research Database (Denmark)

Guan, Xiaowei; Ding, Yunhong; Frandsen, Lars Hagedorn

2015-01-01

An ultra-compact and broadband higher order-mode pass filter in a 1D photonic crystal silicon waveguide is proposed and experimentally demonstrated. The photonic crystal is designed for the lower order mode to work in the photonic band gap, while the higher order mode is located in the air band....... Consequently, light on the lower order mode is prohibited to pass through the filter, while light on a higher order mode can be converted to a Bloch mode in the photonic crystal and pass through the filter with low insertion loss. As an example, we fabricate a similar to 15-mu m-long first-order-mode pass...

Dynamics of massless higher spins in the second order in curvatures

Energy Technology Data Exchange (ETDEWEB)

Vasiliev, M A [International Centre for Theoretical Physics, Trieste (Italy)

1990-04-05

The consistent equations of motion of interacting massless fields of all spins s=0, 1/2, 1, ..., {infinity} are constructed explicitly to the second order of the expansion in powers of the higher spin strengths. (orig.).

Optimizing students’ scientific communication skills through higher order thinking virtual laboratory (HOTVL)

Science.gov (United States)

Sapriadil, S.; Setiawan, A.; Suhandi, A.; Malik, A.; Safitri, D.; Lisdiani, S. A. S.; Hermita, N.

2018-05-01

Communication skill is one skill that is very needed in this 21st century. Preparing and teaching this skill in teaching physics is relatively important. The focus of this research is to optimizing of students’ scientific communication skills after the applied higher order thinking virtual laboratory (HOTVL) on topic electric circuit. This research then employed experimental study particularly posttest-only control group design. The subject in this research involved thirty senior high school students which were taken using purposive sampling. A sample of seventy (70) students participated in the research. An equivalent number of thirty five (35) students were assigned to the control and experimental group. The results of this study found that students using higher order thinking virtual laboratory (HOTVL) in laboratory activities had higher scientific communication skills than students who used the verification virtual lab.

Numerical simulation of stratified shear flow using a higher order Taylor series expansion method

Energy Technology Data Exchange (ETDEWEB)

Iwashige, Kengo; Ikeda, Takashi [Hitachi, Ltd. (Japan)

1995-09-01

A higher order Taylor series expansion method is applied to two-dimensional numerical simulation of stratified shear flow. In the present study, central difference scheme-like method is adopted for an even expansion order, and upwind difference scheme-like method is adopted for an odd order, and the expansion order is variable. To evaluate the effects of expansion order upon the numerical results, a stratified shear flow test in a rectangular channel (Reynolds number = 1.7x10{sup 4}) is carried out, and the numerical velocity and temperature fields are compared with experimental results measured by laser Doppler velocimetry thermocouples. The results confirm that the higher and odd order methods can simulate mean velocity distributions, root-mean-square velocity fluctuations, Reynolds stress, temperature distributions, and root-mean-square temperature fluctuations.

Higher Order Modes Excitation of Micro Cantilever Beams

KAUST Repository

Jaber, Nizar

2014-05-01

In this study, we present analytical and experimental investigation of electrically actuated micro cantilever based resonators. These devices are fabricated using polyimide and coated with chrome and gold layers from both sides. The cantilevers are highly curled up due to stress gradient, which is a common imperfection in surface micro machining. Using a laser Doppler vibrometer, we applied a noise signal to experimentally find the first four resonance frequencies. Then, using a data acquisition card, we swept the excitation frequency around the first four natural modes of vibrations. Theoretically, we derived a reduced order model using the Galerkin method to simulate the dynamics of the system. Extensive numerical analysis and computations were performed. The numerical analysis was able to provide good matching with experimental values of the resonance frequencies. Also, we proved the ability to excite higher order modes using partial electrodes with shapes that resemble the shape of the mode of interest. Such micro-resonators are shown to be promising for applications in mass and gas sensing.

Higher-order gravity and the classical equivalence principle

Science.gov (United States)

Accioly, Antonio; Herdy, Wallace

2017-11-01

As is well known, the deflection of any particle by a gravitational field within the context of Einstein’s general relativity — which is a geometrical theory — is, of course, nondispersive. Nevertheless, as we shall show in this paper, the mentioned result will change totally if the bending is analyzed — at the tree level — in the framework of higher-order gravity. Indeed, to first order, the deflection angle corresponding to the scattering of different quantum particles by the gravitational field mentioned above is not only spin dependent, it is also dispersive (energy-dependent). Consequently, it violates the classical equivalence principle (universality of free fall, or equality of inertial and gravitational masses) which is a nonlocal principle. However, contrary to popular belief, it is in agreement with the weak equivalence principle which is nothing but a statement about purely local effects. It is worthy of note that the weak equivalence principle encompasses the classical equivalence principle locally. We also show that the claim that there exists an incompatibility between quantum mechanics and the weak equivalence principle, is incorrect.

Exploratory Movement Generates Higher-Order Information That Is Sufficient for Accurate Perception of Scaled Egocentric Distance

Science.gov (United States)

Mantel, Bruno; Stoffregen, Thomas A.; Campbell, Alain; Bardy, Benoît G.

2015-01-01

Body movement influences the structure of multiple forms of ambient energy, including optics and gravito-inertial force. Some researchers have argued that egocentric distance is derived from inferential integration of visual and non-visual stimulation. We suggest that accurate information about egocentric distance exists in perceptual stimulation as higher-order patterns that extend across optics and inertia. We formalize a pattern that specifies the egocentric distance of a stationary object across higher-order relations between optics and inertia. This higher-order parameter is created by self-generated movement of the perceiver in inertial space relative to the illuminated environment. For this reason, we placed minimal restrictions on the exploratory movements of our participants. We asked whether humans can detect and use the information available in this higher-order pattern. Participants judged whether a virtual object was within reach. We manipulated relations between body movement and the ambient structure of optics and inertia. Judgments were precise and accurate when the higher-order optical-inertial parameter was available. When only optic flow was available, judgments were poor. Our results reveal that participants perceived egocentric distance from the higher-order, optical-inertial consequences of their own exploratory activity. Analysis of participants’ movement trajectories revealed that self-selected movements were complex, and tended to optimize availability of the optical-inertial pattern that specifies egocentric distance. We argue that accurate information about egocentric distance exists in higher-order patterns of ambient energy, that self-generated movement can generate these higher-order patterns, and that these patterns can be detected and used to support perception of egocentric distance that is precise and accurate. PMID:25856410

Higher-order topological insulators and superconductors protected by inversion symmetry

Science.gov (United States)

Khalaf, Eslam

2018-05-01

We study surface states of topological crystalline insulators and superconductors protected by inversion symmetry. These fall into the category of "higher-order" topological insulators and superconductors which possess surface states that propagate along one-dimensional curves (hinges) or are localized at some points (corners) on the surface. We provide a complete classification of inversion-protected higher-order topological insulators and superconductors in any spatial dimension for the 10 symmetry classes by means of a layer construction. We discuss possible physical realizations of such states starting with a time-reversal-invariant topological insulator (class AII) in three dimensions or a time-reversal-invariant topological superconductor (class DIII) in two or three dimensions. The former exhibits one-dimensional chiral or helical modes propagating along opposite edges, whereas the latter hosts Majorana zero modes localized to two opposite corners. Being protected by inversion, such states are not pinned to a specific pair of edges or corners, thus offering the possibility of controlling their location by applying inversion-symmetric perturbations such as magnetic field.

Dynamics of massless higher spins in the second order in curvatures

International Nuclear Information System (INIS)

Vasiliev, M.A.

1989-08-01

The consistent equations of motion of interacting fields of all spins s=0,1/2,1...∞ are constructed explicitly to the second order of the expansion in powers of the higher spin strengths. (author). 14 refs

Method of applying single higher order polynomial basis function over multiple domains

CSIR Research Space (South Africa)

Lysko, AA

2010-03-01

Full Text Available . Derivation of the computational complexity in terms of oating point operations (FLOP) showed a possible speed gain nearly an order of the number of unknowns of direct MoM. 1. INTRODUCTION The process of numerical electromagnetic modeling may be split... into several stages [1], including geometry representation/modeling, representation/modeling of the current distribution, solution of the equations, and computation of the radiation and other parameters. A dominant majority of existing theoretical frameworks...

Ynot: Depent Types for Imperative Programs

DEFF Research Database (Denmark)

Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avi

2008-01-01

We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. Coq already includes a powerful functional language that supports dependent types, but that language is limited to pure...

Higher order multi-term time-fractional partial differential equations involving Caputo-Fabrizio derivative

Directory of Open Access Journals (Sweden)

Erkinjon Karimov

2017-10-01

Full Text Available In this work we discuss higher order multi-term partial differential equation (PDE with the Caputo-Fabrizio fractional derivative in time. Using method of separation of variables, we reduce fractional order partial differential equation to the integer order. We represent explicit solution of formulated problem in particular case by Fourier series.

Higher-order Peregrine combs and Peregrine walls for the variable-coefficient Lenells-Fokas equation

Science.gov (United States)

Wang, Zi-Qi; Wang, Xin; Wang, Lei; Sun, Wen-Rong; Qi, Feng-Hua

2017-02-01

In this paper, we study the variable-coefficient Lenells-Fokas (LF) model. Under large periodic modulations in the variable coefficients of the LF model, the generalized Akhmediev breathers develop into the breather multiple births (BMBs) from which we obtain the Peregrine combs (PCs). The PCs can be considered as the limiting case of the BMBs and be transformed into the Peregrine walls (PWs) with a specific amplitude of periodic modulation. We further investigate the spatiotemporal characteristics of the PCs and PWs analytically. Based on the second-order breather and rogue-wave solutions, we derive the corresponding higher-order structures (higher-order PCs and PWs) under proper periodic modulations. What is particularly noteworthy is that the second-order PC can be converted into the Peregrine pyramid which exhibits the higher amplitude and thickness. Our results could be helpful for the design of experiments in the optical fiber communications.

Threshold resummation and higher order effects in QCD

International Nuclear Information System (INIS)

Ringer, Felix Maximilian

2015-01-01

Quantum chromodynamics (QCD) is a quantum field theory that describes the strong interactions between quarks and gluons, the building blocks of all hadrons. Thanks to the experimental progress over the past decades, there has been an ever-growing need for QCD precision calculations for scattering processes involving hadrons. For processes at large momentum transfer, perturbative QCD offers a systematic approach for obtaining precise predictions. This approach relies on two key concepts: the asymptotic freedom of QCD and factorization. In a perturbative calculation at higher orders, the infrared cancellation between virtual and real emission diagrams generally leaves behind logarithmic contributions. In many observables relevant for hadronic scattering these logarithms are associated with a kinematic threshold and are hence known as ''threshold logarithms''. They become large when the available phase space for real gluon emission shrinks. In order to obtain a reliable prediction from QCD, the threshold logarithms need to be taken into account to all orders in the strong coupling constant, a procedure known as ''threshold resummation''. The main focus of my PhD thesis is on studies of QCD threshold resummation effects beyond the next-to-leading logarithmic order. Here we primarily consider the production of hadron pairs in hadronic collisions as an example. In addition, we also consider hadronic jet production, which is particularly interesting for the phenomenology at the LHC. For both processes, we fully take into account the non-trivial QCD color structure of the underlying partonic hard- scattering cross sections. We find that threshold resummation leads to sizable numerical effects in the kinematic regimes relevant for comparisons to experimental data.

Higher-order asymptotic homogenization of periodic materials with low scale separation

NARCIS (Netherlands)

Ameen, M.M.; Peerlings, R.H.J.; Geers, M.G.D

2016-01-01

In this work, we investigate the limits of classical homogenization theories pertaining to homogenization of periodic linear elastic composite materials at low scale separations and demonstrate the effectiveness of higher-order periodic homogenization in alleviating this limitation. Classical

Generalized second-order Coulomb phase shift functions

International Nuclear Information System (INIS)

Rosendorff, S.

1982-01-01

Some specific properties and the evaluation of the generalized second-order Coulomb phase shift functions (two-dimensional integrals of four spherical cylinder functions) are discussed. The dependence on the three momenta k 1 ,k-bar,k 2 , corresponding to the final, intermediate, and initial states is illustrated

A novel algebraic procedure for solving non-linear evolution equations of higher order

International Nuclear Information System (INIS)

Huber, Alfred

2007-01-01

We report here a systematic approach that can easily be used for solving non-linear partial differential equations (nPDE), especially of higher order. We restrict the analysis to the so called evolution equations describing any wave propagation. The proposed new algebraic approach leads us to traveling wave solutions and moreover, new class of solution can be obtained. The crucial step of our method is the basic assumption that the solutions satisfy an ordinary differential equation (ODE) of first order that can be easily integrated. The validity and reliability of the method is tested by its application to some non-linear evolution equations. The important aspect of this paper however is the fact that we are able to calculate distinctive class of solutions which cannot be found in the current literature. In other words, using this new algebraic method the solution manifold is augmented to new class of solution functions. Simultaneously we would like to stress the necessity of such sophisticated methods since a general theory of nPDE does not exist. Otherwise, for practical use the algebraic construction of new class of solutions is of fundamental interest

Star-product functions in higher-spin theory and locality

Energy Technology Data Exchange (ETDEWEB)

Vasiliev, M.A. [I.E. Tamm Department of Theoretical Physics, Lebedev Physical Institute,Leninsky prospect 53, 119991, Moscow (Russian Federation)

2015-06-04

Properties of the functional classes of star-product elements associated with higher-spin gauge fields and gauge parameters are elaborated. Cohomological interpretation of the nonlinear higher-spin equations is given. An algebra ℋ, where solutions of the nonlinear higher-spin equations are valued, is found. A conjecture on the classes of star-product functions underlying (non)local maps and gauge transformations in the nonlinear higher-spin theory is proposed.

First Measurements of Higher Order Optics Parameters in the LHC

CERN Document Server

Vanbavinckhove, G; Bartolini, R; Calaga, R; Giovannozzi, M; Maclean, E H; Miyamoto, R; Schmidt, F; Tomas, R

2011-01-01

Higher order effects can play an important role in the performance of the LHC. Lack of knowledge of these pa- rameters can increase the tune footprint and compromise the beam lifetime. First measurements of these parameters at injection and flattop have been conducted. Detailed sim- ulations are compared to the measurements together with discussions on the measurement limitations.

Development of higher order mode couplers at Cornell

International Nuclear Information System (INIS)

Amato, J.C.

1988-01-01

Higher order mode (HOM) couplers are integral parts of a superconducting accelerator cavity. The damping which the couplers must provide is dictated by the frequency and shunt impedance of the cavity modes as well as by the stability requirements of the accelerator incorporating the cavities. Cornell's 5-cell 1500 MHz elliptical cavity was designed for use in a 50 x 50 GeV electron-positron storage ring with a total beam current of 3.5 mA (CESR-II). HOM couplers for the Cornell cavity were designed and evaluated with this machine in mind. The development of these couplers is described in this paper. 8 references, 8 figures

Higher order branching of periodic orbits from polynomial isochrones

Directory of Open Access Journals (Sweden)

B. Toni

1999-09-01

Full Text Available We discuss the higher order local bifurcations of limit cycles from polynomial isochrones (linearizable centers when the linearizing transformation is explicitly known and yields a polynomial perturbation one-form. Using a method based on the relative cohomology decomposition of polynomial one-forms complemented with a step reduction process, we give an explicit formula for the overall upper bound of branch points of limit cycles in an arbitrary $n$ degree polynomial perturbation of the linear isochrone, and provide an algorithmic procedure to compute the upper bound at successive orders. We derive a complete analysis of the nonlinear cubic Hamiltonian isochrone and show that at most nine branch points of limit cycles can bifurcate in a cubic polynomial perturbation. Moreover, perturbations with exactly two, three, four, six, and nine local families of limit cycles may be constructed.

Predictors of third and Higher order births in India

Directory of Open Access Journals (Sweden)

Payal Singh

2015-12-01

Full Text Available Background: Total fertility rate (TFR reflecting population growth is closely related to higher order parity progression. Many Indian states reached replacement level of TFR, but still states constituting nearly 40% population are with TFR ≥ 3. The predictors are the desire of son’s, poor contraceptives practices, younger age at marriage, child loss and shorter birth spacing. Objective: This analysis assessed the degree of relation of 3rd and higher order parity progression with the above mentioned predictors. Material and Methods: State/Union Territories wise proportions of women: progressing to ≥3 births, more sons desire, birth spacing <24 months, adopting modern contraception and median marriage age <18 years along with infant mortality rate (IMR were taken from NFHS-III report. Correlation matrix and stepwise forward multiple regression carried. Significance was seen at 5%. Results: Hindi speaking states constituting 38.92% nation population recorded TFR ≥3. Positive correlation of mothers progressing ≥ 3 births was highest (0.746 with those desiring more sons followed by IMR (0.445; while maximum negative correlation with those practicing modern contraceptives (-0.565 followed by median age at marriage (-0.391. Multiple regression analysis in order identified desire of more sons, practicing modern contraception and shorter birth spacing as the significant predictors and jointly explained 77.9% of the total variation with gain of 15.5% by adding modern contraceptive practice and 8.3% by adding shorter birth spacing. Conclusions: Desire of more sons appeared the most important predictor to progress ≥3 births that is governed by society culture and educational attainment, require attitudinal change. Further, mothers need motivation to practice both spacing and terminal methods once family is complete.

Implementation of Order-wire Functionality in IRITEL NG-SDH devices

Directory of Open Access Journals (Sweden)

D. Katanić

2011-06-01

Full Text Available This paper describes the implementation of order-wire functionality in NG-SDH devices ODS2G5 and OTS622 IRITEL. The paper also describes the operation of order-wire in networks with arbitrary topologies, as well as the configuration of order-wire functionality by using network management software SUNCE. The presented solution for order-wire functionality is compared with VoIP solutions. The paper shows that the presented solution provides fast reaction to network failures, while keeping the implementation simple.

A survey of functional programming language principles

Science.gov (United States)

Holloway, C. M.

1986-01-01

Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.