185 | -- | 186 | Agostino Cortesi, Nabendu Chaki, Rituparna Chaki. Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors |
187 | -- | 204 | Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki. Requirement-oriented risk management for incremental software development |
205 | -- | 217 | Santanu Roy, Bibekananda Shit, Soumya Sen, Agostino Cortesi. Construction and distribution of materialized views in Non-binary data space |
219 | -- | 230 | Sabyasachee Banerjee, Soumendu Ghorui, Subhashis Majumder. Designing balanced wrapper chains in 3D SoC under constrained TSVs |
231 | -- | 245 | Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya. A framework for end-to-end verification for digital microfluidics |
247 | -- | 259 | Gouri Kundu, Sankhayan Choudhury. A discrete genetic learning enabled PSO for targeted positive influence maximization in consumer review networks |
261 | -- | 275 | Sunanda Jana, Anamika Dey, Arnab Kumar Maji, Rajat Kumar Pal. A novel hybrid genetic algorithm-based firefly mating algorithm for solving Sudoku |
277 | -- | 288 | Mridul Ghosh, Himadri Mukherjee, Sk Md Obaidullah, Kaushik Roy 0004. STDNet: A CNN-based approach to single-/mixed-script detection |
289 | -- | 307 | Srijoni Majumdar, Nachiketa Chatterjee, Partha Pratim Das, Amlan Chakrabarti. A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers |
309 | -- | 317 | Maciej Szymkowski, Piotr Jasinski, Khalid Saeed 0001. Iris-based human identity recognition with machine learning methods and discrete fast Fourier transform |
319 | -- | 331 | Kamal Das, Amit Gurung, Rajarshi Ray 0001. Parallel simulation of cyber-physical systems |