{"title":"Regularity and quantification: a new approach to verify distributed protocols","authors":"Aman Goel, K. Sakallah","doi":"10.1007/s11334-022-00460-8","DOIUrl":"https://doi.org/10.1007/s11334-022-00460-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48273245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A study on boundary detection in wireless sensor networks","authors":"Srabani Kundu, Nabanita Das","doi":"10.1007/s11334-022-00488-w","DOIUrl":"https://doi.org/10.1007/s11334-022-00488-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42743662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Arijit Chakraborty, Dipankar Das, Sajal Mitra, Debashis De, Anindya J Pal
{"title":"Forecasting adversities of COVID-19 waves in India using intelligent computing.","authors":"Arijit Chakraborty, Dipankar Das, Sajal Mitra, Debashis De, Anindya J Pal","doi":"10.1007/s11334-022-00486-y","DOIUrl":"10.1007/s11334-022-00486-y","url":null,"abstract":"<p><p>The second wave of the COVID-19 pandemic outburst triggered enormously all over India. This ill-fated and fatal brawl affected millions of Indian citizens, with many active and infected Indians struggling to recover from this deadly disease to date, leading to a grief situation. The present situation warrants developing a robust and sound forecasting model to evaluate the adversities of the epidemic with reasonable accuracy to assist officials in curbing this hazard. Consequently, we employed Auto-ARIMA, Auto-ETS, Auto-MLP, Auto-ELM, AM, MLP and proposed ELM methods for assessing accumulative infected COVID-19 individuals by the end of July 2021. We made 90 days of advanced forecasting, i.e., up to 24 July 2021, for the number of cumulative infected COVID-19 cases of India using all seven methods in 15 days' intervals. We fine-tuned the hyper-parameters to enhance the prediction performance of these models and observed that the proposed ELM model offers satisfactory accuracy with MAPE of 5.01, and it rendered better accuracy than the other six models. To comprehend the dataset's nature, five features are extracted. The resulting feature values encouraged further investigation of the models for an updated dataset, where the proposed model provides encouraging results.</p>","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9512957/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"40390217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet","authors":"Shimmi Asokan, G. Kumar","doi":"10.1007/s11334-022-00483-1","DOIUrl":"https://doi.org/10.1007/s11334-022-00483-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41745757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Amiya Karmakar, Kaustabh Ganguly, Pritam Ghosh, Anusua Mazumder, P. Banerjee, Debashis De
{"title":"FemmeBand: a novel IoT application of smart security band implemented using electromyographic sensors based on wireless body area networks","authors":"Amiya Karmakar, Kaustabh Ganguly, Pritam Ghosh, Anusua Mazumder, P. Banerjee, Debashis De","doi":"10.1007/s11334-022-00490-2","DOIUrl":"https://doi.org/10.1007/s11334-022-00490-2","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44751138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
P. Dhar, K. Suganya Devi, Satish Kumar Satti, P. Srinivasan
{"title":"Efficient detection and partitioning of overlapped red blood cells using image processing approach","authors":"P. Dhar, K. Suganya Devi, Satish Kumar Satti, P. Srinivasan","doi":"10.1007/s11334-022-00478-y","DOIUrl":"https://doi.org/10.1007/s11334-022-00478-y","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46463072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parking slot occupancy prediction using LSTM","authors":"Rohit Kumar Kasera, T. Acharjee","doi":"10.1007/s11334-022-00481-3","DOIUrl":"https://doi.org/10.1007/s11334-022-00481-3","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45623978","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"FastRWDnet: implementation of novel real-time deep video denoising utilizing optimized FastDVDnet","authors":"Shankha Shubhra Sarkar, Aryaman Kakad, Shashank Mouli Satapathy","doi":"10.1007/s11334-022-00476-0","DOIUrl":"https://doi.org/10.1007/s11334-022-00476-0","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47718308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sabyasachee Banerjee, S. Majumder, B. B. Bhattacharya, D. K. Das
{"title":"Power-aware partitioning and test time reduction for 3D-SoC","authors":"Sabyasachee Banerjee, S. Majumder, B. B. Bhattacharya, D. K. Das","doi":"10.1007/s11334-022-00479-x","DOIUrl":"https://doi.org/10.1007/s11334-022-00479-x","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48592060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formally Verified Bundling and Appraisal of Evidence for Layered Attestations","authors":"Adam Petz","doi":"10.1007/s11334-022-00475-1","DOIUrl":"https://doi.org/10.1007/s11334-022-00475-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2022-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45372671","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}