Search - IFIP Open Digital Library Access content directly

Filter your results

53 results
Structure: Internal structure identifier : 304304
Page :
sorted by
Image document

Bridging the Gap Between AI and Healthcare Sides: Towards Developing Clinically Relevant AI-Powered Diagnosis Systems

 Changhee Han , Leonardo Rundo , Kohei Murao , Takafumi Nemoto , Hideki Nakayama
16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.320-333, ⟨10.1007/978-3-030-49186-4_27⟩
Conference papers hal-04060679v1
Image document

Pebbles: User-Configurable Device Network for Robot Navigation

 Kentaro Ishii , Haipeng Mi , Lei Ma , Natsuda Laokulrat , Masahiko Inami , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.420-436, ⟨10.1007/978-3-642-40480-1_28⟩
Conference papers hal-01501760v1
Image document

Bubble Clouds: 3D Display Composed of Soap Bubble Cluster

 Yuki Kubo , Hirobumi Tomita , Shuta Nakamae , Takayuki Hoshi , Yoichi Ochiai
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.14-23, ⟨10.1007/978-3-319-66715-7_2⟩
Conference papers hal-01771251v1
Image document

Debugging Methods Through Identification of Appropriate Functions for Internal Gates

 Kosuke Oshima , Takeshi Matsumoto , Masahiro Fujita
21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.1-22, ⟨10.1007/978-3-319-23799-2_1⟩
Conference papers hal-01380296v1
Image document

Do Consumers Select Food Products Based on Carbon Dioxide Emissions?

 Keiko Aoki , Kenju Akai
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.345-352, ⟨10.1007/978-3-642-40361-3_44⟩
Conference papers hal-01470640v1
Image document

Smartphone-Based Gait Measurement Application for Exercise and Its Effects on the Lifestyle of Senior Citizens

 Takahiro Miura , Ken-Ichiro Yabu , Atsushi Hiyama , Noriko Inamura , Michitaka Hirose , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.80-98, ⟨10.1007/978-3-319-22698-9_7⟩
Conference papers hal-01609403v1
Image document

Turing-Completeness of Asynchronous Non-camouflage Cellular Automata

 Tatsuya Yamashita , Teijiro Isokawa , Ferdinand Peper , Ibuki Kawamata , Masami Hagiya
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.187-199, ⟨10.1007/978-3-319-58631-1_15⟩
Conference papers hal-01656362v1
Image document

A 65 nm CMOS Synthesizable Digital Low-Dropout Regulator Based on Voltage-to-Time Conversion with 99.6% Current Efficiency at 10-mA Load

 Naoki Ojima , Toru Nakura , Tetsuya Iizuka , Kunihiro Asada
26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2018, Verona, Italy. pp.1-13, ⟨10.1007/978-3-030-23425-6_1⟩
Conference papers hal-02321770v1
Image document

Capturing and Analyzing Injection Processes with Point of Act System for Improving Quality and Productivity of Health Service Administration

 Atsushi Koshio , Masanori Akiyama
First IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.114-121, ⟨10.1007/978-3-642-15515-4_12⟩
Conference papers hal-01054867v1
Image document

Opening the Can: Public Interaction with Ready-Made Contents

 Shlomo Dubnov , Philippe Codognet
Second IFIP TC 14 Entertainment Computing Symposium (ECS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.179-189, ⟨10.1007/978-3-642-15214-6_18⟩
Conference papers hal-01056344v1
Image document

An Intersection Type System for Deterministic Pushdown Automata

 Takeshi Tsukada , Naoki Kobayashi
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.357-371, ⟨10.1007/978-3-642-33475-7_25⟩
Conference papers hal-01556213v1
Image document

Transformative and Innovative e-Gov for the Next Generation: Linkages of Back Offices for One-stop Portal

 Osamu Sudoh , Yumiko Kinoshita
Joint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.111-124, ⟨10.1007/978-3-642-15346-4_9⟩
Conference papers hal-01058865v1
Image document

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

 Natsuki Urabe , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers hal-02044648v1
Image document

Design of Graded Trusts by Using Dynamic Path Validation

 Akira Kubo , Hiroyuki Sato
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.172-183, ⟨10.1007/978-3-642-13446-3_12⟩
Conference papers hal-01061326v1
Image document

A Requirements Evaluation Method for Ships to Maximize Operational Value under Uncertainty

 Kazuo Hiekata , Bryan Moser
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.149-158, ⟨10.1007/978-3-662-45937-9_16⟩
Conference papers hal-01386491v1
Image document

Study on Improving Accuracy for Edge Measurement Using 3D Laser Scanner

 Kazuo Hiekata , Hiroyuki Yamato , Jingyu Sun , Hiroya Matsubara , Naoji Toki
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.427-434, ⟨10.1007/978-3-662-45937-9_42⟩
Conference papers hal-01386548v1

Coalgebraic Methods in Computer Science

 Ichiro Hasuo
Springer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩
Books hal-01446038v1
Image document

Does the Carbon Footprint Enhance the Sustainability Food Production and Transportation Service System? Real Buying Experiment in Japan

 Keiko Aoki , Kenju Akai
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.18-25, ⟨10.1007/978-3-642-41263-9_3⟩
Conference papers hal-01451773v1
Image document

Does an Information Service Provider Improve the Market?

 Kenju Akai , Keiko Aoki , Nariaki Nishino
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.26-32, ⟨10.1007/978-3-642-41263-9_4⟩
Conference papers hal-01451785v1
Image document

A Choice Experiment for Air Travel Services

 Kenju Akai , Keiko Aoki , Nariaki Nishino
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.353-360, ⟨10.1007/978-3-642-40361-3_45⟩
Conference papers hal-01470641v1
Image document

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms

 Nicola Bombieri , Graziano Pravadelli , Masahiro Fujita , Todd Austin , Ricardo Reis
Springer International Publishing, AICT-561, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-23424-9. ⟨10.1007/978-3-030-23425-6⟩
Books hal-02315625v1
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

 Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

 Masami Hagiya , Kosuke Fukuda , Yoshinori Tanabe , Toshinori Saito
1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.89-98, ⟨10.1007/978-3-030-28764-1_11⟩
Conference papers hal-02515725v1
Image document

Generic Weakest Precondition Semantics from Monads Enriched with Order

 Ichiro Hasuo
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers hal-01408750v1
Image document

Co-Sound: An interactive medium with WebAR and spatial synchronization

 Kazuma Inokuchi , Manabu Tsukada , Hiroshi Esaki
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.255-263, ⟨10.1007/978-3-030-65736-9_22⟩
Conference papers hal-02942505v1
Image document

A New Reconfigurable Architecture with Applications to IoT and Mobile Computing

 Amir Masoud Gharehbaghi , Tomohiro Maruoka , Masahiro Fujita
1st IFIP International Internet of Things Conference (IFIPIoT), Sep 2018, Poznan, Poland. pp.133-146, ⟨10.1007/978-3-030-15651-0_12⟩
Conference papers hal-03217363v1
Image document

Model Checking of Concurrent Algorithms: From Java to C

 Cyrille Artho , Masami Hagiya , Watcharin Leungwattanakit , Yoshinori Tanabe , Mitsuharu Yamamoto
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15234-4_10⟩
Conference papers hal-01054483v1
Image document

SDAC: Porting Scientific Data to Spark RDDs

 Tian Yang , Kenjiro Taura , Liu Chao
14th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2017, Hefei, China. pp.127-130, ⟨10.1007/978-3-319-68210-5_13⟩
Conference papers hal-01705439v1
Image document

Comparison of Industry-Academia Partnership Projects for the Purpose of Product Development

 Takashi Konishi , Kenju Akai , Nariaki Nishino , Kazuro Kageyama
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.118-125, ⟨10.1007/978-3-319-22759-7_14⟩
Conference papers hal-01431085v1
Image document

Self-enhancing GPS-Based Authentication Using Corresponding Address

 Tran Phuong Thao , Mhd Irvan , Ryosuke Kobayashi , Rie Shigetomi Yamaguchi , Toshiyuki Nakata
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.333-344, ⟨10.1007/978-3-030-49669-2_19⟩
Conference papers hal-03243648v1
Page :