Bibliografie tematiche / Combinatoire

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni
  6. Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Combinatoire"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 12 ottobre 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Combinatoire".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Combinatoire"

1

Sanz Espinar, Gemma. "Verbos de movimiento en un diccionario bilingüe sintáctico-combinatorio francés-español: TACTICOMB". Anales de Filología Francesa 28, n. 1 (23 ottobre 2020): 627–50. http://dx.doi.org/10.6018/analesff.430691.

Testo completo
Abstract (sommario):
Después de que Talmy (1985) y Slobin (2004) identificaran la existencia de tendencias en la conceptualización y la lexicalización de eventos de movimiento en las distintas lenguas, ha habido mucha investigación en esta materia en distintas áreas: Lingüística, Traducción, Adquisición de la Lengua Materna o Extranjera y Didáctica de las lenguas extranjeras. Como señalaba Slobin, la expresión del movimiento puede hacerse según las lenguas mediante la codificación de la trayectoria del movimiento o de la manera del movimiento en el verbo (Talmy), pero este no es el ´unico factor que permite explicitar cierta información o dejar otra implícita y conseguir un enunciado totalmente aceptable en una lengua. Nuestro objetivo es trasladar este tipo de conocimiento léxico a un diccionario sintáctico-combinatorio bilingüe, TACTICOMB, para una clase semántica de verbos que no parece implicar, en sus significados más "literales" ninguna combinatoria restringida (colocaciones), como la que puede verse en la mayoría de diccionarios de combinatoria. After Talmy (1985) and Slobin (2004) highlighted the existence of tendencies in conceptualization and lexicalization of motion events in languages, there has been a lot of research on this topic in different areas: Linguistics, Translation Studies, First and Second Language Acquisition or Second Language Teaching. As Talmy points out, the expression of motion has different tendencies in languages from highlighting the trajectory of motion to highlighting the manner of motion in the verb, but this is not the only factor (linguistic) that allows to make some notions explicit or to keep others implicit, in a discursively acceptable utterance (Slobin). Our aim is to try to transfer this kind of lexical knowledge into a bilingual syntactic-combinatorial dictionary, TACTICOMB, through the class of motion verbs that do not seem to involve, in their “literal” senses, a restricted combinatory (collocations) as appears in many combinatory dictionaries. Après les études de Talmy (1985) et de Slobin (2004) montrant les tendances dans la conceptualisation et la lexicalisation des procès de mouvement dans les langues, il y a eu de nombreuses recherches à ce sujet provenant de la Linguistique, la Traduction, l’Acquisition de la langue maternelle et étrangère ou la Didactique des langues étrangères. Comme le signale Talmy, l’expression du mouvement se fait différemment selon les langues, elles expriment dans le verbe soit la trajectoire, soit la manière du mouvement. Or ce n’est pas le seul facteur qui détermine la confluence d’información sur le mouvement dans un énoncé totalement acceptable dans la langue (Slobin). Notre objectif est de transposer ce type de connaissance lexicale à un dictionnaire syntactico-combinatoire bilingue, TACTICOMB. On l’illustrera pour la classe de verbes de mouvement qui ne semblent pas impliquer de combinatoire restreinte, dans leurs acceptions « littérales », comme c’est le cas pour beaucoup des dictionnaires de combinatoire.
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Hanoune, J. "L'endocrinologie combinatoire". médecine/sciences 9, n. 12 (1993): 1331. http://dx.doi.org/10.4267/10608/2860.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Bimbó, Katalin. "The Church-Rosser property in dual combinatory logic". Journal of Symbolic Logic 68, n. 1 (marzo 2003): 132–52. http://dx.doi.org/10.2178/jsl/1045861508.

Testo completo
Abstract (sommario):
AbstractDual combinators emerge from the aim of assigning formulas containing ← as types to combinators. This paper investigates formally some of the properties of combinatory systems that include both combinators and dual combinators. Although the addition of dual combinators to a combinatory system does not affect the unique decomposition of terms, it turns out that some terms might be redexes in two ways (with a combinator as its head, and with a dual combinator as its head). We prove a general theorem stating that no dual combinatory system possesses the Church-Rosser property. Although the lack of confluence might be problematic in some cases, it is not a problem per se. In particular, we show that no damage is inflicted upon the structurally free logics, the system in which dual combinators first appeared.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Patouillard, Victoire. "petite machine combinatoire". Vacarme 33, n. 4 (2005): 28. http://dx.doi.org/10.3917/vaca.033.0028.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Tartar, André. "La chimie combinatoire". Biofutur 1997, n. 168 (giugno 1997): 26–31. http://dx.doi.org/10.1016/s0294-3506(97)81533-5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Munemasa, Akihiro, Gabriele Nebe e Patrick Solé. "Arithmétique et Combinatoire". European Journal of Combinatorics 25, n. 4 (maggio 2004): 457. http://dx.doi.org/10.1016/j.ejc.2003.09.011.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Magné, Bernard. "Machines à écrire, machine à lire". Études françaises 36, n. 2 (11 febbraio 2008): 119–28. http://dx.doi.org/10.7202/005258ar.

Testo completo
Abstract (sommario):
Résumé Cet article décrit la structure et le fonctionnement du CD-ROM Machines à écrire, réalisé par Antoine Denize et Bernard Magné. Mettant en scène (en écran) deux textes combinatoires de Raymond Queneau (« Un conte à votre façon », « Cent mille milliards de poèmes ») et un de Georges Perec (« Deux cent quarante-trois cartes postales ») et permettant l'exploration de la littérature combinatoire des grands rhétoriqueurs à nos jours, Machines à écrire offre à la fois un nouveau mode d'approche des textes et l'occasion de réhabiliter une littérature trop souvent ignorée ou méprisée.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Lethuillier, Jacques. "Combinatoire, terminologies et textes". Meta: Journal des traducteurs 36, n. 1 (1991): 92. http://dx.doi.org/10.7202/003504ar.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Chemillier, Marc. "Ruse et combinatoire tsiganes". L'Homme, n. 211 (7 luglio 2014): 117–28. http://dx.doi.org/10.4000/lhomme.23627.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Chazal, Gérard. "Symbolisme minimal & combinatoire". Les cahiers de médiologie 9, n. 1 (2000): 141. http://dx.doi.org/10.3917/cdm.009.0141.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Combinatoire"

1

Fossat, Jean-Michel. "La combinatoire". Lyon 3, 1987. http://www.theses.fr/1987LYO31019.

Testo completo
Abstract (sommario):
Cette these etudie deux principales idees du de arte combinatoria de leibniz et leurs developpements au cours des trois derniers siecles. La premiere de ces deux idees est la generation d'une totalite par combinaison d'elements primitifs. La seconde est le concept d'expression ou isomorphisme dans les mathematiques contemporaines. D'un point de vue philosophique, ce travail expose l'irreductible opposition entre raison calculante et raison organique
This thesis studies two main ideas of leibniz's de arte combinatoria and their developments during the last three centuries. The first of these two ideas is the generation of a totality by combinations of primitive elements. The second is the concept of expression or isomorphism in the contemporary mathematics. From a philosophical point of vew. This work shows the irreducible opposition between calculating reason and organic reason
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Lass, Bodo. "Calcul combinatoire ensembliste". Université Louis Pasteur (Strasbourg) (1971-2008), 2001. http://www.theses.fr/2001STR13173.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Delobel, Philippe. "De la combinatoire". Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb376044411.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Zhou, Jian-Hua. "Combinatoire des dérivations". Marne-la-Vallee, 1996. http://www.theses.fr/1996MARN0003.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Giraudo, Samuele. "Combinatoire algébrique des arbres". Phd thesis, Université Paris-Est, 2011. http://pastel.archives-ouvertes.fr/pastel-00674619.

Testo completo
Abstract (sommario):
Cette thèse se situe dans le domaine de la combinatoire algébrique et porte sur la construction de plusieurs structures combinatoires et algébriques sur différentes espèces d'arbres. Après avoir défini un analogue du monoïde plaxique dont les classes d'équivalence sont indexées par les couples d'arbres binaires jumeaux, nous proposons un analogue de la correspondance de Robinson-Schensted dans ce contexte. À partir de ce monoïde, nous construisons une sous-algèbre de Hopf de l'algèbre de Hopf des fonctions quasi-symétriques libres dont les bases sont indexées par les couples d'arbres binaires jumeaux. Ensuite, nous proposons un foncteur combinatoire de la catégorie des monoïdes vers la catégorie des opérades ensemblistes. En utilisant ce foncteur, nous construisons plusieurs opérades qui mettent en jeu divers objets combinatoires. Par le biais d'une construction qui à une opérade associe une algèbre de Hopf non commutative, nous obtenons à partir de l'une des opérades obtenue par notre construction, une algèbre de Hopf basée sur les forêts ordonnées d'arbres plans enracinés. Nous proposons une réalisation polynomiale de cette dernière. Finalement, nous établissons certaines propriétés vérifiées par les arbres binaires équilibrés dans le treillis de Tamari. Nous montrons que l'ensemble des arbres binaires équilibrés y est clos par intervalle et que les intervalles d'arbres binaires équilibrés ont la forme d'hypercubes. Dans l'objectif de dénombrer ces intervalles, nous introduisons une nouvelle sorte de grammaires d'arbres, les grammaires synchrones. Celles-ci permettent d'obtenir une équation fonctionnelle de point fixe pour la série génératrice des arbres qu'elles engendrent
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Dasse-Hartaut, Sandrine. "Combinatoire des tableaux escalier". Paris 7, 2014. http://www.theses.fr/2014PA077070.

Testo completo
Abstract (sommario):
Les tableaux escalier sont des objets combinatoires définis par S. Corteel et L. Williams, qui généralisent les tableaux de permutations et les tableaux alternatifs. Ils ont été utilisés pour donner une formule combinatoire pour les moments des polynômes d'Askey-Wilson. Les tableaux escalier sont également liés au processus d'exclusion asymétrique sur un réseau unidimensionnel avec bords ouverts, l'ASEP, un modèle de physique statistique important et sujet de nombreuses études, et ont permis de donner une formule combinatoire pour en exprimer la probabilité stationnaire. On montre ici différentes approches des tableaux escalier : une approche probabiliste permet d'en déduire des propriétés exactes et asymptotiques, une approche bijective permet de découvrir des propriétés de sous-ensembles de ces tableaux, via les tree-like tableaux ou des tables d'inversion. Enfin, une chaîne de Marov sur un sous-ensemble des tableaux escalier confirme intuitivement les formules obtenues par le calcul de la probabilité stationnaire du PASEP
A relatively new combinatorial structure, called staircase tableaux, was introduced in recent work of S. Corteel and L. Williams. Staircase tableaux are a generalisation of permutation tableaux and alternative tableaux. Their study gave a combinatorial formula for the moments of Askey-Wilson polynomials. Staircase tableaux are also related to the asymmetric exclusion process on a one-dimensional lattice with open boundaries (ASEP), an important and heavily studied particle model in statistical mechanics. The study of the generating function of the staircase tableau has given a combinatorial formula for the steady state probability of the ASEP. We use differents approaches to study the staircase tableaux : with a probabilistic approach, we prove the asymptotic normality of some parameters of the staircase tableaux ; with bijective combinatorics, we get the properties of some subsets of staircase tableaux, using for example tree-like tableaux or permutations. Finally, a Markov chain on a subset of staircase tableaux confirms intuitively the formula for the steady state probability without using the matrix ansatz
Gli stili APA, Harvard, Vancouver, ISO e altri
7

PROSPER, VINCENT. "Combinatoire des polynomes multivaries". Paris 7, 1999. http://www.theses.fr/1999PA077208.

Testo completo
Abstract (sommario):
La premiere partie presente l'anneau des polynomes symetriques et les outils combinatoires habituellement introduits pour la definition de differentes bases lineaires de cet anneau, ainsi que la structure multiplicative. Les operations sur les ensembles de variables conduisent a utiliser les polynomes symetriques comme des operateurs sur les polynomes a coefficients reels (l'anneau des polynomes est muni d'une structure de lambda-anneau). Outre l'avantage de fournir des notations compactes, ceci montre que toute formule impliquant les fonctions symetriques provient des trois axiomes de definition des lambda-anneaux, la formule de cauchy jouant un role fondamental. Differentes specialisations permettent de retrouver des objets combinatoires classiques. La deuxieme partie expose plusieurs calculs multivaries lies a l'action des differences divisees sur les polynomes. Les puissances modifiees et les polynomes de schubert presentent des proprietes de factorisation en rapport avec l'interpolation de newton. Les specialisations des alphabets fournissent la encore des generalisations de nombres classiques. En outre, la factorisation de la q-specialisation des polynomes de schubert donne comme sous-produit une statistique double sur les tableaux de young standards qui etend la charge. Nous examinons les cas particuliers de la factorisation des fonctions de schur factorielles et q-factorielles. La troisieme partie du document consiste en une description technique d'un outil informatique qui s'inspire non seulement des deux themes precedents, mais se veut aussi un environnement de calcul general en combinatoire algebrique pour le logiciel de calcul formel mupad. Nous avons integre a cet environnement la possibilite d'interagir avec un autre logiciel performant et specialise en combinatoire des groupes. Les calculs traitables par cet environnement concernent les lambda-anneaux, les groupes symetriques, les fonctions symetriques, ainsi que les polynomes de schubert.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Champeimont, Raphael. "Combinatoire des mutations génétiques". Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066636/document.

Testo completo
Abstract (sommario):
Dans une première partie, je présente le travail que j’ai accompli sur la coévolution moléculaire. Je présente le contexte biologique et les différentes mesures qui permettent de détecter la conservation et la coévolution à l’échelle des acides aminés. Ensuite, je montre une application de ces mesures à la détection des résidus critiques dans la protéine P53 liée au cancer. Dans ce but, j’ai créé une évaluation des différentes méthodes de prédiction. J’utilise ensuite la même méthodologie sur une base de données de mutations liées à des maladies génétiques. Je montre également comment la coévolution au niveau des résidus permet de découvrir des interactions protéine-protéine sur le virus de l’hépatite C. Enfin, je présente l’algorithme PruneTree, qui permet de filtrer des ensembles de séquences utilisés comme entrée par les programmes de détection de coévolution.Dans une deuxième partie, je m’intéresse à l’étude de l’évolution à l’échelle du génome, en particulier aux mécanismes de recombinaison méiotique. Pour cela j’ai considéré le taux de recombinaison le long du génome et sa cause, les cassures double-brin de l’ADN. Je présente alors un modèle de la distribution de ces cassures et de la liaison des différentes protéines liées à la recombinaison. Je présente également une méthode de détection de périodicité le long du génome basée sur les transformées de Fourier.Enfin, dans la dernière partie, je présente un nouvel algorithme pour simuler l’évolution des génomes de façon à évaluer les outils de reconstruction, et le paquet R-CLAG permettant d’utiliser l’algorithme de classification CLAG depuis R
In a first part, I show the work I have done on molecular evolution. I present the general biological background and the measures that allow us to detect both conservation and coevolution at the amino-acid level. Then, I present an application of these measures to the detection of critical residues in the cancer protein P53. To this end, I have made a benchmark of different prediction methods. I then use the same methodology on a large scale database of pathogenic mutations linked to genetic diseases. After that, I show how residue-level coevolution can help us discover protein-protein interactions in the hepatitis C virus. Finally, I present the PruneTree algorithm, which allows filtering sequence sets used as input for molecular coevolution detection methods. In a second part, I have studied evolution at the genome level, in particular the recombination mechanisms that occur during meiosis. I have looked at the recombination rates along the genomes and its primary cause, the double-strand breaks, but also at the density of other proteins involved in recombination. I also present a method based on Fourier transforms to analyze these genomic signals, and a model for the distribution along the genome of double-strand breaks and recombination proteins. Finally, I present the other tools I have developed. I describe a novel algorithm that can simulate the evolution of genomes in order to benchmark the phylogenetic reconstruction algorithm PhyChro. Finally, I present the R-CLAG package that allows for easy use of the clustering algorithm CLAG
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Champeimont, Raphael. "Combinatoire des mutations génétiques". Electronic Thesis or Diss., Paris 6, 2014. http://www.theses.fr/2014PA066636.

Testo completo
Abstract (sommario):
Dans une première partie, je présente le travail que j’ai accompli sur la coévolution moléculaire. Je présente le contexte biologique et les différentes mesures qui permettent de détecter la conservation et la coévolution à l’échelle des acides aminés. Ensuite, je montre une application de ces mesures à la détection des résidus critiques dans la protéine P53 liée au cancer. Dans ce but, j’ai créé une évaluation des différentes méthodes de prédiction. J’utilise ensuite la même méthodologie sur une base de données de mutations liées à des maladies génétiques. Je montre également comment la coévolution au niveau des résidus permet de découvrir des interactions protéine-protéine sur le virus de l’hépatite C. Enfin, je présente l’algorithme PruneTree, qui permet de filtrer des ensembles de séquences utilisés comme entrée par les programmes de détection de coévolution.Dans une deuxième partie, je m’intéresse à l’étude de l’évolution à l’échelle du génome, en particulier aux mécanismes de recombinaison méiotique. Pour cela j’ai considéré le taux de recombinaison le long du génome et sa cause, les cassures double-brin de l’ADN. Je présente alors un modèle de la distribution de ces cassures et de la liaison des différentes protéines liées à la recombinaison. Je présente également une méthode de détection de périodicité le long du génome basée sur les transformées de Fourier.Enfin, dans la dernière partie, je présente un nouvel algorithme pour simuler l’évolution des génomes de façon à évaluer les outils de reconstruction, et le paquet R-CLAG permettant d’utiliser l’algorithme de classification CLAG depuis R
In a first part, I show the work I have done on molecular evolution. I present the general biological background and the measures that allow us to detect both conservation and coevolution at the amino-acid level. Then, I present an application of these measures to the detection of critical residues in the cancer protein P53. To this end, I have made a benchmark of different prediction methods. I then use the same methodology on a large scale database of pathogenic mutations linked to genetic diseases. After that, I show how residue-level coevolution can help us discover protein-protein interactions in the hepatitis C virus. Finally, I present the PruneTree algorithm, which allows filtering sequence sets used as input for molecular coevolution detection methods. In a second part, I have studied evolution at the genome level, in particular the recombination mechanisms that occur during meiosis. I have looked at the recombination rates along the genomes and its primary cause, the double-strand breaks, but also at the density of other proteins involved in recombination. I also present a method based on Fourier transforms to analyze these genomic signals, and a model for the distribution along the genome of double-strand breaks and recombination proteins. Finally, I present the other tools I have developed. I describe a novel algorithm that can simulate the evolution of genomes in order to benchmark the phylogenetic reconstruction algorithm PhyChro. Finally, I present the R-CLAG package that allows for easy use of the clustering algorithm CLAG
Gli stili APA, Harvard, Vancouver, ISO e altri
10

AIt, Yahia Karim. "Techniques de recherche opérationelle appliquées à la gestion d'entrepôts et de terminaux portuaires". Le Havre, 2010. http://www.theses.fr/2010LEHA0018.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Combinatoire"

1

Labelle, Gilbert, e Pierre Leroux, a cura di. Combinatoire énumérative. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/bfb0072503.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. Optimisation combinatoire. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Ginisti, Jean-Pierre. La logique combinatoire. Paris: Presses universitaires de France, 1997.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Genot, Gérard. Pirandello: Un théâtre combinatoire. Nancy: Presses universitaires de Nancy, 1993.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Korte, B. H. Optimisation combinatoire: Théorie et algorithmes. Paris: Springer-Verlag Paris, 2010.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Berge, Claude. Hypergraphes: Combinatoire des ensembles finis. [Paris]: Gauthier-Villars, 1987.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Canada. Dept. of the Secretary of State of Canada. e Canada. Translation Bureau. Terminology and Linguistic Services Directorate., a cura di. Vocabulaire combinatoire de la CFAO mécanique =: Combinatory vocabulary of CAD/CAM in mechanical engineering. Ottawa: Secrétariat d'État du Canada = Dept. of the Secretary of State of Canada, 1993.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Melʹčuk, Igorʹ A. Introduction à la lexicologie explicative et combinatoire. Louvain-la-Neuve: Duculot, 1995.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Mel'chuk, I. A. Introduction à la lexicologie explicative et combinatoire. Louvain-la Neuve: Duculot, 1995.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

1932-, Mel'chuk I. A., a cura di. Dictionnaire explicatif et combinatoire du français contemporain. Montréal: Université de Montréal, 1992.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Combinatoire"

1

Chauvin, Brigitte, Julien Clément e Danièle Gardy. "Approche combinatoire". In Arbres pour l’Algorithmique, 121–81. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-93725-0_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Introduction". In Optimisation combinatoire, 1–12. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Couplage maximum". In Optimisation combinatoire, 235–65. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_10.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Couplage avec poids". In Optimisation combinatoire, 267–94. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_11.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "b-couplages et T-joints". In Optimisation combinatoire, 295–314. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_12.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Matroïdes". In Optimisation combinatoire, 315–49. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_13.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Généralisations des matroïdes". In Optimisation combinatoire, 351–73. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_14.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "NP-complétude". In Optimisation combinatoire, 375–411. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_15.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Algorithmes d’approximation". In Optimisation combinatoire, 413–61. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_16.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Korte, Bernhard, Jens Vygen, Jean Fonlupt e Alexandre Skoda. "Le probléme du sac á dos". In Optimisation combinatoire, 463–73. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_17.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Combinatoire"

1

Perera, Lokukaluge P., e Brage Mo. "Data Analytics for Capturing Marine Engine Operating Regions for Ship Performance Monitoring". In ASME 2016 35th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/omae2016-54168.

Testo completo
Abstract (sommario):
This study proposes marine engine centered data analytics as a part of the ship energy efficiency management plan (SEEMP) to overcome the current shipping industrial challenges. The SEEMP enforces various emission control measures, where ship energy efficiency should be evaluated by collecting vessel performance and navigation data. That information is used to develop the proposed data analytics that are implemented on the engine-propeller combinator diagram (i.e. one propeller shaft with its own direct drive main engine). Three marine engine operating regions from the initial data analysis are noted under the combinator diagram and the proposed data analytics (i.e. data clustering methodology) to capture the shape of these regions are implemented. That consists of implementing the Gaussian Mixture Models (GMMs) to classify the most frequent operating regions of the marine engine. Furthermore, the Expectation Maximization (EM) algorithm is used to calculate the respective parameters of the GMMs. This approach can also be seen as a data clustering algorithm that facilitated by an iterative process for capturing each operating region of the marine engine (i.e. the combinatory diagram) with the respective mean and covariance values. Hence, these data analytics can be used in the SEEMP to monitor the performance of a vessel with respect to the marine operating regions. Furthermore, it is expected to develop advanced mathematical models of ship performance monitoring under these operational regions of the marine engine as the future work.
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Fehlmann, Thomas, e Eberhard Kranich. "The Neural Algebra and its Impact on Design and Test of Intelligent Systems". In Intelligent Human Systems Integration (IHSI 2024) Integrating People and Intelligent Systems. AHFE International, 2024. http://dx.doi.org/10.54941/ahfe1004475.

Testo completo
Abstract (sommario):
The Graph Model of Combinatory Logic (Engeler, 1981) is also a mathematical model for "how does the brain think". It attempts to explain how complex scripts of behavior and conceptual content can reside in, combine, and interact on large neural networks (Engeler 2019). This has an impact on building intelligent systems that interact with humans. Intelligent systems should employ the same kind of concepts humans do; otherwise, their actions remain incomprehensible and erratic to human users, concepts can be represented in the Graph Model by using the "Lambda-Theorem" found be Barendregt in 1977.Both the Graph Model and the mathematical model for the human brain have been published as part of Theoretical Computer Science and remain thus out of the reach of normal AI engineers. Nevertheless, they suggest solutions for today's problems with Intelligent Systems, such as autonomous vehicles mastering the traffic in Palermo, or robots caring for people and working together with them. Intelligent Systems need to adhere to concepts quite similar to humans that follow certain rules in their behavior.The paper explains what a “Concept” is in AI, how to state requirements for AI, and how to test them. Intelligent Systems using concepts behave similar to humans, following rules but are still able to break the rules when need arises, and can be certified for safety and security; solving certain difficulties for Learning Machines that can learn and unlearn.ReferencesH. P. Barendregt, "The Type-Free Lambda-Calculus," in Handbook of Math. Logic, vol. 90, J. Barwise, Ed., Amsterdam, North Holland, 1977, pp. 1091 -1132.E. Engeler, "Algebras and Combinators," Algebra Universalis, vol. 13, pp. 389-392, 1981. E. Engeler, "Neural algebra on "How does the brain think?"," Theoretical Computer Science, vol. 777, pp. 296-307, 2019. T. M. Fehlmann, Autonomous Real-time Testing – Testing Artificial Intelligence and Other Complex Systems, Berlin, Germany: Logos Press, 2020. H. Curry and R. Feys, Combinatory Logic, Vol. I, Amsterdam: North-Holland, 1958. K. Bimbó, Combinatory Logic - Pure, Applied and Typed, Boca Raton, FL: CRC Press, 2012.
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Schneider, Bertrand, Paulo Blikstein e Wendy Mackay. "Combinatorix". In the 2012 ACM international conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2396636.2396656.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Pakmehr, M., B. W. Gordon e C. A. Rabbath. "Robust Adaptive Tracking Control of Delta Wing Vortex-Coupled Roll Dynamics Subject to Delay". In ASME 2005 International Mechanical Engineering Congress and Exposition. ASMEDC, 2005. http://dx.doi.org/10.1115/imece2005-82196.

Testo completo
Abstract (sommario):
In this paper a combinatory control strategy combined of a modified state feedback stabilizing controller, as the internal loop, and a robust adaptive sliding tracking controller has been proposed to be applied to the vortex-coupled roll dynamics of delta wing subject to state delay. The first subcomponent renders the closed-loop system globally practically stable. The second one is a robust adaptive sliding tracking controller which utilizes a special gaussian RBF neural network for online estimation of rolling moment coefficient as the main uncertainty of the model. To show the ability of the proposed combinatory control structure, it has been implemented to delta wing system to follow a sophisticated reference trajectory. Implementing the proposed combinatory control structure (controller with internal loop) enhanced the tracking performance in comparison to the controller without internal loop. Adding two more control inputs as a fraction of the first control input in the combinatory control structure (can be interpreted as perturbations in the vortex breakdown dynamics), also enhanced the tracking controller performance compared with the case without perturbations. Delta wing system simulation study demonstrated acceptable performance of the proposed combinatory control structure.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Weiher, Marcel, e Robert Hirschfeld. "Storage combinators". In SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3359591.3359729.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Wittenburg, Kent. "Predictive combinators". In the 25th annual meeting. Morristown, NJ, USA: Association for Computational Linguistics, 1987. http://dx.doi.org/10.3115/981175.981186.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Rose, John R. "Bytecodes meet combinators". In the Third Workshop. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1711506.1711508.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Danielsson, Nils Anders. "Total parser combinators". In the 15th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1863543.1863585.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Kurš, Jan, Jan Vraný, Mohammad Ghafari, Mircea Lungu e Oscar Nierstrasz. "Optimizing Parser Combinators". In IWST'16: International Workshop on Smalltalk Technologies. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2991041.2991042.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Bolingbroke, Maximilian, Simon Peyton Jones e Dimitrios Vytiniotis. "Termination combinators forever". In the 4th ACM symposium. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/2034675.2034680.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Combinatoire"

1

Gildea, Daniel, e Julia Hockenmaier. Identifying Semantic Roles Using Combinatory Categorial Grammar. Fort Belvoir, VA: Defense Technical Information Center, gennaio 2003. http://dx.doi.org/10.21236/ada459462.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Winter, Victor Lono. Strategy application, observability, and the choice combinator. Office of Scientific and Technical Information (OSTI), marzo 2004. http://dx.doi.org/10.2172/918743.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Denley, Tristan, Talmage J. Reid e Haidong Wu. Applications of Random Methods in Combinatories and Scheduling Problems. Fort Belvoir, VA: Defense Technical Information Center, dicembre 2002. http://dx.doi.org/10.21236/ada408961.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Turnley, Jessica, Diana Bull, Jeffrey Tsao e Peter Gambill. Combinatoric Researchers at Sandia National Laboratories: An ethnographic study. Office of Scientific and Technical Information (OSTI), agosto 2023. http://dx.doi.org/10.2172/2430517.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Park, Kevin K. Novel Combinatory Approaches to Repair Visual System after Optic Nerve Damage. Fort Belvoir, VA: Defense Technical Information Center, settembre 2014. http://dx.doi.org/10.21236/ada621022.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Park, Kevin K. VRPD Novel Combinatory Approaches to Repair Visual System After Optic Nerve Damage. Fort Belvoir, VA: Defense Technical Information Center, maggio 2015. http://dx.doi.org/10.21236/ada621023.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Wos, L., e W. McCune. Searching for fixed point combinators by using automated theorem proving: A preliminary report. Office of Scientific and Technical Information (OSTI), settembre 1988. http://dx.doi.org/10.2172/6852789.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Combinatoire":
Articoli di riviste Tesi Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia