Log in

Relevant bibliographies by topics / Purpose of proving / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Purpose of proving.

Dissertations / Theses on the topic 'Purpose of proving'

Author: Grafiati

Published: 30 May 2022

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 16 dissertations / theses for your research on the topic 'Purpose of proving.'

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

Dupressoir, François. "Proving cryptographic C programs secure with general-purpose verification tools." Thesis, Open University, 2013. http://oro.open.ac.uk/37627/.

Full text

Abstract:

Security protocols, such as TLS or Kerberos, and security devices such as the Trusted Platform Module (TPM), Hardware Security Modules (HSMs) or PKCS#11 tokens, are central to many computer interactions. Yet, such security critical components are still often found vulnerable to attack after their deployment, either because the specification is insecure, or because of implementation errors. Techniques exist to construct machine-checked proofs of security properties for abstract specifications. However, this may leave the final executable code, often written in lower level languages such as C, v

APA, Harvard, Vancouver, ISO, and other styles

2

Vujadinovic, Milenko. "Preserving old buildings : adaptive use for residential purposes in Montreal." Thesis, McGill University, 2002. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=79277.

Full text

Abstract:

Since the late 1970s many empty buildings in Montreal have been adapted for residential purposes. The main focus of this thesis is to document and analyse the most representative examples of these projects in order to define the nature and results of the adaptive-use practice in Montreal.<br>Due to complexity of the field, the framework for analysis must be flexible enough to apply to different contexts and building types, yet firm enough to solve the perpetual dilemmas intrinsic to adaptive-use design. The attitude of this research is that the best way to do this is to learn from archi

APA, Harvard, Vancouver, ISO, and other styles

3

Pattison, Susan Ann. "Spiritual capital : an inquiry into the values that provide meaning and purpose to staff in Quaker schools." Thesis, University of Hull, 2010. http://hydra.hull.ac.uk/resources/hull:4490.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Mahapa, Sekei Frederica. "Rural women, food insecurity and survival strategies the Babina-Chuene Wome's Multi-purpose Project in Bochum (Northern Province) /." Pretoria : [s.n.], 2001. http://upetd.up.ac.za/thesis/available/etd-02242006-152042/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Templeton, Karen. "Biological control of purple loosestrife (Lythrum salicaria ) in Quebec." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape2/PQDD_0032/MQ64465.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Toner, Earl. "A study of research criteria and teacher evaluation methods for the purpose of establishing a model for teacher : evaluation in the province of New Brunswick." Master's thesis, Université Laval, 1986. http://hdl.handle.net/20.500.11794/29166.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lasseter, Gemma Michelle. "Consent study : assessing the public's willingness to provide informed consent for their identifiable general practice medical records to be accessed for different research purposes." Thesis, University of Bristol, 2016. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.702735.

Full text

Abstract:

Objectives: Patient involvement in primary care research is often hindered by confidentiality concerns regarding the use of their identifiable medical records. Consequently there is no universal 'pre-consent' process in England, whereby patients provide prior informed consent for their identifiable data to be accessed for different research purposes. This mixed-methods two-phase study investigated patients' opinions about this proposed 'pre-consent' process and the effectiveness of different invitation methods. Methods: Phase 1 used cognitive and semi-structured interview methods to optimise r

APA, Harvard, Vancouver, ISO, and other styles

8

Aphane, Mogau Marvin. "Small-scale mango farmers, transaction costs and changing agro-food markets: evidence from Vhembe and Mopani districts, Limpopo Province." Thesis, University of the Western Cape, 2011. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_7333_1365584421.

Full text

Abstract:

<p>The main objective of this study was to identify ways in which transaction costs can be lowered to improve small-scale farmers&rsquo<br>participation in and returns from agricultural output markets, with specific reference to small-scale mango farmers in Limpopo province. This study hypothesizes that transaction costs are lower in informal spot markets and increase when small-scale farmers sell in more structured markets (formal markets). This study builds on transaction cost economics (TCE) to demonstrate how to overcome transaction cost barriers that small-scale mango farmers face in the

APA, Harvard, Vancouver, ISO, and other styles

9

Oliveira, Verónica Alexandra Antunes. "Ferramentas de apoio à tradução científica: uma abordagem comparativa." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/17031.

Full text

Abstract:

Mestrado em Tradução Especializada - Ciências da Saúde<br>Atualmente, os tradutores, de modo a produzirem traduções num intervalo de tempo mais curto e com elevada qualidade, necessitam de um conjunto de recursos como, por exemplo, sistemas de tradução assistida por computador, programas de referência linguística ou sistemas de tradução automática. Por conseguinte, o presente Projeto terá como objetivo abordar a respetiva utilização prática num contexto profissional da área da tradução científica (em particular Ciências da Saúde), através de uma exposição teórica e de uma análise comparativa p

APA, Harvard, Vancouver, ISO, and other styles

10

Степаненко, Андрій Сергійович, Андрей Сергеевич Степаненко та Andriy S. Stepanenko. "Стандарт доказування «поза розумним сумнівом» у кримінальному провадженні". Thesis, 2017. http://hdl.handle.net/11300/7009.

Full text

Abstract:

Степаненко А.С. Стандарт доказування «поза розумним сумнівом» у кримінальному провадженні: дис. ... канд. юрид. наук: 12.00.09 / Степаненко Андрій Сергійович. - Одесса, 2017. - 234 с.<br>Дисертація на здобуття наукового ступеня кандидата юридичних наук за спеціальністю 12.00.09 - кримінальний процес та криміналістика; судова експертиза; оперативно-розшукова діяльність. - Національний університет «Одеська юридична академія», Одеса, 2016. Дисертація є першим у вітчизняній науці спеціальним комплексним дослідженням стандарту доказування «поза розумним сумнівом» у кримінальному провадженні н

APA, Harvard, Vancouver, ISO, and other styles

11

Mahapa, Sekei Frederica. "Rural women, food insecurity and survival strategies : the Babina-Chuene Women's Multi-purpose Project in Bochum (Northern province)." Diss., 2001. http://hdl.handle.net/2263/22787.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Senatore, Franco. "Development of a general purpose computer-based platform to provide functional assistance to people with severe motor disabilities." Thesis, 2009. http://hdl.handle.net/10539/7085.

Full text

Abstract:

Research and development into a generic assistive platform, which can accommodate a variety of patients suffering from a wide range of motor disabilities is described. Methodologies were established, whereby the design could be made sufficiently flexible, such that it could be programmed to suit these people in terms of their needs and level of motor disability. This needed to be achieved without redesigning the system for each person. Suitable sensors were chosen to sense the residual motor function of the disabled individual, while being non-invasive and safe for use. These sensors inc

APA, Harvard, Vancouver, ISO, and other styles

13

Kao, Ya-li, and 高雅麗. "The primary purpose of this study is to provide a general guideline for developing Business Message Format on ESB platform." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/84618150258406436547.

Full text

Abstract:

碩士<br>國立臺灣科技大學<br>資訊管理系<br>98<br>Service-Oriented Architecture (SOA) provides many of the characteristics that required for successful integration. These characteristics include the ability to operate in heterogeneous network environments, loose coupling between applications to allow independent change without impact on unrelated systems, and significant capability for the reuse of common infrastructure and components. Enterprise Service Bus (ESB) Platform is an enterprise-wide mechanism that provides a common infrastructure layer for all systems. Benefits of ESB platform to the client applica

APA, Harvard, Vancouver, ISO, and other styles

14

Moroaswi, Olter Matsimela. "Assessing the use of Sepedi for official communicative purposes : a study of Greater Letaba Local Municipality, Limpopo Province." 2015. http://encore.tut.ac.za/iii/cpro/DigitalItemViewPage.external?sp=1001914.

Full text

Abstract:

M. Tech. Language Practice<br>Sepedi is one of the eleven official languages spoken in South Africa. It is mostly spoken in Limpopo province and by the minority in other provinces. The National Language Policy (1997) states that indigenous languages should be used to provide equal access to public services and programmes amongst all citizens, thus, Language Policies of the spheres of governance, national, provincial and local, should be determined based on their needs and circumstances of its residents. This study strives to check whether Sepedi as one of the five official languages has been u

APA, Harvard, Vancouver, ISO, and other styles

15

Kekana, Tebogo Johannes. "Workplace English writing needs : a case study of perceptions and experiences of police constables at selected police clusters in the Gauteng Province, South Africa." Thesis, 2015. http://hdl.handle.net/10500/19685.

Full text

Abstract:

Writing proficiency in the English language is one of the critical workplace competencies required in the police workplace. The aim of this study was to investigate and determine the perceptions and experiences of South African police constables’ workplace English writing needs in selected police clusters in the Gauteng province, South Africa and recommend suitable strategies to address those needs. Therefore this thesis reports on workplace English writing needs from a professional perspective to determine how they impact on the workplace English writing competencies of police constables and

APA, Harvard, Vancouver, ISO, and other styles

16

OSORNIO, PLATA EDGAR. "A SYSTEMATIC REVIEW OF EXPERIMENTAL STUDIES OF YOHIMBINE EFFECTS OVER PHARMACOKINETIC , PHARMACODYNAMIC AND BEHAVIORAL PARAMETERS IN HORSES SEDATED WITH DETOMIDINE." Tesis de Licenciatura, 2016. http://hdl.handle.net/20.500.11799/66347.

Full text

Abstract:

A concise and factual abstract is required. The abstract should state briefly the purpose of the research, the principal results and major conclusions. An abstract is often presented separately from the article, so it must be able to stand alone. For this reason, References should be avoided, but if essential, then cite the author(s) and year(s). Also, non-standard or uncommon abbreviations should be avoided, but if essential they must be defined at their first mention in the abstract itself.

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!