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

SN computer science最新文献

筛选
英文 中文
Incremental and Formal Verification of SysML Models SysML 模型的增量和形式验证
SN computer science Pub Date : 2024-07-17 DOI: 10.1007/s42979-024-03027-5
Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, P. de Saqui-Sannes
{"title":"Incremental and Formal Verification of SysML Models","authors":"Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, P. de Saqui-Sannes","doi":"10.1007/s42979-024-03027-5","DOIUrl":"https://doi.org/10.1007/s42979-024-03027-5","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":" 16","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141830386","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
The Challenges and Opportunities of Smart Cities Infrastructure 智能城市基础设施的挑战与机遇
SN computer science Pub Date : 2024-07-17 DOI: 10.1007/s42979-024-03033-7
A. AbuAli, Wejdan Alharthi, Mariam Althbyani, F. Ghabban, O. Ameerbakhsh, I. Alfadli, Ashwaq Hasen Al-Shehri, N. Fallatah
{"title":"The Challenges and Opportunities of Smart Cities Infrastructure","authors":"A. AbuAli, Wejdan Alharthi, Mariam Althbyani, F. Ghabban, O. Ameerbakhsh, I. Alfadli, Ashwaq Hasen Al-Shehri, N. Fallatah","doi":"10.1007/s42979-024-03033-7","DOIUrl":"https://doi.org/10.1007/s42979-024-03033-7","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":" 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141828654","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 Improved Water Flow Optimizer for Data Clustering 用于数据聚类的改进型水流优化器
SN computer science Pub Date : 2024-07-17 DOI: 10.1007/s42979-024-03048-0
Prateek Thakral, Yugal Kumar
{"title":"An Improved Water Flow Optimizer for Data Clustering","authors":"Prateek Thakral, Yugal Kumar","doi":"10.1007/s42979-024-03048-0","DOIUrl":"https://doi.org/10.1007/s42979-024-03048-0","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":" 46","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141831186","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
Neural Networks and the Nonlinear Feynman–Kac Theorem Applied to Financial Options Pricing 神经网络和非线性费曼-卡克定理在金融期权定价中的应用
SN computer science Pub Date : 2024-07-03 DOI: 10.1007/s42979-024-02931-0
John F. Moreno T., Carlos Zapata, Daniel Aragon
{"title":"Neural Networks and the Nonlinear Feynman–Kac Theorem Applied to Financial Options Pricing","authors":"John F. Moreno T., Carlos Zapata, Daniel Aragon","doi":"10.1007/s42979-024-02931-0","DOIUrl":"https://doi.org/10.1007/s42979-024-02931-0","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"12 5","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141837937","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
Enhanced Multi-variate Time Series Prediction Through Statistical-Deep Learning Integration: The VAR-Stacked LSTM Model 通过统计-深度学习集成增强多变量时间序列预测：VAR 堆栈 LSTM 模型
SN computer science Pub Date : 2024-05-23 DOI: 10.1007/s42979-024-02950-x
Mohd Sakib, Suhel Mustajab
{"title":"Enhanced Multi-variate Time Series Prediction Through Statistical-Deep Learning Integration: The VAR-Stacked LSTM Model","authors":"Mohd Sakib, Suhel Mustajab","doi":"10.1007/s42979-024-02950-x","DOIUrl":"https://doi.org/10.1007/s42979-024-02950-x","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"117 13","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141105286","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
Automated Insect Detection and Classification Using Pelican Optimization Algorithm with Deep Learning on Internet of Enabled Agricultural Sector 利用鹈鹕优化算法和深度学习在农业互联网领域实现昆虫自动检测和分类
SN computer science Pub Date : 2024-05-23 DOI: 10.1007/s42979-024-02893-3
Mohammed Assiri, Elmouez Samir Abd Elhameed, Arun Kumar, Chinu Singla
{"title":"Automated Insect Detection and Classification Using Pelican Optimization Algorithm with Deep Learning on Internet of Enabled Agricultural Sector","authors":"Mohammed Assiri, Elmouez Samir Abd Elhameed, Arun Kumar, Chinu Singla","doi":"10.1007/s42979-024-02893-3","DOIUrl":"https://doi.org/10.1007/s42979-024-02893-3","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"5 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141105332","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 Comprehensive Fraud Detection for Credit Card Transactions in Federated Averaging 联合平均法中的信用卡交易综合欺诈检测
SN computer science Pub Date : 2024-05-23 DOI: 10.1007/s42979-024-02898-y
Tran Khanh Dang, Trung Ha
{"title":"A Comprehensive Fraud Detection for Credit Card Transactions in Federated Averaging","authors":"Tran Khanh Dang, Trung Ha","doi":"10.1007/s42979-024-02898-y","DOIUrl":"https://doi.org/10.1007/s42979-024-02898-y","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"49 4","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141107549","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
Smart Checkpoint Management System for Automatic Number Plate Recognition in Bhutan Vehicles Using OCR Technique 利用 OCR 技术自动识别不丹车辆号牌的智能检查站管理系统
SN computer science Pub Date : 2024-05-23 DOI: 10.1007/s42979-024-02905-2
K. Vijayalakshmi, M. Dhanamalar, Vijayalakshmi A. Lepakshi, S. Jamtsho
{"title":"Smart Checkpoint Management System for Automatic Number Plate Recognition in Bhutan Vehicles Using OCR Technique","authors":"K. Vijayalakshmi, M. Dhanamalar, Vijayalakshmi A. Lepakshi, S. Jamtsho","doi":"10.1007/s42979-024-02905-2","DOIUrl":"https://doi.org/10.1007/s42979-024-02905-2","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"68 4","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141106062","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 Novel Multi-camera Fusion Approach at Plant Scale: From 2D to 3D 植物规模的新型多摄像头融合方法：从二维到三维
SN computer science Pub Date : 2024-05-23 DOI: 10.1007/s42979-024-02849-7
Edgar S. Correa, Francisco C. Calderon, Julian D. Colorado
{"title":"A Novel Multi-camera Fusion Approach at Plant Scale: From 2D to 3D","authors":"Edgar S. Correa, Francisco C. Calderon, Julian D. Colorado","doi":"10.1007/s42979-024-02849-7","DOIUrl":"https://doi.org/10.1007/s42979-024-02849-7","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"20 4","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141105104","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 Optimal Disassembly Sequence Planning for Complex Products using Enhanced Deep Reinforcement Learning Framework 利用增强型深度强化学习框架优化复杂产品的拆卸顺序规划
SN computer science Pub Date : 2024-05-23 DOI: 10.1007/s42979-024-02924-z
Mirothali Chand, Chandrasekar Ravi
{"title":"An Optimal Disassembly Sequence Planning for Complex Products using Enhanced Deep Reinforcement Learning Framework","authors":"Mirothali Chand, Chandrasekar Ravi","doi":"10.1007/s42979-024-02924-z","DOIUrl":"https://doi.org/10.1007/s42979-024-02924-z","url":null,"abstract":"","PeriodicalId":94207,"journal":{"name":"SN computer science","volume":"99 5","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141106014","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学术官方微信