Open Source Register: Overzicht

This repository contains code for runs using ChaProEV to show how the model can and has been used

A discrete event simulation engine. This is a C++ version of the DynAA core with Python bindings.

Seismic source location and network performance assessment based on seismic arrival time data

The Rule Editor is an application that allows a user to create interpretations of sources of norms in FLINT in a user-friendly and interactive way, as part of the TNO Rules Governance Stack. A public version of the Rule Editor is hosted at https://rule-editor.netlify.app/

Code to investigate and evaluate inference methods for earthquake size distributions

This is the source code for the Calculemus-FLINT Knowledge Modeling Documentation Website. It is created with Docsy and Hugo, and deployed through GitLab Pages.

This repository contains the Source of Norms Ontology: a Semantic Web-style knowledge model that defines the contents of a source of norms, e.g. a law or regulation.

This repository contains the Flint Ontology: a Semantic Web-style knowledge model that defines the semantics of Flint models. A Flint model describes a normative system, e.g. the applicability of norms in a certain law or regulation to certain people. The description is comprised of Act frames and Fact frames.

The Calculemus protocol describes how multiple parties can come to an agreed execution of a normative task. The protocol was originally presented in a paper: Van Doesburg R., Van der Storm T., Van Engers, T. 2016. CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems. This repository holds an OWL ontology describing the semantics of the Calculemus protocol.

This repository contains the ChaProEV (Charging Profiles of Electric Vehicles) model.

Implementation of the exponentially tapered Pareto distribution

TNO PET Lab - secure Multi-Party Computation (MPC) - Encryption Schemes - Templates

TNO PET Lab - secure Multi-Party Computation (MPC) - Encryption Schemes - Utils

TNO PET Lab - secure Multi-Party Computation (MPC) - Encryption Schemes - Paillier

TNO PET Lab - secure Multi-Party Computation (MPC) - Communication

Generalized LTS differencing

Participatiewet