Innovations in Systems and Software Engineering最新文献

筛选
英文 中文
Regularity and quantification: a new approach to verify distributed protocols 正则性和量化:一种验证分布式协议的新方法
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-29 DOI: 10.1007/s11334-022-00460-8
Aman Goel, K. Sakallah
{"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}
引用次数: 2
A study on boundary detection in wireless sensor networks 无线传感器网络中边界检测的研究
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-28 DOI: 10.1007/s11334-022-00488-w
Srabani Kundu, Nabanita Das
{"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}
引用次数: 3
Forecasting adversities of COVID-19 waves in India using intelligent computing. 利用智能计算预测印度 COVID-19 浪潮的不利影响。
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-26 DOI: 10.1007/s11334-022-00486-y
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}
引用次数: 0
Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet 汽车以太网gPTP时钟同步算法的形式化建模
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-26 DOI: 10.1007/s11334-022-00483-1
Shimmi Asokan, G. Kumar
{"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}
引用次数: 0
FemmeBand: a novel IoT application of smart security band implemented using electromyographic sensors based on wireless body area networks FemmeBand:一种新的物联网智能安全带应用,使用基于无线身体区域网络的肌电传感器实现
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-25 DOI: 10.1007/s11334-022-00490-2
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}
引用次数: 1
Efficient detection and partitioning of overlapped red blood cells using image processing approach 利用图像处理方法对重叠红细胞进行高效检测和分割
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-21 DOI: 10.1007/s11334-022-00478-y
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}
引用次数: 3
Parking slot occupancy prediction using LSTM 基于LSTM的车位占用率预测
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-10 DOI: 10.1007/s11334-022-00481-3
Rohit Kumar Kasera, T. Acharjee
{"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}
引用次数: 3
FastRWDnet: implementation of novel real-time deep video denoising utilizing optimized FastDVDnet FastRWDnet:利用优化的FastDVDnet实现新颖的实时深度视频去噪
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-08 DOI: 10.1007/s11334-022-00476-0
Shankha Shubhra Sarkar, Aryaman Kakad, Shashank Mouli Satapathy
{"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}
引用次数: 0
Power-aware partitioning and test time reduction for 3D-SoC 3D-SoC的功耗感知分区和测试时间缩短
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-06 DOI: 10.1007/s11334-022-00479-x
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}
引用次数: 0
Formally Verified Bundling and Appraisal of Evidence for Layered Attestations 分层证明的形式验证捆绑和证据评估
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-04 DOI: 10.1007/s11334-022-00475-1
Adam Petz
{"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}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信