Context: Smart contracts are computer programs deployed on the blockchain with significant value of cryptocurrency. They automate transactions and asset transfers, eliminating the need for intermediaries. These contracts serve as the foundation of ...

Monad algebras, turning computations over return values into values, are used to handle algebraic effects invoked by programs, whereas comonad coalgebras, turning initial states into environments (“cocomputations”) over states, describe production of ...

By providing equitable care, digital health platforms can lessen the pressure on global healthcare systems. Digital platforms are pieces of software that connect users, data, services, and systems. In industry, the use of digital platforms has brought ...

In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cellsfilled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding be-comes a bijection ...

When modelling side-effects using a monad, we need to equip the monad with effectful operations. This can be done by noting that each algebra of the monad carries interpretations of the desired operations. We consider the analogous situation for graded ...

The fraud detection of cargo theft has been a serious issue in ports for a long time. Traditional research in detecting theft risk is expert- and survey-based, which is not optimal for proactive prediction. As we move into a pervasive and ubiquitous ...

Purpose The number of colorectal cancer patient survivors is increasing. Information and support during and after treatment are requested by patients, but questions remain on what to provide. The aim of this study was to understand what informational ...

In this thesis, two methods for automatic enumeration of permutation classes are studied. The first method extends on the theory of combinatorial exploration. We review how combinatorial exploration works as a two phases process: the first phase ...

Experience Management employs Artificial Intelligence technologies to enhance people's interactive application experiences by dynamically modifying the environment during the experience. In game-related research, there is a prevailing trend where each ...

The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...