HalTutelle.i
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « HalTutelle.i » - entrée « LIX »
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.
LIU < LIX < LJK  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000527 (2011) Lutz Stra Burger [France] ; Alessio Guglielmi [France]A System of Interaction and Structure IV: The Exponentials and Decomposition
000528 (2011) Alessio Guglielmi [France] ; Lutz Stra Burger [France]A System of Interaction and Structure V: The Exponentials and Splitting
000597 (2011) Thomas Bourquard [France] ; Julie Bernauer [France] ; Jérôme Azé [France] ; Anne Poupon [France]A collaborative filtering approach for protein-protein docking scoring functions.
000663 (2007) Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Nicolas Thériault [Canada] ; Claus Diem [Allemagne]A double large prime variation for small genus hyperelliptic index calculus
000C02 (2010-07) Guillaume Hanrot [France] ; François Morain [France] ; Emmanuel Thomé [France]Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
000C32 (2007-05-20) Andreas Enge [France] ; Pierrick Gaudry [France]An $L (1/3 + \varepsilon)$ Algorithm for the Discrete Logarithm Problem for Low Degree Curves
001628 (2011-09-29) Sarel J. Fleishman ; Timothy A. Whitehead ; Eva-Maria Strauch ; Jacob E. Corn ; Sanbo Qin ; Huan-Xiang Zhou ; Julie C. Mitchell ; Omar N A. Demerdash ; Mayuko Takeda-Shitaka ; Genki Terashi ; Iain H. Moal ; Xiaofan Li ; Paul A. Bates ; Martin Zacharias ; Hahnbeom Park ; Jun-Su Ko ; Hasup Lee ; Chaok Seok ; Thomas Bourquard [France] ; Julie Bernauer [France] ; Anne Poupon [France] ; Jérôme Azé [France] ; Seren Soner ; Sefik Kerem Oval ; Pemra Ozbek ; Nir Ben Tal ; Türkan Haliloglu ; Howook Hwang ; Thom Vreven ; Brian G. Pierce ; Zhiping Weng ; Laura Pérez-Cano ; Carles Pons ; Juan Fernández-Recio ; Fan Jiang ; Feng Yang ; Xinqi Gong ; Libin Cao ; Xianjin Xu ; Bin Liu ; Panwen Wang ; Chunhua Li ; Cunxin Wang ; Charles H. Robert ; Mainak Guharoy ; Shiyong Liu ; Yangyu Huang ; Lin Li ; Dachuan Guo ; Ying Chen ; Yi Xiao ; Nir London ; Zohar Itzhaki ; Ora Schueler-Furman ; Yuval Inbar ; Vladimir Patapov ; Mati Cohen ; Gideon Schreiber ; Yuko Tsuchiya ; Eiji Kanamori ; Daron M. Standley ; Haruki Nakamura ; Kengo Kinoshita ; Camden M. Driggers ; Robert G. Hall ; Jessica L. Morgan ; Victor L. Hsu ; Jian Zhan ; Yuedong Yang ; Yaoqi Zhou ; Panagiotis L. Kastritis ; Alexandre M J J. Bonvin ; Weiyi Zhang ; Carlos J. Camacho ; Krishna P. Kilambi ; Aroop Sircar ; Jeffrey J. Gray ; Masahito Ohue ; Nobuyuki Uchikoga ; Yuri Matsuzaki ; Takashi Ishida ; Yutaka Akiyama ; Raed Khashan ; Stephen Bush ; Denis Fouches ; Alexander Tropsha ; Juan Esquivel-Rodríguez ; Daisuke Kihara ; P Benjamin Stranges ; Ron Jacak ; Brian Kuhlman ; Sheng-You Huang ; Xiaoqin Zou ; Shoshana J. Wodak ; Joel Janin [France] ; David BakerCommunity-Wide Assessment of Protein-Interface Modeling Suggests Improvements to Design Methodology.
001869 (2005-05) François Lamarche [France] ; Lutz Stra Burger [France]Constructing free Boolean categories
001974 (2011-12-04) Pierrick Gaudry [France] ; David Kohel [France] ; Benjamin Smith [France]Counting Points on Genus 2 Curves with Real Multiplication
002250 (2007) Pierrick Gaudry [France]Fast genus 2 arithmetic based on Theta functions
002F18 (2007) Alin Bostan [France] ; Pierrick Gaudry [France] ; Eric Schost [France]Linear recurrences with polynomial coefficients and application to integer factorization and Cartier-Manin operator
003D35 (2011) Konstantinos Chatzikokolakis [France] ; Véronique Cortier [France]Proceedings of the 8th International Workshop on Security Issues in Concurrency
003E15 (2011-06-28) Thomas Bourquard [France] ; Jérôme Azé [France] ; Anne Poupon [France] ; David Ritchie [France]Protein-protein docking based on shape complementarity and Voronoi fingerprint
004436 (2001) David Coeurjolly ; Isabelle Debled-Rennesson [France] ; Olivier Teytaud [France]Segmentation and Length Estimation of 3D Discrete Curves
004A86 (2006-12) Pierrick Gaudry [France] ; Thomas Houtmann [France] ; David Kohel [Australie] ; Christophe Ritzenthaler [France] ; Annegret Weng [France]The 2-adic CM method for genus 2 curves with application to cryptography
004B94 (2010-09-01) Kaustuv Chaudhuri [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France]The TLA+ Proof System: Building a Heterogeneous Verification Platform
004C19 (2005) Abdolali Basiri [France] ; Andreas Enge [France] ; Jean-Charles Faugère [France] ; Nicolas Gürel [France]The arithmetic of Jacobian groups of superelliptic cubics
005272 (2010-07-16) Kaustuv Chaudhuri [France] ; Damien Doligez [France] ; Leslie Lamport [États-Unis] ; Stephan Merz [France]Verifying Safety Properties With the TLA+ Proof System
005B48 (2006) Yann Guermeur [France] ; Olivier Teytaud [France]Estimation et contrôle des performances en généralisation des réseaux de neurones

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "LIX" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "LIX" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    LIX
}}
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