AbsEn.i
Curation
Istex
Racine
Curation
Checkpoint
Istex
Racine
Istex
Exploration
Accueil
Racine
Racine

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

Index « AbsEn.i » - entrée « higher »
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.
high < higher < higherin  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 171.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000016 (2004) Frédéric Blanqui [France]A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000049 (2013) Guoping Zhang [République populaire de Chine] ; Jing Liu [République populaire de Chine] ; Jianbo Liu [République populaire de Chine]Protecting Sensitive Attributes in Attribute Based Access Control
000134 (1995) Dov Dori ; Karl Tombre [Israël, France]From engineering drawings to 3D cad models: are we ready now?
000161 (1995) P. Gerin [Belgique] ; M. N. Bellon-Fontaine [France] ; M. Asther [France] ; P. G. Rouxhet [Belgique]Immobilization of fungal spores by adhesion
000218 (1989) Tobias Nipkow [Royaume-Uni]Term rewriting and beyond — theorem proving in Isabelle
000231 (1999) Femke Van Raamsdonk [Pays-Bas]Higher-Order Rewriting
000265 (2001) Ridha Ouni [Tunisie] ; Adel Soudani [Tunisie] ; Salem Nasri [Tunisie] ; Kholdoun Torki [Tunisie, France] ; Mohamed Abid [Tunisie] ; Rached Tourki [Tunisie]TCP flow control technique for an interworking interface: hardware implementation
000322 (2013) Umer Daood [Singapour] ; Kulsum Iqbal [Singapour] ; Lorraine I. Nitisusanta [Singapour] ; Amr S. Fawzy [Singapour]Effect of chitosan/riboflavin modification on resin/dentin interface: Spectroscopic and microscopic investigations
000334 (2013) César Bernardini [France] ; Thomas Silverston [France] ; Olivier Festor [France]Cache Management Strategy for CCN Based on Content Popularity
000345 (2004) Nancy S. Redeker [États-Unis] ; Jeanne Ruggiero [États-Unis] ; Christine Hedges [États-Unis]Patterns and predictors of sleep pattern disturbance after cardiac surgery
000357 (1992) Hubert Comon [France]Completion of rewrite systems with membership constraints
000372 (2004) Phong Q. Nguyen [France] ; Damien Stehlé [France]Low-Dimensional Lattice Basis Reduction Revisited
000472 (2012) Maeve Wallace [États-Unis] ; Marie-Josèphe Saurel-Cubizolles [France]Returning to Work One Year After Childbirth: Data from the Mother–Child Cohort EDEN
000483 (1993) Régis Curien [France]Second order E-matching as a tool for automated theorem proving
000504 (1997) Claude Kirchner [France] ; Christophe Ringeissen [France]Higher-order equational unification via explicit substitutions
000513 (1989) Hassan Ait-Kaci [États-Unis] ; Roger Nasr [États-Unis]Integrating logic and functional programming
000583 (2006) Didier Paquelin [France] ; Jacques Audran [France] ; Hugues Choplin [France] ; Svitlana Hryshchuk [France] ; Stéphane Simonian [France]Campus numérique et innovation pédagogique : l’hypothèse de la territorialisation
000675 (2010) Eileen T. Lake [États-Unis] ; Jingjing Shang [États-Unis] ; Susan Klaus [États-Unis] ; Nancy E. Dunton [États-Unis]Patient falls: Association with hospital Magnet status and nursing unit staffing
000678 (1972) Book Reviews
000682 (2013) Jisun Choi [États-Unis] ; Sandra Bergquist-Beringer [États-Unis] ; Vincent S. Staggs [États-Unis]Linking RN workgroup job satisfaction to pressure ulcers among older adults on acute care hospital units
000767 (2004) Olivier Bournez [France] ; Emmanuel Hainry [France]An Analog Characterization of Elementarily Computable Functions over the Real Numbers

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "higher" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "higher" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    higher
}}
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