Готові списки джерел за темами / Higher-order theorie

Добірка наукової літератури з теми "Higher-order theorie"

Автор: Grafiati
Опубліковано: 14 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Higher-order theorie".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Higher-order theorie"

1

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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 (July 15, 2013): 393. http://dx.doi.org/10.1387/theoria.6882.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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 (August 7, 2013): 1360013. http://dx.doi.org/10.1142/s021988781360013x.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Анотація:
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).
Стилі APA, Harvard, Vancouver, ISO та ін.
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 (December 1986): 1777–81. http://dx.doi.org/10.1121/1.394292.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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 (April 3, 2020): 2967–74. http://dx.doi.org/10.1609/aaai.v34i03.5689.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Higher-order theorie"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Higher-order theorie"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Öchsner, Andreas. "Higher-Order Beam Theories." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Peeters, Eric. "Higher Order Attacks." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Snyder, Wayne. "Higher Order Unification." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Hummel, Christoph. "Higher order derivatives." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Higher-order theorie"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Chan, Cody Leeheng, and Kwun-Lon Ting. "Extended Camus Theory and Higher Order Conjugated Curves." In 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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "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, August 1998. http://dx.doi.org/10.21236/ada387779.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

BAGIYAN, A., and 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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Higher-order theorie" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії