Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « HalTutelle.i » - entrée « UNS »
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.
UNIVERSITY OF MISSOURI < UNS < UO  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 64.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000000 (2009) Horacio Rostro ; Bruno Cessac ; Juan Carlos Vasquez ; Thierry ViévilleBack- engineering of spiking neural networks parameters
000205 (2006) Luigi Liquori ; Furio Honsell ; Marina LenisaA Framework for Defining Logical Frameworks
000947 (2011-03) Liliana Cucu-Grosjean ; Yves SorelA schedulability test for real-time dependant periodic task systems with latency constraints
000D86 (2002) Gabriel Dos Reis ; Bernard Mourrain ; Philippe Trebuchet ; Fabrice RouillierAn environment for Symbolic and Numeric Computation
000D92 (2009-06-29) Liliana Cucu-Grosjean ; Yves SorelAn exact schedulability test for real-time dependant periodic task systems with latency constraints
000F39 (2014) Julien Cojan ; Jean LieberApplying Belief Revision to Case-Based Reasoning
000F81 (2007-09-28) Thierry Viéville ; Bruno CessacAre biological neurons that vicious ? Or only their models ?
000F82 (2007-09-27) Bruno Cessac ; Thierry ViévilleAre neuronal networks that vicious ? Or only their models ?
000F83 (2006-10-03) Didier Benza ; Michel Cosnard ; Luigi Liquori ; Marc VesinArigatoni: A Simple Programmable Overlay Network
000F84 (2006) Didier Benza ; Michel Cosnard ; Luigi Liquori ; Marc VesinArigatoni: Overlaying Internet via Low Level Network Protocols
001029 (2013) Alberto Dennunzio ; Nazim Fatès ; Enrico FormentiAsynchronous cellular automata and applications - Special issue of Natural Computing
001106 (2003-06) Abdessamad Imine ; Pascal UrsoAutomatic Detection of Copies Divergence in Collaborative Editing Systems
001194 (2009-05-29) Horacio Rostro-Gonzalez ; Bruno Cessac ; Juan Carlos Vasquez ; Thierry VievilleBack-engineering of spiking neural networks parameters
001227 (2012-08-27) Julien Cojan ; Jean LieberBelief revision-based case-based reasoning
001233 (2004) Bernard Mourrain ; Fabrice Rouillier ; Marie-Françoise RoyBernstein's basis and real root isolation
001277 (2015-08-17) Pablo Arrighi ; Simon Martiel ; Simon PerdrixBlock Representation of Reversible Causal Graph Dynamics
001665 (2003-09) Dominique Barth ; Johanne Cohen ; Lynda Gastal ; Thierry Mautor ; Stéphane RousseauComparison of fixed size and variable size packet models in an optical ring network: Algorithms and performances
001787 (2002-08-01) Gerd Stumme ; Rafik Taouil ; Yves Bastide ; Nicolas Pasquier ; Lotfi LakhalComputing iceberg concept lattices with Titanic
001F90 (2010-08-26) Juan Carlos Vasquez ; Thierry Viéville ; Bruno CessacEntropy-based parametric estimation of spike train statistics
002102 (2009-08-03) Ioannis Z. Emiris ; Michael Hemmer ; Menelaos Karavelas ; Bernard Mourrain ; Elias P. Tsigaridas ; Zafeirakis ZafeirakopoulosExperimental evaluation and cross-benchmarking of univariate real solvers
002353 (2013-12) Alberto Dennunzio ; Enrico Formenti ; Nazim FatèsForeword: asynchronous cellular automata and applications

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "UNS" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "UNS" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    UNS
}}

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