Titre (en)
Analysis
USA
Racine
Analysis
USA
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (USA)

Index « Titre (en) » - entrée « system »
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.
syrup < system < systematic  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000031 (2015-04-19) Zafar Rafii [États-Unis] ; Antoine Liutkus [France] ; Bryan Pardo [États-Unis]A simple user interface system for recovering patterns repeating in time and frequency in mixtures of sounds
000221 (2011-01-21) Fabien Lauer [France] ; Gérard Bloch [France] ; René Vidal [États-Unis]A continuous optimization framework for hybrid system identification
000236 (2011) Matthias Horbach [États-Unis]System Description: SPASS-FD
000257 (2010-12-15) Fabien Lauer [France] ; Gérard Bloch [France] ; René Vidal [États-Unis]Nonlinear Hybrid System Identification with Kernel Models
000262 (2010-07-16) Kaustuv Chaudhuri [France] ; Damien Doligez [France] ; Leslie Lamport [États-Unis] ; Stephan Merz [France]Verifying Safety Properties With the TLA+ Proof System
000523 (2004) Geoff Sutcliffe [États-Unis] ; Christian Suttner [Inde]The CADE ATP System Competition
000740 (1999-09) Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis]On the complexity of counting the Hilbert basis of a linear Diophantine system
000751 (1999) M. Clavel [Espagne] ; F. Durán [États-Unis] ; S. Eker [États-Unis] ; P. Lincoln [États-Unis] ; N. Martí-Oliet [Espagne] ; J. Meseguer [Espagne] ; J. F. Quesada [Espagne]The Maude System
000755 (1999) Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis]On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System
000814 (1998) Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis]On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System
000832 (1997) Ram D. Sriram [États-Unis]Knowledge-Based System Building Tools
000859 (1996) Narjes Berregeb [France] ; Adel Bouhoula [France, États-Unis] ; Michaël Rusinowitch [France]SPIKE-AC: A system for proofs by induction in Associative-Commutative theories
000875 (1996) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
000983 (1991) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
000A21 (1988) Nancy Council Maguire [États-Unis]Current use of the papanicolaou class system in gynecologic cytology
000A82 (1982) Rakesh Govind [États-Unis] ; G. J. Powers [États-Unis]Control system synthesis strategies
000B15 (1973) Howard M. Cann [États-Unis] ; Kenneth K. Kidd [États-Unis] ; Ruben Lisker [États-Unis] ; Ruta Radvany [États-Unis] ; Rose Payne [États-Unis]Genetic Structure of the HL‐A System in a Nahua Indian Population in Mexico

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/USA/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/USA/Analysis/Title.i -k "system" 

HfdIndexSelect -h $EXPLOR_AREA/Data/USA/Analysis/Title.i  \
                -Sk "system" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/USA/Analysis/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    USA
   |étape=   Analysis
   |type=    indexItem
   |index=    Title.i
   |clé=    system
}}
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