close
1.

図書

図書
edited by Mary-Anne Williams and Hans Rott
出版情報: Dordrecht : Kluwer, c2001  vii, 451 p. ; 25 cm
シリーズ名: Applied logic series ; v. 22
所蔵情報: loading…
2.

図書

図書
edited by Hal Thwaites and Lon Addison ; organized by International Society on Virtual Systems and MultiMedia, Center for Design Visualization, University of California, Berkeley
出版情報: Los Alamitos, California : IEEE Computer Society, c2001  xv, 876 p. ; 23 cm
所蔵情報: loading…
3.

図書

図書
John Lawrence Nazareth
出版情報: New York ; Berlin : Springer-Verlag, c2004  xii, 108 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Comments on Style and Print Size
Simple Motivating Examples
A Quintessential Optimization Problem
Duality on Bipartite Networks
A Network Flows Overview
Duality in Linear Programming
Golden Age of Optimization
An Algorithmic Revolution
Nonlinear Programming
DLP and Extensions
Optimization: The Big Picture
Bibliography
Index
About the Author
Comments on Style and Print Size
Simple Motivating Examples
A Quintessential Optimization Problem
4.

図書

図書
Rana Farid Mikhail, Donald Berndt, Abraham Kandel
出版情報: Singapore : World Scientific, c2010  xiv, 195 p. ; 24 cm
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; v. 76
所蔵情報: loading…
5.

図書

図書
by Guozhu Dong and Jian Pei
出版情報: New York : Springer, c2007  xv, 150 p. ; 25 cm
シリーズ名: Advances in database systems ; 33
所蔵情報: loading…
6.

図書

図書
Da Ruan ...[et al.]
出版情報: Berlin : Springer, c2005  ix, 517 p. ; 25 cm
シリーズ名: Studies in computational intelligence ; v. 5
所蔵情報: loading…
目次情報: 続きを見る
Intelligent Systems and Data Mining / Part I:
Some Considerations in Multi-Source Data Fusion / Ronald R. Yager
Granular Nested Causal Complexes / Lawrence J. Mazlack
Gene Regulating Network Discovery / Yingjun Cao ; Paul P. Wang ; Alade Tokuta
Semantic Relations and Information Discovery / D. Cai ; C.J. van Rijsbergen
Sequential Pattern Mining / Tian-Rui Li ; Yang Xu ; Da Ruan ; Wu-ming Pan
Uncertain Knowledge Association Through Information Gain / Athena Tocatlidou ; Spiros Th. Kaloudis ; Nikos A. Lorentzos
Data Mining for Maximal Frequent Patterns in Sequence Groups / J.W. Guan ; D.A. Bell ; D.Y. Liu
Mining Association Rules with Rough Sets
The Evolution of the Concept of Fuzzy Measure / Luis Garmendia
Economic and Management Applications / Part II:
Association Rule Based Specialization in ER Models / Martine De Cock ; Chris Cornelis ; Ming Ren ; Guoqing Chen ; Etienne E. Kerre
Discovering the Factors Affecting the Location Selection of FDI in China / Li Zhang ; Yujie Zhu ; Ying Liu ; Nan Zhou
Penalty-Reward Analysis with Uninorms: A Study of Customer (Dis)Satisfaction / Koen Vanhoof ; Pieter Pauwels ; Jószef Dombi ; Tom Brijs ; Geert Wets
Using an Adapted Classification Based on Associations Algorithm in an Activity-Based Transportation System / Davy Janssens
Evolutionary Induction of Descriptive Rules in a Market Problem / M.J. del Jesus ; P. González ; F. Herrera ; M. Mesonero
Personalized Multi-Stage Decision Support in Reverse Logistics Management / Jie Lu ; Guangquan Zhang
Industrial Engineering Applications / Part III:
Fuzzy Process Control with Intelligent Data Mining / Murat Gülbay ; Cengiz Kahraman
Accelerating the New Product Introduction with Intelligent Data Mining / Gülçin Büyüközkan ; Orhan Feyzioğlu
Integrated Clustering Modeling with Backpropagation Neural Network for Efficient Customer Relationship Management / Tijen Ertay ; Bora Çekyay
Sensory Quality Management and Assessment: from Manufacturers to Consumers / Ludovic Koehl ; Xianyi Zeng ; Bin Zhou ; Yongsheng Ding
Simulated Annealing Approach for the Multi-objective Facility Layout Problem / Umut R. Tuzkaya
Self-Tuning Fuzzy Rule Bases with Belief Structure / Jun Liu ; Jian-Bo Yang ; Luis Martinez Lopez
A User Centred Approach to Management Decision Making / L.P. Maguire ; T.A. McCloskey ; P.K. Humphreys ; R. Mclvor
Techniques to Improve Multi-Agent Systems for Searching and Mining the Web / E. Herrera-Viedma ; C. Porcel ; L. Martínez ; A.G. Lopez-Herrera
Advanced Simulator Data Mining for Operators' Performance Assessment / Anthony Spurgin ; Gueorgui Petkov
Subject Index
Intelligent Systems and Data Mining / Part I:
Some Considerations in Multi-Source Data Fusion / Ronald R. Yager
Granular Nested Causal Complexes / Lawrence J. Mazlack
7.

図書

図書
Kris Kaspersky
出版情報: Wayne, PA : A-LIST, LLC, c2005  x, 502 p. ; 24 cm
所蔵情報: loading…
8.

図書

図書
和久井孝太郎著
出版情報: 東京 : 日本印刷技術協会, 2000.6  175p ; 19cm
所蔵情報: loading…
9.

図書

図書
Jürgen Franke, Gholamreza Nakhaeizadeh and Ingrid Renz
出版情報: Heidelberg : Physica-Verlag, c2003  ix, 163 p. ; 24 cm
シリーズ名: Advances in soft computing
所蔵情報: loading…
目次情報: 続きを見る
Text Mining / Ingrid Renz ; Jürgen Franke
Introduction / 1:
Text Mining: State of the Art / 2:
Selected Text Mining Projects at DaimlerChrysler / 3:
A Look Ahead / 4:
Related Literature
Department Publications
XML Information Retrieval and Information Extraction / Norbert Fuhr
XML Retrieval
XIRQL Concepts
XML Retrieval and Information Extraction
Conclusions / 5:
References
Feature-Rich Memory-Based Classification for Shallow NLP and Information Extraction / Jakub Zavrel ; Walter Daelemans
Memory-Based Language Processing
Memory-Based Information Extraction
Data
Experiments
Discussion and Future Work
Concept Drift and the Importance of Examples / Ralf Klinkenberg ; Stefan Rüping
Concept Drift
Support Vector Machines
The Importance of Examples
Summary and Conclusions / 6:
Evaluating Retrieval Performance Using Clickthrough Data / Thorsten Joachims
Previous Work
Presentation Bias in Clickthrough Data
Unbiased Clickthrough Data for Comparing Retrieval Functions
Theoretical Analysis
Conclusions and Future Work / 7:
Towards Collaborative Information Retrieval: Three Approaches / Armin Hust ; Stefan Klink ; Markus Junker ; Andreas Dengel
Basics and Terminology
Query Similarity-Based Approaches
Query Term-Based Approach
Pseudo Relevance Feedback
Experimental Setup
Results
Summary / 8:
The XDOC Document Suite - a Workbench for Document Mining / Dietmar Rösner ; Manuela Kunze
Design Principles for XDOC
A Reference Model
A Closer Look at XDOC
Related Work
On Knowledgeable Unsupervised Text Mining / Andreas Hotho ; Alexander Maedche ; Steffen Staab ; Valentin Zacharias
OSEM - A Conceptual Architecture for Ontology-Based Text Mining
Preprocessing Towards a Conceptual Representation
Mining Component in OSEM
Postprocessing and Presentation
Conclusion
Using Adaptive Information Extraction for Effective Human-Centred Document Annotation / Fabio Ciravegna ; Alexiei Dingli ; Yorick Wilks ; Daniela Petrelli
Desiderata for lE-Based Annotation
Interaction Model
Evaluating lE's Effectiveness
Index
Text Mining / Ingrid Renz ; Jürgen Franke
Introduction / 1:
Text Mining: State of the Art / 2:
10.

図書

図書
Hussein A. Abbass, Ruhul A. Sarker, Charles S. Newton
出版情報: Hershey Pa. : Idea Group Pub. : Information Science Pub., c2002  iv, 300 p. ; 26 cm
所蔵情報: loading…
11.

図書

図書
Weng Cho Chew ...[et al.], editors
出版情報: Boston : Artech House, c2001  xxvi, 931 p. ; 24 cm
シリーズ名: The Artech House antennas and propagation library
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction to Electromagnetic Analysis and Computational Electromagnetics / 1:
Introduction / 1.1:
A Bit of History / 1.2:
More on Differential Equation Solvers / 1.3:
Integral Equation Solvers / 1.4:
A Simplified View of the Multilevel Fast Multipole Algorithm / 1.5:
Conclusion / 1.6:
References
Fast Multipole Method and Multilevel Fast Multipole Algorithm in 2D / 2:
Introduction to Fast Multipole in 2D / 2.1:
Motivation for Multilevel Method / 2.3:
The Multilevel Fast Multipole Algorithm / 2.4:
Interpolation Error / 2.5:
FMM and Group Theory / 2.6:
FMM and MLFMA in 3D and Fast Illinois Solver Code / 2.7:
Three-Dimensional FMM and MLFMA / 3.1:
Multilevel Fast Multipole Algorithm / 3.3:
Error Analysis in FMM and MLFMA / 3.4:
Large-Scale Computing / 3.5:
Fast Illinois Solver Code (FISC) / 3.6:
Conclusions / 3.7:
Parallelization of Multilevel Fast Multipole Algorithm on Distributed Memory Computers / 4:
The MPI Programming Model / 4.1:
Mathematical Preliminaries / 4.3:
The Parallel MLFMA / 4.4:
Implementation Issues / 4.5:
ScaleME: A Brief Description / 4.6:
Numerical Experiments / 4.7:
ScaleME-2: An Improved Parallel MLFMA / 4.8:
Multilevel Fast Multipole Algorithm at Very Low Frequencies / 4.9:
Two-Dimensional Multilevel Fast Multipole Algorithm at Very Low Frequencies / 5.1:
3D Multilevel Fast Multipole Algorithm at Very Low Frequencies / 5.3:
Error Analysis of Surface Integral Equation Methods / 5.4:
Spectral Convergence Theory--2D / 6.1:
Spectral Convergence Theory--3D / 6.3:
Iterative Solution Methods / 6.4:
Advances in the Theory of Perfectly Matched Layers / 6.5:
PML via Complex Space Coordinates / 7.1:
PML-FDTD for Dispersive Media with Conductive Loss / 7.3:
Maxwellian PML / 7.4:
Extension to (Bi)Anisotropic Media / 7.5:
PML for Inhomogeneous Media / 7.6:
Curvilinear PML / 7.7:
Stability Issues / 7.8:
Generalized PML-FDTD Schemes / 7.9:
Unified Theory: Brief Discussion / 7.10:
Fast Forward and Inverse Methods for Buried Objects / 8:
Green's Functions / 8.1:
Fast Forward Scattering Methods / 8.3:
Detection of Buried Objects Using Forward Method / 8.4:
Fast Inverse Scattering Methods / 8.5:
Low-Frequency Scattering from Penetrable Bodies / 9:
Low-Frequency Scattering from a Single Penetrable Body / 9.1:
Scattering from a Multibody / 9.3:
Efficient Analysis of Waveguiding Structures / 10:
Finite Difference Formulation / 10.1:
Solution to the Sparse Matrix Equation / 10.3:
Waveguide Discontinuities / 10.4:
Numerical Examples / 10.5:
Volume-Surface Integral Equation / 10.6:
The Formulation of the Integral Equations / 11.1:
Numerical Solution of the Hybrid VSIE / 11.3:
Combined Field Integral Equation / 11.4:
Singular Integral Treatments / 11.5:
Solution of VSIE by Fast Multipole Method / 11.6:
Other Applications / 11.7:
Finite Element Analysis of Complex Axisymmetric Problems / 12:
Formulation / 12.1:
Cylindrical PML / 12.3:
Numerical Results / 12.4:
BOR with Appendages / 12.5:
Hybridization in Computational Electromagnetics / 12.6:
Hybrid FEM/ABC Technique / 13.1:
Hybrid FEM/BIE Technique / 13.3:
Hybrid FEM/AABC Technique / 13.4:
Hybrid FEM/SBR Technique / 13.5:
Hybrid MOM/SBR Technique / 13.6:
Summary / 13.7:
High-Order Methods in Computational Electromagnetics / 14:
Higher-Order MOM and MLFMA / 14.1:
Point-Based Implementation of Higher-Order MLFMA / 14.3:
Higher-Order FEM / 14.4:
Mixed-Order Prism Elements / 14.5:
Point-Based Grid-Robust Higher-Order Bases / 14.6:
Asymptotic Waveform Evaluation for Broadband Calculations / 14.7:
The AWE Method / 15.1:
Analysis of Metallic Antennas / 15.3:
Analysis of Metallic Scatterers / 15.4:
Analysis of Dielectric Scatterers / 15.5:
Analysis of Microstrip Antennas / 15.6:
Full-Wave Analysis of Multilayer Microstrip Problems / 15.7:
Green's Functions for Multilayer Media / 16.1:
The Method-of-Moments Solution / 16.3:
Fast Frequency-Sweep Calculation / 16.4:
The Conjugate Gradient-FFT Method / 16.5:
The Adaptive Integral Method / 16.6:
The Steepest-Descent Fast Multipole Method / 16.7:
Field Evaluation on Quasi-Planar Surfaces / 17.1:
Computational Complexity Estimates / 17.3:
Scattering from Random Rough Surfaces / 17.4:
Quantum Well Grating Analysis / 17.5:
Analysis of Microstrip Antenna Arrays on Finite Substrates / 17.6:
Plane-Wave Time-Domain Algorithms / 17.7:
The Marching-on-in-Time Method / 18.1:
The Plane-Wave Time-Domain Algorithm / 18.3:
Implementation of the PWTD-Enhanced MOT Schemes / 18.4:
The Windowed Plane-Wave Time-Domain Algorithm / 18.5:
Implementation of the Windowed PWTD-Enhanced MOT Schemes / 18.6:
Plane-Wave Time-Domain Algorithm Enhanced Time-Domain Integral Equation Solvers / 18.7:
Plane-Wave Time-Domain Algorithm / 19.1:
About the Authors / 19.4:
Index
Preface
Acknowledgments
Introduction to Electromagnetic Analysis and Computational Electromagnetics / 1:
12.

図書

図書
edited by Ron Kohavi, Foster Provost
出版情報: Boston : Kluwer Academic, c2001  153 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Applications of data mining to electronic commerce / Ron Kohavi and Foster Provost
Personalization of supermarket product recommemdations / R.D. lawrence ... [et al.]
Expert-driven validation of rule-based user models in personalization applications / Gediminas Adomavicius and Alexander Tuzhilin
Visualization and analysis of clickstream data of online stores for understanding web merchandising / Juhnyoung Lee ... [et al.]
Data mining for measuring and improving the succes of web sites / Myra Spiliopoulou and Carsten Pohle
E-commerce recommendation applications / J. Ben Schafer, Joseph A. Konstan and John Riedl
Applications of data mining to electronic commerce / Ron Kohavi and Foster Provost
Personalization of supermarket product recommemdations / R.D. lawrence ... [et al.]
Expert-driven validation of rule-based user models in personalization applications / Gediminas Adomavicius and Alexander Tuzhilin
13.

図書

図書
西原清一監修
出版情報: 東京 : 画像情報教育振興協会(CG-ARTS協会), 2014.3  263p ; 26cm
所蔵情報: loading…
14.

図書

図書
古田勝久責任編集 ; 寺尾満 [ほか] 執筆
出版情報: 東京 : コロナ社, 1988.4  136p ; 26cm
シリーズ名: コンピュートロール : computer and application's mook ; no. 22
所蔵情報: loading…
15.

図書

図書
北森俊行, 新誠一責任編集
出版情報: 東京 : コロナ社, 1990.10  142p ; 26cm
シリーズ名: コンピュートロール : computer and application's mook ; 32
所蔵情報: loading…
16.

図書

図書
花房秀郎責任編集
出版情報: 東京 : コロナ社, 1985.1  138p ; 26cm
シリーズ名: コンピュートロール : computer and application's mook ; 9
所蔵情報: loading…
17.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.7  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 7
所蔵情報: loading…
18.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.7  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 8
所蔵情報: loading…
19.

図書

図書
樋口龍雄責任編集
出版情報: 東京 : コロナ社, 1990.4  128p ; 26cm
シリーズ名: コンピュートロール : computer and application's mook ; 30
所蔵情報: loading…
20.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.6  63p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 5
所蔵情報: loading…
21.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.6  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 6
所蔵情報: loading…
22.

図書

図書
情報技術教育研究会編
出版情報: 東京 : オーム社, 1996.4  125p ; 26cm
シリーズ名: 新電気ライセンスブック
所蔵情報: loading…
23.

図書

図書
松下温 [ほか] 編集委員
出版情報: 東京 : 共立出版  冊
所蔵情報: loading…
24.

図書

図書
川井忠彦責任編集
出版情報: 東京 : コロナ社, 1984.10  150 p. ; 26 cm
シリーズ名: コンピュートロール : computer and application's mook ; no. 8
所蔵情報: loading…
25.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.4  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 2
所蔵情報: loading…
26.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.5  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 3
所蔵情報: loading…
27.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.5  57p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 4
所蔵情報: loading…
28.

図書

図書
グレン・I・オーウチ著 ; 山崎昶訳
出版情報: 東京 : 海文堂出版, 1989.11  ix,280p ; 21cm
所蔵情報: loading…
29.

図書

図書
吉川弘之, 伊藤公俊責任編集
出版情報: 東京 : コロナ社, 1989.1  136p ; 26cm
シリーズ名: コンピュートロール : computer and application's mook ; 25
所蔵情報: loading…
30.

図書

図書
木村文彦責任編集
出版情報: 東京 : コロナ社, 1991.11  134p ; 26 cm
シリーズ名: コンピュートロール : computer and application's mook ; no. 36
所蔵情報: loading…
31.

図書

図書
日本アイ・ビー・エム
出版情報: 東京 : 日本アイ・ビー・エム, 1991.7  iv, 874p ; 28cm
所蔵情報: loading…
32.

図書

図書
edited by Kiyoshi Itoh ... [et al.]
出版情報: Amsterdam : Gordon and Breach, 1998  xiii, 176 p. ; 26cm
シリーズ名: Advanced information processing technology / edited by Tadao Saito ; v. 1 . Domain oriented systems development
所蔵情報: loading…
33.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1997  viii, 268 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1996  ix, 249 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1995  viii, 292 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
Edward Tsang
出版情報: London : Academic Press, c1993  xviii, 421 p. ; 24 cm
シリーズ名: Computation in cognitive science
所蔵情報: loading…
37.

図書

図書
Special Interest Group for Algorithms and Computation Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1994  ix, 313 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
Special Interest Group for Algorithms and Computation Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1993  vi, 312 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
出版情報: Cambridge : Cambridge University Press, 1992  339 p. ; 23 cm
シリーズ名: London Mathematical Society lecture note series ; 177
所蔵情報: loading…
目次情報: 続きを見る
Preface
Computational comonads and intensional semantics / S. Brookes ; S. Geva
Weakly distributed categories / J. R. B. Cockett ; R. A. G. Seely
Sequentiality and full abstraction / P.-L. Curien
Remarks on algebraically compact categories / P. J. Freyd
Dinaturality for free / E. P. Robinson ; G. Rosolini
Simply typed and untyped l-calculus revisited / B. Jacobs
Modelling reduction in confluent categories / C. B. Jay
On clubs and data-type constructors / G. M. Kelly
Penrose diagrams and 2-dimensional rewriting / Y. Lafont
Strong monads, algebras and fixed points / P. S. Mulry
Semantics of local variables / P. W. O'Hearn ; R. D. Tennant
Using fibrations to understand subtypes / W. Phoa
Reasoning about sequential functions via logical relations / K. Sieber
I-categories and duality / M. B. Smyth
Geometric theories and databases / S. Vickers
Partial products, bagdomains and hyperlocal toposes / P. T. Johnstone
Preface
Computational comonads and intensional semantics / S. Brookes ; S. Geva
Weakly distributed categories / J. R. B. Cockett ; R. A. G. Seely
40.

図書

図書
edited by Alan Gibbons, Paul Spirakis
出版情報: Cambridge : Cambridge University Press, 1993  437 p. ; 26 cm
シリーズ名: Cambridge international series on parallel computation ; 4
所蔵情報: loading…
目次情報: 続きを見る
Structural parallel algorithmics / Uzi Vishkin1:
PRAM models and fundamental parallel algorithmic techniques: part I / Paul G. Spirakis ; Alan Gibbons2:
PRAM models and fundamental parallel algorithmic techniques: part II / 3:
Efficient parallel graph algorithms / Vijaya Ramachandran4:
Some parallel geometric algorithms / Colm O'Dunlaing5:
Parallel algorithms for string pattern matching / Costas S. Iliopoulos6:
Design of parallel matrix algorithms / D. J. Evans7:
Dependable parallel computing on unreliable parallel machines / Z. M. Kedem ; K. V. Palem ; A. Raghunathan ; P. G. Spirakis8:
P-completeness / Jacobo Toran9:
Introduction to distributed memory models of parallel computation / 10:
Network orientation / Gerard Tel11:
Special purpose parallel computing / W. F. McColl12:
General purpose parallel computing / 13:
Complexity models for all-purpose parallel computation / Andrew Chin14:
Implementing sparse BLAS primitives on concurrent/vector processors / H. A. G. Wijshoff15:
Structural parallel algorithmics / Uzi Vishkin1:
PRAM models and fundamental parallel algorithmic techniques: part I / Paul G. Spirakis ; Alan Gibbons2:
PRAM models and fundamental parallel algorithmic techniques: part II / 3:
41.

図書

図書
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1991  vii, 341 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
出版情報: New York : Association for Computing Machinery, 1990  vii, 425 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
Douglas A. Colbert
出版情報: New York : McGraw-Hill, c1968  xii, 222 p. ; 24 cm
所蔵情報: loading…
44.

図書

図書
F. Robert Crawford
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973  xix, 523 p. ; 23 cm
所蔵情報: loading…
45.

図書

図書
Alfred Wittmann, Joël Klos
出版情報: Amsterdam ; New York : Elsevier Scientific, 1977  347 p. ; 24 cm
所蔵情報: loading…
46.

図書

図書
Angela B. Shiflet and George W. Shiflet
出版情報: Princeton, N.J. : Princeton University Press, c2014  xxxiii, 816 p. ; 26cm
所蔵情報: loading…
47.

図書

図書
C. Brink, W. Kahl, G. Schmidt (eds.)
出版情報: Wien : Springer, c1997  xiv, 272 p. ; 24 cm
シリーズ名: Advances in computing science
所蔵情報: loading…
48.

図書

図書
JEIC情報処理技術者試験研究会編
出版情報: 東京 : 日刊工業新聞社, 1996.4  350p ; 26cm
所蔵情報: loading…
49.

図書

図書
JEIC情報処理技術者試験研究会編
出版情報: 東京 : 日刊工業新聞社, 1996.6  vii, 259p ; 26cm
所蔵情報: loading…
50.

図書

図書
edited by Randall Rustin
出版情報: New York : Algorithmics Press, c1973  350 p. ; 24 cm
シリーズ名: Courant computer science symposium ; 8
所蔵情報: loading…
51.

図書

図書
和泉順子, 櫻井茂明, 中村文隆共著
出版情報: 東京 : サイエンス社, 2018.10  vi, 127p ; 21cm
シリーズ名: Information & computing ; 118
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 情報システムとコンピュータ
第2章 : ファイルシステムの利用
第3章 : データ表現
第4章 : コンピュータが動くには
第5章 : プログラムが動くには
第6章 : ネットワークやデータベースにつながるとは
第7章 : セキュリティ・リテラシ・システム開発
第1章 : 情報システムとコンピュータ
第2章 : ファイルシステムの利用
第3章 : データ表現
52.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.4  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 1
所蔵情報: loading…
53.

図書

図書
M. Xie
出版情報: Singapore : World Scientific, c1991  xv, 212 p. ; 23 cm
所蔵情報: loading…
54.

図書

図書
Derek L. Hansen ... [et al.]
出版情報: Cambridge, Mass. : Elsevier, Morgan Kaufmann, c2020  xviii, 229 p. ; 28 cm
所蔵情報: loading…
55.

図書

図書
editors, Sanjit K. Mitra, Giovanni L. Sicuranza
出版情報: San Diego ; Tokyo : Academic Press, c2001  xv, 455 p., [4] p. of plates ; 26 cm
シリーズ名: Academic Press series in communications, networking, and multimedia
所蔵情報: loading…
56.

図書

図書
Khalid Sayood
出版情報: San Francisco, Calif. : Morgan Kaufmann, c2000  xx, 636 p.
シリーズ名: The Morgan Kaufmann series in multimedia information and systems
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Mathematical Preliminaries for Lossless Compression / 2:
Huffman Coding / 3:
Arithmetic Coding / 4:
Dictionary Techniques / 5:
Predictive Coding / 6:
Mathematical Preliminaries for Lossy Coding / 7:
Scalar Quantization / 8:
Vector Quantization / 9:
Differential Encoding / 10:
Mathematical Preliminaries for Transforms, Subbands, and Wavelets / 11:
Transform Coding / 12:
Subband Coding / 13:
Wavelets / 14:
Analysis/Synthesis Schemes / 15:
Video Compression / 16:
Probability and Random Processes / A:
A Brief Review of Matrix / B:
Concepts
Introduction / 1:
Mathematical Preliminaries for Lossless Compression / 2:
Huffman Coding / 3:
57.

図書

図書
ミック著
出版情報: [東京] : 翔泳社, 2016.6  xvi, 319p ; 23cm
シリーズ名: プログラミング学習シリーズ
所蔵情報: loading…
目次情報: 続きを見る
第0章 : イントロダクション—SQL学習環境を作ろう
第1章 : データベースとSQL
第2章 : 検索の基本
第3章 : 集約と並べ替え
第4章 : データの更新
第5章 : 複雑な問い合わせ
第6章 : 関数、述語、CASE式
第7章 : 集合演算
第8章 : SQLで高度な処理を行なう
第9章 : アプリケーションからデータベースへ接続する
第0章 : イントロダクション—SQL学習環境を作ろう
第1章 : データベースとSQL
第2章 : 検索の基本
概要: 本書は、「データベースやSQLがはじめて」という初心者を対象に、プロのデータベース(DB)エンジニアである著者がSQLの基礎とコツをやさしく丁寧に教える入門書です。第2版では、解説・サンプルコードを最新DBのSQLに対応したほか、(Post greSQLを例に)アプリケーションプログラムからSQLを実行する方法の解説章を新設。SQLの書き方からアプリケーションでの利用方法までフォローします。 続きを見る
58.

図書

図書
岡嶋裕史著
出版情報: 東京 : 講談社, 2019.1  247p ; 18cm
シリーズ名: ブルーバックス ; B-2083
所蔵情報: loading…
目次情報: 続きを見る
第1章 : なぜ社会現象になったのか
第2章 : 特定の値を導く「ハッシュ」
第3章 : さまざまな事象への「ハッシュ」の応用
第4章 : 不正できない構造が連鎖していくしくみ
第5章 : ブロックチェーンが抱える課題と他分野への転用
終章 : 最初の理念が骨抜きにされると、普及が始まる
第1章 : なぜ社会現象になったのか
第2章 : 特定の値を導く「ハッシュ」
第3章 : さまざまな事象への「ハッシュ」の応用
概要: 新しいタイプの「信用」を創造するしくみ—かつて政府や大企業が担保していた「信用」は、ハッシュ関数を応用することで、インターネット上に公開されたブロックチェーンの力で実現された。だが—。ビットコインなど暗号資産との関係を改めて整理し、基盤とな る構造をゼロから解説。なぜ「万能の技術」ではないのか、その限界まで分かってしまう、ブロックチェーン入門書の決定版! 続きを見る
59.

図書

図書
岡本行二 [ほか] 編集
出版情報: 東京 : オーム社
所蔵情報: loading…
60.

図書

図書
中山真敬著
出版情報: 東京 : 三笠書房, [2008.5]  217p ; 15cm
シリーズ名: 知的生きかた文庫 ; な30-3
所蔵情報: loading…
61.

図書

図書
IBM Scientific Computing Symposium on Combinatorial Problems ; International Business Machines Corporation
出版情報: White Plains, N. Y. : IBM, c1966  xvii, 261 p. ; 23 cm
所蔵情報: loading…
62.

図書

図書
IBM Scientific Computing Symposium on Man-Machine Communication ; International Business Machines Corporation
出版情報: White Plains, N. Y. : IBM, c1966  xxi, 150 p. ; 23 cm
所蔵情報: loading…
63.

図書

図書
edited by R.A. Earnshaw, M.A. Gigante, H. Jones
出版情報: London ; Tokyo : Academic Press, c1993  xxii, 327 p., [16] p. of plates ; 23 cm
所蔵情報: loading…
64.

図書

図書
Manfred Glesner and Werner Pöchmüller
出版情報: London : Chapman and Hall, c1994  xi, 281 p. ; 24 cm
シリーズ名: Chapman & Hall neural computing ; 5
所蔵情報: loading…
65.

図書

図書
矢川元基責任編集
出版情報: 東京 : コロナ社, 1992.10  120p ; 26cm
シリーズ名: コンピュートロール : computer and application's mook ; no. 40
所蔵情報: loading…
66.

図書

図書
溝口文雄, 古川康一責任編集
出版情報: 東京 : コロナ社, 1990.7  130 p. ; 26 cm
シリーズ名: コンピュートロール : computer and application's mook ; 31
所蔵情報: loading…
67.

図書

図書
P. Valkó and S. Vajda
出版情報: Amsterdam : Elsevier, 1989  xvii, 321 p. ; 25 cm
シリーズ名: Data handling in science and technology ; v. 4
所蔵情報: loading…
68.

図書

図書
edited by J.V. Woods
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  ix, 355 p. ; 24 cm
所蔵情報: loading…
69.

図書

図書
editor, M.H. Hamza
出版情報: Anaheim : Acta Press, [1986 or 1987]  189 p. ; 28 cm
所蔵情報: loading…
70.

図書

図書
edited by Ahmed Elmagarmid, Marek Rusinkiewicz, Amit Sheth
出版情報: San Francisco, Calif. : Morgan Kaufmann Publishers, c1999  xv, 413 p. ; 24 cm
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
71.

図書

図書
デニス・カフラ著 ; 久良知真子, 宮崎尚子訳
出版情報: 東京 : ピアソン・エデュケーション, 2000.12  xvi, 431p ; 23cm
シリーズ名: Computer science textbook
所蔵情報: loading…
72.

図書

図書
E-Trainer.jp著
出版情報: 東京 : 秀和システム, 2014.3  315p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : データベースってなんだろう?
第2章 : まずはデータベースに慣れておこう!
第3章 : データベースを作ろう!
第4章 : テーブルを作る前に考えてみよう!
第5章 : テーブルを作ろう!
第6章 : リレーショナルデータベースってなんだろう?
第7章 : 複数のテーブルからクエリを作ろう!
第8章 : フォームを作ろう!
第9章 : レポートを作ろう!
第10章 : データベースを他人にも使ってもらおう!
追記!リレーショナルな関係を作るコツ
第1章 : データベースってなんだろう?
第2章 : まずはデータベースに慣れておこう!
第3章 : データベースを作ろう!
概要: クエリってなに??リレーショナルって??とにかく最初のとっかかりが欲しい「わかったような感じ」ではなくきちんと理解したいそんな人のための入門書。
73.

図書

図書
Donald E. Knuth著 ; 鷺谷好輝訳
出版情報: 東京 : アスキー, 1992.8  xv, 658p ; 26cm
シリーズ名: 電子出版シリーズ
所蔵情報: loading…
74.

図書

図書
Kurt Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xii, 336 p. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; 1 . Data structures and algorithms / Kurt Mehlhorn ; 1
所蔵情報: loading…
75.

図書

図書
Kurt Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xii, 260 p. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; 2 . Data structures and algorithms / Kurt Mehlhorn ; 2
所蔵情報: loading…
76.

図書

図書
Kurt Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xii, 284 p. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; 3 . Data structures and algorithms ; 3
所蔵情報: loading…
77.

図書

図書
edited by B.T. Denvir ... [et al.]
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vii, 398 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 207
所蔵情報: loading…
78.

図書

図書
edited by Marshall C. Yovits
出版情報: Orlando, Fla. ; Boston ; Tokyo : Academic Press, c1960-  v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk
A Software Process Engineering Framework / J. Kontio
Gaining Business Value from IT Investments / P. Simmons
Reliability Measurement, Analysis, and Improvement for Large Software Systems / J. Tian
Role-Based Access Control / R.S. Sandhu
Multithreaded Systems / K.M. Kavi ; B. Lee ; A.R. Hurson
Coordination Models and Languages / G.A. Papadopoulos ; F. Arbab
Multidisciplinary Problem Solving Environments for Computational Science / E.N. Houstis ; J.R. Rice ; N. Ramakrishnan ; T. Drashansky ; S. Weerawarana ; A. Joshi ; C.E. Houstis
Author Index
Subject Index
Preface
Contributors
Software development productivity / K.D. Maxwell
Transformation-oriented programming: A development methodology for high assurance software / V.L. Winter ; S. Roach ; G. Wickstrom
Bounded model checking / A. Biere ; A. Cimatti ; E.M. Clarke ; O. Strichman ; Y. Zhu
Advances in GUI testing / A.F. Memon
Software inspections / M. Roper ; A. Dunsmore ; M. Wood
Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant / L. Bernstein
Advances in the provisions of system and software security - Thirty years of progress / R.B. Vaughn
Designing Networked Handheld Devices to Enhance School Learning / Jeremy Roschelle ; Charles Patton ; Deborah Tatar
Interactive Explanatory and Descriptive Natural-Language based Dialogue for Intelligent Information Filtering / John Atkinson ; Anita Ferreira
A tour of language customization concepts / Colin Atkinson ; Thomas KÃ1/4hne
Advances in Business Transformation Technologies / Juhnyoung Lee
Phish Phactors: Offensive and Defensive Strategies / Hal Berghel ; James Carpinter ; Ju-Yeon Jo
Reflections on systems trustworthiness / Peter G. Neumann
Contents of Volumes in this series
Licensing and certification of software professionals / D.J. Bagert
Cognitive Hacking / G. Cybenko ; A. Giani ; P. Thompson
The digital detective: An introduction to digital forensics / W. Harrison
Survivability: Synergizing security and reliability / C.Cowan
Smartcards / K.M. Shelfer ; C.Corum ; J. Drew Procaccino ; J.Didier
Shotgun sequence assembly / M. Pop
Advances in large vocabulary continuous speech recognition / G. Zweig ; M. Picheny
Index
Evaluating software architectures / Roseanne Tesoriero Tvedt ; Patricia Costa ; Mikael Lindvall1:
Efficient architectural design of high performance microprocessors / Lieven Eeckhout ; Koen De Bosschere2:
Security issues and solutions in distributed heterogeneous mobile data systems / A. R. Hurson ; J. Ploskonka ; Y. Jiao ; H. Haridas3:
Disruptive technologies and their affect on global telecommunications / Stan McClellan ; Stephen Low ; Wai-Tian Tan4:
Ions, atoms, and bits: An architectural approach to quantum computing / Dean Copsey ; Mark Oskin ; Frederick T. Chong5:
Automatic Evaluation of Web Search Services / Abdur Chowdhury
Introduction / 0:
Relevance
A Brief History of Effectiveness Evaluations
Evaluation Metrics
Web Search Tasks
Estimating the Necessary Number of Queries
Automatic Web Search Evaluation / 6:
Automatic Evaluation Results / 7:
Intranet Site Search Evaluation / 8:
Conclusions and Future Work / 9:
Acknowledgements
References
Web Services / Sang Shin
Introduction on Web Services
Web Services Standards
Web Services Security
Identity Management Architecture
Business Web Services Standards: ebXML
Summary
A Protocol Layer Survey of Network Security / John V. Harrison
Overview of TCP/IP
Offensive Techniques
Defenses
A Forecast of the Future
Defensive Precautions
Conclusion
E-Service: The Revenue Expansion Path to E-Commerce Profitability / Roland T. Rust ; P.K. Kannan ; Anupama D. Ramachandran
Building on Customer Equity
Customer Issues in E-Service
Serving the Customer
Marketing to Computers
Discussion and Conclusion
Pervasive Computing: A Vision to Realize / Debashis Saha
Evolution of PerCom
PerCom Attributes
Functional Areas of PerCom
Harnessing Physical World
Major PerCom Projects
Open Source Software Development: Structural Tension in the American Experiment / Coskun Bayrak ; Chad Davis
Part I: The American Experiment
Part II: The Open Source Development Model
Open Societies: A Final Thought
Disability and Technology: Building Barriers or Creating Opportunities? / Peter Gregor ; David Sloan ; Alan F. Newell
Technology and the Digital Divide
Disabled People?
The Technical Benefits of Inclusive Design
Legislative Responsibilities
Accessible and Inclusive Design Practice
Support for Inclusive Design
Testing and Evaluation of Inclusive Design
Developments and Challenges
The Digital Divide Still Exists / 10:
Contents of Volumes in This Series
A Survey of Current Paradigms in Machine Translation / B.J. Dorr ; P.W. Jordan ; J.W. Benoit
Formality in Specification and Modeling: Developments in Software Engineering Practice / J.S. Fitzgerald
3-D Visualization of Software Structure / M.L. Staples ; J.M. Bieman
Using Domain Models for System Testing / A. von Mayrhauser ; R. Mraz
Exception-Handling Design Patterns / W.G. Bail
SIMD Machines--A Survey / N.B. Abu-Ghazaleh ; P.A. Wilsey
A Taxonomy of Distributed Real-Time Control Systems / J.R. Agre ; L.P. Clare ; S. Sastry
Program Understanding: Models and Experiments / A.M. Vans
Software Prototyping / A.M. Davis
Rapid Prototyping of Microelectronic Systems / A. Dollas ; J.D.S. Babcock
Cache Coherence in Multiprocessors: A Survey / M.S. Yousif ; M.J. Thazhuthaveetil ; C.R. Das
The Adequacy of Office Models / C.S. Amaravadi ; J.F. George ; O.R.L. Sheng ; J.F. Nunamaker
Chapter References
The State of Artificial Intelligence / Adrian A. Hopgood
Rule-Based Systems
Moving Beyond Rules
Intelligent Agents
Genetic Algorithms
Neural Networks
Hybrid Systems
Conclusions
Software Model Checking with Spin / Gerard J. Holzmann
Background
Finite Automata
Temporal Logic
LTL Model Checking
Model Extraction and Abstraction
Perspective
Early Cognitive Computer Vision / Jan-Mark Geusebroek
Visual Measurements
Invariance
Natural Image Statistics
Verification and Validation and Artificial Intelligence / Tim Menzies ; Charles Pecheur
AI Software Can Be Complex
Model-Based AI Systems
The Knowledge Level
AI Software Can Be Nondeterministic
Adaptive AI Systems
Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases / Mark J. Huiskes ; Eric J. Pauwels
Representation of Image Content: Feature Extraction
Detection of Salient Design Image Elements by Figure-Ground Segregation
MPEG-7 Description of Design Images
Inference and Learning for Relevance Feedback by Examples
Conclusion and Outlook
Defect Analysis: Basic Techniques for Management and Learning / David N. Card
Modeling for Quality Management
Monitoring Process Performance
Learning and Improvement
Summary and Conclusions
Function Points / Christopher J. Lokan
Albrecht/IFPUG Function Points
Experience with IFPUG Function Points
Mark II Function Points
Some Other Early Variations
COSMIC
Function Points for Object-Oriented Software
Function Point Standards
The Role of Mathematics in Computer Science and Software Engineering Education / Peter B. Henderson
Mystery Novels and John Wooden
Computer Science and Software Engineering
Foundational Mathematics
Models
General Mathematical Reasoning
Patterns, It Is All About Patterns
Inductive Thinking and Generalization
Declarative Versus Imperative Reasoning
Algorithmic Problem Solving
Recursive Thinking / 11:
Mathematical Induction / 12:
Why Mathematics? / 13:
Curricula Issues / 14:
Foundations of Computing-A First Course / 15:
CSE-113 Foundations of Computer Science I / 16:
Butler University, Foundations of Computing I / Appendix B:
Sample First Exam for Foundations of Computing I (100 minutes) / Appendix C:
Representative List Processing Lab Exercises Using Standard ML / Appendix D:
Solutions for Problems Cited / Appendix E:
On the nature and importance of archiving in the digital age / H.R. Tibbo
Preserving digital records and the life cycle of information / S. Chen
Managing historical XML data / S.S. Chawathe
Adding compression to next-generation text retrieval systems / N. Ziviani ; E. Silva de Moura
Are scripting languages any good? A validation of Perl, Python, Rexx, and Tcl against C, C++, and Java / L. Prechelt
Issues and approaches for developing lerner-centered technology / C. Quintana ; J. Krajcik ; E. Soloway
Personalizing interactions with information systems / S. Perugini
Architectures and Patterns for Developing High Performance, Real Time ORB Endsystems / D.C. Schmidt ; D.L. Levine ; C. Cleeland
Heterogeneous Data Access in a Mobile Environment--Issues and Solutions / J.B. Lim
The World Wide Web / H. Berghel ; D. Blank
Progress in Internet Security / R.J. Atkinson ; J.E. Klinker
Digital Libraries: Social Issues and Technological Advances / H. Chen ; A.L. Houston
Architectures For Mobile Robot Control / J.K. Rosenblatt ; J.A. Hendler
Natural Language Processing: A Humanndash;Computer Interaction Perspective / B.Z. Manaris
Cognitive Adaptive Computer Help (COACH): A Case Study / E.J. Selker
Cellular Automata Models of Self-Replicating Systems / J.A. Reggia ; H.-H. Chou ; J.D. Lohn
Ultrasound Visualization / T.R. Nelson
Patterns and System Development / B. Goldfedder
High Performance Digital Video Servers: Storage and Retrieval of Compressed Scalable Video / S. Paek ; S.-F. Chang
Software Acquisition: The Custom/Package and Insource/Outsource Dimensions / P. Nelson ; W. Richmond ; A. Seidman
Exposing Phylogenetic Relationships by Genome Rearrangement / Ying Chih Lin ; Chuan Yi TangChapter 1:
Models and Methods in Comparative Genomics / Guillaume Bourque ; LouXin ZhangChapter 2:
Translocation Distance: Algorithms and Complexity / Lusheng WangChapter 3:
Computational Grand Challenges in Assembling the Tree of Life: Problems and Solutions / David A. Bader ; Usman Roshan ; Alexandros StamatakisChapter 4:
Local Structure Comparison of Proteins / Jun Huan ; Jan Prins ; Wei WangChapter 5:
Peptide Identification via Tandem Mass Spectrometry / Xue Wu ; Nathan Edwards ; Chau-Wen TsengChapter 6:
Indexes
The Architecture of Efficient Multi-Core Processors: A Holistic Approach / Rakesh Kumar ; Dean M. Tullsen
Designing Computational Clusters for Performance and Power / Kirk W. Cameron ; Rong Ge ; Xizhou Feng
Compiler-Assisted Leakage Energy Reduction for Cache Memories / Wei Zhang
Mobile Games: Challenges and Opportunities / Paul Coulton ; Reuben Edwaerds ; Will Bamford ; Fadi Chehemi ; Paul Gilbertson ; Omer Rashid
Free/Open Source Software Development: Recent Research Results and Methods / Walt Scacchi
Contents Of Volumes in This Series
Broadcasting a Means to Disseminate Public Data in a Wireless Environment - Issues and Solutions / B.A. Shirazi
Programming Models and Synchronization Techniques for Disconnected Business Applications / A. Leff ; J.T. Rayfield
Academic Electronic Journals: Past, Present and Future / A. Hovav ; P. Gray
Web Testing for Reliability Improvement / L. Ma
Wireless Insecurities / M. Sthultz ; J. Uecker
The State of the Art in Digital Forensics / D. Forte
Calculating Software Process Improvement's Return on Investment / Rini van Solingen ; David F. Rico
Return-on-Investment for Analysing Cost and Benefits
Using Quantitative Models for SPI Decision Making
Using Quantitative Measurements for SPI Investment Evaluations
Background of the Quantitative Models
Quality Problem in Software Measurement Data / Pierre Rebours ; Taghi M. Khoshgoftaar
Noise-Handling Techniques
Ensemble-Partitioning Filter
Modeling Methodology
Empirical Evaluation
Requirements Management for Dependable Software Systems / William G. Bail
Dependability
Nature of Requirements
Categories of Requirements
Handling Requirements
Requirements Quality Attributes
Requirements and Dependability
Common Requirements Challenges
Mechanics of Managing Software Risk
Project Planning
Fundamentals of Risk
Sources of Risk
Handling Risks
The PERFECT Approach to Experience-Based Process Evolution / Brian A. Nejmeh ; William E. Riddle
Improvement Game Plans
Process Evolution
The PEDAL Framework
Describing Process Evolution Dynamics
Process Evolution Infrastructure
Value and Future Improvements
The Opportunities, Challenges, and Risks of High Performance Computing in Computational Science and Engineering / Douglass E. Post ; Richard P. Kendall ; Robert F. Lucas
Computational Science and Engineering Analysis
General Characteristics of a Large Scale Computational Simulation
FALCON: An Example of a Large-Scale Scientific Code Project
The Challenges Facing Computational Science and Engineering
A Comparative Case Study
Verification and Validation
Software Quality and Software Project Management
Conclusions and Path Forward
Programming Nanotechnology: Learning from Nature / Boonserm Kaewkamnerdpong ; Peter J. Bentley ; Navneet Bhalla
Development in Nanotechnology
Benefits of Computer Science for Nanotechnology
Swarm Intelligence
Perceptive Particle Swarm Optimisation
Perceptive Particle Swarm Optimisation for Nanotechnology
Self-Assembling Nanotechnology
Nanobiotechnology: An Engineer's Foray into Biology / Yi Zhao ; Xin Zhang
Nanofabrication
Nanobiotechnologies for Sensing and Actuating
Nanobiotechnology for Drug Delivery and Therapeutics
Concluding Remarks
Toward Nanometer-Scale Sensing Systems: Natural and Artificial Noses as Models for Ultra-Small, Ultra-Dense Sensing Systems / Brigitte M. Rolfe
The Physiology of the Sense of Smell
Electronic Noses: Chemical Sensing Systems
Nanosensors
Designing a Nanometer-Scale Nose-Like Sensing System
Acronyms
Simulation of Nanoscale Electronic Systems / Umberto Ravaioli
Simulation Hierarchy for Semiconductor Devices
Simulation Issues in Nanoscale Silicon Devices
Organic Molecular Devices
Simulation of Molecular Conduction
Carbon Nanotubes
Ionic Channels
Identifying Nanotechnology in Society / Charles Tahan
Definitions ad infinitum (and More Politics)
Perspectives from Science
List of Some Technical Terms
Further Reading
The Convergence of Nanotechnology, Policy, and Ethics / Erik Fisher
Converging Paths
From Convergence to Collaboration
DARPA's HPCS Program: History, Models, Tools, Languages / Jack Dongarra ; Robert Graybill ; William Harrod ; Robert Lucas ; Ewing Lusk ; Piotr Luszczek ; Janice McMahon ; Allan Snavely ; Jeffrey Vetter ; Katherine Yelick ; Sadaf Alam ; Roy Campbell ; Laura Carrington ; Tzu-Yi Chen ; Omid Khalili ; Jeremy Meredith ; Mustafa Tikir
Historical Background
Productivity Systems Modeling
Productivity Evaluation on Emerging Architectures
The DARPA HPCS Language Project
Research on Defining and Measuring Productivity
The HPC Challenge Benchmark Suite
Summary: The DARPA HPCS Program
Productivity in High-Performance Computing / Thomas Sterling ; Chirag Dekate
A General Formulation
Factors Determining HPC Productivity
A Special Theory of Productivity
A User-based Model of Productivity
Software Development & Productivity
Related Works
Performance Prediction and Ranking of Supercomputers / Roy L. Campbell, Jr. ; Mustafa M. Tikir
Methods for Predicting Performance
A Method for Weighting Benchmarks
Examples
Using End-to-End Runtimes
Using Basic Trace Data
Application-Independent Rankings
Acknowledgments
Sampled Processor Simulation: A Survey
Trace-Driven versus Execution-Driven Simulation
Sampled Simulation
Simulation Speed
Representative Sampling Units
Architecture State
Microarchitecture State
Case Studies
Distributed Sparse Matrices for Very High Level Languages / John R. Gilbert ; Steve Reinhardt ; Viral B. Shah
Sparse Matrices: A User's View
Data Structures and Storage
Operations on Distributed Sparse Matrices
SSCA #2 Graph Analysis Benchmark
Looking Forward: A Next-Generation Parallel Sparse Library
Bibliographic Snapshots of High-Performance/High-Productivity Computing / Myron Ginsberg
Computational Environments in Government, Academia and Industry
Computational Science Education (CSE)
Supercomputing Architecture
Some HPC Issues
Benchmarking Issues and Concerns
Acceleration Techniques for HPC Applications
The Race for Petaflop Computing
Influences of Floating-Point Arithmetic on Computational Results
Industrial HPC Progress
Access to On-Demand HPC
A Few HPC Videos
History of Computers, Electronic Commerce, and Agile Methods / D. F. Rico ; H. H. Sayani ; R. F. Field
Testing with Software Designs / A. A. Andrews ; A. Mahdian
Balancing Transparency, Efficiency, and Security in Pervasive Systems / M. Wenstrom ; E. Bentivegna
Computing with RFID: Drivers, Technology and Implications / G. Roussos
Medical Robotics and Computer-Integrated Interventional Medicine / R. H. Taylor ; P. Kazanzides
Data Hiding Tactics for Windows and Unix File Systems / David Hoelzer ; Michael Sthultz
Multimedia and Sensor Security / Anna Haµ
Email Spam Filtering / Enrique Puertas Sanz ; JosT Marfa G=mez Hidalgo ; JosT Carlos Cortizo PTrez
The Use of Simulation Techniques for Hybrid Software Cost Estimation and Risk Analysis / Michael KlSs ; Adam Trendowicz ; Axel Wickenkamp ; Jnrgen Mnnch ; Nahomi Kikuchi ; Yasushi Ishigai
An Environment for Conducting Families of Software Engineering Experiments / Lorin Hochstein ; Taiga Nakamura ; Forrest Shull ; Nico Zazworka ; Victor R. Basili ; Marvin V. Zelkowitz
Global Software Development: Origins, Practices, and Directions / James J. Cusick ; Alpana Prasad ; William M. Tepfenhart
The UK HPC Integration Market: Commodity-based Clusters / Christine A. Kitchen ; Martyn F. Guest
Elements of High Performance Reconfigurable Computing / Tom Van Court ; Martin C. Herbordt
Models and Metrics for Energy-Efficient Computing / Parthasarathy Ranganathan ; Suzanne Rivoire ; Justin Moore
The Emerging Landscape of Computer Performance Evaluation / JoAnn M. Paul ; Mwaffaq Otoom ; Marc Somers ; Sean Pieper ; Michael J. Schulte
Advances in web testing / Cyntrica Eaton ; Atif M. Memon
Information Sharing and Social Computing: Why, What, and Where? / Oded Nov
Information Sharing: Wikipedia
Photo Sharing: Flickr
Metainformation Sharing: Tags
Social Network Sites: Users and Uses / Mike Thelwall
Definition, History, and Typology
User Characteristics
Usage
Friendship
Friendship Issues
Privacy and Security
Language
Software Issues
Acknowledgment
Highly Interactive Scalable Online Worlds / Graham Morgan
Gaming Scenarios
Related Work
Core Problems
Conclusions and Further Work
The Future of Social Web Sites: Sharing Data and Trusted Applications with Semantics / Sheila Kinsella ; Alexandre Passant ; John G. Breslin ; Stefan Decker ; Ajit Jaokar
Social Web Sites and Approaches to Add Semantics
Producers of Social Semantic Data
Collectors of Social Semantic Data
Consumers of Social Semantic Data
Future Work
Semantic Web Services Architecture with Lightweight Descriptions of Services / Tomas Vitvar ; Jacek Kopecky ; Jana Viskova ; Adrian Mocan ; Mick Kerrigan ; Dieter Fensel
SWS Architecture
Model for Business Services
Service Execution Model
Implementation
Issues and Approaches for Web 2.0 Client Access to Enterprise Data / Avraham Leff ; James T. Rayfield
Enterprises and Web 2.0 Data Access
A Closer Look at Web 2.0 Client and Server Data-Access APIs
Web Content Filtering / José María Gómez Hidalgo ; Francisco Carrero García ; Manuel De Buenaga Rodríguez
Motivation and Applications
Web Filters Operation and Techniques
Text-Based Filtering
Image Processing Techniques
Evaluation of Web Filters
Attacks and Countermeasures
Review of Singular Projects
Conclusions and Future Trends
Photo Fakery and Forensics / Hany Farid
Photo Fakery
Photo Forensics
Discussion
Advances in Computer Displays / Jason Leigh ; Andrew Johnson ; Luc Renambot
Advances in Desktop Displays
Advances in Wall Displays
Advances in Portable Displays
Touch Interfaces
Advances in Stereoscopic Displays
Display Environments of the Future
Content Generation and delivery to Displays
Playing with All Senses: Human-Computer Interface Devices for Games / Jörn Loviscach
Typology
Buttons, Keys, and Keyboards
Mice, Joysticks, Faders, and Similar
Pen and Touch Input
Inertial Sensors
Cameras
Specific Position and Orientation Sensors
Displays
Audio Input
Audio Output
Tactile, Haptic, and Locomotion Interfaces
Kinetic Devices and Robots
Biosignal Sensors
A Status Report on the P Versus NP Question / Eric Allender
Prologue
What Is the "P = NP?" Problem?
Why Is the "P = NP?" Problem Important?
What Progress Has Been Made in the Past 30 Years?
Where Are We now? (Barriers to Progress)
Conclusions: What Would a Solution Mean?
Dynamically Typed Languages / Laurence Tratt
Defining Types
Disadvantages of Static Typing
History
Defining Features
Disadvantages of Dynamic Typing
Variations
The Future
Factors Influencing Software Development Productivity- State-of-the-Art and Industrial Experiences / Jürgen Münch
Design of the Study
Related Terminology
Overview of Factors Presented in Literature
Overview of Factors Indicated by Industrial Experiences
Detailed Comments on Selected Productivity Factors
Considering Productivity Factors in Practice
Evaluating the Modifiability of Software Architectural Designs / M. Omolade Saliu ; Günther Ruhe ; Christopher Ackermann
Evaluating Software Architectural Designs
Overview of the EBEAM
STAGE I: Evaluation of Design Characteristics
STAGE II: Evaluation of Architectural Designs
STAGE III: Overall Modifiability Evaluation
CASE STUDY I: The Application of EBEAM to TSAFE Designs
Empirical Validation
CASE STUDY II: The Application of EBEAM to CGS Designs
Applicability of the EBEAM Technique
UML Models for TSAFE Architectural Designs
The Common Law and Its Impact on the Internet / Robert Aalberts ; David Hames ; Percy Poon ; Paul D. Thistle
The Common Law in Action: Employer Liability to Third-Party Victims on the Internet
Why Doe Lost and Delfino Won-A Case of Risk Management
Search Engine Optimization-Black and White Hat Approaches / Ross A. Malaga
The SEO Process
Black Hat SEO
Legal and Ethical Considerations
Web Searching and Browsing: A Multilingual Perspective / Wingyan Chung
Literature Review
A Multilingual Perspective
Summary and Future Directions
Features for Content-Based Audio Retrieval / Dalibor Mitrović ; Matthias Zeppelzauer ; Christian Breiteneder
Audio Feature Design
A Novel Taxonomy for Audio Features
Audio Features
Related Literature
Multimedia Services over Wireless Metropolitan Area Networks / Kostas Pentikousis ; Jarno Pinola ; Esa Piri ; Pedro Neves ; Susana Sargento
WiMAX Overview
Multimedia over WiMAX Reference Scenarios
Advances in Telephony and the Emergence of Voice over IP
VoIP over WiMAX
Remote Surveillance and IPTV over WiMAX
Summary and Outlook
An Overview of Web Effort Estimation / Emilia Mendes
How to Measure a Technique's Prediction Accuracy?
Which Effort Estimation Technique to Use?
Web Effort Estimation Literature Survey
Communication Media Selection for Remote Interaction of Ad Hoc Groups / Fabio Calefato ; Filippo Lanubile
Task-Classification Frameworks
Group Research
CMC Theories
Development of a Comprehensive Theoretical Framework
Applications in Data-Intensive Computing / Anuj R. Shah ; Joshua N. Adkins ; Douglas J. Baxter ; William R. Cannon ; Daniel G. Chavarria-Miranda ; Sutanay Choudhury ; Ian Gorton ; Deborah K. Gracio ; Todd D. Halter ; Navdeep D. Jaitly ; John R. Johnson ; Richard T. Kouzes ; Matthew C. Macduff ; Andres Marquez ; Matthew E. Monroe ; Christopher S. Oehmen ; William A. Pike ; Chad Scherrer ; Oreste Villa ; Bobbie-Jo Webb-Robertson ; Paul D. Whitney ; Nino Zuljevic
Pitfalls and Issues of Manycore Programming / Ami Marowka
Illusion of Wireless Security / Alfred Loo
Brain-computer interfaces for the operation of robotic and prosthetic devices / Dennis J. McFarland ; Jonathan R. Wolpaw
The Tools Perspective on Software Reverse Engineering: Requirements, Construction and Evaluation / Holger M. Kienle ; Hausi A. Müller
Agile Software Development Methodologies and Practices / Laurie Williams
Agile Origins and Manifesto
Agile and Lean Principles
Agile Practices
Examples of Agile Software Development Methodologies
A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges / Arilo C. Dias-Neto ; Guilherme H. Travassos
Model-Based Testing
MBT Techniques: A Systematic Review
Challenges in Using MBT Techniques in Software Projects
Conclusions and Future Perspectives
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End / Bao N. Nguyen
Running Example of GUI Application Under Test
Test-Case Generation Techniques
Empirical Knowledge Discovery by Triangulation in Computer Science / Ravi I. Singh ; James Miller
Objectification of Concepts in Computer Science
Triangulation: Introduction
Startight: Next-Generation Communication Services, Exchanges, and Global Facilities / Joe Mambretti ; Tom DeFanti ; Maxine D. Brown
Future Network Services and Facility Prototypes
Future Directions
Parameters Effecting 2D Barcode Scanning Reliability / Amit Grover ; Paul Braeckel ; Kevin Lindgren ; Dennis Cobb
Factors that Affect Barcode Scan Ability
Testing Methodology
Advances in Video-Based Human Activity Analysis: Challenges and Approaches / Pavan Turaga ; Rama Chellappa ; Ashok Veeraraghavan
Challenges
Applications
Feature Extraction
Models for Actions
Complex Activities
A Unified Approach for Recognizing Simple Actions and Complex Activities
Understanding the Space of Primitives
Complex Activity Models: Cascade of Dynamical Systems
More General Activity Models: Time-Varying Models
View and Rate Variations
The How's and Why's of Information Markets / Areej Yassin ; Alan Hevner (aic-10-22)
Measuring and Monitoring Technical Debt / Carolyn Seaman ; Yuepu Guo (aic-10-15)
A Taxonomy and Survey of Energy-Efficient Data Centers and Cloud Computing Systems / Anton Beloglazov ; Rajkumar Buyya ; Young Choon Lee ; Albert Zomaya (aic-10-10)
Applications of Mobile Agents in Wireless Networks and Mobile Computing / Sergio González-Valenzuela ; Min Chen ; Victor C.M. Leung (aic-10-12)
Virtual graphics for Broadcast Production / Graham Thomas (aic-10-8)
Advanced Applications of Virtual Reality / Jürgen P. Schulze ; Han Suk Kim ; Philip Weber ; Andrew Prudhomme ; Roger E. Bohn ; Maurizio Seracini ; Thomas A. DeFanti (aic-10-16 ; aic-10-23)
The State of the Art in Identity Theft
What Sets Identity Theft APart from Other Crimes
Statistical Data for Identity Theft and Associated Crimes
The Genesis of the Problem
How SSN Became the De Facto Primary Key for Most Databases
The Ubiquitous Use of Fungible Credentials
Phishing
Modus Operandi
Inadequate Credential Management Procedures
Strategies for Defeating Identity Thieves
An Overview of Steganography / Gary C. Kessler ; Chet Hosmer
Low-Tech Stego Methods
Digital Technology Basics
Steganography and Digital Carrier Files
Detecting Steganography
Steganography Detection Tools
Captchas: An Artificial Intelligence Application to Web Security / José María Gómez Hidalgo ; Gonzalo Alvarez
Types of Captchas
Evaluation of Captchas
Security and Attacks on Captchas
Alternatives to Captchas
Advances in Video-Based Biometrics / Rama Chelfappa
Video-Based Face
Video-Based Idenification Using Gait
Action Research Can Swing the Balance in Experimental Software Engineering / Paulo Sérgio Medeiros dos Santos ; Guilherme Horta Travassos
Action Research Overview
The Use of Action Research in Software Engineering: A Preliminary Survey?
Using Action Research in Software Engineering: An In Vivo Study
Applying Action Research to Software Engineering
Final Considerations
Functional and Nonfunctional Design Verification for Embedded Software Systems / Arnab Ray ; Rance Cleaveland ; Charles Shelton ; Chris Martin
Instrumentation-Based Verification
Quality Attribute-Based Reasoning
Integrated Functional and Nonfunctional Verification
Tool Support
Software Organizations and Test Process Development / Jussi Kasurinen
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development / Rupesh Dev ; Antti Jääskeläinen ; Mika Katara
Model Transformation Specification and Design / K. Lano ; S. Kolahdouz-Rahimi
Advances on Improving Automation in Developer Testing / Xusheng Xiao ; Suresh Thummalapenta ; Tao Xie
Automated Interoperability Testing of Healthcare Information Systems / Diana Elena Vega ; Ina Schieferdecker
Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study / Fevzi Belli ; Mutlu Beyazit ; Nevin Güler
Deployable Capture/Replay Supported by Internal Messages / Steffen Herbold ; Uwe Bunting ; Jens Grabowski ; Stephan Waack
Combining Performance and Availability Analysis in Practice / Kishor Trivedi ; Ermeson Andrade ; Fumio Machida
Modeling, Analysis and Testing of System Vulnerabilities / Aditya P. Mathur ; Nimal Nissanke
System Dependability - Characterization and Benchmarking / Yves Crouzet ; Karama Kanoun
Pragmatic Directions in Engineering Secure Dependable Systems / M. Farrukh Khan ; Raymond A. Paul
Model-Based Testing: Achievements and Future Challenges / Michael Mlynarski ; Baris Güldali ; Stephan Weißleder ; Gregor Engels
Cloud Computing Uncovered: A Research Landscape / Mohammad Hamdaqa ; Ladan Tahvildari
Advances in User-session-based Testing of Web Applications / Sreedevi Sampath
Machine Learning and Event-Based Software Testing: Classifiers for Identifying Infeasible GUI Event Sequences / Robert Gove ; Jorge Faytong
A Framework for Detecting and Diagnosing Configuration Faults in Web Applications
Trends in Model-based GUI Testing / Stephan Arlt ; Cristiano Bertolini ; Simon Pahl ; Martin Schaf
Regression Testing in Software Product Line Engineering / Per Runeson ; Emelie Engstrom
Introduction and Preface / Sahra Sedigh ; Ali Hurson
Techniques to Measure, Model, and Manage Power / Bhavishya Goel ; Sally A. McKee ; Magnus Sjalander
Quantifying IT Energy-Efficiency / Florian Niedermeier ; Gergo Lovasz ; Hermann de Meer
State of the Art on Technology and Practices for Improving the Energy Efficiency of Data Storage / Marcos Dias de Assuncao ; Laurent Lefevre
Optical Interconnects for Green Computers and Data Centers / Shinji Tsuji ; Takashi Takemoto
Energy Harvesting for Sustainable Smart Spaces / Nga Dang ; Elaheh Bozorgzadeh ; Nalini Venkatasubramanian
How Elasticity Property Plays an Important Role in the Cloud: A Survey / M.A.N. Bikas ; A. Alourani ; M. Grechanik
Cloud Elasticity
Existing Cloud Elasticity Solutions
Existing Research Issues of Cloud Elasticity
How Elasticity Can Be Improved in the Cloud
About the Authors
Input-Sensitive Profiling: A Survey
Input-Sensitive Profiling Challenges
Recent Researches on Input-Sensitive Profiling
Recent Advances in Regression Testing Techniques / H. Do
About the Author
Coverage-Based Software Testing: Beyond Basic Test Requirements / W. Masri ; F.A. Zaraket
Definitions
Early Techniques: Basic Coverage Criteria
Early Techniques: Advanced Coverage Criteria
Early Techniques: Profiling for Basic Coverage
Efficient Profiling for Path Coverage
Test Case Generation for Path Coverage
Test Suite Minimization; Covering Complex tr's
Test Suite Minimization: Covering Combinations of Basic tr's
PBCOV: Property-Based Coverage Criterion
UCov: User-Defined Coverage Criterion
Contents of Volumes in this Series
Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk
A Software Process Engineering Framework / J. Kontio
Gaining Business Value from IT Investments / P. Simmons
79.

図書

図書
Witold Litwin, Tore Risch (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xii, 471 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 819
所蔵情報: loading…
80.

図書

図書
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1992  viii, 392 p. ; 28 cm
所蔵情報: loading…
81.

図書

図書
edited by Richard Goodman
出版情報: Oxford : Pergamon Press, 1960-  v. ; 25 cm
シリーズ名: International tracts in computer science and technology and their application ; vol. 6, 11, 12, 13
所蔵情報: loading…
82.

図書

図書
Bing Liu
出版情報: Heidelberg : Springer, c2011  xx, 622 p. ; 25 cm
シリーズ名: Data-centric systems and applications
所蔵情報: loading…
83.

図書

東工大
目次DB

図書
東工大
目次DB
郵政省通信総合研究所 ; 通信総合研究所 ; 情報通信研究機構
出版情報: [出版地不明] : 通信総合研究所, 2001.3-  冊 ; 30cm
所蔵情報: loading…
目次情報: 続きを見る
1章 調査の概要 1
   1 調査の目的 3
   2 調査内容 3
   3 調査対象 3
   4 調査実施期間 3
   5 調査方法 3
   6 調査実施委託機関 3
   7 回収結果 4
   8 回答者の属性 4
2章 インターネットの利用状況 7
   2.1 インターネットの利用率 9
   2.2 インターネットの利用時間 15
   2.3 インターネットを使わない理由 16
3章 PCインターネットの利用実態 19
   3.1 PCインターネットの自宅内及び自宅外での利用 21
   3.2 PCインターネットによるメールの利用実態 24
   3.3 PCインターネット利用者のウェブ利用 26
4章 携帯インターネットの利用実態 33
   4.1 携帯電話の利用と支払料金 35
   4.2 携帯メール利用 36
   4.3 写真付きメールの利用 40
   4.4 携帯ウェブ(情報サイト)の利用 42
   4.5 携帯電話リテラシーと利用している機能 45
5章 ブロードバンド化とインターネットの高度利用 47
   5.1 ブロードバンドの普及率 49
   5.2 ブロードバンド採用の要因 50
   5.3 ブロードバンド利用の影響 54
6章 デジタルバイト 57
   6.1 デジタルバイトの現状 59
   6.2 デジタル・オポチュニティ 64
7章 インターネットと生活時間 67
   7.1 インターネットと余暇、睡眠時間 69
   7.2 情報行動と同時並行的なインターネット利用 70
   7.3 PCインターネットがメディア利用や生活時間に与える影響 71
8章 インターネット・パラドックスの検証 75
   8.1 孤独感,抑鬱性等、心理尺度/社会心理尺度との関連 77
   8.2 「生活満足度」「社会への満足度」との関連 79
   8.3 社会的ネットワークとの関連 81
   8.4 家族との会話時間との関連 85
9章 インターネット・コミュニティの利用実態 89
   9.1 インターネット・コミュニティの利用率と利用状況 91
   9.2 電子掲示板の利用 92
   9.3 個人サイトの開設 93
   9.4 個人サイトの利用状況 95
   9.5 掲示板や個人サイトへのアクセスとインターネットを介して知り合った友人の数 97
   9.6 インターネット利用因子とインターネット・コミュニティ 99
   9.7 まとめ 101
10章 情報リテラシー 103
   10.1 情報リテラシーの経時変化 105
   10.2 属性別にみた情報リテラシーの格差 106
   10.3 情報リテラシー向上を目指した施策の効果 110
   10.4 まとめ 111
11章 インターネットの利用と満足 113
   11.1 はじめに 115
   11.2 因子分析の結果 116
   11.3 充足タイプと属性の関連性 118
12章 自己・社会認識および文化行動とインターネット利用 123
   12.1 はじめに 125
   12.2 社会・自己認識の2000~2002年の間の変化 125
   12.3 2002年調査にみるPCインターネット利用者とPCインターネット非利用者の比較 127
   12.4 インターネット利用と生活・社会満足度 128
   12.5 自己・社会認識に関する心理因子とインターネット利用 130
   12.6 文化行動 131
   12.7 まとめ 135
13章 インターネットと政治的コミュニケーション 137
   13.1 はじめに 139
   13.2 インターネット上での政治的コミュニケーションの利用の状況 139
   13.3 人びとの政治的関心 141
   13.4 人びとの政治意識 142
   13.5 社会的活動の経験 145
   13.6 インターネットによる選挙活動への期待 146
   13.7 インターネットによる政治的コミュニケーションへの期待 147
   13.8 おわりに 147
14章 インターネットの利用意識と評価 149
   14.1 インターネット利用意識 151
   14.2 利用意識とインターネットの利用と満足 153
   14.3 インターネット利用と情報意識 155
   14.4 インターネット利用とテレビの利用意識 156
   14.5 インターネット上の情報に対する評価 157
付属資料:調査票(単純集計結果付き) 159
1章 調査の概要 1
   1 調査の目的 3
   2 調査内容 3
84.

図書

図書
Joan Daemen, Vincent Rijmen
出版情報: Berlin : Springer, c2002  238 p. ; 24 cm
シリーズ名: Information security and cryptography : texts and monographs
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Preliminaries / 2:
Specification of Rijndael / 3:
Implementation Aspects / 4:
DES / 5:
Correlation Matrices / 6:
Difference Propagation / 7:
Design Strategy / 8:
Cryptanalysis / 9:
Related Block Ciphers / 10:
The S-box SRD / A:
Test Vectors / B:
Index
Introduction / 1:
Preliminaries / 2:
Specification of Rijndael / 3:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼