Výsledky vyhľadávania - "Jean Goubault-Larrecq"

A few characterizations of topological spaces with no infinite discrete subspace

Autori: Jean Goubault-Larrecq Maurice Pouzet Laboratoire Méthodes Formelles (LMF) a ďalší

Prispievatelia: Jean Goubault-Larrecq Maurice Pouzet Laboratoire Méthodes Formelles (LMF) a ďalší

Zdroj: Topology and its Applications. 341:108733

Predmety: General Topology (math.GN), Noetherian topological space, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 01 natural sciences, ordered set, [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN], 06A07, well-quasi-order, MSC: 54G99, FOS: Mathematics, closure system, 54G99, 06A07, 0101 mathematics, Mathematics - General Topology

Prístupová URL adresa: http://arxiv.org/abs/1712.08739

Maximum linearizations of lower sets in \mathbb{N}^m with application to monomial ideals.

Autori: Altman, Harry Weiermann, Andreas

Zdroj: Proceedings of the American Mathematical Society; Nov2025, Vol. 153 Issue 11, p4933-4943, 11p

Predmety: ORDERED sets, IDEALS (Algebra), MATHEMATICIANS, LINEAR orderings

In memoriam: Klaus Keimel (1939-2017).

Autori: Hofmann, Karl Lawson, Jimmie

Zdroj: Semigroup Forum; Apr2018, Vol. 96 Issue 2, p199-202, 4p

Predmety: MATHEMATICIANS, AUTHORS

Osoby: KEIMEL, Klaus

Convergence of datalog over (Pre-) Semirings.

Autori: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard a ďalší

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-55, 55p

Predmety: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

The Directed Homotopy Hypothesis

Autori: Jérémy Dubut and Eric Goubault and Jean Goubault-Larrecq Dubut, Jérémy Goubault, Eric a ďalší

Témy: directed algebraic topology, partially enriched categories, homotopy hypothesis, geometric models for concurrency, higher category theory, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.9
Is Part Of LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)

Foundations of Software Science and Computation Structures

Autori: Jean Goubault-Larrecq Barbara König

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

Kategórie: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

QRB, QFS, and the Probabilistic Powerdomain

Autori: Jean Goubault-Larrecq Achim Jung

Zdroj: Electronic Notes in Theoretical Computer Science. 308:167-182

Predmety: QRB-domains, QFS-domains, stably compact spaces, probabilistic powerdomain, QFS-spaces, 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, QRB-spaces, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://research.birmingham.ac.uk/portal/files/27704566/Goubault_Larrecq_Jung_2014_QRB_QFS_Electronic_Notes_Theoretical_Comp_Sci.pdf
https://research.birmingham.ac.uk/portal/en/publications/qrb-qfs-and-the-probabilistic-powerdomain(6c715690-b941-4aa1-936c-73cd7918015c).html
https://dblp.uni-trier.de/db/journals/entcs/entcs308.html#Goubault-LarrecqJ14
https://www.cs.bham.ac.uk/~axj/pub/papers/Goubault-Larrecq-Jung-2014-QRB-QFS-and-the-probabilistic-powerdomain.pdf
https://core.ac.uk/display/101949814
https://www.sciencedirect.com/science/article/pii/S1571066114000772

A Domain-theoretic Approach to Statistical Programming Languages.

Autori: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

Zdroj: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p

Predmety: PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

Games and Automata: From Boolean to Quantitative Verification Mémoire d’Habilitation a ̀ Diriger des Recherches

Autori: Laurent Doyen Supérieure De Cachan Ahmed Bouajjani (président a ďalší

Prispievatelia: Laurent Doyen Supérieure De Cachan Ahmed Bouajjani (président a ďalší

Zdroj: http://www.lsv.ens-cachan.fr/~doyen/papers/Games_and_Automata_From_Boolean_to_Quantitative_Verification.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.2484

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.2484
http://www.lsv.ens-cachan.fr/~doyen/papers/Games_and_Automata_From_Boolean_to_Quantitative_Verification.pdf

A Survey of Protocol Fuzzing.

Autori: Zhang, Xiaohan Zhang, Cen Li, Xinghua a ďalší

Zdroj: ACM Computing Surveys; Feb2025, Vol. 57 Issue 2, p1-36, 36p

Predmety: DATA structures, INTEGRATED circuit design, UNIVERSAL Mobile Telecommunications System, LANGUAGE models, COMPUTER security, DEBUGGING, DEEP learning

Prevision Domains and Convex Powercones ⋆

Autori: Jean Goubault-larrecq The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Jean Goubault-larrecq The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2007-33.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.6581

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.6581
http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2007-33.pdf

A Few Remarks on SKInT

Autori: Jean Goubault-Larrecq The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Jean Goubault-Larrecq The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3475.ps.gz

Predmety: normalization, S4 logic, sequent combinators, simple types, solvability, SKIn, SKInT. (R'esum'e, tsvp

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.100

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.100

A CONE-THEORETIC BARYCENTER EXISTENCE THEOREM.

Autori: GOUBAULT-LARRECQ, JEAN XIAODONG JIA

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p7:1-7:15, 15p

Predmety: CENTROID, EXISTENCE theorems, TOPOLOGICAL spaces, ALGEBRA, VALUATION

A FIBRATIONAL TALE OF OPERATIONAL LOGICAL RELATIONS: PURE, EFFECTFUL AND DIFFERENTIAL.

Autori: DAGNINO, FRANCESCO GAVAZZO, FRANCESCO

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-34, 34p

Predmety: LOGIC, PROGRAMMING language semantics

BRANCH-WELL-STRUCTURED TRANSITION SYSTEMS AND EXTENSIONS.

Autori: BOLLIG, BENEDIKT FINKEL, ALAIN SURESH, AMRITA

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-28, 28p

Predmety: BOREDOM

An Axiomatic Theory for Reversible Computation.

Autori: Lanese, Ivan Phillips, Iain Ulidowski, Irek

Zdroj: ACM Transactions on Computational Logic; Apr2024, Vol. 25 Issue 2, p1-40, 40p

Predmety: REVERSIBLE computing, DEBUGGING, DISCRETE event simulation

A semantics for nabla.

Autori: GOUBAULT-LARRECQ, JEAN

Zdroj: Mathematical Structures in Computer Science; Sep2019, Vol. 29 Issue 8, p1250-1274, 25p

Predmety: LOGIC, INTENTION, SEMANTICS

AN ANALYSIS OF TENNENBAUM’S THEOREM IN CONSTRUCTIVE TYPE THEORY.

Autori: HERMES, MARC KIRST, DOMINIK

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-24, 24p

NODE REPLICATION: THEORY AND PRACTICE.

Autori: KESNER, DELIA PEYROT, LOÏC VENTURA, DANIEL

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-65, 65p

Predmety: LAZINESS, CALCULUS

Differentiable Quantum Programming with Unbounded Loops.

Autori: Fang, Wang Ying, Mingsheng Wu, Xiaodi

Zdroj: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-63, 63p

Predmety: AUTOMATIC differentiation, QUANTUM computing, PROGRAMMING languages, QUANTUM computers, MACHINE learning