close
1.

電子ブック

EB
Bruno Apolloni, Takeo Kanade, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック

EB
Takashi Washio, Takeo Kanade, Katsuto Nakajima, Akito Sakurai, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
Matthew Robshaw, Olivier Billet, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
The eSTREAM Project / Matthew Robshaw
CryptMT3 Stream Cipher / Makoto Matsumoto ; Mutsuo Saito ; Takuji Nishimura ; Mariko Hagita
The Dragon Stream Cipher: Design, Analysis and Implementation Issues / Ed Dawson ; Matt Henricksen ; Leonie Simpson
The Stream Cipher HC-128 / Hongjun Wu
Design of a New Stream Cipher-LEX / Alex Biryukov
Specification for NLSv2 / Philip Hawkes ; Cameron McDonald ; Michael Paddon ; Gregory G. Rose ; Miriam Wiggers de Vries
The Rabbit Stream Cipher / Martin Boesgaard ; Mette Vesterager ; Erik Zenner
The Salsa20 Family of Stream Ciphers / Daniel J. Bernstein
Sosemanuk, a Fast Software-Oriented Stream Cipher / Come Berbain ; Olivier Billet ; Anne Canteaut ; Nicolas Courtois ; Henri Gilbert ; Louis Goubin ; Aline Gouget ; Louis Granboulan ; Cedric Lauradoux ; Marine Minier ; Thomas Pornin ; Herve Sibert
eSTREAM Software Performance / Christophe De Canniere
Decim[superscript v2] / Blandine Debraize
The Stream Cipher Edon80 / Danilo Gligoroski ; Smile Markovski ; Svein Johan Knapskog
F-FCSR Stream Ciphers / Francois Arnault ; Thierry Berger
The Grain Family of Stream Ciphers / Martin Hell ; Thomas Johansson ; Alexander Maximov ; Willi Meier
The MICKEY Stream Ciphers / Steve Babbage ; Matthew Dodd
The Self-synchronizing Stream Cipher Moustique / Joan Daemen ; Paris Kitsos
Cascade Jump Controlled Sequence Generator and Pomaranch Stream Cipher / Cees J.A. Jansen ; Tor Helleseth ; Alexander Kholosha
Trivium / Bart Preneel
ASIC Hardware Performance / Tim Good ; Mohammed Benaissa
Author Index
The eSTREAM Project / Matthew Robshaw
CryptMT3 Stream Cipher / Makoto Matsumoto ; Mutsuo Saito ; Takuji Nishimura ; Mariko Hagita
The Dragon Stream Cipher: Design, Analysis and Implementation Issues / Ed Dawson ; Matt Henricksen ; Leonie Simpson
4.

電子ブック

EB
Opher Etzion, Takeo Kanade, Tsvi Kuflik, Amihai Motro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
6.

電子ブック

EB
Sergey Balandin, Takeo Kanade, Yevgeni Koucheryavy, Dmitri Moltchanov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
7.

電子ブック

EB
Marcos Faundez-Zanuy, Virginia Espinosa-Duro, Anna Esposito, Marcos Faúndez Zanuy, Léonard Janer, Takeo Kanade, Josep Roure, Antonio Satue-Villar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック

EB
Todor Boyanov, T. Boyanov, Stefka Dimova, Krassimir Georgiev, Takeo Kanade, Geno Nikolov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック

EB
Michael Kohlhase, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Setting the Stage for Open Mathematical Documents / Part I:
Document Markup for the Web / 1:
Structure vest. Appearance in Markup / 1.1:
Markup for the World Wide Web / 1.2:
XML, the eXtensible Markup Language / 1.3:
Markup for Mathematical Knowledge / 2:
Mathematical Objects and Formulae / 2.1:
Mathematical Texts and Statements / 2.2:
Large-Scale Structure and Context in Mathematics / 2.3:
Open Mathematical Documents / 3:
A Brief History of the OMDoc Format / 3.1:
Three Levels of Markup / 3.2:
Situating the OMDoc Format / 3.3:
The Future: An Active Web of (Mathematical) Knowledge / 3.4:
An OMDoc Primer / Part II:
Textbooks and Articles / 4:
Minimal OMDoc Markup / 4.1:
Structure and Statements / 4.2:
Marking up the Formulae / 4.3:
Full Formalization / 4.4:
OpenMath Content Dictionaries / 5:
Structured and Parametrized Theories / 6:
A Development Graph for Elementary Algebra / 7:
Courseware and the Narrative/Content Distinction / 8:
A Knowledge-Centered View / 8.1:
A Narrative-Structured View / 8.2:
Choreographing Narrative and Content OMDoc / 8.3:
Summary / 8.4:
Communication Between Systems / 9:
The OMDoc Document Format / Part III:
OMDoc as a Modular Format / 10:
The OMDoc Namespaces / 10.1:
Common Attributes in OMDoc / 10.2:
Document Infrastructure / 11:
The Document Root / 11.1:
Metadata / 11.2:
Document Comments / 11.3:
Document Structure / 11.4:
Sharing Document Parts / 11.5:
The Dublin Core Elements (Module DC) / 12:
Roles in Dublin Core Elements / 12.2:
Managing Rights / 12.3:
Inheritance of Metadata / 12.4:
Mathematical Objects / 13:
OpenMath / 13.1:
Content MathML / 13.2:
Representing Types in Content-MathML and OpenMath / 13.3:
Semantics of Variables / 13.4:
Legacy Representation for Migration / 13.5:
Mathematical Text / 14:
Multilingual Mathematical Vernacular / 14.1:
Formal Mathematical Properties / 14.2:
Text Fragments and Their Rhetoric/Mathematical Roles / 14.3:
Phrase-Level Markup of Mathematical Vernacular / 14.4:
Technical Terms / 14.5:
Rich Text Structure / 14.6:
Mathematical Statements / 15:
Types of Statements in Mathematics / 15.1:
Theory-Constitutive Statements in OMDoc / 15.2:
The Unassuming Rest / 15.3:
Mathematical Examples in OMDoc / 15.4:
Inline Statements / 15.5:
Theories as Structured Contexts / 15.6:
Abstract Data Types / 16:
Representing Proofs / 17:
Proof Structure / 17.1:
Proof Step Justifications / 17.2:
Scoping and Context in a Proof / 17.3:
Formal Proofs as Mathematical Objects / 17.4:
Complex Theories / 18:
Inheritance via Translations / 18.1:
Postulated Theory Inclusions / 18.2:
Local/Required Theory Inclusions / 18.3:
Induced Assertions / 18.4:
Development Graphs / 18.5:
Notation and Presentation / 19:
Styling OMDoc Elements / 19.1:
A Restricted Style Language / 19.2:
Notation of Symbols / 19.3:
Presenting Bound Variables / 19.4:
Auxiliary Elements / 20:
Non-XML Data and Program Code in OMDoc / 20.1:
Applets and External Objects in OMDoc / 20.2:
Exercises / 21:
Document Models for OMDoc / 22:
XML Document Models / 22.1:
The OMDoc Document Model / 22.2:
OMDoc Sub-Languages / 22.3:
OMDoc Applications, Tools, and Projects / Part IV:
OMDoc Resources / 23:
The OMDoc Web Site, Wiki, and Mailing List / 23.1:
The OMDoc Distribution / 23.2:
The OMDoc Bug Tracker / 23.3:
An XML Catalog for OMDoc / 23.4:
External Resources / 23.5:
Validating OMDoc Documents / 24:
Validation with Document Type Definitions / 24.1:
Validation with RelaxNG Schemata / 24.2:
Validation with XML Schema / 24.3:
Transforming OMDoc / 25:
Extracting and Linking XSLT Templates / 25.1:
Interfaces for Systems / 25.2:
Presenting OMDoc to Humans / 25.3:
Applications and Projects / 26:
Introduction / 26.1:
QMath Parser / 26.2:
Sentido Integrated Environment / 26.3:
MBase / 26.4:
A Search Engine for Mathematical Formulae / 26.5:
Semantic Interrelation and Change Management / 26.6:
MathDox / 26.7:
ActiveMath / 26.8:
Authoring Tools for ActiveMath / 26.9:
SWiM - An OMDoc-Based Semantic Wiki / 26.10:
Induction Challenge Problems / 26.11:
Maya / 26.12:
Hets / 26.13:
CPoint / 26.14:
Stex: A Latex-Based Workflow for OMDoc / 26.15:
An Emacs Mode for Editing OMDoc Documents / 26.16:
Converting Mathematica Notebooks to OMDoc / 26.17:
Standardizing Context in System Interoperability / 26.18:
Proof Assistants in Scientific Editors / 26.19:
VeriFun / 26.20:
Appendix / Part V:
Changes to the Specification / A:
Changes from 1.1 to 1.2 / A.1:
Changes from 1.0 to 1.1 / A.2:
Quick-Reference / B:
Table of Attributes / C:
The RelaxNG Schema for OMDoc / D:
The Sub-language Drivers / D.1:
Common Attributes / D.2:
Module MOBJ: Mathematical Objects and Text / D.3:
Module MTXT: Mathematical Text / D.4:
Module DOC: Document Infrastructure / D.5:
Module DC: Dublin Core Metadata / D.6:
Module ST: Mathematical Statements / D.7:
Module ADT: Abstract Data Types / D.8:
Module PF: Proofs and Proof objects / D.9:
Module CTH: Complex Theories / D.10:
Module RT: Rich Text Structure / D.11:
Module EXT: Applets and Non-XML Data / D.12:
Module PRES: Adding Presentation Information / D.13:
Module QUIZ: Infrastructure for Assessments / D.14:
The RelaxNG Schemata for Mathematical Objects / E:
The RelaxNG Schema for OpenMath / E.1:
The RelaxNG Schema for MathML / E.2:
Bibliography
Index
Setting the Stage for Open Mathematical Documents / Part I:
Document Markup for the Web / 1:
Structure vest. Appearance in Markup / 1.1:
10.

電子ブック

EB
Robert Meersman, Takeo Kanade, R. Meersman, Zahir Tari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼