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

Index « Titre (en) » - entrée « report »
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.
replication < report < reported  Facettes :

List of bibliographic references indexed by report

Number of relevant bibliographic references: 80.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000270 (2015-10-20) Frédéric Dadeau [France] ; Elizabeta Fourneret [France]Experience report on Model-Based Testing of Security Components
000830 (2014-12-15) Tamara Tosic [France] ; Axel Hutt [France]Technical report: Multivariate signal analysis by recurrence plots
000843 (2014-12-08) Mariia Fedotenkova [France] ; Axel Hutt [France]Research report: Comparison of different time-frequency representations.
000C21 (2014-04-03) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modelling an Aircraft Landing System in Event-B (Full Report)
000E82 (2014) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Analysis of Self-* and P2P Systems using Refinement (Full Report)
000E87 (2014) Gabin Personeni [France] ; Alice Hermann [France] ; Jean Lieber [France]Adapting propositional cases based on tableaux repairs using adaptation knowledge -- extended report
000F84 (2013-10-15) Olivier Festor [France] ; Rémi Badonnel [France]First Year Report on Standardization (Deliverable D4.1, Flamingo NoE)
000F85 (2013-10-15) Rodosek Gabi Dreo ; Anthéa Mayzaud [France] ; Abdelkader Lahmadi [France] ; Rémi Badonnel [France] ; Hurel Gaetan [France]First Year Report on Automated Configuration and Repair (Deliverable D6.1, Flamingo NoE)
001504 (2013) Ernest Valveny [Espagne] ; Mathieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France]Report on the Symbol Recognition and Spotting Contest
001585 (2013) Hasan S. M. Al-Khaffaf [Allemagne, Malaisie] ; Abdullah Zawawi Talib [Malaisie] ; Mohd Azam Osman [Malaisie]Final Report of GREC’11 Arc Segmentation Contest: Performance Evaluation on Multi-resolution Scanned Documents
001A75 (2012-06-18) Walid Taha [Suède] ; Paul Brauner [France] ; Yingfu Zeng ; Robert Cartwright [États-Unis] ; Veronica Gaspes [Suède] ; Aaron Ames [États-Unis] ; Alexandre Chapoutot [France]A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
001D83 (2012) Melissa L. Petras [États-Unis] ; Nancy M. Dunbar [États-Unis] ; James J. Filiano [États-Unis] ; Matthew S. Braga [États-Unis] ; Michael C. Chobanian [États-Unis] ; Zbigniew M. Szczepiorkowski [États-Unis]Therapeutic plasma exchange in Streptococcus pneumoniae‐associated hemolytic uremic syndrome: A case report
001E44 (2012) Kosuke Izumi [États-Unis] ; Laura K. Conlin [États-Unis] ; Donna Berrodin [États-Unis] ; Christopher Fincher [États-Unis] ; Alisha Wilkens [États-Unis] ; Chad Haldeman-Englert [États-Unis] ; Sulagna C. Saitta [États-Unis] ; Elaine H. Zackai [États-Unis] ; Nancy B. Spinner [États-Unis] ; Ian D. Krantz [États-Unis]Duplication 12p and Pallister–Killian syndrome: A case report and review of the literature toward defining a Pallister–Killian syndrome minimal critical region
002088 (2011-09-28) Kristina Striegnitz [États-Unis] ; Alexandre Denis [France] ; Andrew Gargett [Émirats arabes unis] ; Konstantina Garoufi [Allemagne] ; Alexander Koller [Allemagne] ; Mariet Theune [Pays-Bas]Report on the Second Second Challenge on Generating Instructions in Virtual Environments (GIVE-2.5)
002114 (2011-09-18) Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] ; Tao Sun [États-Unis]Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest
002158 (2011-09) Ernest Valveny [Espagne] ; Matthieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France]Report on the Symbol Recognition and Spotting Contest
002162 (2011-08-30) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata
002245 (2011-07-05) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France]Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report)
002389 (2011-04-12) Walid Taha [Suède] ; Paul Brauner [France] ; Robert Cartwright [États-Unis] ; Veronica Gaspes [Suède] ; Aaron Ames [États-Unis] ; Alexandre Chapoutot [France]A core language for executable models of cyber physical systems: work in progress report
002835 (2011) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
002E30 (2010-02-01) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Formal Development of Two-Electrode Cardiac Pacing 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 "report" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "report" \
         | 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é=    report
}}

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