Log in

Relevant bibliographies by topics / Formal dependences / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Formal dependences.

Dissertations / Theses on the topic 'Formal dependences'

Author: Grafiati

Published: 28 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 43 dissertations / theses for your research on the topic 'Formal dependences.'

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

Qian, Lei. "Message dependence and formal verification of authentication protocols." [Bloomington, Ind.] : Indiana University, 2004. http://wwwlib.umi.com/dissertations/fullcit/3162268.

Full text

Abstract:

Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2004.<br>Title from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-01, Section: B, page: 0373. Chair: Lawrence S. Moss.

APA, Harvard, Vancouver, ISO, and other styles

2

Heberle, Jeanette Day 1946. "The role of formal operations and field dependence in identity formation." Thesis, The University of Arizona, 1988. http://hdl.handle.net/10150/276902.

Full text

Abstract:

Ego-identity is influenced by many factors. Formal operations and field-dependence have often been cited as important factors in the level of ego-identity achieved. One hundred fifty-three introductory Psychology students were given the Personal Orientation Inventory as a measure of ego-identity and actualization, a test of Formal Operations developed by Karen Hardy-Brown and the Embedded Figures test as a measure of Field-dependence. No correlation was found between any of the measures indicating that a persons ego-identity was not related to the use of Formal Operations or field-dependence.

APA, Harvard, Vancouver, ISO, and other styles

3

Bende-Farkas, Ágnes. "Verb object dependencies in Hungarian and English a DRT-based account /." [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11144184.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Fearon, Kyle. "Formal Institutions in Irish Planning: Europeanization Before and after the Celtic Tiger." Thesis, Blekinge Tekniska Högskola, Institutionen för fysisk planering, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-13024.

Full text

Abstract:

Many economies throughout the world were devastated by the global financial crisis of 2007-2008. Ireland in particular experienced a severe collapse in its housing market. Despite the progression of European-influenced planning policy that was meant to promote balanced regional development in Ireland, the country's housing market vastly overbuilt, exacerbating a housing market crash that ended the Celtic Tiger era. Drawing on Europeanization and historical institutionalism as theoretical frameworks, this thesis argues that the link between these EU-influenced policy principles and local Irish

APA, Harvard, Vancouver, ISO, and other styles

5

Hansson, Patrik. "Overconfidence and Format Dependence in Subjective Probability Intervals: Naive Estimation and Constrained Sampling." Licentiate thesis, Umeå University, Department of Psychology, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-14737.

Full text

Abstract:

<p>A particular field in research on judgment and decision making (JDM) is concerned with realism of confidence in one’s knowledge. An interesting finding is the so-called format dependence effect which implies that assessment of the same probability distribution generates different conclusions about over- or underconfidence bias depending on the assessment format. In particular,expressing a belief about some unknown quantity in the form of a confidence interval is severely prone to overconfidence as compared to expressing the belief as an assessment of a probability. This thesis gives a tenta

APA, Harvard, Vancouver, ISO, and other styles

6

Lööf, Michaela. "Path dependence and gradual change : Exploring the relationship between formal and informal institutional change in the European Parliament." Thesis, Södertörns högskola, Institutionen för samhällsvetenskaper, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-25006.

Full text

Abstract:

This thesis addresses the relationship between formal and informal institutions in the European Parliament from a new institutionalist perspective. This is done in order to fulfill the aims of the thesis, which are: (1) to broaden our understanding of informal institutions and institutional change in the EP as well as (2) develop our understanding of the new institutionalist approaches: rational choice institutionalism, sociological institutionalism and historical institutionalism. The method of analysis is qualitative and the main material consists of 14 interviews with Swedish members and fo

APA, Harvard, Vancouver, ISO, and other styles

7

Plass, Angela Mynarski. "Algumas formas de relacionamento em familias com adolescentes dependentes ou com uso abusivo de substancias psicoativas." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/311312.

Full text

Abstract:

Orientador: Mauricio Knobel<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Ciencias Medicas<br>Made available in DSpace on 2018-07-22T02:04:08Z (GMT). No. of bitstreams: 1 Plass_AngelaMynarski_D.pdf: 6712709 bytes, checksum: 3711e9f8e6457ebd2d17c712f81a55ac (MD5) Previous issue date: 1996<br>Resumo: A presente .pesquisa visa descrever e tentar compreender algumas formas de relacionamento que famílias com adolescentes dependentes ou com uso abusivo de substâncias psicoativas estabelecem entre seus membros. O método utilizado foi o método clínico. A técnica foi a entrevi

APA, Harvard, Vancouver, ISO, and other styles

8

Xosanavongsa, Charles. "Heterogeneous Event Causal Dependency Definition for the Detection and Explanation of Multi-Step Attacks." Thesis, CentraleSupélec, 2020. http://www.theses.fr/2020CSUP0003.

Full text

Abstract:

Partant du constat qu'un attaquant motivé finit par réussir à s'infiltrer dans un réseau malgré les moyens de prévention déployés, la mise en place d'une supervision de sécurité est indispensable. L'objectif de cette thèse est de permettre la découverte de scénarios d'attaque multi-étapes à travers l'analyse d'événements de sécurité. Pour atteindre cet objectif, les approches précédentes visent à construire des liens entre les événements et entre les étapes d'une attaque.En pratique, ces liens sont difficiles à définir et découvrir, notamment lorsque l'on considère l'analyse d'événements hétér

APA, Harvard, Vancouver, ISO, and other styles

9

Corrêa, José Raimundo. "Trypanosoma cruzicontribuição ao estudo da endocitose dependente e independente de clatrina em formas epimastigotas." reponame:Repositório Institucional da FIOCRUZ, 2007. https://www.arca.fiocruz.br/handle/icict/13075.

Full text

Abstract:

Made available in DSpace on 2016-03-10T13:16:18Z (GMT). No. of bitstreams: 2 jose_correa_ioc_dout_2007.pdf: 7604915 bytes, checksum: 254c899732de570995b8f8b6f7061ca5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2016-01-13<br>Fundação Oswaldo Cruz. Instituto Oswaldo Cruz. Rio de Janeiro, RJ, Brasil<br>Endocitose em células eucarióticas é o processo de internalização de macromoléculas por diferentes vias, com diversas proteínas associadas, através do brotamento de vesículas na membrana plasmática e endereçamento destas vesículas a comp

APA, Harvard, Vancouver, ISO, and other styles

10

Stanberry-Beall, Jenny Kay. "Building a case for lifespan respite the effects of formal respite care on caregivers of family members with chronic dependencies /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 242 p, 2007. http://proquest.umi.com/pqdweb?did=1251902551&sid=1&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Ілляшенко, Сергій Миколайович, Сергей Николаевич Ильяшенко та Serhii Mykolaiovych Illiashenko. "Концептуальні засади формування механізмів управління інноваційною діяльністю". Thesis, Видавництво Національного університету «Львівська політехніка», 2012. http://essuir.sumdu.edu.ua/handle/123456789/26832.

Full text

Abstract:

Запропоновано концептуальні засади формування комплексного механізму управління інноваційною діяльністю на макро- та мікрорівнях. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/26832<br>Предложены концептуальные основы формирования комплексного механизма управления инновационной деятельностью на макро- и микроуровнях. При цитировании документа, используйте ссылку http://essuir.sumdu.edu.ua/handle/123456789/26832<br>The conceptual bases of the formation of the complex mechanism of control of innovation activity on the the macro- and the microlevels

APA, Harvard, Vancouver, ISO, and other styles

12

Andrade, Juarez de. "Invisíveis sociais: elementos para pensar formas de (des)integração de uma sociedade de capitalismo dependente." Universidade do Estado do Rio de Janeiro, 2014. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=7937.

Full text

Abstract:

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro<br>Diante do estreitamento do horizonte emancipatório para uma parcela significativa da população brasileira, procuramos, neste estudo, descrever a história real destes muitos, para não dizer milhões, que acabaram condenados à margem de formas sociais, econômicas, estilísticas, consagradas pelos aparatos ideológicos que perpetuam e justificam a reprodução da racionalidade do capital como o único e exclusivo sistema social. Na contemporaneidade, a mercantilização da vida em sociedade e seu indissociável processo de descartabilidade marca

APA, Harvard, Vancouver, ISO, and other styles

13

From, Ingrid. "Health and quality of care from older peoples' and formal caregivers' perspective." Doctoral thesis, Karlstads universitet, Avdelningen för omvårdnad, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:du-15765.

Full text

Abstract:

Aim: The overall aim of this thesis was to gain a deeper understanding of older people's view of health and care while dependent on community care. Furthermore to describe and compare formal caregivers' perceptions of quality of care, working conditions, competence, general health, and factors associated with quality of care from the caregivers' perspective. Method: Qualitative interviews were conducted with 19 older people in community care who were asked to describe what health and ill health((I), good and bad care meant for them (II). Data were analyzed using content analysis (I) and a phen

APA, Harvard, Vancouver, ISO, and other styles

14

Guaita, Gisele de Oliveira. "O diazepam bloqueia de forma seletiva as vocalizações ultrassônicas de 50 KHZ em ratos induzidas por afetamina." reponame:Repositório Institucional da UFPR, 2017. http://hdl.handle.net/1884/47705.

Full text

Abstract:

Orientador : Prof. Dr.Cláudio da Cunha<br>Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Biológicas, Programa de Pós-Graduação em Farmacologia. Defesa: Curitiba, 28/03/2017<br>Inclui referências : f. 33-45<br>Resumo: Ao contrário do que fazem a maioria das drogas de abuso, o benzodiazepínico diazepam diminui a liberação de dopamina no núcleo accumbens e bloqueia o aumento na liberação de dopamina induzida por anfetamina. O objetivo desse trabalho foi testar se existe também um antagonismo entre o diazepam e a anfetamina quanto aos seus efeitos comportamentais. Ratos

APA, Harvard, Vancouver, ISO, and other styles

15

MAIA, Luciana Maria Silva de Seixas. "L-Arginina facilita a depressão alastrante cortical, de forma dependente da dose, em ratos nutridos e precocemente desnutridos." Universidade Federal de Pernambuco, 2008. https://repositorio.ufpe.br/handle/123456789/8712.

Full text

Abstract:

Made available in DSpace on 2014-06-12T23:01:55Z (GMT). No. of bitstreams: 2 arquivo4016_1.pdf: 919373 bytes, checksum: 6d569bd31b577ccce5874c17f74906e2 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008<br>A L-Arginina atua como precursor do óxido nítrico, que possui várias funções no sistema nervoso, e cuja síntese pode ser modulada pela ingestão de L-Arginina. Em trabalho anterior deste laboratório (Frazão, 2004), demonstrou-se que a administração de 300mg/kg/dia de L-Arginina durante o aleitamento facilita, em animais bem nutridos

APA, Harvard, Vancouver, ISO, and other styles

16

Vaz, Vinicius Rezende Carretoni [UNESP]. "A economia política no governo Lula (2003-2010): uma nova forma de desenvolvimentismo?" Universidade Estadual Paulista (UNESP), 2017. http://hdl.handle.net/11449/151609.

Full text

Abstract:

Submitted by VINICIUS REZENDE CARRETONI VAZ null (vinicius_rezende_@hotmail.com) on 2017-09-13T05:45:15Z No. of bitstreams: 1 Dissertacao conclusaoVinicius.pdf: 1833734 bytes, checksum: 36b4ca007eeadaa8fda78a186de050d0 (MD5)<br>Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-09-15T13:26:17Z (GMT) No. of bitstreams: 1 vaz_vrz_me_mar.pdf: 1833734 bytes, checksum: 36b4ca007eeadaa8fda78a186de050d0 (MD5)<br>Made available in DSpace on 2017-09-15T13:26:17Z (GMT). No. of bitstreams: 1 vaz_vrz_me_mar.pdf: 1833734 bytes, checksum: 36b4ca007eeadaa8fda78a186de050d0 (MD

APA, Harvard, Vancouver, ISO, and other styles

17

Griffith, Alana Dione Devina. "Welfare theorising in developing country contexts an application of regime and path dependence theory to CARICOM with emphasis on formal social protection in Barbados and Jamaica." Thesis, University of Kent, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.578067.

Full text

Abstract:

Recent comparative research on welfare systems in developing country contexts has omitted micro states like those in the Caribbean Community (CARICOM). This dissertation addresses this gap and makes contributions to the literature through the use of two different research techniques. First, a macro-quantitative comparison laying a foundation for regime theorising and second, a micro-qualitative comparison as a means of understanding the evolution of these welfare systems over time and whether this evolution occurs in a path dependent manner. In the spirit of existing comparative welfare state

APA, Harvard, Vancouver, ISO, and other styles

18

Nieri, Ederaldo Luiz [UNESP]. "Duas formas da recepção das idéias de Lukács no Brasil: estética e ontologia." Universidade Estadual Paulista (UNESP), 2007. http://hdl.handle.net/11449/88524.

Full text

Abstract:

Made available in DSpace on 2014-06-11T19:23:30Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-02-27Bitstream added on 2014-06-13T20:30:17Z : No. of bitstreams: 1 nieri_el_me_mar.pdf: 1428112 bytes, checksum: 4e8b7707f988c8605587696e2ef17002 (MD5)<br>Este trabalho se propôs a abordar dois momentos da receptividade das idéias de Lukács no Brasil: a das idéias filosófico-estéticas; a das idéias filosófico-ontológicas. Demonstrou-se que o significativo consiste no caráter ídeo-político que se conferiu a ambos momentos – configurando uma unidade de continuidade-descontinuidade. No decurs

APA, Harvard, Vancouver, ISO, and other styles

19

Nieri, Ederaldo Luiz. "Duas formas da recepção das idéias de Lukács no Brasil : estética e ontologia /." Marília : [s.n.], 2007. http://hdl.handle.net/11449/88524.

Full text

Abstract:

Orientador: Marcos Tadeu Del Roio<br>Banca: Antonio Carlos Mazzeo<br>Banca: Paulo Douglas Barsotti<br>Resumo: Este trabalho se propôs a abordar dois momentos da receptividade das idéias de Lukács no Brasil: a das idéias filosófico-estéticas; a das idéias filosófico-ontológicas. Demonstrou-se que o significativo consiste no caráter ídeo-político que se conferiu a ambos momentos - configurando uma unidade de continuidade-descontinuidade. No decurso dos anos 1960, jovens comunistas inspiraram-se nas idéias estéticas do filósofo para a elaboração de um projeto de política cultural como um momento

APA, Harvard, Vancouver, ISO, and other styles

20

Ngô, Van Chan. "Formal verification of a synchronous data-flow compiler : from Signal to C." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01067477.

Full text

Abstract:

Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents bo

APA, Harvard, Vancouver, ISO, and other styles

21

Azambuja, Junior Carlos Alberto da Cruz. "A dependência da trajetória e as mudanças nas políticas sobre drogas em Portugal e no Brasil no início do século XXI : duas formas de manutenção do proibicionismo." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2015. http://hdl.handle.net/10183/147293.

Full text

Abstract:

Esta tese investiga as mudanças ocorridas nas políticas sobre drogas no Brasil e em Portugal na última década do século XX e na primeira do século XXI. O argumento central, tomado em parte dos debates existentes entre as vertentes neoinstitucionais, é que tais mudanças só podem ser interpretadas a partir do conhecimento a respeito das trajetórias históricas das políticas e sua relação com o contexto internacional mais amplo no qual estão inseridas. Desta forma, construiu-se uma narrativa a respeito das mudanças em um processo indutivo baseado em investigação empírica que se articula em torno d

APA, Harvard, Vancouver, ISO, and other styles

22

Björkman, Ida, and Linda Höglund. ""När hon la en hand på min rygg kunde jag känna om hon var full eller inte" : Hur vuxna relationer formas av en uppväxt med alkoholberoende förälder/föräldrar." Thesis, Högskolan i Gävle, Avdelningen för socialt arbete och kriminologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-32948.

Full text

Abstract:

Sammanfattning: Titel: "När hon la en hand på min rygg kunde jag känna om hon var full eller inte" Hur vuxna relationer formas av en uppväxt med alkoholberoende förälder/föräldrar Författare: Ida Björkman och Linda Höglund Syftet med den här studien var att undersöka hur vuxna relationer formas utifrån en uppväxt präglad av alkoholberoende förälder/föräldrar. Frågeställningarna vi utgick från för att göra det var: Hur ser de vuxna relationerna ut hos ett urval av informanter som har upplevt en barndom med en eller två föräldrar som var alkoholberoende? och Hur kan de vuxna relationerna hos

APA, Harvard, Vancouver, ISO, and other styles

23

Léchenet, Jean-Christophe. "Certified algorithms for program slicing." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC056/document.

Full text

Abstract:

La simplification syntaxique, ou slicing, est une technique permettant d’extraire, à partir d’un programme et d’un critère consistant en une ou plusieurs instructions de ce programme, un programme plus simple, appelé slice, ayant le même comportement que le programme initial vis-à-vis de ce critère. Les méthodes d’analyse de code permettent d’établir les propriétés d’un programme. Ces méthodes sont souvent coûteuses, et leur complexité augmente rapidement avec la taille du code. Il serait donc souhaitable d’appliquer ces techniques sur des slices plutôt que sur le programme initial, mais cela

APA, Harvard, Vancouver, ISO, and other styles

24

Yoshida, Eliana da Cruz. "Evolução da forma organizacional na população de bancos múltiplos no Brasil: um estudo da relação entre diversidade, idade e mortalidade organizacional." Universidade Presbiteriana Mackenzie, 2011. http://tede.mackenzie.br/jspui/handle/tede/523.

Full text

Abstract:

Made available in DSpace on 2016-03-15T19:25:33Z (GMT). No. of bitstreams: 1 Eliana Cruz Yoshida.pdf: 832230 bytes, checksum: 2a96519ccc0f980ce7dead070bae704a (MD5) Previous issue date: 2011-02-17<br>Fundo Mackenzie de Pesquisa<br>This study analyzes the demography of the multiple banks in Brazil by utilizing longitudinal data which expands between periods of 1988 until 2009. The purpose of this research is analyzes the evolution of multiple banks, on these aspects: organizational diversity, age and mortality. Mainly, a multiple bank s origin can be: a) bank sector when the multiple bank o

APA, Harvard, Vancouver, ISO, and other styles

25

Varoto, Vania Aparecida Gurian. "E quando a dependência chegar? Um estudo das organizações disponíveis para idosos em uma cidade média no interior paulista." Universidade Federal de São Carlos, 2005. https://repositorio.ufscar.br/handle/ufscar/3455.

Full text

Abstract:

Made available in DSpace on 2016-06-02T19:50:25Z (GMT). No. of bitstreams: 1 TeseVAGR.pdf: 3064239 bytes, checksum: 381f34490e3e91c32ab1ea5948e9c82a (MD5) Previous issue date: 2005-04-27<br>Financiadora de Estudos e Projetos<br>Due to the rapid aging of the Brazilian population, the number of programs for the elderly is increasing. The objectives of this study were to: (a) analyze the organizations that offer services for the elderly, in a city in the state of Sao Paulo, Brazil, and (b) identify the support network used by dependent elderly. In the conduct of this study, all ethical guidelin

APA, Harvard, Vancouver, ISO, and other styles

26

Sanders, Robert John. "Developing approaches to measure dependency across different domains of need in later life : an exploration of the relationship between need and care receipt using the English Longitudinal Study of Ageing." Thesis, University of Stirling, 2016. http://hdl.handle.net/1893/25149.

Full text

Abstract:

This thesis explores the relationship between the needs people experience in later life and the types of care they receive. The thesis provides evidence on the role of different types of care in supporting the needs of people aged 60+ in England using the English Longitudinal Study of Ageing (ELSA). The research presented adopts a number of new approaches to capturing the multi-dimensional nature of dependency by utilising a range of binary indicators of difficulty performing 10 actions related to upper and lower body mobility, 6 activities of daily living (ADL) and 7 instrumental activities o

APA, Harvard, Vancouver, ISO, and other styles

27

Muhammad, W. "Assistance à l'Abstraction de Composants Virtuels pour la Vérification Rapide de Systèmes Numériques." Phd thesis, Université de Nice Sophia-Antipolis, 2008. http://tel.archives-ouvertes.fr/tel-00454617.

Full text

Abstract:

De nos jours la conception des IP (IP: Intellectual Property) peut bénéficier de nouvelles techniques de vérification symbolique: abstraction de donnée et analyse statique formelle. Nous pensons qu'il est nécessaire de séparer clairement le Contrôle des Données avant toute vérification automatique. Nous avons proposé une définition du contrôle qui repose sur l'idée intuitive qu'il a un impact sur le séquencement de données. Autour de cette idée, le travail a consisté à s'appuyer sur la sémantique des opérateurs booléens et proposer une extension qui exprime cette notion deséquencement. Ceci no

APA, Harvard, Vancouver, ISO, and other styles

28

Emerson, Guy Edward Toh. "Functional distributional semantics : learning linguistically informed representations from a precisely annotated corpus." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/284882.

Full text

Abstract:

The aim of distributional semantics is to design computational techniques that can automatically learn the meanings of words from a body of text. The twin challenges are: how do we represent meaning, and how do we learn these representations? The current state of the art is to represent meanings as vectors - but vectors do not correspond to any traditional notion of meaning. In particular, there is no way to talk about 'truth', a crucial concept in logic and formal semantics. In this thesis, I develop a framework for distributional semantics which answers this challenge. The meaning of a word

APA, Harvard, Vancouver, ISO, and other styles

29

Tang, My Thao. "Un système interactif et itératif extraction de connaissances exploitant l'analyse formelle de concepts." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0060/document.

Full text

Abstract:

Dans cette thèse, nous présentons notre méthodologie de la connaissance interactive et itérative pour une extraction des textes - le système KESAM: Un outil pour l'extraction des connaissances et le Management de l’Annotation Sémantique. Le KESAM est basé sur l'analyse formelle du concept pour l'extraction des connaissances à partir de ressources textuelles qui prend en charge l'interaction aux experts. Dans le système KESAM, l’extraction des connaissances et l'annotation sémantique sont unifiées en un seul processus pour bénéficier à la fois l'extraction des connaissances et l'annotation séma

APA, Harvard, Vancouver, ISO, and other styles

30

Andreescu, Oana Fabiana. "Static analysis of functional programs with an application to the frame problem in deductive verification." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S047/document.

Full text

Abstract:

Dans le domaine de la vérification formelle de logiciels, il est impératif d'identifier les limites au sein desquelles les éléments ou fonctions opèrent. Ces limites constituent les propriétés de frame (frame properties en anglais). Elles sont habituellement spécifiées manuellement par le programmeur et leur validité doit être vérifiée: il est nécessaire de prouver que les opérations du programme n'outrepassent pas les limites ainsi déclarées. Dans le contexte de la vérification formelle interactive de systèmes complexes, comme les systèmes d'exploitation, un effort considérable est investi da

APA, Harvard, Vancouver, ISO, and other styles

31

Tang, My Thao. "Un système interactif et itératif extraction de connaissances exploitant l'analyse formelle de concepts." Electronic Thesis or Diss., Université de Lorraine, 2016. http://www.theses.fr/2016LORR0060.

Full text

Abstract:

Dans cette thèse, nous présentons notre méthodologie de la connaissance interactive et itérative pour une extraction des textes - le système KESAM: Un outil pour l'extraction des connaissances et le Management de l’Annotation Sémantique. Le KESAM est basé sur l'analyse formelle du concept pour l'extraction des connaissances à partir de ressources textuelles qui prend en charge l'interaction aux experts. Dans le système KESAM, l’extraction des connaissances et l'annotation sémantique sont unifiées en un seul processus pour bénéficier à la fois l'extraction des connaissances et l'annotation séma

APA, Harvard, Vancouver, ISO, and other styles

32

Oliveira, Nilo Dias de. "A vigilância da DOPS-SP às Forças Armadas: (Brasil - década de 1950) - sistema repressivo num Estado de natureza autocrática." Pontifícia Universidade Católica de São Paulo, 2008. https://tede2.pucsp.br/handle/handle/13099.

Full text

Abstract:

Made available in DSpace on 2016-04-27T19:31:57Z (GMT). No. of bitstreams: 1 NILO DIAS DE OLIVEIRA.pdf: 1727773 bytes, checksum: b03ba624a4aba0f0a823cc2848061a2a (MD5) Previous issue date: 2008-11-28<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>The present dissertation has as objective to analyze practical of monitoring and the repression of the Private Service of the DOPS-SP through the analysis immanent of its reports during the period of 1950 -1961, giving emphasis to the action of this agency under the Armed Forces. The infiltration of its agents in the cupola of the

APA, Harvard, Vancouver, ISO, and other styles

33

Shehata, Hazem. "Formal Verification of Instruction Dependencies in Microprocessors." Thesis, 2011. http://hdl.handle.net/10012/6102.

Full text

Abstract:

In microprocessors, achieving an efficient utilization of the execution units is a key factor in improving performance. However, maintaining an uninterrupted flow of instructions is a challenge due to the data and control dependencies between instructions of a program. Modern microprocessors employ aggressive optimizations trying to keep their execution units busy without violating inter-instruction dependencies. Such complex optimizations may cause subtle implementation flaws that can be hard to detect using conventional simulation-based verification techniques. Formal verification is known

APA, Harvard, Vancouver, ISO, and other styles

34

Silva, Cláudia Alexandra Ferreira da. "Relação entre cuidadores formais e informais de idosos dependentes." Master's thesis, 2021. http://hdl.handle.net/1822/76206.

Full text

Abstract:

Dissertação de mestrado em Economia Social<br>Os cuidadores informais têm ganho destaque ao longo dos últimos tempos sobretudo pela aprovação do Estatuto do Cuidador Informal. Existe, portanto, a necessidade de analisar o seu alcance e perceber de que forma poder-se-á melhorar o quotidiano dos cuidadores e, consequentemente, dos idosos. A presente dissertação procura perceber o tipo de relação existente entre cuidadores formais e informais bem como a perceção que os cuidadores têm da mesma. Questionaram-se cuidadores formais de instituições, domicílios, cuidadores informais e também alguns re

APA, Harvard, Vancouver, ISO, and other styles

35

Rajan, Sreeranga Prasannakumar. "Transformations on dependency graphs : formal specification and efficient mechanical verification." Thesis, 1995. http://hdl.handle.net/2429/7597.

Full text

Abstract:

Dependency graphs are used to model data and control flow in hardware and software design. In a transformational design approach, optimization and refinement transformations are used to transform dependency-graph-based specifications at higher abstraction levels to those at lower abstraction levels. In this dissertation, we investigate the formal specification and mechanical verification of transformations on dependency graphs. Among formal methods, the axiomatic method provides a mechanism to specify an object by asserting properties it should satisfy. We show that an axiomatic specific

APA, Harvard, Vancouver, ISO, and other styles

36

Matos, Marta Alexandra Osório de. "Healthy ageing despite chronic pain: the role of formal social support for functional autonomy and dependence." Doctoral thesis, 2016. http://hdl.handle.net/10071/12500.

Full text

Abstract:

PsycINFO Codes: 2226 Health Psychology Testing, 2860 Gerontology, 3360 Health Psychology & Medicine, 3365 Promotion & Maintenance of Health &Wellness, 3373 Community and Social Services<br>Chronic pain is prevalent and bears a toll on older adults’ lives. Pain-related disability is the major cause of functional disability amongst older adults, and (formal) social support may play a central role in overcoming the detrimental effects of pain experiences. The literature on the effects of pain-related support on pain-related disability has shown inconsistent results. It is this thesis contention

APA, Harvard, Vancouver, ISO, and other styles

37

Alves, Soraia Fernanda Beites. "Apoio formal a cuidadores de idosos dependentes: a perspectiva dos profissionais da rede Nacional de Cuidados Continuados Integrados." Master's thesis, 2013. http://hdl.handle.net/10437/4729.

Full text

Abstract:

Orientação: Maria Irene Carvalho<br>Tendo em conta que o envelhecimento é um processo complexo que origina dependência e, por sua vez, necessita de um cuidador para assegurar os cuidados pessoais e personalizados ao idoso dependente, esta pesquisa trata de analisar as perspetivas dos profissionais que trabalham na Rede Nacional de Cuidados Continuados Integrados (RNCCI) acerca do internamento para descanso do cuidador informal. Esta pesquisa visa compreender de que modo é realizado o descanso do cuidador. Foram efetuadas entrevistas a três profissionais de uma Equipa de Cuidados Continuados (

APA, Harvard, Vancouver, ISO, and other styles

38

Silva, Ana Catarina Figueiredo da. "Habilidades do Cuidador Informal para Cuidar da Pessoa Dependente no Autocuidado - A Integração dos Cuidados e a Capacitação Formal." Master's thesis, 2019. http://hdl.handle.net/10400.8/4706.

Full text

Abstract:

Introdução: A capacitação do cuidador informal é fundamental para a sua adaptação ao papel, com efeitos na sua qualidade de vida, bem como na prestação de cuidados em si. Objetivos: Como objetivo geral pretende-se avaliar as habilidades dos cuidadores informais para cuidar da pessoa dependente no autocuidado na continuidade dos cuidados no regresso a casa após alta hospitalar. Como objetivos específicos salienta-se determinar as necessidades de capacitação referidas pelos cuidadores e percecionadas pelos enfermeiros que trabalham ou não numa Unidade Local de Saúde (ULS). Métodos: Estudo

APA, Harvard, Vancouver, ISO, and other styles

39

Santos, Dina Isabel Francisco Alberto. "As vivências do cuidador informal na prestação de cuidados ao idoso dependente : um estudo no Concelho da Lourinhã." Master's thesis, 2008. http://hdl.handle.net/10400.2/732.

Full text

Abstract:

Dissertação de Mestrado em Comunicação em Saúde apresentada à Universidade Aberta<br>O cuidar é comum a todas as culturas, embora as suas formas de expressão possam ser as mais variadas; cabe à família esse papel, pois é essencialmente ela que executa e se responsabiliza pelo cuidado. A prestação de cuidados requer um esforço contínuo ao nível cognitivo, emocional e físico, muitas vezes não reconhecido e inadequadamente recompensado. Cuidar de quem cuida é também uma responsabilidade e deverá ser uma preocupação de todos nós, bem como dos decisores políticos. Os cuidadores familiares repres

APA, Harvard, Vancouver, ISO, and other styles

40

Martins, Susana Isabel Calvinho. "Burnout e sobrecarga em cuidadores formais de idosos : complementaridade das abordagens quantitativa e qualitativa." Master's thesis, 2016. http://hdl.handle.net/10451/29463.

Full text

Abstract:

Tese de mestrado, Psicologia (Secção de Psicologia Clínica e da Saúde, Núcleo de Psicologia da Saúde e da Doença), Universidade de Lisboa, Faculdade de Psicologia, 2016<br>Dada a complexidade e exigências decorrentes da prestação de cuidados formais a idosos, o bem-estar físico e mental dos cuidadores, a exploração da sua vivência e dificuldades tornaram-se foco desta investigação. Este estudo teve como grande objetivo explorar a perceção de Burnout e Sobrecarga em cuidadores formais de idosos. Optou-se por uma metodologia mista, que permitiu a integração e complementaridade entre uma abordage

APA, Harvard, Vancouver, ISO, and other styles

41

Mesquita, Ana Cristina Freitas Peixoto Miranda. "Perceção de qualidade de vida e estado de saúde em idosos dependentes e seus cuidadores informais e formais : comparação de perspetivas." Master's thesis, 2016. http://hdl.handle.net/10451/28159.

Full text

Abstract:

Tese de mestrado, Psicologia (Secção de Psicologia Clínica e da Saúde, Núcleo de Psicologia da Saúde e da Doença), Universidade de Lisboa, Faculdade de Psicologia, 2016<br>O presente estudo tem como objetivos: a) explorar algumas das variáveis associadas à relação de prestação de cuidados, como a Qualidade de Vida e a Qualidade de Vida Relacionada com a Saúde dos idosos dependentes, e a Qualidade de Vida e perceção de Sobrecarga e Burnout nos cuidadores; e b) comparar as perspetivas dos idosos dependentes e dos cuidadores informais e formais, no sentido de perceber qual dos tipos de cuidad

APA, Harvard, Vancouver, ISO, and other styles

42

Ferreira, Eunice Sofia Dos Santos. "Cuidar em parceria da pessoa idosa dependente: um estudo de caso com cuidadores formais e cuidadores familiares em contexto de apoio domiciliário." Master's thesis, 2017. http://hdl.handle.net/10400.8/2652.

Full text

Abstract:

Hoje vive-se muitos anos. No entanto, este ganho está associado a reais desafios ao nível da prestação de cuidados e das situações de dependência que atingem particularmente as pessoas idosas. Face a esta dependência, a família continua a atuar na primeira linha, prestando os cuidados de que a pessoa necessita, apesar das transformações socioeconómicas que foram ocorrendo. Todavia, muitos cuidadores familiares recorrem a apoios formais, em particular ao Serviço de Apoio Domiciliário, não para se desresponsabilizarem do cuidar, mas para receberem auxílio e partilharem essa tarefa. Assim,

APA, Harvard, Vancouver, ISO, and other styles

43

Jelínek, Tomáš. "Forma a funkce u substantiv v češtině: vztah pádu a syntaktické funkce. Na materiálu korpusu současné psané češtiny (SYN2005)." Doctoral thesis, 2012. http://www.nusl.cz/ntk/nusl-308454.

Full text

Abstract:

The case in Czech is the basic morphological means by which nouns express their function in a sentence. The objective of this thesis is to describe, from a frequency point of view, the relation between form and function of nouns, or, more precisely, how frequently cases (both simple and prepositional) are used to realise syntactic functions in sentences. The thesis is based on one of the largest corpora of written synchronic Czech: 100-million-token corpus SYN2005. In order to obtain data on frequencies of syntactic functions of nouns in relation to their cases, we annotated the corpus SYN2005

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!