knowledgeware < known < knows

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 267.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000040 (1996)	Yuri Gurevich [États-Unis] ; James K. Huggins [États-Unis]	The railroad crossing problem: An experiment with instantaneous actions and immediate reactions
000043 (1997)	Nicolas Peltier [France]	Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
000071 (1994)	Edward Cohen [États-Unis]	Computational theory for interpreting handwritten text in constrained domains
000087 (2002)	Cohen ; Fraigniaud ; Mitjana	Polynomial-Time Algorithms for Minimum-Time Broadcast in Trees
000182 (2006)	Paul Davidsson [Suède] ; Linda Ramstedt [Suède] ; Johanna Törnquist [Suède]	Inter-Organization Interoperability in Transport Chains Using Adapters Based on Open Source Freeware
000261 (2010)	Jean Villerd [France] ; Yannick Toussaint [France] ; Agnès Lillo-Le Louët [France]	Adverse Drug Reaction Mining in Pharmacovigilance Data Using Formal Concept Analysis
000272 (2000)	Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne]	Modular Redundancy for Theorem Proving
000319 (2008)	Julien Siebert [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France]	Entwined Influences of Users’ Behaviour and QoS: A Multi-model Approach
000372 (2004)	Phong Q. Nguyen [France] ; Damien Stehlé [France]	Low-Dimensional Lattice Basis Reduction Revisited
000373 (2012)	Peter J. Mazzaglia [États-Unis]	Hereditary pheochromocytoma and paraganglioma
000377 (1999)	Arnaud Durand [France] ; Miki Hermann [France] ; Laurent Juban [France]	On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System
000381 (2007)	Abdelkader Lahmadi [France] ; Anca Ghitescu [France] ; Laurent Andrey [France] ; Olivier Festor [France]	On the Impact of Management Instrumentation Models on Web Server Performance: A JMX Case Study
000384 (2010)	Javier Álvez [Espagne] ; Francisco J. L Pez-Fraguas [Espagne]	A Complete Axiomatization of Strict Equality
000390 (2001)	Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis	The Stability of Saturated Linear Dynamical Systems Is Undecidable
000413 (2006)	Arnaud Renard [France] ; Michaël Krajecki [France] ; Alain Bui [France]	On-Request Urban Transport Parallel Optimization
000427 (2007)	Guillaume Hanrot [France] ; Damien Stehlé [France]	Improved Analysis of Kannan’s Shortest Lattice Vector Algorithm
000439 (1999)	Dieter Hofbauer [Allemagne] ; Maria Huber [Allemagne]	Test Sets for the Universal and Existential Closure of Regular Tree Languages
000459 (1999)	Philippe De Groote [France]	A Dynamic Programming Approach to Categorial Deduction
000477 (2004)	Damien Stehlé [France] ; Paul Zimmermann [France]	A Binary Recursive Gcd Algorithm
000490 (1984)	Philippe Le Chenadec [France]	Canonical Forms in Finitely Presented Algebras
000500 (2004)	Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Enrico Pontelli [États-Unis]	Disunification in ACI 1 Theories

---

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "known" \
         | 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é=    known
}}

---

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