Filter your results
- 163
- 59
- 1
- 70
- 50
- 40
- 37
- 10
- 7
- 4
- 3
- 2
- 30
- 4
- 1
- 223
- 40
- 10
- 7
- 2
- 1
- 1
- 1
- 1
- 5
- 3
- 2
- 1
- 1
- 2
- 7
- 4
- 16
- 8
- 9
- 4
- 6
- 14
- 11
- 21
- 16
- 32
- 20
- 5
- 4
- 7
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 3
- 1
- 173
- 50
- 121
- 31
- 24
- 22
- 12
- 12
- 12
- 10
- 9
- 9
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 53
- 13
- 10
- 8
- 8
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Fast solution of sparse linear systems with adaptive choice of preconditionersGeneral Mathematics [math.GM]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS149⟩
Theses
tel-02425679v2
|
||
Minimum Satisfiability and Its ApplicationsIJCAI-2011, 2011, Barcelona, Spain, Spain. pp.605-610
Conference papers
hal-00999301v1
|
|||
|
Sur la longueur des mots de rang donné d'un automate finiComptes rendus de l'Académie des sciences. Série I, Mathématique, 1977, 284, pp.1233-1235
Journal articles
hal-00017720v1
|
||
|
On reversible automataProceedings of the first LATIN conference, 1992, Saõ-Paulo, Brazil. pp.401-416
Conference papers
hal-00019977v1
|
||
|
Uniform Random Sampling of Traces in Very Large ModelsFirst International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19
Conference papers
hal-00080471v1
|
||
|
Numerical Simulation of the 2D Non-Parabolic MEP Energy-Transport Model with a Mixed Finite Elements Scheme[Research Report] RR-5103, INRIA. 2004
Reports
inria-00071480v1
|
||
|
On two combinatorial problems arising from automata theoryCombinatorial mathematics (Marseille-Luminy, 1981), 1983, Marseille-Luminy, pp.535-548
Conference papers
hal-00143937v1
|
||
The Syntax of French de-N' Phrases11th 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 AlgorithmsDevelopments in Language Theory, 2004, New Zealand. pp.30--48
Conference papers
hal-00306258v1
|
|||
EDOS: Environment for the Development and Distribution of Open Source SoftwareOSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy
Conference papers
hal-00699644v1
|
|||
|
First order formulas with modular predicates2006, pp.211-220, ⟨10.1109/LICS.2006.24⟩
Conference papers
hal-00112846v1
|
||
TReX: A Tool for Reachability Analysis of Complex SystemsJul 2001, pp.368-372
Conference papers
hal-00110460v1
|
|||
|
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered ParallelismInfinity, 2006, Bonn, Germany
Conference papers
hal-00110134v1
|
||
|
Throughputs in stochastic free-choice nets, existence, computations and optimizations44-th IEEE Conference on Decision and Control, 2005, Sevilla, Spain. pp.1-19
Conference papers
inria-00071380v1
|
||
|
Détection d'attaques dans un système WBAN de surveillance médicale à distanceAutre [cs.OH]. Université René Descartes - Paris V, 2014. Français. ⟨NNT : 2014PA05S006⟩
Theses
tel-01124373v1
|
||
|
Using Galois ideals for computing relative resolventsJournal 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 ReportChallenges of Trustable AI and Added-Value on Health, IOS Press, 2022, Studies in Health Technology and Informatics, ⟨10.3233/SHTI220424⟩
Book sections
hal-03865993v1
|
||
|
SCALPEL3: a scalable open-source library for healthcare claims databasesInternational Journal of Medical Informatics, 2020
Journal articles
hal-02409058v1
|
||
|
Blind Source Separation: the Sparsity RevolutionPeter Hawkes, ed. Advances in Imaging and Electron Physics, 152, Academic Press, Elsevier, pp.221-306, 2008
Book sections
hal-00252075v1
|
||
|
Uniqueness for a Scalar Conservation Law with Discontinuous Flux via Adapted Entropies[Research Report] RR-5261, INRIA. 2004, pp.19
Reports
inria-00070737v1
|
||
|
A projection semi-implicit scheme for the coupling of an elastic structure with an incompressible fluid[Research Report] RR-5700, INRIA. 2005, pp.31
Reports
inria-00070315v1
|
||
|
Approche bioinspirée pour le contrôle des mains mécaniquesAutre [cs.OH]. Université René Descartes - Paris V, 2012. Français. ⟨NNT : 2012PA05T023⟩
Theses
tel-00759971v1
|
||
|
Réalisation d'un Intranet : Cohérence d'un Ensemble Réparti et Communicant, autour d'une Architecture Réflexivedomain_stic.hype. Université René Descartes - Paris V, 1998. Français. ⟨NNT : ⟩
Theses
tel-00009831v3
|
||
|
Online Timed Pattern Matching using Automata16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Sep 2018, Beijing, China
Conference papers
hal-01825026v1
|
||
|
An a contrario approach to hierarchical clustering validity assessment[Research Report] RR-5318, INRIA. 2004, pp.15
Reports
inria-00070682v1
|
||
|
Ordered categories and ordered semigroupsCommunications in Algebra, 2002, 30, pp.5651-5675
Journal articles
hal-00112616v1
|
||
Scenarios and covert channels, another game...GDV 04, 2005, Boston, United States. pp.93--116
Conference papers
hal-00306319v1
|
|||
Covert channels detection in protocols using scenariosSecurity Protocols Verification, SPV'03, 2003, Unknown, France. pp.2125
Conference papers
hal-00306320v1
|
|||
Two-variable logic on data wordsACM Transactions on Computational Logic, 2011, 12, pp.27
Journal articles
hal-00645452v1
|
|||
Infinite Words: Automata, Semigroups, Logic and GamesElsevier, pp.538, 2004
Books
hal-00112831v1
|