Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
 rio: Reasoner for Input/Output LogicsSteen, Alexander  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 ▲] Detailed reference viewed: 47 (2 UL)scala-tptp-parserSteen, Alexander Software (2021) scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the ... [more ▼] scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, the parser supports: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, - FOF: Untyped first-order logic, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. [less ▲] Detailed reference viewed: 45 (1 UL)[GitHub] pilgun/acvcut: ACVCut 1.0Pilgun, Aleksandr Software (2020) ACVCut shrinks Android apps towards executed code. The tool is based on ACVTool instruction coverage. Detailed reference viewed: 68 (1 UL)Leo-III 1.5Steen, Alexander Software (2020) Leo-III is an automated theorem prover for (polymorphic) higher-order logic which supports all common TPTP dialects, including THF, TFF and FOF as well as their rank-1 polymorphic derivatives. It is based ... [more ▼] Leo-III is an automated theorem prover for (polymorphic) higher-order logic which supports all common TPTP dialects, including THF, TFF and FOF as well as their rank-1 polymorphic derivatives. It is based on a paramodulation calculus with ordering constraints and, in tradition of its predecessor LEO-II, heavily relies on cooperation with external (mostly first-order) theorem provers for increased performance. Nevertheless, Leo-III can also be used as a stand-alone prover without employing any external cooperation. In addition for its HOL reasoning capabilities, Leo-III supports reasoning in many higher-order quantified modal logics. [less ▲] Detailed reference viewed: 14 (3 UL) Digraph3 Python Software CollectionBisdorff, Raymond 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 ▲] Detailed reference viewed: 30 (3 UL)I/O Logic WorkbenchSteen, Alexander 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 ▲] Detailed reference viewed: 47 (2 UL)BIPOLAR: Stata module to calculate four measures of income bi-polarizationFusco, Alessio ; van Kerm, Philippe Software (2020) -bipolar- calculates four measures of income bi-polarization. Detailed reference viewed: 32 (1 UL)SGINI: Stata module to compute Generalized Gini and Concentration coefficients, Gini correlations and fractional ranksvan Kerm, Philippe Software (2020) sgini is a light-weight package to calculate generalized Gini and Concentration coefficients. It also allows factor decomposition (income source). As a by-product, the companion commands sginicorr ... [more ▼] sgini is a light-weight package to calculate generalized Gini and Concentration coefficients. It also allows factor decomposition (income source). As a by-product, the companion commands sginicorr computes (generalized) Gini correlations and fracrank generates fractional rank variables. [less ▲] Detailed reference viewed: 32 (0 UL)spellux – Automatic text normalization for LuxembourgishPurschke, Christoph Software (2020) Detailed reference viewed: 79 (4 UL)Visualising changes in the construction of meaning with Word Vector Space: A Digital Humanities ApproachViola, Lorella ; Software (2020) Detailed reference viewed: 19 (1 UL)Phos. A Panel/HoloViews Dashboard for the Interactive Analysis of Color Contrasts in MoviesWalkowski, Niels-Oliver ; Pause, Johannes Software (2019) Detailed reference viewed: 16 (1 UL)Paquete de Herramientas para el procesamiento de la Encuesta Permanente de HogaresKozlowski, Diego ; ; et alSoftware (2019) Detailed reference viewed: 40 (7 UL)NAI – The Normative ReasonerLibal, Tomer ; Steen, Alexander Software (2019) Detailed reference viewed: 36 (0 UL)The GeoNewsMiner (GNM), 1898 – 1920Viola, Lorella ; ; et alSoftware (2019) Detailed reference viewed: 30 (2 UL)The GeoNewsMiner (GNM): An interactive spatial humanities tool to visualize geographical references in historical newspapersViola, Lorella ; ; et alSoftware (2019) Detailed reference viewed: 34 (0 UL)[GitHub] pilgun/acvtool: ACVTool v0.2Pilgun, Aleksandr ; ; Software (2018) ACVTool (Android Code Coverage Tool) is a tool to measure fine-grained code coverage of 3rd-party Android apps. Detailed reference viewed: 46 (1 UL)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)Ries, Benoît ; Capozucca, Alfredo ; Guelfi, Nicolas Software (2018) Detailed reference viewed: 78 (15 UL)TEI TransviewerArmaselu, Florentina ; Reis, Frederic ; Jones, Catherine et alSoftware (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 ▲] Detailed reference viewed: 130 (52 UL)Selene User InterfaceZollinger, Marie-Laure Software (2018) The goal of this application is to provide a user interface of the Selene e-voting protocol in order to test the user experience. This project must be seen as a mock up interface for users. We provide a ... [more ▼] The goal of this application is to provide a user interface of the Selene e-voting protocol in order to test the user experience. This project must be seen as a mock up interface for users. We provide a mobile app and an administration page. The application runs on Android (API 23+), the back-end server is developed in php and run through an Apache server. [less ▲] Detailed reference viewed: 86 (10 UL)Crypren DecryptorGenç, Ziya Alper 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 ▲] Detailed reference viewed: 103 (7 UL)Schnëssen-App - Är Sprooch fir d'FuerschungEntringer, Nathalie ; Gilles, Peter ; Martin, Sara et alSoftware (2018) Detailed reference viewed: 168 (30 UL)Demo: MAMBA: A Platform for Personalised Multimodal Trip PlanningFaye, Sébastien ; Cantelmo, Guido ; Tahirou, Ibrahim et alSoftware (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 ▲] Detailed reference viewed: 246 (38 UL) SPSS Code for the "IOTF Body Mass Index Cut-Offs for Thinness, Overweight and Obesity in Children" by Cole & Lobstein 2012Heinz, Andreas Software (2017) Detailed reference viewed: 1021 (16 UL)denmpcDentler, Jan Eric 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 ▲] Detailed reference viewed: 189 (20 UL)Cittena. A Python Library for the Analysis of Color Contrasts in Movie CorporaWalkowski, Niels-Oliver ; Pause, Johannes Software (2017) Detailed reference viewed: 15 (0 UL)chern.lib: a library for symbolic computations with Chern classesIena, Oleksandr 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 ▲] Detailed reference viewed: 171 (48 UL)goettsche.lib: a Singular library implementing the Göttsche's formulaIena, Oleksandr Software (2016) This is a library for the computer algebra system Singular. The Göttsche's formula for the Betti numbers of Hilbert schemes of points on a surface is implemented. An implementation of the Macdonald's ... [more ▼] This is a library for the computer algebra system Singular. The Göttsche's formula for the Betti numbers of Hilbert schemes of points on a surface is implemented. An implementation of the Macdonald's formula for the Betti numbers of symmetric products is provided as well. [less ▲] Detailed reference viewed: 78 (5 UL)Leo-IIISteen, Alexander ; ; Benzmüller, Christoph Software (2016) Detailed reference viewed: 38 (4 UL)mafe - Educational Matlab framework for finite element analysis of structures.Zilian, Andreas Software (2016) "mafe" is an educational MATLAB framework for finite element analysis of structures like rod, beams, slabs and plates that allows for (a) static linear analysis, (b) dynamic linear analysis in frequency ... [more ▼] "mafe" is an educational MATLAB framework for finite element analysis of structures like rod, beams, slabs and plates that allows for (a) static linear analysis, (b) dynamic linear analysis in frequency and time domain. [less ▲] Detailed reference viewed: 265 (28 UL)lrcalc.lib: a Singular interface to the Littlewood-Richardson Calculator by Anders BuchIena, Oleksandr Software (2015) This library for the computer algebra system Singular is an interface for the Littlewood-Richardson Calculator by Anders Buch. Detailed reference viewed: 98 (8 UL)BinSeqPyAtashpendar, Arash 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 ▲] Detailed reference viewed: 75 (20 UL) Documentation of the Digraph3 Python software resourcesBisdorff, Raymond Software (2014) Detailed reference viewed: 56 (10 UL)QKD SimulatorAtashpendar, Arash 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 ▲] Detailed reference viewed: 192 (21 UL)Tool zur einfachen und schnellen Erstellung von Fragebögen in WordDecieux, Jean Philippe Pierre ; ; Heinz, Andreas 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 ▲] Detailed reference viewed: 313 (11 UL)Friendly Batch Routing (FBR)Medard de Chardon, Cyrille ; Caruso, Geoffrey 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 ▲] Detailed reference viewed: 233 (11 UL)Genetics Lab scoring algorithmKeller, Ulrich ; Sonnleitner, Philipp Software (2012) Detailed reference viewed: 127 (8 UL)The Genetics Lab: a computer-based test to assess students' complex problem solving abilitiesSonnleitner, Philipp ; ; Keller, Ulrich et alSoftware (2012) Detailed reference viewed: 77 (3 UL)Solving the stochastic Burgers equation with a sensitivity derivative-driven Monte Carlo methodHauseux, Paul ; Hale, Jack ; Bordas, Stéphane Software (n.d.) Please see the links below for complete information. Detailed reference viewed: 154 (14 UL) |
||
