Author: "Université du Luxembourg (Uni.lu)" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Université du Luxembourg (Uni.lu)"' showing total 815 results

Start Over Author "Université du Luxembourg (Uni.lu)"

815 results on '"Université du Luxembourg (Uni.lu)"'

1. On the efficiency of normal form systems for representing Boolean functions

Author: Erkko Lehtonen, Miguel Couceiro, Romain Péchoux, Pierre Mercuriali, Knowledge representation, reasonning (ORPAILLEUR), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Institut für Algebra [Dresden], Technische Universität Dresden = Dresden University of Technology (TU Dresden), Designing the Future of Computational Models (MOCQUA), and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM)
Subjects: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Polynomial, General Computer Science, Preorder, Value (computer science), Monotonic function, Complexity, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Arity, 01 natural sciences, Theoretical Computer Science, Combinatorics, Set (abstract data type), Integer, Efficient representation, Normal form system, 010201 computation theory & mathematics, Boolean function, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, Mathematics
Abstract: International audience; A normal form system (NFS) for representing Boolean functions is thought of as a set of stratified terms over a fixed set of connectives. For a fixed NFS A, the complexity of a Boolean function f with respect to A is the minimum of the sizes of terms in A that represent f. This induces a preordering of NFSs: an NFS A is polynomially as efficient as an NFS B if there is a polynomial P with nonnegative integer coefficients such that the complexity of any Boolean function f with respect to A is at most the value of P in the complexity of f with respect to B. In this paper we study monotonic NFSs, i.e., NFSs whose connectives are increasing or decreasing in each argument. We describe the monotonic NFSs that are optimal, i.e., that are minimal with respect to the latter preorder. We show that these minimal monotonic NFSs are all equivalent. Moreover, we address some natural questions, e.g.: does optimality depend on the arity of connectives? Does it depend on the number of connectives used? We show that optimal monotonic NFSs are exactly those that use a single connective or one connective and the negation. Finally, we show that optimality does not depend on the arity of the connectives.
Published: 2020
Full Text: View/download PDF

2. Les NFT en 40 questions

Author: Dumas, Jean-Guillaume, Lafourcade, Pascal, Roudeix, Etienne, Tichit, Ariane, Varrette, Sébastien, Calcul Algébrique et Symbolique, Sécurité, Systèmes Complexes, Codes et Cryptologie (CASC), Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Centre d'Études et de Recherches sur le Développement International (CERDI), Institut de Recherche pour le Développement (IRD)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), and Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu)
Subjects: Computer science [C05] [Engineering, computing & technology], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Blockchain, NFT, Sciences informatiques [C05] [Ingénierie, informatique & technologie], ComputingMilieux_MISCELLANEOUS
Abstract: Apparus en 2017, les jetons non fongibles ont généré en 2021 plusieurs millions d’euros et impacté de nombreux domaines allant de la mode aux paris hippique en passant par l’art et le sport. L’objectif de ce livre est d’expliquer comment fonctionnent les NFT et de présenter simplement leurs caractéristiques spécifiques. Ce livre est conçu pour répondre non seulement aux questions que vous vous posez sur l’univers des NFT… mais aussi à celles que vous ne vous étiez pas encore posées. Qu’est-ce qu’un contrat intelligent ? Quel a été le premier NFT ? Quels sont les jetons fongibles et non fongibles ? Comment les NFT révolutionnent-ils les titres de propriété ? Que peut-on acheter ou vendre grâce aux NFT ? Comment les NFT sont-ils utilisés dans l’art ? Qu’est-ce que le norme ERC-721 pour les NFT sur Ethereum ? Les réponses à toutes ces questions (et à 33 autres) sont dans ce livre. 1st
Published: 2022

3. Bayesian optimisation to select Rössler system parameters used in Chaotic Ant Colony Optimisation for Coverage

Author: Martin Rosalie, Pascal Bouvry, Emmanuel Kieffer, Grégoire Danoy, Matthias R. Brust, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Laboratoire Génome et développement des plantes (LGDP), Université de Perpignan Via Domitia (UPVD)-Centre National de la Recherche Scientifique (CNRS), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), and Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu)
Subjects: Mathematical optimization, General Computer Science, Computer science, Differential equation, Bayesian probability, Population, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Chaotic, 02 engineering and technology, Parameter space, 01 natural sciences, 010305 fluids & plasmas, Theoretical Computer Science, Computer Science::Robotics, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, education, Chaotic system, education.field_of_study, Swarm behaviour, Bayesian optimisation, Ant colony, UAV swarm, Nonlinear Sciences::Chaotic Dynamics, Modeling and Simulation, [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], 020201 artificial intelligence & image processing, Heuristics
Abstract: International audience; The CACOC (Chaotic Ant Colony optimisation for Coverage) algorithm has been developed to manage the mobility of a swarm of Unmanned Aerial Vehicles (UAVs). Using a specific chaotic dynamic obtained from the Rössler system, CACOC provides waypoints for UAVs that aim to optimise the coverage of an unknown area while having unpredictable trajectories. Since the chaotic dynamics are obtained from a three differential equations system with parameters, it is possible to tune one parameter to obtain another chaotic dynamic, which will result in different UAV mobility behaviours. This work aims at optimising this parameter of the Rössler chaotic system to improve the coverage performance of CACOC. Since each evaluation of a solution requires a full simulation, global optimisation techniques (e.g., population-based heuristics) would be very time-consuming. We therefore considered a surrogate-based method to efficiently explore the parameter space of the Rössler system for CACOC, i.e., Bayesian optimisation. Experimental results demonstrate that this approach permits to improve the speed of coverage of the UAV swarm. In addition an analysis of the dynamical properties of the obtained chaotic system is provided.
Published: 2020
Full Text: View/download PDF

4. Human-agent Explainability: An Experimental Case Study on the Filtering of Explanations

Author: Amro Najjar, Christophe Nicolle, Yazan Mualla, Stéphane Galland, Igor Haman Tchappi, Timotheus Kampik, Connaissance et Intelligence Artificielle Distribuées [Dijon] (CIAD), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB), Département de Mathématiques et Informatique [Univ Ngaoundéré] (UN-FS), Faculté de Sciences [Univ Ngaoundéré] (UN-FS), Université de Ngaoundéré/University of Ngaoundéré [Cameroun] (UN)-Université de Ngaoundéré/University of Ngaoundéré [Cameroun] (UN), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Department of Computing Science [Umeå, Sweden], Umeå University, and Université Bourgogne Franche-Comté [COMUE] (UBFC)
Subjects: Human-Computer Interaction, Explainable Artificial Intelligence, Human–computer interaction, Computer science, Intelligent Aerial Transport Systems, Human agent, Robot, State (computer science), Agent-Based Simulation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; 12th International Conference on Agents and Artificial Intelligence (ICAART 2020), Valletta, Malta, 1970.The communication between robots/agents and humans is a challenge, since humans are not typically capable of understanding the robot's state of mind. To overcome this challenge, this paper relies on the recent advances of the domain of eXplainable Artificial Intelligence (XAI) to trace the decisions of the agents and increase the human's understandability of the agents behaviour, and hence improve efficiency and user satisfaction. In particular, we propose a Human-Agent EXplainability Architecture (HAEXA) to model human-agent explainability. HAEXA filters the explanations provided by the agents to the human user to reduce the user's cognitive load. To evaluate HAEXA, a human-computer interaction experiment is conducted, where participants watch an agent-based simulation of aerial package delivery and fill in a questionnaire that collects their responses. The questionnaire is built according to XAI metrics as established in the literature. The significance of the results is verified using emph{One-tailed Mann-Whitney U} tests. The results show that explainability increases the understandability of the simulation by human users. However, too many details in the explanations overwhelms them; hence, in many scenarios it is preferable to filter the explanations.
Published: 2020
Full Text: View/download PDF

5. A new modeling approach for the biobjective exact optimization of satellite payload configuration

Author: Emmanuel Kieffer, Pascal Bouvry, Grégoire Danoy, Anass Nagih, Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg [Luxembourg], Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire de Conception, Optimisation et Modélisation des Systèmes (LCOMS), and Université de Lorraine (UL)
Subjects: Mathematical optimization, Adaptive ε‐constraint, Computer science, Bi objective optimization, Strategy and Management, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Management Science and Operations Research, 01 natural sciences, Computer Science Applications, Satellite payload, Satellite payload optimization, Integer linear programming, 010201 computation theory & mathematics, Control theory, Management of Technology and Innovation, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, Bi-objective optimization, Business and International Management, Integer programming
Abstract: International audience; Communication satellites have the crucial role to forward signals to customers. They filter and amplify uplink signals coming from Earth stations to improve the signal quality before reaching customers. These operations are performed by the payload component of the satellite that embeds reconfigurable components (e.g., switches). These components route signals to appropriate signal processing components (e.g., amplifiers, filters) and lead amplified signals to the output antenna. In order to route the channels that compose signals, satellite engineers can remotely modify switch states. These are typically updated when one or more new channels must be connected or when failures occur. However, satellites embed always more switches to answer customer demands, which makes their reconfiguration time consuming and error prone without appropriate decision aid tools. Power transmission is a crucial objective to ensure a maximum quality of service at reasonable cost. This is why satellite operators aim at minimizing incoming power signals while guaranteeing a maximum factor of amplification at the output antenna. This problem is referred to as the “satellite payload power problem.” Previous works have outlined the difficulty to solve exactly large instances of this problem. This work proposes to improve the existing mathematical formulation of the switch network. We show that it can be modeled as a static network and switch states can be deduced after optimization, thus limiting the combinatorial explosion. Computational experiments on different sizes of realistic instances using the adaptive ε‐constraint method demonstrate the computational time gain with this new model and the possibility to solve larger instances.
Published: 2017
Full Text: View/download PDF

6. Energy aware ultrascale systems

Author: Neki Frasheri, Ariel Oleksiak, Pedro Alonso, Wojciech Piatek, Benson K. Muite, Vincenzo De Maio, Anne-Cécile Orgerie, Victor M. Garcia, Joel Guerrero, Alexey Lastovetsky, Patricia Stolf, Sebastien Lafond, Enida Sheme, Radu Prodan, Laurent Lefèvre, Georges Da Costa, Ravi Reddy Manumachu, Sébastien Varrette, Jean-Marc Pierson, Poznan Supercomputing and Networking Center, Laboratoire de l'Informatique du Parallélisme (LIP), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), Algorithms and Software Architectures for Distributed and HPC Platforms (AVALON), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Universitat Politècnica de València (UPV), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, University of Vienna [Vienna], Polytechnic University of Tirana, University of Genoa (UNIGE), Åbo Akademi University [Turku], School of Computer Science and Informatics [Dublin], University College Dublin [Dublin] (UCD), University of Tartu, Design and Implementation of Autonomous Distributed Systems (MYRIADS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Centre National de la Recherche Scientifique (CNRS), Poznan Supercomputing and Networking Center (PSNC), Alpen-Adria-Universität Klagenfurt [Klagenfurt, Austria], Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université de Toulouse (UT), Università degli studi di Genova = University of Genoa (UniGe), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), and Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole)
Subjects: Computer science, energy models, media_common.quotation_subject, Quality of service, energy monitoring, Energy consumption, energy simulation, energy aware software, sustainability, heterogeneous systems, 7. Clean energy, Reliability engineering, Data sharing, Data access, energy consumption, Quality (business), [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Resilience (network), Energy (signal processing), media_common, Efficient energy use, energy efficiency metrics
Abstract: International audience; Energy consumption is one of the main limiting factors for the design of ultrascale infrastructures. Multi-level hardware and software optimizations must be designed and explored in order to reduce energy consumption for these largescale equipment. This chapter addresses the issue of energy efficiency of ultrascale systems in front of other quality metrics. The goal of this chapter is to explore the design of metrics, analysis, frameworks and tools for putting energy awareness and energy efficiency at the next stage. Significant emphasis will be placed on the idea of “energy complexity,” reflecting the synergies between energy efficiency and quality of service, resilience and performance, by studying computation power, communication/data sharing power, data access power, algorithm energy consumption, etc.
Published: 2019
Full Text: View/download PDF

7. GreyCat: Efficient What-If Analytics for Data in Motion at Scale

Author: Yves Le Traon, Assaad Moawad, Francois Fouquet, Romain Rouvoy, Thomas Hartmann, DataThings, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Security, Reliability and Trust Interdisciplibary Research Centre (S'nT), Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), and FuzzMe
Subjects: FOS: Computer and information sciences, Computer science, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], what-if analysis, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Data modeling, Computer Science - Databases, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Prescriptive analytics, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], business.industry, Databases (cs.DB), Predictive analytics, Data science, graph processing, predictive analytics, Hardware and Architecture, Analytics, Scalability, Data analysis, 020201 artificial intelligence & image processing, Fork (file system), [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], time-evolving graphs, business, Software, Information Systems
Abstract: International audience; Over the last few years, data analytics shifted from a descriptive era, confined to the explanation of past events, to the emergence of predictive techniques. Nonetheless, existing predictive techniques still fail to effectively explore alternative futures, which continuously diverge from current situations when exploring the effects of what-if decisions. Enabling prescriptive analytics therefore calls for the design of scalable systems that can cope with the complexity and the diversity of underlying data models. In this article, we address this challenge by combining graphs and time series within a scalable storage system that can organize a massive amount of unstructured and continuously changing data into multi-dimensional data models, called Many-Worlds Graphs. We demonstrate that our open source implementation, GreyCat, can efficiently fork and update thousands of parallel worlds composed of millions of timestamped nodes, such as what-if exploration.
Published: 2019
Full Text: View/download PDF

8. Robust $H_\infty$ observer-based stabilization of linear discrete-time systems with parameter uncertainties

Author: H. Bibi, C. Bennani, Ali Zemouche, Khadidja Chaib-Draa, Fazia Bedouhene, Rajesh Rajamani, Abdel Aitouche, Laboratoire de Mathématiques Pures et Appliquées [Tizi-Ouzou] (LMPA), Université Mouloud Mammeri [Tizi Ouzou] (UMMTO), Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Department of Electrical and Computer Engineering [Minneapolis] (ECE), University of Minnesota [Twin Cities] (UMN), University of Minnesota System-University of Minnesota System, University of Minnesota System, Incubator of the University of Luxembourg, Laboratoire de Mathématiques Pures et Appliquées [Tizi-Ouzou] ( LMPA ), Université Mouloud Mammeri [Tizi Ouzou] ( UMMTO ), Centre de Recherche en Automatique de Nancy ( CRAN ), Université de Lorraine ( UL ) -Centre National de la Recherche Scientifique ( CNRS ), Dynamical Interconnected Systems in COmplex Environments ( DISCO ), Laboratoire des signaux et systèmes ( L2S ), Université Paris-Sud - Paris 11 ( UP11 ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université Paris-Sud - Paris 11 ( UP11 ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SUPELEC-Centre National de la Recherche Scientifique ( CNRS ), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] ( SnT ), Université du Luxembourg ( Uni.lu ), Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189 ( CRIStAL ), Institut National de Recherche en Informatique et en Automatique ( Inria ) -Ecole Centrale de Lille-Institut Mines-Télécom [Paris]-Université de Lille-Centre National de la Recherche Scientifique ( CNRS ), Department of Electrical and Computer Engineering - University of Minnesota ( ECE University of Minnesota ), University of Minnesota [Minneapolis], and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Bilinear matrix inequality (BMI), 0209 industrial biotechnology, Optimization problem, Observer (quantum physics), Computer science, Observers for Linear systems, Monte Carlo method, 02 engineering and technology, 01 natural sciences, [SPI.AUTO]Engineering Sciences [physics]/Automatic, observer-based control, 020901 industrial engineering & automation, Control theory, Robustness (computer science), [ SPI.AUTO ] Engineering Sciences [physics]/Automatic, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Symmetric matrix, Applied mathematics, Uncertain systems, Point (geometry), 0101 mathematics, $H_\infty$ criterion linear matrix inequalities (LMIs), Mathematics, LMIs, 010102 general mathematics, Linear system, State (functional analysis), Computer Science Applications, Slack variable, Discrete time and continuous time, Control and Systems Engineering, Bounded function
Abstract: International audience; This paper addresses the problem of observer-based stabilization of discrete-time linear systems in presence of parameter uncertainties and ℓ2-bounded disturbances. We propose a new variant of the classical two-step LMI approach. In the first step, we use a slack variable technique to solve the optimization problem resulting from stabilization by a static state feedback. In the second step, a part of the slack variable obtained is incorporated in the ∞ observer-based stabilization problem, to calculate simultaneously the Lyapunov matrix and the observer-based controller gains. The effectiveness of the proposed design methodology is demonstrated using the dynamic model of a quadruple-tank flow process system. Additional numerical illustrations are presented to show the superiority of the proposed Modified Two-Step Method (MTSM) from a LMI feasibility point of view.
Published: 2018
Full Text: View/download PDF

9. Théorie des codes - 3e édition: Compression, cryptage, correction

Author: Dumas, Jean-Guillaume, Roch, Jean-Louis, Tannier, Eric, Varrette, Sébastien, Calculs Algébriques et Systèmes Dynamiques (CASYS), Laboratoire Jean Kuntzmann (LJK ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Artificial Evolution and Computational Biology (BEAGLE), Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École Centrale de Lyon (ECL), Université de Lyon-Université Lumière - Lyon 2 (UL2)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Université Lumière - Lyon 2 (UL2)-Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), and Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Inria Grenoble - Rhône-Alpes
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], ComputingMilieux_MISCELLANEOUS
Abstract: National audience
Published: 2018

10. O-MI/O-DF vs. MQTT: A performance analysis

Author: Paul-Lou Benedick, Sylvain Kubler, Yves Le Traon, Jérémy Robert, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
Subjects: 060201 languages & linguistics, MQTT, business.industry, Computer science, standardised messaging protocols, Quality of service, 020208 electrical & electronic engineering, open messaging protocols, 06 humanities and the arts, 02 engineering and technology, Industrial CPS, IoT applications, MQTT standard specifications, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 0602 languages and literature, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), Traffic load, Comparison study, Industrial Internet, IIoT, Internet of Things, business, Telecommunications, O-MI/O-DF
Abstract: International audience; Over the past decade, a flourishing number of concepts and architectural shifts appeared such as Industrial Internet of Things (IIoT), Industrial CPS or even Industry 4.0. Unfortunately, today's IoT as well as Industry 4.0 environments, look more like a collection of isolated “Intranets of Things”, also referred to as “vertical silos”, rather than a federated infrastructure. Breaking down these silos is a key challenge in both the IoT and Industry 4.0 communities. This paper is intended to present and discuss two open and standardised messaging protocols designed for IoT applications, namely: MQTT and O-MI/O-DF. First, a traffic load's analytical model derived from the MQTT standard specifications is presented. Second, a comparison study between MQTT and O-MI/O-DF standards is carried out based on a real-life industrial implementation. This study brings a deep understanding of the extent to which these protocols are performant (from a traffic load perspective) and how they can impact on future architectural designs.
Published: 2018
Full Text: View/download PDF

11. Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks

Author: Migge , Jörn, Villanueva , Josetxo, Navet , Nicolas, Boyer , Marc, Boyer, Marc, Realtime-at-Work (RTaW), RENAULT, Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), ONERA - The French Aerospace Lab [Toulouse], ONERA, Realtime-at-Work ( RTaW ), RealTime-at-Work, Computer Science and Communications Research Unit [Luxembourg] ( CSC ), Laboratory of Advanced Software SYstems [Luxembourg] ( LASSY ), Université du Luxembourg ( Uni.lu ) -Université du Luxembourg ( Uni.lu ), and ONERA - The French Aerospace Lab ( Toulouse )
Subjects: AVB, Ingénierie électrique & électronique [C06] [Ingénierie, informatique & technologie], [ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation, Credit-Based Shaper, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], [ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI], QoS, [ INFO.INFO-PF ] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Time Sensitive Networking, IEEE802.1Q, Electrical & electronics engineering [C06] [Engineering, computing & technology], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Automotive Ethernet, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [ INFO.INFO-ES ] Computer Science [cs]/Embedded Systems, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Time-Aware Shaper
Abstract: International audience; Switched Ethernet is profoundly reshaping in-car communications. To meet the diverse real-time requirements in automotive communications, Quality-of-Service protocols that go beyond the mere use of priorities are required. In this work, the basic questions that we study on a case-study with diverse and demanding communication requirements is what can we expect from the various protocols aimed at providing a better timing Quality of Service on top of Ethernet? And how to use them? Especially how to use them in a combined manner. We will focus on the Credit-Based Shaper of AVB, the Time-Aware Shaper of TSN and the use of priorities as defined in IEEE802.1Q. The performance metrics considered are the distributions of the communication latencies, obtained by simulation, as well as upper bounds on these quantities obtained by worst-case schedulability analysis. If there have been over the last 5 years numerous studies on the performance of AVB CBS, the literature on comparing AVB to TSN and other candidate protocols is still sparse. To the best of our knowledge, this empirical study is the first to consider most protocols currently considered in the automotive domain, with the aim to gain insights into the different technological, design and configurations alternatives. In particular, an objective of this study is to identify key problems that need to be solved in order to further automate network design and configuration.
Published: 2018

12. Chaos-enhanced mobility models for multilevel swarms of UAVs

Author: Martin Rosalie, Grégoire Danoy, Pascal Bouvry, Serge Chaumette, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), European Project: A-1341-RT-GP,ASIMUT, and Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Subjects: 0209 industrial biotechnology, Mobility model, General Computer Science, Computer science, General Mathematics, Distributed computing, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Chaotic, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, Dynamical system, ComputingMethodologies_ARTIFICIALINTELLIGENCE, First return map, PACS: 05.45.-a, 02.90.+p, 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Resilience (network), Global optimization, Swarm of UAVs, ACO, Ant colony optimization algorithms, Chaotic dynamics, CHAOS (operating system), Range (mathematics), [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], 020201 artificial intelligence & image processing
Abstract: International audience; The number of civilian and military applications using Unmanned Aerial Vehicles (UAVs) has increased during the last years and the forecasts for upcoming years are exponential. One of the current major challenges consist in considering UAVs as autonomous swarms to address some limitations of single UAV usage such as autonomy, range of operation and resilience. In this article we propose novel mobility models for multi-level swarms of collaborating UAVs used for the coverage of a given area. These mobility models generate unpredictable trajectories using a chaotic solution of a dynamical system. We detail how the chaotic properties are used to structure the exploration of an unknown area and enhance the exploration part of an Ant Colony Optimization method. Empirical evidence of the improvement of the coverage efficiency obtained by our mobility models is provided via simulation. It clearly outperforms state-of-the-art approaches.
Published: 2018
Full Text: View/download PDF

13. Un calcul d'anneaux de déformations potentiellement Barsotti--Tate

Author: Agnès David, Xavier Caruso, Ariane Mézard, Institut de Recherche Mathématique de Rennes (IRMAR), AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université du Luxembourg (Uni.lu), GLIMM-3988642, Fonds National de la Recherche Luxembourg, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Département de Mathématiques et Applications - ENS Paris (DMA), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche Mathématique de Rennes ( IRMAR ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -AGROCAMPUS OUEST-École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Université de Rennes 2 ( UR2 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ), Université du Luxembourg ( Uni.lu ), IMJ - Théorie des nombres, Institut de Mathématiques de Jussieu ( IMJ ), and Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Université Paris Diderot - Paris 7 ( UPD7 ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Université Paris Diderot - Paris 7 ( UPD7 ) -Centre National de la Recherche Scientifique ( CNRS )
Subjects: Pure mathematics, variétés de Kisin, General Mathematics, Mathematics::Number Theory, Structure (category theory), Type (model theory), 01 natural sciences, [ MATH.MATH-NT ] Mathematics [math]/Number Theory [math.NT], Corollary, espaces de déformations, 0103 physical sciences, 0101 mathematics, 11F80, 11S37, Mathematics, Conjecture, Mathematics - Number Theory, Degree (graph theory), Applied Mathematics, 010102 general mathematics, Absolute Galois group, Extension (predicate logic), 16. Peace & justice, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT], Algebra, 010307 mathematical physics, Variety (universal algebra), conjecture de Breuil-Mézard, représentations galoisiennes p-adiques
Abstract: Let F be an unramified extension of Qp. The first aim of this work is to develop a purely local method to compute the potentially Barsotti-Tate deformations rings with tame Galois type of irreducible two-dimensional representations of the absolute Galois group of F. We then apply our method in the particular case where F has degree 2 over Q_p and determine this way almost all these deformations rings. In this particular case, we observe a close relationship between the structure of these deformations rings and the geometry of the associated Kisin variety. As a corollary and still assuming that F has degree 2 over Q_p, we prove, except in two very particular cases, a conjecture of Kisin which predicts that intrinsic Galois multiplicities are all equal to 0 or 1., Comment: 57 pages, in French
Published: 2018
Full Text: View/download PDF

14. Dynamic greedy routing in overlay networks using virtual coordinates from the hyperbolic plane

Author: Cyril Cassagnes, Damien Magoni, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), SnT, University of Luxembourg, Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), and Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu)
Subjects: 020203 distributed computing, Computer science, Reliability (computer networking), Distributed computing, Overlay network, 020206 networking & telecommunications, Context (language use), 02 engineering and technology, Network dynamics, Hyperbolic coordinates, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Greedy embedding, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Routing (electronic design automation)
Abstract: Greedy routing algorithms based on virtual coordinates have attracted considerable interest in recent years. Those based on coordinates taken from the hyperbolic plane have interesting theoretical scalability properties. However, their scalability and reliability are yet to be ensured when applied to large-scale dynamic networks. In this paper, we propose a scalable and reliable solution for creating and managing dynamic overlay networks where nodes have hyperbolic coordinates. In this context, our solution provides a greedy routing algorithm based on the hyperbolic distance. To cope with network dynamics, we have defined two methods for avoiding temporary local minima and one method for maintaining the greedy embedding over time. Through analysis, we evaluate the complexity costs of our solution. Through simulations, we assess the scalability of our solution on static networks and its reliability on dynamic networks. Results show that using our solution based on hyperbolic geometry provides scalability and reliability to both addressing and routing tasks in dynamic overlay networks. Copyright © 2015 John Wiley & Sons, Ltd.
Published: 2015
Full Text: View/download PDF

15. Set-reconstructibility of Post classes

Author: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel, Knowledge representation, reasonning (ORPAILLEUR), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Mathematics Research Unit, University of Luxembourg [Luxembourg], Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), and Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Discrete mathematics, Reconstruction problem, Clone, Applied Mathematics, 010102 general mathematics, Mathematics - Rings and Algebras, 0102 computer and information sciences, 01 natural sciences, Set (abstract data type), Combinatorics, Rings and Algebras (math.RA), 010201 computation theory & mathematics, Clone (algebra), Boolean function, FOS: Mathematics, Mathematics - Combinatorics, Discrete Mathematics and Combinatorics, Combinatorics (math.CO), Affine transformation, Constant function, [MATH]Mathematics [math], 0101 mathematics, Mathematics
Abstract: The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas the remaing clones are not weakly reconstructible., 8 pages. arXiv admin note: text overlap with arXiv:1306.5578
Published: 2015
Full Text: View/download PDF

16. RapidRMSD: rapid determination of RMSDs corresponding to motions of flexible molecules

Author: Grégoire Danoy, Petr Popov, Angelo Migliosi, Emilie Neveu, Pascal Bouvry, Xavier Besseron, Sergei Grudinin, Alexandre Hoffmann, Algorithms for Modeling and Simulation of Nanosystems (NANO-D), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Laboratoire Jean Kuntzmann (LJK ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Université de Lausanne = University of Lausanne (UNIL), Moscow Institute of Physics and Technology [Moscow] (MIPT), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), and Université de Lausanne (UNIL)
Subjects: 0301 basic medicine, Statistics and Probability, Computer science, Protein Conformation, Initialization, Molecular Dynamics Simulation, 01 natural sciences, Biochemistry, Molecular conformation, 03 medical and health sciences, Molecular dynamics, Motion, Protein structure, 0103 physical sciences, [SDV.BBM]Life Sciences [q-bio]/Biochemistry, Molecular Biology, Cluster analysis, Pliability, Molecular Biology, Quantitative Biology::Biomolecules, Principal Component Analysis, 010304 chemical physics, Computational Biology, Proteins, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Computer Science Applications, Computational Mathematics, 030104 developmental biology, Computational Theory and Mathematics, Structural biology, Docking (molecular), Principal component analysis, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Algorithm, Algorithms, Software
Abstract: Motivation The root mean square deviation (RMSD) is one of the most used similarity criteria in structural biology and bioinformatics. Standard computation of the RMSD has a linear complexity with respect to the number of atoms in a molecule, making RMSD calculations time-consuming for the large-scale modeling applications, such as assessment of molecular docking predictions or clustering of spatially proximate molecular conformations. Previously, we introduced the RigidRMSD algorithm to compute the RMSD corresponding to the rigid-body motion of a molecule. In this study, we go beyond the limits of the rigid-body approximation by taking into account conformational flexibility of the molecule. We model the flexibility with a reduced set of collective motions computed with e.g. normal modes or principal component analysis. Results The initialization of our algorithm is linear in the number of atoms and all the subsequent evaluations of RMSD values between flexible molecular conformations depend only on the number of collective motions that are selected to model the flexibility. Therefore, our algorithm is much faster compared to the standard RMSD computation for large-scale modeling applications. We demonstrate the efficiency of our method on several clustering examples, including clustering of flexible docking results and molecular dynamics (MD) trajectories. We also demonstrate how to use the presented formalism to generate pseudo-random constant-RMSD structural molecular ensembles and how to use these in cross-docking. Availability and implementation We provide the algorithm written in C++ as the open-source RapidRMSD library governed by the BSD-compatible license, which is available at http://team.inria.fr/nano-d/software/RapidRMSD/. The constant-RMSD structural ensemble application and clustering of MD trajectories is available at http://team.inria.fr/nano-d/software/nolb-normal-modes/. Supplementary information Supplementary data are available at Bioinformatics online.
Published: 2017
Full Text: View/download PDF

17. Coverage Optimization with Connectivity Preservation for UAV Swarms Applying Chaotic Dynamics

Author: Matthias R. Brust, Martin Rosalie, Pascal Bouvry, Serge Chaumette, Grégoire Danoy, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), and Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
Subjects: chaotic dynamics, 0209 industrial biotechnology, Mobility model, Mathematical optimization, ant colony optimization, Computer science, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Chaotic, MathematicsofComputing_NUMERICALANALYSIS, cooperative UAV, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, Base station, 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Multi-swarm optimization, Cluster analysis, Metaheuristic, business.industry, Ant colony optimization algorithms, Swarm behaviour, multilevel swarm, mobility model, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], 020201 artificial intelligence & image processing, Artificial intelligence, business
Abstract: International audience; Cooperative usage of multiple UAVs as a swarm can deliver high-quality surveillance performance. However, the communication capabilities within the UAV swarm must be maintained for local data propagation to swarm members in favor of achieving an efficient global behavior. In this paper, we address the problem of optimizing two adversary criteria for such a UAV swarm: (a) maximizing the area coverage, while (b) preserving network connectivity. Our approach, called CACOC² , solves the problem with a novel chaotic ant colony optimization approach, which combines an Ant Colony Optimization approach (ACO) with a chaotic dynamical system. CACOC² employs swarming behavior to obtain UAV clustering that result in maximized area coverage and preserved network connectivity. We show by extensive simulations how the size of the UAV swarm influences the coverage and connectivity. A metrics comparison chart shows the correlation of coverage and connectivity metrics.
Published: 2017
Full Text: View/download PDF

18. A rapid, objective and implicit measure of visual quantity discrimination

Author: Bruno Rossion, Milena Dzhelyova, Sandrine Mejias, Mathieu Guillaume, Christine Schiltz, Université de Lille, CNRS, CHU Lille, Université du Luxembourg [Uni.lu], Laboratoire Sciences Cognitives et Sciences Affectives - UMR 9193 [SCALab], Service de neurologie [CHRU Nancy], Université Catholique de Louvain = Catholic University of Louvain [UCL], Laboratoire Traitement et Communication de l'Information (LTCI), Télécom ParisTech-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Université Catholique de Louvain = Catholic University of Louvain (UCL), EMACS research unit, and Université du Luxembourg (Uni.lu)
Subjects: Adult, Male, genetic structures, Cognitive Neuroscience, [SDV]Life Sciences [q-bio], Population, Individuality, Experimental and Cognitive Psychology, Electroencephalography, 050105 experimental psychology, 03 medical and health sciences, Behavioral Neuroscience, Young Adult, 0302 clinical medicine, Discrimination, Psychological, medicine, Mathematical ability, Humans, 0501 psychology and cognitive sciences, education, ComputingMilieux_MISCELLANEOUS, education.field_of_study, medicine.diagnostic_test, business.industry, 05 social sciences, Brain, Cognition, Pattern recognition, Mathematical Concepts, Pattern Recognition, Visual, Evoked Potentials, Visual, [SDV.NEU]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC], Female, Artificial intelligence, business, Psychology, 030217 neurology & neurosurgery, Photic Stimulation
Abstract: There is evidence that accurate and rapid judgments of visual quantities form an essential component of human mathematical ability. However, explicit behavioural discrimination measures of visual quantities are readily contaminated both by variations in low-level physical parameters and higher order cognitive factors, while implicit measures often lack objectivity and sensitivity at the individual participant level. Here, with electrophysiological frequency tagging, we show discrimination differences between briefly presented visual quantities as low as a ratio of 1.4 (i.e., 14 vs. 10 elements). From this threshold, the neural discrimination response increases with parametrically increasing differences in ratio between visual quantities. Inter-individual variability in magnitude of the EEG response at this population threshold ratio predicts behavioural performance at an independent number comparison task. Overall, these findings indicate that visual quantities are perceptually discriminated automatically and rapidly (i.e., at a glance) within the occipital cortex. Given its high sensitivity, this paradigm could provide an implicit diagnostic neural marker of this process suitable for a wide range of fundamental and clinical applications.
Published: 2017
Full Text: View/download PDF

19. ASIMUT project: Aid to SItuation Management based on MUltimodal, MUltiUAVs, MUltilevel acquisition Techniques

Author: Jennifer Sander, Grégoire Danoy, Pascal Bouvry, Achim Kuwertz, Serge Chaumette, Florian Segor, Wilmuth Müller, Martin Rosalie, Gilles Guerrini, Gilles Jurquet, Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Thales Airborne Systems, THALES Airborne Systems, Fraunhofer Institute of Optronics, System Technologies and Image Exploitation (Fraunhofer IOSB), Fraunhofer (Fraunhofer-Gesellschaft), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), and Université du Luxembourg (Uni.lu)
Subjects: decisional autonomy, Engineering, Operations research, Situation management, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Agency (sociology), 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Mobility management, smart mission management, mobility management, automatic processing and detection, multilevel UAV swarm, business.industry, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.0: Computer vision, high level data fusion, Engineering management, 010201 computation theory & mathematics, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, 020201 artificial intelligence & image processing, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.3: Group and Organization Interfaces/H.5.3.2: Computer-supported cooperative work, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.5: Programming Languages and Software/I.2.5.0: Expert system tools and techniques, business
Abstract: International audience; This document summarizes the activities and results of the ASIMUT project (Aid to SItuation Management based on MUltimodal, MUltiUAVs, MUltilevel acquisition Techniques) carried out by the consortium composed of Thales, Fraunhofer IOSB, Fly-n-Sense, University of Bordeaux and University of Luxembourg. Funded by the European Defence Agency (EDA), the objectives of the ASIMUT project are to design, implement and validate algorithms that will allow the efficient usage of autonomous swarms of Unmanned Aerial Vehicles (UAVs) for surveillance missions.
Published: 2017
Full Text: View/download PDF

20. Bottom-Up Technologies for Reuse: Automated Extractive Adoption of Software Product Lines

Author: Tewfik Ziadi, Jacques Klein, Yves Le Traon, Jabier Martinez, Tegawendé F. Bissyandé, Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), SnT, University of Luxembourg, Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), and Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu)
Subjects: Engineering, Social software engineering, business.industry, Software development, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software product line engineering, Software sizing, Software deployment, Software construction, 0202 electrical engineering, electronic engineering, information engineering, Package development process, Extractive software product line adoption, 020201 artificial intelligence & image processing, business, Software engineering, Software product line, Variability management, Reverse engineering
Abstract: Adopting Software Product Line (SPL) engineering principles demands a high up-front investment. Bottom-Up Technologies for Reuse (BUT4Reuse) is a generic and extensible tool aimed to leverage existing similar software products in order to help in extractive SPL adoption. The envisioned users are 1) SPL adopters and 2) Integrators of techniques and algorithms to provide automation in SPL adoption activities. We present the methodology it implies for both types of users and we present the validation studies that were already conducted. BUT4Reuse tool and source code are publicly available under the EPL license. Website http://but4reuse.github.io Video: https://www.youtube.com/watch?v=pa62Yc9LWyk.
Published: 2017
Full Text: View/download PDF

21. Impact du mécanisme chaotique sur l’optimisation d’un modèle de mobilité pour un essaim de drones devant réaliser une couverture de zone

Author: Rosalie, Martin, Danoy, Grégoire, Chaumette, Serge, Bouvry, Pascal, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), and Rosalie, Martin
Subjects: Rössler system, [NLIN.NLIN-CD] Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], Chaotic Dynamics, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Système de Rössler, [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], Dynamique chaotique, Ant Colony Optimization, Optimisation colonie de fourmis
Abstract: Solution of differential equations system can be chaotic attractors with various chaotic mechanisms. In this paper we highlight that the use of these chaotic mechanisms permits to enhance the diversification of metaheuristics. We applied our approach to the coverage problem using a swarm of UAVs where the diversification of an ant colony algorithm is enhanced by chaos coming from Ma system and Rössler system., À travers l'utilisation d'attracteurs chaotiques solutions d'équations différentielles ordinaires, cet article met en évidence que l'utilisation de mécanismes chaotiques peut contribuer à l'amélioration de la diversification de métaheuristiques sous réserve de trouver un système dynamique adapté au problème considéré. Ici, nous nous intéressons à la diversification d'un algorithme de type colonie de fourmis pour un problème de couverture de zone par un essaim de drones autonomes. Nous montrons que les performances de couverture sont améliorées à l'aide de mécanismes chaotiques issus du système de Ma et du système de Rössler.
Published: 2017

22. Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Author: Gilles Perrouin, Axel Legay, Patrick Heymans, Mike Papadakis, Xavier Devroey, Pierre-Yves Schobbens, PReCISE Research Centre in Information Systems Engineering (PReCISE), Facultés Universitaires Notre Dame de la Paix (FUNDP), Security Design and Validation Research Group (SERVAL), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Threat Analysis and Mitigation for Information Security (TAMIS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1)
Subjects: Computer science [C05] [Engineering, computing & technology], Finite-state machine, Computer science, random simulations, 020207 software engineering, Model-Based Mutation Analysis, 02 engineering and technology, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Electronic mail, Random Simulations, Mutation (genetic algorithm), 0202 electrical engineering, electronic engineering, information engineering, Mutation testing, Test suite, Automata theory, Automata language equivalence, model-based mutation analysis, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], automata language equivalence, Heuristics, Equivalence (measure theory), Algorithm
Abstract: International audience; Mutation analysis is a popular technique to assess the effectiveness of test suites with respect to their fault-finding abilities. It relies on the mutation score, which indicates how many mutants are revealed by a test suite. Yet, there are mutants whose behaviour is equivalent to the original system, wasting analysis resources and preventing the satisfaction of the full (100%) mutation score. For finite behavioural models, the Equivalent Mutant Problem (EMP) can be addressed through language equivalence of non-deterministic finite automata, which is a well-studied, yet computationally expensive, problem in automata theory. In this paper, we report on our assessment of a state-of-the-art exact language equivalence tool to handle the EMP against 12 models of size up to 15,000 states on 4710 mutants. We introduce random and mutation-biased simulation heuristics as baselines for comparison. Results show that the exact approach is often more than ten times faster in the weak mutation scenario. For strong mutation, our biased simulations are faster for models larger than 300 states. They can be up to 1,000 times faster while limiting the error of misclassifying non-equivalent mutants as equivalent to 8% on average. We therefore conclude that the approaches can be combined for improved efficiency.
Published: 2017
Full Text: View/download PDF

23. Freeing Testers from Polluting Test Objectives

Author: Marcozzi, M, Bardin, S, Kosmatov, N, Papadakis, M, Prevosto, V, Correnson, L, Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Security Design and Validation Research Group (SERVAL), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire Sûreté des Logiciels ( LSL ), Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Security Design and Validation Research Group ( SERVAL ), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] ( SnT ), Université du Luxembourg ( Uni.lu ) -Université du Luxembourg ( Uni.lu ), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), and Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST)
Subjects: Software Engineering (cs.SE), FOS: Computer and information sciences, cs.SE, Computer Science - Software Engineering, D.2.5, D.2.4, [ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ComputingMilieux_MISCELLANEOUS
Abstract: Testing is the primary approach for detecting software defects. A major challenge faced by testers lies in crafting efficient test suites, able to detect a maximum number of bugs with manageable effort. To do so, they rely on coverage criteria, which define some precise test objectives to be covered. However, many common criteria specify a significant number of objectives that occur to be infeasible or redundant in practice, like covering dead code or semantically equal mutants. Such objectives are well-known to be harmful to the design of test suites, impacting both the efficiency and precision of testers' effort. This work introduces a sound and scalable formal technique able to prune out a significant part of the infeasible and redundant objectives produced by a large panel of white-box criteria. In a nutshell, we reduce this challenging problem to proving the validity of logical assertions in the code under test. This technique is implemented in a tool that relies on weakest-precondition calculus and SMT solving for proving the assertions. The tool is built on top of the Frama-C verification platform, which we carefully tune for our specific scalability needs. The experiments reveal that the tool can prune out up to 27% of test objectives in a program and scale to applications of 200K lines of code.
Published: 2017
Full Text: View/download PDF

24. A Roadmap for Research in Sustainable Ultrascale Systems

Author: Sousa, Leonel, Kropf, Peter, Kuonene, Pierre, Prodan, Radu, Trinh, Tuan, Carretero, Jesus, Lastovetsky, Alexey, Da Costa, Georges, Bouvry, Pascal, Bilas, A, Cortes, Toni, Oleksiak, Ariel, Lefevre, Laurent, Rünger, Gudula, Margenov, Svetozar, Grélaud, Françoise, Instituto Superior Técnico, Universidade Técnica de Lisboa (IST), UNINE, University of Innsbruck, Budapest University of Technology and Economics [Budapest] (BME), Universidad Carlos III de Madrid [Madrid] (UC3M), School of Computer Science and Informatics [Dublin], University College Dublin [Dublin] (UCD), Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Universitat Politècnica de Catalunya [Barcelona] (UPC), Barcelona Supercomputing Center - Centro Nacional de Supercomputacion (BSC - CNS), Poznan Supercomputing and Networking Center (PSNC), Laboratoire de Conception et d'Intégration des Systèmes (LCIS), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Chemnitz University of Technology / Technische Universität Chemnitz, and University Carlos III of Madrid
Subjects: Cost Action NESUS IC1305, [INFO]Computer Science [cs], [INFO] Computer Science [cs]
Published: 2017

25. A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Author: Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Massimo Tisi, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Université du Québec à Rimouski (UQAR), Institut Universitaire de Technologie - Nantes (Nantes Univ - IUT Nantes), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Nantes Université (Nantes Univ)
Subjects: Policy Enforcement, Model Transformation, Computer Networks and Communications, Internet of Things, Software Engineering, Model-Driven Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Code Generation, Computer Science Applications, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Hardware and Architecture, Signal Processing, Information Systems
Abstract: International audience; The Internet of Things (IoT) aims for connecting Anything, Anywhere, Anytime (AAA). This assumption brings about several software engineering challenges that constitute a serious obstacle to its wider adoption. The main feature of the Internet of Things (IoT) is genericity w.r.t the variability of software and hardware technologies. Model-Driven Engineering (MDE) is a paradigm that advocates using models to address software engineering problems. It can help to meet the genericity of the IoT from a software engineering perspective. Existing MDE approaches for the IoT focus only on modeling the internal behavior of things but lack a comprehensive approach dedicated to network modeling. In the present paper, we introduce a network-oriented methodology based on MDE to unify the IoT's heterogeneous concepts. Fundamentally, we avoid the intrinsic heterogeneity of the IoT by separating the network's specification (i.e., the things, the communication scheme, and its constraints) from its concrete implementation (i.e., the low-level artifacts such as source code and documentation). Technically, the methodology relies on a model-based Domain-Specific Language (DSL) and a code generator. The former enables the modeling of the network's specification, and the latter provides a procedure to generate the low-level artifacts from this specification. Our results show that this methodology makes IoT's software engineering more rigorous, helps prevent bugs earlier, and saves time.
Published: 2022
Full Text: View/download PDF

26. Design of unknown input fractional-order observers for fractional-order systems

Author: Mohamed Darouach, Michel Zasadzinski, Ibrahima N'Doye, Holger Voos, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Automation Research Group, Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: 0209 industrial biotechnology, Fractional-order observers, Observer (quantum physics), 02 engineering and technology, Linear matrix, Stability (probability), [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Integer, Control theory, Convergence (routing), QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Order (group theory), Engineering (miscellaneous), Mathematics, Applied Mathematics, Fractional calculus, Linear matrix inequality, QA75.5-76.95, Existence condition, Electronic computers. Computer science, Fractional-order systems, 020201 artificial intelligence & image processing, Stability, Unknown input
Abstract: This paper considers a method of designing fractional-order observers for continuous-time linear fractional-order systems with unknown inputs. Conditions for the existence of these observers are given. Sufficient conditions for the asymptotical stability of fractional-order observer errors with the fractional order α satisfying 0 < α < 2 are derived in terms of linear matrix inequalities. Two numerical examples are given to demonstrate the applicability of the proposed approach, where the fractional order α belongs to 1≤α
Published: 2013
Full Text: View/download PDF

27. Avoiding the 1 TB Storage Wall: Leveraging Ethereum's DHT to Reduce Peer Storage Needs

Author: Eisenbarth, Jean-Philippe, Cholez, Thibault, Perrin, Olivier, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Web Scale Trustworthy Collaborative Service Systems (COAST), ACM ASIACCS Workshop, and European Project: 830927,CONCORDIA(2019)
Subjects: blockchain, storage, Ethereum, Distributed Hash Table, Geth, [INFO]Computer Science [cs], synchronization, scalability
Abstract: International audience; Blockchains face many challenges in time, among which the ever-growing storage needs for blockchains' data. In particular, Ethereum is quickly approaching the 1 TB storage limit for a node, what may significantly reduce the candidates able to run an Ethereum fullnode. In this paper, we propose a new synchronization and storage strategy for Ethereum that takes full advantage of the Distributed Hash Table implemented in all clients but left unused. By digging into the history of Ethereum's synchronization and storage strategies, we justify why such distribution of storage duties among peers makes much sense today. We implemented our solution in the official Ethereum client Geth and validated its smooth operation on a private Ethereum instance. Our solution can save around 60% of the storage of a node (360 GB) which represents a total of 12 PB of data at the network scale, while being fully backward compatible with current clients.
Published: 2023

28. Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation

Author: Afonso Arriaga, Manuel Barbosa, Pooya Farshim, SnT, University of Luxembourg, Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Universidade do Porto, École normale supérieure - Paris (ENS Paris), and Université Paris sciences et lettres (PSL)
Subjects: Theoretical computer science, Function privacy, 0102 computer and information sciences, 02 engineering and technology, Encryption, Computer security, computer.software_genre, 01 natural sciences, keyword search, obfuscation, inner-product en- cryption, Multiple encryption, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Functional encryption, business.industry, functional encryption, Deterministic encryption, 010201 computation theory & mathematics, Probabilistic encryption, 56-bit encryption, 40-bit encryption, 020201 artificial intelligence & image processing, Attribute-based encryption, business, computer
Abstract: International audience; Private functional encryption guarantees that not only the information in ciphertexts is hidden but also the circuits in decryption tokens are protected. A notable use case of this notion is query privacy in searchable encryption. Prior privacy models in the literature were fine-tuned for specific functionalities (namely, identity-based encryption and inner-product encryption), did not model correlations between ciphertexts and decryption tokens, or fell under strong uninstantiability results. We develop a new indistinguishability-based privacy notion that overcomes these limitations and give constructions supporting different circuit classes and meeting varying degrees of security. Obfuscation is a common building block that these constructions share, albeit the obfuscators necessary for each construction are based on different assumptions. Our feasibility results go beyond previous constructions in a number of ways. In particular, a keyword search scheme that we base on point obfuscators tolerates arbitrary and possibly low-entropy correlations between encrypted data and queried keywords, even under (mildly restricted) adaptive token-extraction queries. Our more elaborate keyword search scheme achieves the strongest notion of privacy that we put forth (with no restrictions), but relies on stronger forms of obfuscation. We also develop a composable and distributionally secure hyperplane membership obfuscator and use it to build an inner-product encryption scheme that achieves an unprecedented level of privacy. This, in particular, positively answers a question left open by Boneh, Raghunathan and Segev (ASIACRYPT 2013) concerning the extension and realization of enhanced security for schemes supporting this functionality.
Published: 2016
Full Text: View/download PDF

29. From Random Process to Chaotic Behavior in Swarms of UAVs

Author: Grégoire Danoy, Martin Rosalie, Pascal Bouvry, Serge Chaumette, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), European Project: A-1341-RT-GP,ASIMUT, and Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Mobility model, cooperative UAVs, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Real-time computing, Chaotic, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Ground control station, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, 01 natural sciences, 010305 fluids & plasmas, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, multilevel swarms, Mobility management, Simulation, ACO, Stochastic process, Ant colony optimization algorithms, Swarm behaviour, chaotic systems, 020206 networking & telecommunications, Ranging, Geography, [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], mobility models
Abstract: International audience; Unmanned Aerial Vehicles (UAVs) applications have seen an important increase in the last decade for both military and civilian applications ranging from fire and high seas rescue to military surveillance and target detection. While this technology is now mature for a single UAV, new methods are needed to operate UAVs in swarms, also referred to as fleets. This work focuses on the mobility management of one single autonomous swarm of UAVs which mission is to cover a given area in order to collect information. Several constraints are applied to the swarm to solve this problem due to the military context. First, the UAVs mobility must be as unpredictable as possible to prevent any UAV tracking. However the Ground Control Station (GCS) operator(s) still needs to be able to forecast the UAVs paths. Finally, the UAVs are autonomous in order to guarantee the mission continuity in a hostile environment and the method must be distributed to ensure fault-tolerance of the system. To solve this problem, we introduce the Chaotic Ant Colony Optimization to Coverage (CACOC) algorithm that combines an Ant Colony Optimization approach (ACO) with a chaotic dynamical system. CACOC permits to obtain a deterministic but unpredictable system. Its performance is compared to other state-of-the art models from the literature using several coverage-related metrics, i.e. coverage rate, recent coverage and fairness. Numerical results obtained by simulation underline the performance of our CACOC method: a deterministic method with unpredictable le UAV trajectories that still ensures a high area coverage.
Published: 2016
Full Text: View/download PDF

30. Application of measurement-based AHP to product-driven system control

Author: Alexandre Voisin, Jérémy Robert, Sylvain Kubler, William Derigent, André Thomas, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Voisin, Alexandre
Subjects: 0209 industrial biotechnology, Engineering, Control (management), Analytic hierarchy process, resource allocation, 02 engineering and technology, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Resource (project management), Product-driven systems, 0202 electrical engineering, electronic engineering, information engineering, measurement-based AHP, Measurement-based AHP, Product (category theory), Resource allocation, Computer science [C05] [Engineering, computing & technology], business.industry, Event (computing), Mode (statistics), Sciences informatiques [C05] [Ingénierie, informatique & technologie], Reliability engineering, Product-driven system, [SPI.AUTO] Engineering Sciences [physics]/Automatic, Control system, 020201 artificial intelligence & image processing, business
Abstract: International audience; This paper presents an application of measurements-based AHP to define a two-stage algorithm for product-driven systems control, in case of un-expected event. This algorithm is made of two stages: the first one aims to de-fine which kind of strategy the product should adopt (wait¸ react by it self or switch back to centralized mode) while the second one helps to choose the most appropriate resource able to fulfill the product requirements. The methodology is detailed on a simple case study.
Published: 2016

31. Using Heterogeneous Multilevel Swarms of UAVs and High-Level Data Fusion to Support Situation Management in Surveillance Scenarios

Author: Achim Kuwertz, Gilles Guerrini, Gilles Jurquet, Wilmuth Müller, Martin Rosalie, Pascal Bouvry, Grégoire Danoy, Jennifer Sander, Serge Chaumette, Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Thales Airborne Systems, THALES Airborne Systems, Fraunhofer Institute of Optronics, System Technologies and Image Exploitation (Fraunhofer IOSB), Fraunhofer (Fraunhofer-Gesellschaft), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), and Université du Luxembourg (Uni.lu)
Subjects: 0209 industrial biotechnology, Situation awareness, Civil defense, Computer science, Situation management, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], 020207 software engineering, Workload, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, computer.software_genre, Sensor fusion, Computer security, Environmental studies, 020901 industrial engineering & automation, Agency (sociology), [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], 0202 electrical engineering, electronic engineering, information engineering, computer, Data integration
Abstract: International audience; The development and usage of Unmanned Aerial Vehicles (UAVs) quickly increased in the last decades, mainly for military purposes. This technology is also now of high interest in non-military contexts like logistics, environmental studies and different areas of civil protection. While the technology for operating a single UAV is rather mature, additional efforts are still necessary for using UAVs in fleets (or swarms). The Aid to SItuation Management based on MUltimodal, MUltiUAVs, MUltilevel acquisition Techniques (ASIMUT) project which is supported by the European Defence Agency (EDA) aims at investigating and demonstrating dedicated surveillance services based on fleets of UAVs. The aim is to enhance the situation awareness of an operator and to decrease his workload by providing support for the detection of threats based on multi-sensor multi-source data fusion. The operator is also supported by the combination of information delivered by the heterogeneous swarms of UAVs and by additional information extracted from intelligence databases. As a result, a distributed surveillance system increasing detection, high-level data fusion capabilities and UAV autonomy is proposed.
Published: 2016
Full Text: View/download PDF

32. Lifecycle Management in the Smart City Context: Smart Parking Use-Case

Author: Taha Elhariri, Sylvain Kubler, Ahmed Hefnawy, Jérémy Robert, Chantal Cherifi, Kary Främling, Abdelaziz Bouras, Décision et Information pour les Systèmes de Production (DISP), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université Lumière - Lyon 2 (UL2), Environnements, Dynamiques et Territoires de la Montagne (EDYTEM), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Department of Computer science, Aalto University, Ramy Harik, Louis Rivest, Alain Bernard, Benoit Eynard, Abdelaziz Bouras, TC 5, WG 5.1, Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), and Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)
Subjects: System of systems, 0209 industrial biotechnology, Engineering, Process management, Closed loop lifecycle management, Context (language use), 02 engineering and technology, System lifecycle, SoS, PLM, 12. Responsible consumption, Application lifecycle management, SLM, 020901 industrial engineering & automation, Product lifecycle, Smart city, 0502 economics and business, 11. Sustainability, [INFO]Computer Science [cs], Product lifecycle management, Computer science [C05] [Engineering, computing & technology], Smart system, Configuration management, business.industry, 05 social sciences, Service lifecycle management, Sciences informatiques [C05] [Ingénierie, informatique & technologie], [SDE]Environmental Sciences, Systems engineering, Smart City, business, CL2M, 050203 business & management, Systems of Systems
Abstract: Part 14: Product, Service and Systems; International audience; Lifecycle management enables enterprises to manage their products, services or product-service bundles. IoT and CPS have made products and services smarter by closing the loop of data across different phases of lifecycle. Similarly, CPS and IoT empower cities with real-time decision-making capabilities enabled by real-time data streams from heterogeneous objects. Yet, cities are smarter and more powerful when relevant data can be exchanged between different systems across different domains. From engineering perspective, smart city can be seen as a System of Systems (SoS) composed of interrelated/ interdependent smart systems and objects. To better integrate people, processes, and systems in the smart city ecosystem, this paper discusses the use of PLM/ SLM to better manage smart cities. Considering the differences between ordinary and smart service systems, this paper seeks better understanding of lifecycle aspects in the smart city context. As a proof-of-concept, the proposed approach is applied to a smart parking use-case.
Published: 2016
Full Text: View/download PDF

33. UAV Multilevel Swarms for Situation Management

Author: Pascal Bouvry, Grégoire Danoy, Martin Rosalie, Serge Chaumette, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), The authors acknowledge the support of the ASIMUT project A-1341-RT-GP, which is coordinated by the European Defence Agency (EDA) and partially funded by 8 contributing Members (Austria, France, Germany, Italy, Luxembourg, The Netherlands, Poland and Sweden) in the framework of the Joint Investment Programme on Innovative Concepts and Emerging Technologies 2. The ASIMUT project consortium is composed of Thales, Fraunhofer IOSB, Fly-n-Sense, University of Bordeaux and University of Luxembourg., European Project: A-1341-RT-GP,ASIMUT, Rosalie, Martin, and Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
Subjects: decisional autonomy, 0209 industrial biotechnology, Engineering, Mobility model, Fire fighter, Operations research, Situation management, media_common.quotation_subject, cooperative UAV, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, 020901 industrial engineering & automation, Conflicting objectives, 0202 electrical engineering, electronic engineering, information engineering, Mobility management, media_common, business.industry, 020206 networking & telecommunications, multilevel swarm, mobility model, Risk analysis (engineering), [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Area coverage, Position paper, [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.3: Multiagent systems, business, Autonomy
Abstract: International audience; The development and usage of Unmanned Aerial Vehicles (UAVs) quickly increased in the last decades, mainly for military purposes. Nowadays, this type of technology is used in non-military contexts mainly for civil and environment protection: search & rescue teams, fire fighters, police officers , environmental scientific studies, etc. Although the technology for operating a single UAV is now mature, additional efforts are still necessary for using UAVs in fleets (or swarms). This position paper presents the ASIMUT project (Aid to SItuation Management based on MUltimodal, MUltiUAVs, MUltilevel acquisition Techniques). The challenges of this project consist of handling several fleets of UAVs including communication, networking and positioning aspects. This motivates the development of novel multilevel cooperation algorithms which is an area that has not been widely explored , especially when autonomy is an additional challenge. Moreover, we will provide techniques to optimize communications for multilevel swarms. Finally, we will develop distributed and localized mobility management algorithms that will cope with conflicting objectives such as connectiv-ity maintenance and geographical area coverage.
Published: 2016
Full Text: View/download PDF

34. Feature Location Benchmark for Software Families Using Eclipse Community Releases

Author: Yves Le Traon, Tegawendé F. Bissyandé, Jacques Klein, Mike Papadakis, Tewfik Ziadi, Jabier Martinez, Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), University of Luxembourg [Luxembourg], Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), and Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu)
Subjects: Computer science [C05] [Engineering, computing & technology], Ground truth, business.industry, Computer science, Common ground, 020207 software engineering, Context (language use), 02 engineering and technology, computer.software_genre, Machine learning, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software, Feature (computer vision), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), [INFO]Computer Science [cs], Artificial intelligence, Data mining, business, Implementation, computer, Eclipse
Abstract: International audience; It is common belief that high impact research in software reuse requires assessment in realistic, non-trivial, comparable, and reproducible settings. However, real software artefacts and common representations are usually unavailable. Also, establishing a representative ground truth is a challenging and debatable subject. Feature location in the context of software families is a research field that is becoming more mature with a high proliferation of techniques. We present EFLBench, a benchmark and a framework to provide a common ground for this field. EFLBench leverages the efforts made by the Eclipse Community which provides real feature-based family artefacts and their implementations. Eclipse is an active and non-trivial project and thus, it establishes an unbiased ground truth. EFLBench is publicly available and supports all tasks for feature location techniques integration, benchmark construction and benchmark usage. We demonstrate its usage and its simplicity and reproducibility by comparing four techniques.
Published: 2016
Full Text: View/download PDF

35. Regime switching model for financial data: empirical risk analysis

Author: Nicolas Champagnat, Antoine Lejay, Khaled Salhi, Nicolas Navet, Madalina Deaconu, TO Simulate and CAlibrate stochastic models (TOSCA), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), and Collaboration : PME Alphability
Subjects: Statistics and Probability, Market risk, Computer science, Calibration (statistics), Autoregressive conditional heteroskedasticity, 02 engineering and technology, power tail distribution, regime switching, Power law, Hidden Markov Model, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM], 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Econometrics, Power tail distribution, [MATH]Mathematics [math], Extreme value theory, Hidden Markov model, Volatility clustering, 050208 finance, Financial markets, 05 social sciences, Financial market, Value-at-Risk, Univariate, Regime switching, Condensed Matter Physics, Mathematics [G03] [Physical, chemical, mathematical & earth Sciences], 020201 artificial intelligence & image processing, Mathématiques [G03] [Physique, chimie, mathématiques & sciences de la terre], Value at risk
Abstract: International audience; This paper constructs a regime switching model for the univariate Value-at-Risk estimation. Extreme value theory (EVT) and hidden Markov models (HMM) are combined to estimate a hybrid model that takes volatility clustering into account. In the first stage, HMM is used to classify data in crisis and steady periods, while in the second stage, EVT is applied to the previously classified data to rub out the delay between regime switching and their detection. This new model is applied to prices of numerous stocks exchanged on NYSE Euronext Paris over the period 2001-2011. We focus on daily returns for which calibration has to be done on a small dataset. The relative performance of the regime switching model is benchmarked against other well-known modeling techniques, such as stable, power laws and GARCH models.The empirical results show that the regime switching model increases predictive performance of financial forecasting according to the number of violations and tail-loss tests. This suggests that the regime switching model is a robust forecasting variant of power laws model while remaining practical to implement the VaR measurement.
Published: 2016
Full Text: View/download PDF

36. Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS

Author: Ciarletta, Laurent, Fejoz, Loïc, Guenard, Adrien, Navet, Nicolas, SIMulating and Building IOT (SIMBIOT), Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Realtime-at-Work (RTaW), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Ciarletta, Laurent, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), and Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: safety, Computer science [C05] [Engineering, computing & technology], certification, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], hybrid, uav, model-based fault-injection, model-based design, programming language, Sciences informatiques [C05] [Ingénierie, informatique & technologie], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], unmanned aircraft systems, embedded systems, uas, parachute
Abstract: International audience; The use of Unmanned Aerial Systems (UAS) can be leveraged in many application domains ranging from agriculture to industry, opening up a wealth of new possibilities. However, UAS obviously raise important safety concerns and the use of the techniques, processes and standards developed for the aeronautic industry is not a feasible solution for most UAS. There is a need to bring in novel and pragmatic solutions to develop provably safe UAS in a time and cost-affordable manner. This paper reports on the development of a smart parachute which provides a safe-crash (termination) solution for UAS, one of the core safety requirements which can be complemented by other safety components in an incremental manner. The requirements elicitation phase, the design and partial verification of the termination system has been carried out using CPAL, a lightweight model-based design environment for embedded systems. The study illustrates on a specific requirement of the system how simulation and fault-injection on models can be used to provide evidence that the parachute system meets its design objectives.
Published: 2016

37. Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet

Author: Boyer, Marc, Daigmorte, Hugo, Navet, Nicolas, Migge, Jörn, ONERA - The French Aerospace Lab [Toulouse], ONERA, Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Realtime-at-Work (RTaW), Boyer, Marc, Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), University of Luxembourg (LUXEMBOURG), and RealTime-at-Work (FRANCE)
Subjects: [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Time-Triggered Ethernet, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, worst-case traversal times, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], sensitivity analysis, Worst-Case Traversal Time, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], Traitement du signal et de l'image, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Network Calculus, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, benchmarking
Abstract: International audience; Switched Ethernet is becoming a de-facto standard in industrial and embedded networks. Many of today's applications benefit from Ethernet's high bandwidth, large frame size, multicast and routing capabilities through IP, and the availability of the standard TCP/IP protocols. There are however many variants of Switched Ethernet networks, just considering the MAC level mechanisms on the stations and communication switches. An important technology in that landscape is TTEthernet, standardized as SAE6802, which allows the transmission of both purely time-triggered (TT) traffic and sporadic (or rate-constrained-RC) traffic. To the best of our knowledge, the interactions between both classes of traffic have not been studied so far in realistic configurations. This work aims to shed some light on the kind of performances, in terms of latencies, jitters and useful bandwidth that can be expected from a mixed TT and RC configuration. The following issues will be answered in a quantified manner by sensitivity analysis: How do both classes of traffic interfere with each other? What are the typical worst-case latencies and useful bandwidth that can be expected for a RC stream for various TT traffic loads? What is the overall impact of TTEthernet integration policy for the RC traffic? This study builds on a worst-case traversal time analysis developed by the authors for SAE6802, and explores these questions by experiments performed configurations of various sizes.
Published: 2016

38. Collective and Cooperative Behaviour Models

Author: Dominique Ansel, Damienne Provitolo, Pierre Frankhauser, Christophe Enaux, Dominique Peeters, Myriam Morer, Igor Agbossou, Geoffrey Caruso, Géoazur (GEOAZUR 7329), Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire de la Côte d'Azur, COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Université Côte d'Azur (UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Université Côte d'Azur (UCA)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD [France-Sud]), Théoriser et modéliser pour aménager (UMR 6049) (ThéMA), Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Bourgogne (UB), Laboratoire de Psychologie - UFC (EA 3188) (PSYCHO), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), Image et ville (IV), Centre National de la Recherche Scientifique (CNRS), Université Catholique de Louvain = Catholic University of Louvain (UCL), Université du Luxembourg (Uni.lu), Pierre Frankhauser et Dominique Ansel, ANR-07-BLAN-0029,ECDESUP,L'évaluation, le choix et la décision dans l'usage des espaces urbains et périurbains - Une approche interdisciplinaire des mobilités quotidiennes et résidentielles(2007), Université Côte d'Azur (UCA)-Institut national des sciences de l'Univers (INSU - CNRS)-Institut de Recherche pour le Développement (IRD [France-Sud])-Centre National de la Recherche Scientifique (CNRS)-Observatoire de la Côte d'Azur, Université Côte d'Azur (UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), Centre National de la Recherche Scientifique (CNRS)-Université de Bourgogne (UB)-Université de Franche-Comté (UFC), Laboratoire de Psychologie - UFC (UR 3188) (PSYCHO), Université Côte d'Azur (UCA)-Université Côte d'Azur (UCA)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD [France-Sud]), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Catholique de Louvain (UCL), ANR-07-BLAN-0029,BLANC,L'évaluation, le choix et la décision dans l'usage des espaces urbains et périurbains - Une approche interdisciplinaire des mobilités quotidiennes et résidentielles(2007), Géoazur ( GEOAZUR ), Université Nice Sophia Antipolis ( UNS ), Université Côte d'Azur ( UCA ) -Université Côte d'Azur ( UCA ) -Institut national des sciences de l'Univers ( INSU - CNRS ) -Observatoire de la Côte d'Azur, Université Côte d'Azur ( UCA ) -Centre National de la Recherche Scientifique ( CNRS ), Théoriser et modéliser pour aménager ( ThéMA ), Université de Bourgogne ( UB ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Franche-Comté ( UFC ), Laboratoire de Psychologie - UFC ( PSYCHO ), Université de Franche-Comté ( UFC ), Image et ville ( IV ), Centre National de la Recherche Scientifique ( CNRS ), Université Catholique de Louvain ( UCL ), Université du Luxembourg ( Uni.lu ), ANR-07-BLAN-0029,BLANC,L'évaluation, le choix et la décision dans l'usage des espaces urbains et périurbains - Une approche interdisciplinaire des mobilités quotidiennes et résidentielles ( 2007 ), Université de Bourgogne Franche-Comté, Théoriser et modéliser pour aménager (UMR 6049), and Blanc - L'évaluation, le choix et la décision dans l'usage des espaces urbains et périurbains - Une approche interdisciplinaire des mobilités quotidiennes et résidentielles - - ECDESUP2007 - ANR-07-BLAN-0029 - BLANC - VALID
Subjects: Collective behavior, Societal context, [SHS.GEO] Humanities and Social Sciences/Geography, [SHS.PSY]Humanities and Social Sciences/Psychology, [SHS.GEO]Humanities and Social Sciences/Geography, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, [ SHS.GEO ] Humanities and Social Sciences/Geography, Focus (linguistics), [SHS.PSY] Humanities and Social Sciences/Psychology, Microeconomics, residential choice, [ SHS.PSY ] Humanities and Social Sciences/Psychology, behaviour models, Self organisation, Scale (social sciences), Indirect utility function, [ SHS.ECO ] Humanities and Social Sciences/Economies and finances, Sociology, [SHS.ECO] Humanities and Social Sciences/Economics and Finance, Set (psychology), Social psychology
Abstract: International audience; In modelling residential choice we cannot escape the debate about the effect of societal context on an individual’s decision-making. This debate depends on whether we set more store by the aggregate scale of society or by the individual’s decision-making. An individual-centred approach will focus on the particularities of an individual and the way her past, for example, influences her decisions.
Published: 2016

39. Dévissage of a Poisson boundary under equivariance and regularity conditions

Author: Camille Tardif, Jürgen Angst, Institut de Recherche Mathématique de Rennes ( IRMAR ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -AGROCAMPUS OUEST-École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Université de Rennes 2 ( UR2 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ), Université du Luxembourg ( Uni.lu ), Catherine Donati-Martin, Antoine Lejay, Alain Rouault, Institut de Recherche Mathématique de Rennes (IRMAR), AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université du Luxembourg (Uni.lu), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, and Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)
Subjects: 010102 general mathematics, Mathematical analysis, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS], 01 natural sciences, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], 010104 statistics & probability, symbols.namesake, Wiener process, Uniqueness theorem for Poisson's equation, Harmonic function, Minkowski space, Compound Poisson process, symbols, Infinitesimal generator, 0101 mathematics, 60J45, 60J60, 53C30, 58D19, [ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR], Brownian motion, Poisson algebra, Mathematics
Abstract: We present a method that allows, under suitable equivariance and regularity conditions, to determine the Poisson boundary of a diffusion starting from the Poisson boundary of a sub-diffusion of the original one. We then give two examples of application of this devissage method. Namely, we first recover the classical result that the Poisson boundary of Brownian motion on a rotationally symmetric manifolds is generated by its escape angle, and we then give an “elementary” probabilistic proof of the delicate result of Bailleul (Probab Theory Relat Fields 141(1–2):283-329, 2008), i.e. the determination of the Poisson boundary of the relativistic Brownian motion in Minkowski space-time.
Published: 2016
Full Text: View/download PDF

40. IoT-based Smart Parking System for Sporting Event Management

Author: Kubler, Sylvain, Robert, Jérémy, Hefnawy, Ahmed, Cherifi, Chantal, Bouras, Abdelaziz, Främling, Kary, Department of Industrial Engineering and Management, Department of Computer Science, Université Lumière Lyon 2, Qatar University, Aalto-yliopisto, Aalto University, Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Environnements, Dynamiques et Territoires de la Montagne (EDYTEM), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS), Décision et Information pour les Systèmes de Production (DISP), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université Lumière - Lyon 2 (UL2), and Interdisciplinary Centre for Security, Reliability and Trust [research center]
Subjects: Standards, Internet of things, Standardization, computer.internet_protocol, Computer science, Interoperability, Internet of Things, Context (language use), 02 engineering and technology, Computer security, computer.software_genre, Smart city, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Added value, Messaging protocols, [INFO]Computer Science [cs], Product lifecycle management, Computer science [C05] [Engineering, computing & technology], ta113, Government, business.industry, 020206 networking & telecommunications, Service oriented Architecture, Service-oriented architecture, Service provider, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Product Lifecycle Management, 13. Climate action, [SDE]Environmental Sciences, 020201 artificial intelligence & image processing, Telecommunications, business, computer
Abstract: openaire: EC/H2020/688203/EU//BIoTope By connecting devices, people, vehicles and infrastructures everywhere in a city, governments and their partners can improve community wellbeing and other economic and financial aspects (e.g., cost and energy savings). Nonetheless, smart cities are complex ecosystems that comprise many different stakeholders (network operators, managed service providers, logistic centers...) who must work together to provide the best services and unlock the commercial potential of the IoT. This is one of the major challenges that faces today's smart city movement, and more generally the IoT as a whole. Indeed, while new smart connected objects hit the market every day, they mostly feed "vertical silos" (e.g., vertical apps, siloed apps...) that are closed to the rest of the IoT, thus hampering developers to produce new added value across multiple platforms. Within this context, the contribution of this paper is twofold: (i) present the EU vision and ongoing activities to overcome the problem of vertical silos; (ii) introduce recent IoT standards used as part of a recent Horizon 2020 IoT project to address this problem. The implementation of those standards for enhanced sporting event management in a smart city/government context (FIFA World Cup 2022) is developed, presented, and evaluated as a proof-of-concept.
Published: 2016
Full Text: View/download PDF

41. Early glottis cancer involving the anterior commissure treated by transoral laser cordectomy

Author: Hoffmann, Caroline, Cornu, Nicolas, Hans, Stéphane, Sadoughi, Babak, Badoual, Cécile, Brasnu, Daniel, Centre de Recherche Publique- Santé, Université du Luxembourg ( Uni.lu ), LPP - Laboratoire de Phonétique et Phonologie - UMR 7018 ( LPP ), Université Sorbonne Nouvelle - Paris 3-Centre National de la Recherche Scientifique ( CNRS ), Service d'oto-rhino-laryngologie et chirurgie cervico-faciale [CHU HEGP], Assistance publique - Hôpitaux de Paris (AP-HP)-Hôpital Européen Georges Pompidou [APHP] ( HEGP ), Paris-Centre de Recherche Cardiovasculaire ( PARCC - U970 ), Hôpital Européen Georges Pompidou [APHP] ( HEGP ) -Université Paris Descartes - Paris 5 ( UPD5 ) -Institut National de la Santé et de la Recherche Médicale ( INSERM ), Service d'anatomo-pathologie [CHU HEGP], Hôpital Européen Georges Pompidou [APHP] ( HEGP ), Université du Luxembourg (Uni.lu), LPP - Laboratoire de Phonétique et Phonologie - UMR 7018 (LPP), Université Sorbonne Nouvelle - Paris 3-Centre National de la Recherche Scientifique (CNRS), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Paris-Centre de Recherche Cardiovasculaire (PARCC - UMR-S U970), Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Hôpital Européen Georges Pompidou [APHP] (HEGP), Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Université Paris Descartes - Paris 5 (UPD5)-Hôpital Européen Georges Pompidou [APHP] (HEGP), Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (APHP)-Institut National de la Santé et de la Recherche Médicale (INSERM), Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO)-Assistance publique - Hôpitaux de Paris (AP-HP) (APHP), and Lo Bue, Gwénaëlle
Subjects: squamous cell carcinoma, laryngoscopic surgery, [ SHS.LANGUE ] Humanities and Social Sciences/Linguistics, glottis, anterior commissure, Laryngeal carcinoma, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [SHS.LANGUE] Humanities and Social Sciences/Linguistics, ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2016

42. Generalization of the Nualart-Peccati criterion

Author: Guillaume Mijoule, Dominique Malicet, Guillaume Poly, Ehsan Azmoodeh, Université du Luxembourg ( Uni.lu ), Pontifical Catholic University of Rio de Janeiro ( PUC ), Probabilités et Statistique, Laboratoire de Mathématiques d'Orsay ( LM-Orsay ), Université Paris-Sud - Paris 11 ( UP11 ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Paris-Sud - Paris 11 ( UP11 ) -Centre National de la Recherche Scientifique ( CNRS ), Institut de Recherche Mathématique de Rennes ( IRMAR ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -AGROCAMPUS OUEST-École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Université de Rennes 2 ( UR2 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ), Université du Luxembourg (Uni.lu), Pontifical Catholic University of Rio de Janeiro (PUC), Laboratoire de Mathématiques d'Orsay (LM-Orsay), Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11), Institut de Recherche Mathématique de Rennes (IRMAR), AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, and Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)
Subjects: Statistics and Probability, Gaussian, Gamma-calculus, moment inequalities, Malliavin calculus, Nualart–Peccati criterion, 01 natural sciences, Normal distribution, 010104 statistics & probability, symbols.namesake, 60H07, Mathematics::Probability, 60F05, FOS: Mathematics, 60F05, 47D07, 33C45, 60H07, 34L05, 47D07, 0101 mathematics, Mathematics, Discrete mathematics, $\Gamma$-calculus, Sequence, Hermite polynomials, Markov diffusive generators, Probability (math.PR), 010102 general mathematics, 16. Peace & justice, 33C45, Moment (mathematics), [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], 34L05, Distribution (mathematics), Convergence of random variables, symbols, Statistics, Probability and Uncertainty, Spectral theory, [ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR], Mathematics - Probability
Abstract: The celebrated Nualart-Peccati criterion [Ann. Probab. 33 (2005) 177-193] ensures the convergence in distribution toward a standard Gaussian random variable $N$ of a given sequence $\{X_n\}_{n\ge1}$ of multiple Wiener-It\^{o} integrals of fixed order, if $\mathbb {E}[X_n^2]\to1$ and $\mathbb {E}[X_n^4]\to \mathbb {E}[N^4]=3$. Since its appearance in 2005, the natural question of ascertaining which other moments can replace the fourth moment in the above criterion has remained entirely open. Based on the technique recently introduced in [J. Funct. Anal. 266 (2014) 2341-2359], we settle this problem and establish that the convergence of any even moment, greater than four, to the corresponding moment of the standard Gaussian distribution, guarantees the central convergence. As a by-product, we provide many new moment inequalities for multiple Wiener-It\^{o} integrals. For instance, if $X$ is a normalized multiple Wiener-It\^{o} integral of order greater than one, \[\forall k\ge2,\qquad \mathbb {E}\bigl[X^{2k}\bigr]>\mathbb {E} \bigl[N^{2k}\bigr]=(2k-1)!!.\], Comment: Published at http://dx.doi.org/10.1214/14-AOP992 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Published: 2016
Full Text: View/download PDF

43. Formalisation de contextes et d’exigences pour la validation formelle de logiciels embarqués

Author: Yves Le Traon, Amine Raji, Beno It Baudry, Jean-Charles Roger, Philippe Dhaussy, Frédéric Boniol, Lab-STICC_ENSTAB_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), ONERA - The French Aerospace Lab [Toulouse], ONERA, Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications (ENSEEIHT), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées, Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Reliable and efficient component based software engineering (TRISKELL), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Université de Toulouse (UT)-Université de Toulouse (UT), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique
Subjects: Computer science [C05] [Engineering, computing & technology], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], modèles de contexte, 020207 software engineering, 02 engineering and technology, Sciences informatiques [C05] [Ingénierie, informatique & technologie], vérification, scénarios, automates temporisés, patrons de propriétés, exigences formelles, observateurs, cas d'utilisation, Contextes de preuve, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, contexte
Abstract: International audience; Un des défis posés aux méthodes formelles est leur intégration dans les processus de développement industriel. Une des difficultés rencontrées par les techniques formelles telles que le model-checking est l'explosion de l'espace des états à explorer lors de la vérification. Pour réduire cet espace des états, il est nécessaire de décrire le comportement de l'environnement qui est en interaction avec le système à valider. Cet article s'intéresse à la formalisation de cet environnement que nous nommons " contexte " en lien avec la formalisation des propriétés. Dans ce but, nous proposons et expérimentons un DSL, nommé CDL (Context Description Language) reposant d'une part sur des diagrammes d'activités et de séquences pour l'expression du comportement de l'environnement, et d'autre part sur la notion d'observateur pour l'expression des propriétés à vérifier. Afin de contourner l'explosion des états produite par la composition des modèles de l'environnement et du système à valider, nous appliquons une technique de partitionnement du comportement de l'environnement en sous-contextes analysables séparément. Nous illustrons notre contribution par un exemple, et présentons les retours d'expérience obtenus sur six cas d'études industriels.
Published: 2012
Full Text: View/download PDF

44. Prospective ergonomics: origin, goal, and prospects

Author: Jean-Marc Robert, Eric Brangier, Computer Science and Communications Research Unit [Luxembourg] (CSC), Laboratory of Advanced Software SYstems [Luxembourg] (LASSY), Université du Luxembourg (Uni.lu)-Université du Luxembourg (Uni.lu), Psychologie Ergonomique et Sociale pour l'Expérience utilisateurs (PErSEUs), and Université de Lorraine (UL)
Subjects: Scope (project management), Computer science, Management science, 05 social sciences, Rehabilitation, Public Health, Environmental and Occupational Health, [SCCO.COMP]Cognitive science/Computer science, Human factors and ergonomics, Functional requirement, Risk analysis (engineering), [SCCO.PSYC]Cognitive science/Psychology, 0502 economics and business, Needs assessment, Humans, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, 0501 psychology and cognitive sciences, Ergonomics, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], User needs, Needs Assessment, 050203 business & management, 050107 human factors
Abstract: International audience; So far ergonomics has been concerned with two categories of activities: correction and design. We propose to add a third category: prospection, and by so doing, we introduce a new series of activities that opens up the future of ergonomics. Corrective ergonomics relates to the past and comes with a demand and a client. It is turned towards the correction of existing situations and aims to reduce or eliminate problems. Here, after delimiting and defining the problem, the challenge is to find the best solution. Ergonomics for design relates to the present and also comes with a demand and a client. It is turned towards the design of new artefacts that have already been identified by a client, and that will allow users to do some activity and attain their goals. Here, after defining the scope of the project and the functional requirements, the challenge is to do the best design. Finally, prospective ergonomics relates to the future and does not come with a demand and a client. It is turned towards the creation of future things that have not been identified yet. Here the challenge is to detect existing user needs or anticipate future ones, and imagine solutions. These three categories of activities overlap and are not exclusive of each other. In this paper we define prospective ergonomics and compare it with corrective ergonomics and ergonomics for design. We describe its origin, goal, and prospects, we analyze its impacts on education and practice, and we emphasize the need of new collaboration between ergonomics and other disciplines.
Published: 2012
Full Text: View/download PDF

45. miR-661 expression in SNAI1-induced epithelial to mesenchymal transition contributes to breast cancer cell invasion by targeting Nectin-1 and StarD10 messengers

Author: Khalil Arar, Christina Laurini, Michèle Sabbah, Laurent Vallar, Michèle Moes, Charles-Henri Lecellier, Evelyne Friederich, A. Le Bechec, Guillaume Vetter, Anne Saumet, Charles Theillet, Le Ster, Yves, Cytoskeleton and Cell Plasticity Lab, Université du Luxembourg (Uni.lu), Institut de recherche en cancérologie de Montpellier (IRCM - U896 Inserm - UM1), Université Montpellier 1 (UM1)-CRLCC Val d'Aurelle - Paul Lamarque-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Montpellier (UM), Centre de Recherche Publique- Santé, Centre de Recherche Saint-Antoine (UMRS893), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de la Santé et de la Recherche Médicale (INSERM), Sigma-Aldrich - Evry GENEPOLE, Sigma-Aldrich, Institut de Génétique Moléculaire de Montpellier (IGMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), This work was supported by grants from the Fond National de la Recherche (FNR) du Luxembourg, (BIOSAN), the Fondation Luxembourgeoise Contre le Cancer, Human Frontier Science Program (RGP0058/2005), INSERM and CNRS, France. A. Saumet is a recipient of a fellowship from the Ministère de la Culture, de l'Enseignement Supérieur et de la Recherche, Luxembourg (BFR 08/046). M. Moes and A. Le Béchec are supported by AFR grants from the Fond National de la Recherche, Luxembourg., CRLCC Val d'Aurelle - Paul Lamarque-Université de Montpellier (UM)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Montpellier 1 (UM1), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université du Luxembourg ( Uni.lu ), Institut de recherche en cancérologie de Montpellier ( IRCM ), Université Montpellier 1 ( UM1 ) -CRLCC Val d'Aurelle - Paul Lamarque-Institut National de la Santé et de la Recherche Médicale ( INSERM ) -Université de Montpellier ( UM ), Centre de Recherche Saint-Antoine ( CR Saint-Antoine ), Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Institut National de la Santé et de la Recherche Médicale ( INSERM ), Institut de Génétique Moléculaire de Montpellier ( IGMM ), and Université de Montpellier ( UM ) -Centre National de la Recherche Scientifique ( CNRS )
Subjects: SNAI1, Cancer Research, MESH : RNA, Messenger, MESH : Transcription Factors, MESH : Cell Dedifferentiation, Gene Expression, MESH : Breast Neoplasms, Biochemistry, biophysics & molecular biology [F05] [Life sciences], Validation Studies as Topic, MESH : RNA, Small Interfering, medicine.disease_cause, Bioinformatics, MESH : Neoplasm Invasiveness, [ SDV.CAN ] Life Sciences [q-bio]/Cancer, Metastasis, 0302 clinical medicine, MESH : Tumor Cells, Cultured, MESH : Validation Studies as Topic, EMT/miR-661/ SNAI1/StarD10/Nectin-1/breast cancer cell invasion, MESH: RNA, Small Interfering, Tumor Cells, Cultured, MESH : Female, RNA, Small Interfering, Biochimie, biophysique & biologie moléculaire [F05] [Sciences du vivant], Oligonucleotide Array Sequence Analysis, 0303 health sciences, EMT, MESH: Transcription Factors, MESH: Gene Expression Regulation, Neoplastic, MESH : Epithelial Cells, Gene Expression Regulation, Neoplastic, MESH : Oligonucleotide Array Sequence Analysis, MESH: Epithelial Cells, 030220 oncology & carcinogenesis, MESH: Cell Adhesion Molecules, Female, Breast disease, StarD10, Nectin-1, MESH: Gene Expression, MESH : Gene Expression Regulation, Neoplastic, Nectins, Breast Neoplasms, [SDV.CAN]Life Sciences [q-bio]/Cancer, Biology, MESH: Phosphoproteins, MESH : Cell Adhesion Molecules, MESH: Gene Expression Profiling, 03 medical and health sciences, [SDV.CAN] Life Sciences [q-bio]/Cancer, microRNA, Genetics, medicine, Humans, Gene silencing, Neoplasm Invasiveness, RNA, Messenger, MESH: Tumor Cells, Cultured, Epithelial–mesenchymal transition, Molecular Biology, MESH: RNA, Messenger, 030304 developmental biology, breast cancer cell invasion, MESH: Validation Studies as Topic, MESH: Humans, MESH : Gene Expression Profiling, Gene Expression Profiling, MESH : Humans, Cancer, Epithelial Cells, Mesenchymal Stem Cells, MESH: Neoplasm Invasiveness, Cell Dedifferentiation, Phosphoproteins, medicine.disease, MESH: Cell Dedifferentiation, miR-661, MESH : Gene Expression, MESH : MicroRNAs, MicroRNAs, Retraction Note, MESH: Mesenchymal Stem Cells, MESH: Oligonucleotide Array Sequence Analysis, Cancer research, Snail Family Transcription Factors, MESH : Phosphoproteins, MESH : Mesenchymal Stem Cells, Carcinogenesis, Cell Adhesion Molecules, MESH: MicroRNAs, MESH: Female, MESH: Breast Neoplasms, Transcription Factors
Abstract: 4; International audience; Epithelial to mesenchymal transition (EMT) is a key step toward metastasis. MCF7 breast cancer cells conditionally expressing the EMT master regulator SNAI1 were used to identify early expressed microRNAs (miRNAs) and their targets that may contribute to the EMT process. Potential targets of miRNAs were identified by matching lists of in silico predicted targets and of inversely expressed mRNAs. MiRNAs were ranked based on the number of predicted hits, highlighting miR-661, a miRNA with so far no reported role in EMT. MiR-661 was found required for efficient invasion of breast cancer cells by destabilizing two of its predicted mRNA targets, the cell-cell adhesion protein Nectin-1 and the lipid transferase StarD10, resulting, in turn, in the downregulation of epithelial markers. Reexpression of Nectin-1 or StarD10 lacking the 3'-untranslated region counteracted SNAI1-induced invasion. Importantly, analysis of public transcriptomic data from a cohort of 295 well-characterized breast tumor specimen revealed that expression of StarD10 is highly associated with markers of luminal subtypes whereas its loss negatively correlated with the EMT-related, basal-like subtype. Collectively, our non-a priori approach revealed a nonpredicted link between SNAI1-triggered EMT and the down-regulation of Nectin-1 and StarD10 through the up-regulation of miR-661, which may contribute to the invasion of breast cancer cells and poor disease outcome.
Published: 2010
Full Text: View/download PDF

46. Optimal discretion in asylum lawmaking

Author: Jenny Monheim-Helstroffer, Marie Obidzinski, Center for Research in Economic Analysis (CREA), Université du Luxembourg (Uni.lu), Centre de REcherches sur les Stratégies Economiques (EA 3190) (CRESE), Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), Center for Research in Economic Analysis ( CREA ), Université du Luxembourg ( Uni.lu ), Centre de REcherches sur les Stratégies Economiques - UFC ( CRESE ), Université Bourgogne Franche-Comté ( UBFC ) -Université de Franche-Comté ( UFC ), and Centre de REcherches sur les Stratégies Economiques (UR 3190) (CRESE)
Subjects: Economics and Econometrics, JEL : K - Law and Economics/K.K3 - Other Substantive Areas of Law/K.K3.K33 - International Law, Competition in law making, jel:D62, media_common.quotation_subject, Refugee, jel:D61, JEL: D - Microeconomics/D.D6 - Welfare Economics/D.D6.D62 - Externalities, JEL : D - Microeconomics/D.D6 - Welfare Economics/D.D6.D62 - Externalities, International trade, Lawmaking, Regulatory competition, JEL : H - Public Economics/H.H1 - Structure and Scope of Government/H.H1.H11 - Structure, Scope, and Performance of Government, JEL : D - Microeconomics/D.D6 - Welfare Economics/D.D6.D61 - Allocative Efficiency • Cost–Benefit Analysis, 0502 economics and business, Refugee law, 050602 political science & public administration, [ SHS.ECO ] Humanities and Social Sciences/Economies and finances, Human rights, 050207 economics, Competition in law making,Asylum law,European law,Flexible law,Human rights, media_common, competition in law making, asylum law, European law, human rights, European Union law, Flexible law, Race to the bottom, business.industry, JEL: K - Law and Economics/K.K3 - Other Substantive Areas of Law/K.K3.K33 - International Law, 05 social sciences, jel:H11, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, 16. Peace & justice, Discretion, Asylum law, European law, JEL: H - Public Economics/H.H1 - Structure and Scope of Government/H.H1.H11 - Structure, Scope, and Performance of Government, 0506 political science, jel:K33, JEL: D - Microeconomics/D.D6 - Welfare Economics/D.D6.D61 - Allocative Efficiency • Cost–Benefit Analysis, business, Law, Finance, Externality
Abstract: This paper studies whether refugee law should be centralized, how it should be centralized, and what are the consequences for migrants seeking protection as well as for host countries. Jurisdictions face different refugee in ows. We show that the resulting varying levels of strictness of the eligibility criteria create a legal externality which leads to a "race to the bottom", or a toughening, of asylum standards. They are stricter than the Pareto efficient level. To solve this problem, we consider two forms of harmonization: fixed and minimum standards. We find no proof that either type would lead to a better result for the member countries than national asylum law making. However, the system of minimum standards is clearly best for refugees, and that it is and better than total harmonization for both host countries.
Published: 2010
Full Text: View/download PDF

47. Transcriptional repression of microRNA genes by PML-RARA increases expression of key cancer proteins in acute promyelocytic leukemia

Author: Bernard Mari, Elodie Portales-Casamar, Bruno Cassinat, Evelyne Friederich, Christine Chomienne, Khalil Arar, Pascal Barbry, Thomas Maurin, Anne Saumet, Manuella Bouttier, Laurent Vallar, Guillaume Vetter, Charles-Henri Lecellier, Wyeth W. Wasserman, Institut de génétique humaine (IGH), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Cytoskeleton and Cell Plasticity Lab, Université du Luxembourg (Uni.lu), Institut de Génétique Moléculaire de Montpellier (IGMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), University of British Columbia (UBC), Institut de pharmacologie moléculaire et cellulaire (IPMC), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche Public Santé, CRP-Santé Luxembourg, Sigma-Proligo, Granulopoiese et Processus Leucemiques (UMR_S_718), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Diderot - Paris 7 (UPD7), Institut de génétique humaine ( IGH ), Université de Montpellier ( UM ) -Centre National de la Recherche Scientifique ( CNRS ), Université du Luxembourg ( Uni.lu ), Institut de Génétique Moléculaire de Montpellier ( IGMM ), University of British Columbia ( UBC ), Institut de pharmacologie moléculaire et cellulaire ( IPMC ), Université Nice Sophia Antipolis ( UNS ), Université Côte d'Azur ( UCA ) -Université Côte d'Azur ( UCA ) -Centre National de la Recherche Scientifique ( CNRS ), Granulopoiese et Processus Leucemiques, and Université Paris Diderot - Paris 7 ( UPD7 ) -Institut National de la Santé et de la Recherche Médicale ( INSERM )
Subjects: Oncogene Proteins, Fusion, Transcription, Genetic, Retinoic acid, MESH : Leukemia, Promyelocytic, Acute, MESH : Oncogene Proteins, Fusion, Biochemistry, chemistry.chemical_compound, 0302 clinical medicine, Leukemia, Promyelocytic, Acute, MESH : Tumor Markers, Biological, MESH : Homeodomain Proteins, RNA, Neoplasm, MESH : Tretinoin, Regulation of gene expression, 0303 health sciences, Gene Expression Regulation, Leukemic, Myeloid leukemia, Hematology, MESH : Arsenic, 3. Good health, MESH : Antineoplastic Agents, Leukemia, 030220 oncology & carcinogenesis, MESH: Cell Adhesion Molecules, MESH: Gene Expression Regulation, Leukemic, medicine.drug, Acute promyelocytic leukemia, MESH: Cell Line, Tumor, Immunology, Antineoplastic Agents, Tretinoin, Biology, MESH : Cell Adhesion Molecules, Arsenic, 03 medical and health sciences, Cell Line, Tumor, MESH: Arsenic, MESH: Homeodomain Proteins, microRNA, Biomarkers, Tumor, medicine, Humans, [SDV.BBM]Life Sciences [q-bio]/Biochemistry, Molecular Biology, [ SDV.BBM ] Life Sciences [q-bio]/Biochemistry, Molecular Biology, 030304 developmental biology, Homeodomain Proteins, MESH: Tretinoin, MESH: Humans, MESH : Cell Line, Tumor, MESH: Transcription, Genetic, MESH : Humans, MESH : Transcription, Genetic, Cell Biology, MESH: RNA, Neoplasm, medicine.disease, MESH : MicroRNAs, MicroRNAs, MESH : RNA, Neoplasm, MESH : Gene Expression Regulation, Leukemic, chemistry, Retinoic acid receptor alpha, MESH: Tumor Markers, Biological, Cancer research, MESH: Antineoplastic Agents, Cell Adhesion Molecules, MESH: MicroRNAs, MESH: Leukemia, Promyelocytic, Acute, MESH: Oncogene Proteins, Fusion
Abstract: Micro(mi)RNAs are small noncoding RNAs that orchestrate many key aspects of cell physiology and their deregulation is often linked to distinct diseases including cancer. Here, we studied the contribution of miRNAs in a well-characterized human myeloid leukemia, acute promyelocytic leukemia (APL), targeted by retinoic acid and trioxide arsenic therapy. We identified several miRNAs transcriptionally repressed by the APL-associated PML-RAR oncogene which are released after treatment with all-trans retinoic acid. These coregulated miRNAs were found to control, in a coordinated manner, crucial pathways linked to leukemogenesis, such as HOX proteins and cell adhesion molecules whose expressions are thereby repressed by the chemotherapy. Thus, APL appears linked to transcriptional perturbation of miRNA genes, and clinical protocols able to successfully eradicate cancer cells may do so by restoring miRNA expression. The identification of abnormal miRNA biogenesis in cancer may therefore provide novel biomarkers and therapeutic targets in myeloid leukemias.
Published: 2009
Full Text: View/download PDF

48. Media Pluralism Monitor Luxembourg 2023

Author: Kies, Raphaël, Lukasik, Stéphanie, Université du Luxembourg (Uni.lu), Institut mediterranéen des sciences de l'information et de la communication (IMSIC), Aix Marseille Université (AMU)-Université de Toulon (UTLN), and Centre for Media Pluralism and Media Freedom
Subjects: Europe, Luxembourg, digital, [SHS.INFO]Humanities and Social Sciences/Library and information sciences, media, pluralism, [SHS]Humanities and Social Sciences
Published: 2023

49. Reinformation: boundary object of digital disinformation to be identified

Author: Lukasik, Stéphanie, Salou, Alexandra, Institut mediterranéen des sciences de l'information et de la communication (IMSIC), Aix Marseille Université (AMU)-Université de Toulon (UTLN), Université du Luxembourg (Uni.lu), Imad Saleh, and Samuel Szoniecky
Subjects: Fake news, réinformation, publics, journalistes, plateformes socionumériques, [SHS.INFO]Humanities and Social Sciences/Library and information sciences, [SHS]Humanities and Social Sciences
Abstract: A partir d’un phénomène très actuel d’objet frontière des « fake news », la réinformation, nous interrogeons la reconfiguration des relations entre les professionnels de l’information et leurs publics au sein des frontières numériques. Cette « réinformation » dans la manière dont elle est construite n'est pas sans lien avec la désinformation. La réinformation relève des fake news au sens où la production et la diffusion d’information d’actualité sont manipulées en fonction d’une idéologie. Un phénomène de diffusion et de production qui a été rendu possible par le fonctionnement même des réseaux socionumériques. Ces derniers par l’utilisation d’algorithmes prédictifs facilitent et amplifient le partage de tels contenus (Edelson et al., 2021) en créant des bulles de filtre (Pariser, 2011). Avec l’avènement de la diffusion de l’information via les réseaux socionumériques, l’information n’est plus seulement l’apanage des journalistes (Coutant, 2016). Le nouvel écosystème informationnel a la particularité de dévoiler un fonctionnement plus complexe tant du point de vue de l’usage, de la réception de l’information mais aussi de la diffusion. Les usagers-récepteurs ont accès le plus souvent à l’information à la manière d’une sérendipité (Ertzscheid, Gallezot, Boutin, 2007). Une horizontalité qui a facilité la propagation de la réinformation, phénomène de défiance des médias qui, à l’origine, issu des mouvances de l’extrême droite s’est depuis généralisé. Nous verrons dans quelle mesure les journalistes peuvent faire face à la réinformation, cette information manipulée dans le but de défendre une idéologie. Et surtout quelles sont les possibilités de reconfiguration des pratiques journalistiques avec le numérique pour répondre aux publics lorsque l’information à l’origine de qualité professionnelle se retrouve manipulée à leur insu.
Published: 2023

50. Towards a scalable load balancing for productivity-aware tree-search

Author: Helbecque, Guillaume, Gmys, Jan, Carneiro, Tiago, Melab, Nouredine, Bouvry, Pascal, Université de Lille, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université du Luxembourg (Uni.lu), and ANR-22-CE46-0011,UltraBO,Calcul ultra-scale pour la résolution de problèmes d'optimisation de grande taille(2022)
Subjects: Productivity-awareness, Distributed programming, Chapel, Depth-first search, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Load balancing, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; In the context of exascale programming, we investigate a parallel distributed productivity-aware tree-search for exact optimization in Chapel. To this end, we present the DistBag-DFS distributed data structure, which is our revisited version of the Chapel’s DistBag data structure for depth-first search. The latter implements a distributed multi-pool, as well as an underlying locality-aware load balancing mechanism. Extensive experiments on large unbalanced tree-based problems are performed, and the competitiveness of our approach is reported against MPI+X implementations in terms of performance. For our best results, we achieve 94% of the ideal speed-up, using up to 64 computer nodes (8192 cores).
Published: 2023

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Journal

Database

Publisher

815 results on '"Université du Luxembourg (Uni.lu)"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources