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

Artificial Intelligence and Symbolic Computation最新文献

筛选
英文 中文
The Accessibility of Mathematical Formulas for the Visually Impaired in China 中国视障人士数学公式的可及性
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_18
Wei-Hsin Su, Chuan Cai, Jinzhao Wu
{"title":"The Accessibility of Mathematical Formulas for the Visually Impaired in China","authors":"Wei-Hsin Su, Chuan Cai, Jinzhao Wu","doi":"10.1007/978-3-319-99957-9_18","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_18","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124335709","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
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically 通过几何求解参数多项式系统揭示神经系统紊乱模型的双稳定性
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_11
Changbo Chen, Wenyuan Wu
{"title":"Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically","authors":"Changbo Chen, Wenyuan Wu","doi":"10.1007/978-3-319-99957-9_11","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_11","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122417384","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
Early Ending in Homotopy Path-Tracking for Real Roots 实根的同伦路径跟踪的早结束
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_12
Yu Wang, Wenyuan Wu, Bican Xia
{"title":"Early Ending in Homotopy Path-Tracking for Real Roots","authors":"Yu Wang, Wenyuan Wu, Bican Xia","doi":"10.1007/978-3-319-99957-9_12","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_12","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121132942","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 Chinese New Word Detection Approach Based on Independence Testing 一种基于独立性测试的汉语新词检测方法
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_17
Dongchen Jiang, Xiaoyu Chen, Xin Yang
{"title":"A Chinese New Word Detection Approach Based on Independence Testing","authors":"Dongchen Jiang, Xiaoyu Chen, Xin Yang","doi":"10.1007/978-3-319-99957-9_17","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_17","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130642608","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
Automatic Deduction in an AI Geometry Book AI几何书中的自动演绎
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_16
P. Quaresma
{"title":"Automatic Deduction in an AI Geometry Book","authors":"P. Quaresma","doi":"10.1007/978-3-319-99957-9_16","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_16","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133422579","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
Methodologies of Symbolic Computation 符号计算方法
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_2
J. Davenport
{"title":"Methodologies of Symbolic Computation","authors":"J. Davenport","doi":"10.1007/978-3-319-99957-9_2","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_2","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123434319","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
Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest 软件众包竞赛参赛人数的博弈论分析
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_20
Pengcheng Peng, Chenqi Mou, W. Tsai
{"title":"Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest","authors":"Pengcheng Peng, Chenqi Mou, W. Tsai","doi":"10.1007/978-3-319-99957-9_20","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_20","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122335406","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
FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets FMUS2:一种计算最小不可满足子集的有效算法
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_7
Shaofan Liu, Jie Luo
{"title":"FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets","authors":"Shaofan Liu, Jie Luo","doi":"10.1007/978-3-319-99957-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_7","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124613232","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}
引用次数: 6
Automated Reasoning in the Age of the Internet 互联网时代的自动推理
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_1
A. Bundy, Kwabena Nuamah, Christopher Lucas
{"title":"Automated Reasoning in the Age of the Internet","authors":"A. Bundy, Kwabena Nuamah, Christopher Lucas","doi":"10.1007/978-3-319-99957-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_1","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"253 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116814202","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}
引用次数: 12
Multivalued Elementary Functions in Computer-Algebra Systems 计算机代数系统中的多值初等函数
Artificial Intelligence and Symbolic Computation Pub Date : 2014-12-11 DOI: 10.1007/978-3-319-13770-4_14
D. J. Jeffrey
{"title":"Multivalued Elementary Functions in Computer-Algebra Systems","authors":"D. J. Jeffrey","doi":"10.1007/978-3-319-13770-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-13770-4_14","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126624862","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
首页 上一页 下一页 尾页
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学术官方微信