CRI Reseach Seminar

Titre: De l'implémentation des données équitables dans les humanités numériques à la vérification du modèle de perspective.

Résumé:Cette recherche présente la dimension culturelle des principes équitables dans les humanités numériques entre les pays et surtout dans l'Union européenne. Une analyse est effectuée sur l'application des principes équitables dans différents domaines des humanités numériques comme l'humanité sociale, l'archéologie, la culture et autres. En outre, les contraintes pour mettre en œuvre les principes équitables dans les humanités numériques sont discutées. Enfin, un modèle de validation des données équitables est proposé.

Mots-clés : données FAIR, modèle de validation, humanités numériques, vérification, données de validation, SSH, principes FAIR

Artificial Intelligence models are crucial elements to support many sectors in the current global economy. Training those models re- quires 3 main assets: data, machine learning algorithms, and processing capabilities. Given the growing concerns regarding data privacy, algo- rithm intellectual property, and server security, combining all 3 resources to build a model is challenging. In this paper, we propose a solution al- lowing providers to share their data and run their algorithms in secured cloud training environments. To provide trust for both clients and asset providers in the system, a blockchain is introduced to support the ne- gotiation, monitoring, and conclusion of model production. Through a preliminary evaluation, we validate the feasibility of the approach and present a road map to a more secure Artificial Intelligence as-a-service.

Télécharger le mémoire https://s.miage.dev/1xKTz

Most modern Information Systems record user activity logs to extract knowledge and support new and higher quality services. Recommender systems (RS) in particular those based on collaborative filtering, are an example of such new services that have gained tremendous popularity. However, we know that standard activity logs are too poor to properly reflect user activity as they are influenced by many environmental factors (time, location, weather, profile, etc.), out of which a lot is not grasped in standard user activity logs. This makes it very difficult to mine users' intentions, which are key to analyze users' behavior reliably, and therefore key to quality recommendations. Several types of sources, such as sensors, external systems, outside actors, domain knowledge bases, or forecast systems could be used to obtain this information. The theory in this PhD is that the combination of multiple types of sources can extensively contribute to providing better insight into user activityt hrough context-rich intentional process mining and therefore deliver newer and higher quality recommendations. While existing research mainly focuses on log datasets; only a few contributions consider ontologies to gather multiple sources. We propose a novel approach that (a) combines different types of sources into ontologies (b) uses such ontologies for intentional process mining (c) exploits this intentional model for contextual recommendations.

Keywords: Intention Mining, Information System, Logs, Ontology, Context,

La mise en place de TIC pour réduire l’impact environnemental de processus ne peut pas être évaluée par la simple économie d’impact permise par les technologies mises en œuvre. Il existe aujourd’hui un standard développé par l’ETSI et l’ITU, qui tente de donner un cadre méthodologique pour évaluer l’impact environnemental net (négatif et positif) des équipements et des services informatiques. Cependant, plusieurs travaux ont permis de mettre en lumière d’autres types d’impacts ou de préciser l’évaluation des impacts connus. À notre connaissance, ces différents cadres méthodologiques n’ont pas été compilés à ce jour. Cette recherche se propose de comparer les différents cadres méthodologiques existant dans la littérature académique, ainsi que dans la littérature grise par le biais d’une Multivocal Literature Review (MLR). L’objectif est de donner des clefs de compréhension pour le développement de futures méthodologies communes aux mondes académique et professionnel, et de permettre un choix plus éclairé des méthodologies utilisées.

Télécharger le mémoire: https://s.miage.dev/SECRI-M1-DE

Dans un monde où les nouvelles technologies sont devenues incontournables dans notre quotidien, la réalité augmentée s’impose peu à peu avec une interface riche et polyvalente et ouvre de nouvelles perspectives dans différents domaines. Le monde de l’éducation s’est à son tour emparé du dispositif afin de l’adapter au contexte de l’apprentissage. D’ailleurs, la RA vient s’ajouter aux différentes technologies de l’information et de la communication qui ont fait naître la notion d’innovation pédagogique très présente depuis quelques années. Néanmoins , si les avantages de la RA dans l’éducation sont de plus en plus reconnus par les chercheurs sur le sujet, qu’en est-il de l’apport que peut porter la réalité augmentée à chaque méthode d’apprentissage innovante ? Et si cette technologie présente un potentiel pour la réussite de ces innovations pédagogiques , alors comment choisir les outils de RA les mieux adaptés à chaque approche d’apprentissage ? Et quelles sont les limites rencontrées lors de l’utilisation de ces différents outils ?

Télécharger le mémoire https://s.miage.dev/SERCRI-M1-SA

Présentation d'un projet universitaire réalisé par quatre étudiants de licence 3 MIAGE parcours classique : site web pédagogique "Les Dix'Fi de Thymio" avec le robot éducatif Thymio. Notre objectif principal est de permettre l’apprentissage du code à des élèves de 8 à 13 ans, à travers un aspect ludique durant tout une semaine appelée la semaine des Dix’Fi de Thymio.

The Coffee Framework is a constraint-based framework that supports variability modeling and analysis about variability models, two of the main tasks in the management of variability-intensive systems. This framework is proposed to ease the interoperability between variability management tools and the strong dependencies in the framework supporting automated analysis of variability models. The Coffee framework addresses these problems by modifying the transformation framework and introducing two intermediate languages. This presentation presents an overlook of the framework and its two main contributions:The High-Level Variability Language,  an expressive variability modeling language, and
 The three-step transformation framework for supporting multi-language and multi-solver automated variability analysis.

Les lignes de produits présentent une stratégie de production qui offre aux
compagnies un avantage concurrentiel en améliorant la productivité et en favorisant la
personnalisation. Cependant, les avantages potentiels des lignes de produits peuvent
être perdus lorsque leurs modèles de variabilité sont larges et complexes impliquant des
centaines de variantes conduisant, parfois, à des milliards de combinaisons possibles. En
effet, le processus de configuration devient une tâche sujette aux erreurs vu la pléthore
des exigences et des contraintes à satisfaire en même temps. Par conséquent, guider les
parties prenantes lors des processus de configuration complexes et recommander les
meilleures alternatives de configuration de manière à conduire une expérience
satisfaisante devient un défi. Cette thèse se concentre sur le guidage des configurations
de lignes de produits à base des traces de processus. Pour ce faire, les actions des parties prenantes sont tracées, fouillées et analysées. Ensuite, des solutions de guidage sont produites et orchestrées tout au long du processus de configuration.
Ce projet de doctorat comprend les principales contributions suivantes: (i) Un état de l'art des insuffisances de la configuration des lignes de produits et des solutions existantes (ii) Une méthode outillée pour le guidage de configuration de ligne de produits baptisée ConfiLog; la méthode comprend l'extraction de journaux d'événements, des traitements de fouille de processus évalués par une méthode “Goal-Question-Metric” et un moteur de recommandation (iii) Une preuve de concept pour démontrer que le guidage de ConfiLog est générique supportant toute ligne de produits (iv) Des instruments d'outillage avec lesquels opère la méthode ConfiLog et (v)
Une évaluation de la méthode ConfiLog avec une étude empirique avec des étudiants en utilisant une réelle ligne de vélos.

As blockchain is a growing and novel field, many blockchain technologies were recently created to address various problems. In the meantime, practices evolve as developers find new creative ways to build blockchain applications more efficiently, that can be formalized as architectural or design patterns. Unfortunately, those new patterns and technologies are sparced throughout business and academic works, making them impractical for reuse. There is a lack of a centralized knowledge base of blockchain technologies and patterns to support the decision-making between technologies, and the development of robust blockchain applications. To address this problem, we propose the creation of such a database by introducing on-going works towards this goal, such as the creation of a relevant blockchain taxonomy that will serve as the structure of our knowledge base of technologies, as well as a literature review to extract new blockchainarchitectural patterns.

Claudia is a 2nd year CIFRE PhD and works on blockchain and privacy. After graduating from Pontificia Universidad Católica de Chile in Political Science, she pursued a master in Computer Science in Trinity College Dublin in 2018 and started, her PhD in Paris 1 in 2019. She held several positions as a TA and Research Engineer and in involved in Chilean NGO Fundación Datos Protegidos. She will be presenting her ongoing PhD work

Pour écrire un journal (intime), il faut juste un cahier et un crayon. Alors pourquoi ne sommes-nous pas tous diaristes ? Pourquoi certains commencent-ils un journal sans jamais le finir ? Pourquoi chez certains diaristes l'agenda est-il devenu inutile ? Pourquoi existe-t-il des modèles si nombreux et si différents de journaux ? Pour tenter de répondre à ces questions, nous avons réalisé une analyse d'usage en la combinant la théorie instrumentale de Rabardel.

In the context of Product lines, the collaborative configuration process gets complicated when the configuration decisions of involved stakeholders are contradictory, which may lead to conflicting situations.  To deal with such situations, we propose a new collaborative configuration approach which allows conflict resolution based on stakeholders’ preferences expressed through a set of substitution rules. Based on such preferences, we delete the minimal set of conflicting configuration decisions which are identified using the Minimal Correction Subsets (MCSs) computing algorithms.

Ces dernières années, de nombreuses organisations ont commencé à s’intéresser à la blockchain, une base de données distribuée composée de blocs interconnectés et immutables après ajout à la chaîne. Un algorithme de consensus régit l'ajout d'un nouveau bloc, ce qui permet au réseau de fonctionner sans tierce partie. Ces blocs contiennent des transactions ou des contrats intelligents, qui sont des programmes autonomes fonctionnant sur la blockchain et pouvant être appelés afin d’effectuer des opérations. De ce fait, la blockchain garantit l'immuabilité, la fiabilité, la traçabilité, la résilience et la décentralisation des données stockées dans celle-ci , permettant la création d'applications innovantes (finance, IoT, supply-chain, ...). Cependant, en raison de ses différences avec les technologies "conventionnelles", la blockchain se heurte à de nombreux obstacles, notamment techniques. Par exemple, l'intégration de la blockchain dans les architectures logicielles, ou encore la difficulté de construction d’une application blockchain sans connaissances techniques approfondies, ce qui pose un problème pour son adoption. Pour adresser ces problématiques, nous proposons un framework permettant la conception et le développement d’applications blockchain de manière semi-automatique. Deux approches sont considérées : (1) l’ingénierie par les modèles, où une collection de modèles adaptés ainsi que la saisie d’exigences permet la génération d’applications, et (2) une approche ligne de produit logiciel pour générer des applications à partir d’artéfacts existants. Ce framework proposera également BLADE (Blockchain Automated Decision Engine) un outil permettant, à partir d’exigences, déterminer quelle est la blockchain la plus pertinente pour un cas d’utilisation donné. Il s’appuiera notamment sur une base de connaissances constituée de blockchains. Par ce travail, nous visons également à améliorer l'état de l'art de l'intégration des blockchains dans les architectures logicielles.