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

Intelligent Systems for Engineers and Scientists最新文献

筛选
英文 中文
Symbolic Learning 象征性的学习
Intelligent Systems for Engineers and Scientists Pub Date : 2021-11-10 DOI: 10.1201/9781003226277-5
A. Hopgood
{"title":"Symbolic Learning","authors":"A. Hopgood","doi":"10.1201/9781003226277-5","DOIUrl":"https://doi.org/10.1201/9781003226277-5","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131764167","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
AI Programming Languages and Tools 人工智能编程语言和工具
Intelligent Systems for Engineers and Scientists Pub Date : 2021-11-10 DOI: 10.1201/9781003226277-11
A. Hopgood
{"title":"AI Programming Languages and Tools","authors":"A. Hopgood","doi":"10.1201/9781003226277-11","DOIUrl":"https://doi.org/10.1201/9781003226277-11","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126377128","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
Shallow Neural Networks 浅层神经网络
Intelligent Systems for Engineers and Scientists Pub Date : 2021-11-10 DOI: 10.1201/9781003226277-8
A. Hopgood
{"title":"Shallow Neural Networks","authors":"A. Hopgood","doi":"10.1201/9781003226277-8","DOIUrl":"https://doi.org/10.1201/9781003226277-8","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116207646","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
Hybrid Systems 混合动力系统
Intelligent Systems for Engineers and Scientists Pub Date : 2021-11-10 DOI: 10.1002/9780470877999.ch5
A. Hopgood
{"title":"Hybrid Systems","authors":"A. Hopgood","doi":"10.1002/9780470877999.ch5","DOIUrl":"https://doi.org/10.1002/9780470877999.ch5","url":null,"abstract":"algorithm For example consider forward breadth-first search. F=Init repeat F=F ∪ SuccFlow(F) ∪ SuccJump(F) until fixpoint |(F∩ Bad 6= ∅) | tired A standard verification (semi-)algorithm. EJCMI Nancy 2007 – p. 58/67 How to implement it Needed data structure for (over-)approximate representation of subsets of R, and algorithms for efficient computing of • unions, intersections; • inclusion tests; • SuccFlow; • SuccJump. EJCMI Nancy 2007 – p. 59/67 Known implementations • Polyhedra (HyTech exact. Checkmate) • “Griddy polyhedra” (d/dt) • Ellipsoids (Kurzhanski, Bochkarev) • Level sets of functions (Tomlin) • Zonotopes (Girard) f(x)<0 EJCMI Nancy 2007 – p. 60/67 Does it work? Up to 10 dimensions. Sometimes. EJCMI Nancy 2007 – p. 61/67 Using advanced verification techniques • Searching for better data-structures (SOS, *DD) • Abstraction and refinement • Combining model-checking and theorem proving • Acceleration • Bounded model-checking EJCMI Nancy 2007 – p. 62/67 Beyond verification Generic verification algorithms + hybrid data structures allow: • Model-checking • Controller synthesis • Phase portrait generation EJCMI Nancy 2007 – p. 63/67","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124103173","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}
引用次数: 49
Systems for Interpretation and Diagnosis 解释和诊断系统
Intelligent Systems for Engineers and Scientists Pub Date : 2016-04-19 DOI: 10.1201/B11287-14
A. Hopgood
{"title":"Systems for Interpretation and Diagnosis","authors":"A. Hopgood","doi":"10.1201/B11287-14","DOIUrl":"https://doi.org/10.1201/B11287-14","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"335 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115228013","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
Rule-Based Systems 基于规则的系统
Intelligent Systems for Engineers and Scientists Pub Date : 2016-04-19 DOI: 10.1201/B11287-5
A. Hopgood
{"title":"Rule-Based Systems","authors":"A. Hopgood","doi":"10.1201/B11287-5","DOIUrl":"https://doi.org/10.1201/B11287-5","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116912135","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
Systems for Control 控制系统
Intelligent Systems for Engineers and Scientists Pub Date : 2016-04-19 DOI: 10.1201/B11287-17
A. Hopgood
{"title":"Systems for Control","authors":"A. Hopgood","doi":"10.1201/B11287-17","DOIUrl":"https://doi.org/10.1201/B11287-17","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125926668","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
Genetic Algorithms for Optimization 遗传算法优化
Intelligent Systems for Engineers and Scientists Pub Date : 2011-12-12 DOI: 10.1201/B11287-8
A. Hopgood
{"title":"Genetic Algorithms for Optimization","authors":"A. Hopgood","doi":"10.1201/B11287-8","DOIUrl":"https://doi.org/10.1201/B11287-8","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126962106","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}
引用次数: 20
Single-Candidate Optimization Algorithms 单候选优化算法
Intelligent Systems for Engineers and Scientists Pub Date : 2011-12-12 DOI: 10.1201/B11287-7
A. Hopgood
{"title":"Single-Candidate Optimization Algorithms","authors":"A. Hopgood","doi":"10.1201/B11287-7","DOIUrl":"https://doi.org/10.1201/B11287-7","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124612908","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 Future of Intelligent Systems 智能系统的未来
Intelligent Systems for Engineers and Scientists Pub Date : 2011-12-12 DOI: 10.1201/b11287-16
A. Hopgood
{"title":"The Future of Intelligent Systems","authors":"A. Hopgood","doi":"10.1201/b11287-16","DOIUrl":"https://doi.org/10.1201/b11287-16","url":null,"abstract":"","PeriodicalId":108612,"journal":{"name":"Intelligent Systems for Engineers and Scientists","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116173439","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学术官方微信