Maktaba

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

On the Dynamics of Single-Orbit Requester-Provider Systems

Authors : Cordero-Fuertes, Juan-Antonio;

Subjects: networking dynamic systems multi-agent system content distribution adaptive stochastic stability equilibrium mathematical model simulations; networking; dynamic systemsFranceMontreal Quebec Canada, France

Source: MSWiM '23: Int'l ACM Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems ; https://hal.science/hal-04483583 ; MSWiM '23: Int'l ACM Conference on Modeling Analysis and

Record details

Read More Add to Saved list

Conference

Disorientation Faults in CSIDH

Authors : Banegas, Gustavo; Krämer, Juliane; Lange, Tanja ...

Subjects: Faulty-injection attack; Isogenies; Post-quantum CryptographyLyon; France

Source: Lecture Notes in Computer Science ; EUROCRYPT 2023 - Advances in Cryptology ; https://inria.hal.science/hal-04333521 ; EUROCRYPT 2023 - Advances in Cryptology, Apr 2023, Lyon,

Record details

Read More Add to Saved list

Conference

Semi-relaxed Gromov-Wasserstein divergence for graphs classification

Authors : Vincent-Cuaz, Cédric; Flamary, Rémi; Corneli, Marco ...

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]; [STAT]Statistics [stat]Nancy; France

Source: Colloque GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images ; https://hal.science/hal-03839524 ; Colloque GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement

Record details

Read More Add to Saved list

Conference

Conv-NILM-Net, a causal and multi-appliance model for energy source separation

Authors : Alami, Simo; Decock, Jérémie; Kaddah, Rim ...

Subjects: NILM; Single Channel Source Separation; Deep LearningGrenoble; France

Source: European Conference on Machine Learning (ECML), MLBEM Workshop ; https://hal.science/hal-03800568 ; European Conference on Machine Learning (ECML), MLBEM Workshop, Sep 2022, Grenoble,

Record details

Read More Add to Saved list

Conference

Algebraically Closed Fields in Isabelle/HOL

Authors : de Vilhena, Paulo Emílio; Paulson, Lawrence, C.;

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]Paris; France

Source: Automated Reasoning ; IJCAR 2020 - International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-03083589 ; IJCAR 2020 - International Joint Conference on Automated Reasoning,

Record details

Read More Add to Saved list

Conference

Abstract strategies and coherence

Authors : Calk, Cameron; Goubault, Eric; Malbos, Philippe ...

Subjects: Normalisation strategies; Kleene algebras; FormalisationMarseille; France

Source: 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021https://hal.science/hal-0333473419th International Conference on Relational and Algebraic

Record details

Read More Add to Saved list

Conference

Diversity of CRISPR system in the euryarchaeal pyrococcales

Authors : Norais, Cédric; Moisan, Annick; Gaspin, Christine ...

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]Toulouse; France

Source: JOBIM 2013 ; https://hal.inrae.fr/hal-02749366 ; JOBIM 2013, Jul 2013, Toulouse, France. 2013

Record details

Read More Add to Saved list

Conference

The PROTEUS project: Improving large-scale structure prediction for proteins

Authors : Simonson, T.; Andonov, R.; Gibrat, Jean-François ...

Subjects: reconnaissance de repliements; problème du repliement inverse; [MATH]Mathematics [math]Paris; France

Source: journée restitution ANR Calcul Intensif et Simulation ; https://hal.inrae.fr/hal-02818506 ; journée restitution ANR Calcul Intensif et Simulation, Feb 2010, Paris,

Record details

Read More Add to Saved list