Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

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.
sysml < system < systematic  Facettes :

List of bibliographic references indexed by system

Number of relevant bibliographic references: 599.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000B74 (2014-05-05) Yves Laprie [France] ; Michael Aron [France] ; Marie-Odile Berger [France] ; Brigitte Wrobel-Dautcourt [France]Studying MRI acquisition protocols of sustained sounds with a multimodal acquisition system
000C16 (2014-04-06) Alejandra Lorenzo [France] ; Christophe Cerisara [France]Semi-supervised SRL system with Bayesian inference
000C21 (2014-04-03) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modelling an Aircraft Landing System in Event-B (Full Report)
000C24 (2014-04-01) Marion Guthmuller [France] ; Martin Quinson [France]System-level State Equality Detection for the Dynamic Verification of Distributed Applications
000C85 (2014-02-01) Souad Guessoum [Algérie] ; Mohamed Tayeb Laskri [Algérie] ; Jean Lieber [France]RespiDiag: a Case-Based Reasoning System for the Diagnosis of Chronic Obstructive Pulmonary Disease
000D09 (2014-01-01) Amélie Cordier [France] ; Valmi Dufour-Lussier [France] ; Jean Lieber [France] ; Emmanuel Nauer [France] ; Fadi Badra [France] ; Julien Cojan [France] ; Emmanuelle Gaillard [France] ; Laura Infante-Blanco [France] ; Pascal Molli [France] ; Amedeo Napoli [France] ; Hala Skaf-Molli [France]Taaable: a Case-Based System for personalized Cooking
000F38 (2013-11-13) Jérome Cantenot [France]Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation
000F96 (2013-10-09) Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]SVMAX: a system for secure and valid manipulation of XML data
001057 (2013-08-25) Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France]Particle Swarm Optimisation of Spoken Dialogue System Strategies
001150 (2013-06-24) Małgorzata Biernacka ; Dariusz Biernacki ; Sergueï Lenglet [France] ; Marek MaterzokProving termination of evaluation for System F with control operators
001184 (2013-06-06) Samuel Nowakowski [France] ; Nathalie Issenmann [France]Higher Education and Research in France - Presentation of the university of Lorraine and presentation of the french higher education system
001218 (2013-05-27) Gérôme Canals [France] ; Amélie Cordier [France] ; Emmanuel Desmontils [France] ; Laura Infante-Blanco [France] ; Emmanuel Nauer [France]Collaborative Knowledge Acquisition under Control of a Non-Regression Test System
001320 (2013-02-01) Emmanuel Jeanvoine [France] ; Luc Sarzyniec [France] ; Lucas Nussbaum [France]Kadeploy3: Efficient and Scalable Operating System Provisioning for Clusters
001356 (2013) Francisco J. Cazorla [Espagne] ; Eduardo Quinones [Espagne] ; Tullio Vardanega [Italie] ; Liliana Cucu-Grosjean [France] ; Benoit Triquet [France] ; Guillem Bernat [Royaume-Uni] ; E. Berger [Espagne] ; Jaume Abella [Espagne] ; Franck Wartel [France] ; Michael Houston [Royaume-Uni] ; Luca Santinelli [France] ; Leonidas Kosmidis [Espagne] ; Codé Lo [France] ; Dorin Maxim [France]PROARTIS: Probabilistically Analyzable Real-Time System
001403 (2013) Carlos Carvajal [France] ; Thierry Viéville [France] ; Frédéric Alexandre [France]Impact of the Konio pathway in the thalamocortical visual system: a modeling study
001404 (2013) Analia S. Loria ; Michael W. Brands [Géorgie (pays)] ; David M. Pollock [Géorgie (pays)] ; Jennifer S. Pollock [Géorgie (pays)]Early life stress sensitizes the renal and systemic sympathetic system in rats
001507 (2013) Didier Fass [France]Putting in Perspective Human-Machine System Theory and Modeling: From Theoretical Biology to Artifacts Integrative Design and Organization
001539 (2013) Heiko Witteborg [Allemagne] ; Anis Charfi [Allemagne] ; Wei Wei [Allemagne] ; Ta D Holmes [Allemagne]Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities
001572 (2013) Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Ideal Mode Selection of a Cardiac Pacing System
001633 (2013) Amandine Dubois [France] ; François Charpillet [France]Automatic Fall Detection System with a RGB-D Camera using a Hidden Markov Model
001638 (2013) Mathilde Arnaud [France] ; Véronique Cortier [France] ; Cyrille Wiedling [France]Analysis of an Electronic Boardroom Voting System

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/Title.i -k "system" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "system" \
         | 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=    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