The Interactive Theorem Prover is an easy but effective web application used to check Hoare logic proofs on the desktop or laptop. It checks for basic Hoare logic, local blocks and adaptation rules.
A web-app on which students can learn- and test their knowledge about logic. Their input for logic questions gets checked and returned in real time.
Hedy Language Translation helps students learn programming at their own pace in their native languages. Its objective is to teach as many students to the program as possible while promoting local languages.
For Museum Speelklok we set out to recreate the dice game from Mozart. We have created an interactive application. With this application the visitors of the Museum can create their own music and play it afterwards. These melodies are created according to the rules from Mozart.
The C-Job Light Weight Ship Estimation tool is a web-based application. The LWSE tool helps naval engineers estimate the optimum lightweight of new vessels and have a more accurate estimate for material consumption and total budget in the design phase.
Trial@Home is a Cloud-based platform developed by CHDR to extend clinical trials outside the clinic. Digital technology is used to collect data while trial participants are in the home environment and this data is continuously sent to the Cloud.
We've extended the ngUML "Prose to Prototype" project with a rule editor. It allows users to express constraints in natural language, which are translated into python and enforced in the runtime engine of the Prose to Prototype project.
A website that digitalizes the teaching phenomena of card sorting. Card sorting is a principle where students get to sort a deck of cards (words, images, formulas, context etc) in different ways to display to the teacher how well they understand the subject.
A user friendly front-end for CHDR Trial@Home, where trials can be created, and modified.
A starting point for the further implementation of a state-of-the-art Localization Positioning System using ultra-sound.
" Our solution is a new Japanese Language Proficiency Test (JLPT) website that is a user-friendly online platform that will help anyone in the Netherlands to prepare for and register for the JLPT exam and to get in touch with the other applicants to share experiences with each other. "
SLAP (Sign Language Analitycs Platform) is a cloud provider API for recognising hand gestures used in sign languages and translating them into text and speech.
For this project, we made an administration webpage for the software engineering course. This includes a homepage, an admin page with the necessary component and a student page.
During this project our team worked on a LUMC Health app, with the goal of getting elderly people to fill in a question list once every week/two week. With the ultimate goal to make an app that has a certain ‘Fun factor’ so that it is not just a stale question list application. Presentation and demo (3:23) following this link: https://video.leidenuniv.nl/media/t/1_j0auicwx
A codebase visulization tool that generates relation maps and makes developers' life easier
The updated Japanese Language Proficiency Test (JLPT) website provides both users and administrators a seamless experience in applying for and managing the language test.
In this project an implementation of the existing Rightfield in Python code. Rightfield itself is a program that generates Excel templates embedded with ontology vocabulary. And can export metadata of the Excel templates as RDF and CSV formatted files.
We made an evaluation engine in Python for the OpenML project. This evaluation engine calculates the meta features of datasets and uploads them to the backend for the public to use.
An Android application that helps students with practising proof-trees for the course introduction to logic.
The purpose of this project is to create an application in which the feeling of an "in-real-life" conference can be replicated online. Users can roam in virtual rooms and strike conversations with each other.
A data visualization tool for data collected within the Profiling Human Activity project. The tool allows the user to quickly compare group and individual behaviour before and after a medical intervention.
A new website for the SE course. SE teachers can use the website to automatically assign projects to students groups. Clients can upload their projects. Students can create teams and submit their project bids.
A voice-recorder app aimed at recording children's stories, and replaying them easily. Researchers use this tool for studying the story telling capabilities of young children.
QuantumRules! is a program to support the high school physics curriculum with practical experiments in an escape room.
The goal of this project was to digitize the Progress, Quality and Research Support program for PhD students at Leiden university.
A new dynamic version of LUdev website showcasing its project portfolio, and with a multi-functional backend.
For the researchers at LIACS, we created an easy-to-use interface for OpenPose. It facilitates the identification and analysis of gestures in many videos at once.
The LIACS sport analytics group processes all kinds of sports data, including video and sensory data from matches. To facilitate the synchronization between these different data, we have realized a specialized dash board tool.
Our project extended a must-have tool for tissue image research with an easy-to-use user interface. This is not only of great value to the research of our user/client, but for others who want to visualize tissue data.
To facilitate research at a Dutch government organization,
we built a tool to import geographical data points
and display them on a map. The product is set up to be modular, so it
can be altered to work with any data set.
Our product is an extension on the already-existing Quantum Rules! project, a website that delivers an escape-room-like learning experience in physics for high school students.
An editor and (basic) simulator for industry workflow nets (inets), a model of interorganisational workflows based on petrinets. This editor incorporates the first (and so far, only) implementation of the industry workflow net model specified in a paper written by Pieter M. Kwantes and Jetty Kleijn.
Our program allows teams of students to assess each other on multiple aspects, such as, contribution to the project, quality of work and punctuality. This can be used by course teachers to get insights in the dynamics within the group.
The Github-Visualization tool enables the visualization of Github projects. It displays a graph of the files in a project, which visualizes who did what and when, and which files are connected.
Our application makes the thesis assessment process a lot easier for professors. It gives the assessors the ability to create assessment forms online in a simple and sleek web application.
The objective of our project was to gather sensory data of smart watches for scientific researchers. We created a modular app so that the researchers can freely decide which sensors to use and record.
Our app ‘Pace Yourself’ is an app for people with chronic pain. By using our app they can learn to pace which means that they learn how the level of pain of a certain day relates to the amount and activities done that day.
For the research project ‘Brazil versus the Netherlands: the Secrets of Playing Football’, Dutch and Brazilian researchers are developing an analysis of tactics in football to objectively quantify (and compare) tactics of different countries, competition levels, and age-groups.
We made a tool that gives you a summary of all your eHealth devices (for example a heart rate sensor) and lets your family doctor and possibly a care taker send you recommendations as a response.
Our program allows one to make, simulate and analyze Petri nets, a formal model for capturing parallelism in computations. The resulting nets can be exported to png and pdf.
In a faster growing world, more and more people are looking for a job. Most (if not all) of them come with a résumé. Some businesses get overwhelmed with the number of résumés to read and reduce the group of applicants to the group that have the requirements for the job.
In the last three months, we have made an app from the future. We can place our own animations in the space we live in: Augmented Reality. With accompaniment of Accenture we created a Lego city in the real world which interacts with a physical model train.
This new rendition of an existing SQL generation application within the Belastingdienst gives its users a smoother experience and better accessibility with a modern browser-based user interface.
The Quantum Rules! project is an easy tool to assist teachers and universities to help secondary school students learn quantum mechanics, by offering an online environment.
We made an application that is used to record stories. Children can record their voice and, with consent from the parent, this recording can be sent to dr. Max van Duijn for his research.