Source: BIOINFORMATICS 2023 - 14th International Conference on Bioinformatics Models, Methods and Algorithms ; https://inria.hal.science/hal-03999574 ; BIOINFORMATICS 2023 - 14th International Conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Un modèle formel d'ontologie pour l'ingénierie, le commerce électronique et le Web sémantique: Le modèle de dictionnaire sémantique PLIB

Authors : Pierra, Guy;

Subjects: [INFO]Computer Science [cs]Paris; France

Source: Journées Scientifiques WEB SEMANTIQUE (JSWS 2002) ; https://hal.science/hal-03700800 ; Journées Scientifiques WEB SEMANTIQUE (JSWS 2002), Oct 2002, Paris, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

A formal model to express dynamic policies for access control and negotiation in a distributed environment ; Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué

Authors : El Houri, Marwa;

Subjects: Security policy; access control model; negotiation

Source: https://theses.hal.science/tel-00492317 ; Computer Science [cs]. Université Paul Sabatier - Toulouse III, 2010. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Designing playful interactivity: an overview of 'game design' methodologies ; Concevoir l'interactivité ludique : une vue d'ensemble des méthodologies de « Game Design »

Authors : Djaouti, Damien; Alvarez, Julian; Jessel, Jean-Pierre ...

Subjects: Game Design; Game; InteractivityAx-les-Thermes; France

Source: Actes du colloque Ludovia 2010 ; Ludovia 2010 ; https://hal.science/hal-04024995 ; Ludovia 2010, Aug 2010, Ax-les-Thermes, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

LSTM Path-Maker : une stratégie à base de réseau de neurones LSTM pour la patrouille multiagent

Authors : Othmani-Guibourg, Mehdi William; El Fallah Seghrouchni, Amal; Farges, Jean-Loup ...

Subjects: SYSTEME MULTIAGENT; RESEAU NEURONE ARTIFICIEL; MEMOIRE COURT ET LONG TERME

Source: EISSN: 2967-9672 ; Revue Ouverte d'Intelligence Artificielle ; https://hal.science/hal-03649519 ; Revue Ouverte d'Intelligence Artificielle, 2022, 3 (3-4), pp.345-372. ⟨10.5802/roia.34⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

LSTM Path-Maker : a new LSTM-based strategy for Multiagent Patrolling ; LSTM Path-Maker : une nouvelle stratégie pour la patrouille multiagent basée sur l'architecture LSTM

Authors : Othmani-Guibourg, Mehdi; El Fallah-Seghrouchni, Amal; Farges, Jean-Loup ...

Subjects: Réseaux de neurones artificiels; Systèmes multiagents; Réseaux récurrents à mémoire court et long termeToulouse; France

Source: Conférence Nationale en Intelligence Artificielle ; https://hal.science/hal-02328772 ; Conférence Nationale en Intelligence Artificielle, Jul 2019, Toulouse, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Economie d'énergie dans les protocoles de population

Authors : Beauquier, Joffroy; Burman, Janna; Xu, Chuan ...

Subjects: réseaux de capteurs mobiles; protocoles de populations; consommation d'énergieQuiberon; France

Source: ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-01517013 ; ALGOTEL 2017 - 19èmes Rencontres Francophones sur les

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

From the Applied Pi Calculus to Horn Clauses for Protocols with Lists ; Du pi calcul appliqué aux clauses de Horn pour les protocoles qui utilisent des listes

Authors : Paiola, Miriam; Blanchet, Bruno;

Subjects: Horn Clauses; Lists; Security protocols

Source: https://hal.inria.fr/hal-01239290 ; [Research Report] RR-8823, Inria. 2015, pp.45.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

La méthode des élucidations successives

Authors : Lobry, Claude;

Subjects: Bifucation theory; model; non standard analysis

Source: EISSN: 1638-5713 ; Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; https://inria.hal.science/hal-01277835 ; Revue Africaine de Recherche en Informatique et Mathématiques

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Hiérarchies algébriques de classes d'automates cellulaires

Authors : Delorme, Marianne; Mazoyer, Jacques; Theyssier, Guillaume ...

Subjects: Algebraic classifications; Cellular automata; Complexity

Source: https://hal-lara.archives-ouvertes.fr/hal-02102505 ; [Rapport de recherche] LIp RR-2005-29, Laboratoire de l'informatique du parallélisme. 2005, 2+49p.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain ; Un Modèle Formel Probabiliste du Circuit du Contrôle Inhibiteur dans le Cerveau

Un modèle formel d'ontologie pour l'ingénierie, le commerce électronique et le Web sémantique: Le modèle de dictionnaire sémantique PLIB

A formal model to express dynamic policies for access control and negotiation in a distributed environment ; Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué

Designing playful interactivity: an overview of 'game design' methodologies ; Concevoir l'interactivité ludique : une vue d'ensemble des méthodologies de « Game Design »

LSTM Path-Maker : une stratégie à base de réseau de neurones LSTM pour la patrouille multiagent

LSTM Path-Maker : a new LSTM-based strategy for Multiagent Patrolling ; LSTM Path-Maker : une nouvelle stratégie pour la patrouille multiagent basée sur l'architecture LSTM

Economie d'énergie dans les protocoles de population

From the Applied Pi Calculus to Horn Clauses for Protocols with Lists ; Du pi calcul appliqué aux clauses de Horn pour les protocoles qui utilisent des listes

La méthode des élucidations successives

Hiérarchies algébriques de classes d'automates cellulaires

اتصل بنا

اتبع