AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « theory »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
theoritical < theory < theorye  Facettes :

List of bibliographic references indexed by theory

Number of relevant bibliographic references: 1131.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000044 (2016-04-11) Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas]Algebraic Semantics of Refinement Modal Logic
000049 (2016-04) Andrés Aristizábal [Colombie] ; Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000186 (2015-12-16) Stephan Merz [France] ; Hernán Vanzetto [France]Encoding TLA+ set theory into many-sorted first-order logic
000210 (2015-12) Henryk Fuk [Canada] ; Nazim Fatès [France]Local structure approximation as a predictor of second order phase transitions in asynchronous cellular automata
000241 (2015-11-06) Sahbi Sidhom [France] ; Noureddine Bourkache [Algérie] ; Mourad Laghrouche [Algérie]Multimodal Indexing and Information Retrieval in Medical Image Mammographies: Digital Learning Based on Gabor Filters Model
000251 (2015-11-03) Jérôme Gleyzes [France] ; David Langlois [France] ; Michele Mancarella [France] ; Filippo Vernizzi [France]Effective Theory of Dark Energy at Redshift Survey Scales
000264 (2015-10-26) Guillaume Aucher [France] ; Bastien Maubert [France] ; Sophie Pinchinat [France] ; François Schwarzentruber [France]Games with Communication: from Belief to Preference Change
000296 (2015-10) David Déharbe [Brésil] ; Stephan Merz [France]Software Component Design with the B Method — A Formalization in Isabelle/HOL
000299 (2015-10) Olivier Devillers [France] ; Ross Hemsley [France]The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
000302 (2015-09-30) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Bisimulations for Delimited-Control Operators
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000346 (2015-09-04) Victor Codocedo-Henriquez [France]Contributions to indexing and retrieval using Formal Concept Analysis
000349 (2015-09-02) Aicha-Baya Goumeidane [Algérie] ; Abdessalem Bouzaieni [France] ; Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France]Bayesian Networks-Based Defects Classes Discrimination in Weld Radiographic Images
000416 (2015-08-02) Didier Fass [France] ; Franck Gechter [France]Towards a Theory for Bio - Cyber Physical Systems Modelling
000425 (2015-08) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
000432 (2015-07-26) Didier Fass [France]Affordances and Safe Design of Assistance Wearable Virtual Environment of Gesture
000434 (2015-07-25) Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne]Workshop NotesInternational Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)
000435 (2015-07-25) Jilles Steeve Dibangoye [France] ; Olivier Buffet [France] ; Olivier Simonin [France]Structural results for cooperative decentralized control models
000478 (2015-06-23) Victor Codocedo [France] ; Amedeo Napoli [France]Formal Concept Analysis and Information Retrieval – A Survey

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "theory" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "theory" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    theory
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022