Logic Journal of the IGPL最新文献

筛选
英文 中文
The relevance logic of Boolean groups 布尔组的关联逻辑
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzab031
Yale Weiss
{"title":"The relevance logic of Boolean groups","authors":"Yale Weiss","doi":"10.1093/jigpal/jzab031","DOIUrl":"https://doi.org/10.1093/jigpal/jzab031","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"96-114"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49947959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network RGB图像驱动的葡萄品种密集连接卷积网络识别
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac029
Pavel Škrabánek, P. Doležel, R. Matousek
{"title":"RGB images-driven recognition of grapevine varieties using a densely connected convolutional network","authors":"Pavel Škrabánek, P. Doležel, R. Matousek","doi":"10.1093/jigpal/jzac029","DOIUrl":"https://doi.org/10.1093/jigpal/jzac029","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"618-633"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60953172","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables 利用大气变量预测小型风力发电机发电量的智能技术对比分析
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac031
Santiago Porras, Esteban Jove, Bruno Baruque, J. Calvo-Rolle
{"title":"A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables","authors":"Santiago Porras, Esteban Jove, Bruno Baruque, J. Calvo-Rolle","doi":"10.1093/jigpal/jzac031","DOIUrl":"https://doi.org/10.1093/jigpal/jzac031","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"648-663"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60953243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Jónsson-style canonicity in distributive modal µ-calculus Jónsson-style分布模态微微积分的正则性
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzab032
Zhiguang Zhao
{"title":"Jónsson-style canonicity in distributive modal µ-calculus","authors":"Zhiguang Zhao","doi":"10.1093/jigpal/jzab032","DOIUrl":"https://doi.org/10.1093/jigpal/jzab032","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"401-421"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60952022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Editorial: Special issue HAIS20 社论:特刊HAIS20
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac014
{"title":"Editorial: Special issue HAIS20","authors":"","doi":"10.1093/jigpal/jzac014","DOIUrl":"https://doi.org/10.1093/jigpal/jzac014","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"219-222"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60952868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Design and implementation of parallel self-adaptive differential evolution for global optimization 并行自适应差分进化全局优化的设计与实现
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac034
Iztok Fister, Andrés Iglesias, A. Gálvez, D. Fister, Iztok Fister
{"title":"Design and implementation of parallel self-adaptive differential evolution for global optimization","authors":"Iztok Fister, Andrés Iglesias, A. Gálvez, D. Fister, Iztok Fister","doi":"10.1093/jigpal/jzac034","DOIUrl":"https://doi.org/10.1093/jigpal/jzac034","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"701-721"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60953451","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A support vector regression model for time series forecasting of the COMEX copper spot price COMEX铜现货价格时间序列预测的支持向量回归模型
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac039
E. G. Gonzalo, P. G. Nieto, Javier Gracia Rodríguez, F. Lasheras, Gregorio Fidalgo Valverde
{"title":"A support vector regression model for time series forecasting of the COMEX copper spot price","authors":"E. G. Gonzalo, P. G. Nieto, Javier Gracia Rodríguez, F. Lasheras, Gregorio Fidalgo Valverde","doi":"10.1093/jigpal/jzac039","DOIUrl":"https://doi.org/10.1093/jigpal/jzac039","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"775-784"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60953959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A hybrid machine learning system to impute and classify a component-based robot 一种混合机器学习系统,用于对基于部件的机器人进行输入和分类
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac023
Nuño Basurto, Ángel Arroyo, Carlos Cambra, Álvaro Herrero
{"title":"A hybrid machine learning system to impute and classify a component-based robot","authors":"Nuño Basurto, Ángel Arroyo, Carlos Cambra, Álvaro Herrero","doi":"10.1093/jigpal/jzac023","DOIUrl":"https://doi.org/10.1093/jigpal/jzac023","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"338-351"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60953125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption 基于最接近相似模式的大时间序列流预测在能源消耗中的应用
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac017
P. Jiménez-Herrera, Laura Melgar-García, G. Asencio-Cortés, A. T. Lora
{"title":"Streaming big time series forecasting based on nearest similar patterns with application to energy consumption","authors":"P. Jiménez-Herrera, Laura Melgar-García, G. Asencio-Cortés, A. T. Lora","doi":"10.1093/jigpal/jzac017","DOIUrl":"https://doi.org/10.1093/jigpal/jzac017","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"255-270"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60952981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Intelligent model for active power prediction of a small wind turbine 小型风力发电机组有功功率智能预测模型
IF 1 4区 数学
Logic Journal of the IGPL Pub Date : 2023-01-01 DOI: 10.1093/jigpal/jzac040
Francisco Zayas-Gato, Esteban Jove, J. Casteleiro-Roca, Héctor Quintián-Pardo, F. Castelo, A. P. Pazos, E. Arce, J. Calvo-Rolle
{"title":"Intelligent model for active power prediction of a small wind turbine","authors":"Francisco Zayas-Gato, Esteban Jove, J. Casteleiro-Roca, Héctor Quintián-Pardo, F. Castelo, A. P. Pazos, E. Arce, J. Calvo-Rolle","doi":"10.1093/jigpal/jzac040","DOIUrl":"https://doi.org/10.1093/jigpal/jzac040","url":null,"abstract":"","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"31 1","pages":"785-803"},"PeriodicalIF":1.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60953984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
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学术官方微信