Výsledky vyhledávání - "Systèmes de type"

Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti

Autor: Thiré, François

Publikováno v: Computer Science [cs]. ENS Paris-Saclay, 2020. English
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Programming Languages [cs.PL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Computer Science [cs]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩

There is today a large family of proof systems based upon variouslogics: The Calculus of Inductive Constructions, Higher-Order logic orSet theory, etc. The diversity of proof systems has the negativeconsequence that theorems are formalized many times

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ba7f54a23b25c4596a2b3c6565b1860
https://hal.archives-ouvertes.fr/tel-03224039

Zobrazit plný text záznamu

Dissertation/ Thesis

Programming tools for intelligent systems

Autor: Considine, Breandan

Les outils de programmation sont des programmes informatiques qui aident les humains à programmer des ordinateurs. Les outils sont de toutes formes et tailles, par exemple les éditeurs, les compilateurs, les débogueurs et les profileurs. Chacun de

Externí odkaz: http://hdl.handle.net/1866/24310
https://orcid.org/0000-0002-0174-4322

Zobrazit plný text záznamu

Sur l’utilisation d’une fonction de Lyapunov à lignes de niveau non connexes

Autor: Marc Jungers, Julien Louis, Jamal Daafouz

Publikováno v: Journal Européen des Systèmes Automatisés (JESA)
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, 47 (4-8), pp.483-501. ⟨10.3166/jesa.47.483-501⟩

National audience; De récents résultats sur l'étude de systèmes de Lur'e à temps discret mettent en avant une fonction de Lyapunov de type Lur'e avancée, dont les lignes de niveau peuvent être non convexes et non connexes. Celles-ci ne sont pa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ecfbfa498b7f99a9506644c5a7932809
https://doi.org/10.3166/jesa.47.483-501

Zobrazit plný text záznamu

Dissertation/ Thesis

Solutions de rang k et invariants de Riemann pour les systèmes de type hydrodynamique multidimensionnels

Autor: Huard, Benoit

Dans ce travail, nous adaptons la méthode des symétries conditionnelles afin de construire des solutions exprimées en termes des invariants de Riemann. Dans ce contexte, nous considérons des systèmes non elliptiques quasilinéaires homogènes (d

Externí odkaz: http://hdl.handle.net/1866/4321

Zobrazit plný text záznamu

The Simply-typed Pure Pattern Type System Ensures Strong Normalization

Autor: Benjamin Wack

Publikováno v: 3rd IFIP International Conference on Theoretical Computer Science-TCS'2004
3rd IFIP International Conference on Theoretical Computer Science-TCS'2004, Jean-Jacques Lévy, 2004, Toulouse, France, pp.633-646
IFIP International Federation for Information Processing ISBN: 1402081405
IFIP TCS

Colloque avec actes et comité de lecture. internationale.; International audience; Pure Pattern Type Systems (PPTS) combine in a unified setting the capabilities of rewriting and lambda-calculus. Their type systems, adapted from Barendregt's lambda-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f2d881aac429641555a0858a6849319
https://hal.inria.fr/inria-00100109

Zobrazit plný text záznamu

Dissertation/ Thesis

Sur des systèmes dynamiques dissipatifs de type gradient. Applications en Optimisation.

Autor: Bolte, Jérôme

L'étude et l'introduction de nouveaux systèmes dynamiques de type gradient sont l'objet central de cette thèse. Le caractère dissipatif de telles dynamiques est au coeur de nombreux domaines en mathématiques : optimisation, mécanique, équation

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00002568
http://tel.archives-ouvertes.fr/docs/00/04/52/35/PDF/tel-00002568.pdf

Zobrazit plný text záznamu

A Rho Cube

Autor: Cirstea, Horatiu, Kirchner, Claude, Liquori, Luigi

Publikováno v: [Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p

Aussi apparu en "Proc. of FOSSACS, Foundations of Software Science and Computation Structures Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, Lecture Notes in Computer Sciences,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::4083087030989cde92d45c4a9571eeda
https://hal.inria.fr/inria-00099309

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání