发布求助
文献互助 智能选刊 最新文献

Innovations in Systems and Software Engineering最新文献

筛选
英文 中文
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method 模型重构中基于模式的自动一致性检查：引入一种形式化的行为保持方法
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-02-17 DOI: 10.1007/s11334-022-00525-8
Saeedeh Ghaedi Heidari, Shohreh Ajoudanian
{"title":"Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method","authors":"Saeedeh Ghaedi Heidari, Shohreh Ajoudanian","doi":"10.1007/s11334-022-00525-8","DOIUrl":"https://doi.org/10.1007/s11334-022-00525-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44532803","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
Semantic role identification for Malayalam using machine learning approaches 基于机器学习方法的马拉雅拉姆语语义角色识别
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-27 DOI: 10.1007/s11334-022-00496-w
J. P. Jayan, J. S. Kumar, T. Amudha
{"title":"Semantic role identification for Malayalam using machine learning approaches","authors":"J. P. Jayan, J. S. Kumar, T. Amudha","doi":"10.1007/s11334-022-00496-w","DOIUrl":"https://doi.org/10.1007/s11334-022-00496-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48479913","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
An efficient Apriori algorithm for frequent pattern in human intoxication data 人类中毒数据频繁模式的一种高效Apriori算法
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-05 DOI: 10.1007/s11334-022-00523-w
M. Hassan, S. Zaman, Swarnali Mollick, M. Hassan, M. Raihan, Chetna Kaushal, Rajat Bhardwaj
{"title":"An efficient Apriori algorithm for frequent pattern in human intoxication data","authors":"M. Hassan, S. Zaman, Swarnali Mollick, M. Hassan, M. Raihan, Chetna Kaushal, Rajat Bhardwaj","doi":"10.1007/s11334-022-00523-w","DOIUrl":"https://doi.org/10.1007/s11334-022-00523-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"69 16","pages":"1-9"},"PeriodicalIF":1.2,"publicationDate":"2023-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41246332","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}
引用次数: 4
A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis 基于数据包络分析的斋浦尔地铁轨道交通系统效率测度研究
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-05 DOI: 10.1007/s11334-022-00511-0
Pankaja Sharma, J. K. Jain, P. Kalla
{"title":"A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis","authors":"Pankaja Sharma, J. K. Jain, P. Kalla","doi":"10.1007/s11334-022-00511-0","DOIUrl":"https://doi.org/10.1007/s11334-022-00511-0","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 1","pages":"1-14"},"PeriodicalIF":1.2,"publicationDate":"2023-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48150313","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
Performance analysis of supervised classification models on heart disease prediction 监督分类模型在心脏病预测中的性能分析
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-04 DOI: 10.1007/s11334-022-00524-9
E. Ogundepo, W. B. Yahya
{"title":"Performance analysis of supervised classification models on heart disease prediction","authors":"E. Ogundepo, W. B. Yahya","doi":"10.1007/s11334-022-00524-9","DOIUrl":"https://doi.org/10.1007/s11334-022-00524-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 1","pages":"1-16"},"PeriodicalIF":1.2,"publicationDate":"2023-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45874391","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
An enumerated analysis of NoSQL data models using statistical tools 使用统计工具对NoSQL数据模型的枚举分析
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-03 DOI: 10.1007/s11334-022-00517-8
A. Samanta, N. Chaki
{"title":"An enumerated analysis of NoSQL data models using statistical tools","authors":"A. Samanta, N. Chaki","doi":"10.1007/s11334-022-00517-8","DOIUrl":"https://doi.org/10.1007/s11334-022-00517-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 1","pages":"1-10"},"PeriodicalIF":1.2,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46522688","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
A study on hydrodynamics of rigid and emergent vegetated flows using machine learning approach 用机器学习方法研究刚性和挺水植被流的流体动力学
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-02 DOI: 10.1007/s11334-022-00519-6
Soumen Maji, Apurbalal Senapati, Arun Mondal
{"title":"A study on hydrodynamics of rigid and emergent vegetated flows using machine learning approach","authors":"Soumen Maji, Apurbalal Senapati, Arun Mondal","doi":"10.1007/s11334-022-00519-6","DOIUrl":"https://doi.org/10.1007/s11334-022-00519-6","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 1","pages":"1-8"},"PeriodicalIF":1.2,"publicationDate":"2023-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44069433","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
Specification decomposition for reactive synthesis. 反应性合成规范分解。
IF 1.1
Innovations in Systems and Software Engineering Pub Date : 2023-01-01 Epub Date: 2022-07-18 DOI: 10.1007/s11334-022-00462-6
Bernd Finkbeiner, Gideon Geier, Noemi Passing
{"title":"Specification decomposition for reactive synthesis.","authors":"Bernd Finkbeiner, Gideon Geier, Noemi Passing","doi":"10.1007/s11334-022-00462-6","DOIUrl":"10.1007/s11334-022-00462-6","url":null,"abstract":"<p><p>Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and hardware. Despite recent advances in terms of algorithms and tools, however, reactive synthesis is still not practical when the specified systems reach a certain bound in size and complexity. In this paper, we present a sound and complete modular synthesis algorithm that automatically decomposes the specification into smaller subspecifications. For them, independent synthesis tasks are performed, significantly reducing the complexity of the individual tasks. Our decomposition algorithm guarantees that the subspecifications are independent in the sense that completely separate synthesis tasks can be performed for them. Moreover, the composition of the resulting implementations is guaranteed to satisfy the original specification. Our algorithm is a preprocessing technique that can be applied to a wide range of synthesis tools. We evaluate our approach with state-of-the-art synthesis tools on established benchmarks: the runtime decreases significantly when synthesizing implementations modularly.</p>","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"19 4","pages":"339-357"},"PeriodicalIF":1.1,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10638211/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134650152","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
Guest Editorial: Intelligence for systems and software engineering. 嘉宾评论:用于系统和软件工程的智能。
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-01 DOI: 10.1007/s11334-023-00526-1
Mike Hinchey, Amit Jain, Manju Kaushik, Sanjay Misra
{"title":"Guest Editorial: Intelligence for systems and software engineering.","authors":"Mike Hinchey,&nbsp;Amit Jain,&nbsp;Manju Kaushik,&nbsp;Sanjay Misra","doi":"10.1007/s11334-023-00526-1","DOIUrl":"https://doi.org/10.1007/s11334-023-00526-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"19 1","pages":"1-4"},"PeriodicalIF":1.2,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9886201/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9191872","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}
引用次数: 1
A systematic method for diagnosis of hepatitis disease using machine learning. 一种利用机器学习进行肝炎疾病诊断的系统方法。
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-01-01 DOI: 10.1007/s11334-022-00509-8
Ravi Kumar Sachdeva, Priyanka Bathla, Pooja Rani, Vikas Solanki, Rakesh Ahuja
{"title":"A systematic method for diagnosis of hepatitis disease using machine learning.","authors":"Ravi Kumar Sachdeva,&nbsp;Priyanka Bathla,&nbsp;Pooja Rani,&nbsp;Vikas Solanki,&nbsp;Rakesh Ahuja","doi":"10.1007/s11334-022-00509-8","DOIUrl":"https://doi.org/10.1007/s11334-022-00509-8","url":null,"abstract":"<p><p>Hepatitis is among the deadliest diseases on the planet. Machine learning approaches can contribute toward diagnosing hepatitis disease based on a few characteristics. On the UCI dataset, authors assessed distinct classifiers' performance in order to develop a systematic strategy for hepatitis disease diagnosis. The classifiers used are support vector machine, logistic regression (LR), K-nearest neighbor, and random forest. The classifiers were employed without class balancing and in conjunction with class balancing using SMOTE strategy. Both studies, classification without class balancing and with class balancing, were compared in terms of different performance parameters. After adopting class balancing, the efficiency of classifiers improved significantly. LR with SMOTE provided the highest level of accuracy (93.18%).</p>","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"19 1","pages":"71-80"},"PeriodicalIF":1.2,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9818056/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9130614","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}
引用次数: 8
首页 上一页 下一页 尾页
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学术官方微信