![]() |
Free and accessible knowledge |
|
||
---|---|---|
tel-00350900v2
Theses
In silico methods for genome rearrangement analysis: from identification of common markers to ancestral reconstruction. Other [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2008. English |
||
hal-00645456v1
Conference papers
Taming Distributed Asynchronous Systems Concurrency Theory, 21th International Conference, CONCUR 2010, 2010, France |
||
hal-02166489v1
Journal articles
Acceptance of ICTs for health and/or Physical Activity Monitoring in Patients with Chronic Diseases Journal of Advances in Sports and Physical Education, 2019, 2 (3), pp.50-58. ⟨10.21276/jaspe.2019.2.3.1⟩ |
||
ensl-00086904v1
Journal articles
A new range-reduction algorithm IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩ |
||
|
||
hal-00165947v1
Conference papers
Performance evaluation of timed Petri nets using heaps of pieces PNPM'99, 1999, Zaragoza, Spain. pp.158-169 |
||
hal-01445854v1
Conference papers
Real-Time Processing for an Adaptable SPECT System Based on CZT Detectors IEEE Nuclear Science Symposium (NSS/MIC'16), Oct 2016, Strasbourg, France |
||
hal-01126796v1
Conference papers
Data Flow Coverage for Circus-Based Testing LNCS, ETAPS, Apr 2014, Grenoble, France. pp.415-429, ⟨10.1007/978-3-642-54804-8_29⟩ |
||
tel-00327772v1
Theses
Distribution de programmes synchrones : Le cas d'Esterel Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français |
||
hal-00645452v1
Journal articles
Two-variable logic on data words ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12, pp.27 |
||
tel-02881987v1
Theses
Steganalysis and steganography by deep learning Autre [cs.OH]. Université Montpellier, 2019. Français. ⟨NNT : 2019MONTS095⟩ |
||
|
||
inria-00483952v1
Journal articles
Analysis and Applications of Timed Service Protocols ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2010, 19 (4), ⟨10.1145/1734229.1734230⟩ |
||
hal-00163561v1
Books
Fondamenti Algebrici degli Automi Cellulari Invertibili M.Sc.~Thesis (in Italian), Dip. di Matematica, Università di Torino, 1997 |
||
tel-01443327v1
Theses
Model-Based Testing Real-Time and Interactive Music Systems Other [cs.OH]. EDITE, 2016. English |
||
|
||
tel-00484354v1
Theses
Contraintes de Partitionnement de Graphe Autre [cs.OH]. Université de Nantes, 2007. Français |
||
hal-01923258v1
Conference papers
John, the semi-conductor : a tool for comprovisation International Conference on Technologies for Music Notation and Representation (TENOR'18), May 2018, Montréal, Canada |
||
hal-01683611v1
Conference papers
Formal Methods for Software Testing 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), , IEEE, Sep 2017, Sophia-Antipolis, France |
||
hal-00308224v1
Conference papers
Influence de la densité spectrale sur la synthèse de sons bruités Journées d'Informatique Musicale (JIM), May 2002, Marseille, France. pp.17--24 |
||
|
||
hal-01604193v1
Other publications
Vocabulary for analysis and experimentation on terrestrial and aquatic ecosystems [Data set] 2017, ⟨10.15454/1.4894016754286177E12⟩ |
||
hal-01281351v1
Journal articles
Variational Geometric Modeling with Black Box Constraints and DAGs Computer-Aided Design, Elsevier, 2016, ⟨10.1016/j.cad.2016.02.002⟩ ![]() |
||
hal-02801706v1
Conference papers
Journées techniques INRA - CATI@ACTION 2015 Journées techniques 2015 du CATI ACTION, Apr 2015, Avignon, France. 23 p |
||
hal-00881291v1
Conference papers
Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites Benevol 2013, Dec 2013, Mons, Belgium |
||
hal-01361233v1
Conference papers
Guider l'improvisation musicale homme-machine : une synthèse sur le système ImproteK Journées d'Informatiques Musicales (JIM) 2016, GMEA - Labri, Mar 2016, Albi, France |
||
hal-00883117v1
Conference papers
An approach for mining care trajectories for chronic diseases AIME 2013 - 14th Conference on Artificial Intelligence in Medicine, May 2013, Murcia, Spain |
||
hal-00641850v1
Conference papers
The SWEET-HOME Project: Audio Technology in Smart Homes to improve Well-being and Reliance 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2011), Aug 2011, Boston, United States. pp.5291-5294 |
||
tel-00084287v1
Theses
Analysis of probabilistic programs by abstract interpretation Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English |
||
hal-00084194v1
Conference papers
Cooperative CBR system for peer agent committee formation workshop on Agents and Peer-ToPeer Computing, 2006, Hakodate, Japan |
||
|