Search - Université Paris Cité Access content directly

Filter your results

223 Results
Domains :
Image document

Fast solution of sparse linear systems with adaptive choice of preconditioners

Zakariae Jorti
General Mathematics [math.GM]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS149⟩
Theses tel-02425679v2

Minimum Satisfiability and Its Applications

Chumin Li , Zhu Zhu , Felip Manyà , Laurent Simon
IJCAI-2011, 2011, Barcelona, Spain, Spain. pp.605-610
Conference papers hal-00999301v1
Image document

Sur la longueur des mots de rang donné d'un automate fini

Jean-Eric Pin
Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1977, 284, pp.1233-1235
Journal articles hal-00017720v1
Image document

On reversible automata

Jean-Eric Pin
Proceedings of the first LATIN conference, 1992, Saõ-Paulo, Brazil. pp.401-416
Conference papers hal-00019977v1
Image document

Uniform Random Sampling of Traces in Very Large Models

Alain Denise , Marie-Claude Gaudel , Sandrine-Dominique Gouraud , Richard Lasseigne , Sylvain Peyronnet et al.
First International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19
Conference papers hal-00080471v1
Image document

Numerical Simulation of the 2D Non-Parabolic MEP Energy-Transport Model with a Mixed Finite Elements Scheme

Americo Marrocco , V. Romano , J.M. Sellier
[Research Report] RR-5103, INRIA. 2004
Reports inria-00071480v1
Image document

On two combinatorial problems arising from automata theory

Jean-Eric Pin
Combinatorial mathematics (Marseille-Luminy, 1981), 1983, Marseille-Luminy, pp.535-548
Conference papers hal-00143937v1

The Syntax of French de-N' Phrases

Anne Abeillé , Olivier Bonami , Danièle Godard , Jesse Tseng
11th International Conference on Head-Driven Phrase Structure Grammar - HPSG'2004, Frank Van Eynde, 2004, Leuven, Belgium, pp.6-26
Conference papers inria-00100023v1

A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms

Blaise Genest , Dietrich Kuske , Anca Muscholl
Developments in Language Theory, 2004, New Zealand. pp.30--48
Conference papers hal-00306258v1

EDOS: Environment for the Development and Distribution of Open Source Software

Serge Abiteboul , Xavier Leroy , Boris Vrdoljak , Ciaran Bryce , Roberto Di Cosmo et al.
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy
Conference papers hal-00699644v1
Image document

First order formulas with modular predicates

Laura Chaubard , Jean-Eric Pin , Howard Straubing
2006, pp.211-220, ⟨10.1109/LICS.2006.24⟩
Conference papers hal-00112846v1

TReX: A Tool for Reachability Analysis of Complex Systems

Aurore Collomb-Annichini , Ahmed Bouajjani , Mihaela Sighireanu
Jul 2001, pp.368-372
Conference papers hal-00110460v1
Image document

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism

Mihaela Sighireanu , Tayssir Touili
Infinity, 2006, Bonn, Germany
Conference papers hal-00110134v1
Image document

Throughputs in stochastic free-choice nets, existence, computations and optimizations

Anne Bouillard , Bruno Gaujal , Jean Mairesse
44-th IEEE Conference on Decision and Control, 2005, Sevilla, Spain. pp.1-19
Conference papers inria-00071380v1
Image document

Détection d'attaques dans un système WBAN de surveillance médicale à distance

Ali Makke
Autre [cs.OH]. Université René Descartes - Paris V, 2014. Français. ⟨NNT : 2014PA05S006⟩
Theses tel-01124373v1

Using Galois ideals for computing relative resolvents

Philippe Aubry , Annick Valibouze
Journal of Symbolic Computation, 2000, 30 (6), pp.635--651. ⟨10.1006/jsco.2000.0376⟩
Journal articles inria-00099277v1

Extraction of Tumor Response Criteria in Semi-Structured Imaging Report

Valentin Pohyer , David Baudoin , Laure Fournier , Bastien Rance
Challenges of Trustable AI and Added-Value on Health, IOS Press, 2022, Studies in Health Technology and Informatics, ⟨10.3233/SHTI220424⟩
Book sections hal-03865993v1
Image document

SCALPEL3: a scalable open-source library for healthcare claims databases

Emmanuel Bacry , Stéphane Gaiffas , Fanny Leroy , Maryan Morel , D.P. Nguyen et al.
International Journal of Medical Informatics, 2020
Journal articles hal-02409058v1
Image document

Blind Source Separation: the Sparsity Revolution

J. Bobin , Jean-Luc Starck , Y. Moudden , Jalal M. Fadili
Peter Hawkes, ed. Advances in Imaging and Electron Physics, 152, Academic Press, Elsevier, pp.221-306, 2008
Book sections hal-00252075v1
Image document

Uniqueness for a Scalar Conservation Law with Discontinuous Flux via Adapted Entropies

Emmanuel Audusse , Benoît Perthame
[Research Report] RR-5261, INRIA. 2004, pp.19
Reports inria-00070737v1
Image document

A projection semi-implicit scheme for the coupling of an elastic structure with an incompressible fluid

Miguel Angel Fernández , Jean-Frédéric Gerbeau , Céline Grandmont
[Research Report] RR-5700, INRIA. 2005, pp.31
Reports inria-00070315v1
Image document

Approche bioinspirée pour le contrôle des mains mécaniques

François Touvet
Autre [cs.OH]. Université René Descartes - Paris V, 2012. Français. ⟨NNT : 2012PA05T023⟩
Theses tel-00759971v1
Image document

Réalisation d'un Intranet : Cohérence d'un Ensemble Réparti et Communicant, autour d'une Architecture Réflexive

John Seraphin
domain_stic.hype. Université René Descartes - Paris V, 1998. Français. ⟨NNT : ⟩
Theses tel-00009831v3
Image document

Online Timed Pattern Matching using Automata

Alexey Bakhirkin , Thomas Ferrère , Dejan Nickovic , Oded Maler , Eugène Asarin et al.
16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Sep 2018, Beijing, China
Conference papers hal-01825026v1
Image document

An a contrario approach to hierarchical clustering validity assessment

Frédéric Cao , Julie Delon , Agnès Desolneux , Pablo Musé , Frédéric Sur et al.
[Research Report] RR-5318, INRIA. 2004, pp.15
Reports inria-00070682v1
Image document

Ordered categories and ordered semigroups

Jean-Eric Pin , Arnaud Pinguet , Pascal Weil
Communications in Algebra, 2002, 30, pp.5651-5675
Journal articles hal-00112616v1

Scenarios and covert channels, another game...

Loïc Hélouët , Marc Zeitoun , Aldric Degorre
GDV 04, 2005, Boston, United States. pp.93--116
Conference papers hal-00306319v1

Covert channels detection in protocols using scenarios

Loïc Hélouët , Claude Jard , Marc Zeitoun
Security Protocols Verification, SPV'03, 2003, Unknown, France. pp.2125
Conference papers hal-00306320v1

Two-variable logic on data words

Mikolaj Bojanczyk , Claire David , Anca Muscholl , Thomas Schwentick , Luc Segoufin et al.
ACM Transactions on Computational Logic, 2011, 12, pp.27
Journal articles hal-00645452v1

Infinite Words: Automata, Semigroups, Logic and Games

Jean-Eric Pin , Dominique Perrin
Elsevier, pp.538, 2004
Books hal-00112831v1