Academic literature on the topic 'Higher-order theorie'

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 (April 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 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, 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 (July 15, 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 (December 4, 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 (August 7, 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 (August 31, 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 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, 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 (December 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 (April 3, 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 consider several graphical representations of higher-order logic and evaluate them against the HOList benchmark for higher-order theorem proving.
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 (June 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 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, and other styles

Dissertations / Theses on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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 the union-find disjoint set algorithm.
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles

Reports on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, 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!

To the bibliography