Bibliographies thématiques / Higher-order theorie

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 :

Sommaire

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 (1 avril 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 distinguishes several types of production of presentations: psychophysical, content, act, intentional, and surrogate production, all of which can be divided into many subtypes. Most interesting in this connection is his theory of intentional presentation. In the 1928 article, Weber postulates non-intentional presentations, on which intentional presentations are based. He distinguishes four levels of intentionality: non-intentional presentation, on the lowest level, is followed by presentational intentionality, isolative, and rational intentional presentation. Weber's 1928 article is of considerable importance for an understanding of his subsequent philosophical development.
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 (15 juillet 2013) : 393. http://dx.doi.org/10.1387/theoria.6882.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Rosenthal, David, et 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 (4 décembre 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 et SILVIA VILARIÑO. « HIGHER-ORDER NOETHER SYMMETRIES IN k-SYMPLECTIC HAMILTONIAN FIELD THEORY ». International Journal of Geometric Methods in Modern Physics 10, no 08 (7 août 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, et Giulio Chiribella. « Causality in Higher Order Process Theories ». Electronic Proceedings in Theoretical Computer Science 343 (9 septembre 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 (31 août 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 order Einstein–Weyl gravity, and in this case by using the Schwarzschild metric as a seed solution to the associated vacuum field equations, we apply the MGD method to generate a solution to the Einstein–Weyl scalar theory representing a hairy black hole solution. This solution is expressed in terms of a series using the Homotopy Analysis Method (HAM).
Styles APA, Harvard, Vancouver, ISO, etc.
8

Vasudeva, R. Y., R. K. Bhaskara, P. Govinda Rao et B. V. S. Avadhani. « On higher‐order elastodynamic rod theories ». Journal of the Acoustical Society of America 80, no 6 (décembre 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 et Christian Szegedy. « Graph Representations for Higher-Order Logic and Theorem Proving ». Proceedings of the AAAI Conference on Artificial Intelligence 34, no 03 (3 avril 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 consider several graphical representations of higher-order logic and evaluate them against the HOList benchmark for higher-order theorem proving.
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 (juin 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 mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Higher-order theorie"

1

Fabbri, Luca <1978&gt. « Higher-order theories of gravitation ». Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/333/1/libro.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Fabbri, Luca <1978&gt. « Higher-order theories of gravitation ». Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/333/.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Mahanta, Uma Prasad. « Higher order corrections in walking technicolor theories / ». The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598748019643.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Résumé :
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 the union-find disjoint set algorithm.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Benecke, Stephen. « Higher order domination of graphs ». Thesis, Stellenbosch : University of Stellenbosch, 2004. http://hdl.handle.net/10019.1/16257.

Texte intégral
Résumé :
Thesis (MSc)--University of Stellenbosch, 2004.
ENGLISH ABSTRACT: Motivation for the study of protection strategies for graphs is rooted in antiquity and has evolved as a subdiscipline of graph theory since the early 1990s. Using, as a point of departure, the notions of weak Roman domination and secure domination (where protection of a graph is required against a single attack) an initial framework for higher order domination was introduced in 2002 (allowing for the protection of a graph against an arbitrary finite, or even infinite, number of attacks). In this thesis, the theory of higher order domination in graphs is broadened yet further to include the possibility of an arbitrary number of guards being stationed at a vertex. The thesis firstly provides a comprehensive survey of the combinatorial literature on Roman domination, weak Roman domination, secure domination and other higher order domination strategies, with a view to summarise the state of the art in the theory of higher order graph domination as at the start of 2004. Secondly, a generalised framework for higher order domination is introduced in two parts: the first catering for the protection of a graph against a finite number of consecutive attacks, and the second concerning the perpetual security of a graph (protection of the graph against an infinite number of consecutive attacks). Two types of higher order domination are distinguished: smart domination (requiring the existence of a protection strategy for any sequence of consecutive attacks of a pre–specified length, but leaving it up to a strategist to uncover such a guard movement strategy for a particular instance of the attack sequence), and foolproof domination (requiring that any possible guard movement strategy be a successful protection strategy for the graph in question). Properties of these higher order domination parameters are examined—first by investigating the application of known higher order domination results from the literature, and secondly by obtaining new results, thereby hopefully improving current understanding of these domination parameters. Thirdly, the thesis contributes by (i) establishing higher order domination parameter values for some special graph classes not previously considered (such as complete multipartite graphs, wheels, caterpillars and spiders), by (ii) summarising parameter values for special graph classes previously established (such as those for paths, cycles and selected cartesian products), and by (iii) improving higher order domination parameter bounds previously obtained (in the case of the cartesian product of two cycles). Finally, a clear indication of unresolved problems in higher order graph domination is provided in the conclusion to this thesis, together with some suggestions as to possibly desirable future generalisations of the theory.
AFRIKAANSE OPSOMMING: Die motivering vir die studie van verdedigingstrategie¨e vir grafieke het sy ontstaan in die antieke wˆereld en het sedert die vroe¨e 1990s as ’n subdissipline in grafiekteorie begin ontwikkel. Deur gebruik te maak van die idee van swak Romynse dominasie en versterkte dominasie (waar verdediging van ’n grafiek teen ’n enkele aanval vereis word) het ’n aanvangsraamwerk vir ho¨er– orde dominasie (wat ’n grafiek teen ’n veelvuldige, of selfs oneindige aantal, aanvalle verdedig) in 2002 die lig gesien. Die teorie van ho¨er–orde dominasie in grafieke word in hierdie tesis verbreed, deur toe te laat dat ’n arbitrˆere aantal wagte by elke punt van die grafiek gestasioneer mag word. Eerstens voorsien die tesis ’n omvangryke oorsig van die kombinatoriese literatuur oor Romynse dominasie, swak Romynse dominasie, versterkte dominasie en ander ho¨er–orde dominasie strategie ¨e, met die doel om die kundigheid betreffende die teorie van ho¨er–orde dominasie, soos aan die begin van 2004, op te som. Tweedens word ’n veralgemeende raamwerk vir ho¨er–orde dominasie bekendgestel, en wel in twee dele. Die eerste deel maak voorsiening vir die verdediging van ’n grafiek teen ’n eindige aantal opeenvolgende aanvalle, terwyl die tweede deel betrekking het op die oneindige sekuriteit van ’n grafiek (verdediging teen ’n oneindige aantal opeenvolgende aanvalle). Daar word tussen twee tipes h¨oer–orde dominasie onderskei: intelligente dominasie (wat slegs die bestaan van ’n verdedigingstrategie vir enige reeks opeenvolgende aanvalle vereis, maar dit aan ’n strateeg oorlaat om ’n suksesvolle bewegingstrategie vir die verdediging teen ’n spesifieke reeks aanvalle te vind), en onfeilbare dominasie (wat vereis dat enige moontlike bewegingstrategie resulteer in ’n suksesvolle verdedigingstrategie vir die betrokke grafiek). Eienskappe van hierdie ho¨er–orde dominasie parameters word ondersoek, deur eerstens die toepasbaarheid van bekende ho¨er–orde dominasie resultate vanuit die literatuur te assimileer, en tweedens nuwe resultate te bekom, in die hoop om die huidige kundigheid met betrekking tot hierdie dominasie parameters te verbreed. Derdens word ’n bydrae gelewer deur (i) ho¨er–orde dominasie parameterwaardes vas te stel vir sommige spesiale klasse grafieke wat nie voorheen ondersoek is nie (soos volledig veelledige grafieke, wiele, ruspers en spinnekoppe), deur (ii) parameterwaardes wat reeds bepaal is (soos byvoorbeeld di´e vir paaie, siklusse en sommige kartesiese produkte) op te som, en deur (iii) bekende ho¨er–orde dominasie parametergrense te verbeter (in die geval van die kartesiese produk van twee siklusse). Laastens word ’n aanduiding van oop probleme in die teorie van ho¨er–orde dominasie in die slothoofstuk van die tesis voorsien, tesame met voorstelle ten opsigte van moontlik sinvolle veralgemenings van die teorie.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Hunt, D'Hania J. « Constructing higher-order de Bruijn graphs ». Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02Jun%5FHunt.pdf.

Texte intégral
Résumé :
Thesis (M.S. in Applied Mathematics)--Naval Postgraduate School, June 2002.
Thesis advisor(s): Harold Fredricksen, Craig W. Rasmussen. Includes bibliographical references (p. 45-46). Also available online.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Fritz, Peter. « Intensional type theory for higher-order contingentism ». Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd.

Texte intégral
Résumé :
Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could have failed to be born, and it is natural to think that I would then not have been anything. But what about entities like propositions, properties and relations? Had I not been anything, would there have been the property of being me? In this thesis, I formally develop and assess views according to which it is both contingent what individuals there are and contingent what propositions, properties and relations there are. I end up rejecting these views, and conclude that even if it is contingent what individuals there are, it is necessary what propositions, properties and relations there are. Call the view that it is contingent what individuals there are first-order contingentism, and the view that it is contingent what propositions, properties and relations there are higher-order contingentism. I bring together the three major contributions to the literature on higher-order contingentism, which have been developed largely independently of each other, by Kit Fine, Robert Stalnaker, and Timothy Williamson. I show that a version of Stalnaker's approach to higher-order contingentism was already explored in much more technical detail by Fine, and that it stands up well to the major challenges against higher-order contingentism posed by Williamson. I further show that once a mistake in Stalnaker's development is corrected, each of his models of contingently existing propositions corresponds to the propositional fragment of one of Fine's more general models of contingently existing propositions, properties and relations, and vice versa. I also show that Stalnaker's theory of contingently existing propositions is in tension with his own theory of counterfactuals, but not with one of the main competing theories, proposed by David Lewis. Finally, I connect higher-order contingentism to expressive power arguments against first-order contingentism. I argue that there are intelligible distinctions we draw with talk about "possible things", such as the claim that there are uncountably many possible stars. Since first-order contingentists hold that there are no possible stars apart from the actual stars, they face the challenge of paraphrasing such talk. I show that even in an infinitary higher-order modal logic, the claim that there are uncountably many possible stars can only be paraphrased if higher-order contingentism is false. I therefore conclude that even if first-order contingentism is true, higher-order contingentism is false.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Cotsakis, Spiros. « Cosmological models in higher-order gravity ». Thesis, University of Sussex, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303168.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Browning, Andrew David. « Becchi-Rouet-Stora-Tyutin symmetry in higher order theories ». Thesis, Imperial College London, 1985. http://hdl.handle.net/10044/1/37647.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Middleton, Jonathan Ian. « The cosmology of higher-order Lagrangian theories of gravity ». Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609455.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Higher-order theorie"

1

Gennaro, Rocco J., dir. Higher-Order Theories of Consciousness. Amsterdam : John Benjamins Publishing Company, 2004. http://dx.doi.org/10.1075/aicr.56.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

J, Gennaro Rocco, dir. Higher-order theories of consciousness : An anthology. Amsterdam : John Benjamins, 2004.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Alestalo, Pekka. Uniform domains of higher order. Helsinki : Suomalainen Tiedeakatemia, 1994.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Deninger, Christopher. Higher order operations in Deligne cohomology. [Münster : Mathematischen Instituts der Universität Münster, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Rahul, Mukerjee, dir. Probability Matching Priors : Higher Order Asymptotics. New York, NY : Springer New York, 2004.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Kumar, Nandi Asoke, dir. Blind estimation using higher-order statistics. Boston : Kluwer Academic, 1999.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Higher order asymptotic theory for time series analysis. Berlin : Springer-Verlag, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Galiffa, Daniel J. On the Higher-Order Sheffer Orthogonal Polynomial Sequences. New York, NY : Springer New York, 2013.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Angeletos, Marios. Incomplete information, higher order beliefs, and price inertia. Cambridge, MA : Massachusetts Institute of Technology, Dept. of Economics, 2009.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Higher Order Workshop (4th 1990 Banff, Alta.). IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada. London : Springer-Verlag, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Higher-order theorie"

1

Eslami, Mohammad Reza, et Yasser Kiani. « Higher-Order Beam Theories ». Dans Encyclopedia of Thermal Stresses, 2243–49. Dordrecht : Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-007-2739-7_485.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Öchsner, Andreas. « Higher-Order Beam Theories ». Dans Classical Beam Theories of Structural Mechanics, 105–31. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76035-9_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Hartshorne, Robin. « Higher-Order Deformations ». Dans Deformation Theory, 45–98. New York, NY : Springer New York, 2009. http://dx.doi.org/10.1007/978-1-4419-1596-2_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Carruthers, Peter. « Higher-Order Theories of Consciousness ». Dans The Blackwell Companion to Consciousness, 288–97. Chichester, UK : John Wiley & Sons, Ltd, 2017. http://dx.doi.org/10.1002/9781119132363.ch20.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Carruthers, Peter. « Higher-Order Theories of Consciousness ». Dans The Blackwell Companion to Consciousness, 277–86. Malden, MA, USA : Blackwell Publishing, 2007. http://dx.doi.org/10.1002/9780470751466.ch22.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Hardcastle, Valerie Gray. « 12. HOT theories of consciousness ». Dans Higher-Order Theories of Consciousness, 277–94. Amsterdam : John Benjamins Publishing Company, 2004. http://dx.doi.org/10.1075/aicr.56.15har.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Peeters, Eric. « Higher Order Attacks ». Dans Advanced DPA Theory and Practice, 97–108. New York, NY : Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-6783-0_7.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Gennaro, Rocco J. « 1. Higher-order theories of consciousness ». Dans Higher-Order Theories of Consciousness, 1–13. Amsterdam : John Benjamins Publishing Company, 2004. http://dx.doi.org/10.1075/aicr.56.02gen.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Snyder, Wayne. « Higher Order Unification ». Dans A Proof Theory for General Unification, 123–53. Boston, MA : Birkhäuser Boston, 1991. http://dx.doi.org/10.1007/978-1-4612-0435-0_7.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Hummel, Christoph. « Higher order derivatives ». Dans Gromov’s Compactness Theorem for Pseudo-holomorphic Curves, 35–48. Basel : Birkhäuser Basel, 1997. http://dx.doi.org/10.1007/978-3-0348-8952-0_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Higher-order theorie"

1

Sánchez-Santos, Oscar, J. David Vergara, Alejandro Ayala, Guillermo Contreras, Ildefonso Leon et Pedro Podesta. « Higher Order Theories and Noncommutativity ». Dans XII MEXICAN WORKSHOP ON PARTICLES AND FIELDS. AIP, 2011. http://dx.doi.org/10.1063/1.3622744.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Margalli, Carlos A., et J. David Vergara. « Complex higher order derivative theories ». Dans IX WORKSHOP OF THE GRAVITATION AND MATHEMATICAL PHYSICS DIVISION OF THE MEXICAN PHYSICAL SOCIETY. AIP, 2012. http://dx.doi.org/10.1063/1.4748562.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Roth, Ron M. « Higher-Order MDS Codes ». Dans 2022 IEEE International Symposium on Information Theory (ISIT). IEEE, 2022. http://dx.doi.org/10.1109/isit50566.2022.9834580.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Chan, Cody Leeheng, et Kwun-Lon Ting. « Extended Camus Theory and Higher Order Conjugated Curves ». Dans ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-97104.

Texte intégral
Résumé :
Abstract According to Camus’ theorem, for a single DOF 3-body system with the three instant centers staying coincident, a point embedded on a body traces a pair of conjugated curves on the other two bodies. This paper discusses a fundamental issue not addressed in Camus’ theorem in the context of higher order curvature theory. Following the Aronhold-Kennedy theorem, in a single degree-of-freedom three-body system, the three instant centers must lie on a straight line. This paper proposes that if the line of the three instant centers is stationary (i.e. slide along itself), on the line of the instant centers a point embedded on a body traces a pair of conjugated curves on the other two bodies. Another case is that if the line of the three instant centers rotate about a stationary point, the stationary point embedded on the body also traces a pair of conjugated curves on the other two bodies. The paper demonstrates the use of instantaneous invariants to synthesize such a three-body system leading to a conjugate curve-pair generation. It is a supplement or extension of the Camus’ theorem. The Camus’ theorem may be regarded as a special singular case, in which all three instant centers are coincident.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Amabili, Marco, Kostas Karagiozis, Sirwan Farhadi et Korosh Khorshidi. « Nonlinear Vibration of Plates and Higher Order Theory for Different Boundary Conditions ». Dans ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/detc2010-28625.

Texte intégral
Résumé :
There are numerous applications of plate structures found in structural, aerospace and marine engineering. The present study extends the previous work by Amabili and Sirwan [1] investigating the performance of isotropic and laminate composite rectangular plates with different boundary conditions subjected to an external point force with an excitation frequency that lies in the neighbourhood of the fundamental mode of the plate. The analysis is performed using three different nonlinear plate theories, namely: i) the classical Von Ka´rman theory, ii) first-order shear deformation theory, and iii) third-order shear deformation theory. Three different boundary conditions are considered in the investigation: a) classical clamped boundary conditions, b) simply-supported ends with immovable edges, and c) simply-supported ends with movable boundaries. In addition, the effect of thickness was also considered in the analysis and different values for the plate thickness were assumed. The results investigate the accuracy of lower order theories versus higher order shear deformation theories, the effect of boundary conditions and highlight the differences in the responses obtained from isotropic and laminate composite rectangular plates.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Hanssen et Scharf. « Theory of higher-order Rihaczek spectra ». Dans IEEE International Conference on Acoustics Speech and Signal Processing ICASSP-02. IEEE, 2002. http://dx.doi.org/10.1109/icassp.2002.1006028.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Hanssen, Alfred, et Loui L. Scharf. « Theory of higher-order Rihaczek spectra ». Dans Proceedings of ICASSP '02. IEEE, 2002. http://dx.doi.org/10.1109/icassp.2002.5744887.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Ding, Chen, et Xiaoya Xiang. « A higher order theory of locality ». Dans the 2012 ACM SIGPLAN Workshop. New York, New York, USA : ACM Press, 2012. http://dx.doi.org/10.1145/2247684.2247697.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

COTSAKIS, SPIROS, DIMITRIOS TRACHILIS et ANTONIOS TSOKAROS. « GENERIC REGULAR UNIVERSES IN HIGHER ORDER GRAVITY THEORIES ». Dans Proceedings of the MG13 Meeting on General Relativity. WORLD SCIENTIFIC, 2015. http://dx.doi.org/10.1142/9789814623995_0301.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Iyengar, N. G. R., et Arindam Chakraborty. « Buckling of Composite Laminates Using Higher Order Deformation Theory ». Dans ASME/JSME 2004 Pressure Vessels and Piping Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/pvp2004-2584.

Texte intégral
Résumé :
Response of composite laminates under in-plane compressive or shear loadings is of interest to the analyst and designers. Since they are thin, they are prone to instability under in-plane loads. Transverse shear effects are important even for thin laminates since elastic modulus and shear modulus are independent properties. For very thick laminates neglecting transverse shear effects leads to completely erroneous results. A number of different theories have been suggested by different investigators to account for transverse shear effects. In this investigation, an attempt has been made to take into account transverse shear effects for the stability analysis of moderately thick/very thick composite laminates under in-plane compressive and shear loading using a “SIMPLE HIGHER ORDER SHEAR DEFORMATION THEORY” based on four unknown displacements instead of five which is commonly used for most of the other higher order theories. A C1 continuous shear flexible finite element based on the proposed HSDT is developed using the Hermite cubic rectangular element. The analytical results obtained have been compared with the available results in literature. Effect of various parameters like aspect ratio, thickness to side ratio, fiber orientation and material properties have been studied in detail.
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Higher-order theorie"

1

Bardet, Jean-Pierr. A Micromechanical Investigation of Instability in Particulate Materials and Higher Order Continuum Theory Assumptions. Fort Belvoir, VA : Defense Technical Information Center, août 1998. http://dx.doi.org/10.21236/ada387779.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

BAGIYAN, A., et A. VARTANOV. SYSTEMS ACQUISITION IN MULTILINGUAL EDUCATION : THE CASE OF AXIOLOGICALLY CHARGED LEXIS. Science and Innovation Center Publishing House, 2021. http://dx.doi.org/10.12731/2077-1770-2021-13-4-3-48-61.

Texte intégral
Résumé :
The process of mastering, systematizing and automatizing systems language skills occupies a key place in the theory and practice of teaching foreign languages and cultures. Following the main trends of modern applied linguistics in the field of multilingual research, we hypothesize the advisability of using the lexical approach in mastering the entire complex of systems skills (grammar, vocabulary, phonology, functions, discourse) in students receiving multilingual education at higher educational institutions. In order to theoretically substantiate the hypothesis, the authors carry out structural, semantic, and phonological analysis of the main lexical units (collocations). After this, linguodidactic analysis of students’ hypothetical problems and, as a result, problems related to the teaching of relevant linguistic and axiological features is carried out. At the final stage of the paper, a list of possible outcomes from the indicated linguistic and methodological problematic situations is given. This article is the first in the cycle of linguodidactic studies of the features of learning and teaching systems language skills in a multilingual educational space.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Higher-order theorie » pour d’autres types de sources :
Articles de revues Thèses Livres
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!

Vers la bibliographie