rio: Reasoner for Input/Output Logics

Software (2021)

rio provides a TPTP-aligned [3] automated reasoning system for unconstrained and constrained I/O logics basid on the outi operators, 1 ≤ i ≤ 4. It is implemented as a Scala application and based on the ... [more ▼]

rio provides a TPTP-aligned [3] automated reasoning system for unconstrained and constrained I/O logics basid on the outi operators, 1 ≤ i ≤ 4. It is implemented as a Scala application and based on the scala-tptp-parser [4]. In short, the system allows you to specify a set of conditional norms and a number of inputs (each of which describing aspects of the current situational context), and provides automated means for inferring whether given obligations (also encoded as formulas) can be derived. rio can also be used to infer the set of detached obligations instead of checking detachment of given ones. [less ▲]

[GitHub] pilgun/acvcut: ACVCut 1.0

Software (2020)

ACVCut shrinks Android apps towards executed code. The tool is based on ACVTool instruction coverage.

Digraph3 Python Software Collection

Software (2020)

Python3 resources for implementing decision aid algorithms in the context of a bipolar-valued outranking approach. These computing resources are useful in the field of Algorithmic Decision Theory and more ... [more ▼]

Python3 resources for implementing decision aid algorithms in the context of a bipolar-valued outranking approach. These computing resources are useful in the field of Algorithmic Decision Theory and more specifically in outranking based Multiple Criteria Decision Aid (MCDA). They provide the practical tools for a Master Course on Algorithmic Decision Theory at the University of Luxembourg. [less ▲]

I/O Logic Workbench

Software (2020)

The I/O Logic Workbench is aimed at providing a browser-based automated reasoning system for various I/O logics. In short, the system allows you to input a set of norms and an input (the description of ... [more ▼]

The I/O Logic Workbench is aimed at providing a browser-based automated reasoning system for various I/O logics. In short, the system allows you to input a set of norms and an input (the description of the current situation), and provides automated means for inferring whether a certain formula can be derived as an obligation from this. [less ▲]

Visualising changes in the construction of meaning with Word Vector Space: A Digital Humanities Approach

Software (2020)

Leo-III 1.4

Software (2019)

Paquete de Herramientas para el procesamiento de la Encuesta Permanente de Hogares

Software (2019)

NAI – The Normative Reasoner

Software (2019)

[GitHub] pilgun/acvtool: ACVTool v0.2

Software (2018)

ACVTool (Android Code Coverage Tool) is a tool to measure fine-grained code coverage of 3rd-party Android apps.

TEI Transviewer

Software (2018)

TEI Transviewer is an interface intended to the exploration of primary and secondary sources, at the document level, in historical or other types of digital editions involving the representation of ... [more ▼]

TEI Transviewer is an interface intended to the exploration of primary and secondary sources, at the document level, in historical or other types of digital editions involving the representation of original material. Its name comes from the combination of the terms transformation and viewing, supposing the transformation of documents in XML-TEI format (directly in the browser or by means of a server/dedicated editor) so that they can be viewed in the browser. [less ▲]

Crypren Decryptor

Software (2018)

Crypren Decryptor is software which recovers the files encrypted by Crypren ransomware. The decryptor targets the sample with SHA256 digest ... [more ▼]

Crypren Decryptor is software which recovers the files encrypted by Crypren ransomware. The decryptor targets the sample with SHA256 digest: ce53233a435923a68a9ca6987f0d6333bb97d5a435b942d20944356ac29df598. Further details about the design of this software can be found at the paper: http://orbilu.uni.lu/handle/10993/36627. [less ▲]

Demo: MAMBA: A Platform for Personalised Multimodal Trip Planning

Software (2017)

In recent years, multimodal transportation has become a challenging approach to route planning. Most existing planning systems usually rely on data sourced from different organisations, enabling the user ... [more ▼]

In recent years, multimodal transportation has become a challenging approach to route planning. Most existing planning systems usually rely on data sourced from different organisations, enabling the user to select a limited number of routing strategies. As part of the MAMBA project, developed in Luxembourg until 2017, we have been interested in the potential benefits of multimodal mobility systems. A key factor has been integrated into our studies: the need for a personalised experience at user level, whether when selecting the means of transport or describing user habits (e.g. route style, environment). In this context, we have developed a platform for planning personalised multimodal trips, broken down into the three main modules presented in this demonstration. More importantly, this platform has been developed to facilitate the daily mobility of people in Luxembourg, and considers datasets and characteristics that are specific to this region, which has an exceptionally high volume of daily commuting between Luxembourg and neighbouring countries. [less ▲]

denmpc

Software (2017)

This package is providing an object oriented real-time nonlinear model predictive control (NMPC) framework which developed at the Automation & Robotics Research Group http://wwwde.uni.lu/snt/research ... [more ▼]

This package is providing an object oriented real-time nonlinear model predictive control (NMPC) framework which developed at the Automation & Robotics Research Group http://wwwde.uni.lu/snt/research/automation_robotics_research_group at the University of Luxembourg. It features a modularization for multi-agent systems which allows the on-line change of agents, control objectives, constraints and couplings, triggered by ROS-messages. [less ▲]

chern.lib: a library for symbolic computations with Chern classes

Software (2016)

A basic toolbox for symbolic computations with Chern classes for computer algebra system Singular. The Aluffi's algorithms for computation of characteristic classes of algebraic varieties (Segre, Fulton ... [more ▼]

A basic toolbox for symbolic computations with Chern classes for computer algebra system Singular. The Aluffi's algorithms for computation of characteristic classes of algebraic varieties (Segre, Fulton, Chern-Schwartz-MacPherson classes) are implemented as well. [less ▲]

Leo-III

Software (2016)

lrcalc.lib: a Singular interface to the Littlewood-Richardson Calculator by Anders Buch

Software (2015)

This library for the computer algebra system Singular is an interface for the Littlewood-Richardson Calculator by Anders Buch.

QKD Simulator

Software (2014)

QKD simulator © is a web application aimed at simulating and analyzing Quantum Key Distribution protocols. The online simulator is powered by the QKD Simulation Toolkit, which has been designed and ... [more ▼]

QKD simulator © is a web application aimed at simulating and analyzing Quantum Key Distribution protocols. The online simulator is powered by the QKD Simulation Toolkit, which has been designed and implemented to support customizing a wide range of parameters for individual components and sub-protocols, e.g., the quantum channel, sifting, error estimation, information reconciliation and privacy amplification. Each simulation run provides detailed information about the intermediate and final stages of the protocol. [less ▲]

Tool zur einfachen und schnellen Erstellung von Fragebögen in Word

Software (2013)

Zentrales Anliegen bei der Konzeption und Realisierung dieser Dokumentvorlage war es, Standardlösungen für die häufigsten Frage‐ und Skalenformen anzubieten, die (in den meisten Fällen) per Mausklick ... [more ▼]

Zentrales Anliegen bei der Konzeption und Realisierung dieser Dokumentvorlage war es, Standardlösungen für die häufigsten Frage‐ und Skalenformen anzubieten, die (in den meisten Fällen) per Mausklick abrufbar sind und –abgesehen natürlich von dem Eintragen der jeweiligen Frageinhalte– nicht weiter modifiziert werden müssen. Das Instrument sollte also möglichst einfach handhabbar sein und nur noch ein Minimum an „Programmiertätigkeit“ des Nutzers erfordern. Die Dokumentvorlage ist deshalb modular aufgebaut und enthält Standardlösungen für Intervieweranweisungen, Fragen, Skalen, Listen, demographische Fragen und Anschreiben. [less ▲]

Friendly Batch Routing (FBR)

Software (2012)

The Friendly Batch Routing (FBR) application uses the Google Maps API to easily and simply gather route data for many origin-destination pairs. FBR is designed with usability in mind so that errors do not ... [more ▼]

The Friendly Batch Routing (FBR) application uses the Google Maps API to easily and simply gather route data for many origin-destination pairs. FBR is designed with usability in mind so that errors do not interrupt processing and skipped records can easily be resubmitted for processing. Additionally the FBR output can easily be imported into GIS packages. [less ▲]

GeoGebra

Software (2011)

GeoGebra

Software (2008)

Solving the stochastic Burgers equation with a sensitivity derivative-driven Monte Carlo method

Software (n.d.)

Please see the links below for complete information.