Log in

Relevant bibliographies by topics / Interpretative programmes / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Interpretative programmes.

Dissertations / Theses on the topic 'Interpretative programmes'

Author: Grafiati

Published: 4 June 2021

Last updated: 8 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 'Interpretative programmes.'

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

Powell, Ruth M., and n/a. "Drama, as a technique that can be used in environmental interpretation and education." University of Canberra. Resource, Environmental & Heritage Sciences, 1995. http://erl.canberra.edu.au./public/adt-AUC20061106.132559.

Full text

Abstract:

This work endorses the need for environmental interpretation and education because of the threat to the natural environment as a result of the lack of understanding and knowledge of environmental issues. The writer's personal perspective on the environment is described. There is a strong advocacy for the use of the fine arts in interpretative programmes as a way of reaching audiences, and particularly those individuals who learn through an abstract/symbolic modality. The use of drama is explored as one of the fine arts media through which all visitors to natural sites can gain information , ex

APA, Harvard, Vancouver, ISO, and other styles

2

Ahmad, Adnan. "Exploring the influence of interest free microfinance programmes on empowerment of the participating women borrowers in Pakistan : an interpretative inquiry." Thesis, University of Salford, 2018. http://usir.salford.ac.uk/48497/.

Full text

Abstract:

This study has argued that conventional microfinance has failed to serve a large number of Muslim consumers worldwide, which provided an opportunity to interest free microfinance to emerge as a subsector within the microfinance industry to serve this unserved target market. In the last few years, it has acquired particular recognition in Pakistan; however, there is lack of evidence to suggest that interest free microfinance is more successful than conventional microfinance. In this context, this study investigates the influence of interest free microfinance on empowerment of the women borrower

APA, Harvard, Vancouver, ISO, and other styles

3

Park, Sunghee. "Investigating athletes' retirement from sport : from decision-making to optimal support programmes." Thesis, University of Stirling, 2012. http://hdl.handle.net/1893/6498.

Full text

Abstract:

This thesis aimed to extend knowledge of athletes’ career transitions through examining athletes’ retirement decision-making process and influence of cultural diversity and organisational culture on the process of career transition. The purpose of Study 1 was to identify the current status of knowledge in the study area through providing a systematic review of the athlete career transition studies. The findings provided up to date knowledge in the study area and suggested potential future research directions. Study 2 aimed to understand Korean tennis players’ career transition out of sport exp

APA, Harvard, Vancouver, ISO, and other styles

4

Hopkins, Vivienne. "An insider perspective of participants' experiences of the benefits and barriers to attending mindfulness-based cognitive therapy reunion meetings on completion of their programmes : an interpretative phenomenological analysis." Thesis, University of Exeter, 2011. http://hdl.handle.net/10036/3262.

Full text

Abstract:

Mindfulness-based Cognitive Therapy (MBCT) is a promising approach aimed at the prevention of relapse in people suffering from recurrent depression. However little is known about what factors support gains in the longer-term. This study examines participants’ experiences of the perceived benefits and barriers to MBCT reunion attendance. Thirteen people, who had participated in MBCT classes for recurrent depression within a primary care setting, were interviewed about their experiences of the reunion meetings or their reasons for not attending. Seven of these had completed their program within

APA, Harvard, Vancouver, ISO, and other styles

5

Siste, Cláudia Elena. "A pesquisa em práticas interpretativas: estudos recentes nas universidades estaduais paulistas." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/27/27158/tde-01022010-204124/.

Full text

Abstract:

Esta pesquisa tem como objetivo investigar e traçar o perfil dos trabalhos referentes a Práticas Interpretativas, no contexto dos cursos de pós-graduação stricto sensu em Música, das universidades estaduais paulistas. Considera a forma de inserção de Práticas Interpretativas na estrutura dos programas dos referidos cursos, bem como o histórico da implantação dos programas, e analisa uma amostragem da produção acadêmica resultante, no período de 2002 a 2007, buscando estabelecer as tendências quanto a objeto de estudo e procedimentos metodológicos. Entre os procedimentos, procura demonstrar com

APA, Harvard, Vancouver, ISO, and other styles

6

Mathias, Beth. "Individual experiences of an acceptance-based pain management programme : an interpretative phenomenological analysis." Thesis, Bangor University, 2010. https://research.bangor.ac.uk/portal/en/theses/individual-experiences-of-an-aacceptancebased-pain-management-programme-an-interpretative-phenomenological-analysis(59d6a92d-a5a9-4c83-9c39-8a2367a6572f).html.

Full text

Abstract:

Although there is evidence of a positive relationship between acceptance of pain and healthy adaptation to chronic pain, such research appears to be devoid of a guiding theoretical framework. The review paper aims to investigate how 'acceptance' fits with models of adaptation to chronic pain. Fourteen-studies were reviewed and categorised into four-sections in accordance with the models of adaptation they cited. Exploration of the underlying components of the models illuminated five-key unifying concepts or 'elements' that appear to be important for adaptation: goal-setting, attention to pain,

APA, Harvard, Vancouver, ISO, and other styles

7

Piper, K. "Interpretation of clinical imaging examinations by radiographers : a programme of research." Thesis, Canterbury Christ Church University, 2014. http://create.canterbury.ac.uk/13316/.

Full text

Abstract:

Background Studies which have investigated the interpretation of plain skeletal examinations by radiographers have demonstrated encouraging findings, however, the studies have not extended beyond this area of practice and radiographers' diagnostic performance for other more complex investigations has not been established. Comparisons of performance between groups of healthcare practitioners to date, has also been limited. Aim This research programme aimed to investigate the interpretation of clinical imaging examinations by radiographers, and other healthcare practitioners, in the provision of

APA, Harvard, Vancouver, ISO, and other styles

8

Westcott, Doug. "On an implementation of abstract interpretation." Thesis, University of British Columbia, 1988. http://hdl.handle.net/2429/28354.

Full text

Abstract:

This thesis describes an implementation of abstract interpretation and its application to strictness analysis and termination analysis. The abstract interpretation is performed based on a lattice-theoretical model of abstraction, or translation, of functions expressed in a lambda-calculus notation and defined over a concrete domain into functions defined over a user-specified, application-dependent, abstract domain. The functions thus obtained are then analyzed in order to find their least fixed-points in the lattice which is the abstract domain, using a method which is a simplification of the

APA, Harvard, Vancouver, ISO, and other styles

9

Kyeyune, Apolo Peter. "The interpretation and use of mixed methods research within programme evaluation practice." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/5349.

Full text

Abstract:

Thesis (MPhil (Sociology and Social Anthropology))--University of Stellenbosch, 2010.<br>The contemporary evaluation literature advocates for and recommends a pluralistic approach to programme evaluation, with some writers contending that the use of multiple and/or mixed methods for the practice is inevitable. The rationale for such an approach encompasses aspects of both the ‘technical’ and the ‘political’ requirements of evaluation practice. A review of evaluation research literature underscores the important role of mixed methods research towards realizing richer evaluation findings, a

APA, Harvard, Vancouver, ISO, and other styles

10

Perrelle, Valentin. "Analyse statique de programmes manipulant des tableaux." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00973892.

Full text

Abstract:

L'analyse statique de programmes est un domaine crucial en compilation, en optimisation, et en validation de logiciels. Les structures de données complexes (tableaux, listes, graphes,...), omniprésentes dans les programmes, posent des problèmes difficiles, du fait qu'elles représentent des ensembles de données de taille importante ou inconnue, et que l'adressage des données dans ces ensembles est calculé (indexation, indirection). Si la vérification de la validité des accès aux tableaux a été l'une des motivations initiales de l'interprétation abstraite, la recherche de propriétés concernant l

APA, Harvard, Vancouver, ISO, and other styles

11

Botbol, Vincent. "Analyse statique de programmes concurrents avec variables numériques." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS390.pdf.

Full text

Abstract:

La vérification de systèmes distribués est un problème complexe pour de nombreuses raisons tant théoriques que pratiques, en particulier lorsque ces systèmes sont capables d'effectuer localement des calculs numériques. Le but de cette thèse est de proposer une méthode de vérification formelle de tels systèmes. Nous présentons un modèle général, basé sur l'interprétation abstraite, permettant de construire des analyses statiques pour des systèmes de processus communiquants. Notre méthodologie s'inspire du Regular Model Checking en représentant des ensembles d'états de programmes concurrents sou

APA, Harvard, Vancouver, ISO, and other styles

12

Ghorbal, Khalil. "Analyse Statique de Programmes Numériques: Ensembles Affines Contraints." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00643442.

Full text

Abstract:

Nous nous plaçons dans le cadre de l'analyse statique de programmes, et nous nous intéressons aux propriétés numériques, c'est a dire celles qui concernent les valeurs numériques des variables de programmes. Nous essayons en particulier de déterminer une sur-approximation garantie de l'ensemble de valeurs possibles pour chaque variable numérique utilisée dans le programme à analyser. Cette analyse statique est faite dans le cadre de la théorie de l'interprétation abstraite, théorie présentant un compromis entre les limites théoriques d'indécidabilite et de calculabilite et la précision des rés

APA, Harvard, Vancouver, ISO, and other styles

13

Jurow, Kate. "Making Meaning Together: The role of interpretation during a short-term nature excursion." Antioch University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=antioch1468589329.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Wood, David. "A critical re-evaluation of the impact of England's Creative Partnerships Programme (2002-11) : evidence, interpretation and clarification." Thesis, University of Gloucestershire, 2014. http://eprints.glos.ac.uk/1270/.

Full text

Abstract:

This thesis offers the first and most comprehensive re-evaluation of the UK government’s Creative Partnerships education policy (2002-11) by drawing together my seven contemporaneous evaluation reports about Creative Partnerships and applying a retrospective and reflexive commentary to them. The term of reference explicitly named or implied in all seven evaluation briefs was to measure the ‘impact,’ of the policy. The principal contribution to new understanding in the thesis is the deconstruction and conceptual analysis of impact in the context of Creative Partnerships, drawing on hermeneutics

APA, Harvard, Vancouver, ISO, and other styles

15

Rupprecht, Melina. "The Paradox of Kenyan Slum Upgrading Programme - An interpretative case study about socio-spatial exclusion in the informal settlement of Kibera." Thesis, Malmö universitet, Fakulteten för kultur och samhälle (KS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-21788.

Full text

Abstract:

This interpretative case study examines the ways in which socio-spatial exclusion is main-tained though urban planning designs in the informal settlement of Kibera in Kenya. It ap-plies the theoretical and analytical framework of T. Mitchell and A. Church, M. Frost, K. Sullivan to investigate how the urban design of the Kenyan Slum Upgrading Programme (KENSUP) contributes to the maintenance of socio-spatial hierarchies that allow for the ex-clusion of Kibera’s urban residents. This investigation is a reaction to the lacking considera-tion of implanted structural violence in place and urban dev

APA, Harvard, Vancouver, ISO, and other styles

16

Brits, Jeanette. "A framework for the use and interpretation of statistics in reading instruction / Jeanette Brits." Thesis, North-West University, 2007. http://hdl.handle.net/10394/1678.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Beedell, David C. (David Charles). "The effect of sampling error on the interpretation of a least squares regression relating phosporus and chlorophyll." Thesis, McGill University, 1995. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=22720.

Full text

Abstract:

Least squares linear regression is a common tool in ecological research. One of the central assumptions of least squares linear regression is that the independent variable is measured without error. But this variable is measured with error whenever it is a sample mean. The significance of such contraventions is not regularly assessed in ecological studies. A simulation program was made to provide such an assessment. The program requires a hypothetical data set, and using estimates of S$ sp2$ it scatters the hypothetical data to simulate the effect of sampling error. A regression line is drawn

APA, Harvard, Vancouver, ISO, and other styles

18

Pietrek, Artur. "TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00780232.

Full text

Abstract:

Certains environnements ont besoin de plusieurs compilateurs, par exemple un pour le système d'exploitation, supportant la norme C/C++ complète, et l'autre pour les applications, qui supporte éventuellement un sous-ensemble de la norme, mais capable de fournir plus de performance. Le maintien de plusieurs compilateurs pour une plateforme cible représente un effort considérable. Il est donc plus facile d'implémenter et de maintenir un seul outil responsable des optimisations particulières au processeur ciblé. Il nous faut alors un moyen de relier ces compilateurs à l'optimiseur, de préférence,

APA, Harvard, Vancouver, ISO, and other styles

19

Schrammel, Peter. "Logico-Numerical Verification Methods for Discrete and Hybrid Systems." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENM082/document.

Full text

Abstract:

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élar

APA, Harvard, Vancouver, ISO, and other styles

20

Hinz, Christophe. "Analyse und Performance mit der Software "Rubato" : zur Synthese einer computergestützten Interpretation zweier Etüden von Chopin." Osnabrück Electronic Publ, 2006. http://www.epos.uni-osnabrueck.de/music/templates/buch.php?id=67.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Ribeiro, Manoel Carlos Sampaio de Almeida. "Análise multinível da cobertura vacinal no Município de São Paulo." Universidade de São Paulo, 2005. http://www.teses.usp.br/teses/disponiveis/5/5137/tde-09102014-110929/.

Full text

Abstract:

Vigilância Epidemiológica, é a forma através do qual o SUS busca produzir impacto em termos de controle, eliminação e até erradicação de um conjunto definido de doenças imunopreveníveis. O PNI tem conseguindo bons resultados em termos de cobertura vacinais e controle de importantes doenças, embora ainda com importantes desigualdades regionais e locais. Este estudo busca conhecer os fatores que determinam a efetividade deste programa no município de São Paulo a partir de uma análise mutinível. MÉTODO: Em 2002 o Depto. de Medicina Social da FCMSCSP realizou o Inquérito de Cobertura Vacinal no pr

APA, Harvard, Vancouver, ISO, and other styles

22

Littlefair, Carolyn Joy, and n/a. "The Effectiveness of Interpretation in Reducing the Impacts of Visitors in National Parks." Griffith University. School of Environmental and Applied Science, 2004. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20050324.085357.

Full text

Abstract:

With visitation to natural areas increasing, the appropriate management of these areas is important. There are a number of management tools available which endeavour to minimise environmental impacts of visitors. One such management tool is interpretation. Interpretation is widely used as a management tool because: it is perceived to be the most cost effective method; it is a light-handed approach and allows visitors the freedom of choice; and it enhances visitor experiences and satisfaction. However, the ability of interpretation to bring about a reduction in the impacts of visitors to natura

APA, Harvard, Vancouver, ISO, and other styles

23

Henry, Julien. "Static analysis of program by Abstract Interpretation and Decision Procedures." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM037/document.

Full text

Abstract:

L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés. L'interprétation abstraite est un cadre théorique permettant de calculer des invariants de programme. Ces invariants sont des propriétés sur les variables du programme vraies pour toute exécution. La précision des invariants calculés dépend de nombreux paramètres, en particulier du domaine abstrait et de l'ordre d'itération utilisés pendant le calcul d'invariants. Dans cette thèse, nous proposons plusieurs extensions de cette méthode qui améliorent la précision de l'analyse.Habit

APA, Harvard, Vancouver, ISO, and other styles

24

Tran, Le Bao-Chan. "Penser le curriculum de formation des traducteurs et interprètes à l'université : les enjeux de la professionnalisation au Vietnam." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMC012.

Full text

Abstract:

Notre étude porte sur la professionnalisation des étudiants interprètes et traducteurs du français au vietnamien – et inversement et s’insère dans le contexte historique déjà ancien de cette formation au Viêt-Nam. Comment et dans quel cadre former à la complexité de la traduction telle qu’elle est perçue et s’impose aujourd’hui ? Cette question se pose avec acuité dans le contexte universitaire vietnamien qui constitue le champ d’investigation de cette thèse, car la professionnalisation était jusqu’à présent absente de l’horizon universitaire, même si elle est une préoccupation émergente. Nous

APA, Harvard, Vancouver, ISO, and other styles

25

Moore, Lacey Elizabeth. "Source evaluation and selection for interpretation in Sequoia and Kings Canyon National Parks." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2867.

Full text

Abstract:

The purpose of this study is to aid interpreters in evaluation sources (research material) for use in interpretive presentations and programs in Sequoia and Kings Canyon National Parks. This was done by illustrating the need for source evaluation and then developing the guidelines for selecting, evaluating, and most effectively using various sources in the development of interpretive programs in the National Parks Services (NPS).

APA, Harvard, Vancouver, ISO, and other styles

26

Besson, Virgile. "L’interprétation causale de la mécanique quantique : biographie d’un programme de recherche minoritaire (1951–1964)." Thesis, Lyon, 2018. http://www.theses.fr/2018LYSE1014/document.

Full text

Abstract:

L'interprétation causale de la mécanique quantique a été décrite en premier lieu par les historiens comme une conséquence de l'influence croissante du marxisme chez les physiciens des pays occidentaux. En effet, au cours des années 1950, le noyau du groupe de physiciens impliqués dans le programme causal autour de Jean-Pierre Vigier et Louis de Broglie à l'Institut Henri Poincaré est majoritairement constitué soit de membres, soit de sympathisants du PCF. Leurs travaux sont fortement influencés par les critiques soviétiques contre l'interprétation dominante de la mécanique quantique, l'interpr

APA, Harvard, Vancouver, ISO, and other styles

27

Baird, David. "Zeitgeist incarnate : a theological interpretation of postapocalyptic zombie fiction." Thesis, University of St Andrews, 2019. http://hdl.handle.net/10023/16978.

Full text

Abstract:

This thesis attempts to take seriously the claims made by many postapocalyptic zombie narratives to represent the world as it truly is, analyzing and then assessing the theological value of their depictions of the human predicament. The approach is both formal and what Gary Wolfe calls transmedial, examining the recurring narrative structures and themes of texts across several media and eras as part of 'a popular aesthetic movement and not just a body of works of fiction on similar themes', with special attention given to the films and television of the new millennium. The aim is twofold: to e

APA, Harvard, Vancouver, ISO, and other styles

28

Fagan-Cannon, Amy L. "Culinary Tourism with Anthony Bourdain: Cultural Colonialism, Masculinity and the Exotic "Other"." Fogler Library, University of Maine, 2009. http://www.library.umaine.edu/theses/pdf/Fagan-CannonAL2009.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Damouche, Nasrine. "Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods." Thesis, Perpignan, 2016. http://www.theses.fr/2016PERP0032/document.

Full text

Abstract:

Les systèmes critiques basés sur l’arithmétique flottante exigent un processus rigoureux de vérification et de validation pour augmenter notre confiance en leur sureté et leur fiabilité. Malheureusement, les techniques existentes fournissent souvent une surestimation d’erreurs d’arrondi. Nous citons Arian 5 et le missile Patriot comme fameux exemples de désastres causés par les erreurs de calculs. Ces dernières années, plusieurs techniques concernant la transformation d’expressions arithmétiques pour améliorer la précision numérique ont été proposées. Dans ce travail, nous allons une étape plu

APA, Harvard, Vancouver, ISO, and other styles

30

Bailey, Charlene Anne Beaty. "Public interpretation of historic archaeology at historic sites in eastern United States." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/865967.

Full text

Abstract:

Fourteen historic sites in the Eastern United States were evaluated for ways archaeological evidence was used in the development of living history, public education, and other interpretive programs. A wide range of sites, such as outdoor living history museum villages, active urban public archaeology programs, sites associated with well-known archaeologists, and sites where the author had personal experience, were studied.Techniques used to interpret archaeological resources to the public were identified to ascertain which were found to be the most effective in spreading the word about preserv

APA, Harvard, Vancouver, ISO, and other styles

31

Journault, Matthieu. "Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS152.

Full text

Abstract:

Assurer le passage à l’échelle des analyseurs statiques définis par interprétation abstraite pose des difficultés. Une méthode classique d’accélération consiste en la découverte et la réutilisation de contrats satisfaits par certaines commandes du code source. Cette thèse s’intéresse à un sous-ensemble de C qui ne permet pas la récursivité, pour lequel on définit un analyseur modulaire capable d’inférer, de prouver et d'exploiter de tels contrats. Notre analyse est défini au-dessus d’un analyseur C existant et est donc capable de manipuler des types unions, des types structures, des tableaux,

APA, Harvard, Vancouver, ISO, and other styles

32

Hurley, James. "Investigating the efficacy of cognitive bias modification for interpretation and the Maudsley Review Training Programme on social anxiety and reasoning biases in individuals with persecutory delusions : a single case series." Thesis, University of East Anglia, 2014. https://ueaeprints.uea.ac.uk/52466/.

Full text

Abstract:

The Threat Anticipation Model (Freeman, 2007) implicates social anxiety and reasoning biases in the formation and maintenance of persecutory delusions. Computerised packages, such as Cognitive Bias Modification for Interpretation (CBM-I) have been shown to improve social anxiety in psychosis (Turner et al., 2011). Similarly, the Maudsley Review Training Programme (MRTP) has improved reasoning biases associated with delusions (Waller et al.,2011). This study examined the use of both of these treatment packages in people with persecutory delusions. It was hypothesised that CBM-I would reduce soc

APA, Harvard, Vancouver, ISO, and other styles

33

Love, Beverly. "The cycle of relapse and recovery of substance misusing offenders on a community based rehabilitation programme : the impact of childhoods, family, relationships, significant life events and psychological wellbeing : an interpretative phenomenological analysis and approach." Thesis, University of Surrey, 2018. http://epubs.surrey.ac.uk/845638/.

Full text

Abstract:

Background and aims There is a paucity of research into the relapse and recovery of Class A drug misusing offenders who are part of the Drug Interventions Programme (DIP). The key aims of the DIP, a UK Government criminal justice strategy, are to reduce Class A drug misuse and the [perceived] associated offending behaviour. This group have entrenched and long lasting addictions, with many ‘failed’ attempts at recovery. There is no published research about DIP clients, using a qualitative methodology, which explores childhoods, relationships, psychological health and significant life events and

APA, Harvard, Vancouver, ISO, and other styles

34

Boned, Marí María Laura. "Estudio interpretativo del repertorio de Música Española para violín: El caso de las Islas Baleares." Doctoral thesis, Universitat de Barcelona, 2016. http://hdl.handle.net/10803/371440.

Full text

Abstract:

El objeto de investigación es obtener información sobre la casuística de los programas de estudio de los instrumentos de cuerda, centrándose en el de violín ya que dichos programas contemplan como material opcional el estudio de obras de compositores españoles. Por ello, se quiso descubrir si el motivo era la no existencia de dichas obras o la no utilidad pedagógica que pudiesen presentar. El estudio se incluirá en el contexto educativo de las Enseñanzas Artísticas (Música) que se imparten en Conservatorios y Escuelas de Música, centrando el mismo, en el ámbito de la C. A. de las Islas Baleare

APA, Harvard, Vancouver, ISO, and other styles

35

Milne, Ian Bertram. "An investigation into the development, principles and practice of environmental interpretation in South Africa: a case study of the National Parks Board." Thesis, Rhodes University, 1996. http://hdl.handle.net/10962/d1003486.

Full text

Abstract:

This study looks firstly at the historical background to conservation, particularly in the South African National Parks Board, and relates this to developments in interpretation in the National Parks. These are evaluated against international norms as they appear in the current literature. The aim is to establish a platform upon which future developments in interpretation may be built, avoiding the mistakes of the past, while capitalising on the strong points. Current views of what interpretation is, and what it should be, are reviewed. Knowing who the audience is, in terms of cultural backgro

APA, Harvard, Vancouver, ISO, and other styles

36

Akridge, Cameron. "Intention Recognition in a Strategic Environment." Honors in the Major Thesis, University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/736.

Full text

Abstract:

This item is only available in print in the UCF Libraries. If this is your Honors Thesis, you can help us make it available online for use by researchers around the world by following the instructions on the distribution consent form at http://library.ucf<br>Bachelors<br>Engineering and Computer Science<br>Computer Engineering

APA, Harvard, Vancouver, ISO, and other styles

37

Suzanne, Thibault. "Vérification par interprétation abstraite en mémoire faiblement cohérente." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEE013.

Full text

Abstract:

Parmi les méthodes de certification de logiciels critiques, l'analyse statique vise à établir l'absence d'erreurs dans toutes les exécutions possibles d'un programme donné. L'interprétation abstraite fournit un cadre théorique général permettant de concevoir de telles analyses sûres par construction : elles n'oublient aucun comportement de la cible. Nous nous intéressons dans cette thèse à la vérification de programmes concurrents s'exécutant dans des modèles mémoire dits faiblement cohérents. En plus des exécutions séquentiellement cohérentes générées par les entrelacements des processus, ces

APA, Harvard, Vancouver, ISO, and other styles

38

Djoudi, Adel. "Binary level static analysis." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX093.

Full text

Abstract:

Les méthodes de vérification automatique des logiciels connaissent un succès croissant depuis le début des années 2000, suite à plusieurs succès industriels (Microsoft, Airbus, etc.). L'analyse statique vise, à partir d'une description du programme, à inférer automatiquement des propriétés vérifiées par celui-ci. Les techniques standards d'analyse statique travaillent sur le code source du logiciel, écrit par exemple en C ou Java. Cependant, avoir accès au code source n'est pas envisageable pour de nombreuses applications relatives à la sécurité, soit que le code source n'est pas disponible (c

APA, Harvard, Vancouver, ISO, and other styles

39

Bart, Anicet. "Constraint modelling and solving of some verification problems." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0031/document.

Full text

Abstract:

La programmation par contraintes offre des langages et des outils permettant de résoudre des problèmes à forte combinatoire et à la complexité élevée tels que ceux qui existent en vérification de programmes. Dans cette thèse nous résolvons deux familles de problèmes de la vérification de programmes. Dans chaque cas de figure nous commençons par une étude formelle du problème avant de proposer des modèles en contraintes puis de réaliser des expérimentations. La première contribution concerne un langage réactif synchrone représentable par une algèbre de diagramme de blocs. Les programmes utilise

APA, Harvard, Vancouver, ISO, and other styles

40

Kabi, Bibek. "Synthesizing invariants : a constraint programming approach based on zonotopic abstraction." Thesis, Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAX017.

Full text

Abstract:

Les systèmes dynamiques sont des modèles mathématiques pour décrire l'évolution temporelle de l'état d'un système. Il y a deux classes de systèmes dynamiques pertinentes à cette thèse : les systèmes discrets et les systèmes continus. Dans les systèmes dynamiques discrets (ou les programmes informatiques classiques), l'état évolue avec un pas de temps discrets. Dans les systèmes dynamiques continus, l'état du système est fonction du temps continu, et son évolution caractérisée par des équations différentielles. Étant donné que ces systèmes peuvent prendre des décisions critiques, il est importa

APA, Harvard, Vancouver, ISO, and other styles

41

Harmim, Dominik. "Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445592.

Full text

Abstract:

Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená ver

APA, Harvard, Vancouver, ISO, and other styles

42

Ganty, Pierre. "The Fixpoint checking problem: an abstraction refinement perspective." Doctoral thesis, Universite Libre de Bruxelles, 2007. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210666.

Full text

Abstract:

<P align="justify">Model-checking is an automated technique which aims at verifying properties of computer systems. A model-checker is fed with a model of the system (which capture all its possible behaviors) and a property to verify on this model. Both are given by a convenient mathematical formalism like, for instance, a transition system for the model and a temporal logic formula for the property.</P><p><p><P align="justify">For several reasons (the model-checking is undecidable for this class of model or the model-checking needs too much resources for this model) model-checking may not be

APA, Harvard, Vancouver, ISO, and other styles

43

Weidemann, Arne. "Die Erforschung und Lehre interkultureller Kommunikation und Kompetenz." Doctoral thesis, Universitätsbibliothek Chemnitz, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-77481.

Full text

Abstract:

Um interkulturelle Interaktionen verstehen und erklären zu können, bedarf es eines Ansatzes, der offen für die Selbst- und Weltverhältnisse aller beteiligten Interaktanden ist und sich dementsprechend emischer, nicht etischer, Beschreibungen von Handlungen und damit verknüpften Bedeutungszuschreibungen verpflichtet fühlt. Auf Basis (1) eines Kulturbegriffs, der von der Kulturdurchdrungenheit jeglichen Handelns einerseits und der (an individuelles Handeln gebundenen) Handlungsbedingtheit von Kultur andererseits ausgeht, wie dies in der Kulturpsychologie der Fall ist, und (2) qualitativ-sinnvers

APA, Harvard, Vancouver, ISO, and other styles

44

Cavalcanti, Bianor Scelza. "The "Equalizer" Administration: Managerial Strategies in the Public Sector." Diss., Virginia Tech, 2004. http://hdl.handle.net/10919/26644.

Full text

Abstract:

The purpose of this dissertation is to understand the managerial â actionâ of public administrators in the management of their organizations within the brazilian context. It seeks to understand the relationships between managers and formal management mechanisms by exploring the complementary nature of the effective managerial action in the face of structural deficiencies and flaws, considering the possibility of overcoming the structuralism-subjectivism dichotomy present in the construction of the Theory of Organizations. Initially, the study provides a review of the literature on organiz

APA, Harvard, Vancouver, ISO, and other styles

45

Windsor, Sonja. "An educational programme for critical care nurses on the interpretation of ventilator graphics." Diss., 2005. http://upetd.up.ac.za/thesis/available/etd-10152007-144950.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

"A study of Chinese-English simultaneous interpretation programmes in tertiary institutions from a perspective of comparative education." Chinese University of Hong Kong, 1988. http://library.cuhk.edu.hk/record=b5885947.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Costa, Alexandra Maria da Silva da Quinta e. "O corpo como linguagem e expressão no ensino do canto." Master's thesis, 2015. http://hdl.handle.net/10400.14/19482.

Full text

Abstract:

O trabalho de investigação científica que se apresenta, subordinada ao título: O Corpo como Linguagem e Expressão no Ensino do Canto, tem como princípios orientadores a perceção das interações que se estabelecem do ponto de vista metodológico no âmbito da pedagogia do Ensino do Canto, tendo como base a interpretação vocal e corporal de uma peça musical. Apresentada nos contextos de um Quadro Teórico-Conceptual, e de uma Metodologia Empírica, de análise qualitativa, pretende refletir sobre o Estado da Arte, onde autores de referência, tais como: Sunberg (1987); Hemsley (1998); Sousa (1999

APA, Harvard, Vancouver, ISO, and other styles

48

Curtin, Abby. "Rethinking Landscape Interpretation: Form, Function, and Meaning of the Garfield Farm, 1876-1905." Thesis, 2014. http://hdl.handle.net/1805/5852.

Full text

Abstract:

Indiana University-Purdue University Indianapolis (IUPUI)<br>The landscape of James A. Garfield’s Mentor, Ohio home (now preserved at James A. Garfield National Historic Site) contains multiple layers of historical meanings and values. The landscape as portrayed in political biographies, political cartoons, and other ephemera during Garfield’s 1880 presidential campaign reveals the existence of the dual cultural values of agrarian tradition and agricultural progress in the late nineteenth century. Although Garfield did not depend on farming exclusively for his livelihood, he, like many agricul

APA, Harvard, Vancouver, ISO, and other styles

49

Martelo, Teresa Maria Rosa. "Estágio no Arts Santa Mònica: Coordenação de Exposições e Contributos para Exposição Mirall de Paper." Master's thesis, 2018. http://hdl.handle.net/10362/59723.

Full text

Abstract:

O presente relatório de estágio descreve todas as actividades desenvolvidas no Arts Santa Mònica entre Outubro de 2017 e Março de 2018, no âmbito da coordenação da exposição Biblioteques Insòlites e, paralelamente, da criação do levantamento de todas as publicações editadas pela instituição desde a sua génese, que culminou na realização da exposição Mirall de Paper, também analisada neste trabalho. Apresenta, em primeiro lugar, uma contextualização histórica do Arts Santa Mònica, assim como um enquadramento da instituição no panorama cultural, através da análise da sua missão e linha pr

APA, Harvard, Vancouver, ISO, and other styles

50

Foxlee, Jasmine, University of Western Sydney, College of Arts, and School of Social Sciences. "Stories in the landscape : the sorry rock phenomenon and the cultural landscape of Uluru-Kata Tjuta National Park." 2008. http://handle.uws.edu.au:8081/1959.7/39348.

Full text

Abstract:

Each day the joint managers of Uluru-Kata Tjuta National Park receive packages of returned rocks and sand that have been removed from the landscape by visitors as a souvenir of the place. The returned objects are sent from people all over the world as the stories of this phenomenon travel well beyond the Park boundaries. Known within the Park as the ‘sorry rocks’, these returned objects and their accompanying letters of apology reflect the different ways in which people engage with the landscape and interpret their surrounds. In this research, the sorry rocks have been used as a medium for exa

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!