[GitHub] pilgun/acvcut: ACVCut 1.0

Software (2020)

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

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 ▲]

Leo-III 1.4

Software (2019)

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

Software (2019)

The GeoNewsMiner (GNM), 1898 – 1920

Software (2019)

Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Artifact Evaluation) accepted at the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE)

Software (2018)

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 ▲]

Schnëssen-App - Är Sprooch fir d'Fuerschung

Software (2018)

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.

BinSeqPy

Software (2014)

BinSeqPy is a library for the Python programming language, aimed at performing experiments and analyses of combinatorial structures dealing with binary (sub/super)-sequences. It provides an array of low ... [more ▼]

BinSeqPy is a library for the Python programming language, aimed at performing experiments and analyses of combinatorial structures dealing with binary (sub/super)-sequences. It provides an array of low-level as well as high-level mathematical functions for addressing a variety of information theory and combinatorial problems involving binary subsequences and their embeddings in supersequences. These range from bitstring transformations, information entropy analysis routines, plotting functions and algorithms related to subsequence embeddings to functions dedicated to hidden word statistics. [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 ▲]

Genetics Lab scoring algorithm

Software (2012)

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

Software (n.d.)

Please see the links below for complete information.