Filtrer vos résultats
- 13
- 4
- 10
- 3
- 2
- 1
- 1
- 3
- 17
- 5
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 1
- 2
- 1
- 2
- 17
- 14
- 8
- 3
- 3
- 2
- 2
- 1
- 1
- 17
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
17 résultats
|
|
triés par
|
|
Probabilistic Model Checking for Activity Recognition in Medical Serious GamesSEH 2021 - 3rd ICSE Workshop on Software Engineering for Healthcare, Jun 2021, Madrid, Spain. ⟨10.1109/SEH52539.2021.00019⟩
Communication dans un congrès
hal-03180187v1
|
||
|
Computational Logic for Biomedicine and Neurosciences2020
Pré-publication, Document de travail
hal-02895930v2
|
||
|
Formal Validation of Neural Networks as Timed Automatathe 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩
Communication dans un congrès
hal-01717598v1
|
||
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell CycleComputational Methods in Systems Biology, 2009, Berlin, Heidelberg, Unknown Region. pp.142--157
Communication dans un congrès
hal-01779515v1
|
|||
|
Spiking Neural Networks modelled as Timed Automata with parameter learning2018
Pré-publication, Document de travail
hal-01812544v1
|
||
|
A Logical Framework for Systems BiologyFMMB 2014 - First International Conference on Formal Methods in Macro-Biology, Sep 2014, Noumea, France. ⟨10.1007/978-3-319-10398-3_10⟩
Communication dans un congrès
hal-01285058v1
|
||
|
A Model-checking Approach to Reduce Spiking Neural NetworksBIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.1-8, ⟨10.5220/0006572000890096⟩
Communication dans un congrès
hal-01638248v1
|
||
|
Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic[Research Report] Université Côte d'Azur, CNRS, I3S, France. 2017
Rapport
hal-01473941v1
|
||
|
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraintsTheoretical Computer Science, 2011, 412 (21), pp.2108--2127. ⟨10.1016/j.tcs.2010.10.036⟩
Article dans une revue
hal-01285815v2
|
||
|
Modelling and Formal Verification of Neuronal Archetypes CouplingCSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. pp.3-10, ⟨10.1145/3156346.3156348⟩
Communication dans un congrès
hal-01643862v1
|
||
|
Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models[Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21
Rapport
hal-01349019v1
|
||
|
Formal Methods for Systems Biology: ContributionsBioinformatics [q-bio.QM]. Université Côte d'Azur, 2020
HDR
tel-02888024v1
|
||
|
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal, France. ⟨10.5220/0006530300170028⟩
Communication dans un congrès
hal-01717603v1
|
||
|
A Logical Framework for Systems Biology[Research Report] 2014, pp.34
Rapport
hal-00981409v1
|
||
|
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq9th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2018, Bangkok, Thailand
Communication dans un congrès
hal-01919043v1
|
||
|
Probabilistic Activity Recognition For Serious Games With Applications In MedicineICFEM 2019 - FTSCS workshop, Nov 2019, Shenzhen, China
Communication dans un congrès
hal-02341600v1
|
||
|
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell CycleCMSB 2009: Computational Methods in Systems Biology, Aug 2009, Bologna, Italy. pp.142-157, ⟨10.1007/978-3-642-03845-7_10⟩
Communication dans un congrès
hal-02308529v1
|