Log in

Relevant bibliographies by topics / Higher order

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Higher order'

Author: Grafiati

Published: 4 June 2021

Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Higher order.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Higher order"

1

Hellie, Benj. "Higher-Order Intentionality and Higher-Order Acquaintance." Philosophical Studies 134, no. 3 (2006): 289–324. http://dx.doi.org/10.1007/s11098-005-0241-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Alshammari, Hadi Obaid. "Higher order hyperexpansivity and higher order hypercontractivity." AIMS Mathematics 8, no. 11 (2023): 27227–40. http://dx.doi.org/10.3934/math.20231393.

Full text

Abstract:

<abstract><p>As a natural extension of the concept of $ (m, p) $-hyperexpansive and $ (m, p) $-hypercontractive of a single operator, we introduce and study the concepts of $ (m, p) $-hyperexpansivity and $ (m, p) $-hypercontractivity for $ d $-tuple of commuting operators acting on Banach spaces. These concepts extend the definitions of $ m $-isometries and $ (m, p) $-isometric tuples of bounded linear operators acting on Hilbert or Banach spaces, which have been introduced and studied by many authors.</p></abstract>

APA, Harvard, Vancouver, ISO, and other styles

3

Trémolet, Yannick. "First-order and higher-order approximations of observation impact." Meteorologische Zeitschrift 16, no. 6 (2007): 693–94. http://dx.doi.org/10.1127/0941-2948/2007/0258.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pinelas, Sandra, Mohan B, and Britto Antony Xavier G. "Higher Order Fibonacci Sequence and Series by Generalized Higher Order Variable Co-Efficient Difference Operator." Journal of Computational Mathematica 1, no. 1 (2017): 112–22. http://dx.doi.org/10.26524/cm9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Penot, Jean-Paul. "Higher-Order Optimality Conditions and Higher-Order Tangent Sets." SIAM Journal on Optimization 27, no. 4 (2017): 2508–27. http://dx.doi.org/10.1137/16m1100551.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Ivanov, Vsevolod I. "Higher order invex functions and higher order pseudoinvex ones." Applicable Analysis 92, no. 10 (2013): 2152–67. http://dx.doi.org/10.1080/00036811.2012.724401.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Crampin, M., W. Sarlet, and F. Cantrijn. "Higher-order differential equations and higher-order lagrangian mechanics." Mathematical Proceedings of the Cambridge Philosophical Society 99, no. 3 (1986): 565–87. http://dx.doi.org/10.1017/s0305004100064501.

Full text

Abstract:

The study of higher-order mechanics, by various geometrical methods, in the framework of the theory of higher-order tangent bundles or jet spaces, has been undertaken by a number of authors recently: for example, Tulczyjew [16, 17], Rodrigues [14, 15] de León [8], Krupka and Musilova [11, and references therein]. In this article we wish to complement these studies by approaching the subject from a new point of view, one which we developed for second-order differential equation fields and first-order Lagrangian mechanics in [19]. In particular, our aim is to show that many of the results we obt

APA, Harvard, Vancouver, ISO, and other styles

8

Luu, Do Van. "Higher-Order Efficiency Conditions Via Higher-Order Tangent Cones." Numerical Functional Analysis and Optimization 35, no. 1 (2013): 68–84. http://dx.doi.org/10.1080/01630563.2013.809583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Padhan, Saroj Kumar, and Chandal Nahak. "Higher-order symmetric duality with higher-order generalized invexity." Journal of Applied Mathematics and Computing 48, no. 1-2 (2014): 407–20. http://dx.doi.org/10.1007/s12190-014-0810-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Wong, Kit Pong. "Comparative higher-order risk aversion and higher-order prudence." Economics Letters 169 (August 2018): 38–42. http://dx.doi.org/10.1016/j.econlet.2018.05.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Higher order"

1

KUSAKARI, Keiichirou. "Higher-Order Path Orders Based on Computability." Institute of Electronics, Information and Communication Engineers, 2004. http://hdl.handle.net/2237/14973.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Krishnaswami, Neelakantan R. "Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic." Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/164.

Full text

Abstract:

In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples. This includes both realistic patterns of higher-order imperative programming such as the subject-observer pattern, as well as examples demonstrating the use of higher-order logic to reason modularly about highly aliased data structures such as

APA, Harvard, Vancouver, ISO, and other styles

3

Schroeder, Marc A. "Higher-order Charity." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq24697.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Sultana, Nikolai. "Higher-order proof translation." Thesis, University of Cambridge, 2015. https://www.repository.cam.ac.uk/handle/1810/247345.

Full text

Abstract:

The case for interfacing logic tools together has been made countless times in the literature, but it is still an important research question. There are various logics and respective tools for carrying out formal developments, but practitioners still lament the difficulty of reliably exchanging mathematical data between tools. Writing proof-translation tools is hard. The problem has both a theoretical side (to ensure that the translation is adequate) and a practical side (to ensure that the translation is feasible and usable). Moreover, the source and target proof formats might be less documen

APA, Harvard, Vancouver, ISO, and other styles

5

Jia, Y. "Higher order mutation testing." Thesis, University College London (University of London), 2013. http://discovery.ucl.ac.uk/1401264/.

Full text

Abstract:

Mutation testing is a fault-based software testing technique that has been studied widely for over three decades. To date, work in this field has focused largely on first order mutants because it is believed that higher order mutation testing is too computationally expensive to be practical. This thesis argues that some higher order mutants are potentially better able to simulate real world faults and to reveal insights into programming bugs than the restricted class of first order mutants. This thesis proposes a higher order mutation testing paradigm which combines valuable higher order mutan

APA, Harvard, Vancouver, ISO, and other styles

6

Pal, Kamal K. "Higher order numerical methods for fractional order differential equations." Thesis, University of Chester, 2015. http://hdl.handle.net/10034/613354.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Agarwal, Sameer. "Learning from higher order relations." Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2006. http://wwwlib.umi.com/cr/ucsd/fullcit?p3210648.

Full text

Abstract:

Thesis (Ph. D.)--University of California, San Diego, 2006.<br>Title from first page of PDF file (viewed June 7, 2006). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 82-90).

APA, Harvard, Vancouver, ISO, and other styles

8

Stark, Ian David Bede. "Names and higher-order functions." Thesis, University of Cambridge, 1994. https://www.repository.cam.ac.uk/handle/1810/251879.

Full text

Abstract:

Many functional programming languages rely on the elimination of 'impure' features: assignment to variables, exceptions and even input/output. But some of these are genuinely useful, and it is of real interest to establish how they can be reintroducted in a controlled way. This dissertation looks in detail at one example of this: the addition to a functional language of dynamically generated names. Names are created fresh, they can be compared with each other and passed around, but that is all. As a very basic example of state, they capture the graduation between private and public, local and

APA, Harvard, Vancouver, ISO, and other styles

9

Keil, Roman Matthias [Verfasser], and Peter [Akademischer Betreuer] Thiemann. "Higher-order contracts for JavaScript." Freiburg : Universität, 2018. http://d-nb.info/1173615822/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Vu, Quoc Huy. "Higher-order queries and applications." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:b82abe3c-78ae-4f74-9db3-d0caec248410.

Full text

Abstract:

Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. In XML databases, higher-order functions are natural due to the close connection of XML query languages with functional programming. The thesis investigates higher-order query languages that combine higher- order transformations with ordinary database query languages. We de- fine higher-order query languages based on Relational Algebra, Monad Algebra, and XQuery. The thesis also studies basic problems for

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Higher order"

1

Steffen, Martin. Higher-order subtyping. LFCS, Dept. of Computer Science, University of Edinburgh, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Battiston, Federico, and Giovanni Petri, eds. Higher-Order Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91374-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Battiston, Federico, and Giovanni Petri, eds. Higher-Order Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91374-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Longley, John, and Dag Normann. Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ghosh, Jayanta K. Higher Order Asymptotics. Institute of Mathematical Statistics and American Statistical Association, 1994. http://dx.doi.org/10.1214/cbms/1462297300.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Dominus, Mark Jason. Higher-Order Perl. Elsevier Science, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Prehofer, Christian. Solving Higher-Order Equations. Birkhäuser Boston, 1998. http://dx.doi.org/10.1007/978-1-4612-1778-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Billings, S. A. Estimating higher order spectra. University, Dept. of Control Engineering, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Center, Ames Research, ред. Higher order Bʹezier circles. National Aeronautics and Space Administration, Ames Research Center, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

M, Guthrie D., ed. Higher order sensory processing. Manchester University Press, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Higher order"

1

Qian, Zhenyu. "Higher-order order-sorted algebras." In Algebraic and Logic Programming. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-53162-9_32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Antoy, Sergio, and Andrew Tolmach. "Typed Higher-Order Narrowing without Higher-Order Strategies." In Functional and Logic Programming. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/10705424_22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Longley, John, and Dag Normann. "Introduction and Motivations." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Longley, John, and Dag Normann. "The Partial Continuous Functionals." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Longley, John, and Dag Normann. "The Sequentially Realizable Functionals." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Longley, John, and Dag Normann. "Some Intensional Models." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Longley, John, and Dag Normann. "Related and Future Work." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Longley, John, and Dag Normann. "Historical Survey." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Longley, John, and Dag Normann. "Theory of Computability Models." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Longley, John, and Dag Normann. "Theory of λ-Algebras." In Higher-Order Computability. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47992-6_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Higher order"

1

Zhang, Yiqi, and Yaroslav V. Kartashov. "Nonlinear Higher-order Topological States and Higher-order Topological Solitons." In 2024 International Conference Laser Optics (ICLO). IEEE, 2024. http://dx.doi.org/10.1109/iclo59702.2024.10624200.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Liang, Zengyong. "Solutions of higher-order equations." In 2025 5th International Conference on Applied Mathematics, Modelling and Intelligent Computing (CAMMIC 2025), edited by Peicheng Zhu and Guihua Lin. SPIE, 2025. https://doi.org/10.1117/12.3070497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

"Workshop on Higher-order Spectral Analysis." In Workshop on Higher-Order Spectral Analysis. IEEE, 1989. http://dx.doi.org/10.1109/hosa.1989.735258.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

"Author index." In Workshop on Higher-Order Spectral Analysis. IEEE, 1989. http://dx.doi.org/10.1109/hosa.1989.735259.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Howe, Douglas J. "Higher-order abstract syntax in classical higher-order logic." In the Fourth International Workshop. ACM Press, 2009. http://dx.doi.org/10.1145/1577824.1577826.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Eliáý, Marek, and Jiõí Matouýek. "Higher-order Erdös." In the 2012 symposuim. ACM Press, 2012. http://dx.doi.org/10.1145/2261250.2261264.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Marron, Joseph C., Daniel K. Angell, and Anthony M. Tai. "Higher-order kinoforms." In OE/LASE '90, 14-19 Jan., Los Angeles, CA, edited by Ivan Cindrich and Sing H. Lee. SPIE, 1990. http://dx.doi.org/10.1117/12.17930.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Hannan, John, and Patrick Hicks. "Higher-order unCurrying." In the 25th ACM SIGPLAN-SIGACT symposium. ACM Press, 1998. http://dx.doi.org/10.1145/268946.268947.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Weiher, Marcel, and Stéphane Ducasse. "Higher order messaging." In the 2005 conference. ACM Press, 2005. http://dx.doi.org/10.1145/1146841.1146844.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Antunes, Patricia, Sandra Ferreira, and Dario Ferreira. "Higher Order Cumulants." In ICoMS 2023: 2023 6th International Conference on Mathematics and Statistics. ACM, 2023. http://dx.doi.org/10.1145/3613347.3613371.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Higher order"

1

Kedem, B. Higher Order Crossings. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada190489.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kedem, Benjamin. Higher Order Crossings. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada279597.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kyburg, Henry, and Jr. Higher Order Probabilities. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada250537.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wilson, Gary R., and Keith R. Hardwicke. Nonstationary Higher Order Spectral Analysis. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada246580.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Thompson, David C., Philippe Pierre Pebay, Richard H. Crawford, and Rahul Vinay Khardekar. Visualization of higher order finite elements. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/919127.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kolda, Tamara Gibson. Multilinear operators for higher-order decompositions. Office of Scientific and Technical Information (OSTI), 2006. http://dx.doi.org/10.2172/923081.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Krauskopf, John. Higher Order Mechanisms of Color Vision. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada214616.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Krauskopf, John. Higher Order Mechanisms of Color Vision. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada198093.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Huber, Hartmut G. Higher Order Software - Evaluation and Critique. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada198753.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lototsky, S. V., B. L. Rozovskii, and X. Wan. Elliptic Equations of Higher Stochastic Order. Defense Technical Information Center, 2009. http://dx.doi.org/10.21236/ada597555.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!