Projects
- BeMoRe
BeMoRe: Behaviour Model Repository, an extending Persistent Meta-Modeling Systems with Behavioral Semantics
- BigQueries
BigQueries is a framework for data warehouse physical design to optimize big number of analytical queries. It is a modular tool, that can: (1) offers DBA the possibility to select different optimization structures (MV, HDP), based on the interaction of queries, (2) gives an estimation of the queries performance, (3) generates and display an unified query plan, (4) and gives partition schema and fragments allocation in parallel processing context....
- CHEMANE
Cooperative Human sEMantic dAta maNagement & Exploitation
- MFS4UDB
This module deals with the empty-answer problem in the uncertain database context by proposing efficient approaches to find Minimal Failing Subqueries (MFSs) and maXimal Succeeding Subqueries (XSSs) of failing conjunctive queries.
Publications- Handling failing queries over uncertain databases, In FUZZ-IEEE 2017: https://ieeexplore.ieee.org/document/8015476/...
- NTripleStatistics
Computing the minimum and maximum cardinality values (Global, Local, or Characteristic Set) for predicates from an .nt format file.
Use it: https://forge.lias-lab.fr/projects/ntriplestatistics/wiki
- QaRSThis module implements two main functionnalities:
- It gives explanation for the failure of a SPARQL query;
- It performs relaxation of a SPARQL query in order to return top-k alternative answers.
- RDF Query Relaxation Strategies Based on Failure Causes, In ESWC 2016: https://link.springer.com/chapter/10.1007/978-3-319-34129-3_27...
- QaRS4UKB
Query-and-Relax System (QaRS) For Uncertain Knowledge bases.
This module implements the following algorithms:- αLBA: computes αMFSs and αXSSs of a failing RDF query for a given threshold α.
- NLBA, Bottom-Up, Top-Down and Hybrid: computes αMFSs and αXSSs of a failing RDF query for several thresholds. ...
- TMA4KB
Approaches For the Too Many Answers Problem in Knowledge Bases. Three main algorithms are provided:
- Base: executes all subqueries of a failing query,
- Var: does not execute queries that have a succeeding superquery + uses a variable-based property to deduce query failure,...
- EnerQuery
EnerQuery is an energy-aware query optimizer framework. This framework leverages the PostgreSQL query optimizer by integrating energy dimension with many other features.
Acknowledgment
This work is carried out thanks to the support of the European Union through the PLAIBDE project of the FEDER-FSE operational program for the Nouvelle- Aquitaine region. The project is supported by aYaline company, with partners: LIAS-ENSMA laboratory in Poitiers, and the L3i laboratory at La Rochelle University....
- Guide des Arrivants
Vous rejoignez le laboratoire pour un stage, un séjours scientifique, un doctorat ou vous venez d'être recruté comme personnel alors tout d'abord BIENVENUE au LIAS !
Ce guide vous est destiné. Il a pour but, dans un premier temps, de faciliter votre arrivée et la découverte de votre nouvel environnement en vous donnant un maximum d'informations pratiques sur les lieux, sur les établissements à contacter et les procédures à effectuer pour votre quotidien....
- KMAD Platform
This project concerns K-MAD platform and its related tool K-MADe.
- KMADe
This project concerns K-MADe (Kernel of Model for Activity Description environment), a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis. The originality of the tool is to be based on a model whose expressive power lies on a formal semantic. This facilitates task description and analysis, but also querying the model and migrating within models and software life-cycle steps. ...
- MATHMOUSE
MathMOuse: A Mathematical MOdels WarehoUSE to handle both Theoretical and Numerical Data
- store mathematical models in a relational database
- provide the user a "query by data" system to query the Warehouse using raw time series as input parameter
...
- MoSaRT
MoSaRT (Modeling oriented Scheduling analysis of Real-Time systems) is a model-based framework for design and analyze real-time systems. The underlying idea behind this proposal is to fill the gap between the academic real-time scheduling theory community and industrial practices. Since real-time systems need to be analyzed at an early stage of the development life-cycle in order to check if all the timing requirements are met, one of the main difficulties that the system designers face is to find the appropriate analysis tests helping to validate and/or to dimension properly their designs.Actually, research results have been exploited in industrial contexts only to a modest extent to date....
- Multiprocessor GangScheduling
The project defines a DP-Fair scheduling of Periodic Parallel Tasks. We consider identical processors and Gang Tasks that use simultaneously several processors. The schedule is defined by a pattern that will be used in every slice in the schedule that is delimited by two subsequent task deadlines. Two polynomial-time methods are proposed to define the pattern : an optimal linear programming based approach and an heuristic with a performance guarantee of (2-1/m) on resource augmentation (i.e., processor speedup factor). Both methods are implemented in MATLAB and compared through intensive numerical experiments. All source codes and results are provided. ...
- OntoDB Platform
This project concerns OntoDB platform. It supplies several tools (OntoDB schema, OntoQL, BeMoRe, OntoQL Plus, OntoQL Console...)
- OntoDB Schema
An ontology based database tool, support of multiple ontology models within ontology based database.
- OntoDBench
OntoDBench offers DBA the possibility to estimate the structuredness of her/his dataset and evaluate the scalability of the three main storage layouts of ontology-based data on its real datasets and workload. Then, according to her/his functionality and scalability requirements, DBA may choose the adequate OBDB. OntoDBench supports the following functionalities: (1) the evaluation of the characteristics of the real datasets, (2) the identification of the relevant storage models for a given OBDB, (3) the expression of the workload queries according to the three representations and (4) the evaluation of the queries performance....
- OntoQL
OntoQL is an exploitation language for ontology based databases (OBDB). It allows to query ontologies, data and both ontologies and data.
- OntoQLConsole
OntoQLConsole is an OntoQL interactive terminal.
- OntoQLPlus
OntoQLPlus is an OntoQL editor. It is a command line OntoQL language interface. It provides a syntax highlighting and a history of the executed commands.
- PandaSQL
PandaSQL concerns implementing and optimizing Randomized Triangle Enumeration Algorithm using SQL queries.
- PARAD
Model-based Performance Analysis Repositories for Aadl Designs
- Prototask
This project concerns Prototask, a new task model simulator.
All existing task model simulator require the user to understand task models to be effectively used. The major part of the screen is given to the task tree visualisation, and th user is supposed to watch the task tree to understand the simulation. Resulting from this choice, it is very difficult for end-users to understand task model simulations. ... - RT Approx FPPS
The project page provides all MATLAB source codes of the algorithms and simulation environments defined in the paper
Publications
An FTPAS for Response Time Analysis of Fixed Priority Real-Time Tasks with Resource Augmentation, Thi Huyen Chau Nguyen, Pascal Richard, Emmanuel Grolleau, IEEE Transactions on Computers, 2014, accepted for publication, http://dx.doi.org/10.1109/TC.2014.2346178... - Trust Model Evaluation (TME)
This project is about trust systems. We explored computational models for these systems and provided a comparative study between them. The project page presents our source code for the evaluation of computational models and their associations with user requirements....
Also available in: Atom