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 « therefore »
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.
thereby < therefore < thereforeonly  Facettes :

List of bibliographic references indexed by therefore

Number of relevant bibliographic references: 661.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000072 (2016-02-01) Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France] ; Gilles Villard [France]Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
000091 (2016-01-06) Chloé Ambroset [France] ; Charles Coluzzi [France] ; Gérard Guédon [France] ; Marie-Dominique Devignes [France] ; Valentin Loux [France] ; Thomas Lacroix [France] ; Sophie Payot [France] ; Nathalie Leblond-Bourget [France]New Insights into the Classification and Integration Specificity of Streptococcus Integrative Conjugative Elements through Extensive Genome Exploration
000102 (2016) Frédéric Bimbot [France] ; Emmanuel Deruty [France] ; Gabriel Sargent [France] ; Emmanuel Vincent [France]System & Contrast : A Polymorphous Model of the Inner Organization of Structural Segments within Music Pieces
000119 (2016) Danesh Tarapore [Royaume-Uni] ; Jeff Clune [États-Unis] ; Antoine Cully [Royaume-Uni] ; Jean-Baptiste Mouret [France]How Do Different Encodings Influence the Performance of the MAP-Elites Algorithm?
000120 (2016) Makoto Hasegawa [Japon] ; Salvatore Tabbone [France]Histogram of Radon transform with angle correlation matrix for distortion invariant shape descriptor
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000148 (2016) Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie]Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis?
000223 (2015-11-24) Denis Jouvet [France] ; Katarina Bartkova [France]Acoustical Frame Rate and Pronunciation Variant Statistics
000263 (2015-10-26) Patrick Olivier Kamgueu [France] ; Emmanuel Nataf [France] ; Thomas Djotio Ndié [Cameroun]On Design and Deployment of Fuzzy-Based Metric for Routing in Low-Power and Lossy Networks
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000314 (2015-09-25) Francois Despaux [France]Modelling and evaluation of the end to end delay in WSN
000327 (2015-09-14) Benjamin Elie [France] ; Yves Laprie [France]Extension of the single-matrix formulation of the vocal tract: consideration of bilateral channels and connection of self-oscillating models of vocal folds with glottal chink
000363 (2015-08-31) Maxime Amblard [France] ; Karën Fort [France] ; Caroline Demily [France] ; Nicolas Franck [France] ; Michel Musiol [France]Analyse lexicale outillée de la parole transcrite de patients schizophrènes
000465 (2015-06-30) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-Level Model as a Society of Interacting Models: Application to a Collective Motion Example
000514 (2015-06-01) Nassim Kaldé [France] ; Olivier Simonin [France] ; François Charpillet [France]Comparison of Classical and Interactive Multi-Robot Exploration Strategies in Populated Environments
000551 (2015-05-05) Mehdi Ahmed-Nacer [France]Evaluation methodology for replicated data types
000557 (2015-05) Jérôme Gleyzes [France] ; David Langlois [France] ; Federico Piazza [France] ; Filippo Vernizzi [France]New Class of Consistent Scalar-Tensor Theories
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000618 (2015-03-03) Julien Vaubourg [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France]Co-Simulation of IP Network Models in the Smart Grids Context, using a DEVS-based Platform
000636 (2015-02-09) Juan Pablo Timpanaro [France] ; Thibault Cholez [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]Evaluation of the Anonymous I2P Network's Design Choices Against Performance and Security

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 "therefore" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "therefore" \
         | 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é=    therefore
}}
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