Search
Search Results
-
-
Invariant relations for affine loops
Invariant relations are used to analyze while loops; while their primary application is to derive the function of a loop, they can also be used to...
-
-
Revisiting 2–3 red–black trees with a pedagogically sound yet efficient deletion algorithm: parity-seeking
Red–black (RB) trees are one of the most efficient variants of balanced binary search trees. However, they have often been criticized for being too...
-
Distance-edge-monitoring sets of networks
It is important to be able to monitor the network and detect this failure when a connection (an edge) fails. For a vertex set M and an edge e of the...
-
Exact distributed quantum algorithm for generalized Simon’s problem
Simon’s problem is one of the most important problems demonstrating the power of quantum algorithms, as it greatly inspired the proposal of Shor’s...
-
New families of Laplacian borderenergetic graphs
Laplacian matrix and its spectrum are commonly used for giving a measure in networks in order to analyse its topological properties. In this paper,...
-
Approximating subset sum ratio via partition computations
We present a new FPTAS for the Subset Sum Ratio problem, which, given a set of integers, asks for two disjoint subsets such that the ratio of their...
-
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings
This book constitutes the proceedings of the 21st International Conference on Unconventional Computation and Natural Computation, UCNC 2024, held in...
-
Coding Examples from Simple to Complex Applications in Python™
This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving...
-
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in...
-
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages
This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal,...
-
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Learning-enabled autonomous systems (LEAS) use machine learning (ML) components for essential functions of autonomous operation, such as perception...
-
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving
The verification of the security of neural networks is cruicial, especially for the field of autonomous driving. Although there are currently...
-
Welcome Remarks from AISoLA 2023/Track C2 Chairs
We are happy to present the proceedings of AISoLA’s Track C2: Verification meets Learning and Statistics.
-
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks
Deep neural networks (DNNs) are at the forefront of cutting-edge technology, and have been achieving remarkable performance in a variety of complex...
-
Towards a Formal Account on Negative Latency
Low latency communication is a major challenge when humans have to be integrated into cyber physical systems with mixed realities. Recently, the...
-
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink
Safety, resilience and performance are crucial properties in intelligent hybrid systems, in particular if they are used in critical infrastructures...
-
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems
Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses...