Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

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

Index « Titre (en) » - entrée « over »
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.
oven < over < overall  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]
Ident.Authors (with country if any)Title
000075 (2013) Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]Verification of Golog Programs over Description Logic Actions
000249 (2013) Ta Minh Thuy [France] ; Le Thi Hoai An [France] ; Lydia Boudjeloud-Assala [France]Clustering Data Streams over Sliding Windows by DCA
000280 (2013) Davide Bresolin [Italie] ; Dario Della Monica [Islande] ; Angelo Montanari [Italie] ; Guido Sciavicco [Espagne]A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
000821 (2010) Artur Je [Pologne] ; Alexander Okhotin [Finlande]Least and Greatest Solutions of Equations over Sets of Integers
000846 (2010) Elodie Speyer [France] ; Aline Herbinet [France] ; Anne Vuillemin [France] ; Serge Briançon [France] ; Pascal Chastagner [France]Effect of adapted physical activity sessions in the hospital on health‐related quality of life for children with cancer: A cross‐over randomized trial
000868 (2010) Nicolas Estibals [France]Compact Hardware for Computing the Tate Pairing over 128-Bit-Security Supersingular Curves
000990 (2009) Wolfgang Thomas [Allemagne]The Reachability Problem over Infinite Graphs
000A71 (2009) Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Pascal Molli [France]DooSo6: Easy Collaboration over Shared Projects
000D12 (2008) Yannick Parmentier [France] ; Wolfgang Maier [Allemagne]Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing
000D63 (2008) Claudia-Lavinia Ignat [France] ; Gérald Oster [France]Peer-to-peer collaboration over XML documents
000F71 (2007) Robert C. Levy [États-Unis] ; Lorraine A. Remer [États-Unis] ; Shana Mattoo [États-Unis] ; Eric F. Vermote [États-Unis] ; Yoram J. Kaufman [États-Unis]Second‐generation operational algorithm: Retrieval of aerosol properties over land from inversion of Moderate Resolution Imaging Spectroradiometer spectral reflectance
001564 (2005) Olivier Bournez ; Felipe Cucker ; Paulin Jacobe De Naurois ; Jean-Yves MarionImplicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
001578 (2005) Mouna Benaissa [France] ; Vincent Lecuire [France] ; Francis Lepage [France] ; André Schaff [France]Efficient De-Jitter Control for Voice Applications over Wireless Ad Hoc Networks
001742 (2004) Georg Gottlob [Autriche]Second-Order Logic over Finite Structures – Report on a Research Programme
001816 (2004) Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France]Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains
001852 (2004) Olivier Bournez [France] ; Emmanuel Hainry [France]An Analog Characterization of Elementarily Computable Functions over the Real Numbers
001A76 (2003) Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France]Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
001B77 (2002) Miguel García-Díaz [Espagne] ; Susana Nieva [Espagne]Solving Mixed Quantified Constraints over a Domain Based on $$\mathcal{R}$$eal Numbers and $$\mathcal{H}$$erbrand Terms
001C21 (2002) Kazimierz Głazek [Pologne]Linear Algebra over Semirings
002136 (2000) L. Djerid [France] ; M-C. Portmann [France]How to keep good schemata using cross‐over operators for permutation problems
003617 (1986) Guy Viry [France]Polynomial factorization over ℤ[X]

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "over" \
         | 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é=    over
}}
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