List of bibliographic references
Number of relevant bibliographic references: 57.
[0-20] [
0 - 20][
0 - 50][
20-40]
Ident. | Authors (with country if any) | Title |
---|
000096 (2013) |
Takahito Aoto [Japon] ; Munehiro Iwami [Japon] | Termination of Rule-Based Calculi for Uniform Semi-Unification |
000097 (2013) |
Cynthia Kop [Autriche] ; Naoki Nishida [Japon] | Term Rewriting with Logical Constraints |
000102 (2013) |
Naosuke Nonoguchi [France, Japon] ; Takashi Ohta [France] ; Ji-Eun Oh [France] ; Young-Ho Kim [France, Corée du Sud] ; Paul Kleihues [Suisse] ; Hiroko Ohgaki [France] | TERT promoter mutations in primary and secondary glioblastomas |
000141 (2013) |
Hidenori Kurokawa [Japon] | Prefixed Tableau Systems for Logic of Proofs and Provability |
000147 (2013) |
Frank Nielsen [Japon] | Pattern Learning and Recognition on Statistical Manifolds: An Information-Geometric Review |
000158 (2013) |
Haruna Takeda [Singapour, Japon] ; Hideto Koso [Singapour, Japon] ; Lino Tessarollo [États-Unis] ; Neal G. Copeland [Singapour, États-Unis] ; Nancy A. Jenkins [Singapour, États-Unis] | Musashi1‐CreERT2: A new cre line for conditional mutagenesis in neural stem cells |
000174 (2013) |
Yoshinobu Kano [Japon] | Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation |
000199 (2013) |
Frank Nielsen [Japon] | Hypothesis Testing, Information Divergence and Computational Geometry |
000225 (2013) |
Takahito Aoto [Japon] | Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering |
000405 (2012) |
Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon] | Multi-Completion with Termination Tools |
000516 (2011) |
Isao Yamaguchi [Japon] ; Tomonori Asano [Japon] | Uncatalyzed synthesis of polypyrrole with viologen side groups and its chemical properties |
000737 (2010) |
Gauvain Bourgne [Japon] | Introduction |
000796 (2010) |
Pritam Mukhopadhyay [Inde, Japon] ; Norifumi Fujita [Japon] ; Akihiko Takada [Japon] ; Takanori Kishida [Japon] ; Michihiro Shirakawa [Japon] ; Seiji Shinkai [Japon] | Regulation of a Real‐Time Self‐Healing Process in Organogel Tissues by Molecular Adhesives |
000797 (2010) |
Pritam Mukhopadhyay [Inde, Japon] ; Norifumi Fujita [Japon] ; Akihiko Takada [Japon] ; Takanori Kishida [Japon] ; Michihiro Shirakawa [Japon] ; Seiji Shinkai [Japon] | Regulation of a Real‐Time Self‐Healing Process in Organogel Tissues by Molecular Adhesives |
000842 (2010) |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
000888 (2010) |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
000975 (2009) |
Toshiyuki Maeda [Japon] ; Akinori Yonezawa [Japon] | Writing an OS Kernel in a Strictly and Statically Typed Language |
000976 (2009) |
Reynald Af Feldt [Japon] ; Hubert Comon-Lundh [Japon] | Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables |
000981 (2009) |
Xavier Goaoc [France] ; Jan Kratochvíl [République tchèque] ; Yoshio Okamoto [Japon] ; Chan-Su Shin [Corée du Sud] ; Andreas Spillner [Royaume-Uni] ; Alexander Wolff [Pays-Bas] | Untangling a Planar Graph |
000985 (2009) |
Yuki Hara [Japon] ; Taiki Ishiwata [Japon] ; Junji Shikata [Japon] ; Tsutomu Matsumoto [Japon] | Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment |
000A57 (2009) |
Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] ; Eiji Okamoto [Japon] ; Francisco Rodríguez-Henríquez [Mexique] | Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i -k "Japon"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i \
-Sk "Japon" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Checkpoint
|type= indexItem
|index= AffPays.i
|clé= Japon
}}
| 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 | |