ACTUALITÉS (tout voir)

jan
1
2019
80 ans du CNRS

En 2019, le CNRS fête ses 80 ans (et le laboratoire I3S ses 30 ans). La délégation régionale du CNRS Côte d'Azur (DR20) dont fait partie le laboratoire propose des manifestations pendant toute l'année 2019.
80ans-Cnrs-CA.jpg

oct
21
2019
Most Influential Paper Award à SLE 2019

le 21 octobre 2019, lors de la conférence ACM SIGPLAN International Conference on Software Language Engineering (SLE), Philippe Collet et Philippe Lahire, équipe SPARKS, ont reçu le prix Most Influential Paper award pour l'article "Composing Feature Models" (2009) co-écrit avec Mathieu Acher (ancien doctorant I3S, enseignant-chercheur à l'IRISA) et avec le regrété Robert France.

lien vers le papier primé
oct
26
2019
ISCW 2019

Fabien Gadon, équipe SPARKS, est genral chair de la conférence ISWC, The 18th International Semantic Web Conference, October 26 – 30, 2019, The University of Auckland, New Zealand.

Pour en savoir plus : consultez le site de ISWC 2019
déc
4
2019
CSBIO 2019

Du 4 au 7 décembre 2019, sur le campus Valrose, l'équipe MDSC, et en particulier Elisabetta De Maria (General Chair et Conference Program co-Chair), co-organise la 10eInternational Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019).

Site de la conférence CSBIO 2019
juin
1
2020
JFPC 2020 à Nice

Du 1er au 5 juin 2020, à Nice, l'équipe MDSC, en particulier Arnaud Malapert et Marie Pelleau, organise les 16e Journées Francophones de Programmation par Contraintes (JFPC 2020).

 

ACTUALITÉS

  • oct
    30
    2019
    ISCW 2019

    Fabien Gadon, équipe SPARKS, est genral chair de la conférence ISWC, The 18th International Semantic Web Conference, October 26 – 30, 2019, The University of Auckland, New Zealand.

    Pour en savoir plus : consultez le site de ISWC 2019
  • nov
    5
    2019
    Most Influential Paper Award à SLE 2019

    le 21 octobre 2019, lors de la conférence ACM SIGPLAN International Conference on Software Language Engineering (SLE), Philippe Collet et Philippe Lahire, équipe SPARKS, ont reçu le prix Most Influential Paper award pour l'article "Composing Feature Models" (2009) co-écrit avec Mathieu Acher (ancien doctorant I3S, enseignant-chercheur à l'IRISA) et avec le regrété Robert France.

    lien vers le papier primé
  • déc
    7
    2019
    CSBIO 2019

    Du 4 au 7 décembre 2019, sur le campus Valrose, l'équipe MDSC, et en particulier Elisabetta De Maria (General Chair et Conference Program co-Chair), co-organise la 10eInternational Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019).

    Site de la conférence CSBIO 2019
  • déc
    31
    2019
    80 ans du CNRS

    En 2019, le CNRS fête ses 80 ans (et le laboratoire I3S ses 30 ans). La délégation régionale du CNRS Côte d'Azur (DR20) dont fait partie le laboratoire propose des manifestations pendant toute l'année 2019.
    80ans-Cnrs-CA.jpg

  • juin
    5
    2020
    JFPC 2020 à Nice

    Du 1er au 5 juin 2020, à Nice, l'équipe MDSC, en particulier Arnaud Malapert et Marie Pelleau, organise les 16e Journées Francophones de Programmation par Contraintes (JFPC 2020).

     

LE LABORATOIRE I3S

 C’est sur le campus Sophia Tech, au cœur de la technopole sophipolitaine que notre laboratoire effectue des recherches dans le domaine des sciences de l’information et de la communication.
« Faire avancer la connaissance, tenir compte des réalités économiques et technologiques, tout en imaginant les solutions de demain ».

Le laboratoire I3S est un des plus importants laboratoires de recherche en sciences de l’information et de la communication de la Côte d’Azur et a été un des premiers à s’installer sur la technopole de Sophia Antipolis. Il rassemble un peu moins de 300 personnes. [+...]

En partenariat avec le CNRS et Inria, et par de très nombreuses collaborations industrielles, nous travaillons sur des thématiques de recherche innovantes, à la pointe de la science et de la technologie : systèmes et réseaux ubiquitaires, biologie et santé numériques, modélisation pour l’environnement, interactions et usages. [+...]

 

 

Le laboratoire est constitué de 4 équipes :
Equipe COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués)
Equipe MDSC (Modèles Discrets pour les Systèmes Complexes)
Équipe SIS (Signal, Image et Systèmes)
Équipe SPARKS (acronyme en anglais signifiant logiciels omniprésents à différentes échelles et systèmes centrés sur les connaissances)

 

DERNIERS DÉPÔTS I3S DANS HAL

 
Isma Belouah, Christine Nazaret, Pierre Petriacq, Sylvain Prigent, Camille Bénard, Virginie Mengin, Melisande Blein-Nicolas, Alisandra Denton, Thierry Balliau, Ségolène Augé, Olivier Bouchez, Jean-Pierre Mazat, Mark Stitt, Björn Usadel, Michel Zivy, Bertrand Beauvoit, Yves Gibon, Sophie Colombie.
Modeling Protein Destiny in Developing Fruit.
Plant Physiology, American Society of Plant Biologists, 2019, 180 (3), pp.1709-1724. ⟨10.1104/pp.19.00086⟩
 
Simone Parisotto, Luca Calatroni, Aurélie Bugeau, Nicolas Papadakis, Carola-Bibiane Schönlieb.
Variational Osmosis for Non-linear Image Fusion.
2019
 
Tien Cuong Phi, Alexandre Muzy, Patricia Reynaud-Bouret.
Event-Scheduling Algorithms with Kalikow Decomposition for Simulating Potentially Infinite Neuronal Networks.
SN Computer Science, Springer, 2020, 1 (1), ⟨10.1007/s42979-019-0039-3⟩
Thu Huong Nguyen, Andrea G. B. Tettamanzi.
An Evolutionary Approach to Class Disjointness Axiom Discovery.
2019 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2019, Oct 2019, Thessaloniki, Greece. pp.68-75, ⟨10.1145/3350546.3352502⟩
Alessandro Venerandi, Giovanni Fusco, Andrea G. B. Tettamanzi, David Emsellem.
A Machine Learning Approach to Study the Relationship between Features of the Urban Environment and Street Value.
Urban Science, MDPI, 2019, 3 (3), pp.100. ⟨10.3390/urbansci3030100⟩

FOCUS DU MOIS

N. Isoart and J.-C. Régin: Integration of Structural Constraints into TSP Models. 25th International Conference of Constraint Programming. LNCS, vol. 11802, pp. 284-299, Connecticut, USA 2019. Springer (2019)

Constraint Programming, Global constraint, TSP

Several models based on constraint programming have been proposed to solve the traveling salesman problem (TSP). The most efficient ones, such as the weighted circuit constraint (WCC), mainly rely on the Lagrangian relaxation of the TSP, based on the search for spanning tree or more precisely "1-tree". The weakness of these approaches is that they do not include enough structural constraints and are based almost exclusively on edge costs. The purpose of this paper is to correct this drawback by introducing the Hamiltonian cycle constraint associated with propagators. We propose some properties preventing the existence of a Hamiltonian cycle in a graph or, conversely, properties requiring that certain edges be in the TSP solution set. Notably, The authors design a propagator based on the research of k-cutsets. The combination of this constraint with the WCC constraint allows us to obtain, for the resolution of the TSP, gains of an order of magnitude for the number of backtracks as well as a strong reduction of the computation time.