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 « proved »
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.
prove < proved < proven  Facettes :

List of bibliographic references indexed by proved

Number of relevant bibliographic references: 406.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000076 (2016-01-27) Svyatoslav Covanov [France] ; Emmanuel Thomé [France]Fast integer multiplication using generalized Fermat primes
000092 (2016-01-06) Tomasz Buchert [France]Managing large-scale, distributed systems research experiments with control-flows
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
000193 (2015-12-13) Jon Barker [Royaume-Uni] ; Ricard Marxer [Royaume-Uni] ; Emmanuel Vincent [France] ; Shinji Watanabe [États-Unis]The third `CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines
000295 (2015-10) Pierre Rolin [France] ; Marie-Odile Berger [France] ; Frédéric Sur [France]Simulation de point de vue pour la mise en correspondance et la localisation.
000371 (2015-08-25) Tomasz Buchert [France] ; Lucas Nussbaum [France] ; Jens Gustedt [France]Towards Complete Tracking of Provenance in Experimental Distributed Systems Research
000503 (2015-06-08) Simon Perdrix [France] ; Quanlong Wang [France]The ZX Calculus is incomplete for Clifford+T quantum mechanics
000525 (2015-05-26) Pierre Rolin [France] ; Marie-Odile Berger [France] ; Frédéric Sur [France]Viewpoint simulation for camera pose estimation from an unstructured scene model
000628 (2015-02-23) Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]Stable Kneser Graphs are almost all not weakly Hom-Idempotent
000662 (2015-01-01) Marco Gaboardi [France] ; Romain Péchoux [France]On Bounding Space Usage of Streams Using Interpretation Analysis
000702 (2015) Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]Modal Satisfiability via SMT Solving
000B05 (2014-06-12) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
000B32 (2014-06) Francois Petitjean [Australie] ; Jonathan Weber [France]Efficient Satellite Image Time Series Analysis Under Time Warping
000C52 (2014-03-05) Mathieu Hoyrup [France]Irreversible computable functions
000C58 (2014-03) Frédéric Sur [France] ; Michel Grediac [France]Towards deconvolution to enhance the grid method for in-plane strain measurement
000C93 (2014-01-28) Martine Cadot [France] ; Yves Laprie [France]Méthodologie 3-way d'extraction d'un modèle articulatoire de la parole à partir des données d'un locuteur
000D19 (2014-01) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus
000D76 (2014) Myrto Arapinis [Royaume-Uni] ; Marie Duflot [France]Bounding messages for free in security protocols – extension to various security properties
000F00 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
000F02 (2013-12-10) Dorin Maxim [France]Probabilistic analysis of real-time systems
001136 (2013-06-28) Kahina Bessai [France] ; Samir Youcef [France] ; Claude Godart [France] ; Selmin Nurcan [France] ; Ammar Oulamara [France]Business Process scheduling strategies in Cloud environments with fairness metrics

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

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