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 « concepts »
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.
conceptnet < concepts < conceptual  Facettes :

List of bibliographic references indexed by concepts

Number of relevant bibliographic references: 621.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000020 (2016-05-23) Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne]SoK: Verifiability Notions for E-Voting Protocols
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000086 (2016-01-15) Julien Vaubourg [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France] ; Benjamin Camus [France]Co-Simulation of IP Network Models in the Cyber-Physical Systems Context, using a DEVS-based Platform
000102 (2016) Frédéric Bimbot [France] ; Emmanuel Deruty [France] ; Gabriel Sargent [France] ; Emmanuel Vincent [France]System & Contrast : A Polymorphous Model of the Inner Organization of Structural Segments within Music Pieces
000236 (2015-11-12) Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Karim Baïna [Maroc] ; Abdelkrim Meziane [Algérie]Knowledge Organization in the perspective of Digital Humanities: Researches and Applications (ISKO-Maghreb'2015)
000267 (2015-10-21) Elio Goettelmann [France]Risk-aware Business Process Modelling and Trusted Deployment in the Cloud
000290 (2015-10-06) Aleksey Buzmakov [France]Formal Concept Analysis and Pattern Structures for mining Structured Data
000296 (2015-10) David Déharbe [Brésil] ; Stephan Merz [France]Software Component Design with the B Method — A Formalization in Isabelle/HOL
000312 (2015-09-26) Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France]Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
000346 (2015-09-04) Victor Codocedo-Henriquez [France]Contributions to indexing and retrieval using Formal Concept Analysis
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
000431 (2015-07-27) Bikash Gyawali [France] ; Claire Gardent [France] ; Christophe Cerisara [France]Automatic Verbalisation of Biological Events
000432 (2015-07-26) Didier Fass [France]Affordances and Safe Design of Assistance Wearable Virtual Environment of Gesture
000465 (2015-06-30) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-Level Model as a Society of Interacting Models: Application to a Collective Motion Example
000550 (2015-05-05) Laurent Ciarletta [France] ; Thomas Gurriet [France]Towards a generic model of adaptative geofencing focused on operationnal issues
000588 (2015-04-12) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems (WIP)
000608 (2015-03-19) Julien Vaubourg [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France]Intégration de simulateurs existants à une plateforme de co-simulation basée sur DEVS
000651 (2015-01-15) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000709 (2015) Boudjlida Nacer [France]From Small-Grained to Large-Grained Semantic Interoperability.
000767 (2015) Jean-Philippe Métivier [France] ; Alban Lepailleur [France] ; Aleksey Buzmakov [France] ; Guillaume Poezevara [France] ; Bruno Crémilleux [France] ; Sergei O. Kuznetsov [Russie] ; Jérémie Le Goff [France] ; Amedeo Napoli [France] ; Ronan Bureau [France] ; Bertrand Cuissart [France]Discovering structural alerts for mutagenicity using stable emerging molecular patterns.

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 "concepts" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "concepts" \
         | 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é=    concepts
}}
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