Chambers of Elrankat: ARPG game prototype skill and item interaction system

The aim of this project is to create a game prototype for a diablo-like game. The focus of this prototype is in the skill and itemization system, it searches to create a skill system that allows the player to change the behaviour of the skills and its effects by equipping different items, as well as improving the player basic stats. This project is focused on the programing of the said skill and itemization system using the unity API and C#, not on the art or design of the system or game

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Model Checking Multithreaded Programs by Means of Reduced Models

n/

Building block libraries and structural considerations in the self-assembly of polyoxometalate and polyoxothiometalate systems

Inorganic metal-oxide clusters form a class of compounds that are unique in their topological and electronic versatility and are becoming increasingly more important in a variety of applications. Namely, Polyoxometalates (POMs) have shown an unmatched range of physical properties and the ability to form structures that can bridge several length scales. The formation of these molecular clusters is often ambiguous and is governed by self-assembly processes that limit our ability to rationally design such molecules. However, recent years have shown that by considering new building block principles the design and discovery of novel complex clusters is aiding our understanding of this process. Now with current progress in thiometalate chemistry, specifically polyoxothiometalates (POTM), the field of inorganic molecular clusters has further diversified allowing for the targeted development of molecules with specific functionality. This chapter discusses the main differences between POM and POTM systems and how this affects synthetic methodologies and reactivities. We will illustrate how careful structural considerations can lead to the generation of novel building blocks and further deepen our understanding of complex systems

Contrasting Views of Complexity and Their Implications For Network-Centric Infrastructures

There exists a widely recognized need to better understand and manage complex “systems of systems,” ranging from biology, ecology, and medicine to network-centric technologies. This is motivating the search for universal laws of highly evolved systems and driving demand for new mathematics and methods that are consistent, integrative, and predictive. However, the theoretical frameworks available today are not merely fragmented but sometimes contradictory and incompatible. We argue that complexity arises in highly evolved biological and technological systems primarily to provide mechanisms to create robustness. However, this complexity itself can be a source of new fragility, leading to “robust yet fragile” tradeoffs in system design. We focus on the role of robustness and architecture in networked infrastructures, and we highlight recent advances in the theory of distributed control driven by network technologies. This view of complexity in highly organized technological and biological systems is fundamentally different from the dominant perspective in the mainstream sciences, which downplays function, constraints, and tradeoffs, and tends to minimize the role of organization and design