Segui
Md. Ariful Islam
Titolo
Citata da
Citata da
Anno
Model-order reduction of ion channel dynamics using approximate bisimulation
MA Islam, A Murthy, E Bartocci, EM Cherry, FH Fenton, J Glimm, ...
Theoretical Computer Science 599, 34-46, 2015
192015
Compositionality results for cardiac cell dynamics
MA Islam, A Murthy, A Girard, SA Smolka, R Grosu
Proceedings of the 17th international conference on Hybrid systems …, 2014
192014
Approximate bisimulations for sodium channel dynamics
A Murthy, MA Islam, E Bartocci, EM Cherry, FH Fenton, J Glimm, ...
Computational Methods in Systems Biology: 10th International Conference …, 2012
172012
Lagrangian reachtubes: The next generation
S Gruenbacher, J Cyranka, M Lechner, MA Islam, SA Smolka, R Grosu
2020 59th IEEE Conference on Decision and Control (CDC), 1556-1563, 2020
152020
Computing bisimulation functions using SOS optimization and δ-decidability over the reals
A Murthy, MA Islam, SA Smolka, R Grosu
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
142015
Lagrangian reachabililty
J Cyranka, MA Islam, G Byrne, P Jones, SA Smolka, R Grosu
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
112017
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans
MA Islam, Q Wang, RM Hasani, O Balún, EM Clarke, R Grosu, SA Smolka
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
102016
A simplex architecture for hybrid systems using barrier certificates
J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
92017
Synthesizing stealthy reprogramming attacks on cardiac devices
N Paoletti, Z Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, ...
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
82019
Neural Programming: Towards Adaptive Control in Cyber-Physical Systems}
K Selyunin, D Ratasich, E Bartocci, MA Islam, SA Smolka, R Grosu
Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control}, 2015
82015
Model checking tap withdrawal in C. Elegans
MA Islam, R De Francisco, C Fan, R Grosu, S Mitra, SA Smolka
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015
82015
Tight continuous-time reachtubes for lagrangian reachability
J Cyranka, MA Islam, SA Smolka, S Gao, R Grosu
2018 IEEE Conference on Decision and Control (CDC), 6854-6861, 2018
72018
Development of low cost agarwood essential oil extraction system for agar tree growers in Bangladesh
MA Islam, MD Hussain, E Kabir, MZ Hasan
Journal of the Bangladesh Agricultural University 12 (452-2016-35634), 167-170, 2014
72014
Cutting a cornered convex polygon out of a circle
SI Ahmed, MA Islam, M Hasan
2008 11th International Conference on Computer and Information Technology, 1-6, 2008
72008
Improvement of the handover performance and channel allocation scheme using fuzzy logic, artificial neural network and neuro-fuzzy system to reduce call drop in cellular network
MA Islam, MR Hasan, A Begum
Journal of Engineering Advancements 1 (04), 130-138, 2020
62020
Towards lexicon-free bangla automatic speech recognition system
MM Hasan, MA Islam, S Kibria, MS Rahman
2019 International Conference on Bangla Speech and Language Processing …, 2019
62019
Cybercardia project: modeling, verification and validation of implantable cardiac devices
MA Islam, H Lim, N Paoletti, H Abbas, Z Jiang, J Cyranka, R Cleaveland, ...
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016
62016
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
MA Islam, R Cleaveland, FH Fenton, R Grosu, PL Jones, SA Smolka
Theoretical Computer Science 765, 158-169, 2019
52019
Computing compositional proofs of input-to-output stability using SOS optimization and δ-decidability
A Murthy, MA Islam, SA Smolka, R Grosu
Nonlinear Analysis: Hybrid Systems 23, 272-286, 2017
52017
Bifurcation analysis of cardiac alternans using-decidability
MA Islam, G Byrne, S Kong, EM Clarke, R Cleaveland, FH Fenton, ...
International Conference on Computational Methods in Systems Biology, 132-146, 2016
52016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20