Log in

Relevant bibliographies by topics / Combinatory logic / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Combinatory logic.

Dissertations / Theses on the topic 'Combinatory logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

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

Select a source type:

Consult the top 36 dissertations / theses for your research on the topic 'Combinatory logic.'

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

Datta, Neil Anirvan Sagomisa. "A quantitative combinatory logic." Thesis, Imperial College London, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.502442.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Amrhein, Beatrice. "Universal algebra in combinatory logic /." [S.l.] : [s.n.], 1992. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=10005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Weibel, Trudy. "Some representation problems in combinatory logic /." [S.l.] : [s.n.], 1989. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=8903.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hoxha, Armend. "Generating Members of a Software Product Line Using Combinatory Logic." Digital WPI, 2015. https://digitalcommons.wpi.edu/etd-theses/727.

Full text

Abstract:

A Product Line Family contains similar applications that differ only in the sets of sup-ported features from the family. To properly engineer these product lines, programmers design a common code base used by all members of the product line. The structure of this common code base is often an Object-Oriented (OO) framework, designed to contain the detailed domain-specific knowledge needed to implement these applications. However, these frameworks are often quite complex and implement detailed dynamic behavior with complex coordination among their classes. Extending an OO framework to realize a

APA, Harvard, Vancouver, ISO, and other styles

5

Deshpande, Sushant, and University of Lethbridge Faculty of Arts and Science. "A new program for combinatory reduction and abstraction." Thesis, Lethbridge, Alta. : University of Lethbridge, Dept. of Mathematics and Computer Science, c2009, 2009. http://hdl.handle.net/10133/1296.

Full text

Abstract:

Even though lambda calculus (λ-calculus) and combinatory logic (CL) appear to be equivalent, they are not. As yet we do not have a reduction in CL which corresponds to β-reduction in λ-calculus. There are three proposals but they all have few problems one of which is the lack of a complete characterization of CL-terms corresponding to λ-terms in β-normal form. Finding such a characterization for any of the three proposals appears to require a lot of examples which are tedious and time consuming to develop by hand. For this reason, a computer program to do reductions and abstractions of CL-term

APA, Harvard, Vancouver, ISO, and other styles

6

Kim, Dongho. "Power estimation for combinational logic and low power design /." Full text (PDF) from UMI/Dissertation Abstracts International, 2001. http://wwwlib.umi.com/cr/utexas/fullcit?p3008367.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Bergier, Hugolin. "Vers une logique du mouvement." Thesis, Paris 4, 2016. http://www.theses.fr/2016PA040085.

Full text

Abstract:

Depuis Frege (1893), les développements de la logique moderne ne se sont pas montrés à la hauteur de ses ambitions à l’égard de la détermination des objets, la temporalité, l’action, le langage et, d’une façon suréminente, le mouvement. Pour Rôdl (2012), la logique frégéenne et la logique moderne en général ne peuvent pas formaliser le mouvement parce que, comme il le démontre bien, elles reposent essentiellement sur un ordre logico-déductif. Nous voulons montrer que la source de cette faille n’est pas l’ordre logico-déductif de la logique moderne mais la thématisation de ses éléments selon le

APA, Harvard, Vancouver, ISO, and other styles

8

Chelyah, Hassane. "Analyse phonographématique de l'Arabe en vue d'applications informatiques." Google Book Search Library Project, 1994. http://books.google.com/books?id=gn1jAAAAMAAJ.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Düdder, Boris [Verfasser], Jakob [Akademischer Betreuer] Rehof, and Fritz [Gutachter] Henglein. "Automatic synthesis of component & connector software architectures with bounded combinatory logic / Boris Düdder. Betreuer: Jakob Rehof. Gutachter: Fritz Henglein." Dortmund : Universitätsbibliothek Dortmund, 2014. http://d-nb.info/1100692428/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ro, Hee-Jin. "Les référentiels et opérateurs aspecto-temporels : définitions, formalisation logique et informatique." Thesis, Paris 4, 2012. http://www.theses.fr/2012PA040130.

Full text

Abstract:

Le présent travail prend appui sur une synthèse de travaux déjà effectués dans l’équipe LaLIC (Langues,Linguistiques, Informatique, Cognition) ; il insiste sur l’articulation entre différents concepts, centrés sur la notion deréférentiel. Ma thèse fait partie d’une chaîne où sont approfondis certains concepts rendus de plus en plus opératoires.Mon travail prend appui sur les travaux sur le temps et l’aspect d’E. Benveniste, A. Culioli et J.-P. Desclés, enparticulier, il s’inscrit le développement de la théorisation du temps et de l’aspect entreprise par J.-P. Desclés et Z.Guentchéva. Dans cett

APA, Harvard, Vancouver, ISO, and other styles

11

Silva, Simone de Oliveira Andrade. "Relação entre o raciocínio lógico e o raciocínio matemático." Pontifícia Universidade Católica de São Paulo, 2017. https://tede2.pucsp.br/handle/handle/20524.

Full text

Abstract:

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2017-10-20T14:04:27Z No. of bitstreams: 1 Simone de Oliveira Andrade Silva.pdf: 2491360 bytes, checksum: 076e3d9c3f47be0c573b1d2a44f767da (MD5)<br>Made available in DSpace on 2017-10-20T14:04:27Z (GMT). No. of bitstreams: 1 Simone de Oliveira Andrade Silva.pdf: 2491360 bytes, checksum: 076e3d9c3f47be0c573b1d2a44f767da (MD5) Previous issue date: 2017-09-15<br>Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq<br>The aim was to identify possible relationship between logical reasoning and mathematical reasonin

APA, Harvard, Vancouver, ISO, and other styles

12

Sauzay, Benoit. "Le concept informatique de « compilation généralisée » dans les sciences cognitives (linguistique, logique et intelligence artificielle) : contribution aux rapports entre la logique combinatoire et les T[Σ]-algèbres". Thesis, Paris 4, 2013. http://www.theses.fr/2013PA040122.

Full text

Abstract:

La compilation en informatique est abordée par la littérature dans ses aspects techniques, et non sous la forme d’un concept à part entière. Si l’on regarde plus précisément les transformations effectuées par un compilateur, ce dernier synthétise un ensemble de définitions en une seule unité appelée « programme », en fonction des propriétés mêmes associées à ces définitions et indépendamment du compilateur lui-même. La notion de compilation peut ainsi être pensée pour elle-même indépendamment du langage ou des représentations de haut niveau et du modèle de machine cible. Les transformations d’

APA, Harvard, Vancouver, ISO, and other styles

13

Paçacı, Görkem. "Representation of Compositional Relational Programs." Doctoral thesis, Uppsala universitet, Informationssystem, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-317084.

Full text

Abstract:

Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. A promising method of Inductive Synthesis, CombInduce, which is particularly suitable for synthesizing recursive programs, is a candidate for improvements in usability as the target language Combilog is not user-friendly. T

APA, Harvard, Vancouver, ISO, and other styles

14

Rouabhi, Miloud. "Analyse sémantico-cognitive de prépositions en vue d'un traitement automatique." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUL032.

Full text

Abstract:

Cette étude vise à unifier dans une même approche les descriptions données par une sémantique cognitive et les représentations associées, et étudiées par une sémantique formelle. La sémantique cognitive a pour but d’associer des schèmes aux significations des unités analysées. La sémantique formelle consiste à étudier les modes de représentation de ces schèmes et les relations avec les observables. Notre étude s’appuie et s’insère dans le modèle général développé à l’université Paris-Sorbonne dans le groupe LaLIC (Langages, Logiques, Informatique et Cognition), il s’agit d’utiliser le modèle d

APA, Harvard, Vancouver, ISO, and other styles

15

Schreiber, Jansch Ingrid Eleonora. "Conception de contrôleurs autotestables pour des hypothèses de pannes analytiques." Phd thesis, Grenoble INPG, 1985. http://tel.archives-ouvertes.fr/tel-00319479.

Full text

Abstract:

Contrôleurs utilisés dans les systèmes autotestables pour le test des sorties combinatoires ou séquentielles. Conception des contrôleurs NMOS à partir de l'assemblage des cellules, des règles de conception pour celle-ci, et des hypothèses de pannes pouvant survenir. Les considérations pratiques sont basées sur des hypothèses de pannes analytiques

APA, Harvard, Vancouver, ISO, and other styles

16

Mohamed, Mohamed Hassan Wahba Ayman. "Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples." Grenoble 1, 1997. http://www.theses.fr/1997GRE10086.

Full text

Abstract:

Le diagnostic automatique des erreurs de conception est un probleme important dans le domaine de la cao. Bien que des outils automatises de synthese soient employes pour generer des structures de circuits correctes-par-construction, celles-ci sont souvent modifiees manuellement pour refleter des petites modifications faites sur la specification, ou pour ameliorer certaines caracteristiques critiques de la conception. Les outils de verification peuvent reveler l'existence d'erreurs, mais ils ne donnent aucune information sur leurs emplacements ou la facon de les corriger. Ces outils generent se

APA, Harvard, Vancouver, ISO, and other styles

17

Leroy, Cassandre. "Élicitation incrémentale combinée à la recherche heuristique pour l'optimisation combinatoire multi-objectifs." Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS367.pdf.

Full text

Abstract:

Cette thèse s'intéresse à la résolution de problèmes de décision sur domaine combinatoire par des méthodes d'élicitation incrémentale des préférences basée le regret pour l'optimisation interactive. On se situe à l'intersection de la théorie de la décision, de la recherche opérationnelle et de l'intelligence artificielle, en théorie de la décision algorithmique. On suppose que les préférences du décideur peuvent être représentées par une fonction de scalarisation paramétrée (somme pondérée, OWA et intégrale de Choquet), mais que les paramètres (par exemple, le jeu de poids) ne sont pas connus

APA, Harvard, Vancouver, ISO, and other styles

18

Jachiet, Pierre-Alain. "Étude de l'évolution combinatoire des gènes par l'analyse de réseaux de similarité de séquence." Electronic Thesis or Diss., Paris 6, 2014. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2014PA066358.pdf.

Full text

Abstract:

L’accumulation récente de données de séquences génomiques a montré que l’évolution des gènes n’est pas strictement arborescente. De nombreux processus évolutifs, comme l’exon shuffling, la fusion de gènes ou la recombinaison illégitime remodèlent les gènes, créant des structures composites, formées de parties dont les histoires évolutives sont différentes. Le développement de réseaux de similarité de séquences fournit un cadre analytique permettant d’étudier l’impact de ces processus sur l’évolution moléculaire, en structurant les relations de ressemblance entre séquences et en formalisant en

APA, Harvard, Vancouver, ISO, and other styles

19

Mahout, Maxime. "Logic programming tools for metabolic fluxes analysis and biological applications." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG086.

Full text

Abstract:

En biologie des systèmes, l'analyse des voies métaboliques est une méthode essentielle pour étudier le métabolisme et améliorer la compréhension du fonctionnement des systèmes vivants. Deux concepts clés sont l'analyse des modes élémentaires de flux (EFMs), qui permet de décrire les réseaux métaboliques en termes de voies minimales, et les Minimal Cut Sets (MCSs), représentant les coupures minimales de flux du réseau en termes de réactions. Dans le cadre de cette thèse, nous avons développé une méthode de programmation logique pour le calcul des modes élémentaires de flux: aspefm. L'outil est

APA, Harvard, Vancouver, ISO, and other styles

20

Van, Rooijen Lorijn. "Une approche combinatoire du problème de séparation pour les langages réguliers." Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0229/document.

Full text

Abstract:

Le problème de séparation pour une classe de langages S est le suivant : étant donnés deux langages L1 et L2, existe-t-il un langage appartenant à S qui contient L1, en étant disjoint de L2 ? Si les langages à séparer sont des langages réguliers, le problème de séparation pour la classe S est plus général que le problème de l'appartenance à cette classe, et nous fournit des informations plus détaillées sur la classe. Ce problème de séparation apparaît dans un contexte algébrique sous la forme des parties ponctuelles, et dans un contexte profini sous la forme d'un problème de séparation topolog

APA, Harvard, Vancouver, ISO, and other styles

21

Tran, Duc Anh. "Architecture hybride tolérante aux fautes pour l'amélioration de la robustesse des circuits et systèmes intégrés numériques." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20132/document.

Full text

Abstract:

L'évolution de la technologie CMOS consiste à la miniaturisation continue de la taille des transistors. Cela permet la réalisation de circuits et systèmes intégrés de plus en plus complexes et plus performants, tout en réduisant leur consommation énergétique, ainsi que leurs coûts de fabrication. Cependant, chaque nouveau noeud technologique CMOS doit faire face aux problèmes de fiabilité, dues aux densités de fautes et d'erreurs croissantes. Par conséquence, les techniques de tolérance aux fautes, qui utilisent des ressources redondantes pour garantir un fonctionnement correct malgré la prése

APA, Harvard, Vancouver, ISO, and other styles

22

Choi, Juyeon. "Problèmes morpho-syntaxiques analysés dans un modèle catégoriel étendu : application au coréen et au français avec une réalisation informatique." Thesis, Paris 4, 2011. http://www.theses.fr/2011PA040211.

Full text

Abstract:

Ce travail de thèse vise à proposer les analyses formelles de phénomènes langagiers, tels que le système casuel, le double cas, la flexibilité de l'ordre des mots, la coordination, la subordination et la thématisation, dans deux langues structurellement très distinctes : le coréen et le français. Le choix théorique s'est porté sur le formalisme de la Grammaire Catégorielle Combinatoire Applicative, développée par Jean-Pierre Desclés et Ismail Biskri, en mettant en œuvre les combinateurs de la Logique Combinatoire de Curry et le calcul fonctionnel des types de Church. Le problème à résoudre est

APA, Harvard, Vancouver, ISO, and other styles

23

Ledent, Jérémy. "Sémantique géométrique pour la calculabilité asynchrone." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLX099/document.

Full text

Abstract:

Le domaine des protocoles tolérants aux pannes étudie quelles tâches concurrentes sont résolubles dans différents modèles de calcul avec pannes. Des outils mathématiques basés sur la topologie combinatoire ont été développés depuis les années 1990 pour aborder ces questions. Dans ce cadre, la tâche que l’on veut résoudre, et le protocole auquel on fait appel, sont modélisés par des complexes simpliciaux chromatiques. On définit qu’un protocole résout une tâche lorsqu’il existe une certaine application simpliciale entre ces complexes.Dans cette thèse, on étudie ces méthodes géométriques du poin

APA, Harvard, Vancouver, ISO, and other styles

24

Benabbou, Nawal. "Procédures de décision par élicitation incrémentale de préférences en optimisation multicritère, multi-agents et dans l'incertain." Electronic Thesis or Diss., Paris 6, 2017. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2017PA066101.pdf.

Full text

Abstract:

Les travaux menés dans cette thèse s'inscrivent dans le cadre de la théorie de la décision algorithmique, domaine de recherche à la croisée de la théorie de la décision, de la recherche opérationnelle et de l'intelligence artificielle. Notre objectif dans cette thèse est de concevoir des algorithmes efficaces pour la résolution de problèmes de décision dans des environnements complexes (multicritère, multi-agents, incertain). Nous nous intéressons d'une part à l'élicitation des préférences fondée sur des modèles décisionnels et d'autre part à l'exploitation de ces préférences pour la recherche

APA, Harvard, Vancouver, ISO, and other styles

25

Thuillier, Kerian. "Méthodes de satisfiabilité hybrides pour l'inférence de régulations booléennes contrôlant des réseaux métaboliques." Electronic Thesis or Diss., Université de Rennes (2023-....), 2024. http://www.theses.fr/2024URENS032.

Full text

Abstract:

Les systèmes biologiques sont des systèmes multi-échelles complexes composés de nombreux mécanismes biologiques interconnectés. Parmi ces échelles, il y a le métabolisme, qui transforme les nutriments en énergie et en biomasse, et le système de régulation, qui agit comme un contrôleur de l’activité métabolique. Modéliser le couplage du métabolisme et de la régulation est difficile et nécessite d'intégrer les formalismes algébriques différentiels modélisant le métabolisme avec les formalismes discrets modélisant la régulation. Bien qu'il existe des formalismes de simulation de la dynamique hybr

APA, Harvard, Vancouver, ISO, and other styles

26

Cornelio, Cristina. "Preference reasoning and aggregation over combinatorial domains in uncertain and multi-agent scenarios." Doctoral thesis, Università degli studi di Padova, 2016. http://hdl.handle.net/11577/3427129.

Full text

Abstract:

Preferences, intended as user opinions over items, are conspicuously present in our lives and recently became widely studied in Artificial Intelligence. In many contexts of our life, we do not consider items only as entire entities, but we consider a set of features/attributes that characterize them and that interact to each other. Therefore, we are particularly interested in this kind of scenarios representing conditional preferences over combinatorial and multi attribute domains. The ability of representing preferences in a compact way is essential, especially in the context of multi-attrib

APA, Harvard, Vancouver, ISO, and other styles

27

Brunero, Federico. "Unearthing the Impact of Structure in Data and in Topology for Caching and Computing Networks." Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS368.pdf.

Full text

Abstract:

La mise en cache s'est avérée être un excellent moyen de réduire la charge de trafic dans les réseaux de données. Une étude de la mise en cache en théorie de l'information, connue sous le nom de mise en cache codée, a représenté une percée clé dans la compréhension de la façon dont la mémoire peut être efficacement transformée en débit de données. La mise en cache codée a également révélé le lien profond entre la mise en cache et les réseaux informatiques, qui présentent le même besoin de solutions algorithmiques novatrices pour réduire la charge de trafic. Malgré la vaste littérature, il rest

APA, Harvard, Vancouver, ISO, and other styles

28

Geniet, Colin. "Twin-width : Caractérisations logiques et combinatoires." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0013.

Full text

Abstract:

Un graphe est composé de sommets connectés par des arêtes : c’est une structure versatile, utilisée couramment pour représenter des réseaux de transports, de communication, ou d'individus. Cette versatilité a un prix : beaucoup de problèmes naturels — e.g. trouver un nombre maximum de sommets sans aucune connexion — sont difficiles. Plutôt qu’essayer de les résoudre en toute généralité, on peut imposer des contraintes sur les graphes pour faciliter la tâche : par exemple, se restreindre aux graphes planaires, i.e. pouvant être dessinés sur le plan sans croisement. C'est dans cet esprit que Bon

APA, Harvard, Vancouver, ISO, and other styles

29

Malakhovski, Ian. "Sur le pouvoir expressif des structures applicatives et monadiques indexées." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30118.

Full text

Abstract:

Il est bien connu que des constructions théoriques très simples telles que les structures Either (équivalent type théorique de l'opérateur logique "ou"), State (représentant des transformateurs d'état composables), Applicative (application des fonctions généralisée) et Monad (composition de programmes séquentielles généralisée), nommés structures en Haskell, couvrent une grande partie de ce qui est habituellement nécessaire pour exprimer avec élégance la plupart des idiomes informatiques utilisés dans les programmes classiques. Cependant, il est usuellement admis qu'il existe plusieurs classes

APA, Harvard, Vancouver, ISO, and other styles

30

MOHSSINE, MOHAMMED. "Performances et methodologie d'implantation de circuits integres bipolaires ecl." Paris 6, 1987. http://www.theses.fr/1987PA066533.

Full text

Abstract:

Actuellement, il est important de disposer des moyens de comparaison des differentes technologies (bipolaires si et ga as, mos si et mesfet ga as) selon les criteres vlsi (vitesse, puissance, densite d'integration, rendement de fabrication, cout des processus, outils de cao disponible, etc. . . ); nous donnons une modelisation simplifiee des performances dynamiques des portes ecl cml et nous montrons comment les portes complexes peuvent etre ramenees aux portes simples pour l'evaluation des performances. Nous presentons les regles de dessin simplifiees, definies a partir des technologies hbip

APA, Harvard, Vancouver, ISO, and other styles

31

García, Ávila Luz María. "Forcing Arguments in Infinite RamseyTheory." Doctoral thesis, Universitat de Barcelona, 2012. http://hdl.handle.net/10803/119818.

Full text

Abstract:

This is a contribution to combinatorial set theory, specifically to infinite Ramsey Theory, which deals with partitions of infinite sets. The basic pigeon hole principle states that for every partition of the set of all natural numbers in finitely many classes there is an infinite set of natural numbers that is included in some one class. Ramsey’s Theorem, which can be seen as a generalization of this simple result, is about partitions of the set [N]k of all k-element sets of natural numbers. It states that for every k ≥ 1 and every partition of [N]k into finitely many classes, there is an inf

APA, Harvard, Vancouver, ISO, and other styles

32

Nguyen, Van Thé Lionel. "Théorie de Ramsey structurale et applications en dynamique topologique via la correspondance de Kechris-Pestov-Todorcevic." Habilitation à diriger des recherches, Aix-Marseille Université, 2013. http://tel.archives-ouvertes.fr/tel-00924106.

Full text

Abstract:

Le but de ce mémoire est d'effectuer un survol de mes travaux effectués depuis janvier 2007. Le sujet d'étude se situe à l'une des intersections entre la combinatoire, la dynamique topologique et la logique via le formalisme des structures ultrahomogènes et de la théorie de Fraïssé. Ce domaine a récemment connu un essor considérable grâce à deux contributions majeures par Kechris, Pestov et Todorcevic, et par Kechris et Rosendal. Mon travail part de la première de ces contributions et se concentre autour des deux thèmes suivants : Théorie de Ramsey structurale et dynamique topologique des grou

APA, Harvard, Vancouver, ISO, and other styles

33

Hendi, Hayder. "Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique." Thesis, Littoral, 2017. http://www.theses.fr/2017DUNK0462/document.

Full text

Abstract:

Le domaine de la logistique implique souvent la résolution de problèmes combinatoires complexes. Ces derniers font également implicitement référence à des processus, acteurs, activités et méthodes concernant divers aspects qu'il faut considérer. Ainsi, un même problème peut faire intervenir des processus de vente/achat, transport/livraison et gestion de stock. Ces processus sont tellement divers et interconnectés qu'il est difficile pour un logisticien de tous les maîtriser. Dans cette thèse, nous proposons l'explicitation, par le biais d'ontologies, de connaissances conceptuelles et sémantiqu

APA, Harvard, Vancouver, ISO, and other styles

34

Czajka, Łukasz. "Semantic consistency proofs for systems of illative combinatory logic." Doctoral thesis, 2015.

Find full text

Abstract:

Illative systems of combinatory logic consist of combinatory logicextended with additional constants intended to represent logicalnotions. We introduce some strong systems of illative combinatorylogic, extending earlier systems of Barendregt, Bunder and Dekkers.This continues Curry's and Bunder's lines of research on illativecombinatory logic. We define semantics for illative systems and showour systems consistent by model constructions. We also investigateproperties of translations of traditional systems of logic into thecorresponding systems of illative combinatory logic. Some of thesystems

APA, Harvard, Vancouver, ISO, and other styles

35

SU, PEI-CONG, and 蘇佩聰. "A mathematical model of automated manufacturing system using combinatory logic." Thesis, 1991. http://ndltd.ncl.edu.tw/handle/85162356604184443043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Gilbert, François. "Tarification logit dans un réseau." Thèse, 2011. http://hdl.handle.net/1866/7114.

Full text

Abstract:

Le problème de tarification qui nous intéresse ici consiste à maximiser le revenu généré par les usagers d'un réseau de transport. Pour se rendre à leurs destinations, les usagers font un choix de route et utilisent des arcs sur lesquels nous imposons des tarifs. Chaque route est caractérisée (aux yeux de l'usager) par sa "désutilité", une mesure de longueur généralisée tenant compte à la fois des tarifs et des autres coûts associés à son utilisation. Ce problème a surtout été abordé sous une modélisation déterministe de la demande selon laquelle seules des routes de désutilité minimale

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!