XiaoMi-AI文件搜索系统
World File Search SystemBRNO
第33届EACSL计算机科学逻辑年度会议
本卷包含CSL 2025上发表的论文，这是会议系列计算机科学逻辑（CSL）的第33次会议，欧洲计算机科学逻辑协会（EACSL）年度会议。CSL 2025于2025年2月10日至14日在荷兰阿姆斯特丹举行。CSL最初是一系列国际研讨会，并于1992年成为国际会议。先前的CSL分期付款在华沙（2023）（2023），哥廷根（2022，2022年，在线）中举行Fontainebleau（2012），Bergen（2011），Brno（2010），Coimbra（2009），Boologna（2008），Lausanne（2007），Szeged（2006），牛津（2005），Karpacz，Karpacz（2004）（2004），Vienna（2003），Vienna（2003），Edinburgh（2002），Bris（2001），MADIN，MADID（2000），（2000年），（2000年），（2000年），（2000年），（2000年），（2000年），，（2000年），（2000年，，，，，，，，，地） （1998），Aarhus（1997），Utrecht（1996），Paderborn（1995），Kazimierz（1994），Swansea（1993）和San Miniato（1992）。CSL是一次跨学科会议，涵盖了数学逻辑和计算机科学领域的基本和面向应用程序的研究。会议收到了130次摘要，其中113个随后是全纸盲提交的提交，其中之一后来被撤回。计划委员会在会议上选择了44篇论文进行演讲。在计划委员会的至少三名成员中监督了每篇论文，在161位外部审核者的关键帮助下，总共贡献了总计350个评论中的178个。提交和审查过程，计划委员会的讨论以及作者通知均通过EasyChair会议管理系统来处理。It is a forum for the presentation of research on all aspects of logic and its applications, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and组合逻辑，领域理论，分类逻辑和拓扑语义，数据库理论，程序的规范，提取和转换，量子计算的逻辑方面，编程范式的逻辑基础，验证和程序分析，线性逻辑，高阶逻辑，高级逻辑和非单调性推理。
亚北极草原土壤六足动物群落对变暖的反应由微生物碳和氮介导
a CSIC，全球生态单位 CREAF-CSIC-UAB，08913，贝拉特拉，加泰罗尼亚，西班牙 b CREAF，08913，Cerdanyola del Vall ` es，加泰罗尼亚，西班牙 c 捷克科学院全球变化研究所，Belidla 986/4a，CZ-60300，布尔诺，捷克共和国 d 巴塞罗那自治大学，08193，贝拉特拉，西班牙 e 进化与多样性与生物学实验室（UMR5174 EDB），图卢兹 3 保罗萨巴蒂尔大学，CNRS，IRD，118 route de Narbonne，图卢兹，法国 f 安特卫普大学生物系，Universiteitsplein 1，B-2610，Wilrijk，比利时 g 维也纳大学微生物学和环境系统科学中心，Djarssiplatz 1， 1030，维也纳，奥地利 h 冰岛农业大学，112 Keldnaholt，雷克雅未克，冰岛 i 巴塞罗那大学进化生物学、生态学和环境科学系，08028，巴塞罗那，西班牙
了解生物多样性在气候中的作用，食物...
英国生态与水文学中心，兰开斯特环境中心，图书馆大街，贝尔里格，兰开斯特LA1 4AP，英国B英国B气象与气候研究所，大气环境研究（IMK-IFU），Karlsruhe，Garmisch-Partenkirchen，德国C ZECH CEICECECECER的KARLSRUHE研究所 986/4a, 603 00 Brno, Czech Republic d Chair Care and the Natural Living Environment, Department of Family Medicine and Population Health, Faculty of Medicine and Health Sciences, University of Antwerp, Prinsstraat 13, 2000 Antwerpen, Belgium e Civil Engineering Department, University of Thessaly, Volos 38334, Greece f Sustainable Development Unit, ATHENA Research Center, Marousi 15125, Greece g Finnish环境研究所，Latokartanonkaari 11，00790，芬兰H赫尔辛基H芬兰H地理与地理生态研究所，Karlsruhe技术学院tr。A. hlinku 1，94974尼特拉，斯洛伐克K联合国环境计划世界保护监测中心，英国l环境科学系，塞萨利大学，拉里萨利大学41500
机构信息-Opole技术大学55年
Scientific research conducted at Faculty of Civil Engineering and Architecture includes such unique and vital issues as: mechanics of building structures, seismic and wind engineering, thermal affects on building structures, fire resistance of building structures, thermomechanics, interaction of building structures with subsoil, contemporary issues of building structures physics, building materials engineering in the field of composite materials based on cement and石膏结合剂，以及建筑材料行业中工业废料的利用。事实证明，该学院的学术意识具有显着的科学研究潜力，这使他们能够以最高标准在上述领域进行研究。这是由他们在全国范围内和全球认可的，他们积极参与众多民族和外国科学会议以及其科学产出，以大量的家庭和外国出版物代表。就科学研究而言，土木工程和建筑学院与来自奥地利，捷克共和国，德国，俄罗斯，斯洛伐克，意大利和乌克兰的许多技术大学合作。研究人员与米兰，维也纳，斯图加特，德累斯顿，博丘姆，Lvov，lvov，prague，brno，Ostrava和Bratislava合作进行了广泛的联合研究工作。这项合作的结果是广泛的联合研讨会和科学出版物。
植物科学 - DIGITAL.CSIC，机构存储库
a 哥本哈根大学植物与环境科学系，Thorvaldsensvej 40, 1871 Frederiksberg C, 丹麦 b LEPSE, INRA, Montpellier SupAgro, Univ Montpellier, Montpellier, France c Arvalis, Institut du végétal, 45, voie Romaine 41240 Beauce拉罗曼，法国 d 饲料科学，草原研究中心，农业研究中心， Tennent Drive, Fitzerbert, Palmerston North 4410, New Zealand 和 Instituto de Agricultura Sostenible, Consejo Superior de Investigaciones Cientificas (CSIC) Avenida Menéndez Pidal, Campus Alameda del Obispo, 14004 Córdoba, Spain f 全球小麦计划、国际玉米和小麦改良中心 ( CIMMYT), El Batán, 特斯科科, 墨西哥 C.P.56237，墨西哥 g 国家农业植物研究所 (NIAB)，Huntingdon Road, Cambridge, CB3 0LE, UK h 适应性生物技术部，全球变化研究所，CAS，布尔诺，捷克共和国
土壤杂种模型的校准方案
，波恩大学，德国波恩大学，BINRAE，UMR 1114 EMMAH，法国C莱布尼兹农业景观研究中心（Zalf）朱利叶斯·库恩研究所（JKI） - 联邦栽培植物研究中心，作物和土壤科学研究所，布劳恩斯奇格，德国G Cirad，佩尼斯特部，法国蒙彼利埃，全球变化研究所CAS，捷克共和国I的全球变化研究所，I热带植物生产和农业系统模型（GEOROTAGS）德国Ottingen Juliege - Gembloux Agro-Bio Tech＆Umr Transfrontali'biioecoagro，Terra Center，Terra Center，Terra Center，Plant Sciences Axis，作物科学实验室，5030 Gembloux，Belgium K Inrae，US 1116 Agroclim，波恩大学，德国波恩大学，BINRAE，UMR 1114 EMMAH，法国C莱布尼兹农业景观研究中心（Zalf）朱利叶斯·库恩研究所（JKI） - 联邦栽培植物研究中心，作物和土壤科学研究所，布劳恩斯奇格，德国G Cirad，佩尼斯特部，法国蒙彼利埃，全球变化研究所CAS，捷克共和国I的全球变化研究所，I热带植物生产和农业系统模型（GEOROTAGS）德国Ottingen Juliege - Gembloux Agro-Bio Tech＆Umr Transfrontali'biioecoagro，Terra Center，Terra Center，Terra Center，Plant Sciences Axis，作物科学实验室，5030 Gembloux，Belgium K Inrae，US 1116 Agroclim，波恩大学，德国波恩大学，BINRAE，UMR 1114 EMMAH，法国C莱布尼兹农业景观研究中心（Zalf）朱利叶斯·库恩研究所（JKI） - 联邦栽培植物研究中心，作物和土壤科学研究所，布劳恩斯奇格，德国G Cirad，佩尼斯特部，法国蒙彼利埃，全球变化研究所CAS，捷克共和国I的全球变化研究所，I热带植物生产和农业系统模型（GEOROTAGS）德国Ottingen Juliege - Gembloux Agro-Bio Tech＆Umr Transfrontali'biioecoagro，Terra Center，Terra Center，Terra Center，Plant Sciences Axis，作物科学实验室，5030 Gembloux，Belgium K Inrae，US 1116 Agroclim，波恩大学，德国波恩大学，BINRAE，UMR 1114 EMMAH，法国C莱布尼兹农业景观研究中心（Zalf）朱利叶斯·库恩研究所（JKI） - 联邦栽培植物研究中心，作物和土壤科学研究所，布劳恩斯奇格，德国G Cirad，佩尼斯特部，法国蒙彼利埃，全球变化研究所CAS，捷克共和国I的全球变化研究所，I热带植物生产和农业系统模型（GEOROTAGS）德国Ottingen Juliege - Gembloux Agro-Bio Tech＆Umr Transfrontali'biioecoagro，Terra Center，Terra Center，Terra Center，Plant Sciences Axis，作物科学实验室，5030 Gembloux，Belgium K Inrae，US 1116 Agroclim
社论引用：Balcerzak，A。P.，Uddin，G。S.，Igliński，B。，＆Pietrzak，M。B.（2023）。全球能源过渡：从主要决定因素到E
社论引用：Balcerzak，A。P.，Uddin，G。S.，Igliński，B。，＆Pietrzak，M。B.（2023）。全球能源过渡：从主要决定因素到经济挑战。平衡。季刊《经济与经济政策杂志》，18（3），597–608。doi：10.24136/eq.2023.018与通讯作者联系：Adam P. Balcerzak，a.balcerzak@uwm.edu.pl.pl文章历史记录：收到：20.07.2023;接受：1.09.2023;在线发布：30.09.2023 Adam P. Balcerzak Brno技术大学，捷皮大学商业研究中心，泛 - 欧洲大学，捷克西亚orcid.org/0000-0000-0003-0352-1373 Gazi Salah salah salah uddininking大学尼古拉斯·哥白尼大学（Nicolaus Copernicus University）位于波兰orcid.org/0000-0002-2976-6371MichałBernardPietrzak GDANSK GDANSK GDANSK GDANSK，波兰ORCID.org/0000-0002-9263-4478全球能源过渡：从确定性的全球能量转移量后，全球能量转移了全球范围。有趣的是，能源转变是多维的，并且涉及技术/技术的维度以及经济，社会，机构和法律领域（Shuguang等，2022; Tzeremes等，2022; Ram-Zan等，2022; 2022; Tzeremes et;文献还指出了全球经济数字化对加速能源过渡过程的重大影响（Shahbaz等，2022; Yi等，2022）。它可以是ex-
心脏成纤维细胞和心脏的机械感觉......
1. 意大利米兰 IRCCS 蒙齐诺心脏病学中心心血管组织工程中心。2. 德国柏林夏里特医学院柏林健康研究所，尤利乌斯沃尔夫研究所。3. 德国柏林夏里特医学院柏林健康研究所，BIH 再生疗法中心。4. 捷克布尔诺圣安妮大学医院国际临床研究中心 (FNUSA-ICRC)。5. 葡萄牙科英布拉大学医学院科英布拉临床和生物医学研究所创新生物医学和生物技术中心。6. 葡萄牙科英布拉大学医学院科英布拉临床学术中心。 7. 再生医学项目，Bellvitge 生物医学研究所，加泰罗尼亚再生医学临床转化项目，L'Hospitalet de Llobregat，巴塞罗那，西班牙。8. 生物医学研究网络中心 - 生物工程、生物材料和纳米医学，马德里，西班牙。9. 加泰罗尼亚研究和高级研究所，巴塞罗那，西班牙。10. 加泰罗尼亚生物工程研究所，巴塞罗那科学技术研究所 (BIST)，巴塞罗那，
具有定量行为跟踪的脑网络感知和刺激平台：应用于边缘回路癫痫
作者：Vaclav Kremen 1,2*、Vladimir Sladky 1,3*、Filip Mivalt 1,4*、Nicholas M. Gregg 1、Irena Balzekas 1,5、Victoria Marks 1,5、Benjamin H. Brinkmann 1,5、Brian Nils Lundstrom 1、Jie Cui 1、Erik K. St Louis 6、Paul Croarkin 7、Eva C Alden 7、Julie Fields 7、Karla Crockett 1、Jindrich Adolf 4、Jordan Bilderbeek 5、Dora Hermes 5、Steven Messina 8、Kai J. Miller 9、Jamie Van Gompel 9、Timothy Denison 10、Gregory A. Worrell 1,5 1 梅奥诊所神经内科生物电子神经生理学和工程实验室，明尼苏达州罗切斯特 55905 2 捷克信息学、机器人学和控制论研究所，捷克技术大学，16000 布拉格，捷克共和国，3 捷克技术大学生物医学工程学院，16000 布拉格，捷克共和国，4 布尔诺理工大学电气工程与通信学院生物医学工程系，61600 布尔诺，捷克共和国。 5 梅奥诊所生理学和生物医学工程系，明尼苏达州罗切斯特 55905，6 梅奥诊所睡眠医学中心、神经病学和医学系、睡眠神经病学和肺部和重症监护医学分部，明尼苏达州罗切斯特 55905 7 精神病学和心理学系 8 梅奥诊所放射学系，明尼苏达州罗切斯特 55905 9 梅奥诊所神经外科系，明尼苏达州罗切斯特 55905 10 牛津大学医学研究委员会脑网络动力学部工程科学系，牛津 OX3 7DQ，英国 摘要 颞叶癫痫是一种常见的神经系统疾病，以反复发作为特征。这些癫痫发作通常源于边缘网络，患者还会出现与记忆、情绪和睡眠 (MMS) 相关的慢性合并症。针对丘脑前核的深部脑刺激 (ANT-DBS) 是一种行之有效的治疗方法，但最佳刺激参数仍不清楚。我们开发了一个用于跟踪癫痫发作和 MMS 的神经技术平台，以实现研究性脑传感刺激植入物、移动设备和云环境之间的数据流。人工智能算法提供了癫痫发作、发作间期癫痫样尖峰和清醒-睡眠脑状态的准确目录。远程管理的记忆和情绪评估用于在 ANT-DBS 期间密集采样认知和行为反应。我们评估了低频和高频 ANT-DBS 的疗效。它们都减少了癫痫发作，但低频 ANT-DBS 显示出更大的减少以及更好的睡眠和记忆。这些结果凸显了同步脑传感和行为跟踪在优化神经调节疗法方面的潜力。
具有定量行为跟踪的脑网络感知和刺激平台：应用于边缘回路癫痫
作者：Vaclav Kremen 1,2*、Vladimir Sladky 1,3*、Filip Mivalt 1,4*、Nicholas M. Gregg 1、Irena Balzekas 1,5、Victoria Marks 1,5、Benjamin H. Brinkmann 1,5、Brian Nils Lundstrom 1、Jie Cui 1、Erik K. St Louis 6、Paul Croarkin 7、Eva C Alden 7、Julie Fields 7、Karla Crockett 1、Jindrich Adolf 4、Jordan Bilderbeek 5、Dora Hermes 5、Steven Messina 8、Kai J. Miller 9、Jamie Van Gompel 9、Timothy Denison 10、Gregory A. Worrell 1,5 1 梅奥诊所神经内科生物电子神经生理学和工程实验室，明尼苏达州罗切斯特 55905 2 捷克信息学、机器人学和控制论研究所，捷克技术大学，16000 布拉格，捷克共和国，3 捷克技术大学生物医学工程学院，16000 布拉格，捷克共和国，4 布尔诺理工大学电气工程与通信学院生物医学工程系，61600 布尔诺，捷克共和国。 5 梅奥诊所生理学和生物医学工程系，明尼苏达州罗切斯特 55905，6 梅奥诊所睡眠医学中心、神经病学和医学系、睡眠神经病学和肺部和重症监护医学分部，明尼苏达州罗切斯特 55905 7 精神病学和心理学系 8 梅奥诊所放射学系，明尼苏达州罗切斯特 55905 9 梅奥诊所神经外科系，明尼苏达州罗切斯特 55905 10 牛津大学医学研究委员会脑网络动力学部工程科学系，牛津 OX3 7DQ，英国 摘要 颞叶癫痫是一种常见的神经系统疾病，以反复发作为特征。这些癫痫发作通常源于边缘网络，患者还会出现与记忆、情绪和睡眠 (MMS) 相关的慢性合并症。针对丘脑前核的深部脑刺激 (ANT-DBS) 是一种行之有效的治疗方法，但最佳刺激参数仍不清楚。我们开发了一个用于跟踪癫痫发作和 MMS 的神经技术平台，以实现研究性脑传感刺激植入物、移动设备和云环境之间的数据流。人工智能算法提供了癫痫发作、发作间期癫痫样尖峰和清醒-睡眠脑状态的准确目录。远程管理的记忆和情绪评估用于在 ANT-DBS 期间密集采样认知和行为反应。我们评估了低频和高频 ANT-DBS 的疗效。它们都减少了癫痫发作，但低频 ANT-DBS 显示出更大的减少以及更好的睡眠和记忆。这些结果凸显了同步脑传感和行为跟踪在优化神经调节疗法方面的潜力。