Log in

Relevant bibliographies by topics / Symbol dynamics / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Symbol dynamics.

Dissertations / Theses on the topic 'Symbol dynamics'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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 'Symbol 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

Winston, Summer D. "Not Just a Symbol But a Status Symbol." ScholarWorks@UNO, 2012. http://scholarworks.uno.edu/td/1505.

Full text

Abstract:

I create art, not out of a deep understanding of the world around me, but out of a lack of one. Human psychology, motives, behaviors, stressors, intentions and identity are the themes that boggle me the most. Therefore, it is only natural that my work would be fueled by the questions these themes pose. In the past I sought to understand what pushes people to make certain choices and how can the world around us affect the formation of identity. Currently I wonder about identity in terms of what do people use to form and reinforce identity both real and fabricated. In addition to this I am worki

APA, Harvard, Vancouver, ISO, and other styles

2

Ma, Kăichén. "Robust dynamic symbol recognition : the ClockSketch classifier." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/91841.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, June 2014.<br>Cataloged from PDF version of thesis. "May 2013."<br>Includes bibliographical references (page 61).<br>I present an automatic classifier for the digitized clock drawing test, a neurological diagnostic exam used to assess patients' mental acuity by having them draw an analog clock face using a digitizing pen. This classifier assists human examiners in clock drawing interpretation by labeling several basic components of a drawing, including its outline, numerals, hands

APA, Harvard, Vancouver, ISO, and other styles

3

Zivanovic, Sanja. "Attractors in Dynamics with Choice." Scholarly Repository, 2009. http://scholarlyrepository.miami.edu/oa_dissertations/210.

Full text

Abstract:

Dynamics with choice is a generalization of discrete-time dynamics where instead of the same evolution operator at every time step there is a choice of operators to transform the current state of the system. Many real life processes studied in chemical physics, engineering, biology and medicine, from autocatalytic reaction systems to switched systems to cellular biochemical processes to malaria transmission in urban environments, exhibit the properties described by dynamics with choice. We study the long-term behavior in dynamics with choice. We prove very general results on the existence and

APA, Harvard, Vancouver, ISO, and other styles

4

MORAES, RODRIGO BASTOS. "DYNAMIC PILOT-SYMBOL ALLOCATION FOR CLOSED-LOOP OFDM SYSTEMS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2009. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14311@1.

Full text

Abstract:

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>FUNDAÇÃO DE APOIO À PESQUISA DO ESTADO DO RIO DE JANEIRO<br>Sistemas OFDM têm conseguido atenção dos órgãos internacionais de padronização na última década. Vários trabalhos na literatura tratam sobre como otimizar a transmissão desses sistemas na situação de enlace aberto, ou seja, onde não há comunicação reversa entre transmissor e receptor. Este trabalho foca a utilização de enlace fechado para sistemas de transmissão OFDM, um assunto pouco explorado até agora. Aq

APA, Harvard, Vancouver, ISO, and other styles

5

Rocha, André Cavalcanti. "Symbolic dynamics for Kleinian groups." Thesis, University of Warwick, 1994. http://wrap.warwick.ac.uk/66721/.

Full text

Abstract:

This thesis is composed of three independent chapters and an appendix. In the first two chapters we deal with Kleinian groups and in the third one we concentrate on Fuchsian groups. In chapters 1 and 2, we study the action of a Kleinian group on points in hyperbolic space of three dimensions and on points on its boundary. All Kleinian groups we study have the property that their action on points in the hyperbolic 3-space has a fundamental polyhedron with the property that the union of the images of its faces under the group elements contains each geodesic plane that contains one of the faces.

APA, Harvard, Vancouver, ISO, and other styles

6

Pugh, Jeffrey Raymond, and jpugh@bcv vic edu au. "Symbols of Dysfunction, Strategies for Renewal." Flinders University. EHLT, 2006. http://catalogue.flinders.edu.au./local/adt/public/adt-SFU20060227.150043.

Full text

Abstract:

This thesis is an exploration of five church communities, three of which are represented in depth. These communities have as a common narrative plot a period of significant decline followed by renewal and growth.The frameworks employed to understand these corporate narratives are an Organizational Culture, a Family Systems and an Organizational Psychological lens. The efficacy of each lens is assessed as to its ability to interpret each narrative coherently. Then the narratives are interpreted with all lenses used in parallel. The results of the thesis indicate that periods of decline were ass

APA, Harvard, Vancouver, ISO, and other styles

7

Bauer, Michael. "Dynamical characterization of Markov processes with varying order." Master's thesis, [S.l. : s.n.], 2009. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200900153.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Brucks, Karen M. (Karen Marie) 1957. "Dynamics of One-Dimensional Maps: Symbols, Uniqueness, and Dimension." Thesis, North Texas State University, 1988. https://digital.library.unt.edu/ark:/67531/metadc332102/.

Full text

Abstract:

This dissertation is a study of the dynamics of one-dimensional unimodal maps and is mainly concerned with those maps which are trapezoidal. The trapezoidal function, f_e, is defined for eΣ(0,1/2) by f_e(x)=x/e for xΣ[0,e], f_e(x)=1 for xΣ(e,1-e), and f_e(x)=(1-x)/e for xΣ[1-e,1]. We study the symbolic dynamics of the kneading sequences and relate them to the analytic dynamics of these maps. Chapter one is an overview of the present theory of Metropolis, Stein, and Stein (MSS). In Chapter two a formula is given that counts the number of MSS sequences of length n. Next, the number of distinct

APA, Harvard, Vancouver, ISO, and other styles

9

Dykstra, Andrew. "Two equivalence relations in symbolic dynamics." College Park, Md. : University of Maryland, 2007. http://hdl.handle.net/1903/6815.

Full text

Abstract:

Thesis (Ph. D.) -- University of Maryland, College Park, 2007.<br>Thesis research directed by: Mathematics. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.

APA, Harvard, Vancouver, ISO, and other styles

10

Seward, Brandon Michael Gao Su. "On the density of minimal free subflows of general symbolic flows." [Denton, Tex.] : University of North Texas, 2009. http://digital.library.unt.edu/permalink/meta-dc-11009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Wilhelmij, Gerrit Paul. "Symbolic simulation of dynamic systems." Thesis, University of Cambridge, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305630.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Tino, Peter, Christian Schittenkopf, Georg Dorffner, and Engelbert J. Dockner. "A symbolic dynamics approach to volatility prediction." SFB Adaptive Information Systems and Modelling in Economics and Management Science, WU Vienna University of Economics and Business, 1998. http://epub.wu.ac.at/1142/1/document.pdf.

Full text

Abstract:

We consider the problem of predicting the direction of daily volatility changes in the Dow Jones Industrial Average (DJIA). This is accomplished by quantizing a series of historic volatility changes into a symbolic stream over 2 or 4 symbols. We compare predictive performance of the classical fixed-order Markov models with that of a novel approach to variable memory length prediction (called prediction fractal machine, or PFM) which is able to select very specific deep prediction contexts (whenever there is a sufficient support for such contexts in the training data). We learn that daily volat

APA, Harvard, Vancouver, ISO, and other styles

13

Carmantini, Giovanni Sirio. "Dynamical systems theory for transparent symbolic computation in neuronal networks." Thesis, University of Plymouth, 2017. http://hdl.handle.net/10026.1/8647.

Full text

Abstract:

In this thesis, we explore the interface between symbolic and dynamical system computation, with particular regard to dynamical system models of neuronal networks. In doing so, we adhere to a definition of computation as the physical realization of a formal system, where we say that a dynamical system performs a computation if a correspondence can be found between its dynamics on a vectorial space and the formal system’s dynamics on a symbolic space. Guided by this definition, we characterize computation in a range of neuronal network models. We first present a constructive mapping between a r

APA, Harvard, Vancouver, ISO, and other styles

14

Desai, Angela Veronica. "Zd̲ symbolic dynamics coding with an entropy inequality /." College Park, Md. : University of Maryland, 2006. http://hdl.handle.net/1903/3531.

Full text

Abstract:

Thesis (Ph. D.) -- University of Maryland, College Park, 2006.<br>Thesis research directed by: Mathematics. Title from t.p. of PDF. On t.p. "d̲" is superscript. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.

APA, Harvard, Vancouver, ISO, and other styles

15

Motazedi, Niloufar. "The development of solvers for Symbolic Computational Dynamics." Thesis, University of Sheffield, 2017. http://etheses.whiterose.ac.uk/18069/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Fontana, Antonio Pietro. "On a proposed symbolic dynamics for the Hénon map /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA272514.

Full text

Abstract:

Thesis (M.S. in Applied Mathematics) Naval Postgraduate School, June 1993.<br>Thesis advisor(s): Jeffery J. Leader ; Ismor Fischer. "June 1993." Includes bibliographical references. Also available online.

APA, Harvard, Vancouver, ISO, and other styles

17

Fontana, Antonio Pietro. "On a proposed symbolic dynamics for the HGenon map." Thesis, Monterey, California. Naval Postgraduate School, 1993. http://hdl.handle.net/10945/27182.

Full text

Abstract:

The utility of a computationally simple yet cryptologically robust rule for generating pseudorandom bitstreams cannot be overstated. In most applications we strive to detect and avoid chaotic behavior; here we embrace a particular chaotic discrete dynamical system to exploit its use as a driver for a pseudorandom number generator. The map from the Henon attractor to the binary domain (0,1) proposed by Forre/Heyman has been tested cryptologically and statistically with mixed results. In this thesis we mathematically evaluate this symbolic dynamics scheme and investigate more rigorously its util

APA, Harvard, Vancouver, ISO, and other styles

18

Kempton, Thomas. "Thermodynamic formalism for symbolic dynamical systems." Thesis, University of Warwick, 2011. http://wrap.warwick.ac.uk/36843/.

Full text

Abstract:

We derive results in the ergodic theory of symbolic dynamical systems. Our first result concerns β-expansions of real numbers. We show that for a fixed non-integer β > 1 and a fixed real number x ∈ [0, |β|/β-1], the number of words (x1, ..., xn) that can be extended to β-expansions of x grows at least exponentially in n. Our second result concerns definitions of topological pressure for suspension ows over countable Markov shifts. Previously, topological pressure had been considered for a restricted class of suspension ows upon which the thermodynamic formalism can be well understood using the

APA, Harvard, Vancouver, ISO, and other styles

19

Paskauskas, Rytis. "Chaotic Scattering in Rydberg Atoms, Trapping in Molecules." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/19809.

Full text

Abstract:

We investigate chaotic ionization of highly excited hydrogen atom in crossed electric and magnetic fields (Rydberg atom) and intra-molecular relaxation in planar carbonyl sulfide (OCS) molecule. The underlying theoretical framework of our studies is dynamical systems theory and periodic orbit theory. These theories offer formulae to compute expectation values of observables in chaotic systems with best accuracy available in given circumstances, however they require to have a good control and reliable numerical tools to compute unstable periodic orbits. We have developed such methods of computa

APA, Harvard, Vancouver, ISO, and other styles

20

Basios, Vasileios. "Symbolic dynamics and control of chaotic systems :a probabilistic approach." Doctoral thesis, Universite Libre de Bruxelles, 2001. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211586.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Seward, Brandon Michael. "On the density of minimal free subflows of general symbolic flows." Thesis, University of North Texas, 2009. https://digital.library.unt.edu/ark:/67531/metadc11009/.

Full text

Abstract:

This paper studies symbolic dynamical systems {0, 1}G, where G is a countably infinite group, {0, 1}G has the product topology, and G acts on {0, 1}G by shifts. It is proven that for every countably infinite group G the union of the minimal free subflows of {0, 1}G is dense. In fact, a stronger result is obtained which states that if G is a countably infinite group and U is an open subset of {0, 1}G, then there is a collection of size continuum consisting of pairwise disjoint minimal free subflows intersecting U.

APA, Harvard, Vancouver, ISO, and other styles

22

Hillman, Chris. "Sturmian dynamical systems /." Thesis, Connect to this title online; UW restricted, 1998. http://hdl.handle.net/1773/5806.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Cecchi, Bernales Paulina Alejandra. "Invariant measures in symbolic dynamics : a topological, combinatorial and geometrical approach." Thesis, Sorbonne Paris Cité, 2019. https://theses.md.univ-paris-diderot.fr/CECCHI-BERNALES_Paulina_2_complete_20190626.pdf.

Full text

Abstract:

Dans ce travail nous étudions quelques propriétés des systèmes symboliques, avec un accent particulier mis sur le rôle joué par les mesures invariantes de tels systèmes. Nous nous attachons à l'étude des mesures invariantes d'un point de vue topologique, combinatoire et géométrique. Du point de vue topologique, nous nous concentrons sur le problème de l'équivalence orbitale et l'équivalence orbitale forte entre des systèmes dynamiques donnés par des actions minimales de Z, par l'étude d'un invariant algébrique, à savoir, le groupe de dimension dynamique. Notre travail donne une description du

APA, Harvard, Vancouver, ISO, and other styles

24

Alcaraz, Barrera Rafael. "Topological and symbolic dynamics of the doubling map with a hole." Thesis, University of Manchester, 2014. https://www.research.manchester.ac.uk/portal/en/theses/topological-and-symbolic-dynamics-of-the-doubling-map-with-a-hole(b6f17b43-5285-4e35-883a-baf4708993bc).html.

Full text

Abstract:

This work motivates the study of open dynamical systems corresponding to the doubling map. In particular, the dynamical properties of the attractor of the doubling map when a symmetric, centred open interval is removed are studied. Using the arithmetical properties of the binary expansion of the points on the boundary of the removed interval, we study properties such as topological transitivity, the specification property and intrinsic ergodicity. The properties of the function that associates to each hole $(a,b)$ the topological entropy of the attractor of the considered dynamical system are

APA, Harvard, Vancouver, ISO, and other styles

25

Shen, Dan. "Nash strategies for dynamic noncooperative linear quadratic sequential games." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1156434869.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Improta, Giovanni <1975&gt. "Symbolic Dynamics Analysis: a new methodology for foetal heart rate variability analysis." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amsdottorato.unibo.it/6953/.

Full text

Abstract:

Cardiotocography (CTG) is a widespread foetal diagnostic methods. However, it lacks of objectivity and reproducibility since its dependence on observer's expertise. To overcome these limitations, more objective methods for CTG interpretation have been proposed. In particular, many developed techniques aim to assess the foetal heart rate variability (FHRV). Among them, some methodologies from nonlinear systems theory have been applied to the study of FHRV. All the techniques have proved to be helpful in specific cases. Nevertheless, none of them is more reliable than the others. Therefore, an i

APA, Harvard, Vancouver, ISO, and other styles

27

Gundlach, Volker Matthias. "Symbolic dynamics, shadowing and Gibbs states for some spatio-temporal chaotic systems." Thesis, University of Warwick, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.304618.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Xu, Dan. "Superstatistics and symbolic dynamics of share price returns on different time scales." Thesis, Queen Mary, University of London, 2017. http://qmro.qmul.ac.uk/xmlui/handle/123456789/24873.

Full text

Abstract:

Share price returns on different time scales can be well modeled by a superstatistical dynamics. We provide an investigation which type of superstatistics is most suitable to properly describe share price dynamics on various time scales. It is shown that while chi-square-superstatistics works well on a time scale of days, on a much smaller time scale of minutes the price changes are better described by lognormal superstatistics. The system dynamics thus exhibits a transition from lognormal to chi-square-superstatistics as a function of time scale. We discuss a more general model interpolating

APA, Harvard, Vancouver, ISO, and other styles

29

Cléa, Gomes da Silva Alzennyr. "Dissimilarity fuctions analysis based on dynamic clustering for symbolic data." Universidade Federal de Pernambuco, 2005. https://repositorio.ufpe.br/handle/123456789/2797.

Full text

Abstract:

Made available in DSpace on 2014-06-12T16:01:14Z (GMT). No. of bitstreams: 2 arquivo7274_1.pdf: 1733810 bytes, checksum: 2d9eb7a4489382e5afbf1790810474a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005<br>A análise de dados simbólicos (Symbolic Data Analysis) é um novo domínio na área de descoberta automática de conhecimento que visa desenvolver métodos para dados descritos por variáveis que podem assumir como valor conjuntos de categorias, intervalos ou distribuições de probabilidade. Essas novas variáveis permitem levar em conta

APA, Harvard, Vancouver, ISO, and other styles

30

Opfer, Stephan [Verfasser]. "Symbolic representation of dynamic knowledge for robotic teams / Stephan Opfer." Kassel : Universitätsbibliothek Kassel, 2021. http://d-nb.info/1240909705/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Casdagli, M. "'Symbolic dynamics for the renormalization map of a quasiperiodic Schroedinger equation' and 'Periodic orbits for dissipative twist maps'." Thesis, University of Warwick, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377091.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Rhind, Elian O. T. "Topics on Hamiltonian dynamics related to symbols of certain Schrodinger operators associated with generators of Levy processes." Thesis, Swansea University, 2018. https://cronfa.swan.ac.uk/Record/cronfa40877.

Full text

Abstract:

L ́evy processes give rise to positivity preserving one-parameter operator semigroups, a source for many studies. They are completely characterised by their characteristic exponent which is continuous and negative definite. Using Fourier analysis it can be found that also characterises the corresponding semigroup and its generator. An interesting case is where e−tψ ∈ L1 (Rn) for all t > 0. This allows us to represent the semigroup as a convolution operator. Through this transition densities are introduced, who are greatly relevant in research associated with probability theory. As a continuous

APA, Harvard, Vancouver, ISO, and other styles

33

Müller, Andreas. "Coupling analysis of transient cardiovascular dynamics." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät, 2016. http://dx.doi.org/10.18452/17452.

Full text

Abstract:

Die Untersuchung kausaler Zusammenhänge in komplexen dynamischen Systemen spielt in der Wissenschaft eine immer wichtigere Rolle. Ziel dieses aktuellen, interdisziplinären Forschungsbereiches ist ein grundlegendes, tiefes Verständnis der vorherrschenden Prozesse und deren Wechselwirkungen in solchen Systemen. Die Untersuchung von Zeitreihen mithilfe moderner Kopplungsanalysemethoden liefert dabei Möglichkeiten zur Modellierung der betreffenden Systeme und somit bessere Vorhersagemethoden und fortgeschrittene Interpretationsmöglichkeiten der Ergebnisse. In der vorliegenden Arbeit werden zunächs

APA, Harvard, Vancouver, ISO, and other styles

34

Liu, Xianping. "Symbolic tools for the analysis of nonlinear dynamical systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0010/NQ42542.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Wheeler, Russell Clark. "Using symbolic dynamical systems: A search for knot invariants." CSUSB ScholarWorks, 1998. https://scholarworks.lib.csusb.edu/etd-project/3033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Baker, Anthony W. "Bounding entropy and finding symbolic dynamics via the spectrum of the Conley index." Thesis, Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/29181.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Pavlov, Ronald Lee. "Some results on recurrence and entropy." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1180454690.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Fu, Xin-Chu. "Dynamical behaviour of a class of discontinuous maps and related topics." Thesis, University of Exeter, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366618.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Schmallowsky, Antje. "Visualisierung dynamischer Raumphänomene in Geoinformationssystemen." Phd thesis, Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2010/4126/.

Full text

Abstract:

Die visuelle Kommunikation ist eine effiziente Methode, um dynamische Phänomene zu beschreiben. Informationsobjekte präzise wahrzunehmen, einen schnellen Zugriff auf strukturierte und relevante Informationen zu ermöglichen, erfordert konsistente und nach dem formalen Minimalprinzip konzipierte Analyse- und Darstellungsmethoden. Dynamische Raumphänomene in Geoinformationssystemen können durch den Mangel an konzeptionellen Optimierungsanpassungen aufgrund ihrer statischen Systemstruktur nur bedingt die Informationen von Raum und Zeit modellieren. Die Forschung in dieser Arbeit ist daher auf drei

APA, Harvard, Vancouver, ISO, and other styles

40

Béal, Marie-Pierre. "Codage, automates locaux et entropie." Paris 7, 1987. http://www.theses.fr/1987PA077181.

Full text

Abstract:

Presentation des methodes de codage de suites binaires en des suites dont les facteurs satisfont certaines contraintes traduisant des limitations physiques dans des systemes de transmission ou de stockage de donnees. Traitement sous l'angle de la theorie des codes et des automates finis

APA, Harvard, Vancouver, ISO, and other styles

41

Krishnamoorthy, Saparya. "Strategies for Scalable Symbolic Execution-based Test Generation." Thesis, Virginia Tech, 2010. http://hdl.handle.net/10919/33997.

Full text

Abstract:

With the advent of advanced program analysis and constraint solving techniques, several test generation tools use variants of symbolic execution. Symbolic techniques have been shown to be very effective in path-based test generation; however, they fail to scale to large programs due to the exponential number of paths to be explored. In this thesis, we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution, while exploring only a fraction of paths in the program. We present a reachability-guided strategy that makes u

APA, Harvard, Vancouver, ISO, and other styles

42

Epperlein, Jeremias. "Topological Conjugacies Between Cellular Automata." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-231823.

Full text

Abstract:

We study cellular automata as discrete dynamical systems and in particular investigate under which conditions two cellular automata are topologically conjugate. Based on work of McKinsey, Tarski, Pierce and Head we introduce derivative algebras to study the topological structure of sofic shifts in dimension one. This allows us to classify periodic cellular automata on sofic shifts up to topological conjugacy based on the structure of their periodic points. We also get new conjugacy invariants in the general case. Based on a construction by Hanf and Halmos, we construct a pair of non-homeomorp

APA, Harvard, Vancouver, ISO, and other styles

43

Mihatsch, Steffen. "Investigation of the dynamics and synchronization effects in coupled systems by means of symbolic representations." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-143889.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Torrentino, Taciano. "Experimental and numerical study of the symbolic dynamics of modulated semiconductor lasers with optical feedback." Doctoral thesis, Universitat Politècnica de Catalunya, 2015. http://hdl.handle.net/10803/321354.

Full text

Abstract:

The goal of this thesis is to investigate the influence of current modulation in the dynamics of the low-frequency fluctuations (LFF) regime induced by optical feedback in semiconductor lasers. In this regime the laser output exhibits apparently random and sudden dropouts that, in some statistical properties, are similar to excitable neuronal spikes. Long time series containing tens of thousands of LFF dropouts were experimentally acquired and simulated, using the Lang and Kobayashi model, under different conditions. By detecting the individual dropouts, the intensity time series were transfor

APA, Harvard, Vancouver, ISO, and other styles

45

Bjork, Dane Jordan. "An Algorithm for Symbolic Computing of Singular Limits of Dynamical Systems." BYU ScholarsArchive, 2018. https://scholarsarchive.byu.edu/etd/6948.

Full text

Abstract:

The manifold boundary approximation method, MBAM is a new technique used in approximating systems of equations using parameter reduction. This method and other approximation methods are introduced and described. Several current issues in performing MBAM are discussed in further detail. These issues significantly slow down the process of MBAM and create a barrier of entry for those wishing to use the method without a strong background in mathematics. A solution is proposed to automatically reparameterize models and evaluate specific types of variables approaching limits -- significantly speedin

APA, Harvard, Vancouver, ISO, and other styles

46

Leonelli, Luca <1986&gt. "Dynamic analysis of the motorcycle chattering behaviour by means of symbolic multibody modelling." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amsdottorato.unibo.it/6587/.

Full text

Abstract:

Aim of this research is the development and validation of a comprehensive multibody motorcycle model featuring rigid-ring tires, taking into account both slope and roughness of road surfaces. A novel parametrization for the general kinematics of the motorcycle is proposed, using a mixed reference-point and relative-coordinates approach. The resulting description, developed in terms of dependent coordinates, makes it possible to efficiently include rigid-ring kinematics as well as road elevation and slope. The equations of motion for the multibody system are derived symbolically and the constra

APA, Harvard, Vancouver, ISO, and other styles

47

Harris, Bradley William. "Anomaly detection in rolling element bearings via two-dimensional Symbolic Aggregate Approximation." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/23103.

Full text

Abstract:

Symbolic dynamics is a current interest in the area of anomaly detection, especially in mechanical systems. Symbolic dynamics reduces the overall dimensionality of system responses while maintaining a high level of robustness to noise. Rolling element bearings are particularly common mechanical components where anomaly detection is of high importance. Harsh operating conditions and manufacturing imperfections increase vibration innately reducing component life and increasing downtime and costly repairs. This thesis presents a novel way to detect bearing vibrational anomalies through Symbol

APA, Harvard, Vancouver, ISO, and other styles

48

Aragoneses, Aguado Andrés. "Experimental study of feedback-induced dynamics in semiconductor lasers : from symbolic analysis to subwavelength position sensing." Doctoral thesis, Universitat Politècnica de Catalunya, 2014. http://hdl.handle.net/10803/277569.

Full text

Abstract:

The aim of this thesis is the study of the dynamics induced by optical feedback in semiconductor lasers. This study aims, on the one hand, to improve our knowledge of stocahstic complex systems, and on the other hand, to use complex dynamics of semiconductor lasers to develop a protocol for subwavelength position sensing. The intensity of the light emitted by a semiconductor laser is stable, besides fluctuations due to spontaneous emission noise. When the light of the laser is reflected and part re-enters into the laser, the laser intensity can become unstable, displaying a broad range of dyna

APA, Harvard, Vancouver, ISO, and other styles

49

Mystakidis, Symeon [Verfasser], and Peter [Akademischer Betreuer] Schmelcher. "Non-Equilibrium Correlated Quantum Dynamics of Lattice Trapped Finite Bosonic Ensembles / Symeon Mystakidis ; Betreuer: Peter Schmelcher." Hamburg : Staats- und Universitätsbibliothek Hamburg, 2019. http://d-nb.info/1186891432/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Moles, Jordan. "On concentration inequalities for equilibrium states in lattice and symbolic dynamical systems." Thesis, Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAX102.

Full text

Abstract:

Cette étude traite de l'existence de concentration Gaussienne pour des états d'équilibre suffisamment mélangeant sur réseau. De plus, nous montrons qu'une telle condition assure l'unicité de ceux-ci.Dans le premier chapitre, nous montrons que si un état d'équilibre associé à un potentiel invariant par décalage et absolument sommable satisfait la concentration Gaussienne alors il est à fortiori mélangeant et unique i.e. il ne peut y avoir transition de phase.Par la suite, nous étudions numériquement un modèle physique particulier autorisant une transition de phase à savoir le modèle d'Ising fer

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!