Se connecter

Bibliographies thématiques / Higher-order theorie

Sommaire

Articles de revues

Littérature scientifique sur le sujet « Higher-order theorie »

Auteur : Grafiati

Publié le 14 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Higher-order theorie ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!