Search - IFIP Open Digital Library Access content directly

Filter your results

53 results
Structure: Internal structure identifier : 304304
Page :
sorted by
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

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

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

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

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

Analysis on Data Captured by the Barcode Medication Administration System with PDA for Reducing Medical Error at Point of Care in Japanese Red Cross Kochi Hospital

 Masanori Akiyama , Atsushi Koshio , Nobuyuki Kaihotsu
First IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.122-129, ⟨10.1007/978-3-642-15515-4_13⟩
Conference papers hal-01054866v1
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
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

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

Flexible Harmonic Temporal Structure for Modeling Musical Instrument

 Jun Wu , Yu Kitano , Takuya Nishimoto , Nobutaka Ono , Shigeki Sagayama
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.416-418, ⟨10.1007/978-3-642-15399-0_46⟩
Conference papers hal-01055616v1
Image document

Game Theoretic Analysis of Production Structures in the Japanese Animation Industry: Comparison of Conventional and Production Committee Systems

 Nariaki Nishino , Satoshi Kawabe
International Conference on Advances in Production Management Systems (APMS), Sep 2011, Stavanger, Norway. pp.99-106, ⟨10.1007/978-3-642-33980-6_12⟩
Conference papers hal-01524186v1
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

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
Page :