Conecte-se

Bibliografias temáticas / Logics and meaning of programs / Teses / dissertações

Siga este link para ver outros tipos de publicações sobre o tema: Logics and meaning of programs.

Teses / dissertações sobre o tema "Logics and meaning of programs"

Autor: Grafiati

Publicado: 4 de junho de 2021

Última modificação: 1 de fevereiro de 2022

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 23 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Logics and meaning of programs".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

<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

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

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

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

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

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

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

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

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

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Resumo:

博士<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

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

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

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

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

Texto completo da fonte

Resumo:

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!