JAX compilation of RDDL description files, and a differentiable planner in JAX.

TOmographic MOdel-BAsed Reconstruction (ToMoBAR) software

This repository contains recent research papers, datasets, and source codes (if any) for Group Recommendation

A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.

A Model-Based Signal Processing Library Working With Windowed Linear State-Space and Polynomial Signal Models.

A PyTorch-powered differentiable image reconstruction/optimization toolbox

Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.

code for paper 'Comparison of Model Free and Model-Based Learning-Informed Planning for PointGoal Navigation'

This is a responsive. mobile-first, implementation written in Angular, Typescript, Bootstrap, CSS and HTML. It uses Lazy Loading, Facade Patterns, Re-usable components, model-based component. It has more tabs and it simulates the navigation of a simple website by having "home" and "contact us". You can create, delete, edit and filter your hero lis

TRADES Tool

in this section will be matrix factorizarion based recommender on movies and ratings dataset

Docker files for connecting the PROST planner with pyRDDLGym.

Free-breathing myocardial T1 mapping with Physically-Constrained Motion Correction

Signal Processing Toolbox for Calcium Imaging Data

BARINEL algorithm - “Spectrum-Based Multiple Fault Localization” with Fuzzy logic

Code for FLEX, a fast, adaptive and flexible model-based reinforcement learning exploration algorithm.

Probabilistic modeling using PyStan with demonstrative case study experiments from Christopher Bishop's Model-based Machine Learning.

This project involves development a DC Motor Model and Simulation in Simulink.

This project involves using Simulink to create a comprehensive battery model that incorporates both charging and discharging resistances. By accurately simulating battery behavior under different conditions, the model can help optimize battery performance and prolong its lifespan.

AI4DI - Artificial Intelligence of Digitising Industry: Tool environment to execute and validate ASP diagnose models based on the theorem solver CLINGO 5.4.1.