nominaux < non < nondeterminism

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000119 (2005)	Yves Caniou ; Emmanuel Jeannot	Le HTM : un module de prédiction de performance non-intrusif pour l'ordonnancement de tâches sur plate-forme de meta-computing
000143 (2005)	Ghazi Bouselmi ; Dominique Fohr ; Irina Illina ; Jean-Paul Haton [France]	Fully Automated Non-Native Speech Recognition Using Confusion-Based Acoustic Model Integration
000161 (2005)	Jean-Raymond Abrial ; Dominique Cansell [France]	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
000248 (2005)	Pascal Fontaine ; Silvio Ranise ; Calogero Zarba	Combining Lists with Non-Stably Infinite Theories
000321 (2005)	Judson Santos Santiago ; Laurent Vigneron	Study for Automatically Analysing Non-repudiation
000362 (2005)	Abdel Berkaoui ; Mireille Bossy ; Awa Diop	Euler scheme for SDEs with non-Lipschitz diffusion coefficient : strong convergence
000667 (2004)	Anis Koubaa ; Ye-Qiong Song	Evaluation and Improvement of Response Time Bounds for Real-Time Applications under Non-Preemptive Fixed Priority Scheduling
000766 (2004)	Frederic Merizen ; Olivier Zendra ; Dominique Colnet	Designing efficient and safe non-strong references in Eiffel with parametric types
000839 (2004)	Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves Marion	Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
000847 (2004)	Vincent Colotte ; Richard Beaufort	Synthèse vocale par sélection linguistiquement orientée d'unités non-uniformes : LiONS
000A40 (2003)	Didier Galmiche ; Jean-Marc Notin	Connection-based proof construction in Non-Commutative Logic
000A53 (2003)	Cesare Tinelli ; Christophe Ringeissen	Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
000A58 (2003)	Vincent Barreaud ; Irina Illina ; Dominique Fohr	On-Line Frame-Synchronous Compensation of Non-Stationary noise
000A64 (2003)	Christophe Cerisara ; Irina Illina	Robust speech recognition to non-stationary and unpredictable noise based on model-driven approaches
000A78 (2003)	Vincent Barreaud ; Irina Illina ; Dominique Fohr	On-line compensation for non-stationary noise
000B09 (2003)	Claire Gardent ; Hélène Manuélian ; Kristina Striegnitz ; Marilisa Amoia	Generating Definite Descriptions : Non incrementality, inference and data
000B17 (2003)	Christophe Ringeissen	Matching in a Class of Combined Non-Disjoint Theories
000F61 (2002)	Philippe De Groote ; François Lamarche	Classical Non Associative Lambek Calculus
001105 (2002)	Asma Ghaffari ; Nidhal Rezg ; Xiaolan Xie	Theory of regions based synthesis of the maximally permissive and non blocking supervisory control
001133 (2002)	Serge Grigorieff ; Jean-Yves Marion	Kolmogorov complexity and non-determinism
001168 (2002)	Richard F. Blute ; François Lamarche ; Paul Ruet	Entropic Hopf Algebras and Models of Non Commutative Logic

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Title.i -k "non" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Title.i  \
                -Sk "non" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

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

---

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