Search - IFIP Open Digital Library Access content directly

Filter your results

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

Development of IPSJ Data Science Curriculum Standard

 Tetsuro Kakeshita , Kazuo Ishii , Yoshiharu Ishikawa , Hitoshi Matsubara , Yutaka Matsuo , et al.
Open Conference on Computers in Education (OCCE), Aug 2021, Tampere, Finland. pp.156-167, ⟨10.1007/978-3-030-97986-7_13⟩
Conference papers hal-04161448v1
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
Image document

Delay Testing Based on Multiple Faulty Behaviors

 Masahiro Fujita
23th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2015, Daejeon, South Korea. pp.87-108, ⟨10.1007/978-3-319-46097-0_5⟩
Conference papers hal-01578614v1
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

SAT-Based Mapping of Data-Flow Graphs onto Coarse-Grained Reconfigurable Arrays

 Yukio Miyasaka , Masahiro Fujita , Alan Mishchenko , John Wawrzynek
28th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2020, Salt Lake City, UT, United States. pp.113-131, ⟨10.1007/978-3-030-81641-4_6⟩
Conference papers hal-03759734v1
Image document

Role and Value of Character Design of Social Robots

 Junichi Osada , Keiji Suzuki , Hitoshi Matsubara
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.338-350, ⟨10.1007/978-3-030-65736-9_31⟩
Conference papers hal-03686023v1
Image document

Self-stabilizing Distributed Algorithms by Gellular Automata

 Taiga Hongu , Masami Hagiya
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.86-98, ⟨10.1007/978-3-030-61588-8_7⟩
Conference papers hal-03659466v1
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

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

Design and Implementation of Integrated ICN and CDN as a Video Streaming Service

 Chengkai Yan , Quang Ngoc Nguyen , Ilias Benkacem , Daisuke Okabe , Akihiro Nakao , et al.
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.194-206, ⟨10.1007/978-3-030-30523-9_16⟩
Conference papers hal-02881749v1
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

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

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

Parametric updates in parametric timed automata

 Étienne André , Didier Lime , Mathias Ramparison
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers hal-02153238v1
Image document

Learning to Identify Rush Strategies in StarCraft

 Teguh Budianto , Hyunwoo Oh , Takehito Utsuro
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.90-102, ⟨10.1007/978-3-319-99426-0_8⟩
Conference papers hal-02128626v1
Image document

Fibrational Bisimulations and Quantitative Reasoning

 David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers hal-01901092v1
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

Identifying Rush Strategies Employed in StarCraft II Using Support Vector Machines

 Teguh Budianto , Hyunwoo Oh , Yi Ding , Zi Long , Takehito Utsuro
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.357-361, ⟨10.1007/978-3-319-66715-7_39⟩
Conference papers hal-01771286v1
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

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

Inclusive Side-Scrolling Action Game Securing Accessibility for Visually Impaired People

 Masaki Matsuo , Takahiro Miura , Masatsugu Sakajiri , Junji Onishi , Tsukasa Ono
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.410-414, ⟨10.1007/978-3-319-68059-0_41⟩
Conference papers hal-01679808v1
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

Open Data Reuse, Recycling and Sharing as Potential Solution to Data and Information Resource Inadequacies

 Kyla Matias , Tetsuo Kidokoro , Scira Menoni , Ouejdane Mejri , Negar Aminoltaheri
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.221-231, ⟨10.1007/978-3-319-59111-7_19⟩
Conference papers hal-01650085v1
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

Updating Policies in CP-ABE-Based Access Control: An Optimized and Secure Service

 Somchart Fugkeaw , Hiroyuki Sato
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.3-17, ⟨10.1007/978-3-319-44482-6_1⟩
Conference papers hal-01638598v1
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

Elderly User Evaluation of Mobile Touchscreen Interactions

 Masatomo Kobayashi , Atsushi Hiyama , Takahiro Miura , Chieko Asakawa , Michitaka Hirose , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.83-99, ⟨10.1007/978-3-642-23774-4_9⟩
Conference papers hal-01590558v1
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

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

Efficient User-Assisted Content Distribution over Information-Centric Network

 Hyunyong Lee , Akihiro Nakao
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.1-12, ⟨10.1007/978-3-642-30045-5_1⟩
Conference papers hal-01531115v1
Page :