AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « critical »
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.
critic < critical < criticality  Facettes :

List of bibliographic references indexed by critical

Number of relevant bibliographic references: 404.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000031 (2016-05-09) Mohab Safey El Din ; Pierre-Jean Spaenlehauer [France]Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
000118 (2016) Bernardetta Addis [France] ; Roberto Aringhieri [Italie] ; Andrea Grosso [Italie] ; Pierre Hosteins [Italie]Hybrid constructive heuristics for the critical node problem
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000204 (2015-12-04) Arsene Fansi Tchango [France]Behavioral Recognition and multi-target tracking in partially observed environments
000210 (2015-12) Henryk Fuk [Canada] ; Nazim Fatès [France]Local structure approximation as a predictor of second order phase transitions in asynchronous cellular automata
000223 (2015-11-24) Denis Jouvet [France] ; Katarina Bartkova [France]Acoustical Frame Rate and Pronunciation Variant Statistics
000228 (2015-11-19) Jean-Marie Gauthier [France]Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation
000242 (2015-11-05) Gregory Hitz [Suisse] ; François Pomerleau [Suisse] ; Francis Colas [France] ; Roland Siegwart [Suisse]Relaxing the planar assumption: 3D state estimation for an autonomous surface vessel
000276 (2015-10-18) Freha Mezzoudj [Algérie] ; David Langlois [France] ; Denis Jouvet [France] ; Abdelkader Benyettou [Algérie]Textual Data Selection for Language Modelling in the Scope of Automatic Speech Recognition
000278 (2015-10-18) Luiza Orosanu [France] ; Denis Jouvet [France]Detection of sentence modality on French automatic speech-to-text transcriptions
000418 (2015-08-02) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analyzing Requirements Using Environment Modelling
000419 (2015-08-02) Ranjan Jha [France] ; Damien Chablat [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]An algebraic method to check the singularity-free paths for parallel robots
000471 (2015-06-27) Elio Goettelmann [France] ; Ahmed-Nacer Amina [France] ; Samir Youcef [France] ; Claude Godart [France]Paving the Way towards Semi-automatic Design-Time Business Process Model Obfuscation
000584 (2015-04-14) Mohamed Said Seddiki [France]Dynamic resource allocation and quality of service management in Network Virtualization
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000606 (2015-03-21) Mohamed Said Seddiki [Tunisie] ; Mounir Frikha [Tunisie] ; Ye-Qiong Song [France]A non-cooperative game-theoretic framework for resource allocation in network virtualization
000637 (2015-02-03) Hoang Bao Thien [France]On the Polling Problem for Decentralized Social Networks
000639 (2015-02-02) Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada]On Synthesizing a Consistent Operational Transformation Approach
000655 (2015-01-10) Mohamed-Rafik Bouguelia [France] ; Yolande Belaïd [France] ; Abdel Belaïd [France]Stream-based Active Learning in the Presence of Label Noise
000744 (2015) P. Rocheteau [France] ; L. Chatre [France] ; D. Briand [France] ; M. Mebarki [France] ; G. Jouvion [France] ; J. Bardon [France] ; C. Crochemore [France] ; P. Serrani [France] ; P. P. Lecci [France] ; M. Latil [France] ; B. Matot [France] ; P. G. Carlier [France] ; N. Latronico [Italie] ; C. Huchet [France] ; A. Lafoux [France] ; T. Sharshar [France] ; M. Ricchetti [France] ; F. Chrétien [France]Sepsis induces long-term metabolic and mitochondrial muscle stem cell dysfunction amenable by mesenchymal stem cell therapy
000829 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Editorial: Special Issue of Automated Verification of Critical Systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "critical" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "critical" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    critical
}}
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