Pub Date : 2022-09-01DOI: 10.1007/s11334-022-00482-2
Zhé Hóu, Vijay Ganesh, Jing Sun
{"title":"Editorial","authors":"Zhé Hóu, Vijay Ganesh, Jing Sun","doi":"10.1007/s11334-022-00482-2","DOIUrl":"https://doi.org/10.1007/s11334-022-00482-2","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"333 - 334"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46380074","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}
Pub Date : 2022-09-01DOI: 10.1007/s11334-022-00459-1
Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz
{"title":"From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata","authors":"Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz","doi":"10.1007/s11334-022-00459-1","DOIUrl":"https://doi.org/10.1007/s11334-022-00459-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"385-403"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42111113","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}
Pub Date : 2022-09-01DOI: 10.1007/s11334-022-00446-6
O. Kupferman, Nir Lavee, Salomon Sickert
{"title":"Certifying DFA Bounds for Recognition and Separation","authors":"O. Kupferman, Nir Lavee, Salomon Sickert","doi":"10.1007/s11334-022-00446-6","DOIUrl":"https://doi.org/10.1007/s11334-022-00446-6","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"405-416"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52912807","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}
Pub Date : 2022-09-01DOI: 10.1007/s11334-022-00449-3
Edi Muškardin, B. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
{"title":"AALpy: an active automata learning library","authors":"Edi Muškardin, B. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler","doi":"10.1007/s11334-022-00449-3","DOIUrl":"https://doi.org/10.1007/s11334-022-00449-3","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"9 1","pages":"417-426"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52912911","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}
Pub Date : 2022-08-11DOI: 10.1007/s11334-022-00464-4
Dawid Najda, K. Saeed
{"title":"Impact of augmentation methods in online signature verification","authors":"Dawid Najda, K. Saeed","doi":"10.1007/s11334-022-00464-4","DOIUrl":"https://doi.org/10.1007/s11334-022-00464-4","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43923432","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}
Pub Date : 2022-08-11DOI: 10.1007/s11334-022-00473-3
Diganta Sengupta, Subhash Mondal, Anish De Kumar, Pretha Sur
{"title":"Classification of diabetic retinopathy using stacked machine learning approach on low resource dataset","authors":"Diganta Sengupta, Subhash Mondal, Anish De Kumar, Pretha Sur","doi":"10.1007/s11334-022-00473-3","DOIUrl":"https://doi.org/10.1007/s11334-022-00473-3","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49423504","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}
Pub Date : 2022-08-11DOI: 10.1007/s11334-022-00471-5
Rajib Ghosh, Ditipriya Sinha
{"title":"Human emotion recognition by analyzing facial expressions, heart rate and blogs using deep learning method","authors":"Rajib Ghosh, Ditipriya Sinha","doi":"10.1007/s11334-022-00471-5","DOIUrl":"https://doi.org/10.1007/s11334-022-00471-5","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46085752","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}
Pub Date : 2022-08-03DOI: 10.1007/s11334-022-00467-1
S. Chakraborty, Maumita Chakraborty, R. Pal
{"title":"Generation of all rooted trees up to a given height","authors":"S. Chakraborty, Maumita Chakraborty, R. Pal","doi":"10.1007/s11334-022-00467-1","DOIUrl":"https://doi.org/10.1007/s11334-022-00467-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41433990","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：