Log in

Relevant bibliographies by topics / Higher-order theorie

Contents

Journal articles

Academic literature on the topic 'Higher-order theorie'

Author: Grafiati

Published: 14 March 2023

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 theorie.'

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 theorie"

1

Pihlar, Tanja. "Zur Theorie der Vorstellungsproduktion (,,Grazer" Gestalttheorie I: France Weber)." Grazer Philosophische Studien 73, no. 1 (2006): 27–41. http://dx.doi.org/10.1163/18756735-073001002.

Full text

Abstract:

In the following discussion, we are dealing with Weber's theory of the production of presentations, as presented in his article "The Problem of the Production of Presentations". In this article, published in 1928, Weber offers an essential modification of a version of the theory of objects which had been developed by the Graz school (and was closely linked with the theory of higher-order objects). According to Weber, the production of presentations consists in a primary transition from passive to corresponding active presentations (so there is active as well as passive presentation). Weber dis

APA, Harvard, Vancouver, ISO, and other styles

2

Pérez Otero, Manuel. "Contingentism about Individuals and Higher-Order Necessitism." THEORIA. An International Journal for Theory, History and Foundations of Science 28, no. 3 (2013): 393. http://dx.doi.org/10.1387/theoria.6882.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Rosenthal, David, and Josh Weisberg. "Higher-order theories of consciousness." Scholarpedia 3, no. 5 (2008): 4407. http://dx.doi.org/10.4249/scholarpedia.4407.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Flanagan, Éanna É. "Higher-order gravity theories and scalar–tensor theories." Classical and Quantum Gravity 21, no. 2 (2003): 417–26. http://dx.doi.org/10.1088/0264-9381/21/2/006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

ROMÁN-ROY, NARCISO, MODESTO SALGADO, and SILVIA VILARIÑO. "HIGHER-ORDER NOETHER SYMMETRIES IN k-SYMPLECTIC HAMILTONIAN FIELD THEORY." International Journal of Geometric Methods in Modern Physics 10, no. 08 (2013): 1360013. http://dx.doi.org/10.1142/s021988781360013x.

Full text

Abstract:

For k-symplectic Hamiltonian field theories, we study infinitesimal transformations generated by some kinds of vector fields which are not Noether symmetries, but which allow us to obtain conservation laws by means of suitable generalizations of Noether's theorem.

APA, Harvard, Vancouver, ISO, and other styles

6

Wilson, Matt, and Giulio Chiribella. "Causality in Higher Order Process Theories." Electronic Proceedings in Theoretical Computer Science 343 (September 9, 2021): 265–300. http://dx.doi.org/10.4204/eptcs.343.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Sultana, Joseph. "Gravitational Decoupling in Higher Order Theories." Symmetry 13, no. 9 (2021): 1598. http://dx.doi.org/10.3390/sym13091598.

Full text

Abstract:

Gravitational decoupling via the Minimal Geometric Deformation (MGD) approach has been used extensively in General Relativity (GR), mainly as a simple method for generating exact anisotropic solutions from perfect fluid seed solutions. Recently this method has also been used to generate exact spherically symmetric solutions of the Einstein-scalar system from the Schwarzschild vacuum metric. This was then used to investigate the effect of scalar fields on the Schwarzschild black hole solution. We show that this method can be extended to higher order theories. In particular, we consider fourth o

APA, Harvard, Vancouver, ISO, and other styles

8

Vasudeva, R. Y., R. K. Bhaskara, P. Govinda Rao, and B. V. S. Avadhani. "On higher‐order elastodynamic rod theories." Journal of the Acoustical Society of America 80, no. 6 (1986): 1777–81. http://dx.doi.org/10.1121/1.394292.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Paliwal, Aditya, Sarah Loos, Markus Rabe, Kshitij Bansal, and Christian Szegedy. "Graph Representations for Higher-Order Logic and Theorem Proving." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (2020): 2967–74. http://dx.doi.org/10.1609/aaai.v34i03.5689.

Full text

Abstract:

This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain. Interactive, higher-order theorem provers allow for the formalization of most mathematical theories and have been shown to pose a significant challenge for deep learning. Higher-order logic is highly expressive and, even though it is well-structured with a clearly defined grammar and semantics, there still remains no well-established method to convert formulas into graph-based representations. In this paper, we cons

APA, Harvard, Vancouver, ISO, and other styles

10

Sági, Gábor. "A completeness theorem for higher order logics." Journal of Symbolic Logic 65, no. 2 (2000): 857–84. http://dx.doi.org/10.2307/2586575.

Full text

Abstract:

AbstractHere we investigate the classes of representable directed cylindric algebras of dimension α introduced by Németi [12]. can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, “purely cylindric algebraic” proof for the following theorems of Németi: (i) is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain a strong representation theorem for if one chooses an appropriate (non-well-founded) set theory as foundation of

APA, Harvard, Vancouver, ISO, and other styles

More sources

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!