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 « rules »
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.
rulers < rules < ruleset  Facettes :

List of bibliographic references indexed by rules

Number of relevant bibliographic references: 1041.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000048 (2016-04-01) Nazim Fatès [France] ; Irène Marcovici [France] ; Siamak Taati [Pays-Bas]Two-dimensional traffic rules and the density classification problem
000061 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000208 (2015-12-01) Matthijs Van Leeuwen [Pays-Bas] ; Esther Galbrun [France]Association Discovery in Two-View Data
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
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
000333 (2015-09-07) Lina Fahed [France] ; Armelle Brun [France] ; Anne Boyer [France]Influencer events in episode rules: a way to impact the occurrence of events
000385 (2015-08-23) Nabil Ghanmi [France] ; Belaïd Abdel [France]Separator and content based approach for table extraction in handwritten chemistry documents
000429 (2015-07-27) Mehwish Alam [France] ; Aleksey Buzmakov [Russie] ; Victor Codocedo [France] ; Amedeo Napoli [France]Mining Definitions from RDF Annotations Using Formal Concept Analysis
000500 (2015-06-08) Nazim Fatès [France]Remarks on the Cellular Automaton Global Synchronisation Problem
000517 (2015-06) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000542 (2015-05-11) Wazen M. Shbair [France] ; Thibault Cholez [France] ; Antoine Goichot [France] ; Isabelle Chrisment [France]Efficiently Bypassing SNI-based HTTPS Filtering
000605 (2015-03-25) Denis Roegel [France]A new milestone: the first 7-8 places 2000 meters logarithmic slide cylinder
000627 (2015-02-24) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000642 (2015-01-29) Guillaume Scerri [France]Proofs of security protocols revisited
000702 (2015) Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]Modal Satisfiability via SMT Solving
000753 (2015) François Séverac [France] ; Erik A. Sauleau [France] ; Nicolas Meyer [France] ; Hassina Lefèvre [France] ; Gabriel Nisand [France] ; Nicolas Jay [France]Non-redundant association rules between diseases and medications: an automated method for knowledge base construction
000772 (2015) Anisah W. Ghoorah ; Marie-Dominique Devignes ; Seyed Ziaeddin Alborzi ; Malika Smaïl-Tabbone ; David W. RitchieA Structure-Based Classification and Analysis of Protein Domain Family Binding Sites and Their Interactions
000808 (2015) Bruno Guillaume [France] ; Guy Perrier [France]Dependency Parsing with Graph Rewriting
000840 (2014-12-09) Ali Assaf [France] ; Alejandro Díaz-Caro [Argentine] ; Simon Perdrix [France] ; Christine Tasson [France] ; Benoît Valiron [France]Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
000863 (2014-12) Maxime Bride [France] ; Pierre-Cyrille Héam [France] ; Isabelle Jacques [France]Computing Semicommutation Closures: a Machine Learning Approach

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

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