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

Index « Titre (en) » - entrée « operators »
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.
operator < operators < operons  Facettes :

List of bibliographic references indexed by operators

Number of relevant bibliographic references: 54.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
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
000302 (2015-09-30) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Bisimulations for Delimited-Control Operators
001150 (2013-06-24) Małgorzata Biernacka ; Dariusz Biernacki ; Sergueï Lenglet [France] ; Marek MaterzokProving termination of evaluation for System F with control operators
001153 (2013-06-23) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001171 (2013-06-10) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories with Counting Operators
001589 (2013) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]Environmental Bisimulations for Delimited-Control Operators
002631 (2011) Fábio Dias [France] ; Jean Cousty [France] ; Laurent Najman [France]Some Morphological Operators on Simplicial Complex Spaces
002A82 (2010-09-08) Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Pascal Chatonnay [France] ; Christelle Bloch [France]Comparing the performance of genetic operators for the vehicle routing problem
002D54 (2010-04-14) Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Pascal Chatonnay [France] ; Christelle Bloch [France]A study of performance on crossover and mutation operators for vehicle routing problem
003185 (2010) Benoît Naegel [France] ; Laurent Wendling [France]A document binarization method based on connected operators
003456 (2009-07-26) Benoît Naegel [France] ; Laurent Wendling [France]Document binarization based on connected operators
003756 (2009) Jean-Yves Marion [France]On tiered small jump operators
003A01 (2009) Yael Sygal [Israël] ; Shuly Wintner [Israël]Associative Grammar Combination Operators for Tree-Based Grammars
003D75 (2008-11) Francois Legras [France] ; Arnaud Glad [France] ; Olivier Simonin [France] ; François Charpillet [France]Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators
004419 (2008) François Legras [France] ; Arnaud Glad [France] ; Olivier Simonin [France] ; François Charpillet [France]Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators
005786 (2006) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Developing Specifications by using Operators: a Process to guarantee correctness by construction
007032 (2004) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Developing UML and B specification using operators : an application to the data refinement
008F78 (2001) Marie-Claude Portmann ; Mohamed Ali AloulouPopulation improvement with data oriented genetic operators
008F91 (2001) Marie-Claude Portmann ; Mohamed Ali AloulouData oriented genetic operators for one-machine scheduling problems
009603 (2001) Marie-Claude Portmann [France] ; Mohamed Ali Aloulou [France]Population improvement with data oriented genetic operators
009667 (2001) Marie-Claude Portmann [France] ; Mohamed Ali Aloulou [France]Data oriented genetic operators for one-machine scheduling problems

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

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