Log in

Relevant bibliographies by topics / Logics and meaning of programs / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Logics and meaning of programs.

Dissertations / Theses on the topic 'Logics and meaning of programs'

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 23 dissertations / theses for your research on the topic 'Logics and meaning of programs.'

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

Gotsman, Olexiy. "Logics and analyses for concurrent heap-manipulating programs." Thesis, University of Cambridge, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611774.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Höllerer, Markus, Dennis Jancsary, Renate Meyer, and Oliver Vettori. "Imageries of corporate social responsibility: Visual recontextualization and field-level meaning." Emerald Group Publishing Limited, 2013. http://dx.doi.org/10.1108/S0733-558X(2013)0039AB018.

Full text

Abstract:

In this paper, we explore how corporations use visual artifacts to translate and recontextualize a globally theorized managerial concept (CSR) into a local setting (Austria). In our analysis of the field-level visual discourse, we analyze over 1,600 images in stand-alone CSR reports of publicly traded corporations. We borrow from framing analysis and structural linguistics to show how the meaning structure underlying a multifaceted construct like CSR is constituted by no more than a relatively small number of fundamental dimensions and rhetorical standpoints (topoi). We introduce the concept o

APA, Harvard, Vancouver, ISO, and other styles

3

O'Shea, Molly. "America's hidden meaning of welcome : a Bosnian experience of two English language learner programs /." ProQuest subscription required:, 2000. http://proquest.umi.com/pqdweb?did=990270521&sid=1&Fmt=2&clientId=8813&RQT=309&VName=PQD.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Emme, Michael John. "Derivation and application of a model of lens meaning." Thesis, University of British Columbia, 1991. http://hdl.handle.net/2429/32277.

Full text

Abstract:

The twofold purpose of this study was to ground a model of Lens Meaning in the literature of the Fine Arts and Social Sciences and to use that term as a referent in evaluating three Media Studies curricula. Lens Meaning is a term derived from a variety of sources, particularly Peirce (1955), whose semiotic theory described three systems of signs used as terms on one axis of a matrix or model by which Lens Meaning can be described. These terms are: "index", "icon", and "symbol". DeLauretis' (1984) expanded understanding of another system of signs described by Peirce, interpretants, is the foun

APA, Harvard, Vancouver, ISO, and other styles

5

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

6

Heider, Cynthia. "Exploring the meaning of school improvement in the formulation and implementation of the Missouri school improvement program /." free to MU campus, to others for purchase, 2001. http://wwwlib.umi.com/cr/mo/fullcit?p3036830.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Huddleston, Clarity. "History, Power, and Meaning: Refusing Heaven and Jack Gilbert's Poetic Career." Scholarship @ Claremont, 2018. http://scholarship.claremont.edu/scripps_theses/1117.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Rowland, Beverly Dianne. "Conceptualization of factors that have meaning for newly licensed registered nurses completing nurse residency programs in acute care settings." Thesis, Indiana University - Purdue University Indianapolis, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10241295.

Full text

Abstract:

<p> Nurse residency programs (NRPs) have been identified as a means to promote transitioning of new nurses into the professional nursing role. Questions have arisen related to which elements within those programs are most meaningful to the development of new nurses. As the nursing shortage drives the need for quick transition and development of nurses to meet workforce needs, nursing must identify what is meaningful to nurses in their transition to practice. The purpose of this multi-site study was to explicate meaning from the experiences of newly licensed registered nurses (NLRNs) who have j

APA, Harvard, Vancouver, ISO, and other styles

9

Gueneau, Armaël. "Mechanized verification of the correctness and asymptotic complexity of programs : the right answer at the right time." Thesis, Université de Paris (2019-....), 2019. http://www.theses.fr/2019UNIP7110.

Full text

Abstract:

Cette thèse s’intéresse à la question de démontrer rigoureusement que l’implantation d’un algorithme donné est non seulement correcte (elle renvoie bien le bon résultat dans tous les cas possibles), mais aussi possède la bonne complexité asymptotique (elle calcule toujours ce résultat en le temps attendu).Pour les chercheurs en algorithmique, caractériser la performance d’un algorithme se fait généralement en indiquant sa complexité asymptotique, notamment à l’aide de la notation “grand O” due à Landau. Nous détaillons, tout d’abord informellement, pourquoi de telles bornes de complexité asymp

APA, Harvard, Vancouver, ISO, and other styles

10

王楨. "金錢、市場與意義 : 中國「宅門」電視劇的意識形態分析 = Money, market, meaning : an ideological analysis of the Chinese Zhaimen drama". HKBU Institutional Repository, 2008. http://repository.hkbu.edu.hk/etd_ra/924.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Ponono, Mvuzo. "The influence of viewing context on meaning making : a reception study of the popular drama series Intersexions in Ginsberg township." Thesis, Rhodes University, 2014. http://hdl.handle.net/10962/d1013093.

Full text

Abstract:

This study examines the home as a context of viewing for the television programme Intersexions in the township of Ginsberg in the Eastern Cape. The central question asked is whether the household influences the interpretation of the programme. The research was mainly conducted through ethnographical methods of participant observation and focus group interviews. Six families were observed and six gender-based focus groups convened. Drawing from the work of Morley (1986) and Lull (1990) that argues that the home be taken more seriously as a context of viewing; this study posits that the home is

APA, Harvard, Vancouver, ISO, and other styles

12

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

13

Mayer, Wolfgang. "Static and hybrid analysis in model-based debugging." 2007. http://arrow.unisa.edu.au:8081/1959.8/29562.

Full text

Abstract:

Defects in computer programs have great social and economic impacts and should be eliminated as much as possible. Since testing and debugging are among the most costly and time consuming tasks in the software development life cycle, a variety of intelligent debugging aids have been proposed within the last three decades. Model-based software debugging (MBSD) is a particular technique that exploits discrepancies between a program execution and the intended behaviour to isolate program fragments that could potentially explain an observed misbehaviour. In contrast to other techniques, model-based

APA, Harvard, Vancouver, ISO, and other styles

14

Cherini, Renato. "Construcción de programas que manejan dinámicamente la memoria." Doctoral thesis, 2015. http://hdl.handle.net/11086/2879.

Full text

Abstract:

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.<br>En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para considerar cuestiones ontológicas y epistemológicas de la propia tarea de verificación formal, a través de una generalización del concepto de intérprete, que nos permite relacionar los aspectos abstractos y concretos de la computación. En el plano metod

APA, Harvard, Vancouver, ISO, and other styles

15

Pereira, David Miguel Ramalho. "Towards certified program logics for the verification of imperative programs." Tese, 2013. https://hdl.handle.net/10216/67898.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Pereira, David Miguel Ramalho. "Towards certified program logics for the verification of imperative programs." Doctoral thesis, 2013. https://hdl.handle.net/10216/67898.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Raţiu, Daniel Petrica [Verfasser]. "Intentional meaning of programs / Daniel Raţiu." 2009. http://d-nb.info/995981051/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Easter, Sarah. "Homelessness through different lenses: negotiating multiple meaning systems in a Canadian tri-sector social partnership." Thesis, 2016. http://hdl.handle.net/1828/7234.

Full text

Abstract:

Research has shown that socially-focused partnerships that cross sectors (referred to as social partnerships within) are necessary in order to effectively address pressing societal issues such as poverty. Yet, in these complex organizational contexts, there is often variability within and between involved organizations as it relates to basic assumptions around work and the meanings given to practices at macro, meso and micro levels of analysis. Put differently, there are often a plurality of meaning systems at play in such multi-faceted organizational arrangements. Accordingly, the purpose of

APA, Harvard, Vancouver, ISO, and other styles

19

Jayakumar, Badrinath. "Handling Inconsistency in Knowledge Bases." 2017. http://scholarworks.gsu.edu/cs_diss/120.

Full text

Abstract:

Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive. Recently, progress has been made towards semantics that deal with logical inconsistency. However, such semantics was never analyzed in the aspect of inconsistency tolerant relational model. In our research work, we use an inconsistency and incompleteness tolerant relational model called "Paraconsistent Relational Model." The paraconsistent relational model is an extension of the ordinar

APA, Harvard, Vancouver, ISO, and other styles

20

Olson, Barry Alan. "Difficult dialogues how white male graduate students in student affairs preparation programs make meaning of their whiteness, white privilege, and multiculturalism /." 2010. http://www.lib.ncsu.edu/theses/available/etd-03312010-215808/unrestricted/etd.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Meng-Chieh, Chao, and 趙孟婕. "A Study on the Effects of kindergarten Children’s Attitude Toward Old People and the Meaning of Life for old people by Intergenerational Programs." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/94706904062379802457.

Full text

Abstract:

博士<br>國立中正大學<br>成人及繼續教育研究所<br>100<br>The main purpose of this study was to explore the effect on the changes of old people’s meaning of life and children’s attitude toward old people, after both had participated in the intergenerational program, by quasi-experimental design with the pretest and the posttest. The children samples were 54 people. The older samples were 8 people. The intergenerational program took 8 weeks. The study of children’s attitude toward the old people shows the findings as follows: 1. The fact that children live with grandparents and the frequency of been took care by gr

APA, Harvard, Vancouver, ISO, and other styles

22

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

23

Pera, Linda Paula. "Ecologies of violence: implications for theory and practice." Thesis, 2004. http://hdl.handle.net/10500/1923.

Full text

Abstract:

This postmodern dissertation examines three individual experiences of violence in South Africa, using the qualitative research method of heuristics. Using social constructionism as a lens for viewing the phenomenon, violence is seen as occurring within a specific ecology, which is part of the individual's fluctuating, subjective reality. This discussion proposes that the violent experience, to which meanings are attributed, is part of the individual's socially constructed ecology. This ecology can either be transformed or conserved through dialogue, specifically dialogue relating to the tellin

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!