Log in

Relevant bibliographies by topics / C-Logit / Dissertations / Theses

To see the other types of publications on this topic, follow the link: C-Logit.

Dissertations / Theses on the topic 'C-Logit'

Author: Grafiati

Published: 3 June 2025

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 49 dissertations / theses for your research on the topic 'C-Logit.'

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

Henrici, Thomas Gordon. "Implementation of c-axis microbridges for high-Tâ†c superconducting logic devices." Thesis, University of Strathclyde, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366917.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

ALVES, MARIA DO CARMO ELIAS. "A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1993. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8753@1.

Full text

Abstract:

A aplicação de linguagens declarativas baseadas na programação em lógica tem sido bastante difundida devido ao grande interesse hoje existente na área de Inteligência Artificial. Porém, o uso destas linguagens ainda não é muito evidente devido à restrições de desempenho, portabilidade, capacidade de integração com outras linguagens, etc. O presente trabalho contém a definição e implementação de uma extensão de programação em lógica para o C, denominada CLog, que têm como objetivo suprir as deficiências acima, permitindo, principalmente, a implementação de aplicações que apresentem

APA, Harvard, Vancouver, ISO, and other styles

3

Howlett, Des Peter. "Introducing a clocked muller C-element to increase logic throughput." Thesis, University of Reading, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.577789.

Full text

Abstract:

Conventionally-designed digital circuits are encountering speed limits which cannot be overcome due to constraints imposed by the basic laws of physics. Synchronous designs are relatively easy to produce, but require the system clock to run at the speed of the slowest part of the entire circuit. Self-timed (asynchronous) circuits offer the promise of being able to use resources more effectively, however they require much more design effort while not always delivering the expected gains. This thesis presents a method of combining the advantages of both synchronous and asynchronous techniques by

APA, Harvard, Vancouver, ISO, and other styles

4

VanDewerker, Sara A. "Efficient Muller C-Element Implementation for Null Convention Logic Asynchronous Register Feedback Circuit." University of Cincinnati / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1623240553118388.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

McNamara, Brian. "Multiparadigm programming novel devices for implementing functional and logic programming constructs in C++ /." Diss., Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-07122004-121450/unrestricted/mcnamara%5Fbrian%5Fm%5F200407%5Fphd.pdf.

Full text

Abstract:

Thesis (Ph. D.)--College of Computing, Georgia Institute of Technology, 2005. Directed by Yannis Smaragdakis.<br>Spencer Rugaber, Committee Member ; Olin Shivers, Committee Member ; Mary Jean Harrold, Committee Member ; Yannis Smaragdakis, Committee Chair ; Philip Wadler, Committee Member. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

6

Tuch, Harvey Computer Science &amp Engineering Faculty of Engineering UNSW. "Formal memory models for verifying C systems code." Publisher:University of New South Wales. Computer Science & Engineering, 2008. http://handle.unsw.edu.au/1959.4/41233.

Full text

Abstract:

Systems code is almost universally written in the C programming language or a variant. C has a very low level of type and memory abstraction and formal reasoning about C systems code requires a memory model that is able to capture the semantics of C pointers and types. At the same time, proof-based verification demands abstraction, in particular from the aliasing and frame problems. In this thesis, we study the mechanisation of a series of models, from semantic to separation logic, for achieving this abstraction when performing interactive theorem-prover based verification of C systems code i

APA, Harvard, Vancouver, ISO, and other styles

7

Єрмоленко, О. П. "Модуль генерації математичної моделі компетенцій на базі логіки антонімів". Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/22778.

Full text

Abstract:

Єрмоленко, О. П. Модуль генерації математичної моделі компетенцій на базі логіки антонімів : дипломна робота : 121 - Інженерія програмного забезпечення / О. П. Єрмоленко ; керівник роботи І. В. Білоус ; НУ "Чернігівська політехніка", кафедра інформаційних технологій та програмної інженерії. – Чернігів, 2021. – 78 с.<br>Об’єкт розробки – модуль генерації математичної моделі компетенцій на базі логіки антонімів. В результаті роботи модуль має наступний функціонал: − графічне створення моделі; − додавання підрівнів; − збереження та відновлення моделі з файлу; − зміна діаметру вершин; − вибір тип

APA, Harvard, Vancouver, ISO, and other styles

8

Berni, Jean Cerqueira. "Some algebraic and logical aspects of C&#8734-Rings." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/.

Full text

Abstract:

As pointed out by I. Moerdijk and G. Reyes in [63], C&#8734-rings have been studied specially for their use in Singularity Theory and in order to construct topos models for Synthetic Differential Geometry. In this work, we follow a complementary trail, deepening our knowledge about them through a more pure bias, making use of Category Theory and accounting them from a logical-categorial viewpoint. We begin by giving a comprehensive systematization of the fundamental facts of the (equational) theory of C&#8734-rings, widespread here and there in the current literature - mostly without proof - w

APA, Harvard, Vancouver, ISO, and other styles

9

Aleritsch, Benjamin [Verfasser], Friedrich C. [Akademischer Betreuer] Simmel, Ulrich [Gutachter] Gerland, and Friedrich C. [Gutachter] Simmel. "Construction, optimization and characterization of a functionally complete logic gate based on CRISPRi in Escherichia coli / Benjamin Aleritsch ; Gutachter: Ulrich Gerland, Friedrich C. Simmel ; Betreuer: Friedrich C. Simmel." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1206434333/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Kunčar, Ondřej Verfasser], Tobias [Akademischer Betreuer] [Gutachter] [Nipkow, and Lawrence C. [Gutachter] Paulson. "Types, Abstraction and Parametric Polymorphism in Higher-Order Logic / Ondřej Kunčar. Betreuer: Tobias Nipkow. Gutachter: Lawrence C. Paulson ; Tobias Nipkow." München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/1106382153/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Pan, Yicheng. "INTELLIGENT NON-DESTRUCTIVE EVALUATION EXPERT SYSTEM FOR CARBON-CARBON COMPOSITES USING THERMOGRAPHY, ULTRASONICS, AND COMPUTED TOMOGRAPHY." OpenSIUC, 2010. https://opensiuc.lib.siu.edu/dissertations/151.

Full text

Abstract:

This study develops a reliable intelligent non-destructive evaluation (NDE) expert system for carbon-carbon (C/C) composites based on thermography, ultrasonic, computed tomography and post processing by means of fuzzy expert system technique. Data features and NDE expert knowledge are seamlessly combined in the intelligent system to provide the best possible diagnosis of the potential defects and problems. As a result, this research help ensure C/C composites' integrity and reliability. Four types of orthotropic aerospace composite material groups, which include 2-D pitched based commercial ai

APA, Harvard, Vancouver, ISO, and other styles

12

Janovec, Aleš. "Navigace mobilního robotu pomocí fuzzy logiky." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2010. http://www.nusl.cz/ntk/nusl-229212.

Full text

Abstract:

In the introductory part of this thesis there is an analysis of methods, which are used for navigation of mobile robots. The main part of the thesis contains a proposal of control system of mobile robot. Robot control system is based on fuzzy modeling. To test the control, a system simulation environment is created in C #, in which experiments were performed.

APA, Harvard, Vancouver, ISO, and other styles

13

Fujimoto, Rodrigo Yoshiaki. "Diagnóstico automático de defeitos em rolamentos baseado em lógica fuzzy." Universidade de São Paulo, 2005. http://www.teses.usp.br/teses/disponiveis/3/3151/tde-07012006-111536/.

Full text

Abstract:

Este trabalho apresenta duas metodologias baseadas em lógica fuzzy para automatizar o diagnóstico de defeito em equipamentos mecânicos, além de fazer uma comparação de seu desempenho utilizando um caso experimental. As duas metodologias estudadas são: o sistema de inferência fuzzy e o algoritmo baseado em Fuzzy C-Means. O alarme estatístico é uma metodologia existente atualmente na indústria com este objetivo e que será utilizado neste trabalho para comparação de desempenho. Para realizar os testes, foram desenvolvidos programas que permitiram criar alarmes e sistemas fuzzy utilizando um banco

APA, Harvard, Vancouver, ISO, and other styles

14

Jones, William I. "Examining Preservice Science Teacher Understanding of Nature of Science: Discriminating Variables on the Aspects of Nature of Science." The Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1284776708.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Lantschner, Patrick. "The logic of political conflict in the late Middle Ages : a comparative study of urban political conflicts in Italy and the southern Low Countries, c. 1370-1440." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:88345337-bad5-4eb6-b626-ec6ae003cfef.

Full text

Abstract:

This thesis examines urban political conflict in the late Middle Ages (c. 1370-1440) in Europe’s most heavily urbanised regions, Italy and the Southern Low Countries. Conflicts have frequently been viewed in the context of an emerging state-controlled political order, and have been interpreted either as forms of disruptive disorder, or as affirmations of political processes shaped by states. This thesis suggests that urban conflict should be studied not in the context of a state-controlled political order, but within the political framework provided by the numerous semi-autonomous jurisdiction

APA, Harvard, Vancouver, ISO, and other styles

16

Jíša, Pavel. "Využití jazyka C při implementaci algoritmů pro FPGA." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219682.

Full text

Abstract:

This diploma thesis is engaged in implementations of algorithms for signal filtering in the field programmable gate array utilising the C and ImpulseC programming language. It is focused on one-dimensional FIR and IIR filters and also two-dimensional such as convolution and Sobel's operator. Moreover, evaluations of these filter algorithms are included.

APA, Harvard, Vancouver, ISO, and other styles

17

Shatila, Hazem Sarwat. "Adaptive Radio Resource Management in Cognitive Radio Communications using Fuzzy Reasoning." Diss., Virginia Tech, 2012. http://hdl.handle.net/10919/26618.

Full text

Abstract:

As wireless technologies evolve, novel innovations and concepts are required to dynamically and automatically alter various radio parameters in accordance with the radio environment. These innovations open the door for cognitive radio (CR), a new concept in telecommunications. CR makes its decisions using an inference engine, which can learn and adapt to changes in radio conditions. Fuzzy logic (FL) is the proposed decision-making algorithm for controlling the CRâ s inference engine. Fuzzy logic is well-suited for vague environments in which incomplete and heterogeneous information is pre

APA, Harvard, Vancouver, ISO, and other styles

18

Methni, Amira. "Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1057/document.

Full text

Abstract:

Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et pour lesquels un dysfonctionnement peut avoir des conséquences graves. Les méthodes formelles fournissent des outils permettant de garantir mathématiquement l'absence de certaines erreurs. Ces méthodes sont indispensables pour assurer les plus hauts niveaux de sûreté. Mais l'application de ces méthodes sur un code système bas niveau se heurte à des difficult

APA, Harvard, Vancouver, ISO, and other styles

19

Filho, Márcio Coutinho Brandão Côrtes. "Reconhecimento de padrão na biodisponibilidade do ferro utilizando o Algoritmo Fuzzy C-Means." Universidade do Estado do Rio de Janeiro, 2012. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=4902.

Full text

Abstract:

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro<br>Este trabalho apresenta um método para reconhecimento do padrão na biodisponibilidade do ferro, através da interação com substâncias que auxiliam a absorção como vitamina C e vitamina A e nutrientes inibidores como cálcio, fitato, oxalato, tanino e cafeína. Os dados foram obtidos através de inquérito alimentar, almoço e jantar, em crianças de 2 a 5 anos da única Creche Municipal de Paraty-RJ entre 2007 e 2008. A Análise de Componentes Principais (ACP) foi aplicada na seleção dos nutrientes e utilizou-se o Algoritmo Fuzzy C-Means (FCM

APA, Harvard, Vancouver, ISO, and other styles

20

McConaughey, Zoé. "Aristotle, science and the dialectician's activity : a dialogical approach to Aristotle's logic." Electronic Thesis or Diss., Université de Lille (2018-2021), 2021. https://pepite-depot.univ-lille.fr/ToutIDP/EDSHS/2021/2021LILUH060.pdf.

Full text

Abstract:

Cette thèse développe une analyse formelle de la syllogistique assertorique d’Aristote selon une démarche historiquement et herméneutiquement fondée. Une logique dialogique moderne est proposée dans laquelle les résultats d’Aristote et sa manière d’y arriver sont reproduits,fournissant ainsi une alternative aux approches de la syllogistique fondées sur la déduction naturelle. L’idée principale de cette thèse est que la logique d’Aristote se comprend au mieux avec une approche dialogique. Elle est soutenue par une démarche historique fournissant une interprétation dialogique de sa syllogistique

APA, Harvard, Vancouver, ISO, and other styles

21

Vargas, Rogerio Rodrigues de. "Uma nova forma de calcular os centros dos Clusters em algoritmos de agrupamento tipo fuzzy c-means." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17949.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:00Z (GMT). No. of bitstreams: 1 RogerioRV_TESE.pdf: 769325 bytes, checksum: ddaac964e1c74fba3533b5cdd90927b2 (MD5) Previous issue date: 2012-03-30<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Clustering data is a very important task in data mining, image processing and pattern recognition problems. One of the most popular clustering algorithms is the Fuzzy C-Means (FCM). This thesis proposes to implement a new way of calculating the cluster centers in the procedure of FCM algorithm which are called ckMeans, and in some variant

APA, Harvard, Vancouver, ISO, and other styles

22

Bár, Filip. "Infinitesimal models of algebraic theories." Thesis, University of Cambridge, 2017. https://www.repository.cam.ac.uk/handle/1810/267026.

Full text

Abstract:

Smooth manifolds have been always understood intuitively as spaces that are infinitesimally linear at each point, and thus infinitesimally affine when forgetting about the base point. The aim of this thesis is to develop a general theory of infinitesimal models of algebraic theories that provides us with a formalisation of these notions, and which is in accordance with the intuition when applied in the context of Synthetic Differential Geometry. This allows us to study well-known geometric structures and concepts from the viewpoint of infinitesimal geometric algebra. Infinitesimal models of al

APA, Harvard, Vancouver, ISO, and other styles

23

Methni, Amira. "Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1057.

Full text

Abstract:

Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et pour lesquels un dysfonctionnement peut avoir des conséquences graves. Les méthodes formelles fournissent des outils permettant de garantir mathématiquement l'absence de certaines erreurs. Ces méthodes sont indispensables pour assurer les plus hauts niveaux de sûreté. Mais l'application de ces méthodes sur un code système bas niveau se heurte à des difficult

APA, Harvard, Vancouver, ISO, and other styles

24

Demarle-Casadebaig, Monique. "Gongsun Long 公孫龍 : des noms à la désignation, la pensée du langage en Chine à l'époque des Royaumes-combattants". Thesis, Paris, INALCO, 2020. http://www.theses.fr/2020INAL0024.

Full text

Abstract:

Ce travail propose la traduction et le commentaire de l'ensemble des textes par lesquels nous a été transmis l’enseignement de Gongsun Long 公孫龍 (320-250) axé sur la question de la « rectitude » ou « correction » des noms. Pour éclairer ce débat dont les termes ne peuvent être directement transcrits dans le langage de la logique, de la linguistique ou de la philosophie moderne, on a cherché à reconstituer les préoccupations de « l’école des noms » mingjia 名家. Dans une époque de désordre social, cette école a repensé l’exigence confucéenne de la rectitude des noms en liaison avec le besoin de cl

APA, Harvard, Vancouver, ISO, and other styles

25

Tancredo, Leandro de Oliveira [UNESP]. "TAB2VHDL: um ambiente de síntese lógica para máquinas de estados finitos." Universidade Estadual Paulista (UNESP), 2002. http://hdl.handle.net/11449/87282.

Full text

Abstract:

Made available in DSpace on 2014-06-11T19:22:36Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-09-19Bitstream added on 2014-06-13T19:28:11Z : No. of bitstreams: 1 tancredo_lo_me_ilha.pdf: 1818873 bytes, checksum: ed384d89dcc56a20c364164f7beef4f2 (MD5)<br>Este trabalho apresenta uma nova ferramenta de síntese para projetos de sistemas digitais denominada TAB2VHDL. A partir da descrição em diagrama de transição de estados de uma máquina finita, representada no modelo de Mealy, é gerada uma descrição otimizada do sistema na linguagem de VHDL. Elimina-se dessa forma a tarefa árdua com de

APA, Harvard, Vancouver, ISO, and other styles

26

Guthrie, Thomas G. "Design, implementation, and testing of a software interface between the AN/SPS-65(V)1 radar and the SRC-6E reconfigurable computer." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Mar%5FGuthrie.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Března, Filip Samuel. "Využití umělé inteligence jako podpory pro rozhodování v podniku." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2020. http://www.nusl.cz/ntk/nusl-417710.

Full text

Abstract:

Artificial intelligence and fuzzy logic related to it currently belong to very popular and rapidly expanding technological subjects. It finds use in many areas, which also include the process of prediction of future states based on specific finite input characteristics. This master’s thesis deals with predictions that are done in field of agricultural crops growing. Basic principles that are affecting mentioned agricultural growing are explained here, their meaning and significance are specified, these are later on perceived as a key aspect to creation of fuzzy models that are used for predict

APA, Harvard, Vancouver, ISO, and other styles

28

Zhang, Yijing. "Traduire l’impensé, penser l’intraduisible. La première traduction chinoise des Catégories d’Aristote." Electronic Thesis or Diss., Paris 4, 2016. http://www.theses.fr/2016PA040119.

Full text

Abstract:

Le traité des Catégories d’Aristote est l’une des premières œuvres de la philosophie occidentale traduite en chinois. Introduit par les jésuites en Chine au XVIIème siècle, sa traduction fut une confrontation entre la pensée gréco-chrétienne et la pensée chinoise. Elle nous renseigne sur le rapport entre la langue et la pensée. Le premier chapitre est un aperçu de l’environnement historico-culturel dans lequel cette traduction a été réalisée. Le deuxième chapitre présente notre méthode et nos outils de travail. Nous expliquons, dans le troisième chapitre, le titre de l’ouvrage en chinois : il

APA, Harvard, Vancouver, ISO, and other styles

29

Tancredo, Leandro de Oliveira. "TAB2VHDL : um ambiente de síntese lógica para máquinas de estados finitos /." Ilha Solteira : [s.n.], 2002. http://hdl.handle.net/11449/87282.

Full text

Abstract:

Orientador: Alexandre César Rodrigues da Silva<br>Banca: Carlos Magnus Carlson Filho<br>Banca: Norian Marranghello<br>Resumo: Este trabalho apresenta uma nova ferramenta de síntese para projetos de sistemas digitais denominada TAB2VHDL. A partir da descrição em diagrama de transição de estados de uma máquina finita, representada no modelo de Mealy, é gerada uma descrição otimizada do sistema na linguagem de VHDL. Elimina-se dessa forma a tarefa árdua com detalhes de projeto. A TAB2VHDL foi comparada com duas outras ferramentas disponíveis comercialmente. Foram projetados diversos chip-set de c

APA, Harvard, Vancouver, ISO, and other styles

30

Sizilio, Gl?ucia Regina Medeiros Azambuja. "M?todo Fuzzy para aux?lio ao diagn?stico de c?ncer de mama em ambiente inteligente de telediagn?stico colaborativo para apoio ? tomada de decis?o." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15180.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:04Z (GMT). No. of bitstreams: 1 GlauciaRMAS_TESE.pdf: 2163942 bytes, checksum: 5778dd8818ffc286b87137c2a56b9fc0 (MD5) Previous issue date: 2012-05-14<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Breast cancer, despite being one of the leading causes of death among women worldwide is a disease that can be cured if diagnosed early. One of the main techniques used in the detection of breast cancer is the Fine Needle Aspirate FNA (aspiration puncture by thin needle) which, depending on the clinical case, requires the analysis of

APA, Harvard, Vancouver, ISO, and other styles

31

Silveira, Hector Bessa. "Formas triangulares para sistemas não-lineares com duas entradas e controle de sistemas sem arrasto em SU(n) com aplicações em mecânica quântica." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/3/3139/tde-13082010-163547/.

Full text

Abstract:

A presente tese aborda dois problemas distintos e independentes: triangularização de sistemas não-lineares com duas entradas e controle de sistemas sem arrasto que evoluem no grupo especial unitário SU(n). Em relação ao primeiro, estabeleceu-se, através da generalização de resultados bem conhecidos, condições geométricas para que um sistema com duas entradas seja descrito por uma forma triangular específica após uma mudança de coordenadas e uma realimentação de estado estática regular. Para o segundo problema, desenvolveu-se uma estratégia de controle que força o estado do sistema a rastrear a

APA, Harvard, Vancouver, ISO, and other styles

32

Lachance, Geneviève. "La conception platonicienne de la contradiction." Thesis, Paris 4, 2015. http://www.theses.fr/2015PA040023.

Full text

Abstract:

Cette thèse se rapporte à la notion de contradiction, entendue en son sens logique ou formel. Plus précisément, elle vise à dégager une conception de la contradiction chez un philosophe qui, du point de vue chronologique, précède l’avènement de la syllogistique et de la logique : Platon. À partir de l’examen des dialogues réfutatifs de Platon, il s’agira de mettre en lumière la forme des propositions contradictoires, de déterminer la terminologie et les métaphores utilisées par Platon pour nommer et décrire la contradiction et d’évaluer le contexte dans lequel avait lieu la réflexion platonici

APA, Harvard, Vancouver, ISO, and other styles

33

Salsano, Michela. "L'istituzione della methodus come processo di fondazione di un sistema dialettico argomentativo nel Quod sit unica doctrinae instituendae methodus ex Aristotelis sententia di Pierre de la Ramée : testo e studio." Electronic Thesis or Diss., Tours, 2020. http://www.theses.fr/2020TOUR2029.

Full text

Abstract:

L’objectif central de cette thèse montre le processus fondatif de la méthode, dans le système dialectique-argumentatif de Petrus Ramus. Les lignes contextuelles de cette recherche sont divisées en deux parties : la première vise à l’étude de certains aspects du Quod sit unica doctrinae instituendae methodus de Ramus, par identifier l’étape décisive pour la formulation de la méthode, et accomplir ainsi le processus dialectique. La deuxième partie est consacrée à l’édition interprétative du texte avec une note introductive détaillée. En premier lieu, j’entends on entend stipuler les axes stables

APA, Harvard, Vancouver, ISO, and other styles

34

Zhang, Yijing. "Traduire l’impensé, penser l’intraduisible. La première traduction chinoise des Catégories d’Aristote." Thesis, Paris 4, 2016. http://www.theses.fr/2016PA040119.

Full text

Abstract:

Le traité des Catégories d’Aristote est l’une des premières œuvres de la philosophie occidentale traduite en chinois. Introduit par les jésuites en Chine au XVIIème siècle, sa traduction fut une confrontation entre la pensée gréco-chrétienne et la pensée chinoise. Elle nous renseigne sur le rapport entre la langue et la pensée. Le premier chapitre est un aperçu de l’environnement historico-culturel dans lequel cette traduction a été réalisée. Le deuxième chapitre présente notre méthode et nos outils de travail. Nous expliquons, dans le troisième chapitre, le titre de l’ouvrage en chinois : il

APA, Harvard, Vancouver, ISO, and other styles

35

Ramananandro, Tahina. "Les objets en C + + : sémantique formelle mécanisée et compilation vérifiée." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00769044.

Full text

Abstract:

C++ est un des langages de programmation les plus utilisés en pratique, y compris pour le logiciel embarqué critique. C'est pourquoi la vérication de programmes écrits en C++ devient intéressante, en particulier via l'utilisation de méthodes formelles. Pour cela, il est nécessaire de se fonder sur une sémantique formelle de C++. De plus, une telle sémantique formelle peut être validée en la prenant comme base pour la spécication et la preuve d'un compilateur C++ réaliste, afin d'établir la confiance dans les techniques usuelles des compilateurs C++. Dans cette thèse, nous nous focalisons sur l

APA, Harvard, Vancouver, ISO, and other styles

36

Gruwell, Ammon Bradley. "High-Speed Programmable FPGA Configuration Memory Access Using JTAG." BYU ScholarsArchive, 2017. https://scholarsarchive.byu.edu/etd/6321.

Full text

Abstract:

Over the past couple of decades Field Programmable Gate Arrays (FPGAs) have become increasingly useful in a variety of domains. This is due to their low cost and flexibility compared to custom ASICs. This increasing interest in FPGAs has driven the need for tools that both qualify and improve the reliability of FPGAs for applications where the reconfigurability of FPGAs makes them vulnerable to radiation upsets such as in aerospace environments. Such tools ideally work with a wide variety of devices, are highly programmable but simple to use, and perform tasks at relatively high speeds. Of

APA, Harvard, Vancouver, ISO, and other styles

37

Marques, Helena Margarida Bico. "Modelos multinível para dados binários: O efeito do sector de actividade no incumprimento de empresas Portuguesas." Master's thesis, 2010. http://hdl.handle.net/10071/3723.

Full text

Abstract:

O estudo do incumprimento das empresas é um tópico que continua a despertar o interesse de investigadores e académicos, estando rodeado de um inegável interesse prático. Porém, a sua modelação parece ser um problema especialmente marcado por uma forte componente empírica e o próprio conceito de incumprimento pode até ser definido de diferentes formas. No presente trabalho, são acomodadas questões relativas à importância do sector de actividade como factor diferenciador da probabilidade de incumprimento e à inovação metodológica, tendo-se aplicado um modelo multinível com função de ligaç

APA, Harvard, Vancouver, ISO, and other styles

38

Baptista, Nuno Miguel da Costa Justo. "Will cryptocurrencies help alleviate recessions?" Master's thesis, 2020. http://hdl.handle.net/10071/21472.

Full text

Abstract:

The objective of this dissertation is to assess and explain the effects of cryptocurrencies on the business cycle and to understand whether this new method of transaction of goods and other values, may or may not ease the cycle of future economic recessions, facilitating the recovery of the economy to its equilibrium state and re-enabling its expansion. To achieve this goal we used the returns for some selected cryptocurrencies and other variables referring to their normal activity as ratios between volume of transactions and total amount in the market. In addition and to improve the mod

APA, Harvard, Vancouver, ISO, and other styles

39

Mortensen, Chris. "The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen." 2005. http://hdl.handle.net/2440/38538.

Full text

Abstract:

Each volume includes author's previously published papers.<br>Bibliography: leaves 147-151 (v. 1).<br>3 v. :<br>Title page, contents and abstract only. The complete thesis in print form is available from the University Library.<br>Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 2005

APA, Harvard, Vancouver, ISO, and other styles

40

Chiou, Hwang-Sheng, and 邱煌昇. "Adaptive and Fuzzy Logic Control for C-axis of CNC Turning Centers." Thesis, 1997. http://ndltd.ncl.edu.tw/handle/74059127620548941051.

Full text

Abstract:

碩士<br>國立中興大學<br>機械工程學系<br>85<br>In this thesis, we consider the controller design for the precision position and low-speed operation of the C-axis of a CNC turning center. When the spindle system is undergoing slow speed motion, serious effectsof nonlinear friction and transmission flexibility might dominate its control design. Two kinds of control strategy are suggested. First, usual PD controller with feedforward disturbance compensation using on- line disturbance estimators is proposed.

APA, Harvard, Vancouver, ISO, and other styles

41

Chung-LiTai and 戴崇禮. "Road Detection Using Dynamic Fuzzy Logic and Fuzzy c-Means Line-Clustering." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/92965856362542310868.

Full text

Abstract:

博士<br>國立成功大學<br>航空太空工程學系碩博士班<br>98<br>In this study, the RGB color ratio space is proposed and defined according to a reference color Different to traditional distance measurement, a road color model is determined by an ellipse area in the RGB ratio space enclosed by the estimated boundaries. A proposed dynamic fuzzy logic, which fuzzy membership functions are defined according to estimated boundaries, is introduced to implement clustering rules. Therefore, each pixel will have its own fuzzy membership function corresponding to its intensity. Fuzzy c-means line-clustering which integrate linea

APA, Harvard, Vancouver, ISO, and other styles

42

Chang, Chieh. "Signal Transduction, Regulation, and Developmental Logic of EGFR Signaling in C. elegans." Thesis, 2001. https://thesis.library.caltech.edu/8120/1/Chang_c_2001.pdf.

Full text

Abstract:

<p>RTKs-mediated signaling systems and the pathways with which they interact (e.g., those initiated by G protein-mediated signaling) involve a highly cooperative network that sense a large number of cellular inputs and then integrate, amplify, and process this information to orchestrate an appropriate set of cellular responses. The responses include virtually all aspects of cell function, from the most fundamental (proliferation, differentiation) to the most specialized (movement, metabolism, chemosensation). The basic tenets of RTK signaling system seem rather well established. Yet, new pathw

APA, Harvard, Vancouver, ISO, and other styles

43

Lin, Chun-Ta, and 林君達. "TPSF+C: A Two-Phase On-demand Scatternet Formation Algorithm for Bluetooth with Fuzzy Logic." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/66960997982621593775.

Full text

Abstract:

碩士<br>元智大學<br>資訊工程學系<br>95<br>The previous Scatternet formation algorithms can be broadly divided into two categories: proactive algorithms and reactive (on-demand) algorithms. The proactive Scatternet formation algorithms are to build a static Scatternet. Although they can consider the complete conditions in the network, they neglect the characteristics of each stand-alone Bluetooth node. On the other hand, reactive Scatternet formation algorithms are to build a more adaptive Scatternet according to the demands of each Bluetooth device dynamically. Therefore, the reactive algorithms receive

APA, Harvard, Vancouver, ISO, and other styles

44

Sigwele, Tshiamo, Prashant Pillai, and Yim Fun Hu. "Elastic call admission control using fuzzy logic in virtualized cloud radio base stations." 2015. http://hdl.handle.net/10454/11129.

Full text

Abstract:

No<br>Conventional Call Admission Control (CAC) schemes are based on stand-alone Radio Access Networks (RAN) Base Station (BS) architectures which have their independent and fixed spectral and computing resources, which are not shared with other BSs to address their varied traffic needs, causing poor resource utilization, and high call blocking and dropping probabilities. It is envisaged that in future communication systems like 5G, Cloud RAN (C-RAN) will be adopted in order to share this spectrum and computing resources between BSs in order to further improve the Quality of Service (QoS) and

APA, Harvard, Vancouver, ISO, and other styles

45

Sung, Wei Min, and 宋韋旻. "Low-power Wideband IQ Transmitter with Integrated Current Mode Logic Divider for C/X Band and 802.11ac Applications." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/ajd57y.

Full text

Abstract:

碩士<br>國立中央大學<br>電機工程學系<br>106<br>This thesis developed a fully integrated wideband and low power I/Q transmitter under the specifications of IEEE 802.11ac. There are two chips in the thesis. The first chip in chapter 2 is fabricated in tsmcTM 90 nm CMOS technology. The author applied a CMOS baseband inverter-type amplifier with resistive-feedback which increases the output impedance in the baseband circuit. The up-conversion mixer is adopted current-mode passive mixer for low power and high linearity application. The driver amplifier is used cascode topology which enhances the conversion gain

APA, Harvard, Vancouver, ISO, and other styles

46

Atamer, Ilayda. "Contagion of financial crises across neighbors and trade partners." Master's thesis, 2019. http://hdl.handle.net/10071/19397.

Full text

Abstract:

In this dissertation, we build different models to investigate contagion of currency, banking and sovereign debt crises across neighbor countries and trade partners by using Binary Logit Panel Data. Our analyses cover the periods 1970 – 2018 and 1800 – 2018 for more than 60 countries all around the world and specific control variables that are chosen according to the nature of each crisis. We have found that during the period of 1970 – 2018 contagion of currency crises has the lowest impact (average 63.5%) on the probability of currency crises happening in a country, while contagion of soverei

APA, Harvard, Vancouver, ISO, and other styles

47

Carloto, Carlos José Abreu Dias da Silva. "Towards a formally verified microkernel using the Frama-C toolset." Master's thesis, 2010. http://hdl.handle.net/10400.6/3716.

Full text

Abstract:

This dissertation is included in the MSc course in Computer Science of the University of Beira Interior. It is a Formal Method’s related dissertation, where it’s used an Hoare Logic based paradigm, the Design by Contract (DbC). This project consists in doing a Formal Verification of an industrial real-time Operating System (OS) kernel. The OS kernel that is verified is the eXtending free/open-source reaL-time execUtive for oN-board space Applications (xLuna). It is an OS from a portuguese company, CSW. The code that was verified is the real source code of xLuna. More precisely the source c

APA, Harvard, Vancouver, ISO, and other styles

48

Lee, Angela. "Brain State Classification in Epilepsy and Anaesthesia." Thesis, 2010. http://hdl.handle.net/1807/25750.

Full text

Abstract:

Transitions between normal and pathological brain states are manifested differently in the electroencephalogram (EEG). Traditional discrimination of these states is often subject to bias and strict definitions. A fuzzy logic-based analysis can permit the classification and tracking of brain states in a non-subjective and unsupervised manner. In this thesis, the combination of fuzzy c-means (FCM) clustering, wavelet, and information theory has revealed notable frequency features in epilepsy and anaesthetic-induced unconsciousness. It was shown that entropy changes in membership functions correl

APA, Harvard, Vancouver, ISO, and other styles

49

Matindife, Liston. "Fuzzy logic system for intermixed biogas and photovoltaics measurement and control." Diss., 2016. http://hdl.handle.net/10500/23369.

Full text

Abstract:

The major contribution of this dissertation is the development of a new integrated measurement and control system for intermixed biogas and photovoltaic systems to achieve safe and optimal energy usage. Literature and field studies show that existing control methods fall short of comprehensive system optimization and fault diagnosis, hence the need to re-look these control methods. The control strategy developed in this dissertation is a considerable enhancement on existing strategies as it incorporates intelligent fuzzy logic algorithms based on C source codes developed on the MPLABX programm

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!