Log in

Relevant bibliographies by topics / Symbolic tools / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Symbolic tools.

Dissertations / Theses on the topic 'Symbolic tools'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

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

Select a source type:

Consult the top 26 dissertations / theses for your research on the topic 'Symbolic tools.'

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

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

2

Walczuk, Maria. "Tools of Vulnerability : How can tools to access vulnerability be a symbolic key to unlocking the transformative power of resilience in a narrative?" Thesis, Stockholms konstnärliga högskola, Institutionen för film och media, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uniarts:diva-746.

Full text

Abstract:

My film work has revolved around a hypothesis of vulnerability with my artistic research question: in the context of interviews and the larger scope of cinematic storytelling, how can tools to access vulnerability be a symbolic key to unlocking the transformative power of resilience in a narrative? Proposed Methodology: I. The Privilege of Listening II. The Power of Silence III. Trust & Intuition IV. The Light of Vulnerability V. Discovery of Resilience<br>This is a written companion piece to the graduation short film, "Rise" by Maria Karin Walczuk.

APA, Harvard, Vancouver, ISO, and other styles

3

Nguyễn, Huu Nghia (Hữu Nghĩa). "A symbolic approach for the verification and the test of service choreographies." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00961450.

Full text

Abstract:

Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a frame

APA, Harvard, Vancouver, ISO, and other styles

4

Nguyễn, Hữu Nghĩa. "A symbolic approach for the verification and the test of service choreographies." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112250/document.

Full text

Abstract:

L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes

APA, Harvard, Vancouver, ISO, and other styles

5

Palikareva, Hristina. "Techniques and tools for the verification of concurrent systems." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8.

Full text

Abstract:

Model checking is an automatic formal verification technique for establishing correctness of systems. It has been widely used in industry for analysing and verifying complex safety-critical systems in application domains such as avionics, medicine and computer security, where manual testing is infeasible and even minor errors could have dire consequences. In our increasingly parallelised world, concurrency has become pivotal and seamlessly woven within programming paradigms, however, extremely challenging when it comes to modelling and establishing correctness of intended behaviour. Tools for

APA, Harvard, Vancouver, ISO, and other styles

6

Verhoeven, Gregor Günther [Verfasser], Claus [Akademischer Betreuer] [Gutachter] Hillermeier, and Jean [Gutachter] Lévine. "Symbolic Software Tools for Flatness of Linear Systems with Delays and Nonlinear Systems / Gregor Günther Verhoeven ; Gutachter: Claus Hillermeier, Jean Lévine ; Akademischer Betreuer: Claus Hillermeier ; Universität der Bundeswehr München, Fakultät für Elektrotechnik und Informationstechnik." Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München, 2016. http://d-nb.info/111703593X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Verhoeven, Gregor Günther Verfasser], Claus [Akademischer Betreuer] [Hillermeier, and Jean [Gutachter] Lévine. "Symbolic Software Tools for Flatness of Linear Systems with Delays and Nonlinear Systems / Gregor Günther Verhoeven ; Gutachter: Claus Hillermeier, Jean Lévine ; Akademischer Betreuer: Claus Hillermeier ; Universität der Bundeswehr München, Fakultät für Elektrotechnik und Informationstechnik." Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München, 2016. http://nbn-resolving.de/urn:nbn:de:bvb:706-4788.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Feng, Zimin. "SymGF: a symbolic tool for quantum transport theory." Thesis, McGill University, 2012. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=107697.

Full text

Abstract:

In this thesis, I report the development and application of a symbolic derivation tool named "SymGF'' - standing for Symbolic Green's Function, that can automatically and analytically derive quantum transport expressions and the associated Keldysh nonequilibrium Green's functions (NEGF). Quantum transport happens in open systems consisting of a scattering region coupled to external electrodes. When there are strong electron-electron interactions in the scattering region, analytical derivations of the Green's functions can be very tedious and error prone. Running on a personal computer, SymGF d

APA, Harvard, Vancouver, ISO, and other styles

9

Pettersson, Helena. "Boundaries, believers and bodies : a cultural analysis of a multidisciplinary research community." Doctoral thesis, Umeå : Institutionen för kultur och medier, Umeå universitet, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-1088.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lynch, Angelique. "Adjusted Tools." Digital Commons @ East Tennessee State University, 2012. https://dc.etsu.edu/etd/1499.

Full text

Abstract:

This thesis supports the Master of Fine Arts exhibition, Adjusted Tools, at the Tipton Gallery, East Tennessee State University, Johnson City, Tennessee, from August 3rd thru August 29th, 2012. The exhibition is comprised of eight sculptures, which are presented on pedestals and wall mounted. The artist references her own investigation of social patterns associated with preconceived roles of gender and how those patterns relate to housework. The artist experiments with an array of different materials including wood, stone, steel, and bronze that are fashioned into forms such as irons, ironing

APA, Harvard, Vancouver, ISO, and other styles

11

Fridrichová, Eva. "Vizuální řeč ovladačů a sdělovačů obráběcích strojů v Československu z let 1947-1990." Doctoral thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2017. http://www.nusl.cz/ntk/nusl-364593.

Full text

Abstract:

This thesis deals with the development of graphical symbols on the control panels of machine tools made by Czech factories TOS from the years 1947–1990. The aim is description genesis graphics controllers and communicators of machine tools and their inclusion in the context of the development of graphic design. As well as determine the influence of design in area of operational graphics. This area has not yet been subjected to closer examination and in terms of consistency of the historical aspects of the Czech graphic is benefit to the future.

APA, Harvard, Vancouver, ISO, and other styles

12

Awadallah, Amany Z. "A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net." FIU Digital Commons, 2004. http://digitalcommons.fiu.edu/etd/1346.

Full text

Abstract:

The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT Net is a formal model of information flow which allows system properties to be modeled and analyzed. The aim of this thesis was to use the modeling and analysis power of PrT nets to provide a mechanism for the system model to be verified. Symbolic Model Verifier (SMV) was the model checker chosen in this thesis, and in order to verify the PrT net model of a system, it was translated to SMV input language. A software tool was implemented which translates the

APA, Harvard, Vancouver, ISO, and other styles

13

Alieu, Sanyang Famara. "Are patient satisfaction surveys tools for quality improvement or mere symbolism? : The case of Østfold Hospital Trust in Norway." Thesis, Nordic School of Public Health NHV, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:norden:org:diva-3240.

Full text

Abstract:

In 1997 and 2002 the Østfold Hospital Trust conducted patient satisfaction surveys. This study presented the results of the 2002 survey and compares them with the 1997 results. This is done to ascertain if there are any changes with regards to the dimensions the hospital scored poorly on in 1997. The purpose of this study is to find out if the patient satisfaction survey conducted at the Østfold Hospital Trust in 1997 was a serious attempt to improve the quality of the health care provided or only a symbolic act. The concepts of innovation, rational choice and institutional theory were used as

APA, Harvard, Vancouver, ISO, and other styles

14

Berry, Michael James. "Exploring the hypothetical as an intervention tool for organisation communication, using the case study of Centrelink as the basis for the exploration." Thesis, Queensland University of Technology, 2003. https://eprints.qut.edu.au/15855/1/Michael_Berry_Thesis.pdf.

Full text

Abstract:

This study is an exploration of a change management intervention tool described here as the Hypothetical'. This tool is not described in organisation literature, but many of its functions and features can be found in theories relating to, for example, organisational communication, change management, leadership and team dynamics. The Hypothetical does, however, appear as a discussion forum in the popular media. In the 1980s and 1990s, the high profile television program, Hypotheticals, hosted by Geoffrey Robertson QC, dramatised decision making processes, and teased out some of the moral dilemm

APA, Harvard, Vancouver, ISO, and other styles

15

Berry, Michael James. "Exploring the Hypothetical as an intervention tool for organisation communication, using the case study of Centrelink as the basis for the exploration." Queensland University of Technology, 2003. http://eprints.qut.edu.au/15855/.

Full text

Abstract:

This study is an exploration of a change management intervention tool described here as the Hypothetical'. This tool is not described in organisation literature, but many of its functions and features can be found in theories relating to, for example, organisational communication, change management, leadership and team dynamics. The Hypothetical does, however, appear as a discussion forum in the popular media. In the 1980s and 1990s, the high profile television program, Hypotheticals, hosted by Geoffrey Robertson QC, dramatised decision making processes, and teased out some of the moral dilemm

APA, Harvard, Vancouver, ISO, and other styles

16

Faye, Alexandrine. "Troubles d'utilisation d'outils et de la cognition numérique après lésions vasculaires cérébrales : deux faces d'une même pièce ?" Thesis, Lyon, 2018. http://www.theses.fr/2018LYSE2135/document.

Full text

Abstract:

L’utilisation d’outils est un trait définitoire du genre Homo. Il est donc fondamental de mieux connaître les bases cognitives et cérébrales nous permettant d’utiliser des outils. Les modèles cognitivistes actuels expliquent l’utilisation d’outils à travers l’hypothèse de l’activation d’une mémoire gestuelle (i.e., engrammes gestuels ou visuo-kinétiques, ou connaissances sensorimotrices sur la manipulation ; voir Rothi, Ochipa, & Heilman, 1991 ; Buxbaum, 2001) ? Cette hypothèse ne permet toutefois pas de comprendre l’utilisation d’outils nouveaux. Une hypothèse alternative a été établie,

APA, Harvard, Vancouver, ISO, and other styles

17

Chu, Rita CM. "An apprenticeship in mask making: situated cognition, situated learning, and tool acquisition in the context of Chinese Dixi mask making." The Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=osu1158693508.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Säll, Daniel. "Hur används vetenskap och forskning i den politiska debatten? : Idéanalys av debatten kring försäkringsmedicinskt beslutsstöd." Thesis, Södertörn University College, School of Social Sciences, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-1788.

Full text

Abstract:

<p>How is research and science being used in political debate? An idea analysis of the debate about försäkringsmedicinskt beslutsstöd (decision tool in healthcare security)</p><p>This is a case study on different types of research use (utilization) The aim of this paper is to examine how the politicians make use of expertise and research in the parliamentary debate surrounding the decision tool in healthcare security (försäkringsmedicinskt beslutsstöd). The aim is also to find out to what extent different types of research use are present in this debate. In this case study the qualitative meth

APA, Harvard, Vancouver, ISO, and other styles

19

Idris, Nuru Muna, and Linnea Sjöbrink. "En organisatorisk förändring för att uppnå effektivitet eller legitimitet? : En kvalitativ studie på en av Sveriges Storbanker." Thesis, Södertörns högskola, Institutionen för samhällsvetenskaper, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-35711.

Full text

Abstract:

Bakgrund och problem: Studien undersöker en organisatorisk förändring i en av Sveriges storbanker. Organisatoriska förändringar kan förklaras utifrån olika teorier. Författarna undersöker avsikten och tolkningen bakom en organisatorisk förändring utifrån Røviks två perspektiv, verktyg- och symbolperspektivet. Syfte: Studiens syfte är att undersöka ledningens avsikt med den organisatoriska förändringen i en av Sveriges storbanker. Studien undersöker också medarbetarnas tolkning av ledningens avsikt och mottagandet av reformen. Metod: Studien har utförts genom en kvalitativ forskningsmetod och g

APA, Harvard, Vancouver, ISO, and other styles

20

Ng, Kelvin Kwok Cheung. "Generating dynamic verification tools for generalized symbolic trajectory evaluation (GSTE)." Thesis, 2004. http://hdl.handle.net/2429/15772.

Full text

Abstract:

Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Unfortunately, the same specification does not always work with both techniques. In particular, Generalized Symbolic Trajectory Evaluation (GSTE) is a powerful formal verification technique developed by Intel and successfully used on next-generation microprocessor designs, but the specification formalism for GSTE relies on "symbolic constants", which intrinsically exploit the underlying formal verification engine and cannot be reasonably handled via

APA, Harvard, Vancouver, ISO, and other styles

21

Hampton, Orville Winston. "Rock quarries and the manufacture, trade, and uses of stone tools and symbolic stones in the Central Highlands of Irian Jaya, Indonesia ethnoarchaeological perspectives /." 1997. http://catalog.hathitrust.org/api/volumes/oclc/42853211.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Vieira, Sara Margarida Gonçalves. "O jogo como ferramenta de aprendizagem: atividades de promoção do jogo simbólico." Master's thesis, 2015. http://hdl.handle.net/1822/43561.

Full text

Abstract:

Relatório de estágio de mestrado em Educação Pré-Escolar<br>O presente relatório surgiu no âmbito da Unidade Curricular de Prática de Ensino Supervisionada, que por sua vez é parte integrante do ciclo de estudos do Mestrado em Educação Pré-Escolar, ministrado no Instituto de Educação da Universidade do Minho, e tem como título O jogo como ferramenta de aprendizagem: atividades de promoção do jogo simbólico. O título do projeto de intervenção pedagógica foi escolhido após constatar e cruzar as necessidades e interesses do grupo de crianças em valência de jardim-de-infância, com os interes

APA, Harvard, Vancouver, ISO, and other styles

23

Casais, Mafalda. "Design with Symbolic Meaning: Introducing well-being related symbolic meaning in design." Master's thesis, 2020. http://hdl.handle.net/10451/49049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Petriščáková, Katarína. "Symbolika hrobů se zbraněmi na konci eneolitu a na začátku starší doby bronzové na území Čech." Doctoral thesis, 2019. http://www.nusl.cz/ntk/nusl-405549.

Full text

Abstract:

The aim of this study is to describe the changes at the end of the Aeneolithic period and at the beginning of the Bronze Age, on the basis of the analysis of graves with weapons and the possibilities (limits) of identifying the warrior graves in Bohemia. The end of the Aeneolithic is characterized by two cultural complexes, the Corded Ware Culture and the Bell Beaker Culture, on which the Early Bronze civilization evolved, characterized by the Únětice Culture in our context. It is in this transitional period, that graves with specific goods appear increasingly, and we can finally call these as

APA, Harvard, Vancouver, ISO, and other styles

25

劉宣妊. "The Symbolic Geometrized Family Drawing as an Assessment Tool in Evaluating Male Adult Drug Abuser's Family Function : A Preliminary Study." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/59403463786769657313.

Full text

Abstract:

碩士<br>臺北市立教育大學<br>藝術治療碩士學位學程<br>99<br>The purpose of this study is to understand three aspects. First, what are the fundamental characteristics of adult male drug abusers, the scores of family function, and the Symbolic Geometrized Family Drawing? Second, what are the differences between lower and higher family function groups in the Symbolic Geometrized Family Drawing? Third, what are the differences between their family function and Symbolic Geometrized Family Drawing? In this study, the assessment tools included the scale of family function and Symbolic Geometrized Family Drawing are tools

APA, Harvard, Vancouver, ISO, and other styles

26

Pienaar, Marinda. "Body mapping as an exploratory tool to enhance dialogue of life experiences with adolescent boys in a special youth centre." Diss., 2011. http://hdl.handle.net/10500/5591.

Full text

Abstract:

This qualitative study explored the use of Body Mapping as a tool to enhance dialogue with sentenced adolescent boys in a Special Youth Centre. Their scars and tattoos were regarded as the key to unlocking their life stories. Body maps and unstructured interviews formed the main body of data. The paradigms of both Gestalt- and occupational therapy formed the basis of the conceptual framework and a literature control was done as “theory after” as well as a method of data triangulation. Themes extracted pointed to broken bonds and familial trauma which lead the adolescents to search for be

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!