Theme Data, Services, Intelligence

Presentation

The works of the team 'Data, Services, Intelligence' of the laboratory LIMOS, aim at solving a problem given thanks to the searches in the stream of data and in the already made studies.

His purpose is to set up tools algorithmics to characterize groups and help companies clarify their data to solve a problem.

The developed tools also allow for example to manage the immense stream that is the sequencing DNA through the elaboration of systems managing and sorting out this stream

 

Analysis, Verification, Testing of applications, web services and business processes.

Our reserach work deals with the analysis of services, applications or business processes for optimising them, make them reliable or secure. The applications are described by means of onthologies or with models (formals or UML). Generally speaking, these models are used for optimising a given property, for checking whether a property holds or for generating test suites.

Last publications

Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare - Dec. 29, 2020
Secure Outsourcing of Multi-Armed Bandits
19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020)

Michael Mbouopda •, Engelbert Mephu - Dec. 24, 2020
Scalable and Accurate Subsequence Transform


Sylvie Guillaume, Didier Macheboeuf - Dec. 14, 2020
Association rule mining to shortlist plant phenolic compounds likely to decrease methane emissions by ruminants


Sébastien Salva, Elliott Blot - Dec. 2, 2020
Using Model Learning for the Generation of Mock Components


Anis Fradi, Chafik Samir, François Bachoc - Nov. 30, 2020
A scalable approximate Bayesian inference for high-dimensional Gaussian processes
Communications in Statistics - Theory and Methods

Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare - Nov. 28, 2020
Secure Cumulative Reward Maximization in Linear Stochastic Bandits
International Conference on Provable and Practical Security (ProvSec)

Radu Ciucanu, Pascal Lafourcade - Nov. 2, 2020
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation
International Semantic Web Conference (ISWC) - Demo Track

Nicolas Wagner - Oct. 27, 2020
Détection des modifications de l’organisation circadienne des activités des animaux en relation avec des états pré-pathologiques, un stress, ou un événement de reproduction


Nicolas Wagner, Violaine Antoine, Jonas Koko, Marie-Madeleine Mialon, Romain Lardy, Isabelle Veissier - Sept. 17, 2020
Comparison of Machine Learning Methods to Detect Anomalies in the Activity of Dairy Cows


Michael Mbouopda, Engelbert Mephu Nguifo - Sept. 14, 2020
Classification of Uncertain Time Series by Propagating Uncertainty in Shapelet Transform


All publications are here