Log in

Relevant bibliographies by topics / Formal coherence / Dissertations / Theses

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

Dissertations / Theses on the topic 'Formal coherence'

Author: Grafiati

Published: 10 September 2021

Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 17 dissertations / theses for your research on the topic 'Formal coherence.'

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

Calderon, Ana C. M. A. "Understanding game semantics through coherence spaces." Thesis, University of Bath, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580675.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Leighton, Jacqueline P. "An alternate approach to understanding formal reasoning, thinking according to the inductive-coherence model." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape10/PQDD_0034/NQ46871.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kim, Eun-Ho. "Formal coherence in J.S. Bach's three sonatas for solo violin, bwv 1001, 1003, and 1005." Cincinnati, Ohio : University of Cincinnati, 2005. http://www.ohiolink.edu/etd/view.cgi?acc%5Fnum=ucin1122323822.

Full text

Abstract:

Thesis (Master of Music)--University of Cincinnati 2005.<br>Title from electronic thesis title page (viewed Feb. 25, 2006). Includes abstract. Keywords: Bach, Violin Sonatas. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

4

KIM, EUN-HO. "FORMAL COHERENCE IN J.S. BACH'S THREE SONATAS FOR SOLO VIOLIN, BWV 1001, 1003, AND 1005." University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1122323822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Beu, Jesse Garrett. "Design of heterogeneous coherence hierarchies using manager-client pairing." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/47710.

Full text

Abstract:

Over the past ten years, the architecture community has witnessed the end of single-threaded performance scaling and a subsequent shift in focus toward multicore and manycore processing. While this is an exciting time for architects, with many new opportunities and design spaces to explore, this brings with it some new challenges. One area that is especially impacted is the memory subsystem. Specifically, the design, verification, and evaluation of cache coherence protocols becomes very challenging as cores become more numerous and more diverse. This dissertation examines these issues and

APA, Harvard, Vancouver, ISO, and other styles

6

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

7

Rosa, Carlos Miguel Lopes. "Sistemas de informação pictográfica." Doctoral thesis, Faculdade de Arquitectura, 2012. http://hdl.handle.net/10400.5/6082.

Full text

Abstract:

Tese de Doutoramento em Design.<br>Este trabalho de investigação tem por objectivo apurar e sistematizar métodos e procedimentos de design para se obter coerência formal intra e inter-figura em sistemas pictográficos. O estudo incidiu sobre duas temáticas integradas na área do design de informação, abordando-se os espaços destinados a utilizações transculturais, uns de circulação curta mas muito intensa, os Aeroportos, assim como os espaços de circulação mais prolongada e lúdica, os Jogos Olímpicos. Escolheram-se os sistemas pictográficos dos aeroportos AIGA (1974), Schiphol (1991) e Coló

APA, Harvard, Vancouver, ISO, and other styles

8

Kriouile, Abderahman. "Formal methods for functional verification of cache-coherent systems-on-chip." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM041/document.

Full text

Abstract:

Les architectures des systèmes sur puce (System-on-Chip, SoC) actuelles intègrent de nombreux composants différents tels que les processeurs, les accélérateurs, les mémoires et les blocs d'entrée/sortie, certains pouvant contenir des caches. Vu que l'effort de validation basée sur la simulation, actuellement utilisée dans l'industrie, croît de façon exponentielle avec la complexité des SoCs, nous nous intéressons à des techniques de vérification formelle. Nous utilisons la boîte à outils CADP pour développer et valider un modèle formel d'un SoC générique conforme à la spécification AMBA 4 ACE

APA, Harvard, Vancouver, ISO, and other styles

9

Pereira, Alberto Silva. "Estados coerentes para Hamiltonianos quadráticos de forma geral." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-10082016-204412/.

Full text

Abstract:

Nesta tese, obtemos estados quânticos que satisfazem a equação de Schrödinger, para Hamiltonianos quadráticos de forma geral e, ao mesmo tempo, permitem de maneira natural obter a correspondência com a descrição clássica. Usamos o método de integrais de movimento para construir operadores de criação e aniquilação, que satisfazem a álgebra de Weyl-Heisenberg. Dessa forma, construímos os estados de número generalizados (ENG) de maneira análoga ao que é feito para os estados de Fock. Obtemos diferentes famílias de estados coerentes (EC), através de uma superposição dos ENG, que chamamos de estado

APA, Harvard, Vancouver, ISO, and other styles

10

Fickers, Jessica. "Modulation formats and digital signal processing for fiber-optic communications with coherent detection." Doctoral thesis, Universite Libre de Bruxelles, 2014. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209204.

Full text

Abstract:

A débit de données élevé, typiquement supérieur à 10 Gsymboles/s, les lignes de<p>télécommunication optique à fibre monomode souffrent de façon accrue des distorsions<p>inhérentes à la fibre et à l’architecture de transmission. Nous pouvons classer les<p>effets de fibre en plusieurs catégories:<p>– Les effets linéaires. La dispersion chromatique est entraînée par la dépendance en<p>fréquence de l’indice de réfraction de la fibre. Il en résulte un élargissement des<p>bits optiques. La dispersion des modes de polarisation prend son origine dans<p>la biréfringence de la fibre. La modélisation de

APA, Harvard, Vancouver, ISO, and other styles

11

Charlet, Gabriel. "Etude des formats de modulation et des méthodes de détection pour les transmissions multiplexées en longueurs d’ondes sur fibre optique au débit de 40Gb/s et 100Gb/s." Thesis, Paris 11, 2011. http://www.theses.fr/2011PA112008/document.

Full text

Abstract:

Des méthodes de modulation et de détection de la lumière originales ont été étudiées afin d’améliorer la performance des systèmes de transmission optique longue distance. Des formats de modulation multiplexés en polarisation, utilisant plusieurs niveaux de phase ont été étudiés en particulier. La détection cohérente associée à un traitement numérique du signal a également été choisie au niveau de la réception afin d’optimiser la performance du système. Cela permet notamment de compenser de façon très efficace les distorsions linéaires introduites par la propagation dans le fibre optique, telle

APA, Harvard, Vancouver, ISO, and other styles

12

Khaleghi, Hamidreza. "Influence des amplificateurs optiques à semi-conducteurs (SOA) sur la transmission cohérente de signaux optiques à format de modulation multi-porteuses (CO-OFDM)." Phd thesis, Université de Bretagne occidentale - Brest, 2012. http://tel.archives-ouvertes.fr/tel-00829663.

Full text

Abstract:

Le futur système de transmission multicanaux (WDM) pourrait mettre à profit l'utilisation d'amplificateurs optiques à semi-conducteurs (SOA), pour bénéficier notamment de leur grande bande passante optique pour l'amplification du signal. Dans ce travail, nous étudions l'influence des SOA sur la transmission cohérente de signaux OFDM optiques (CO OFDM). Cette technique, récemment proposée, permet à la fois d'augmenter l'efficacité spectrale de la transmission et de compenser les imperfections linéaires du canal optique. Nous avons développé, dans ce travail, une chaîne expérimentale de transmis

APA, Harvard, Vancouver, ISO, and other styles

13

Ferreira, Rafael Jales Lima. "Estudo de sistemas com multiportadoras ópticas ortogonais e coerentes." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/18/18155/tde-29042013-113736/.

Full text

Abstract:

Neste trabalho a técnica de multiportadoras OFDM (Orthogonal Frequency Division Multiplexing), aplicada a sistemas ópticos, é estudada, com foco principal na geração e transmissão dos chamados supercanais ópticos modulados em altíssimas taxas (até Terabits/s). O OFDM prevê um melhor aproveitamento da largura de banda e, quando comparada à técnica FDM (Frequency Division Multiplexing), permite uma redução de aproximadamente 50% do espectro ocupado. Esta economia proporcionada pela técnica torna-a forte candidata para uso em redes ópticas reconfiguráveis, pois provê melhor eficiência espectral a

APA, Harvard, Vancouver, ISO, and other styles

14

Alvarez, Nelfi Gertrudis Gonzalez. "Processos de burn-in e de garantia em sistemas coerentes sob o modelo de tempo de vida geral." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-23102009-125323/.

Full text

Abstract:

Neste trabalho consideramos três tópicos principais. Nos dois primeiros generalizamos alguns dos resultados clássicos da Teoria da Confiabilidade na otimização dos procedimentos de burn-in e de políticas de garantia, respectivamente, sob o modelo de tempo de vida geral, quando um sistema coerente é observado ao nível de seus componentes, e estendemos os conceitos de intensidade de falha na forma de banheira e do modelo de falha geral através da definiçâo de processos progressivamente mensuráveis sob a pré-t-história completa dos componentes do sistema. Uma regra de parada monótona é usada na m

APA, Harvard, Vancouver, ISO, and other styles

15

Nguyen, Trung-Hiên. "Theoretical and experimental study of optical solutions for analog-to-digital conversion of high bit-rate signals." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S110/document.

Full text

Abstract:

Les formats de modulation bidimensionnels (i.e. basés sur l’amplitude et la phase de l’onde porteuse) ont gagné depuis peu le domaine des transmissions par fibre optique grâce aux progrès conjoints de l’électronique rapide et du traitement du signal, indispensables pour réaliser les récepteurs opto-électroniques utilisant la détection cohérente des signaux optiques. Pour pallier les limites actuelles en rapidité de commutation des circuits intégrés électroniques, une voie de recherche a été ouverte il y a quelques années, consistant à utiliser des technologies optiques pour faciliter la parall

APA, Harvard, Vancouver, ISO, and other styles

16

Саєнко, Тетяна Дмитрівна. "Формально-граматична й семантико-синтаксична структура складносурядних речень у романах Л. Дашвар “Ініціація” та М. Стельмаха “Правда і кривда”". Магістерська робота, 2021. https://dspace.znu.edu.ua/jspui/handle/12345/5677.

Full text

Abstract:

Саєнко Т. Д. Формально-граматична й семантико-синтаксична структура складносурядних речень у романах Л. Дашвар “Ініціація” та М. Стельмаха “Правда і кривда” : кваліфікаційна робота магістра спеціальності 035 “Філологія” / наук. керівник Р. О. Христіанінова. Запоріжжя : ЗНУ, 2021. 56 с.<br>UA : Текст роботи містить 56 сторінок. Для виконання кваліфікаційної роботи методом суцільної вибірки виписано складносурядні речення із романів Л. Дашвар “Ініціація” та М. Стельмаха “Правда і кривда”, опрацьовано 52 наукові джерела. Об`єктом дослідження є складносурядні речення в сучасній українській мов

APA, Harvard, Vancouver, ISO, and other styles

17

Camacho, Pedro Miguel Baptista. "Estudo morfométrico da retina em doentes com formas precoces de degenerescência macular da idade : Integridade e quantificação das estruturas através da tomografia de coerência ótica de domínio espectral." Doctoral thesis, 2017. http://hdl.handle.net/10362/21934.

Full text

Abstract:

RESUMO: Introdução A degenerescência macular da idade (DMI) é uma patologia ocular resultante da interação entre a componente genética e os fatores ambientais. O impacto direto que tem ao nível da cegueira, pelo envelhecimento da população mundial, e o impacto desafiante ao nível económico reveste esta patologia de um particular interesse em saúde pública. A contínua evolução da tomografia de coerência ótica (OCT), com a melhoria dos algoritmos utilizados, tem contribuído para uma melhor caracterização e monitorização da DMI. Esta técnica tem permitido, de forma não invasiva, a aquisição de im

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!