Abstract: The Dendritic Cell Algorithm (DCA) has been described in a number of different ways, sometimes resulting in incorrect implementations. We believe this is due to previous, imprecise attempts ...

The employment of numerical optimization techniques for parameter tuning of microwave components has nowadays become a commonplace. In pursuit of reliability, it is most often carried out at the level ...

Abstract: Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are ...

This project implements the algorithm for finding the Maximum Empty Isothetic Rectangle (MER) amidst a set of Arbitrary Obstacles (line segments) in a 2D plane. Based on the paper: Location of the ...

In reinforcement learning (RL), an agent learns to achieve its goal by interacting with its environment and learning from feedback about its successes and failures. This feedback is typically encoded ...

We built a Quint specification for Solana’s new Alpenglow consensus algorithm. Instead of explaining the algorithm, we’re giving you interactive tools to understand it yourself.The blog post walks you ...

The main goal is to create a game called 4 connect. Its idea is that there are two players who try to get 4 coins in a row - diagonally, horizontally or left or right - and win the game. The project ...

ABSTRACT: This paper proposes a new involutive light-weight block cipher for resource-constraint environments called I-PRESENTTM. The design is based on the Present block cipher which is included in ...

ABSTRACT: The airspace communication network based on spacecraft has a wide range of applications in regional information enhancement and emergency communication. In this paper, a routing algorithm ...