EPiC series in computing最新文献_第2页

A Mathematical Benchmark for Inductive Theorem Provers 归纳定理证明者的数学基准

EPiC series in computing Pub Date : 2023-06-03 DOI: 10.29007/jr72

Thibault Gauthier, Chad Brown, Mikoláš Janota, Josef Urban

引用次数: 0

Tighter Abstract Queries in Neural Network Verification 神经网络验证中的紧密抽象查询

EPiC series in computing Pub Date : 2023-06-03 DOI: 10.29007/3mk7

Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett, Guy Katz

{"title":"Tighter Abstract Queries in Neural Network Verification","authors":"Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett, Guy Katz","doi":"10.29007/3mk7","DOIUrl":"https://doi.org/10.29007/3mk7","url":null,"abstract":"Neural networks have become critical components of reactive systems in various do- mains within computer science. Despite their excellent performance, using neural networks entails numerous risks that stem from our lack of ability to understand and reason about their behavior. Due to these risks, various formal methods have been proposed for verify- ing neural networks; but unfortunately, these typically struggle with scalability barriers. Recent attempts have demonstrated that abstraction-refinement approaches could play a significant role in mitigating these limitations; but these approaches can often produce net- works that are so abstract, that they become unsuitable for verification. To deal with this issue, we present CEGARETTE, a novel verification mechanism where both the system and the property are abstracted and refined simultaneously. We observe that this approach allows us to produce abstract networks which are both small and sufficiently accurate, allowing for quick verification times while avoiding a large number of refinement steps. For evaluation purposes, we implemented CEGARETTE as an extension to the recently proposed CEGAR-NN framework. Our results are highly promising, and demonstrate a significant improvement in performance over multiple benchmarks.","PeriodicalId":93549,"journal":{"name":"EPiC series in computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135842669","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

Logic of Differentiable Logics: Towards a Uniform Semantics of DL 可微逻辑的逻辑:走向DL的统一语义

EPiC series in computing Pub Date : 2023-06-03 DOI: 10.29007/c1nt

Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart, Kathrin Stark

引用次数: 0

Mining for Conserved Constituents and Quantities 挖掘守恒成分和守恒量

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/4cmg

Yusuke Yokota, J. Hearne

引用次数: 0

OScaR RA: Finnish national reference architecture on open science and research OScaR RA:芬兰国家开放科学和研究参考架构

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/s49n

Ari Rouvari

{"title":"OScaR RA: Finnish national reference architecture on open science and research","authors":"Ari Rouvari","doi":"10.29007/s49n","DOIUrl":"https://doi.org/10.29007/s49n","url":null,"abstract":"Finland has decided to implement the national open science and research (OScaR) declaration, policies, and recommendations by using the enterprise architecture (EA) method. The OScaR policies drive the Open science and research field in Finland. Succeeded implementation of these policies is a critical success factor in the Open science and research field. The EA method is a tried, tested, and recognized tool for gaining digital transformation because of its important strategic and operational role in public and private sector organizations and service ecosystems. With the EA tool, OScaR policies and objectives can be described and visualized as strategy, business, information, and application architectures.EA is a holistic tool for understanding and describing the target area in different abstract layers, views, and viewpoints. It aims to serve and provide beneficial information to all stakeholders, which makes it challenging to manage. For this reason, the chief architect of the project has to be very careful with risk management and into the project have to allocate enough resources to gain an appropriate level of maturity in communication and collaboration capabilities.EA and EA problems have been studied a lot. However, in the field of open science and research, there are hardly any literature on it and no comparable EA projects in the EU. Thus the OScaR project and its deliverables could be a driver to start a discussion on the need for shared open science and research reference architecture among higher education institutions in the EU.","PeriodicalId":93549,"journal":{"name":"EPiC series in computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69450908","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

Alternative Approach to Achieve a Solution of Derangement Problems by Dynamic Programming 用动态规划实现无序问题求解的可选方法

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/1j3g

Thitivatr Patanasakpinyo, Adel Sulaiman

引用次数: 0

Uncovering the particularities of the dynamical interaction between cancer-related Epithelial-Mesenchymal Transition and the Mammalian Cell Cycle: a feedback-based Boolean networks interconnection approach 揭示癌症相关上皮-间质转化与哺乳动物细胞周期之间动态相互作用的特殊性:基于反馈的布尔网络互连方法

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/3kx4

Luis Juarez-Ramiro, J. Dávila-Velderrain, A. Soria-López, E. Álvarez-Buylla, Juan Carlos Martínez-García

引用次数: 0

Uncovering the interdependence between hypertension and the inflammatory response for the patient affected by Covid 19 through mathematical modeling and computer-based analysis 通过数学建模和计算机分析，揭示高血压与Covid - 19患者炎症反应之间的相互依存关系

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/b5v4

Rosario Pacheco-Marin, Carolina Caballero-Cordero, Jorge Arturo Arciniega-González, E. Álvarez-Buylla, Juan Carlos Martínez-García

{"title":"Uncovering the interdependence between hypertension and the inflammatory response for the patient affected by Covid 19 through mathematical modeling and computer-based analysis","authors":"Rosario Pacheco-Marin, Carolina Caballero-Cordero, Jorge Arturo Arciniega-González, E. Álvarez-Buylla, Juan Carlos Martínez-García","doi":"10.29007/b5v4","DOIUrl":"https://doi.org/10.29007/b5v4","url":null,"abstract":"We explore here the systems-based regulatory mechanisms that determine human blood pressure patterns. This in the context of the reported negative association between hypertension and COVID-19 disease. We are particularly interested in the key role that plays angiotensin converting enzyme 2 (ACE2), one of the first identified receptors that enable the entry of the SARS-CoV-2 virus into a cell. Taking into account the two main systems involved in the regulation of blood pressure, that is, the Renin-Angiotensin system and the Kallikrein-Kinin system, we follow a Bottom-Up systems biology modeling approach in order to built the discrete Boolean model of the gene regulatory network that underlies both the typical hypertensive phenotype and the hypotensive/normotensive phenotype. These phenotypes correspond to the dynamic attractors of the regulatory network modeled on the basis of publicly available experimental information. Our model recovers the observed phenotypes and shows the key role played by the inflammatory response in the emergence of hypertension.","PeriodicalId":93549,"journal":{"name":"EPiC series in computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69429906","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

A Cyber Attack Simulation for Teaching Cybersecurity 网络安全教学中的网络攻击模拟

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/dkdw

Christopher Scherb, Luc Bryan Heitz, F. Grimberg, Hermann Grieder, Marcel Maurer

{"title":"A Cyber Attack Simulation for Teaching Cybersecurity","authors":"Christopher Scherb, Luc Bryan Heitz, F. Grimberg, Hermann Grieder, Marcel Maurer","doi":"10.29007/dkdw","DOIUrl":"https://doi.org/10.29007/dkdw","url":null,"abstract":"With the rising number of cyberattacks, such as ransomware attacks and cyber espionage, educating non-cybersecurity professionals to recognize threats has become more important than ever before. However, traditional training methods, such as phishing awareness campaigns, training videos and assessments have proven to be less effective over time. Therefore, it is time to rethink the approach on how to train cyber awareness. In this paper we suggest an alternative approach – a serious game – to educate awareness for common cyberattacks. While many serious games for cybersecurity education exist, all follow a very similar approach: showing people the effects of a cyber attack on their own system or company network. For example, one of the main tasks in these games is to sort out phishing mails. We developed and evaluated a new type of cybersecurity game: an attack simulator, which shows the entire setting from a different perspective. Instead of sorting out phishing mails the players should write phishing mails to trick potential victims and use other forms of cyberattacks. Our game explains the intention of each attack and shows the consequences of a successful attack. This way, we hope, players will get a better understanding on how to detect cyberattacks.","PeriodicalId":93549,"journal":{"name":"EPiC series in computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69431632","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

Bringing HPC clusters into Science Mesh 将HPC集群引入Science Mesh

EPiC series in computing Pub Date : 2023-01-01 DOI: 10.29007/gfjd

H. Angenent, Daniel Müller, R. Vogl

引用次数: 0