close
1.

視聴覚資料

AV
British Broadcasting Corporation
出版情報: [Tokyo] : 丸善出版, [201-]  1 videodisc (50 min.) ; 12 cm
シリーズ名: BBC active
所蔵情報: loading…
2.

視聴覚資料

AV
British Broadcasting Corporation
出版情報: [Tokyo] : 丸善出版, [201-]  3 videodiscs (150 min.) ; 12 cm
シリーズ名: BBC active
所蔵情報: loading…
目次情報:
1: Episode 1. 蒸気機関の発明と産業革命
2: Episode 2. 鉄道と経済
3: Episode 3. 鉄道と国際化
1: Episode 1. 蒸気機関の発明と産業革命
2: Episode 2. 鉄道と経済
3: Episode 3. 鉄道と国際化
3.

図書

図書
by Marc Kaufman ; photography by Nerissa Escanlar
出版情報: [出版地不明] : [出版者不明], [201-]  72 p. ; 29cm
所蔵情報: loading…
4.

図書

図書
東京工業大学統合研究院編
出版情報: 東京 : 東京工業大学統合研究院, 2010.3  139p ; 30cm
所蔵情報: loading…
5.

図書

図書
東京工業大学大学院博士一貫教育プログラム運営委員会
出版情報: [東京] : 東京工業大学大学院博士一貫教育プログラム運営委員会, 2010.3  223p ; 30cm
所蔵情報: loading…
6.

図書

図書
editors, Markus Winterer ...[et al.]
出版情報: Warrendale, Pa. : Materials Research Society, c2010  xi, 159 p. ; 24 cm
シリーズ名: Materials Research Society symposium proceedings ; v. 1260
所蔵情報: loading…
7.

図書

図書
Zenon Chaczko, Ryszard Klempous, Jan Nikodem
出版情報: Aalborg : River Publishers, c2010  xiii, 171 p. ; 24 cm
シリーズ名: River publishers series in information science and technology ; v. 7
所蔵情報: loading…
8.

図書

図書
International Astronautical Congress ; International Astronautical Federation
出版情報: Paris : International Astronautical Federation , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2010, c2009  12 v. (10325 p.) ; 28 cm
所蔵情報: loading…
9.

図書

図書
edited by Hubert Klahr, Wolfgang Brandner
出版情報: Cambridge ; New York : Cambridge University Press, 2010, c2006  xv, 302 p. ; 25 cm
シリーズ名: Cambridge astrobiology series / edited by Bruce Jakosky ... [et al.] ; 1
所蔵情報: loading…
目次情報: 続きを見る
Historical notes on planet formation Bodenheimer / 1:
The formation and evolution of planetary systems / Bouwman et al.2:
Destruction of protoplanetary disks by photoevaporation Richling, Hollenbach and Yorke / 3:
Turbulence in protoplanetary accretion disks Klahr, Rozyczka, Dziourkevitch, Wunsch and Johansen / 4:
The origin of solids in the early solar system Trieloff and Palme / 5:
Experiments on planetesimal formation Wurm and Blum / 6:
Dust coagulation in protoplanetary disks Henning, Dullemond, Wolf and Dominik / 7:
The accretion of giant planet cores Thommes and Duncan / 8:
Planetary transits: direct vision of extrasolar planets Lecavelier des Etangs and Vidal-Madjar / 9:
The core accretion - gas capture model Hubickyj / 10:
Properties of exoplanets Marcy, Fischer, Butler and Vogt / 11:
Giant planet formation: theories meet observations Boss / 12:
From hot Jupiters to hot Neptures ...; and below Lovis, Mayor and Udry / 13:
Disk-planet interaction and migration Masset and Kley / 14:
The Brown Dwarf - planet relation Bate / 15:
From astronomy to astrobiology Brandner / 16:
Overview and prospective Lin / 17:
Historical notes on planet formation Bodenheimer / 1:
The formation and evolution of planetary systems / Bouwman et al.2:
Destruction of protoplanetary disks by photoevaporation Richling, Hollenbach and Yorke / 3:
10.

図書

図書
王元[主編] = [edited by] Wang, Yuan
出版情報: 北京 : 科学出版社, 2010  vi, 1233p ; 29cm
所蔵情報: loading…
11.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers ; edited by Mohamad H. Hussein, J. Brian Anderson, William M. Camp III
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  xix, 736 p. ; 28 cm
シリーズ名: Geotechnical special publication ; no. 198
所蔵情報: loading…
12.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Maosong Huang, Xiong(Bill) Yu, Yu Huang
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  ix, 350 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 201
所蔵情報: loading…
13.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Laureano R. Hoyos, Xiong Zhang, Anand J. Puppala
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  vi, 228 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 202
所蔵情報: loading…
14.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Baoshan Huang ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  x, 592 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 203
所蔵情報: loading…
15.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Qiang He, Shui-Long Shen
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  ix, 288 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 204
所蔵情報: loading…
16.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Robert Y. Liang, Feng Zhang, Ke Yang
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  x, 396 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 205
所蔵情報: loading…
17.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Fulvio Tonon, Xian Liu, Wei Wu
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  viii, 374 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 206
所蔵情報: loading…
18.

図書

図書
hosted by Tongji University, Shanghai Society of Civil Engineering, China, Chinese Institution of Soil Mechanics and Geotechnical Engineering, China ; in cooperation with Alaska University Transportation Center, USA ... [et al.] ; edited by Anand Puppala ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c2010  x, 380 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 207
所蔵情報: loading…
19.

図書

図書
Christian Galan ; illustrated by Florence Lérot-Calvo
出版情報: Tokyo : Tuttle, [201-]  128 p. ; 26 cm
所蔵情報: loading…
20.

図書

図書
edited by Debra Hess Norris, Jennifer Jae Gutierrez
出版情報: Los Angeles : Getty Conservation Institute, c2010  xvii, 734 p. ; 26 cm
シリーズ名: Readings in conservation
所蔵情報: loading…
21.

図書

図書
出版情報: 東京 : 日本経済新聞出版社, 2010-
所蔵情報: loading…
22.

図書

図書
[edited by Timothy Marbach]
出版情報: Sacramento, Calif. : California State University, Sacramento, [2010]  133 p. ; 22 cm
所蔵情報: loading…
23.

図書

図書
GeoFlorida : advances in analysis, modeling and design ; American Society of Civil Engineers. Geo-Institute ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed by Curran Associates, 2010  851 p. ; 28 cm
シリーズ名: Geotechnical special publication ; no. 199
所蔵情報: loading…
24.

図書

図書
GeoFlorida : advances in analysis, modeling and design ; American Society of Civil Engineers. Geo-Institute ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed by Curran Associates, 2010  p. 852-1689 ; 28 cm
シリーズ名: Geotechnical special publication ; no. 199
所蔵情報: loading…
25.

図書

図書
GeoFlorida : advances in analysis, modeling and design ; American Society of Civil Engineers. Geo-Institute ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed by Curran Associates, 2010  p. 1690-2520 ; 28 cm
シリーズ名: Geotechnical special publication ; no. 199
所蔵情報: loading…
26.

図書

図書
GeoFlorida : advances in analysis, modeling and design ; American Society of Civil Engineers. Geo-Institute ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed by Curran Associates, 2010  p. 2521-3314 ; 28 cm
シリーズ名: Geotechnical special publication ; no. 199
所蔵情報: loading…
27.

図書

図書
Xiaofeng Peng
出版情報: Beijing : Tsinghua University Press , Berlin : Springer, 2010  ix, 255 p. ; 24 cm
所蔵情報: loading…
28.

図書

図書
editors, Yoshimasa Ochi, Shinich Nakasuka, Houria Siguerdidjane
出版情報: Kidlington, UK : Elsevier, c2010  551 p. ; 27 cm
所蔵情報: loading…
29.

図書

図書
[edited by] Mark R. Nimlos, Michael F. Crowley ; sponsored by the ACS Division of Cellulose and Renewable Material
出版情報: Washington, DC : American Chemical Society, c2010  viii, .343 p. ; 24 cm
シリーズ名: ACS symposium series ; 1052
所蔵情報: loading…
30.

図書

図書
Robin Helburn, editor, Mark F. Vitha, editor ; sponsored by the ACS Division of Analytical Chemistry
出版情報: Washington, DC : American Chemical Society, c2010  x, 288 p. ; 24 cm
シリーズ名: ACS symposium series ; 1062
所蔵情報: loading…
31.

視聴覚資料

AV
Films for the Humanities (Firm)
出版情報: Hamilton, N.J. : Films for the Humanities & Sciences , 東京 : グローバル・リンケージ [distributor], c2010  5 videodiscs ; 12 cm.
所蔵情報: loading…
32.

視聴覚資料

AV
executive producer, Craig Claudin ; producer, Jerry Baber ; director, Rhonda Fabian ; editors, Robert Larkin, Bridget Yachetti
出版情報: Hamilton, N.J. : Films for the Humanities & Sciences , 東京 : グローバル・リンケージ [distributor], c2010  1 videodiscs (25 min.) ; 12 cm.
シリーズ名: Essential chemistry
所蔵情報: loading…
33.

視聴覚資料

AV
executive producer, Craig Claudin ; producer, Jerry Baber ; director, Rhonda Fabian ; editors, Robert Larkin, Bridget Yachetti
出版情報: Hamilton, N.J. : Films for the Humanities & Sciences , 東京 : グローバル・リンケージ [distributor], c2010  1 videodiscs (28 min.) ; 12 cm.
シリーズ名: Essential chemistry
所蔵情報: loading…
34.

視聴覚資料

AV
executive producer, Craig Claudin ; producer, Jerry Baber ; director, Rhonda Fabian ; editors, Robert Larkin, Bridget Yachetti
出版情報: Hamilton, N.J. : Films for the Humanities & Sciences , 東京 : グローバル・リンケージ [distributor], c2010  1 videodiscs (26 min.) ; 12 cm.
シリーズ名: Essential chemistry
所蔵情報: loading…
35.

視聴覚資料

AV
executive producer, Craig Claudin ; producer, Jerry Baber ; director, Rhonda Fabian ; editors, Robert Larkin, Bridget Yachetti
出版情報: Hamilton, N.J. : Films for the Humanities & Sciences , 東京 : グローバル・リンケージ [distributor], c2010  1 videodiscs (24 min.) ; 12 cm.
シリーズ名: Essential chemistry
所蔵情報: loading…
36.

視聴覚資料

AV
executive producer, Craig Claudin ; producer, Jerry Baber ; director, Rhonda Fabian ; editors, Robert Larkin, Bridget Yachetti
出版情報: Hamilton, N.J. : Films for the Humanities & Sciences , 東京 : グローバル・リンケージ [distributor], c2010  1 videodiscs (22 min.) ; 12 cm.
シリーズ名: Essential chemistry
所蔵情報: loading…
37.

図書

図書
笹本稜平著
出版情報: 東京 : 双葉社, 2010.11  2冊 ; 15cm
シリーズ名: 双葉文庫 ; さ-32-01-02
所蔵情報: loading…
38.

雑誌

雑誌
Council of Scientific & Industrial Research (India) ; Indian National Science Academy ; National Institute of Science Communication and Information Resources (New Delhi, India)
出版情報: New Delhi : Council of Scientific & Industrial Research in association with the Indian National Science Academy, -c2010  v. ; 28 cm
巻次年月次: -v. 39, no. 2 (June 2010)
所蔵情報: loading…
39.

雑誌

雑誌
中国植物生理学会主編
出版情報: 北京 : 科学出版社, -2010
巻次年月次: -1990年6期 ([1990.12]) = -总142期 ([1990.12]) ; 27巻1期 (1991.1)-46卷12期 (2010.12)
所蔵情報: loading…
40.

雑誌

雑誌
出版情報: Hove : Psychology Press, 2010-  v. ; 29 cm
巻次年月次: Vol. 1, issue 1 (Mar. 2010)-
所蔵情報: loading…
41.

雑誌

雑誌
出版情報: Abingdon, UK : Taylor & Francis, 2010-  v. ; 25 cm
巻次年月次: Vol. 1, no. 1 (Mar. 2010)-
所蔵情報: loading…
42.

雑誌

雑誌
American Ceramic Society
出版情報: Hoboken, N.J. : American Ceramic Society , Malden, Mass. : Wiley Periodicals, c2010-  v. ; 26 cm
巻次年月次: Vol. 1, no. 1 (Mar. 2010)-
所蔵情報: loading…
43.

雑誌

雑誌
村野藤吾の設計研究会 [編]
出版情報: [京都] : 村野藤吾の設計研究会, 2010.4-  冊 ; 30cm
巻次年月次: 1号 (2010)-
所蔵情報: loading…
44.

雑誌

雑誌
電子情報通信学会 [編] = the Institute of Electronics, Information and Communication Engineers
出版情報: 東京 : 電子情報通信学会, 2010.6-  冊 ; 30cm
巻次年月次: IBISML2010-1-IBISML2010-28 (2010.6)-
所蔵情報: loading…
45.

雑誌

雑誌
中国科学院 ; National Natural Science Foundation of China
出版情報: Beijing : Science China Press , Heidelberg : Springer, 2010.1-  v. ; 28 cm
巻次年月次: Vol. 53, no. 1 (Jan. 2010)-
所蔵情報: loading…
46.

雑誌

雑誌
出版情報: Chengdu : Editorial Board of Journal of University of Electronic Science and Technology, 2010-  v. ; 30 cm
巻次年月次: Vol. 8, no. 1 (Mar. 2010)-
所蔵情報: loading…
47.

雑誌

雑誌
出版情報: Budapest : Akadémiai Kiadó , Dordrecht : Springer, 2010-
巻次年月次: Vol. 99, no. 1 (2010)-
所蔵情報: loading…
48.

雑誌

雑誌
the Chartered Institute of Building
出版情報: Ascot, Berkshire : Chartered Institute of Building, 2010-  v. ; 30 cm
巻次年月次: Vol. 1, issue 1 (2010)-
所蔵情報: loading…
49.

雑誌

雑誌
Chinese Academy of Sciences, National Natural Science Foundation of China
出版情報: Beijing : Science China Press , Berlin : Springer-Verlag, 2010-  v. ; 28 cm
巻次年月次: Vol. 53, no. 1 (Jan. 2010)-
所蔵情報: loading…
50.

雑誌

雑誌
出版情報: Stevenson Ranch, CA : American Scientific Publishers, c2010-  v. ; 28 cm
巻次年月次: Vol. 5, no. 1 (Apr. 2010)-
所蔵情報: loading…
51.

雑誌

雑誌
出版情報: [New York, N.Y.] : Hindawi Pub. Corp., 2010-  v. ; 28 cm
巻次年月次: Vol. 2010, pt. 1 (2010)-
所蔵情報: loading…
52.

雑誌

雑誌
Valtion teknillinen tutkimuskeskus
出版情報: Espoo : VTT  v.
所蔵情報: loading…
53.

雑誌

雑誌
Institute of Ergonomics & Human Factors
出版情報: Boca Raton : CRC Press, [2010]-  v. ; 24 cm
巻次年月次: 2010 (2010)-
所蔵情報: loading…
54.

雑誌

雑誌
出版情報: Dehradun : Spectral-Force Pub.  v.
所蔵情報: loading…
55.

コンピュータファイル

コンピュータファイル
Vibration Institute
出版情報: [Willowbrook, Ill.] : Vibration Institute  CD-ROMs ; 4 3/4 in
所蔵情報: loading…
56.

雑誌

雑誌
北海道大学電子科学研究所 ; 東北大学多元物質科学研究所 ; 東京工業大学資源化学研究所 ; 大阪大学産業科学研究所 ; 九州大学先導物質化学研究所
出版情報: [出版地不明] : [出版者不明]  冊 ; 30cm
所蔵情報: loading…
57.

雑誌

雑誌
北海道大学電子科学研究所 ; 東北大学多元物質科学研究所 ; 東京工業大学資源化学研究所 ; 大阪大学産業科学研究所 ; 九州大学先導物質化学研究所
出版情報: [S.l.] : [s.n.]  冊 ; 30cm
所蔵情報: loading…
58.

雑誌

雑誌
American Chemical Society
出版情報: Washington, D.C. : American Chemical Society, -c2010  v. ; 28 cm
巻次年月次: -v. 12, no. 6 (Nov./Dec. 2010)
所蔵情報: loading…
59.

雑誌

雑誌
上海市能源研究所, 上海市工程热物理学会
出版情報: 上海 : 上海市能源研究所 : 上海市工程热物理学会, -2010.12  冊 ; 27-30cm
巻次年月次: -1999 (1999) ; 21巻1期 (2000.3)-31巻6期 (2010.12)
所蔵情報: loading…
60.

雑誌

雑誌
出版情報: Chichester, UK : John Wiley & Sons, -2010  v. ; 26 cm
巻次年月次: -v. 19, no. 8 (Dec. 2010)
所蔵情報: loading…
61.

電子ブック

EB
Danny Weyns
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Software Architecture and Middleware / 1.1:
Software Architecture / 1.1.1:
Middleware / 1.1.2:
Agent-Oriented Methodologies / 1.2:
Case Study / 1.3:
Overview of the Book / 1.4:
Overview of Architecture-Based Design of Multi-Agent Systems / 2:
General Overview of the Approach / 2.1:
Architectural Design in the Development Life Cycle / 2.1.1:
Steps of Architecture-Based Design of Multi-Agent Systems / 2.1.2:
Functional and Quality Attribute Requirements / 2.2:
Architectural Design / 2.3:
Architectural Patterns / 2.3.1:
ADD Process / 2.3.2:
Middleware Support for Multi-Agent Systems / 2.4:
Documenting Software Architecture / 2.5:
Architectural Views / 2.5.1:
Architectural Description Languages / 2.5.2:
Evaluating Software Architecture / 2.6:
From Software Architecture to Downstream Design and Implementation / 2.7:
Summary / 2.8:
Capturing Expertise in Multi-Agent System Engineering with Architectural Patterns / 3:
Situated Multi-Agent Systems / 3.1:
Single-Agent Systems / 3.1.1:
Multi-Agent Systems / 3.1.2:
Target Domain of the Pattern Language for Situated Multi-Agent Systems / 3.2:
Overview of the Pattern Language / 3.3:
Pattern Template / 3.4:
Virtual Environment / 3.5:
Primary Presentation / 3.5.1:
Architectural Elements / 3.5.2:
Interface Descriptions / 3.5.3:
Design Rationale / 3.5.4:
Situated Agent / 3.6:
Selective Perception / 3.6.1:
Roles and Situated Commitments / 3.7.1:
Free-Flow Trees Extended with Roles and Situated Commitments / 3.8.1:
Protocol-Based Communication / 3.9:
Architectural Design of Multi-Agent Systems / 3.9.1:
Designing and Documenting Multi-Agent System Architectures / 4.1:
Designing and Documenting Architecture in the Development Life Cycle / 4.1.1:
Inputs and Outputs of ADD / 4.1.2:
Overview of the ADD Activities / 4.1.3:
The Domain of Automated Transportation Systems / 4.2:
Business Case / 4.2.2:
System Requirements / 4.2.3:
General Overview of the Design / 4.3:
Challenges at the Outset / 4.3.1:
The System and Its Environment / 4.3.2:
Design Process / 4.3.3:
High-Level Design / 4.3.4:
Architecture Documentation / 4.4:
Introduction to the Architecture Documentation / 4.4.1:
Deployment View / 4.4.2:
Module Uses View / 4.4.3:
Collaborating Components View / 4.4.4:
Middleware for Distributed Multi-Agent Systems / 4.5:
Middleware Support for Distributed, Decentralized Coordination / 5.1:
Middleware in Distributed Software Systems / 5.1.1:
Middleware in Multi-Agent Systems / 5.1.2:
Scope of the Middleware and Requirements / 5.2:
Objectplaces / 5.2.2:
Views / 5.2.3:
Coordination Roles / 5.2.4:
Middleware Architecture / 5.3:
High-Level Module Decomposition / 5.3.1:
Group Formation / 5.3.2:
View Management / 5.3.3:
Role Activation / 5.3.4:
Collision Avoidance in the AGV Transportation System / 5.4:
Collision Avoidance / 5.4.1:
Collision Avoidance Protocol / 5.4.2:
Software Architecture: Communicating Processes for Collision Avoidance / 5.4.3:
Task Assignment / 5.5:
Schedule-Based Task Assignment / 6.1:
FiTA: Field-Based Task Assignment / 6.2:
Coordination Fields / 6.2.1:
Adaptive Task Assignment / 6.2.2:
Dealing With Local Minima / 6.2.3:
DynCNET Protocol / 6.3:
Monitoring the Area of Interest / 6.3.1:
Convergence / 6.3.3:
Synchronization Issues / 6.3.4:
Evaluation / 6.4:
Test Setting / 6.4.1:
Test Results / 6.4.2:
Tradeoff Analysis / 6.4.3:
Evaluation of Multi-Agent System Architectures / 6.5:
Evaluating Multi-Agent System Architectures with ATAM / 7.1:
Architecture Evaluation in the Development Life Cycle / 7.1.1:
Objectives of a Multi-Agent System Architecture Evaluation / 7.1.2:
Overview of the ATAM Activities / 7.1.3:
AGV Transportation System for a Tea Processing Warehouse / 7.2:
Evaluation Process / 7.2.2:
Quality Attribute Workshop / 7.2.3:
Analysis of Architectural Approaches / 7.2.4:
Reflection on ATAM for Evaluating a Multi-Agent System Architecture / 7.3:
ATAM Follow-Up and Demonstrator / 7.4:
Related Approaches / 7.5:
Architectural Approaches and Multi-Agent Systems / 8.1:
Architectural Styles / 8.1.1:
Reference Models and Architectures for Multi-Agent Systems / 8.1.2:
Middleware for Mobile Systems / 8.2:
Work Related to Views / 8.2.1:
Work Related to Coordination Roles / 8.2.2:
Scheduling and Routing of AGV Transportation Systems / 8.3:
AI and Robotics Approaches / 8.3.1:
Multi-Agent System Approaches / 8.3.2:
Conclusions / 9:
Reflection on Architecture-Based Design of Multi-Agent Systems / 9.1:
It Works! / 9.1.1:
Reflection on the Project with Egemin / 9.1.2:
Lessons Learned and Challenges / 9.2:
Dealing with Quality Attributes / 9.2.1:
Designing a Multi-Agent System Architecture / 9.2.2:
Integrating a Multi-Agent System with Its Software Environment / 9.2.3:
Impact of Adopting a Multi-Agent System / 9.2.4:
?-ADL Specification of the Architectural Patterns / A:
Language Constructs / A.1:
Virtual Environment Pattern / A.2:
Situated Agent Pattern / A.3:
Synchronization in the DynCNET Protocol / B:
Synchronization of Abort and Bound Messages / B.1:
Synchronization of Scope Dynamics / B.2:
Overview / C:
Invariant / C.2:
Maintaining the Invariant / C.3:
Glossary
References
Index
Introduction / 1:
Software Architecture and Middleware / 1.1:
Software Architecture / 1.1.1:
62.

電子ブック

EB
Katinka Wolter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I:
Basic Concepts and Problems / 1:
The Timeout Problem / 1.1:
System and Fault Models / 1.2:
Preventive Maintenance / 1.3:
Note on Terminology / 1.4:
Outline / 1.5:
Task Completion Time / 2:
Bounded Downtime / 2.1:
System Lifetime / 2.1.1:
Cumulative Uptime / 2.1.2:
Probability of Task Completion / 2.1.3:
Bounded Accumulated Downtime / 2.2:
system Lifetime / 2.2.1:
Bounded Number of Failures / 2.2.2:
Restart / 2.3.1:
Applicability Analysis of Restart / 3:
Applications of Restart / 3.1:
Randomised Algorithms / 3.1.1:
Optimal Restart Time for a Randomised Algorithm / 3.1.2:
Failure Detectors / 3.1.3:
Congestion Control in TCP / 3.1.4:
Criteria for Successful Restarts / 3.2:
When Does Restart Improve the Expected Completion Time? / 3.2.1:
When Does Restart Improve the Probability of Meeting a Deadline? / 3.2.2:
Conclusions / 3.3:
Moments of Completion Time Under Restart / 4:
The Information Captured by the Moments of a Distribution / 4.1:
Models for Moments of Completion Time / 4.2:
Unbounded Number of Restarts / 4.2.1:
Finite Number of Restarts / 4.2.2:
Optimal Restart Times for the Moments of Completion Time / 4.3:
Expected Completion Time / 4.3.1:
Optimal Restart Times for Higher Moments / 4.3.2:
Case Study: Optimising Expected Completion Time in Web Services Reliable Messaging / 4.4:
Metrics for the Fairness-Timeliness tradeoff / 4.4.1:
Oracles for Restart / 4.4.2:
Results / 4.4.3:
HTTP Transport / 4.5:
60 s Disruption / 4.5.1:
Packet Loss / 4.5.2:
Mail Transport / 4.5.3:
Meeting Deadlines Through Restart / 5:
A Model for the Probability of Meeting a Deadline Under Restart / 5.1:
Algorithms for Optimal Restart Times / 5.2:
An Engineering Rule to Approximate the Optimal Restart Time / 5.3:
Towards Online Restart for Self-Management of Systems / 5.4:
Estimating the Hazard Rate / 5.4.1:
Experiments / 5.4.2:
Software Rejuvenation / Part III:
Practical Aspects of Preventive Maintenance and Software Rejuvenation / 6:
Stochastic Models for Preventive Maintenance and Software Rejuvenation / 6.1:
A Markovian Software Rejuvenation Model / 7.1:
Aging in the Modelling of Software Rejuvenation / 7.2:
Behaviour in State A under Policy I / 7.2.1:
Behaviour in State A under Policy II / 7.2.2:
A Petri Net Model / 7.3:
A Non-Markovian Preventive Maintenance Model / 7.4:
Stochastic Processes for Shock and Inspection-Based Modelling / 7.5:
The Inspection Model with Alert Threshold Policy / 7.5.1:
The Shock Model with a Risk Policy / 7.5.2:
Inspection-Based Modelling using the Möbius Modelling Tool / 7.6:
Comparative Summary of the Stochastic Models / 7.7:
Further Reading / 7.8:
Checkpointing / Part IV:
Checkpointing Systems / 8:
Checkpointing Single-Unit Systems / 8.1:
Checkpointing in Distributed Systems / 8.2:
Stochastic Models for Checkpointing / 9:
Checkpointing at Program Level / 9.1:
Equidistant Checkpointing / 9.1.1:
Checkpointing Real-Time Tasks / 9.1.2:
Random Checkpointing Intervals / 9.1.3:
Algorithms for Optimum Checkpoint Selection / 9.1.4:
Checkpointing at System Level / 9.2:
Analytic Models for Checkpointing Transaction-Based Systems / 9.2.1:
Checkpointing Policies for Transaction-Based Systems / 9.2.2:
A Queueing Model for Checkpointing Transaction-Based Systems / 9.2.3:
A Trade-Off Metric for Optimal Checkpoint Selection / 9.3:
Summary / 9.4:
Summary, Conclusion and Outlook / 10:
Properties in Discrete Systems / A:
Cumulative First Moment / A.1:
The Gamma Function / A.2:
Important Probability Distributions / B:
Discrete Probability Distributions / B.1:
The Binomial Distribution / B.1.1:
The Multinomial Distribution / B.1.2:
The Geometric Distribution / B.1.3:
The Poisson Distribution / B.1.4:
Continuous Probability Distributions / B.2:
The Exponential Distribution / B.2.1:
The Erlang Distribution and the Hypo-exponential Distribution / B.2.2:
The Hyperexponential Distribution / B.2.3:
The Mixed Hyper/Hypo-exponential Distribution / B.2.4:
The Weibull Distribution / B.2.5:
The Lognormal Distribution / B.2.6:
Cumulative Hazard Rate / C:
Epanechnikov Kernel / C.2:
Bandwidth Estimation / C.3:
The Laplace and the Laplace-Stieltjes Transform / D:
References
Index
Glossary
Introduction / Part I:
Basic Concepts and Problems / 1:
The Timeout Problem / 1.1:
63.

電子ブック

EB
International Workshop on Parallel Tools for High Performance Computing, Matthias S. M?ller, Michael M. Resch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
64.

電子ブック

EB
Ulrich Gellert, Ana Daniela Cristea
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
What is Web Dynpro? / 1:
SAP Easy Access / 2:
Changing the SAP Easy Access / 2.1:
Favorites List / 2.2:
Setting a Transaction as Start Transaction / 2.3:
Creating a Shortcut / 2.4:
Designing a Web Dynpro Component / 3:
View / 3.1:
View Layout / 3.1.1:
Context View / 3.1.2:
Actions / 3.1.3:
Methods / 3.1.4:
Properties / 3.1.5:
Attributes / 3.1.6:
Componentcontroller / 3.2:
Window / 3.3:
Application / 3.4:
ABAP Debugger / 3.5:
Web Dynpro Logon Page Configuration / 3.6:
ABAP Dictionary / 4:
Data Element / 4.1:
Domain / 4.2:
Structure / 4.3:
Table / 4.4:
Search Help / 4.5:
Database View / 4.6:
Table Type / 4.7:
Lock Object / 4.8:
Context Nodes and Attributes at Design Time / 5:
Nodes / 5.1:
Creating a Node that Uses an ABAP Dictionary Repository Object / 5.2.1:
Working with Child Nodes / 5.2.2:
Data Binding, Context Mapping and Interface Methods / 6:
Data Binding / 6.1:
Context Mapping / 6.2:
Internal Context Mapping / 6.2.1:
External Context Mapping / 6.2.2:
Interface Methods / 6.3:
View Controller Methods / 7:
Hook Methods / 7.1:
wdDoInit / 7.1.1:
wdDoExit / 7.1.2:
wdDoModify View / 7.1.3:
wdDoBeforeAction / 7.1.4:
wdDoOnContextMenu / 7.1.5:
Supply Function Methods / 7.2:
User-Defined Instance Methods / 7.3:
Fire Methods / 7.4:
Event Handler Methods / 7.5:
Layout UI Elements / 8:
FlowLayout / 8.1:
GridLayout / 8.2:
MatrixLayout / 8.3:
RowLayout / 8.4:
User Interface Elements (UI elements), Static and Dynamic Programming / 9:
Action / 9.1:
Timed Trigger / 9.1.1:
ButtonChoice / 9.1.2:
Selection / 9.2:
DropDownByKey / 9.2.1:
DropDownByIndex / 9.2.2:
RadioButtonGroupByIndex / 9.2.3:
Layout / 9.3:
ViewContainerUIElement / 9.3.1:
TabStrip / 9.3.2:
PageHeader / 9.3.3:
ContextualPanel / 9.3.4:
Tray UI Element / 9.3.5:
MessageArea / 9.3.6:
Complex / 9.4:
RoadMap / 9.4.1:
PhaseIndicator / 9.4.3:
Tree-Sequential Implementation / 9.4.4:
DateNavigator / 9.4.5:
Graphic / 9.5:
Image / 9.5.1:
BusinessGraphics / 9.5.2:
Integration / 9.6:
The InteractiveForm / 9.6.1:
FileUpload / 9.6.2:
Messages, Exceptions and Web Dynpro ABAP / 10:
Message Handling / 10.1:
Dynamic Texts Stored in the Text Pool of the Assistance Class / 10.1.1:
Text from Database Table T100 / 10.1.2:
Exception Handling / 10.2:
Exception Class with OTR Text / 10.2.1:
Exception Class with Text from a Message Class / 10.2.2:
Writing Multilanguage Applications / 11:
Creating Multilanguage User Interfaces / 11.1:
Internationalization of Data Elements Defined in ABAP Dictionary / 11.1.1:
Internationalization of Domains Defined in ABAP Dictionary / 11.1.2:
Internationalization of Text from OTR / 11.1.3:
Internationalization of Text from Assistance Class / 11.1.4:
Internationalization of Messages / 11.1.5:
Multilanguage Records in the Database / 11.2:
Study an Example Created in the System / 11.2.1:
Creating Table Structures and Internationalization of the Records / 11.2.2:
Using the Internationalized Records in WebDynpro / 11.2.3:
Web Dynpro Model / 12:
Assistance Class as a Model for a Multicomponent Application / 12.1:
BAPI as a Model / 12.2:
Creating a BAPI / 12.2.1:
Using the Created BAPI as a Model / 12.2.2:
Web Service / 12.3:
Creating the Web Service / 12.3.1:
Web Service Configuration / 12.3.2:
Testing the Web Service / 12.3.3:
Consuming the Web Service in Web Dynpro / 12.3.4:
ALV and Select Options / 13:
SAP List Viewer / 13.1:
Simple ALV Example / 13.1.1:
ALV Configuration Model / 13.1.2:
Select Options / 13.2:
Integrating a Web Dynpro Application into the SAP NetWeaver Portal / 13.3:
Creating a Folder / 14.1:
Connecting to the Back-End ABAP System / 14.2:
Creating an iView / 14.3:
Creating a Role and Role Assignment / 14.4:
Running the Application into the Portal / 14.5:
Triggering a Portal Event / 14.6:
Reacting to a Portal Event / 14.7:
Creating a Page / 14.8:
Running the Application that Processes Portal Events / 14.9:
Web Dynpro and Authorization / 15:
Role Based Access Control Pattern - RBAC / 15.1:
Authorization Object Class / 15.2:
Authorization Object / 15.3:
Authorization Fields / 15.4:
Creating a Single Role and Changing its Authorization Data / 15.5:
Creating the Web Dynpro Component / 15.6:
Checking the Authorization of the Current User / 15.6.1:
Assigning the User-Role and Running the Application / 15.6.2:
Web Dynpro Mind Map / 16:
Creating a Mind Map / 16.1:
Web Dynpro ABAP Mind Map / 16.2:
Appendix
Index
What is Web Dynpro? / 1:
SAP Easy Access / 2:
Changing the SAP Easy Access / 2.1:
65.

電子ブック

EB
Darja ?mite, Darja #mite, Nils Brede Moe, Darja Smite
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
66.

電子ブック

EB
Torgeir Dings?yr, Torgeir Dings?yr, Tore Dyb?, Tore Dyb?, Nils Brede Moe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
67.

電子ブック

EB
Norbert Pohlmann, Helmut Reimer, Wolfgang Schneider
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2010
所蔵情報: loading…
68.

電子ブック

EB
David Salomon
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
69.

電子ブック

EB
Anne Voluntas dei Massah Kayem, Selim G. Akl, Anne V. D. M. Kayem, Patrick Martin
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
70.

電子ブック

EB
Javier Lacasta, Javier Nogueras-Iso, Francisco Javier Zarazaga Soria
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ontology basic concepts / 1:
Introduction / 1.1:
Ontology families / 1.2:
Ontology classification / 1.3:
Controlled vocabularies / 1.3.1:
Glossaries / 1.3.2:
Subject headings and taxonomies / 1.3.3:
Thesauri / 1.3.4:
Semantic Networks / 1.3.5:
Is-a Hierarchies and Formal Instances / 1.3.6:
Frame based ontologies / 1.3.7:
General Constraints and Disjointness / 1.3.8:
Alignment of ontologies and ontology mappings / 1.4:
Summary / 1.5:
A representation framework for terminological ontologies / 2:
Related work in the representation of terminological ontologies / 2.1:
Representation of knowledge models / 2.2.1:
Representation of mappings / 2.2.2:
Representation of terminological ontologies / 2.3:
Knowledge model representation / 2.3.1:
Metadata for ontology description / 2.3.2:
Representation of ontology mappings / 2.4:
Mapping representation / 2.4.1:
Metadata for mapping description / 2.4.2:
Case of study: Mapping of terminological ontologies to an upper level ontology / 2.5:
Ontology learning for terminological ontologies / 2.6:
Ontology learning from corpora / 3.1:
Ontology learning from dictionaries / 3.3:
Ontology learning from schemata / 3.4:
Ontology learning from thesauri / 3.5:
Cases of study / 3.6:
Transformation of heterogeneous thesaurus representations into terminological ontologies / 3.6.1:
Terminological ontologies as a result of thesaurus merging / 3.6.2:
Formalization of terminological ontologies / 3.7:
Current approaches towards formalization / 4.1:
Increase of formalism in terminological models / 4.3:
Application of the formalization process / 4.4:
Access to terminological ontologies / 4.5:
Terminological ontology management / 5.1:
Terminological ontology storage and access / 5.3:
Architecture / 5.3.1:
Terminological ontology repository / 5.3.2:
Terminological ontology manager / 5.3.3:
Edition of terminological ontologies / 5.4:
Accessing terminological ontologies through a web service / 5.5:
Performance analysis / 5.6:
Applicability of terminological ontologies to information retrieval / 5.7:
Resource classification / 6.1:
Improvement of information discovery through query expansion / 6.3:
State of the art in query expansion / 6.3.1:
A proposal for terminological based query expansion / 6.3.2:
Testing the retrieval model / 6.3.3:
Information browsing / 6.4:
State of the art in information browsing approaches / 6.4.1:
Topic map based browsing / 6.4.2:
Cluster based browsing / 6.4.3:
Browsing methods comparison / 6.4.4:
Concluding remarks and outlook / 6.5:
Reference
Index
Ontology basic concepts / 1:
Introduction / 1.1:
Ontology families / 1.2:
71.

電子ブック

EB
Christian W.; Bishop, Matthew; Gollmann, Dieter Probst, Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Aspects of Insider Threats / Christian W. Probst ; Jeffrey Hunker ; Dieter Gollmann ; Matt Bishop
Introduction / 1:
Insiders and Insider Threats / 2:
Insider Threats / 2.1:
Taxonomies / 2.2:
Detection and Mitigation / 3:
Policies / 4:
Human Factors and Compliance / 5:
Conclusion / 6:
References
Combatting Insider Threats / Peter G. Neumann
A Contextual View of Insiders and Insider Threats
Risks of Insider Misuse
Types of Insiders
Types of Insider Misuse
Threats, Vulnerabilities, and Risks
Relevant Knowledge and Experience / 3.1:
Exploitations of Vulnerabilities / 3.2:
Potential Risks Resulting from Exploitations / 3.3:
Countermeasures
Specification of Sound Policies for Data Gathering and Monitoring / 4.1:
Detection, Analysis, and Identification of Misuse / 4.2:
Desired Responses to Detected Anomalies and Misuses / 4.3:
Decomposition of Insider Misuse Problems
Stages of Development and Use / 5.1:
Extended Profiling Including Psychological and Other Factors / 5.2:
Requirements for Insider-Threat-Resistant High-Integrity Elections
Relevance of the Countermeasures to Elections / 7:
Research and Development Needs / 8:
Conclusions / 9:
Insider Threat and Information Security Management / Lizzie Coles-Kemp ; Marianthi Theoharidou
Definitions of Insider and the Relevance to Information Security Management
Risk and Insiderness
The Importance of Organisational Culture and the Significance of Cultural Risks
Fieldwork on Culture and the Insider Threat
The Structure of the ISMS and Traditional Information Security Management Responses to Insiderness
Analysis - Turning an ISMS Inwards
The Role of Operationalisation
Information Security Management Standards, Best Practice and the Insider Threat
General Security Management Standards
Guidelines Focused on the Management of the Insider Threat
Analysis of the Contribution of Best Practice and Guidelines / 5.3:
Crime theories and insider threat
Existing Connections between Crime Theories and Information Security Management / 6.1:
Implications of Crime Theories for ISMS Design
Application of SCP to the ISO Control Domains / 7.1:
Implications for ISMS Process Design / 7.2:
Summary of Crime Theory Contribution / 7.3:
A State of the Art Survey of Fraud Detection Technology / Ulrich Flegel ; Julien Vayssière ; Gunter Bitz
Data Analysis Methodology / 1.1:
Survey of Technology for Fraud Detection in Practice
General Approaches for Intrusion and Fraud Detection
State of the Art of Fraud Detection Tools and Techniques
Why Fraud Detection is not the Same as Intrusion Detection
Challenges for Fraud Detection in Information Systems
Summary
Combining Traditional Cyber Security Audit Data with Psychosocial Data: Towards Predictive Modeling for Insider Threat Mitigation / Frank L. Greitzer ; Deborah A. Frincke
Background
Issues of Security and Privacy
Predictive Modeling Approach
Training Needs
Conclusions and Research Challenges
Acknowledgments
A Risk Management Approach to the "Insider Threat" / Sophie Engle ; Carrie Gates ; Sean Peisert ; Sean Whalen
Insider Threat Assessment
Example
Access-Based Assessment
Psychological Indicator-Based Assessment
Application of Risk to System Countermeasures
Legally Sustainable Solutions for Privacy Issues in Collaborative Fraud Detection / Florian Kerschbaum ; Philip Miseldine ; Ganna Monakova ; Richard Wacker ; Frank Leymann
Monitoring Modern Distributed Systems
Evidence Model
Observing Fraudulent Service Behaviours
Architectural Support
Introduction to the Legal Perspective
Basic Principles of Data Privacy Law
A Set of Six Basic Rules
General Legal Requirements of Fraud Detection Systems
Privacy Relevance of Fraud Detection Systems
Necessary Data for Fraud Detection / 6.2:
Transparency in the Fraud Detection Context / 6.3:
Purpose Specification and Binding in Fraud Detection / 6.4:
Permissibility of Fraud Detection / 6.5:
Quality of Event Data / 6.6:
Security of Event Data / 6.7:
Technical Solutions for Privacy-respecting Fraud Detection
Technicla Requirements
Lossless Information Reduction with Covered Data
Lossy Information Reductions for Timestamps
Legal Improvements by Pseudonymizing Event Data
Technical Description / 8.1:
Privacy Relevance of Pseudonymized Event Data / 8.2:
Strengthening the Data Privacy Official / 8.3:
Disclosure With Legal Permission / 8.4:
Data and System Security / 8.5:
Towards an Access-Control Framework for Countering Insider Threats / Jason Crampton ; Michael Huth
Motivation and related work
Illustrative scenarios
Definitions of insiders
Access control / 2.3:
The insider problem and access control / 2.4:
Trust, trustworthiness, and the insider problem
Insiderness
Trust management and risk assessment
Pragmatics of identifying suspicious events
Toward a context-and insider-aware policy language
Context and request predicates
Requirements
Policy transformations via declarative programming
Discussion of requirements / 4.4:
Policy transformations / 4.5:
Risk-and trustworthiness-aware policy composition / 4.6:
Access-control architectures and the insider problem
Concluding remarks
Monitoring Technologies for Mitigating Insider Threats / Brian M. Bowen ; Malek Ben Salem ; Angelos D. Keromytis ; Slvatore J. Stolfo
Related Research
Threat Model - Level of Sophistication of the Attacker
Decoy Properties
Architecture
Decoy Document Distributor
SONAR
Decoys and Network Monitoring
Host-based Sensors / 5.4:
Concluding Remarks and Future Work
Insider Threat Specification as a Threat Mitigation Technique / George Magklaras ; Steven Furnell
The Insider Threat Problem
The Common Intrusion Specification Language
Panoptis
Insider Misuse Taxonomies and Threat Models
The Scope of the Insider Threat Prediction Specification Language
The Domain Specific Language Programming Paradigm
Aspects of Insider Threats / Christian W. Probst ; Jeffrey Hunker ; Dieter Gollmann ; Matt Bishop
Introduction / 1:
Insiders and Insider Threats / 2:
72.

電子ブック

EB
Dick Hamlet
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Griffin
Acknowledgements
Introduction / 1:
A 'Clear Drop' / 1.1:
Testing Components and Recording Approximations / 1.1.1:
Synthesizing a System / 1.1.2:
Discussion of the Example / 1.1.3:
Roadmap of this Monograph / 1.2:
Theory vs. Practice / 1.2.1:
Formal Theory of Software Testing / 1.2.2:
Exploratory Tools / 1.2.3:
Insights into Component Composition / 1.2.4:
Implications for Testing in General / 1.2.5:
Components and Component-based Development / Part I:
Engineering, Components, and Software / 2:
Standardized Components Make Engineering Possible / 2.1:
Mechanical Engineering of a Vacuum System / 2.2:
Electrical/Computer Engineering of a Laptop / 2.3:
Can It Be Done with Software? / 2.4:
Software Components and Component-based Development / 3:
The Parts: Components / 3.1:
Common Environment for Software / 3.1.1:
Reuse / 3.1.2:
Information Hiding / 3.1.3:
Object-oriented Design / 3.1.4:
Szyperski's Definition / 3.1.5:
The Systems: Component-based Software Development (CBSD) / 3.2:
Product Families / 3.2.1:
Component Development and Cataloging / 3.2.2:
System Design using Components / 3.2.3:
The Viewpoint: Testing Simple Components and Systems / 3.3:
Simple Components / 3.3.1:
Simple Systems / 3.3.2:
Critique of the Model / 3.3.3:
CBSD in Practice and Theory / 4:
Components and Connectors / 4.1:
System Architecture / 4.2:
Component Models / 4.3:
Middleware and Container Services / 4.3.1:
Immutable Components / 4.4:
Broader Theory of CBSD / 4.5:
General Component-based System Design Theory / 4.5.1:
Component-based Verification / 4.5.2:
Testing vs. Proving / 4.5.3:
Summary of CBSD Issues / 4.6:
Software Testing: Practice and Theory / Part II:
Software Testing's Place in Development / 5:
'Lifecycle' Models of Development / 5.1:
Development Phases / 5.1.1:
Waterfall Models / 5.1.2:
Agile Models / 5.1.3:
Which Model is Best? / 5.1.4:
Functional/Requirements Testing / 5.2:
Unit Testing vs. System Testing / 5.2.1:
Preventing Bugs / 5.3:
Software Inspection / 5.3.1:
Formal Methods / 5.3.2:
Creating Perfection vs. Finding Failure / 5.3.3:
Testing in CBSD / 5.4:
Software Testing Theory / 6:
Floyd-Hoare-Mills Semantics / 6.1:
Functional Testing Theory / 6.2:
Functional Testing Theory without State / 6.2.1:
Extending Functional Theory to Include State / 6.2.2:
Testing Concurrent Software / 6.2.3:
Summary of Testing Theory / 6.3:
Subdomain Testing / 7:
Divide and Conquer (or Multiply and Founder?) / 7.1:
History of 'Coverage' Testing / 7.2:
Functional Coverage / 7.2.1:
Structural Coverage / 7.2.2:
Combining Functional and Structural Coverage / 7.2.3:
Usage Profiles / 7.3:
Subdomain Testing in the Presence of State / 7.4:
Concurrency / 7.5:
Comparing Subdomain Techniques / 7.6:
The 'Subsumes' Partial Ordering / 7.6.1:
Random Testing / 7.6.2:
Comparing Random- and Subdomain-testing / 7.6.3:
Composition of Components / Part III:
Subdomain Theory of Stateless Component Composition / 8:
Software Testing is 'Non-compositional' / 8.1:
Approximating and Measuring Component Properties / 8.2:
Calculating Properties of Stateless Systems / 8.3:
Series System / 8.3.1:
Conditional System Control Structure / 8.3.2:
Iterative System Control Structure / 8.3.3:
Combining Different Component Approximations / 8.4:
Synthesizing a Component-based System / 8.5:
Combining Testing and Proving / 8.5.1:
Summary of the Subdomain Testing Theory / 8.6:
Tutorial Example-SYN Tools for Stateless Components / 9:
Getting Started / 9.1:
A Simple Complete Example / 9.2:
Approximation and Prediction Errors / 9.3:
Better Component Approximations / 9.4:
Splitting and Adjusting Subdomains / 9.4.1:
Piecewise-linear Component Approximation / 9.4.2:
How Well Can a Component Developer Do? / 9.4.3:
Internal Profiles / 9.5:
Incremental Processing / 9.6:
Tutorial Summary / 9.7:
Persistent State / 10:
Extended Subdomain Theory of Composition / 10.1:
Algorithms for Synthesizing Systems from Components with State / 10.1.1:
Verifying the Algorithms / 10.1.2:
Testing Measurements / 10.2:
3-D Graphs and Approximation Errors / 10.2.1:
Equi-spaced vs. Sequence Sampling / 10.2.2:
System Predictions / 10.3:
Synthesis of Systems with State / 10.3.1:
A Tutorial Example with State / 10.4:
Tutorial: Modes (Preferences) / 10.4.1:
Concurrent Execution / 11:
Adding Concurrency to Composition Theory / 11.1:
Algorithm for Synthesizing Components in Parallel / 11.1.1:
Testing Measurements, Behavior Graphs, and System Predictions / 11.2:
A Tutorial Example with Concurrency / 11.3:
Tutorial: Multiversion Software / 11.3.1:
The Other Non-functional Property: Reliability / 12:
Reliability in Other Engineering Disciplines / 12.1:
Software Reliability Theory / 12.2:
Software 'Time' Parameter / 12.2.1:
The Minefield Analogy / 12.2.2:
A Speculative Software Failure Rate / 12.2.3:
Measuring Software Failure Rate / 12.2.4:
Failure Rate in Subdomains / 12.2.5:
Component Independence / 12.3:
Reliability Synthesis / 12.4:
Difficulties in Component Measurements / 12.4.1:
Synthesis Rules / 12.4.2:
Supporting Tools / Part IV:
CBSD Support Tools / 13:
Component Developers and System Designers / 13.1:
Ideal Tools for I-CBSD / 13.2:
Ideal Component-level Testing/Measurement Tools / 13.2.1:
Ideal System-level Synthesis (CAD) Tools / 13.2.2:
SYN Tools: An Existence Proof / 13.2.3:
Tool Implementation / 14:
Component Conventions / 14.1:
Artificial Components / 14.1.1:
Underlying Algorithms / 14.2:
Execution by Table-lookup / 14.3:
Validating Tools / 14.3.1:
A Nasty Mistake / 14.3.2:
Tool Performance / 14.4:
Debugging Components, Component-based Systems, and Support Tools / 15:
Debugging Components / 15.1:
Checking Tests Against Requirements / 15.1.1:
Executing Code Outside the SYN Tools / 15.1.2:
Finding Good Subdomains / 15.1.3:
Graphical Aids / 15.1.4:
Debugging Component-based Systems / 15.2:
Component Mismatch / 15.2.1:
Interface Profiles / 15.2.2:
Debugging of Support Tools / 15.3:
Problem Decomposition / 15.3.1:
Iterative Enhancement / 15.3.2:
Components and Debugging of SYN Tools / 15.3.3:
Unfinished Business: Volunteer Tool Makers / 16:
Unstable Algorithms and Code / 16.1:
Improving the SYN Tools / 16.2:
Who's Next? / 16.3:
Case Studies / Part V:
Accuracy of Component Measurements and System Predictions / 17:
Better Component Approximation, Better System Prediction / 17.1:
Tuning Subdomains with Tool Support / 17.1.1:
Predicting Prediction Accuracy / 17.2:
Prediction Error is Linear in Measurement Error / 17.2.1:
Theory of Error Propagation / 17.2.2:
Prediction Error is an Emergent System Property / 17.2.3:
Approximating System Prediction Errors / 17.2.4:
Approximation Accuracy as a Component Test-quality Metric / 17.3:
The Right Subdomains for Component Testing / 17.4:
Case Studies of I-CBSD / 18:
Fundamental Questions about Subdomain Testing / 18.1:
How to Sample Subdomains? / 18.1.1:
Is Series Synthesis Associative? / 18.1.2:
Moving Control Structures between Components and Systems / 18.2:
Series Composition within a Component / 18.2.1:
Conditionals in Code and Conditional Components / 18.2.2:
Raising the Level of Programming / 18.2.3:
Infeasible States / 18.3:
Modes and Storage in State / 18.3.2:
A Controlled 'Editor' System / 18.3.3:
Iteration at System Level / 18.4:
Component and System Reliability / 18.5:
Substituting one Component for Another / 18.6:
Meeting a Non-functional System Requirement Bound / 18.6.1:
Implications for Software Testing / Part VI:
Unit vs. System Testing / 19:
Components Make Ideal Software 'Units' / 19.1:
Solving Unit-testing Problems / 19.1.1:
Choosing Unit-test Subdomains / 19.1.2:
Unit Testing Is More Than it Seems / 19.2:
Saving and Using Unit-test Results / 19.2.1:
Unit Tests the Only Tests / 19.2.2:
Trusting Unit Tests / 19.3:
Trustworthy Component Testing / 19.3.1:
Matching Interface Profiles / 19.3.2:
Comparing System Predictions to Requirements / 19.4:
Functional vs. Non-functional Properties / 20:
Non-functional Depends on Functional / 20.1:
Non-functional 'Compositional' Properties / 20.2:
Run Time / 20.2.1:
Reliability / 20.2.2:
Safety Factors and Prediction Accuracy / 20.2.3:
Predicting Emergent Properties / 20.3:
Memory Leaks / 20.3.1:
Security / 20.3.2:
'Emergent' Prediction Error / 20.3.3:
Conclusion: Lessons Learned from I-CBSD / 21:
Software Components are Unlike Mechanical Components / 21.1:
Software Functions Are Inherently Discontinuous / 21.2:
Simple Component Behaviors Lead to Complicated System Behaviors / 21.2.1:
Testing Theory is Unlike Other Formal Methods / 21.3:
Conservative Reductions / 21.3.1:
Special Role of Persistent State / 21.3.2:
The Several Meanings of 'Compositional' / 21.4:
Compositional Properties / 21.4.1:
Testing Can Be Made Compositional / 21.4.2:
Simple Tools are Remarkably Powerful / 21.5:
Open Problems / 22:
Subdomain Testing in Non-numeric Domains / 22.1:
Completing a Testing Theory including State / 22.2:
Reliability in the Presence of Stale / 22.2.1:
Better SYN Tools for State / 22.2.2:
Limited Input Domain / 22.3:
References
Appendix
Tool Specifications / A:
Documentation / A.l:
SYN Documentation Tricks / A.2:
Stand-alone Script Execution / A.2.1:
Error Messages / A.2.2:
'Message-discovery' Documentation / A.2.3:
'#debug' Statements / A.2.4:
The Script Header Comments / A.2.5:
Details of the Tool Scripts / A.3:
File Formats / A.3.1:
Testing and Approximating Components: COMP and friends / A.3.2:
Synthesizing and Predicting Systems: SYN and Calc / A.3.3:
Auxiliary Scripts / A.3.4:
Index
The Griffin
Acknowledgements
Introduction / 1:
73.

電子ブック

EB
Richard J. Lipton
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Prologue / Part I:
A Walk In the Snow / 1:
On the P=NP Question / Part II:
Algorithms: Tiny Yet Powerful / 2:
Is P=NP Well Posed? / 3:
What Would You Bet? / 4:
What Happens When P=NP Is Resolved? / 5:
NP Too Big or P Too Small? / 6:
How To Solve P=NP? / 7:
Why Believe P Not Equal To NP? / 8:
A Nightmare About SAT / 9:
Bait and Switch / 10:
Who's Afraid of Natural Proofs? / 11:
An Approach To P=NP / 12:
Is SAT Easy? / 13:
SAT is Not Too Easy / 14:
Ramsey's Theorem and NP / 15:
Can They Do That? / 16:
Rabin Flips a Coin / 17:
A Proof We All Missed / 18:
Barrington Gets Simple / 19:
Exponential Algorithms / 20:
An EXPSPACE Lower Bound / 21:
Randomness has Unbounded Power / 22:
Counting Cycles and Logspace / 23:
Ron Graham Gives a Talk / 24:
An Approximate Counting Method / 25:
Easy and Hard Sums / 26:
How To Avoid O-Abuse / 27:
How Good is The Worst Case Model? / 28:
Savitch's Theorem / 29:
Adaptive Sampling and Timed Adversaries / 30:
On The Intersection of Finite Automata / 31:
Where are the Movies? / 32:
On Integer Factoring / Part III:
Factoring and Factorials / 33:
BDD's / 34:
Factoring and Fermat / 35:
On Mathematics / Part IV:
A Curious Algorithm / 36:
Edit Distance / 37:
Protocols / 38:
Erdos and the Quantum Method / 39:
Amplifiers / 40:
Amplifying on the PCR Amplifier / 41:
Mathematical Embarrassments / 42:
Mathematical Diseases / 43:
Mathematical Surprises / 44:
Gödel Lost Letter / A:
Index
A Prologue / Part I:
A Walk In the Snow / 1:
On the P=NP Question / Part II:
74.

電子ブック

EB
Attahiru Sule Alfa
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
75.

電子ブック

EB
Philipp; Yahyapour, Ramin; Ziegler, Wolfgang Wieder, Philipp Wieder, Ramin Yahyapour, Wolfgang Ziegler
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Contributing Authors
Monitoring Service Level Agreements in Grids with support of a Grid Benchmarking Service / Ely de Oliveira ; Franz-Josef Pfreundt
Reactive Monitoring of Service Level Agreements / Dalia Khader ; Julian Padget ; Martijn Warnier
Lessons Learned from Implementing WS-Agreement / Dominic Battré ; Matthias Hovestadt ; Oliver Wäldrich
SLA-aware Resource Management / Yih Leong Sun ; Ron Perrott ; Terence J Harmer ; Christina Cunningham ; Peter Wright ; John Kennedy ; Andy Edmonds ; Victor Bayon ; Jacek Maza ; Gregor Berginc ; Primoz Hadalin
Distributed Trust Management for Validating SLA Choreographies / Irfan Ul Haq ; Rehab Alnemr ; Adrian Paschke ; Erich Schikuta ; Harold Boley ; Christoph Meinel
Evaluation of Service Level Agreement Approaches for Portfolio Management in the Financial Industry / Tobias Pontz ; Manfred Grauer ; Roland Kuebert ; Axel Tenschert ; Bastian Koller
Expressing Intervals in Automated Service Negotiation / Kassidy P. Clark ; Sander van Splunter ; Frances M.T. Brazier
GreenIT Service Level Agreements / Gregor von Laszewski ; Lizhe Wang
Extending WS-Agreement with Multi-round Negotiation Capability / Angela Rumpl ; Wolfgang Ziegler
Enabling Open Cloud Markets Through WS-Agreement Extensions / Marcel Risch ; Jörn Altmann
Service Mediation and Negotiation Bootstrapping as First Achievements Towards Self-adaptable Cloud Services / Ivona Brandic ; Dejan Music ; Schahram Dustdar
SLA Negotiation for VO Formation / Shamimabi Paurobally
From Service Markets to Service Economies - An infrastructure for protocolgeneric SLA negotiations / Sebastian Hudert
Service Level Agreements in BREIN / Henar Munoz Frutos ; Giuseppe Laria
Negotiation and Monitoring of Service Level Agreements / Thomas B. Quillinan ; Omer Rana
Author Index
Foreword
Preface
Contributing Authors
76.

電子ブック

EB
Weichang; Ensan, Faezeh Du, Weichang Du, Faezeh Ensan
出版情報: Springer eBooks Computer Science , Springer US, 2010
所蔵情報: loading…
目次情報: 続きを見る
Incremental Query Rewriting with Resolution / Alexandre Riazanov ; Marcelo A. T. Aragão1:
Introduction / 1.1:
Settings and motivation / 1.1.1:
Outline of the proposed method / 1.1.2:
Informal method description / 1.2:
Soundness and completeness of schematic answer computation / 1.3:
Recording literals as search space pruning constraints / 1.4:
SQL generation / 1.5:
Implementation and experiments / 1.6:
A note on indexing Semantic Web documents with data abstractions / 1.7:
Related work / 1.8:
Summary and future work / 1.9:
References
Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics / Jidi Zhao ; Harold Boley2:
Preliminaries / 2.1:
Fuzzy Set Theory and Fuzzy Logic / 2.3:
Fuzzy Description Logic / 2.4:
Syntax of fALCN / 2.4.1:
Semantics of fALCN / 2.4.2:
Knowledge Bases in fALCN / 2.4.3:
Reasoning Tasks / 2.5:
GCI, NNF, and ABox Augmentation / 2.6:
Reasoning Procedure / 2.7:
Soundness, Completeness and Termination of the Reasoning Procedure for fALCN / 2.8:
Conclusion and Future Work / 2.9:
A Generic Evaluation Model for Semantic Web Services / Omair Shafiq3:
Performance Engineering for Component- and Service-oriented Systems / 3.1:
Requirements for a Generic Evaluation Model / 3.3:
Openness / 3.3.1:
Tool Independent / 3.3.2:
Conciseness / 3.3.3:
Preciseness / 3.3.4:
Completeness / 3.3.5:
Based on Classical Problems / 3.3.6:
Different Complexity Levels / 3.3.7:
Common Benchmarking / 3.3.8:
Flexibility to Perform Remote Evaluation / 3.3.9:
Semantic Web Services Execution Lifecycle / 3.4:
Critical Evaluation Factors / 3.4.2:
Using the Evaluation Model for Semantic Web Services based on TSC / 3.5:
Comparing Resource Availability / 3.5.1:
Analyzing Performance on Concurrent Execution of Goals / 3.5.2:
Comparing Communication Overhead / 3.5.3:
Communication Overhead vs. Time Saved in Multiple Goal Execution / 3.5.4:
Comparing Time Taken in Distributed Service Execution / 3.5.5:
Comparing Time Saved by Applications while Executing a Goal / 3.5.6:
Comparing Time Saved in Resource Retrieval by WSMX / 3.5.7:
Related Work / 3.6:
Semantic Web Challenge / 3.6.1:
Semantic Web Services Challenge / 3.6.2:
Semantic Service Selection (S3) / 3.6.3:
IEEE Web Services Challenge / 3.6.4:
SEALS Evaluation Campaigns / 3.6.5:
STI International Test Beds and Challenges Service / 3.6.6:
International Rules Challenge at RuleML / 3.6.7:
Conclusions and Future Work / 3.7:
A Modular Approach to Scalable Ontology Development / Faezeh Ensan ; Weichang Du4:
Interface-Based Modular Ontologies / 4.1:
The Formalism / 4.2.1:
IBF: Scalability and Reasoning Performance / 4.2.2:
OWL Extension and Tool Support for the Interface-Based Modular Ontology Formalism / 4.3:
Evaluating IBF Modular Ontologies / 4.4:
cohesion / 4.4.1:
coupling / 4.4.2:
Knowledge Encapsulation / 4.4.3:
Case Studies / 4.5:
IBF Modular Ontologies / 4.5.1:
IBF Ontologies Analysis / 4.5.2:
Conclusion / 4.6:
Appendix / 4.8:
Corporate Semantic Web: Towards the Deployment of Semantic Technologies in Enterprises / Adrian Paschke ; Gökhan Coskun ; Ralf Heese ; Markus Luczak-Rösch ; Radoslaw Oldakowski ; Ralph Schäfermeier ; Olga Streibel5:
Application Domains for a Corporate Semantic Web / 5.1:
Gaps / 5.3:
Corporate Semantic Web / 5.4:
Corporate Ontology Engineering / 5.5:
Modularization and Integration Dimensions of COLM / 5.5.1:
Versioning Dimensions of COLM / 5.5.2:
Corporate Semantic Collaboration / 5.6:
Editor Functionalities / 5.6.1:
User Groups / 5.6.2:
Design of the Light-weight Ontology Editor / 5.6.3:
Corporate Semantic Search / 5.7:
Search in Non-Semantic Data / 5.7.1:
Semantic Search Personalization / 5.7.2:
Conclusion and Outlook / 5.8:
Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints / Thomas Moser ; Richard Mordinyi ; Wikan Danar Sunindyo ; Stefan Biffl6:
Technical Integration / 6.1:
Semantic Integration with Semantic Web Services / 6.2.2:
Service Matchmaking Approaches / 6.2.3:
Research Issues / 6.3:
ATM Scenario Description / 6.4:
Semantic Service Matchmaking Approach / 6.5:
Identification of Possible Collaboration Candidate Sets / 6.5.1:
Validity-Check and Optimization of Collaborations / 6.5.2:
Case Study / 6.6:
Discussion / 6.6.1:
Developing Knowledge Representation in Emergency Medical Assistance by Using Semantic Web Techniques / Heloise Manica ; Cristiano C. Rocha ; José Leomar Todesco ; M.A.R. Dantas6.7:
Ontology and Mobile Devices Background / 7.1:
Proposed Approach / 7.3:
Ontology Development / 7.3.1:
Determining the Ontology Domain / 7.3.2:
Enumerating Important Terms, Classes and the Class Hierarchy / 7.3.3:
Defining Properties and Restrictions of Classes / 7.3.4:
Creating Instances and New Terms Extraction / 7.3.5:
Semantic Cache / 7.3.6:
Experimental Environment and Results / 7.4:
Semantically Enriching the Search System of a Music Digital Library / Paloma de Juan ; Carlos.Iglesias7.5:
Research Context / 8.1:
Previous Work / 8.2.1:
Cantiga Project / 8.2.2:
MagisterMusicae Search System / 8.3:
Improving Searchability / 8.4:
Applying Semantic Web Technologies / 8.4.1:
Linking the Ontology with External Data Sources / 8.4.2:
Alternative Search Paradigms / 8.4.3:
Cantiga Semantic Search System / 8.5:
Details on the implementation / 8.5.1:
Evaluation / 8.6:
Backgroundt / Chuansan Luo ; Qing Zhou ; Christine W. Chan8.7:
Application Problem Domain / 9.2.1:
Ontology and Semantic Web / 9.2.2:
Knowledge Modeling and Ontology Construction / 9.3:
Ontology Design / 9.3.1:
Ontology Management / 9.3.2:
Intelligent System Framework / 9.4:
Application of the Semantic Knowledge A Web-based Expert System / 9.5:
Information Pre-Processing using Domain Meta-Ontology and Rule Learning System / Girish R Ranganathan ; Yevgen Biletskiy9.6:
The domain mela-ontology / 10.1:
The system for semi-automatic population of domain mela-ontology / 10.3:
Details of the Rule Learning System flow / 10.4:
Incremental Query Rewriting with Resolution / Alexandre Riazanov ; Marcelo A. T. Aragão1:
Introduction / 1.1:
Settings and motivation / 1.1.1:
77.

電子ブック

EB
Cheok, Adrian David Cheok
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Introduction to Embodied Media / 1.1:
Introduction to Mixed Reality / 1.2:
Feeling Communication / 1.3:
Emotional Communication and Entertainment Using Multi-sensory Media / 1.3.1:
Social and Physical Entertainment / 1.4:
Conclusion / 1.5:
References
Human Pacman: A Mobile Augmented Reality Entertainment System Based on Physical, Social, and Ubiquitous Computing / 2:
Background / 2.1:
System Design and Game Play / 2.3:
Main Concepts: Team Collaboration, Ultimate Game Objectives and the Nature of Pac-world / 2.3.1:
Pacman and Ghost / 2.3.2:
Helper / 2.3.3:
Actual Game Play / 2.3.4:
User Study / 2.4:
Questions and Aims / 2.4.1:
Discussion / 2.4.2:
Analysis of Message Logs / 2.4.3:
Summary Findings / 2.4.4:
Mobile Service and Ubicomp Issues / 2.5:
Mobile Computing / 2.5.1:
Ubicomp / 2.5.2:
Addressing Sensor-Tracking Issues / 2.5.3:
Interactive Theater Experience with 3D Live Captured Actors and Spatial Sound / 2.6:
Previous Work on Interactive Theater / 3.1:
New Media Art and Interactive Theater / 3.3:
Embodied Mixed Reality Space / 3.4:
Live 3D Actors / 3.4.2:
Ambient Intelligence / 3.4.3:
Interactive Theater System / 3.5:
3D Live Capture Room / 3.5.1:
Interactive Theater Space / 3.5.2:
System Interaction Design / 3.5.3:
3D Sound in Interactive Theater Space / 3.5.4:
Metazoa Ludens: Mixed Reality Interaction and Play Between Humans and Animals / 3.6:
Objectives / 4.1:
Related Works / 4.3:
Human-Animal Interaction System / 4.3.1:
Remote Interaction System / 4.3.2:
Mixed Reality System / 4.3.3:
Metazoa Ludens: Fundamental Design / 4.4:
Remote Interaction / 4.4.1:
Pet's Choice / 4.4.2:
Pet Interface / 4.4.3:
System Description / 4.5:
System Overview / 4.5.1:
Camera and Tracking Subsystem / 4.5.2:
Hardware Subsystem / 4.5.3:
Moldable Latex Surface / 4.5.4:
Game Subsystem / 4.5.5:
User Game Play Experience / 4.5.6:
Evaluation, Results and Discussion / 4.6:
Study 1: Health Benefits to the Hamsters / 4.6.1:
Study 2: Pets' Choice / 4.6.2:
Study 3: Users' Enjoyment Based on Flow / 4.6.3:
Framework for Human-Animal Interaction System / 4.7:
Veracity of Telepresence / 4.8:
Poultry Internet / 4.9:
Motivation for Human-Pet Touch Interaction / 5.1:
Why Do We Keep Animals as Companions? / 5.2.1:
The Effect of Touching and Caressing on Poultry and Other Animals / 5.2.2:
Review of Related Works / 5.3:
Previous Tele-haptic Systems / 5.3.1:
Previous Human-Pet Interaction Systems / 5.3.2:
Why Not Just Interact with Virtual or Robotic Pet? / 5.3.3:
Poultry Internet as a Cybernetics System / 5.4:
Technical Details of the Multi-modal Interaction System / 5.5:
Overall System / 5.5.1:
Remote Physical Touch / 5.5.2:
Computer Vision Pet Tracking / 5.5.3:
Experiences and User Studies / 5.6:
Wider Applications / 5.7:
Multiplexing Existing Communication Channels / 5.7.1:
Intimacy Through Ubiquitous Computing / 5.7.2:
Spying/Rescuing Pet / 5.7.3:
Conclusion and Future Works / 5.8:
Age Invaders: Entertainment for Elderly and Young / 6:
Related Work / 6.1:
Design Methodology / 6.3:
Problem Identification / 6.3.1:
Problem Exploration / 6.3.2:
Design Goals / 6.3.3:
Design Requirements / 6.4:
Resources and Time Constraints / 6.4.1:
User Needs / 6.4.2:
Context of Use / 6.4.3:
Design Idea Generation / 6.5:
Prototype Iterations / 6.6:
Current System Description / 6.7:
System Architecture / 6.7.1:
Game Play / 6.7.2:
User Studies Results / 6.8:
Intergenerational Player Study / 6.8.1:
Focus Group Session with Older Players / 6.8.2:
Physical Interface Design Issues / 6.8.3:
Physicality Issues of the Virtual and Physical Player Roles / 6.8.4:
Software Libraries and Toolkit / 6.9:
Product Development / 6.10:
Huggy Pajama: A Remote Interactive Touch and Hugging System / 6.11:
Why Touch Communication? / 7.1:
Previous Work / 7.2.2:
Mediated Touch Module / 7.3:
Thermal Controlled Fabric Display / 7.3.2:
Design of Experiments / 7.3.3:
Results and Discussion / 7.4:
Input Touch Sensing Module / 7.4.1:
Output Touch Actuation Module / 7.4.2:
Thermal Control System / 7.4.3:
Evaluation of System / 7.4.4:
Culture Computing: Interactive Technology to Explore Culture / 7.5:
Prior Research / 8.1:
Features of Cultural Computing / 8.3:
Media Me / 8.4:
Motivation / 8.4.1:
Video Indexing / 8.4.3:
BlogWall / 8.5:
An Example of Poetry Mixing / 8.5.1:
Confucius Computer / 8.6:
Kawaii/Cute Interactive Media / 8.6.1:
The Cute Aesthetic / 9.1:
Kawaii: Cute Culture History and Development in Japan / 9.2.1:
History of Manga / 9.2.2:
Kawaii Culture Development in Modern Japan / 9.2.3:
Kawaii Globalization / 9.2.4:
Contemporary Perceptions of Kawaii/Cute / 9.3:
Cuteness in Interactive Systems / 9.4:
Child-Like Innocence and Play / 9.4.1:
Moments of Surprise / 9.4.2:
Relationship with Object's Personality / 9.4.3:
Studying Cuteness / 9.5:
Defining Cuteness / 9.5.1:
Color Selection / 9.5.2:
Texture / 9.5.3:
Motion / 9.5.4:
Sound / 9.5.5:
Size and Proportion / 9.5.6:
Shapes and Form / 9.5.7:
Smell and Taste / 9.5.8:
Related Works. Cute Interactive Systems / 9.6:
Cute Engineering / 9.7:
Cute Filter / 9.7.1:
Research-Oriented Design / 9.7.2:
Qoot Systems. Petimo and Virtual World for Social Networking / 9.8:
Sensing, Actuation and Feedback / 9.9:
Sensing / 9.9.1:
Actuation and Feedback / 9.9.2:
Designing for Entertaining Everyday Experiences / Masa Inakage ; Takahiro Arakawa ; Kenji Iguchi ; Yuichiro Katsumoto ; Makoto Katsura ; Takeshi Osawa ; Satoru Tokuhisa ; Atsuro Ueki9.10:
Everyday Media / 10.1:
Amagatana / 10.2.1:
Tabby / 10.2.2:
Embodied Media / 10.3:
Morel / 10.3.1:
MYSQ / 10.3.2:
livePic / 10.3.3:
Sensuous Media / 10.4:
Nozoki-Hana / 10.4.1:
Mamagoto / 10.4.2:
Collective Media / 10.5:
Mopie / 10.5.1:
Tabletop Games: Platforms, Experimental Games and Design Recommendations / Michael Haller ; Clifton Forlines ; Christina Koeffel ; Jakob Leitner ; Chia Shen10.6:
Tabletop Hardware & the Types of Interaction They Support / 11.1:
SmartBoard / 11.2.1:
DiamondTouch / 11.2.2:
SmartSkin / 11.2.3:
Microsoft Surface / 11.2.4:
Frustrated Total Internal Reflection (FTIR) / 11.2.5:
Entertaible / 11.2.6:
Stylus / 11.2.7:
Experimental Tabletop Games / 11.3:
Educational / 11.3.1:
Therapeutic / 11.3.2:
Entertainment / 11.3.3:
Case Studies / 11.4:
Jam-O-World: CircleMaze / 11.4.1:
CircleMaze / 11.4.2:
User Testing and Observations / 11.4.3:
Porting to a Direct-Touch Tabletop / 11.4.4:
Comino and NeonRacer / 11.4.5:
Interaction Design for a Walk-up-and-Use Tabletop Game / 11.4.6:
Heuristics for Tabletop Games / 11.5:
Evaluation Process / 11.5.1:
Ten Heuristics for Tabletop Games / 11.6:
Cognitive Workload / 11.6.1:
Challenge / 11.6.2:
Reach / 11.6.3:
Examinability / 11.6.4:
Adaptability / 11.6.5:
Interaction / 11.6.6:
Level of Automation / 11.6.7:
Collaboration and Communication / 11.6.8:
Feedback / 11.6.9:
Comfort of the Physical Setup / 11.6.10:
Conclusions / 11.7:
Index
Introduction / 1:
Introduction to Embodied Media / 1.1:
Introduction to Mixed Reality / 1.2:
78.

電子ブック

EB
Ina; Stuedahl, Dagny; Bratteteig, Tone Wagner, Tone Bratteteig, Dagny Stuedahl, Ina Wagner
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
A Common Ground / Part 1:
Researching Digital Design / Dagny Stuedahl ; Andrew Morrison ; Christina Mörtberg ; Tone Bratteteig1:
Research Practices in Digital Design / Ina Wagner2:
Analytical Perspectives / Gunnar Liestøl3:
Methods That Matter in Digital Design Research / 4:
Multiple Perspectives on Design Research / Part 2:
A Matter of Digital Materiality / 5:
On Mobility, Localization and the Possibility of Digital Genre Design / 6:
Unreal Estate: Digital Design and Mediation in Marketing Urban Residency / Synne Skjulstad7:
Whisperings in the Undergrowth: Communication Design, Online Social Networking and Discursive Performativity / Even Westvang ; Simen Svale Skogsrud8:
Designing for Sustainable Ways of Living with Technologies / Pirjo Elovaara9:
Epilogue: A Multidisciplinary Take on Digital Design
About the Authors
Index
Preface
A Common Ground / Part 1:
Researching Digital Design / Dagny Stuedahl ; Andrew Morrison ; Christina Mörtberg ; Tone Bratteteig1:
79.

電子ブック

EB
Sergei V. Chekanov
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
80.

電子ブック

EB
David J. Barnes, Dominique Chu
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Modeling / 1:
Simulation vs. Analytic Results / 1.1:
Stochastic vs. Deterministic Models / 1.2:
Fundamentals of Modeling / 1.3:
Validity and Purpose of Models / 1.4:
Agent-Based Modeling / 2:
Mathematical and Computational Modeling / 2.1:
Limits to Modeling / 2.1.1:
Agent-Based Models / 2.2:
The Structure of ABMs / 2.2.1:
Algorithms / 2.2.2:
Time-Driven Algorithms / 2.2.3:
Event-Driven Models / 2.2.4:
Game of Life / 2.3:
Malaria / 2.4:
A Digression / 2.4.1:
Stochastic Systems / 2.4.2:
Immobile Agents / 2.4.3:
General Consideration when Analyzing a Model / 2.5:
How to Test ABMs? / 2.5.1:
Case Study: The Evolution of Fimbriation / 2.6:
Group Selection / 2.6.1:
The Model / 2.6.2:
ABMs Using Repast and Java / 3:
The Basics of Agent-Based Modeling / 3.1:
An Outline of Repast Concepts / 3.2:
Contexts and Projections / 3.2.1:
Model Parameterization / 3.2.2:
The Game of Life in Repast S / 3.3:
The model.score File / 3.3.1:
The Agent Class / 3.3.2:
The Model Initializer / 3.3.3:
Summary of Model Creation / 3.3.4:
Running the Model / 3.3.5:
Creating a Display / 3.3.6:
Creating an Agent Style Class / 3.3.7:
Inspecting Agents at Runtime / 3.3.8:
Review / 3.3.9:
Malaria Model in Repast Using Java / 3.4:
The Malaria Model / 3.4.1:
Commonalities in the Agent Types / 3.4.2:
Building the Root Context / 3.4.4:
Accessing Runtime Parameter Values / 3.4.5:
Creating a Projection / 3.4.6:
Implementing the Common Elements of the Agents / 3.4.7:
Completing the Mosquito Agent / 3.4.8:
Scheduling the Actions / 3.4.9:
Visualizing the Model / 3.4.10:
Charts / 3.4.11:
Outputting Data / 3.4.12:
A Statistics-Gathering Agent / 3.4.13:
Summary of Concepts Relating to the Malaria Model / 3.4.14:
Running Repast Models Outside Eclipse / 3.4.15:
Going Further with Repast S / 3.4.16:
Differential Equations / 4:
Differentiation / 4.1:
A Mathematical Example / 4.1.1:
Digression / 4.1.2:
Integration / 4.2:
Limits to Growth / 4.3:
Steady State / 4.3.2:
Bacterial Growth Revisited / 4.3.3:
Case Study: Malaria / 4.4:
A Brief Note on Stability / 4.4.1:
Chemical Reactions / 4.5:
Michaelis-Menten and Hill Kinetics / 4.5.1:
Modeling Gene Expression / 4.5.2:
Case Study: Cherry and Adler's Bistable Switch / 4.6:
Summary / 4.7:
Mathematical Tools / 5:
A Word of Warning: Pitfalls of CAS / 5.1:
Existing Tools and Types of Systems / 5.2:
Maxima: Preliminaries / 5.3:
Maxima: Simple Sample Sessions / 5.4:
The Basics / 5.4.1:
Saving and Recalling Sessions / 5.4.2:
Maxima: Beyond Preliminaries / 5.5:
Solving Equations / 5.5.1:
Matrices and Eigenvalues / 5.5.2:
Graphics and Plotting / 5.5.3:
Integrating and Differentiating / 5.5.4:
Maxima: Case Studies / 5.6:
Gene Expression / 5.6.1:
Cherry and Adler's Bistable Switch / 5.6.2:
Other Stochastic Methods and Prism / 5.7:
The Master Equation / 6.1:
Partition Functions / 6.2:
Preferences / 6.2.1:
Binding to DNA / 6.2.2:
Codon Bias in Proteins / 6.2.3:
Markov Chains / 6.3:
Absorbing Markov Chains / 6.3.1:
Continuous Time Markov Chains / 6.3.2:
An Example from Gene Activation / 6.3.3:
Analyzing Markov Chains: Sample Paths / 6.4:
Analyzing Markov Chains: Using PRISM / 6.5:
The PRISM Modeling Language / 6.5.1:
Running PRISM / 6.5.2:
Rewards / 6.5.3:
Simulation in PRISM / 6.5.4:
The PRISM GUI / 6.5.5:
Examples / 6.6:
Fim Switching / 6.6.1:
Stochastic Versions of a Differential Equation / 6.6.2:
Tricks for PRISM Models / 6.6.3:
Simulating Biochemical Systems / 7:
The Gillespie Algorithms / 7.1:
Gillespie's Direct Method / 7.1.1:
Gillespie's First Reaction Method / 7.1.2:
Java Implementation of the Direct Method / 7.1.3:
A Single Reaction / 7.1.4:
Multiple Reactions / 7.1.5:
The Lotka-Volterra Equation / 7.1.6:
The Gibson-Bruck Algorithm / 7.2:
The Dependency Graph / 7.2.1:
The Indexed Priority Queue / 7.2.2:
Updating the ? Values / 7.2.3:
Analysis / 7.2.4:
A Constant Time Method / 7.3:
Selection Procedure / 7.3.1:
Reaction Selection / 7.3.2:
Practical Implementation Considerations / 7.4:
Data Structures-The Dependency Tree / 7.4.1:
Programming Techniques-Tree Updating / 7.4.2:
Runtime Environment / 7.4.3:
The Tau-Leap Method / 7.5:
Dizzy / 7.6:
Delayed Stochastic Models / 7.7:
The Stochastic Genetic Networks Simulator / 7.8:
Reference Material / 7.9:
Repast Batch Running / A.1:
Some Common Rules of Differentiation and Integration / A.2:
Common Differentials / A.2.1:
Common Integrals / A.2.2:
Maxima Notation / A.3:
PRISM Notation Summary / A.4:
Some Mathematical Concepts / A.5:
Vectors and Matrices / A.5.1:
Probability / A.5.2:
Probability Distributions / A.5.3:
Taylor Expansion / A.5.4:
References
Index
Foundations of Modeling / 1:
Simulation vs. Analytic Results / 1.1:
Stochastic vs. Deterministic Models / 1.2:
81.

電子ブック

EB
Honghai Liu, Dongbing Gu, Honghai Liu
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Programming-by-Demonstration of Robot Motions / Alexander Skoglund ; Boyko Iliev ; Rainer Palm1:
Grasp Recognition by Fuzzy Modeling and Hidden Markov Models / Bourhane Kadmiry2:
Distributed Adaptive Coordinated Control of Multi-Manipulator Systems Using Neural Networks / Zeng-Guang Hou ; Long Cheng ; Min Tan ; Xu Wang3:
A New Framework for View-Invariant Human Action Recognition / Xiaofei Ji ; Honghai Liu ; Yibo Li4:
Using Fuzzy Gaussian Inference and Genetic Programming to Classify 3D Human Motions / Mehdi Khoury5:
Obstacle Detection Using Cross-Ratio and Disparity Velocity / Huiyu Zhou ; Andrew M. Wallace ; Patrick R. Green6:
Learning and Vision-Based Obstacle Avoidance and Navigation / Jiandong Tian ; Yandong Tang7:
A Fraction Distortion Model for Accurate Camera Calibration and Correction / Yonghuai Liu ; Ala Al-Obaidi ; Anthony Jakas ; Junjie Liu8:
A Leader-Follower Flocking System Based on Estimated Flocking Center / Zongyao Wang ; Dongbing Gu9:
A Behavior Based Control System for Surveillance UAVs / John Oyekan ; Bowen Lu ; Bo Li ; Huosheng Hu10:
Hierarchical Composite Anti-Disturbance Control for Robotic Systems Using Robust Disturbance Observer / Lei Guo ; Xin-Yu Wen ; Xin Xin11:
Autonomous Navigation for Mobile Robots with Human-Robot Interaction / James Ballantyne ; Edward Johns ; Salman Valibeik ; Charence Wong ; Guang-Zhong Yang12:
Prediction-Based Perceptual System of a Partner Robot for Natural Communication / Naoyuki Kubota ; Kenichiro Nishida13:
Index
Programming-by-Demonstration of Robot Motions / Alexander Skoglund ; Boyko Iliev ; Rainer Palm1:
Grasp Recognition by Fuzzy Modeling and Hidden Markov Models / Bourhane Kadmiry2:
Distributed Adaptive Coordinated Control of Multi-Manipulator Systems Using Neural Networks / Zeng-Guang Hou ; Long Cheng ; Min Tan ; Xu Wang3:
82.

電子ブック

EB
Ernesto; Fox, Maria; Higham, Desmond J.; Oppo, Gian-Luca Estrada, Ernesto Estrada, Maria Fox, Gian-Luca Oppo
出版情報: Springer eBooks Computer Science , Springer London, 2010
所蔵情報: loading…
目次情報: 続きを見る
Complex Networks: An Invitation / Ernesto Estrada ; Maria Fox ; Desmond J. Higham ; Gian-Luca Oppo1:
Resistance Distance, Information Centrality, Node Vulnerability and Vibrations in Complex Networks / Naomichi Hatano2:
From Topology to Phenotype in Protein-Protein Interaction Networks / Nataša Przulj3:
Networks and Models with Heterogeneous Population Structure in Epidemiology / R.R. Kao4:
NESSIE: Network Example Source Supporting Innovative Experimentation / Alan Taylor5:
Networks in Urban Design. Six Years of Research in Multiple Centrality Assessment / Sergio Porta ; Vito Latora ; Emanuele Strano6:
The Structure of Financial Networks / Stefano Battiston ; James B. Glattfelder ; Diego Garlaschelli ; Fabrizio Lillo ; Guido Caldarelli7:
A Hierarchy of Networks Spanning from Individual Organisms to Ecological Landscapes / Ferenc Jordán ; Gabriella Baranyi ; Federica Ciocchetta8:
Revealing Structure of Complex Biological Systems Using Bayesian Networks / V. Anne Smith9:
Dynamics and Statistics of Extreme Events / Holger Kantz10:
Dynamics of Networks of Leaky-Integrate-and-Fire Neurons / Antonio Politi ; Stefano Luccioli11:
Index
Complex Networks: An Invitation / Ernesto Estrada ; Maria Fox ; Desmond J. Higham ; Gian-Luca Oppo1:
Resistance Distance, Information Centrality, Node Vulnerability and Vibrations in Complex Networks / Naomichi Hatano2:
From Topology to Phenotype in Protein-Protein Interaction Networks / Nataša Przulj3:
83.

電子ブック

EB
Dirk Draheim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
84.

電子ブック

EB
Nadia Martaj, Mohand Mokhtari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
85.

電子ブック

EB
International Conference on Agents and Artificial Intelligence, Joaquim Filipe, Ana Fred, Bernadette Sharp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
Past, Present and Future of Ambient Intelligence and Smart Environments / Juan Carlos Augusto
Artificial Intelligence / Part I:
Modelling Social Learning of Adolescence-Limited Criminal Behaviour / Tibor Bosse ; Charlotte Gerritsen ; Michel C.A. Klein
How Do Emotions Induce Dominant Learners' Mental States Predicted from Their Brainwaves? / Alicia Heraz ; Claude Frasson
A Multiagent Semantics for the Game Description Language / Stephan Schiffel ; Michael Thielscher
Verifying Context-Dependent Reduction Relations for Knowledge Specifications / Alexei Sharpanskykh ; Jan Treur
Combining Artificial Intelligence Techniques for the Training of Power System Control Centre Operators / Luiz Faria ; António Silva ; Zita Vale ; Carlos Ramos
Adaptive State Space Abstraction Using Neuroevolution / Robert Wright ; Nathaniel Gemelli
Goal-Based Game Tree Search for Complex Domains / Viliam Lisý ; Branislav Bosanský ; Michal Jakob ; Michal Pechoucek
Generating Incomplete Data with DataZapper / Yingying Wen ; Kevin B. Korb ; Ann E. Nicholson
Extending Learning Vector Quantization for Classifying Data with Categorical Values / Ning Chen ; Nuno C. Marques
Action Knowledge Acquisition with Opmaker2 / T.L. McCluskey ; S.N. Cresswell ; N.E. Richardson ; M.M. West
Application of Hidden Topic Markov Models on Spoken Dialogue Systems / Hamid R. Chinaei ; Brahim Chaib-draa ; Luc Lamontagne
Gossip Galore: An Embodied Conversational Agent for Collecting and Sharing Pop Trivia from the Web / Feiyu Xu ; Peter Adolphs ; Hans Uszkoreit ; Xiwen Cheng ; Hong Li
Biosignal Based Discrimination between Slight and Strong Driver Hypovigilance by Support-Vector Machines / David Sommer ; Martin Golz ; Udo Trutschel ; Dave Edwards
Agents / Part II:
Tiered Logic for Agents in Contexts / Rosalito Perez Cruz ; John Newsome Crossley
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence / Ambra Molesini ; Enrico Denti ; Andrea Omicini
Developing Multi-Agent Systems through Integrating Prometheus, INGENIAS and ICARO-T / Antonio Fernández-Caballero ; José M. Gascueña
An Efficient Winner Approximation for a Series of Combinatorial Auctions / Naoki Fukuta ; Takayuki Ito
How to Integrate Personalization and Trust in an Agent Network / Laurent Lacomme ; Yues Demazeau ; Valérie Camps
Modeling Two Stage Preventive Medical Checkup Systems with Social Science Approaches / Andreas Martischnig ; Siegfried Voessner ; Gerhard Stark
Translating Discrete Multi-Agents Systems into Cellular Automata: Application to Diffusion-Limited Aggregation / Antoine Spicher ; Nazim Fatès ; Olivier Simonin
Using Values to Turn Agents into Characters / Rossana Damiano ; Vincenzo Lombardo
Author Index
Invited Speakers
Past, Present and Future of Ambient Intelligence and Smart Environments / Juan Carlos Augusto
Artificial Intelligence / Part I:
86.

電子ブック

EB
VISIGRAPP (Conference), Jo?o Madeiras Pereira, Alpesh Kumar Ranchordas, AlpeshKumar Ranchordas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Human Habitat Data in 3D for the Internet / Franz Leberl
Computer Graphics Theory and Applications (GRAPP) / Part I:
Fast Spatially Controllable Multi-dimensional Exemplar-Based Texture Synthesis and Morphing / Felix Manke ; Burkhard Wünsche
Extending Marching Cubes with Adaptative Methods to Obtain More Accurate Iso-surfaces / John Congote ; Aitor Moreno ; Iñigo Barandiaran ; Javier Barandiaran ; Oscar Ruiz
High-Quality Non-planar Projections Using Real-Time Piecewise Perspective Projections / Haik Lorenz ; Jürgen Döllner
An Interactive Fluid Model of Jellyfish for Animation / Dave Rudolf ; David Mould
Unbiased Closed-Form Solutions for Center of Rotation / Jonathan Kipling Knight ; Sudhanshu Kumar Semwal
A Visualization Paradigm for 3D Map-Based Mobile Services / Mário Freitas ; A. Augusto Sousa ; António Coelho
New Augmented Reality Techniques for Product Design: The Flip-Flop Menu / Mickael Naud ; Paul Richard ; Jean-Louis Ferrier
Imaging Theory and Applications (IMAGAPP) / Part II:
Analytical Imaging of Traditional Japanese Paintings Using Multispectral Images / Jay Arre Toque ; Masateru Komori ; Yusuke Murayama ; Ari Ide-Ektessabi
Stereo Analysis of Archaelogical Scenes Using Monogenic Signal Representation / Manthos Alifragis ; Costas S. Tzafestas
Imaging of the Vocal Tract Based on Magnetic Resonance Techniques / Sandra Ventura ; Diamantino Freitas ; João Manuel R.S. Tavares
SRAD, Optical Flow and Primitive Prior Based Active Contours for Echocardiography / Ali K. Hamou ; Mahmoud R. El-Sakka
Computer Vision Theory and Applications (VISAPP) / Part III:
Scene Segmentation from 3D Motion and Category-Specific Information / Alexander Bachmann ; Irina Lulcheva
Hierarchical S(3)-Coding of RGB Histograms / Reiner Lenz ; Pedro Latorre Carmona
Monocular SLAM Reconstructions and 3D City Models: Towards a Deep Consistency / Pierre Lothe ; Steve Bourgeois ; Fabien Dekeyser ; Eric Royer ; Michel Dhome
GPU-Based Euclidean Distance Transforms and Their Application to Volume Rendering / Jens Schneider ; Martin Kraus ; Rüdiger Westermann
Efficient Robust Active Appearance Model Fitting / Markus Storer ; Peter M. Roth ; Martin Urschler ; Horst Bischof ; Josef A. Birchbauer
Semi-supervised Distance Metric Learning in High-Dimensional Spaces by Using Equivalence Constraints / Hakan Cevikalp
Orthogonal Distance Least Squares Fitting: A Novel Approach / Sudanthi Wijewickrema ; Charles Esson ; Andrew Paplinski
Optical Inspection of Welding Seams / Fabian Timm ; Thomas Martinetz ; Erhardt Barth
A Multiscale Morphological Binarization Algorithm / Leyza Baldo Dorini ; Neucimar Jerônimo Leite
On the Suitability of Different Features for Anomaly Detection in Wire Ropes / Esther-Sabrina Platzer ; Herbert Sü?e ; Josef Nägele ; Karl-Heinz Wehking ; Joachim Denzler
Importance Sampling as One Solution to the Data Association Problem in Multi-target Tracking / Nicolai v. Hoyningen-Huene ; Michael Beetz
Photo Repair and 3D Structure from Flatbed Scanners Using 4- and 2-Source Photometric Stereo / Ruggero Pintus ; Thomas Malzbender ; Oliver Wang ; Ruth Bergman ; Hila Nachlieli ; Gitit Ruckenstein
Markerless Human Motion Capture Using Hierarchical Particle Swarm Optimisation / Vijay John ; Spela Ivekovic ; Emanuele Trucco
Textured Image Segmentation Using Active Contours / Xianghua Xie
Author Index
Invited Papers
Human Habitat Data in 3D for the Internet / Franz Leberl
Computer Graphics Theory and Applications (GRAPP) / Part I:
87.

電子ブック

EB
Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
88.

電子ブック

EB
Rainer B?hme
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Steganography and Steganalysis as Empirical Sciences / 1.1:
Objective and Approach / 1.2:
Outline / 1.3:
Background and Advances in Theory / Part I:
Principles of Modern Steganography and Steganalysis / 2:
Digital Steganography and Steganalysis / 2.1:
Steganographic System / 2.1.1:
Steganalysis / 2.1.2:
Relevance in Social and Academic Contexts / 2.1.3:
Conventions / 2.2:
Design Goals and Metrics / 2.3:
Capacity / 2.3.1:
Steganographic Security / 2.3.2:
Robustness / 2.3.3:
Further Metrics / 2.3.4:
Paradigms for the Design of Steganographic Systems / 2.4:
Paradigm I: Modify with Caution / 2.4.1:
Paradigm II: Cover Generation / 2.4.2:
Dominant Paradigm / 2.4.3:
Adversary Models / 2.5:
Passive Warden / 2.5.1:
Active Warden / 2.5.2:
Embedding Domains / 2.6:
Artificial Channels / 2.6.1:
Spatial and Time Domains / 2.6.2:
Transformed Domain / 2.6.3:
Selected Cover Formats: JPEG and MP3 / 2.6.4:
Exotic Covers / 2.6.5:
Embedding Operations / 2.7:
LSB Replacement / 2.7.1:
LSB Matching (±1) / 2.7.2:
Mod-? Replacement, Mod-? Matching, and Generalisations / 2.7.3:
Multi-Sample Rules / 2.7.4:
Adaptive Embedding / 2.7.5:
Protocols and Message Coding / 2.8:
Public-Key Steganography / 2.8.1:
Maximising Embedding Efficiency / 2.8.2:
Specific Detection Techniques / 2.9:
Calibration of JPEG Histograms / 2.9.1:
Universal Detectors / 2.9.2:
Quantitative Steganalysis / 2.9.3:
Selected Estimators for LSB Replacement in Spatial Domain Images / 2.10:
RS Analysis / 2.10.1:
Sample Pair Analysis / 2.10.2:
Higher-Order Structural Steganalysis / 2.10.3:
Weighted Stego Image Steganalysis / 2.10.4:
Summary and Further Steps / 2.11:
Towards a Theory of Cover Models / 3:
Steganalyst's Problem Formalised / 3.1:
The Plausibility Heuristic / 3.1.1:
Application to Digital Steganography / 3.1.2:
Incognisability of the Cover Distribution / 3.1.3:
Cover Models / 3.2:
Defining Cover Models / 3.2.1:
Options for Formulating Cover Models / 3.2.2:
Cover Models and Detection Performance / 3.2.3:
Summary and Motivations for Studying Cover Models / 3.2.4:
Dealing with Heterogeneous Cover Sources / 3.3:
Mixture Distributions / 3.3.1:
The Mixture Cover Model / 3.3.2:
Relation to Prior Information-Theoretic Work / 3.4:
Theoretical Limits / 3.4.1:
Observability Bounds / 3.4.2:
Computational Bounds / 3.4.3:
Applicability of the Theory of Cover Models / 3.4.4:
Indeterminacy in the Cover / 3.4.5:
Instances of Cover Models for Heterogeneous Sources / 3.5:
Summary / 3.6:
Specific Advances in Steganalysis / Part II:
Detection of Model-Based Steganography with First-Order Statistics / 4:
Fundamentals of Model-Based Steganography / 4.1:
MB1: An Embedding Function for JPEG Covers / 4.2:
Detection Method / 4.3:
Experimental Validation / 4.4:
Summary and Outlook / 4.5:
Limitations and Future Directions / 4.5.1:
Possible (Short-Term) Countermeasures / 4.5.2:
Implications for More Secure Steganography / 4.5.3:
Models of Heterogeneous Covers for Quantitative Steganalysis / 5:
Metrics for Quantitative Steganalysis / 5.1:
Conventional Metrics / 5.1.1:
Improved Metrics Based on a Distribution Model / 5.1.2:
Decomposition of Estimation Errors / 5.1.3:
Measurement of Sensitivity to Cover Properties / 5.2:
Method / 5.2.1:
Modelling the Shape of the Between-Image Distribution / 5.2.2:
Modelling the Shape of the Within-Image Distribution / 5.2.3:
Summary and Conclusion / 5.3:
Improved Weighted Stego Image Steganalysis / 6:
Enhanced WS for Never-Compressed Covers / 6.1:
Enhanced Predictor / 6.1.1:
Enhanced Calculation of Weights / 6.1.2:
Enhanced Bias Correction / 6.1.3:
Experimental Results / 6.1.4:
Adaptation of WS to JPEG Pre-Compressed Covers / 6.2:
Improved Predictor / 6.2.1:
Estimation of the Cover's JPEG Compression Quality / 6.2.2:
Using Encoder Artefacts for Steganalysis of Compressed Audio Streams / 6.2.3:
MP3 Steganography and Steganalysis / 7.1:
Problem Statement in the Mixture Cover Model Framework / 7.1.1:
Level of Analysis and Related Work / 7.1.2:
Description of Features / 7.1.3:
Features Based on the Compression Size Control Mechanism / 7.2.1:
Features Based on Model Decisions / 7.2.2:
Features Based on Capability Usage / 7.2.3:
Feature Based on Stream Formatting / 7.2.4:
Experimental Results for Encoder Detection / 7.3:
Single-Compressed Audio Files / 7.3.1:
Importance of Individual Features / 7.3.2:
Influence of Double-Compression / 7.3.3:
Experimental Results for Improved Steganalysis / 7.4:
Explorative Analysis of Encoder Similarities / 7.5:
Summary and Discussion / 7.6:
Transferability to Other Formats / 7.6.1:
Related Applications / 7.6.3:
Synthesis / Part III:
General Discussion / 8:
Summary of Results / 8.1:
Results Based on Informal Arguments / 8.1.1:
Results Based on Mathematical Proofs / 8.1.2:
Results Based on Empirical Evidence / 8.1.3:
Limitations / 8.2:
Directions for Future Research / 8.3:
Theoretical Challenges / 8.3.1:
Empirical Challenges / 8.3.2:
Practical Challenges / 8.3.3:
Conclusion and Outlook / 8.4:
Description of Covers Used in the Experiments / A:
Spurious Steganalysis Results Using the 'van Hateren' Image Database / B:
Proof of Weighted Stego Image (WS) Estimator / C:
Derivation of Linear Predictor for Enhanced WS / D:
Game for Formal Security Analysis / E:
Derivation of ROC Curves and AUC Metric for Example Cover Models / F:
Supplementary Figures and Tables / G:
References
List of Tables
List of Figures
List of Acronyms
List of Symbols
List of Functions
Index
Introduction / 1:
Steganography and Steganalysis as Empirical Sciences / 1.1:
Objective and Approach / 1.2:
89.

電子ブック

EB
Natarajan; Boumerdassi, Selma; Chaki, Nabendu Meghanathan, Selma Boumerdassi, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
90.

電子ブック

EB
Natarajan; Boumerdassi, Selma; Chaki, Nabendu Meghanathan, Selma Boumerdassi, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Second International Conference on Networks and Communications (NeCoM 2010)
Improving TCP Performance over Wireless Networks Using Cross Layer / S. Sathya Priya ; K. Murugan
Improving Tracking Performance of FxLMS Algorithm Based Active Noise Control Systems / P. Babu ; A. Krishnan
Source and System Features for Text Independent Speaker Recognition Using GMM Speaker Models / A. Revathi ; Y. Venkataramani
Optimization of ASIC Design Cycle Time / Vrushank Shah ; Nirav Parmar ; Rahul Shah
Optimal Solution for RFID Load Balancing / Vijayakumar G. Dhas ; Ramanathan Muthukaruppan ; Konguvel Balakrishnan ; Rajarajan Ganesan
Network Fault Management in Grid Using Multi-agents / S. Thamarai Selvi ; C. Valliyammai ; G. Subbiah ; S. Parthi Kumar ; S. Siva Samraj
Minimizing Response Time in an Autonomic Computing System Using Proportional Control / Harish S. Venkatarama ; Kandasamy Chandra Sekaran
Elucidation of Upcoming Traffic Problems in Cloud Computing / Mohit Mathur
Scenario Based Analysis of Localization of Sensor Nodes Using HMM / R. Arthi
Network Security and Networking Protocols / Arvind Kumar Sharma ; Chattar Singh Lamba
A Dynamic Grid Based Route-Driven ECDH Scheme for Heterogeneous Sensor Networks / S. Pradheepkumar ; R. Fareedha ; M. Jenieferkavetha ; A. Geanremona ; R. Juliajoyce
Novel Resource Allocation Strategy Using Network Metrics in GRID / R. Satheesh Kumar ; E. Pradeep ; K. Naveen
Energy Efficient Routing Protocol for Wireless Sensor and Actor Networks / Srinivasara Rao Dh ; Ramesh Babu Battula ; Srikanth Vemuru ; Rajasekhara rao Kurra ; Pavan Kumar Tummala ; S. V. Rao
A Novel Visual Cryptographic Technique through Grey Level Inversion(VCTGLI) / Jayanta Kumar Pal ; J.K. Mandal ; Kousik Dasgupta
A Frequency Spectral Feature Modeling for Hidden Markov Model Based Automated Speech Recognition / Ibrahim Patel ; Y. Srinivas Rao
A Novel Trust Management Scheme Using Fuzzy Logic for a Pervasive Environment / V. Rhymend Uthariaraj ; J. Valarmathi ; G. Arjun Kumar ; Praveen Subramanian ; R. Karthick
Reducing the Size of the Test Suite by Genetic Algorithm and Concept Analysis / S. Selvakumar ; M.R.C. Dinesh ; G. Dhineshkumar ; N. Ramaraj
AODV-DS with Dominant Pruning in Mobile Ad Hoc Networks / Sonali Mote ; Somnath Wategaonkar ; Surekha Khot ; Sangita R. Wategaonkar
DoS Attack Inference Using Traffic Wave Analysis / P. Jayashree ; T. Aravinth ; S. Ashok Kumar ; S.K.R. Manikandan
Designing 3rd Generation Long-Haul Optical Backbone Networks through a Cost-Conscious Regeneration-Aware RWA Scheme / Ariyam Das ; Aveek Chakrabarti
An Automated and Full-Proof Attendance Marking Scheme (TATTEND) Using Three Integrated Technologies / Divyans Mahansaria ; G.S. Kartik ; Gautam Singh ; Himanshu Mishra ; Kartikey Singh ; Sandeep Sharma ; B. Amutha
Agent Based Adaptive Multi-constrained Multicast Routing with QoS Guarantees in MANETs / G. Santhi ; Alamelu Nachiappan
FPGA Implementation of High Speed Pulse Shaping Filter for SDR Applications / Rajesh Mehra ; Swapna Devi
Feature Selection and Classification of Intrusions Using Genetic Algorithm and Neural Networks / T. Subbulakshmi ; A. Ramamoorthi ; S. Mercy Shalinie
An Algorithm for Designing Controllers / Sankalp Bagaria
Decision Support with RFID for Health Care / Yannick Meiller ; Sylvain Bureau ; Wei Zhou ; Selwyn Piramuthu
Second International Conference on Wireless and Mobile Networks (WiMoN 2010)
An Algorithm to Determine Multicast Meshes with Maximum Lifetime for Mobile Ad Hoc Networks / Natarajan Meghanathan ; Srilakshmi R. Vavilala
Distributed Weight Based Clustering with Efficient Channel Access to Improve Quality of Service in Mobile Ad-Hoc Networks (DWCA) / Mohd. Amjad ; M.N. Doja
WACA: A New Weighted Adaptive Clustering Algorithm for MANET / Ira Nath ; Rituparna Chaki ; Nabendu Chaki
A Topology and Context Aware Query Distribution System in Middleware for Wireless Sensor Networks / Dhrubajyoti Saha ; Dibyendu Mallik
On-Demand Table-Driven Topo-Aware Routing Protocol for Wireless Mesh Networks / Pavan Kumar Tummal ; Jatindra Kumar Deka
An Efficient Quality of Service Scheduling Strategy for IEEE 802.16 Broadband Wireless Access Systems / Prasun Chowdhury ; Iti Saha Misra
Comparison of VoIP Performance over WiMAX, WLAN and WiMAX-WLAN Integrated Network Using OPNET / Anindita Kundu ; Suman Bhunia ; Salil K. Sanyal
A Generalized Trust Framework for Mobile Ad Hoc Networks / Revathi Venkataraman ; M. Pushpalatha ; T. Rama Rao
Adaptive Routing Techniques in Disruption Tolerant Networks / Mohammad Arif ; Abu Daud
Adaptive Valid Period Based Concurrency Control without Locking in Mobile Environments / Mohammed Khaja Nizamuddin ; Syed Abdul Sattar
An Associativity Based Energy Aware Clustering Technique for Mobile Ad Hoc Networks / Tahrima Rahman ; A.M.A. Elman Bashar
Frequency Domain Equalisation for OFDMA System in Multipath Fading Channels / R.J. Susan ; Sakuntala S. Pillai
Energy Aware Data Sharing in Mobile Ad Hoc Networks / T. Ramarao
Security Enhancement in WEP Mobility / S.M.K.M. Abbas Ahmad ; E.G. Rajan ; A. Govardhan ; Juluru Peraiah
TCP - AP and LRED over Single and Multiple TCP Flows in Multihop Wireless Channel / G. Sankara Malliga ; Dharmishtan K. Varughese
A Secure Prioritized Trust Based Multi-path Routing Protocol for Ad Hoc Networks / Poonam ; K. Garg ; M. Misra
Reducing Handoff Latency in IEEE 802.11b with the Help of Neighbor Graph Using Carrier to Interference Ratio / Debabrata Sarddar ; Joydeep Banerjee ; Souvik Kumar Saha ; Utpal Biswas ; M.K. Naskar
To Alleviate Congestion Using Hybrid Sink for Delay Sensitive Applications in Wireless Sensor Networks / K. Thanigaivelu
Comparison of Cooperative Caching Strategies in Mobile Ad-Hoc Network (MANET) / G. Radhamani ; S. Umamaheswari
Framework for Probabilistic Routing in Dense MANETs / Sharmila Sankar ; V. Sankaranarayanan
Lightweight Management Framework (LMF) for a Heterogeneous Wireless Network for Landslide Detection / Sangeeth Kumar ; Maneesha Vinodini Ramesh
Dasarathy Model Based Fusion Framework for Fire Detection Application in WSN / P.T.V. Bhuvaneswari ; V. Vaidehi ; M. Karthik
Localization Based on Signal Strength Using Kalman Approach / M. AgnesSaranya
Second International Conference on Web and Semantic Technology (WeST 2010)
Reliable Data Replication Middleware for Next Generation Web Services / G.M. Siddesh ; K.G. Srinivasa
An Algorithmic Framework for Collaborative Interest Group Construction / Akshi Kumar ; Abha Jain
Survey on Federated Identity Management Systems
Automating Reuse of Semantic Repositories in the Context of Semantic Web / Nadia Imdadi ; S.A.M. Rizvi
Discovering Models from Event-Based Data Basis on a Survey of Issues and Approaches / Mohammed Shahidul Karim ; Md. Ashiqur Rahman ; Abul Kalam Azad
Prediction of Learning Disabilities in School Age Children Using Decision Tree / M. David Julie ; Balakrishnan Kannan
Co-occurrence Based Place Name Disambiguation and Its Application to Retrieval of Geological Text / N. V. Sobhana ; Alimpan Barua ; Monotosh Das ; Pabitra Mitra ; S.K. Ghosh
A Formal Method for Detecting Semantic Conflicts in Protocols between Services with Different Ontologies / Priyankar Ghosh ; Pallab Dasgupta
Test Suite Diminuition Using GRE Heuristic with Selective Redundancy Approach / C. Dhineshkumar
First International Workshop on Ad Hoc, Sensor and Ubiquitous Computing (ASUC 2010)
Mobility Monitoring by Using RSSI in Wireless Sensor Networks / Senol Zafer Erdogan
Analyzing Web 2.0 Integration with Next Generation Networks for Services Rendering / Kamaljit I. Lakhtaria ; Dhinaharan Nagamalai
An Adaptive Framework for Wireless Sensor Network Application Development / Mahesh U. Patil ; P. Poonguzhali
A Comparison of the Efficiencies of Different Wireless Sensor Network Algorithms with Respect to Time / Subrata Dutta ; Nandini Mukherjee ; Sarmistha Neogy ; Sarbani Roy
Internal Map of the Nanostack 6LoWPAN Stack / Sergio Lembo ; Jari Kuusisto ; Jukka Manner
Prolonging Network Lifetime Using Ant Colony Optimization Algorithm on LEACH Protocol for Wireless Sensor Networks / Tanushree Agarwal ; Dilip Kumar ; Neelam R. Prakash
Energy Efficient Mobile Wireless Sensor Network Routing Protocol / Getsy S. Sara ; R. Kalaiarasi ; S. Neelavathy Pari ; D. Sridharan
Dynamic Service Discovery as an Optimization Problem in Wireless Sensor Networks / Kaushik Lahiri ; Amitava Mukherjee ; Ayon Chakraborty ; Subhajit Mandal ; Dipankar Patra ; Mrinal K. Nashkar
A New Approach for Workflow Tasks Scheduling in Distributed Heterogeneous environment / K. Prabavathi ; P. Varalakshmi
A Range Based Localization Algorithm Using Autonomous Speed Mobile Sink (MOBISPEED) in Distributed Wireless Sensor Networks / M. Ponnavaikko ; N. Karthick
First International Workshop on VLSI (VLSI 2010)
Development of Controllability Observability Aided Combinational ATPG with Fault Reduction / Vaishali Dhare ; Usha Mehta
Implementation of ADPLL with 0.6µm CMOS Process for SOC Applications / V. Leela Rani ; V. Suma Latha ; G.T. Rao ; D.S. Murty
Fault Diagnosis of Analog Circuits Utilizing Reconfigurable Computing System / N. Sarat Chandra Babu
A Low Voltage High Performance OTA in 0.18 Micron with High Linearity / Nikhil Raj ; Ranitesh Gupta ; Vikram Chopra
Author Index
The Second International Conference on Networks and Communications (NeCoM 2010)
Improving TCP Performance over Wireless Networks Using Cross Layer / S. Sathya Priya ; K. Murugan
Improving Tracking Performance of FxLMS Algorithm Based Active Noise Control Systems / P. Babu ; A. Krishnan
91.

電子ブック

EB
Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Sanjay Ranka, Cho-Li Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Technical Session-12: System-1 (S-1)
Automatic Test Data Generation for Data Flow Testing Using Particle Swarm Optimization / Narmada Nayak ; Durga Prasad Mohapatra
Efficient Storage of Massive Biological Sequences in Compact Form / Ashutosh Gupta ; Vinay Rishiwal ; Suneeta Agarwal
Maximum Utility Meta-Scheduling Algorithm for Economy Based Scheduling under Grid Computing / Hemant Kumar Mehta ; Priyesh Kanungo ; Manohar Chandwani
An Accelerated MJPEG 2000 Encoder Using Compute Unified Device Architecture / Datla Sanketh ; Rajdeep Niyogi
Event-Based Metric for Computing System Complexity / Sandeep Kumar Singh ; Sangeeta Sabharwal ; J.P. Gupta
Technical Session-13: System-2 (S-2)
Load Balancing in Xen Virtual Machine Monitor / Gaurav Somani ; Sanjay Chaudhary
Aerial Vehicle Based Sensing Framework for Structural Health Monitoring / Ashish Tanwer ; Muzahid Hussain ; Parminder Singh Reel
A Cross Layer Seamless Handover Scheme in IEEE 802.11p Based Vehicular Networks / Arun Prakash ; Sarsij Tripathi ; Rajesh Verma ; Neeraj Tyagi ; Rajeev Tripathi ; Kshirasagar Naik
Modeling and Simulation of Efficient March Algorithm for Memory Testing / Balwinder Singh ; Sukhleen Bindra Narang ; Arun Khosla
A New Approach for Detecting Design Patterns by Graph Decomposition and Graph Isomorphism / Akshara Pande ; Manjari Gupta ; A.K. Tripathi
Technical Session-14: System-3 (S-3)
Detection of Polymorphic Viruses in Windows Executables / Abhiram Kasina ; Amit Suthar ; Rajeev Kumar
Sensitivity Measurement of Neural Hardware: A Simulation Based Study / Amit Prakash Singh ; Pravin Chandra ; Chandra Shekhar Rai
An Approach to Identify and Manage Interoperability of Class Diagrams in Visual Paradigm and MagicDraw Tools / Gaurav Bansal ; Deepak Vijayvargiya ; Siddhant Garg
A Novel Approach to Generate Test Cases Using Class and Sequence Diagrams / Shireesh Asthana ; Saurabh Tripathi
Technical Session-15: System-4 (S-4)
Arrogyam: Arrhythmia Detection for Ambulatory Patient Monitoring / Dheerendra Singh Gangwar ; Davinder Singh Saini
Test Process Model with Enhanced Approach of State Variable / Praveen Ranjan Srivastava
Re-engineering Machine Translation Systems through Symbiotic Approach / Pawan Kumar ; Rashid Ahmad ; A.K. Rathaur ; Mukul K. Sinha ; R. Sangal
Analysis for Power Control and Security Architecture for Wireless Ad-Hoc Network / Bharat Singh ; Akash Bansal ; Sunil Kumar ; Anshu Garg
Extension of Superblock Technique to Hyperblock Using Predicate Hierarchy Graph / Sweta Verma ; Ranjit Biswas ; J.B. Singh
Technical Session-16: System-6 (S-6)
Vehicular Ad Hoc Network Mobility Models Applied for Reinforcement Learning Routing Algorithm / Shrirang Ambaji Kulkarni ; G. Raghavendra Rao
Hardware and Software Co-Design for Robot Arm / Urmila Meshram ; R.R. Harkare ; Devendra Meshram
Security Vulnerabilities of a Novel Remote User Authentication Scheme Using Smart Card based on ECDLP / Manoj Kumar ; Aayushi Balyan
Multiple Polymorphic Arguments in Single Dispatch Object Oriented Languages / Sanchit Bansal
Author Index
Technical Session-12: System-1 (S-1)
Automatic Test Data Generation for Data Flow Testing Using Particle Swarm Optimization / Narmada Nayak ; Durga Prasad Mohapatra
Efficient Storage of Massive Biological Sequences in Compact Form / Ashutosh Gupta ; Vinay Rishiwal ; Suneeta Agarwal
92.

電子ブック

EB
De-Shuang; McGinnity, Martin; Heutte, Laurent Huang, Laurent Heutte, De-Shuang Huang, Martin McGinnity, Xiao-Ping Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
93.

電子ブック

EB
Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Sanjay Ranka, Cho-Li Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Technical Session-1: Algorithm-1 (A-1)
A PDE-Based Nonlinear Filter Adapted to Rayleigh's Speckle Noise for De-Speckling 2D Ultrasound Images / Rajeev Srivastava ; J.R.P. Gupta
Face Recognition Using Kernel Fisher Linear Discriminant Analysis and RBF Neural Network / S. Thakur ; J.K. Sing ; D.K. Basu ; M. Nasipuri
Parallel Enumeration Sort on OTIS-Hypercube / Keny T. Lucas
A Robust Trust Mechanism Algorithm for Secure power Aware AODV Routing in Mobile Ad Hoc Networks / Naga Sathish Gidijala ; Sanketh Datla ; Ramesh C. Joshi
A Heuristic Algorithm for Constrained Redundancy Optimization in Complex Systems / Sudhanshu Aggarwal
Technical Session-2: Algorithm-2 (A-2)
A Hybrid Genetic Algorithm Based Test Case Generation Using Sequence Diagrams / Mahesh Shirole ; Rajeev Kumar
LACAIS: Learning Automata based Cooperative Artificial Immune System for Function Optimization / Alireza Rezuanian ; Mohammad Reza Meybodi
Image Reconstruction from Projection under Periodicity Constrainst Using Genetic Algorithm / Narender Kumar ; Tanuja Srivastava
A Robust Watermarking Algorithm for Audio Signals Using SVD / Malay Kishore Dutta ; Vinay K. Pathak ; Phalguni Gupta
Differential Evolution Using Interpolated Local Search / Musrrat Ali ; Millie Pant ; V.P. Singh
Technical Session-3: Algorithm-3 (A-3)
A New SVD Based Watermarking Framework in Fractional Fourier Domain / Gaurav Bhatnagar ; Balasubramanian Raman
Mining Frequent and Associated Gene Expression Patterns from Spatial Gene Expression Data: A Proposed Approach / M. Anandhavalli ; M.K. Ghose ; K. Gauthaman
Minimization of Lennard-Jones Potential Using Parallel Particle Swarm Optimization Algorithm / Kusum Deep ; Madhuri Arya
An Artificial Bee Colony Algorithm for the 0-1 Multidimensional Knapsack Problem / Shyam Sundar ; Alok Singh ; André Rossi
Automatic Summary Generation from Single Document Using Information Gain / Chandra Prakash ; Anupam Shukla
Technical Session-4: Algorithm-4 (A-4)
An Alternate Approach to Compute the Reliability of a Computer Communication Network Using Binary Decision Diagrams / Manoj Singhal ; R.K. Chauhan ; Girish Sharma
A Multi-Level Blocks Scrambling Based Chaotic Image Cipher / Musheer Ahmad ; Omar Farooq
Maxillofacial Surgery Using X-Ray Based Face Recognition by Elastic Bunch Graph Matching / Manish Madhav Tripathi ; Mohd Haroon ; Minsa Jafar ; Mansi Jain
A Phenomic Approach to Genetic Algorithms for Reconstruction of Gene Networks / Rio G.L. D'Souza ; K. Chandra Sekaran ; A. Kandasamy
An Algorithm to Determine Minimum Velocity-Based Stable Connected Dominating Sets for Ad Hoc Networks / Natarajan Meghanathan
Technical Session-5: Algorithm-5 (A-5)
An Efficient Intrusion Detection System Using Clustering Combined with Fuzzy Logic / Ajanta Konar ; R.C. Joshi
Assessing the Performance of Bi-objective MST for Euclidean and Non-Euclidean Instances / Soma Saha ; Mohammad Aslam
PSO-SVM Based Classifiers: A Comparative Approach / Yamuna Prasad ; K.K. Biswas
Efficient Job Division for Grids Running SIMD Algorithms / Ashish Kurmi ; Srinivasan Iyer
A Novel Algorithm for Achieving a Light-Weight Tracking System / Abhinav Agarwal ; Rajdeep Niyogi
Technical Session-6: Application-1 (P-1)
Computer Simulation Studies of Drug-DNA Interactions: Neothramycin B / Rajeshwer Shukla ; Sugriva Nath Tiwari
Effect of Speech Coding on Recognition of Consonant-Vowel (CV) Units / Anil Kumar Vuppala ; Saswat Chakrabarti ; K. Sreenivasa Rao
Cloudbank: A Secure Anonymous Banking Cloud / Ridhi Sood ; Meenakshi Kalia
Alignment Model and Training Technique in SMT from English to Malayalam / Sebastian Mary Priya ; K. Sheena Kurian ; G. Santhosh Kumar
Emotion Classification Based on Speaking Rate / Shashidhar G. Koolagudi ; Sudhin Ray
Technical Session-7: Application-2 (P-2)
A Vulnerability Metric for the Design Phase of Object Oriented Software / A. Agrawal ; R.A. Khan
A Framework for Synthesis of Human Gait Oscillation Using Intelligent Gait Oscillation Detector (IGOD) / Soumik Mondal ; Anup Nandy ; Anirban Chakrabarti ; Pavan Chakraborty ; G.C. Nandi
Detection of Significant Opinionated Sentence for Mining Web Users' Opinion / K.M. Anil Kumar ; Suresha
Hyperspectral Data Compression Model Using SPCA (Segmented Principal Component Analysis) and Classification of Rice Crop Varieties / Shwetank ; Kamal Jain ; Karamjit Bhatia
Impulse Noise Removal from Color Images Using Adaptive Neuro-fuzzy Impulse Detector / Umesh Ghanekar ; Awadhesh Kumar Singh ; Rajoo Pandey
Technical Session-8: Application-3 (P-3)
Measuring of Time-Frequency Representation (TFR) Content - Using the Kapurs Entropies / Priti Gupta ; Vijay Kumar
An Ontology Based Framework for Domain Analysis of Interactive System / Shrutilipi Bhattacharjee ; Imon Banerjee ; Animesh Datta
Entropy Based Clustering to Determine Discriminatory Genes for Microarray Dataset / Rajni Bala ; R.K. Agrawal
A Framework for Incremental Domain-Specific Hidden Web Crawler / Rosy Madaan ; Ashutosh Dixit ; A.K. Sharma ; Komal Kumar Bhatia
Impact of K-Means on the Performance of Classifiers for Labeled Data / B.M. Patil ; Durga Toshniwal
Technical Session-9: Application-4 (P-4)
Digital Watermarking Based Stereo Image Coding / Sanjay Rawat ; Gaurav Gupta ; R. Balasubramanian ; M.S. Rawat
Content Based Multimodal Retrieval for Databases of Indian Monuments / Aman Agarwal ; Vikas Saxena
Evolutionary Based Automated Coverage Analysis for GUI Testing / Abdul Rauf ; Sajid Anwar ; Naveed Kazim ; Arshad Ali Shahid
Online Signature Classification Using Modified Fuzzy Min-Max Neural Network with Compensatory Neuron Topology / B.M. Chaudhari ; Rupal S. Patil ; K.P. Rane ; Ulhas B. Shinde
Multifaceted Classification of Websites for Goal Oriented Requirement Engineering / Sangeeta Srivastava ; Shailey Chawla
Technical Session-10: Application-5 (P-5)
A Simplified and Corroborative Approach towards Formalization of Requirements / Ram Chatterjee ; Kalpana Johari
Robust Multiple Watermarking Using Entropy Based Spread Spectrum / Sushila Kamble ; Vikas Maheshkar ; Suneeta Agarwal ; Vinay Shrivastava
Application of Adaptive Learning in Generalized Neuron Model for Short Term Load Forecasting under Error Gradient Functions / Chandragiri Radha Charan ; Manmohan
Intelligent Schemes for Indexing Digital Movies / R.S. Jadon ; Sanjay Jain
Fuzzy Reasoning Boolean Petri Nets Based Method for Modeling and Analysing Genetic Regulatory Networks / Raed J. Hamed ; S.I. Ahson ; R. Parveen
Technical Session-11: Application-6 (P-6)
Mining the Blogosphere for Sociological Inferences / Vivek Kumar Singh
Modeling for Evaluation of Significant Features in siRNA Design / Chakresh Kumar Jain
A Fast Progressive Image Transmission Algorithm Using Linear Bivariate Splines / Rohit Verma ; Ravikant Verma ; P. Syamala Jaya Sree ; Pradeep Kumar ; Rajesh Siddavatam ; S.P. Ghrera
Building Optimization / Rekha Bhowmik ; Pradeep Sharma
Adaptive Bacterial Foraging Optimization Based Tuning of Optimal PI Speed Controller for PMSM Drive / Ravi Kumar Jatoth ; A. Rajasekhar
Missing Value Imputation Based on K-mean Clustering with Weighted Distance / Bankat M. Patil
Author Index
Technical Session-1: Algorithm-1 (A-1)
A PDE-Based Nonlinear Filter Adapted to Rayleigh's Speckle Noise for De-Speckling 2D Ultrasound Images / Rajeev Srivastava ; J.R.P. Gupta
Face Recognition Using Kernel Fisher Linear Discriminant Analysis and RBF Neural Network / S. Thakur ; J.K. Sing ; D.K. Basu ; M. Nasipuri
94.

電子ブック

EB
Laura Kallmeyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Formal Grammars and Natural Languages / 1.1:
Parsing Beyond CFGs / 1.2:
What This Book Is Not About / 1.3:
Overview of the Book / 1.4:
Grammar Formalisms for Natural Languages / 1.4.1:
Parsing: Preliminaries / 1.4.2:
Tree Adjoining Grammars / 1.4.3:
MCFG and LCFRS / 1.4.4:
Range Concatenation Grammars / 1.4.5:
Automata / 1.4.6:
Some Basic Definitions / 1.5:
Languages / 1.5.1:
Context-Free Grammars / 1.5.2:
Trees / 1.5.3:
Context-Free Grammars and Natural Languages / 2:
The Generative Capacity of CFGs / 2.1.1:
CFGs and Lexicalization / 2.1.2:
Mild Context-Sensitivity / 2.1.3:
Grammar Formalisms Beyond CFG / 2.2:
Linear Indexed Grammars / 2.2.1:
Linear Context-Free Rewriting Systems / 2.2.3:
Multicomponent Tree Adjoining Grammars / 2.2.4:
Multiple Context-Free Grammars / 2.2.5:
Summary / 2.2.6:
Parsing as Deduction / 3:
Motivation / 3.1.1:
Items / 3.1.2:
Deduction Rules / 3.1.3:
Implementation Issues / 3.2:
Dynamic Programming / 3.2.1:
Chart Parsing and Tabulation / 3.2.2:
Hypergraphs / 3.2.3:
Properties of Parsing Algorithms / 3.3:
Soundness and Completeness / 3.3.1:
Complexity / 3.3.2:
Valid Prefix Property / 3.3.3:
Introduction to Tree Adjoining Grammars / 3.4:
Definition of TAG / 4.1.1:
Formal Properties / 4.1.2:
Linguistic Principles for TAG / 4.1.3:
Extended Domain of Locality and Factoring of Recursion / 4.1.4:
Constituency and Dependencies / 4.1.5:
Equivalent Formalisms / 4.2:
Tree-Local MCTAG / 4.2.1:
Combinatory Categorial Grammars / 4.2.2:
Parsing Tree Adjoining Grammars / 4.3:
A CYK Parser for TAG / 5.1:
The Recognizer / 5.1.1:
An Earley Parser for TAG / 5.1.2:
Inference Rules / 5.2.1:
Extending the Algorithm to Substitution / 5.2.4:
The Parser / 5.2.5:
Properties of the Algorithm / 5.2.6:
Prefix Valid Earley Parsing / 5.2.7:
An LR Parser for TAG / 5.3:
Construction of the Automation / 5.3.1:
Multiple Context-Free Grammars and Linear Context-Free Rewriting Systems / 5.3.3:
Introduction to MCFG, LCFRS and Simple RCG / 6.1:
Applications / 6.1.1:
Set-Local Multicomponent TAG / 6.2:
Minimalist Grammars / 6.2.2:
Finite-Copying LFG / 6.2.3:
Parsing MCFG, LCFRS and Simple RCG / 6.3:
CYK Parsing of MCFG / 7.1:
The Basic Algorithm / 7.1.1:
The Naïve Algorithm / 7.1.2:
The Active Algorithm / 7.1.3:
The Incremental Algorithm / 7.1.4:
Prediction Strategies / 7.1.5:
Simplifying Simple RCGs / 7.2:
Eliminating Useless Rules / 7.2.1:
Eliminating ?-Rules / 7.2.2:
Ordered Simple RCG / 7.2.3:
Binarization of the Rules / 7.2.4:
An Incremental Earley Parser for Simple RCG / 7.3:
The Algorithm / 7.3.1:
Filters / 7.3.2:
Introduction to Range Concatenation Grammars / 7.4:
Definition of RCG / 8.1.1:
Relations to Other Formalisms / 8.1.2:
Literal Movement Grammars / 8.2.1:
CFG, TAG and MCFG / 8.2.2:
Parsing Range Concatenation Grammars / 8.3:
Basic RCG Parsing / 9.1:
CYK Parsing with Passive Items / 9.1.1:
Non-directional Top-Down Parsing / 9.1.2:
Directional Top-Down Parsing / 9.1.3:
Optimizations / 9.1.4:
Parsing with Constraint Propagation / 9.2:
Range Constraints / 9.2.1:
CYK Parsing with Active Items / 9.2.2:
Earley Parsing / 9.2.3:
Embedded Push-Down Automata / 9.3:
Definition of EPDA / 10.1.1:
EPDA and TAG / 10.1.2:
Bottom-Up Embedded Push-Down Automata / 10.1.3:
?-Order EPDA / 10.1.4:
Two-Stack Automata / 10.2:
General Definition / 10.2.1:
Strongly-Driven Two-Stack Automata / 10.2.2:
Thread Automata / 10.3:
Idea / 10.3.1:
General Definition of TA / 10.3.2:
Constructing a TA for a TAG / 10.3.3:
Constructing a TA for an Ordered SRCG / 10.3.4:
Hierarchy of Grammar Formalisms / 10.4:
List of Acronyms / Appendix B:
Solutions
References
Index
Introduction / 1:
Formal Grammars and Natural Languages / 1.1:
Parsing Beyond CFGs / 1.2:
95.

電子ブック

EB
Will van der Aalst, Karlheinz Kautz, John Mylopoulos, Peter Axel Nielsen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Relationship Management at the Operational Level in Outsourcing / Sabine Madsen ; Keld Bødker
User Experience: Consumer Understandings of Virtual Product Prototypes / Taina Kaapu ; Tarja Tiainen
The Living Requirements Space: Towards the Collaborative Development of Requirements for Future ERP Systems / Femi Adisa ; Petra Schubert ; Frantisek Sudzina
IT Governance through Regulatory Modalities. Health Care Information Infrastructure and the "Blue Fox" Project / Bendik Bygstad ; Ole Hanseth
Boundaries between Participants in Outsourced Requirements Construction / Sari T. Salmela ; Anna-Liisa Syrjänen
Is Standard Software Wiping Out Socio-Technical Design? - Engaging in the Practice of Implementing Standard ERP Systems / Lene Pries-Heje
Facing the Lernaean Hydra: The Nature of Large-Scale Integration Projects in Healthcare / Eli Larsen ; Gunnar Ellingsen
Bootstrapping Revisited: Opening the Black Box of Organizational Implementation / Espen Skorve ; Margunn Aanestad
Configuration Analysis of Inter-Organizational Information Systems Adoption / Kalle Lyytinen ; Jan Damsgaard
An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness / Guido Schryen
Author Index
Relationship Management at the Operational Level in Outsourcing / Sabine Madsen ; Keld Bødker
User Experience: Consumer Understandings of Virtual Product Prototypes / Taina Kaapu ; Tarja Tiainen
The Living Requirements Space: Towards the Collaborative Development of Requirements for Future ERP Systems / Femi Adisa ; Petra Schubert ; Frantisek Sudzina
96.

電子ブック

EB
Will van der Aalst, John Mylopoulos, Matthew L. Nelson, Michael J. Shaw, Troy J. Strader
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
e-Business Models and IS in Financial Markets
Dynamic Revenue Model Design in the Online Services Business: Two Cases in Japan / Masao Kakihara
Pricing of Content Services - An Empirical Investigation of Music as a Service / Jonathan Doerr ; Alexander Benlian ; Johannes Vetter ; Thomas Hess
Informational Determinants of Customer Acquisition and eTailer Revenue / Amitava Dutta ; Nirup M. Menon
Adoption of a Centralised Post-Trade Processing Market Infrastructure after the Credit Crisis / Olga Lewandowska
The Impact of Information Technology on European Post-Trading / Torsten Schaper ; Michael Chlistalla
e-Commerce Use and Design
Privately Waiting - A Usability Analysis of the Tor Anonymity Network / Benjamin Fabian ; Florian Goertz ; Steffen Kunz ; Sebastian Müller ; Mathias Nitzsche
E-Commerce Readiness in Ethiopia: A Macro-Level Assessment / Elizabeth Ayalew ; Lemma Lessa ; Mariye Yigzaw
Corporate Blogging Today - Usage and Characteristics / Franziska Brecht ; Anastacia Cudreasova ; Jing Zhou
Agent-Based Simulation for Evaluation of a Mobile Emergency Management System / Heiko Ro?nagel ; Jan Zibuschka ; Olaf Junker
Using Ontologies in an E-Commerce Environment: Help or Hype? / Kerstin Schäfer
e-Business Research Issues and Methods
B2B Electronic Marketplaces in Supply Chain Management: Analyzing Recent Research Activities / Christoph Pflügler ; Klaus Turowski
Proximal Business Intelligence on the Semantic Web / David Bell ; Thinh Nguyen
Disintermediation in the Tourism Industry: Theory vs. Practice / Laddawan Kaewkitipong
Author Index
e-Business Models and IS in Financial Markets
Dynamic Revenue Model Design in the Online Services Business: Two Cases in Japan / Masao Kakihara
Pricing of Content Services - An Empirical Investigation of Music as a Service / Jonathan Doerr ; Alexander Benlian ; Johannes Vetter ; Thomas Hess
97.

電子ブック

EB
Henning M?ller, Barbara Caputo, Paul Clough, Thomas Deselaers, Henning Muller
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
98.

電子ブック

EB
Arthur Tatnall
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Connections in the History of Australian Computing / John Deane
Why the Real Thing Is Essential for Telling Our Stories / David Demant
Wonder, Sorcery, and Technology: Contribute to the History of Medieval Robotics / Nadia Ambrosetti
Andrew D. Booth - Britain's Other "Fourth Man" / Roger G. Johnson
The Many Dimensions of Kristen Nygaard, Creator of Object-Oriented Programming and the Scandinavian School of System Development / Drude Berntsen ; Knut Elgsaas ; HÃ¥vard Hegna
Projects and Activities of the IPSJ Computer History Committee / Eiiti Wada
Contested Histories: De-mythologising the Early History of Modern British Computing / David Anderson
50 Years Ago We Constructed the First Hungarian Tube Computer, the M-3: Short Stories from the History of the First Hungarian Computer (1957-1960) / Gyozo Kovács
Anatoly Kitov - Pioneer of Russian Informatics / Vladimir A. Kitov ; Valery V. Shilov
Materiel Command and the Materiality of Commands: An Historical Examination of the US Air Force, Control Data Corporation, and the Advanced Logistics System / Jeffrey R. Yost
Purpose-Built Educational Computers in the 1980s: The Australian Experience / Arthur Tatnall ; Ralph Leonard
And They Were Thinking? Basic, Logo, Personality and Pedagogy / John S. Murnane
The Life and Growth of Year 12 Computing in Victoria: An Ecological Model / Bill Davey
History of the European Computer Driving Licence / Denise Leahy ; Dudley Dolan
A Brief History of the Pick Environment in Australia / Stasys Lukaitis
Turning Points in Computer Education / Kevin R. Parker
Existence Precedes Essence-Meaning of the Stored-Program Concept / Allan Olley
Recession, S-Curves and Digital Equipment Corporation / David T. Goodwin
ETHICS: The Past, Present and Future of Socio-Technical Systems Design / Shona Leitch ; Matthew J. Warren
Lessons from Discarded Computer Architectures / Andrew E. Fluck
The Birth of Information Systems / Audra Lukaitis
The Monash University Museum of Computing History: Ten Years On / A. Barbara Ainsworth ; Chris Avram ; Judithe Sheard
Author Index
Connections in the History of Australian Computing / John Deane
Why the Real Thing Is Essential for Telling Our Stories / David Demant
Wonder, Sorcery, and Technology: Contribute to the History of Medieval Robotics / Nadia Ambrosetti
99.

電子ブック

EB
Will van der Aalst, Francesco Buccafurri, John Mylopoulos, Giovanni Semeraro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Recommender Systems 1
Resource Recommendation in Collaborative Tagging Applications / Jonathan Gemmell ; Thomas Schimoler ; Bamshad Mobasher ; Robin Burke
Combining Collaborative and Content-Based Techniques for Tag Recommendation / Cataldo Musto ; Fedelucio Narducci ; Pasquale Lops ; Marco de Gemmis
Category Recommendation in User Specified Structure / Ying Zhou ; Xiaochen Huang ; Shirley Priyanka Lee
Recommender Systems 2
Semantic Tag Cloud Generation via DBpedia / Roberto Mirizzi ; Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio
Social Networks as Data Source for Recommendation Systems / Mathias Bank ; Juergen Franke
Content-Based News Recommendation / Michal Kompan ; Mária Bieliková
E-Payment, Security and Trust
Towards a Lawfully Secure and Privacy Preserving Video Surveillance System / Aniello Castiglione ; Marco Cepparulo ; Alfredo De Santis ; Francesco Palmieri
Reputation as Aggregated Opinions / John Debenham ; Carles Sierra
The Open Metaverse Currency (OMC) - A Micropayment Framework for Open 3D Virtual Worlds / Frank Kappe ; Michael Steurer
T-REX: A Hybrid Agent Trust Model Based on Witness Reputation and Personal Experience / Kalliopi Kravari ; Christos Malliarakis ; Nick Bassiliades
Service Oriented E-Commerce and Business Processes
QoS Contract Formation and Evolution / Vasilios Andrikopoulos ; Mariagrazia Fugini ; Mike P. Papazoglou ; Michael Parkin ; Barbara Pernici ; S. Hossein Siadat
Process Views to Support Compliance Management in Business Processes / David Schumm ; Frank Leymann ; Alexander Streule
Invitetd Talk
Web Advertising / Ricardo Baeza-Yates
Agent-Based Electronic Commerce 1
Electronic Trading Environments for Web 3.0 / Simeon Simoff
Agent-Based Electronic Commerce 2
On the Benefits of Keyword Spreading in Sponsored Search Auctions: An Experimental Analysis / Michele Budinich ; Bruno Codenotti ; Filippo Geraci ; Marco Pellegrini
An Optimization Method for Agent's Bidding Strategy in TAC-SCM Game / Xiaoqin Zhang ; Soheil Sibdari ; Saban Singh
Concession Behaviour in Automated Negotiation / Fernando Lopes ; Helder Coelho
Bilateral Negotiation in a Multi-agent Supply Chain System
Recommender Systems 3
Receiving Recommendations and Providing Feedback: The User-Experience of a Recommender System / Bart P. Knijnenburg ; Martijn C. Willemsen ; Stefan Hirtbach
Comparing Techniques for Preference Relaxation: A Decision Theory Perspective / Maciej Dabrowski ; Thomas Acton
Detecting Leaders to Alleviate Latency in Recommender Systems / Ilham Esslimani ; Armelle Brun ; Anne Boyer
Invited Talk
Electronic Markets, a Look Behind the Curtains: How Can Semantic Matchmaking and Negotiation Boost E-Commerce?
Recommender Systems 4
Quantile Matrix Factorization for Collaborative Filtering / Alexandros Karatzoglou ; Markus Weimer
Partial Ranking of Products for Recommendation Systems / Sébastien Hémon ; Thomas Largillier ; Sylvain Peyronnet
Author Index
Recommender Systems 1
Resource Recommendation in Collaborative Tagging Applications / Jonathan Gemmell ; Thomas Schimoler ; Bamshad Mobasher ; Robin Burke
Combining Collaborative and Content-Based Techniques for Tag Recommendation / Cataldo Musto ; Fedelucio Narducci ; Pasquale Lops ; Marco de Gemmis
100.

電子ブック

EB
Ryohei Nakatsu, Philippe Codognet, Fazel Naghdy, Naoko Tosa, Kok Wai Wong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Multiple Format Search and Rescue Robot as a Competitive Arena(Invited Paper) / Andrew Chiou
An On-Line Classification Approach of Visitors' Movements in 3D Virtual Museums / Kingkarn Sookhanaphibarn ; Ruck Thawonmas
A Machine That Daydreams / Graham A. Mann
Cluster Analysis for Personalised Mobile Entertainment Content / Worapat Paireekreng ; Kok Wai Wong ; Chun Che Fung
Auto-explanation System: Player Satisfaction in Strategy-Based Board Games
Comparing Binarisation Techniques for the Processing of Ancient Manuscripts / Rapeeporn Chamchong
Complex Game Design Modeling / Viknashvaran Narayanasamy ; Shri Rai
Haptic Carillon: A Computationally Enhanced Mechanical Performing Instrument / Mark Havryliv ; Fazel Naghdy ; Greg Schiemer ; Timothy Hurd
3D Geometric and Haptic Modeling of Hand-Woven Textile Artifacts / Hooman Shidanshidi ; Golshah Naghdy ; Diana Wood Conroy
Pocket Gamelan: Realizations of a Microtonal Composition on a LinuxPhone Using Open Source Music Synthesis Software / Etienne Deleflie ; Eva Cheng
Creating Memory: Reading a Patching Language / Michael Barkl
The Promise of Fuzzy Logic in Generalised Music Composition / Wendy Suiter
Structuralism, Attitude and the Computer: Questioning the Notion of "Cultural Computing" / Warren Burt
Looking for Culture in Video Games: Three Conceptual Approaches / James K. Scarborough
Supporting Multiple Perspectives on 3D Museum Artefacts through Interoperable Annotations / Jane Hunter ; Chih-hao Yu
Interactivity in Games : The Player's Engagement / Stétphane Natkin
Co-production and Co-creation: Creative Practice in Social Inclusion / Atau Tanaka ; Lalya Gaye ; Ranald Richardson
Opening the Can: Public Interaction with Ready-Made Contents / Shlomo Dubnov ; Philippe Codognet
Cultural Computing - How to Investigate a Form of Unconscious User Experiences in Mixed Realities / Matthias Rauterberg ; Jun Hu ; Geert Langereis
Emotions as a Communication Medium between the Unconscious and the Conscious
Emotional Expression of Korean Dance Assisted by a Virtual Environment System / Taeyoung Uhm ; Hanhoon Park ; Mi-Hee Lee ; Un-Mi Kim ; Jong-Il Park
Machine-Made Puzzles and Hand-Made Puzzles / Hiroshi Higashida
Cultural Computing - Creative Power Integrating Culture, Unconsciousness and Software / Naoko Tosa
Entertainment and Its Future / Ryohei Nakatsu
Author Index
Multiple Format Search and Rescue Robot as a Competitive Arena(Invited Paper) / Andrew Chiou
An On-Line Classification Approach of Visitors' Movements in 3D Virtual Museums / Kingkarn Sookhanaphibarn ; Ruck Thawonmas
A Machine That Daydreams / Graham A. Mann
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼