• ALSOC : Hardware and Software for Embedded System

    system on chip, multiprocessors, manycores, SIMD, GPU, embedded floating point format, embedded operating system, test, verification, compilation, code optimization, SDF

  • APR : Algorithms, Programmes and Resolution

    Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications. Design and implementation of Programming Languages, Static analysis, typechecking, Abstract Interpretation, Concurrency, Parallel Programming, Language and Computation.

  • BD : Database

    big data, data streams, distributed data, data filtering and recommendation, semantic web, social media, JSON, RDF, Apache Spark

  • CIAN : Analog and Digital Integrated Circuit

    AMS circuits, FPGA, ASIC, Full Custom, RF Interface, Circuit Reuse, Intellectual Property (AMS IP), Electronic Design Automation (EDA), Analog to Digital Converters (DAC and ADC, SOC Clocks.

  • ComplexNetworks : Complex Networks

    Graphs, dynamic networks, link streams, graph measurement, graph models, algorithmics, metrology, social networks, Internet topology

  • DECISION : Translate here

    Decision-making under uncertainty and risk, multicriteria decision-making, group decision-making, preference modeling, optimization, graphs and algorithms, heuristic search, Bayesian nets, GAI nets.

  • DELYS : DistributEd aLgorithms and sYstems

    Distributed systems, Distributed Algorithms, Fault Tolerance, Replication, Failure detection, OS Virtualization.

  • LFI : Learning, Fuzzy and Intelligent systems

    Computational intelligence. Fuzzy Logic. Machine Learning. Knowledge and model of reasoning. Explainable Artificial Intelligence (XAI).

  • MOCAH : Models and Tools in Knowledge Engineering for Human Apprenticeship

    Technology Enhanced learning, Artificial intelligence in education, Learning analytics, E-Learning, cognitive diagnosis, learner modeling, adaptive feedback, serious gaming, authoring tools, metadata.

  • MoVe : Modeling and Verification

    Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling

  • PEQUAN : Performance and Quality of Algorithms for Numerical applications

    Computer arithmetic, Rounding errors, Numerical validation, Numerical quality, Heterogeneous and multimodal data, Distributed numerical computing, Linear algebra algorithms in mixed precision, Reliable results, Symbolic/numerical algorithms

  • PolSys : Polynomial Systems

    Computer Algebra. Polynomial System Solving. Gröbner Bases. Complexity. Real roots. Parametric systems. Cryptology. Algebraic Cryptanalysis. Algebraic Computational Geometry. Applications. Symbolic/Numeric Interaction. Software. High performance Linear Algebra.

  • QI : Quantum Information

    Quantum Information, quantum cryptography and cryptology, quantum networks, delegated quantum computing, quantum verification, quantum optics, silicon photonics for quantum technologies, foundations of quantum mechanics

  • RO : Operation Research

    operations research, scheduling, combinatorial optimization, black-box optimization, exact and approximation algorithm, complexity.

  • SMA : Multi-Agent Systems

    Multi-Agent Systems : coordination, interaction, learning, languages and multi-agent platforms

  • SYEL : Electronic Systems

    embedded systems, heterogeneous systems, performances, energy consumption, signal integrity, wireless sensor networks, communicating objects, aeronautics, health

Mentions légales
Mappa del sito