The proceedings contain 7 papers. The special focus in this conference is on Symbolic Computation in softwarescience. The topics include: Certification of Sorting Algorithms Using Theorema and Coq;a Method ...
ISBN:
(纸本)9783031690419
The proceedings contain 7 papers. The special focus in this conference is on Symbolic Computation in softwarescience. The topics include: Certification of Sorting Algorithms Using Theorema and Coq;a Method to Prove Japanese Theorems and Others Appeared in Wasan Using Maxima;foundations of Haskell’s Rewrite Rules Based on Higher-Kinded Polymorphic Rewrite Systems;symbolic Graph Query Solving;riemann Surfaces, Branch Cuts and Charisma.
Generative artificial intelligence is an artificial intelligence technology based on deep learning whose core lies in leveraging computer algorithms and training data to generate new, practically valuable content, enc...
详细信息
As the cryptocurrency network evolves, encompassing platforms like Bitcoin, Etherrurm, and other heterogeneous networks, performance has emerged as a significant limitation. This study introduces an enhanced iteration...
详细信息
In recent years, there has been a growing interest in cloud computing as a means to enhance user access to shared computing resources, including software and hardware, through the internet. However, the efficient util...
详细信息
Neural networks are widely applied across various computer applications, including many safety-critical systems. However, understanding the decision-making behavior of neural networks and verifying their reliability t...
详细信息
The convergence of flying objects, Mobile Ad Hoc Networks (MANETs), and Wireless Sensor Networks (WSNs) has been made feasible by the widespread proliferation of wireless communication technology. This study delves in...
详细信息
With the widely usage of open-source software, supply-chain-based vulnerability attacks, including SolarWind and Log4Shell, have posed significant risks to software security. Currently, people rely on vulnerability ad...
详细信息
The application of Agile methodologies to large-scale, safety-critical cyber-physical systems (LS/SC/CPS) has shown significant interest over the last 5 years. Although there has been limited research into each of the...
详细信息
This paper proposes a planning scheme for urban public buildings oriented towards urban greening based on 3D machine vision. According to the construction process of the building, X3D and Java programming techniques a...
详细信息
Depression is a severe mood disorder that is frequent in the population and can negatively affect several aspects of life. This article summarizes the essential facts about depression, like frequent symptoms, risks, a...
详细信息
ISBN:
(纸本)9783031616877;9783031616884
Depression is a severe mood disorder that is frequent in the population and can negatively affect several aspects of life. This article summarizes the essential facts about depression, like frequent symptoms, risks, and treatment methods. Based on cognitive therapy, we propose an application that allows users to cope with depression, by activity planner and thought reliever. Both methods allow users to maintain an overview of their cognitive processes and subsequently potentially decrease the severity of their depressive symptoms.
暂无评论