Accedi

Bibliografie tematiche / Logics and meaning of programs / Tesi

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Logics and meaning of programs.

Tesi sul tema "Logics and meaning of programs"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 1 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-23 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Logics and meaning of programs".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

<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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

12

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

14

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

15

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

19

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!