Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « free »
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.
fraud < free < freedom  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000107 (2013) Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France, République tchèque] ; Jan Volec [Royaume-Uni, République tchèque]Subcubic triangle-free graphs have fractional chromatic number at most 14/5
000396 (2012) Marc Glisse [France] ; Sylvain Lazard [France]On the Complexity of Sets of Free Lines and Line Segments Among Balls in Three Dimensions
000629 (2011) Marc Shapiro [France] ; Nuno Preguiça [France, Portugal] ; Carlos Baquero [Portugal] ; Marek Zawirski [France]Conflict-Free Replicated Data Types
000788 (2010) Zhixiong Pan [République populaire de Chine] ; Jiwen Wang [République populaire de Chine] ; Bo Kang [République populaire de Chine] ; Lizhi Lu [République populaire de Chine] ; Chunchun Han [République populaire de Chine] ; Hui Tang [République populaire de Chine] ; Liang Li [République populaire de Chine] ; Feng Xu [République populaire de Chine] ; Zehui Zhou [République populaire de Chine] ; Jia Lv [République populaire de Chine]Screening and identification of differentially expressed genes in goose hepatocytes exposed to free fatty acid
000823 (2010) Didier Galmiche [France] ; Yakoub Salhi [France]Label-Free Proof Systems for Intuitionistic Modal Logic IS5
000B05 (2009) Rob J. Thomas ; David Anderson [Royaume-Uni] ; Amit Chandra ; Nigel M. Smith [Royaume-Uni] ; Lorraine E. Young [Royaume-Uni] ; David Williams ; Chris Denning [Royaume-Uni]Automated, scalable culture of human embryonic stem cells in feeder‐free conditions
000F96 (2007) Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France]On the Implementation of Construction Functions for Non-free Concrete Data Types
001608 (2005) Christophe Chipot [France] ; Xavier Rozanska [France, Allemagne] ; Surjit B. Dixit [France, États-Unis]Can free energy calculations be fast and accurate at the same time? Binding of low-affinity, non-peptide inhibitors to the SH2 domain of the src protein
001975 (2003) Qingzhi Dong [République populaire de Chine] ; Ying Liu [République populaire de Chine]Styrene‐assisted free‐radical graft copolymerization of maleic anhydride onto polypropylene in supercritical carbon dioxide
001A06 (2003) Daniel Canet [France] ; Sabine Bouguet-Bonnet [France] ; Pierre Mutzenhardt [France]On the calculation of cross‐correlation spectral density functions within the model‐free approach
001A55 (2003) Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for Term Rewriting Engines for Free!
001D98 (2001) Jens Michaelis [Allemagne]Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars
001E72 (2001) Christophe Ringeissen [France]Matching with Free Function Symbols — A Simple Extension of Matching?
002174 (2000) Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis]Combining Equational Theories Sharing Non-Collapse-Free Constructors
002402 (1999) Anne-Cécile Caron [France] ; Franck Seynhaeve [France] ; Sophie Tison [France] ; Marc Tommasi [France]Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting
002569 (1998) Roman Kolpakov [France] ; Gregory Kucherov [France] ; Yuri Tarannikov [Russie]On repetition-free binary words of minimal density
002768 (1997) Roman Kolpakov [Russie] ; Gregory Kucherov [France]Minimal letter frequency in n -th power-free binary words
002C76 (1994) Dieter Hofbauer [Allemagne] ; Maria Huber [France] ; Gregory Kucherov [France]Some results on top-context-free tree languages
003023 (1992) Joost Engelfriet [Pays-Bas] ; Linda Heyker [Pays-Bas]Context-free hypergraph grammars have the same term-generating power as attribute grammars
003423 (1988) Deepak Kapur [États-Unis] ; Hantao Zhang [États-Unis]Proving equivalence of different axiomatizations of free groups

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "free" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "free" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    free
}}

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