This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
翻译：本卷载有第12届奥林匹克运动会、自动化、逻辑和正式核查国际专题讨论会(GandALF 2021)的会议记录,GandALF 2021专题讨论会的目的是汇集活跃在运动会、自动化、逻辑和正式核查等领域的学术界和工业界的研究人员,目的是涵盖从理论到应用等广泛主题,并促进相互交流。
相关内容
医学人工智能AIM（Artificial Intelligence in Medicine）杂志发表了多学科领域的原创文章，涉及医学中的人工智能理论和实践，以医学为导向的人类生物学和卫生保健。医学中的人工智能可以被描述为与研究、项目和应用相关的科学学科，旨在通过基于知识或数据密集型的计算机解决方案支持基于决策的医疗任务，最终支持和改善人类护理提供者的性能。
官网地址：http://dblp.uni-trier.de/db/journals/artmed/
专知会员服务
155+阅读 · 2020年1月29日
Arxiv
3+阅读 · 2018年3月17日
相关主题
相关VIP内容
专知会员服务
155+阅读 · 2020年1月29日
相关资讯
相关论文
Arxiv
3+阅读 · 2018年3月17日
微信扫码咨询专知VIP会员