Relevant bibliographies by topics / Algebraic dynamics / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Algebraic dynamics.

Dissertations / Theses on the topic 'Algebraic dynamics'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Algebraic dynamics.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

D'Ambros, Paola. "Algebraic dynamics in positive characteristic." Thesis, University of East Anglia, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365044.

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

Virili, Simone. "Group representations, algebraic dynamics and torsion theories." Doctoral thesis, Universitat Autònoma de Barcelona, 2014. http://hdl.handle.net/10803/284141.

Full text
Abstract:
La tesis está organizada en doce capítulos, divididos en cinco partes. La Parte I comprende los primeros tres capítulos. En el Capítulo 1 damos una breve introducción a la teoría de las categorías y recordamos las técnicas de las teorías de torsión y de la localización de categorías de Grothendieck. Empezamos el Capítulo 2 introduciendo la categoría de los "casi-frames" y estudiamos algunas construcciones básicas en esta categoría; en la segunda parte del capítulo estudiamos las dimensiones de Krull y de Gabriel de los casi-frames. Usando el hecho que los retículos de sub-objectos de un objeto
APA, Harvard, Vancouver, ISO, and other styles
3

Wendler, Tim Glenn. "Algebraic Semi-Classical Model for Reaction Dynamics." BYU ScholarsArchive, 2014. https://scholarsarchive.byu.edu/etd/5755.

Full text
Abstract:
We use an algebraic method to model the molecular collision dynamics of a collinear triatomic system. Beginning with a forced oscillator, we develop a mathematical framework upon which inelastic and reactive collisions are modeled. The model is considered algebraic because it takes advantage of the properties of a Lie algebra in the derivation of a time-evolution operator. The time-evolution operator is shown to generate both phase-space and quantum dynamics of a forced oscillator simultaneously. The model is considered semi-classical because only the molecule's internal degrees-of-freedom are
APA, Harvard, Vancouver, ISO, and other styles
4

Xie, Junyi. "Algebraic dynamics of rational self-maps on surfaces." Palaiseau, Ecole polytechnique, 2014. http://pastel.archives-ouvertes.fr/docs/01/02/54/12/PDF/phd20140412.pdf.

Full text
Abstract:
Cette thèse se se compose de trois parties. La première partie est consacrée à l'étude des points périodiques des applications birationnelles des surfaces projectives. Nous montrons que toute application birationnelle de surface dont la croissance des degrés est exponentielle admet un ensemble de points périodiques Zariski dense. Dans la seconde partie, nous démontrons la conjecture de Mordell-Lang dynamique pour toute application polynomiale birationnelle du plan affine définie sur un corps de caractéristique nulle. Notre approche donne une nouvelle démonstration de cette conjecture pour les
APA, Harvard, Vancouver, ISO, and other styles
5

Alam, Md Shafiful. "Iterative Methods to Solve Systems of Nonlinear Algebraic Equations." TopSCHOLAR®, 2018. https://digitalcommons.wku.edu/theses/2305.

Full text
Abstract:
Iterative methods have been a very important area of study in numerical analysis since the inception of computational science. Their use ranges from solving algebraic equations to systems of differential equations and many more. In this thesis, we discuss several iterative methods, however our main focus is Newton's method. We present a detailed study of Newton's method, its order of convergence and the asymptotic error constant when solving problems of various types as well as analyze several pitfalls, which can affect convergence. We also pose some necessary and sufficient conditions on the
APA, Harvard, Vancouver, ISO, and other styles
6

Jogia, Danesh Michael Mathematics &amp Statistics Faculty of Science UNSW. "Algebraic aspects of integrability and reversibility in maps." Publisher:University of New South Wales. Mathematics & Statistics, 2008. http://handle.unsw.edu.au/1959.4/40947.

Full text
Abstract:
We study the cause of the signature over finite fields of integrability in two dimensional discrete dynamical systems by using theory from algebraic geometry. In particular the theory of elliptic curves is used to prove the major result of the thesis: that all birational maps that preserve an elliptic curve necessarily act on that elliptic curve as addition under the associated group law. Our result generalises special cases previously given in the literature. We apply this theorem to the specific cases when the ground fields are finite fields of prime order and the function field $mathbb{C}(t
APA, Harvard, Vancouver, ISO, and other styles
7

Berger, Ulrich. "Non-algebraic convergence proofs for continuous-time fictitious play." Springer, 2012. http://epub.wu.ac.at/5591/1/2012_DGA.pdf.

Full text
Abstract:
In this technical note we use insights from the theory of projective geometry to provide novel and non-algebraic proofs of convergence of continuous-time fictitious play for a class of games. As a corollary we obtain a kind of equilibrium selection result, whereby continuous-time fictitious play converges to a particular equilibrium contained in a continuum of equivalent equilibria for symmetric 4x4 zero-sum games.
APA, Harvard, Vancouver, ISO, and other styles
8

D'Rozario, Robert S. G. "Conformational dynamics of proline-containing transmembrane helices." Thesis, University of Oxford, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.670181.

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

Mirahmadi, Marjansadat [Verfasser]. "Spectra and Dynamics of Driven Linear Quantum Rotors: Symmetry Analysis and Algebraic Methods / Marjansadat Mirahmadi." Berlin : epubli, 2020. http://d-nb.info/1205608095/34.

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

Müller, Annette [Verfasser]. "On algebraic and geometric aspects of fluid dynamics: New perspectives based on Nambu mechanics and its applications to atmospheric dynamics / Annette Müller." Berlin : Freie Universität Berlin, 2018. http://d-nb.info/117670544X/34.

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

Tschirhart, Hugo. "From two Algebraic Bethe Ansätze to the dynamics of Dicke-Jaynes-Cummings-Gaudin quantum integrable models through eigenvalue-based determinants." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0098/document.

Full text
Abstract:
Le travail présenté dans cette thèse est inspiré de précédents résultats sur les modèles de Gaudin ne contenant que des spins-1/2 (ces modèles sont intégrables) qui, par un changement de variable dans les équations de Bethe algébriques, parviennent à simplifier le traitement numérique de ces modèles. Cette optimisation numérique s'effectue par l'intermédiaire d'une construction en déterminant, ne dépendant que des variables précédemment mentionnées, pour chaque produit scalaire intervenant dans l'expression de la moyenne d'une observable à un temps donné. En montrant qu'il est possible d'utili
APA, Harvard, Vancouver, ISO, and other styles
12

Tschirhart, Hugo. "From two algebraic Bethe Ansätze to the dynamics of Dicke-Jaynes-Cummings-Gaudin quantum integrable models through eigenvalue-based determinants." Thesis, Coventry University, 2017. http://curve.coventry.ac.uk/open/items/ee00088e-9dd9-4709-8974-9ef528fda6f4/1.

Full text
Abstract:
The work presented in this thesis was inspired by precedent results on the Gaudin models (which are integrable) for spins-12 only which, by a change of variables in the algebraic Bethe equations, manage to considerably simplify the numerical treatment of such models. This numerical optimisation is carried out by the construction of determinants, only depending on the previously mentioned variables, for every scalar products appearing in the expression of the mean value of an observable of interest at a given time. By showing it is possible to use the Quantum Inverse ScatteringMethod (QISM), ev
APA, Harvard, Vancouver, ISO, and other styles
13

Mirahmadi, Marjansadat [Verfasser], Burkhard [Gutachter] Schmidt, Bretislav [Gutachter] Friedrich, and Olga [Gutachter] Smirnova. "Spectra and dynamics of driven linear quantum rotors : symmetry analysis and algebraic methods / Marjansadat Mirahmadi ; Gutachter: Burkhard Schmidt, Bretislav Friedrich, Olga Smirnova." Berlin : Technische Universität Berlin, 2020. http://d-nb.info/1206637471/34.

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

Dang, Nguyen-Bac. "Croissance des degrés d'applications rationnelles en dimension 3." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLX044/document.

Full text
Abstract:
Cette thèse comporte trois chapitres indépendants portant sur l’itération des applicationsrationnelles sur des variétés projectives et plus spécifiquement sur l’étude du comportement dela suite des degrés des itérés de telles applications.Dans le premier chapitre, nous donnons une construction des invariants fondamentaux quesont les degrés dynamiques dans un cadre très général, et ce sans hypothèse ni sur la caractéristique ni sur les singularités de l’espace ambiant. Cette construction repose sur des propriétésde positivité des cycles algébriques, et propose une alternative aux approches anal
APA, Harvard, Vancouver, ISO, and other styles
15

Evers, Dirk J. "RNA folding via algebraic dynamic programming." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=968564844.

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

Itzá-Ortiz, Benjamín A. "The C*-algebras associated with irrational time homeomorphisms of suspensions /." view abstract or download file of text, 2003. http://wwwlib.umi.com/cr/uoregon/fullcit?p3095252.

Full text
Abstract:
Thesis (Ph. D.)--University of Oregon, 2003.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 68-69). Also available for download via the World Wide Web; free to University of Oregon users.
APA, Harvard, Vancouver, ISO, and other styles
17

Phillips, Caitlin. "An algebraic approach to dynamic epistemic logic." Thesis, McGill University, 2010. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=86767.

Full text
Abstract:
In reasoning about multi-agent systems, it is important to look beyond the realm of propositional logic and to reason about the knowledge of agents within the system, as what they know about the environment will affect how they behave. A useful tool for formalizing and analyzing what agents know is epistemic logic, a modal logic developed by philosophers in the early 1960s. Epistemic logic is key to understanding knowledge in multi-agent systems, but insufficient if one wishes to study how the agents' knowledge changes over time. To do this, it is necessary to use a logic that combines
APA, Harvard, Vancouver, ISO, and other styles
18

Maffeis, Sergio. "Dynamic Web data : a process algebraic approach." Thesis, Imperial College London, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436321.

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

Höner, zu Siederdissen Christian, Sonja J. Prohaska, and Peter F. Stadler. "Algebraic dynamic programming over general data structures." Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-206280.

Full text
Abstract:
Background: Dynamic programming algorithms provide exact solutions to many problems in computational biology, such as sequence alignment, RNA folding, hidden Markov models (HMMs), and scoring of phylogenetic trees. Structurally analogous algorithms compute optimal solutions, evaluate score distributions, and perform stochastic sampling. This is explained in the theory of Algebraic Dynamic Programming (ADP) by a strict separation of state space traversal (usually represented by a context free grammar), scoring (encoded as an algebra), and choice rule. A key ingredient in this theory is the use
APA, Harvard, Vancouver, ISO, and other styles
20

Epple, Alexander. "Methods for increased computational efficiency of multibody simulations." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26532.

Full text
Abstract:
Thesis (Ph. D.)--Aerospace Engineering, Georgia Institute of Technology, 2009.<br>Committee Chair: Olivier A. Bauchau; Committee Member: Andrew Makeev; Committee Member: Carlo L. Bottasso; Committee Member: Dewey H. Hodges; Committee Member: Massimo Ruzzene. Part of the SMARTech Electronic Thesis and Dissertation Collection.
APA, Harvard, Vancouver, ISO, and other styles
21

Papathanasiou, Dimitrios. "Hypercyclic Algebras and Affine Dynamics." Bowling Green State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1490913276727982.

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

Beersing-Vasquez, Kiran. "Suturing in Surgical Simulations." Thesis, KTH, Numerisk analys, NA, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-260254.

Full text
Abstract:
The goal of this project is to develop virtual surgical simulation software in order to simulate the suturing and knot tying processes associated with surgical thread. State equations are formulated using Lagrangian mechanics, which is useful for the conservation of energy. Solver methods are developed with theory based in Differential Algebraic Equations (DAEs) which concern governing Ordinary Differential Equations (ODEs) that are constraint with Algebraic Equations (AE). An implicit integration scheme and Newton's method is used to solve the system in each step. Furthermore, a collision res
APA, Harvard, Vancouver, ISO, and other styles
23

Wang, Rui. "Distributed Cooperative Communications and Wireless Power Transfer." Digital WPI, 2018. https://digitalcommons.wpi.edu/etd-dissertations/62.

Full text
Abstract:
In telecommunications, distributed cooperative communications refer to techniques which allow different users in a wireless network to share or combine their information in order to increase diversity gain or power gain. Unlike conventional point-to-point communications maximizing the performance of the individual link, distributed cooperative communications enable multiple users to collaborate with each other to achieve an overall improvement in performance, e.g., improved range and data rates. The first part of this dissertation focuses the problem of jointly decoding
APA, Harvard, Vancouver, ISO, and other styles
24

Nyqvist, Robert. "Algebraic Dynamical Systems, Analytical Results and Numerical Simulations." Doctoral thesis, Växjö : Växjö University Press, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-1142.

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

Zhang, Yugang. "Arithmetic properties of families of algebraic dynamical systems." Electronic Thesis or Diss., université Paris-Saclay, 2025. http://www.theses.fr/2025UPASM008.

Full text
Abstract:
L'objectif de cette thèse est d'étudier la dynamique d'une famille f d'endomorphismes de variétés algébriques, et plus précisément d'étudier la dynamique des familles de sous-variétés sous itération de la famille f. Lorsque f est une famille algébrique non-birationnellement isotriviale d'automorphismes loxodromiques de surfaces projectives complexes ou de variétés projectives hyperkählériennes, nous prouvons par exemple la finitude des points marqués périodiques en dehors de l'union (finie) des sous-variétés périodiques. Pour ce faire, nous étudions les fonctions hauteurs canoniques géométriqu
APA, Harvard, Vancouver, ISO, and other styles
26

Vassiliadis, Vassilios. "Computational solution of dynamic optimization problems with general differential-algebraic constraints." Thesis, Imperial College London, 1993. http://hdl.handle.net/10044/1/7567.

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

Hays, Joseph T. "Parametric Optimal Design Of Uncertain Dynamical Systems." Diss., Virginia Tech, 2011. http://hdl.handle.net/10919/28850.

Full text
Abstract:
This research effort develops a comprehensive computational framework to support the parametric optimal design of uncertain dynamical systems. Uncertainty comes from various sources, such as: system parameters, initial conditions, sensor and actuator noise, and external forcing. Treatment of uncertainty in design is of paramount practical importance because all real-life systems are affected by it; not accounting for uncertainty may result in poor robustness, sub-optimal performance and higher manufacturing costs. Contemporary methods for the quantification of uncertainty in dynamical system
APA, Harvard, Vancouver, ISO, and other styles
28

Hanselmann, Thomas. "Approximate dynamic programming with adaptive critics and the algebraic perceptron as a fast neural network related to support vector machines." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2003. http://theses.library.uwa.edu.au/adt-WU2004.0005.

Full text
Abstract:
[Truncated abstract. Please see the pdf version for the complete text. Also, formulae and special characters can only be approximated here. Please see the pdf version of this abstract for an accurate reproduction.] This thesis treats two aspects of intelligent control: The first part is about long-term optimization by approximating dynamic programming and in the second part a specific class of a fast neural network, related to support vector machines (SVMs), is considered. The first part relates to approximate dynamic programming, especially in the framework of adaptive critic designs (ACDs
APA, Harvard, Vancouver, ISO, and other styles
29

Dagli, Mehmet. "Lie algebra decompositions with applications to quantum dynamics." [Ames, Iowa : Iowa State University], 2008.

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

Frazier, William. "Application of Symplectic Integration on a Dynamical System." Digital Commons @ East Tennessee State University, 2017. https://dc.etsu.edu/etd/3213.

Full text
Abstract:
Molecular Dynamics (MD) is the numerical simulation of a large system of interacting molecules, and one of the key components of a MD simulation is the numerical estimation of the solutions to a system of nonlinear differential equations. Such systems are very sensitive to discretization and round-off error, and correspondingly, standard techniques such as Runge-Kutta methods can lead to poor results. However, MD systems are conservative, which means that we can use Hamiltonian mechanics and symplectic transformations (also known as canonical transformations) in analyzing and approximating sol
APA, Harvard, Vancouver, ISO, and other styles
31

Miles, Richard Craig. "Arithmetic dynamical systems." Thesis, University of East Anglia, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.323222.

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

Nakano, Anderson Luis. "Superfícies de pontos dinâmicas." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06052009-144752/.

Full text
Abstract:
O estudo do comportamento de fluidos é um antigo domínio das ciências da natureza. Ultimamente, fenômenos de engenharia que eram estudados empiricamente passaram a ser estudados com auxílio computacional. A Dinâmica de Fluidos Computacional (DFC) é a área da ciência da computação que estuda métodos computacionais para simulação de escoamento de fluidos, e muitas vezes é a forma mais prática, ou a única, de se observar fenômenos de interesse no escoamento. Este projeto de Mestrado procurou investigar, no âmbito da simulação de um escoamento bifásico, métodos computacionais para representar a
APA, Harvard, Vancouver, ISO, and other styles
33

Hinkelmann, Franziska Babette. "Algebraic theory for discrete models in systems biology." Diss., Virginia Tech, 2011. http://hdl.handle.net/10919/28509.

Full text
Abstract:
This dissertation develops algebraic theory for discrete models in systems biology. Many discrete model types can be translated into the framework of polynomial dynamical systems (PDS), that is, time- and state-discrete dynamical systems over a finite field where the transition function for each variable is given as a polynomial. This allows for using a range of theoretical and computational tools from computer algebra, which results in a powerful computational engine for model construction, parameter estimation, and analysis methods. Formal definitions and theorems for PDS and the concept of
APA, Harvard, Vancouver, ISO, and other styles
34

at, Andreas Cap@esi ac. "Graded Lie Algebras and Dynamical Systems." ESI preprints, 2001. ftp://ftp.esi.ac.at/pub/Preprints/esi1086.ps.

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

Le, Van Tu. "Dynamique des endomorphismes post-critiquement algébriques." Thesis, Toulouse 3, 2020. http://www.theses.fr/2020TOU30151.

Full text
Abstract:
Dans cette thèse, j'étudie la dynamique des endomorphismes de l'espace projectif complexe. Je m'intéresse aux endomorphismes post-critiquement algébriques, une notion qui généralise celle de fractions rationnelles post-critiquement finies en dimension 1. En particulier, j'étudie les valeurs propres d'un endomorphisme post-critiquement algébrique le long de l'orbite d'un point périodique. En dimension 1, un résultat bien connu, qui remonte aux travaux de Pierre Fatou, dit que ces valeurs sont soit nulles soit de module strictement plus supérieur à 1. Dans cette thèse, j'étudie une conjecture qu
APA, Harvard, Vancouver, ISO, and other styles
36

Song, Xuefeng. "Dynamic modeling issues for power system applications." Texas A&M University, 2003. http://hdl.handle.net/1969.1/1591.

Full text
Abstract:
Power system dynamics are commonly modeled by parameter dependent nonlinear differential-algebraic equations (DAE) x &#61478;&#61501;&#61472;p y x f ) and 0 = p y x g ) . Due to (,, (,, the algebraic constraints, we cannot directly perform integration based on the DAE. Traditionally, we use implicit function theorem to solve for fast variables y to get a reduced model in terms of slow dynamics locally around x or we compute y numerically at each x . However, it is well known that solving nonlinear algebraic equations analytically is quite difficult and numerical solution methods also face many
APA, Harvard, Vancouver, ISO, and other styles
37

Parra, Rodrigo. "Equidistribution towards the Green current in complex dynamics." Doctoral thesis, KTH, Matematik (Inst.), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-34264.

Full text
Abstract:
Given a holomorphic self-map of complex projective space of de-gree larger than one, we prove that there exists a finite collection oftotally invariant algebraic sets with the following property: given anypositive closed (1,1)-current of mass 1 with no mass on any element of this family, the sequence of normalized pull-backs of the current converges to the Green current. Under suitable geometric conditions on the collection of totally invariant algebraic sets, we prove a sharper equidistribution result.<br><p>QC 20110530</p>
APA, Harvard, Vancouver, ISO, and other styles
38

Sayer, Ryan Thomas. "Quantum Dynamics Using Lie Algebras, with Explorations in the Chaotic Behavior of Oscillators." BYU ScholarsArchive, 2012. https://scholarsarchive.byu.edu/etd/3285.

Full text
Abstract:
We study the time evolution of driven quantum systems using analytic, algebraic, and numerical methods. First, we obtain analytic solutions for driven free and oscillator systems by shifting the coordinate and phase of the undriven wave function. We also factorize the quantum evolution operator using the generators of the Lie algebra comprising the Hamiltonian. We obtain coupled ODE's for the time evolution of the Lie algebra parameters. These parameters allow us to find physical properties of oscillator dynamics. In particular we find phase-space trajectories and transition probabilities. We
APA, Harvard, Vancouver, ISO, and other styles
39

Adiguzel, Mehmet Emin. "A new control treatise of dynamic systems via algebraic state equations "Direct Optimal Control" /." The Ohio State University, 1994. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487858417983374.

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

Svensson, Carl-Magnus. "Dynamics of spatially extended dendrites." Thesis, University of Nottingham, 2009. http://eprints.nottingham.ac.uk/10788/.

Full text
Abstract:
Dendrites are the most visually striking parts of neurons. Even so many neuron models are of point type and have no representation of space. In this thesis we will look at a range of neuronal models with the common property that we always include spatially extended dendrites. First we generalise Abbott’s “sum-over-trips” framework to include resonant currents. We also look at piece-wise linear (PWL) models and extend them to incorporate spatial structure in the form of dendrites. We look at the analytical construction of orbits for PWL models. By using both analytical and numerical Lyapunov ex
APA, Harvard, Vancouver, ISO, and other styles
41

Cirstea, Corina. "Integrating observations and computations in the specification of state-based, dynamical systems." Thesis, University of Oxford, 2000. https://eprints.soton.ac.uk/263009/.

Full text
Abstract:
The overall goal of this work is to combine the complementary contributions of algebra and coalgebra to specification, in order to provide a formal framework for the specification of state-based, dynamical systems. Algebraic specification methods benefit from the availability of inductive techniques for defining and reasoning about structures that involve computation; coalgebraic specification methods complement algebraic ones both in their objectives and in their means of achieving them, by employing coinductive techniques for defining and reasoning about structures that involve observation.
APA, Harvard, Vancouver, ISO, and other styles
42

Gritsis, Dimitrios. "The dynamic simulation and optimal control of systems described by index two differential-algebraic equations." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/8535.

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

Crumey, A. D. W. B. "Integrable dynamical systems associated with Kac-Moody algebras." Thesis, Imperial College London, 1988. http://hdl.handle.net/10044/1/47012.

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

Filali, Amine Ghali. "Dynamical reflection algebras and associated boundary integrable models." Thesis, Cergy-Pontoise, 2011. http://www.theses.fr/2011CERG0567/document.

Full text
Abstract:
Cette thèse s’inscrit dans le cadre général de la théorie des systèmes intégrables avec bords et le développement des structures algébriques associées.D’une part, nous nous attaquons au problème de la diagonalisation de l’hamiltonien du modèle XXZ avec bords non diagonaux. Nous exhibons les deux ensembles d’états propres et valeurs propres du modèle si les paramètres de bords satisfont deux conditions.D’autre part, nous introduisons un modèle de physique statistique que nous appelons le modèle face avec un bord réfléchissant. Nous calculons exactement sa fonction de partition et nous montrons
APA, Harvard, Vancouver, ISO, and other styles
45

Lacoursière, Claude. "Ghosts and machines : regularized variational methods for interactive simulations of multibodies with dry frictional contacts." Doctoral thesis, Umeå University, Computing Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-1143.

Full text
Abstract:
<p>A time-discrete formulation of the variational principle of mechanics is used to provide a consistent theoretical framework for the construction and analysis of low order integration methods. These are applied to mechanical systems subject to mixed constraints and dry frictional contacts and impacts---machines. The framework includes physics motivated constraint regularization and stabilization schemes. This is done by adding potential energy and Rayleigh dissipation terms in the Lagrangian formulation used throughout. These terms explicitly depend on the value of the Lagrange multipliers e
APA, Harvard, Vancouver, ISO, and other styles
46

Di, Salvo Rosa. "Dynamics of Classical Systems in the Operator Algebra of Quantum Mechanics." Doctoral thesis, Università di Catania, 2017. http://hdl.handle.net/10761/3846.

Full text
Abstract:
The use of the formalism and the operatorial techniques typical of quantum mechanics proved in recent years to be an effective approach for the description of even macroscopic systems characterized by complex interactions in several contexts with interesting applications both in the bioecological and in the socioeconomic area. The operatorial approach, based on raising and lowering operators, especially using the number representation, provides useful tools for modeling collective dynamics of spatially distributed physical systems in a completely general and precise way. Quantum-like models (n
APA, Harvard, Vancouver, ISO, and other styles
47

Wang, Xuyan. "Landscape dynamic modelling with vector map algebra in GIS /." [St. Lucia, Qld.], 2004. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe18161.pdf.

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

Stigler, Brandilyn Suzanne. "An Algebraic Approach to Reverse Engineering with an Application to Biochemical Networks." Diss., Virginia Tech, 2005. http://hdl.handle.net/10919/28791.

Full text
Abstract:
One goal of systems biology is to predict and modify the behavior of biological networks by accurately monitoring and modeling their responses to certain types of perturbations. The construction of mathematical models based on observation of these responses, referred to as reverse engineering, is an important step in elucidating the structure and dynamics of such networks. Continuous models, described by systems of differential equations, have been used to reverse engineer biochemical networks. Of increasing interest is the use of discrete models, which may provide a conceptual description of
APA, Harvard, Vancouver, ISO, and other styles
49

Hart, Robert. "A Non-commutative *-algebra of Borel Functions." Thèse, Université d'Ottawa / University of Ottawa, 2012. http://hdl.handle.net/10393/23235.

Full text
Abstract:
To the pair (E,c), where E is a countable Borel equivalence relation on a standard Borel space (X,A) and c a normalized Borel T-valued 2-cocycle on E, we associate a sequentially weakly closed Borel *-algebra Br*(E,c), contained in the bounded linear operators on L^2(E). Associated to Br*(E,c) is a natural (Borel) Cartan subalgebra (Definition 6.4.10) L(Bo(X)) isomorphic to the bounded Borel functions on X. Then L(Bo(X)) and its normalizer (the set of the unitaries u in Br*(E,c) such that u*fu in L(Bo(X)), f in L(Bo(X))) countably generates the Borel *-algebra Br*(E,c). In this thesis, we stud
APA, Harvard, Vancouver, ISO, and other styles
50

Skjellum, Anthony Morari Manfred. "Concurrent dynamic simulation : multicomputer algorithms research applied to ordinary differential-algebraic process systems in chemical engineering /." Diss., Pasadena, Calif. : California Institute of Technology, 1990. http://resolver.caltech.edu/CaltechETD:etd-11132007-090727.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Algebraic dynamics' for other source types:
Journal articles Books
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