首页 > 最新文献

Logic Journal of the IGPL最新文献

英文 中文
The relevance logic of Boolean groups 布尔组的关联逻辑
IF 1 4区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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区 数学 Q2 LOGIC 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
期刊
Logic Journal of the IGPL
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1