542 results  save search

inria-00403127v1  Book sections
Axel HuttMatthias Munk. Detection of phase synchronization in multivariate single brain signal by a clustering approach
Jose Luis Perez Velazquez and Richard Wennberg. Coordinated Activity in the Brain: measurements and relevance to brain function and behaviour, Springer, pp.149-164, 2009, Springer Series in Computational Neuroscience, 978-0-387-93796-0. ⟨10.1007/978-0-387-93797-7⟩
hal-01401812v1  Conference papers
Jasmin BlanchetteAymeric BouzyAndreas LochbihlerAndrei PopescuDmitriy Traytel. Friends with Benefits
Isabelle Workshop 2016, Aug 2016, Nancy, France
hal-00801439v1  Conference papers
Susan SchreibmanStefan GradmannSteffen HennickeTobias BlankeSally Chambers et al.  Beyond Infrastructure -- Modelling Scholarly Research and Collaboration
Digital Humanities 2013, University of Nebraska-Lincoln, Jul 2013, Lincoln, United States
hal-00851067v1  Conference papers
Gianluca Antonelli,Elisabetta Cataldi,Paolo Robuffo GiordanoStefano ChiaveriniAntonio Franchi. Experimental validation of a new adaptive control scheme for quadrotors MAVs
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'2013, Nov 2013, Tokyo, Japan. pp.2439-2444
hal-01592186v1  Conference papers
Heiko BeckerJasmin BlanchetteUwe WaldmannDaniel Wand. A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms
CADE-26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.432-453, ⟨10.1007/978-3-319-63046-5_27⟩
hal-01590899v2  Conference papers
Pascal FontaineMizuhito OgawaThomas SturmXuan Vu. Subtropical Satisfiability
FroCoS 2017 - 11th International Symposium on Frontiers of Combining Systems, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66167-4⟩
hal-01648694v1  Conference papers
Russell BradfordJames DavenportMatthew EnglandHassan ErramiVladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
hal-01648695v1  Journal articles
Thomas SturmErika AbrahamJohn AbbottBern W. BeckerAnna Bigatti et al.  Satisfiability Checking and Symbolic Computation
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
hal-01945905v1  Journal articles
Sébastien MotschMehdi MoussaidElsa GuillotMathieu MoreauJulien Pettré et al.  Modeling crowd dynamics through coarse-grained data analysis
Mathematical Biosciences and Engineering, AIMS Press, 2018, 15 (6), pp.1271-1290. ⟨10.3934/mbe.2018059⟩
hal-01946733v1  Conference papers
Pascal FontaineMizuhito OgawaThomas SturmVan Khanh ToXuan Tung Vu. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom
hal-01442691v2  Reports
Haniel BarbosaPascal FontaineAndrew Reynolds. Congruence Closure with Free Variables
[Research Report] Inria, Loria, Universite de Lorraine, UFRN, University of Iowa. 2017
hal-01097624v1  Conference papers
Yamine Aït AmeurJ. Paul GibsonDominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618
hal-01097645v1  Conference papers
Dominique MéryNeeraj Kumar Singh. Formal Evaluation of Landing Gear System
SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
inria-00536697v1  Conference papers
Laurent CandillierIsabelle TellierFabien TorreOlivier Bousquet. SSC : Statistical Subspace Clustering
4th International Conference on Machine Learning and Data Mining in Pattern Recognition, 2005, Leipzig, Georgia. pp.100--109
hal-01145407v1  Conference papers
Jean-Daniel BoissonnatKarthik C. S.Sébastien Tavenas. Building Efficient and Compact Data Structures for Simplicial Complexes
International Symposium on Computational Geometry 2015, Jun 2015, Eindhoven, Netherlands. ⟨10.4230/LIPIcs.SOCG.2015.642⟩
hal-01230785v1  Journal articles
Emilie DiotSébastien TavenasNicolas Trotignon. Detecting wheels
Applicable Analysis and Discrete Mathematics, 2014, 8 (1), ⟨10.2298/AADM131128023D⟩
hal-01235912v1  Reports
Haniel BarbosaPascal Fontaine. Congruence Closure with Free Variables (Work in Progress)
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2015
hal-01336074v1  Conference papers
Jasmin Christian BlanchetteMathias FleuryChristoph Weidenbach. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_4⟩
hal-01336082v1  Conference papers
Andrew ReynoldsJasmin Christian BlanchetteSimon CruanesCesare Tinelli. Model Finding for Recursive Functions in SMT
8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩