Zobrazeno 1 - 10
of 80
pro vyhledávání: '"théorie des catégories"'
Autor:
Babonnaud, William
Publikováno v:
Informatique [cs]. Université de Lorraine, 2022. Français. ⟨NNT : 2022LORR0312⟩
This thesis investigates the use of type theories and types with regards to compositionality in the formal semantic models of computational linguistics. Semantic types play a fundamental role in the detection and representation of semantic phenomena
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55d89d75091cbfb5dff2c023cabf2c1d
https://hal.science/tel-03935669
https://hal.science/tel-03935669
Autor:
Lee, Dongho
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG059⟩
The quantum random-access machine (QRAM) model is a practical model of quantum computation composed of a classical computer and a quantum processor communicating with each other. The program is executed on the classical computer. It can send instruct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::ae83bd6a9f3c4cffde4ac12bc3f88d6d
https://theses.hal.science/tel-03895847/document
https://theses.hal.science/tel-03895847/document
Autor:
Forest, Simon
In earlier work, Batanin has shown that an important class of definitions of higher categories could be apprehended together simply as monads over globular sets. This allowed him to generalize the notion of polygraph, initially introduced by Street a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db2c539f1bb5bb97d10d9dd29eeb9105
http://arxiv.org/abs/2204.02009
http://arxiv.org/abs/2204.02009
Publikováno v:
Revue des Questions Scientifiques. 192(3-4)
La grande diversité des formes que prend la vie sur Terre est impressionnante. Des végétaux aux animaux, en passant par les champignons et les bactéries, il parait difficile d’exprimer clairement ce qui leur est commun. Dans cet article, nous d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___01166::77e5ac87b1c44eb55bffec9c36d7a21a
https://researchportal.unamur.be/en/publications/5fe0a3e4-584d-4249-bb1c-0f9b8da5558a
https://researchportal.unamur.be/en/publications/5fe0a3e4-584d-4249-bb1c-0f9b8da5558a
Autor:
Modera, Astrid
Publikováno v:
Modera, A 2022, ' Qu'est-ce que le vivant ? Perspective relationnelle en biologie ', Revue des Questions Scientifiques, VOL. 192, Numéro 3-4, 192 .
La grande diversité des formes que prend la vie sur Terre est impressionnante. Des végétaux aux animaux, en passant par les champignons et les bactéries, il parait difficile d’exprimer clairement ce qui leur est commun. Dans cet article, nous d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4291::98447efabd1cdc7fb2785a72e51b537b
https://pure.unamur.be/ws/files/73467524/RQS_2022_1_2_Modera.pdf
https://pure.unamur.be/ws/files/73467524/RQS_2022_1_2_Modera.pdf
Autor:
Miladinovic, Aleksandar
The aim of this thesis is to contribute to the study of the equivariant homotopy theory. Itconsists of three parts.In the first part we prove that the stabilization of the infinity category of G-spaces with respect tothe representation spheres is equ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::d0fdee7f757e474662816fe2d8384449
https://theses.hal.science/tel-03920859
https://theses.hal.science/tel-03920859
Autor:
Carette, Titouan
Publikováno v:
Computer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0200⟩
Computer Science [cs]. Université de Lorraine, 2021. English
Computer Science [cs]. Université de Lorraine, 2021. English
This thesis is about the application of graphical languages to quantum computing. By graphical language, we mean the use of diagrams, similar to circuits, representing the evolution of quantum systems. The thesis introduces those languages in the for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e948448ad1b05addd248717c346e1a7d
https://hal.science/tel-03468027/document
https://hal.science/tel-03468027/document
Autor:
Goy, Alexandre
Publikováno v:
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST080⟩
Monads are a concept from category theory allowing to model abstractly the notion of computational effect. The non-compositionality of monads is well-known, but the theory of distributive laws is a classical tool that has proved useful to combine eff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ab4766ef30e9698f1ebf047ab8e1d4a8
https://tel.archives-ouvertes.fr/tel-03426949/document
https://tel.archives-ouvertes.fr/tel-03426949/document
Autor:
Béjean, Mathias, Ehresmann, Andrée
Cet article s’intéresse à l’apport de la théorie mathématique des catégories pour appréhender les processus d’invention collective. En particulier, il s’agit de présenter et de discuter une approche « catégorielle » fondée sur les
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10692::56033cff08c680f38d1e9234c89bd2e8
https://hal.science/hal-03626759
https://hal.science/hal-03626759
Autor:
Gillet, Annabelle
Big Data fascinate, both because of the value they hold that can provide a significant advantage in decision-making, and because of the challenges that their exploitation represents. These challenges are present at several levels of analytics workflo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3711::43e82149f23406a18d66ea18b2af4d9c
https://theses.hal.science/tel-04085276
https://theses.hal.science/tel-04085276