Time filter

Source Type

Ogata M.,Keio University | Ogata M.,JSPS Research Fellow | Ogata M.,Microsoft | Fukumoto M.,Microsoft
Conference on Human Factors in Computing Systems - Proceedings | Year: 2015

FluxPaper is a new paper-based medium that enables physical movement and dynamic interaction between a high-power magnetized paper and a programmable magnetic field. FluxPaper has a very thin patterned magnetic layer (0.1 mm) pasted behind the paper. A thin but strong neodymium-based magnet realizes fast, powerful, and precise physical actions while retaining the original characteristics of the paper that is widely used in our daily lives. Owing to an effective magnetic pattern and a computer-controlled magnetic field, FluxPaper can add new interaction modality to ordinary paper. We describe the functions of magnetized paper; challenges through realization; and the interaction scenarios in several applications, such as self-alignment, self-construction, floating on the board, and quickly picking out a target card from a stack. © Copyright 2015 ACM.

Yoshinaka F.,Hokkaido University | Yoshinaka F.,JSPS Research Fellow | Nakamura T.,Hokkaido University | Nakayama S.,Hokkaido University | And 3 more authors.
International Journal of Fatigue | Year: 2016

The propagation of an internal fatigue crack in Ti-6Al-4V was non-destructively observed by synchrotron radiation μCT imaging to clarify the crack growth rate in very high cycle fatigue. The results show that the internal crack propagated quite slowly at a rate of less than 10-10 m/cycle. The propagation rate of an internal crack was compared with that of a surface crack in air and in high vacuum to examine the internal fracture process in terms of the environment around the crack. The rate of the internal crack was similar to that of the surface crack in high vacuum, but was significantly lower than that in air. This led us to conclude that the low propagation rate of the internal crack is due to the vacuum-like environment inside the crack. © 2016 Elsevier Ltd.

Kido K.,University of Tokyo | Kido K.,JSPS Research Fellow | Chaudhuri S.,Rice University | Hasuo I.,University of Tokyo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2016

We extend abstract interpretation for the purpose of verifying hybrid systems. Abstraction has been playing an important role in many verification methodologies for hybrid systems, but some special care is needed for abstraction of continuous dynamics defined by ODEs. We apply Cousot and Cousot’s framework of abstract interpretation to hybrid systems, almost as it is, by regarding continuous dynamics as an infinite iteration of infinitesimal discrete jumps. This extension follows the recent line of work by Suenaga, Hasuo and Sekine, where deductive verification is extended for hybrid systems by (1) introducing a constant dt for an infinitesimal value; and (2) employing Robinson’s nonstandard analysis (NSA) to define mathematically rigorous semantics. Our theoretical results include soundness and termination via uniform widening operators; and our prototype implementation successfully verifies some benchmark examples. © Springer-Verlag Berlin Heidelberg 2016.

Nakamura T.,University of Electro - Communications | Nishimura N.,University of Electro - Communications | Sato M.,University of Electro - Communications | Sato M.,JSPS Research Fellow | And 2 more authors.
Proceedings - IEEE Virtual Reality | Year: 2014

When a wire hanger is placed sideways on the head, and the temporal region is sandwiched by the hanger, the head rotates unexpectedly. This phenomenon has been named the 'Hanger Reflex'. Although it is a simple method for producing pseudoforce sensation, the use of the wire hanger in this way has up until now been limited in posistion to the head. Here we report a new finding that when a wrist or waist is equipped with a device of a larger circumferance the arm or the body rotates involuntarily. This fact suggests that the Hanger Reflex principle might be applicable to parts of the body other than the head, leading to the possible compact whole-body force display. This paper documents the development and testing of the devices and, suggesting stable presentation of the rotational force. © 2014 IEEE.

Yoshinaka F.,Hokkaido University | Yoshinaka F.,JSPS Research Fellow | Nakamura T.,Hokkaido University | Takaku K.,Hokkaido University
International Journal of Fatigue | Year: 2016

Small fatigue crack propagation tests were conducted on Ti-6Al-4V in ultrahigh vacuum, air, and argon to clarify the effects of vacuum on crack propagation processes. The crack propagation rate in vacuum was significantly lower than that in air. The crack propagation rate in argon agreed with that in air in the small crack regime; however, it became similar to that in vacuum in the long crack regime. This indicates that the existence of gases has significant effects in the small crack regime, even if they are chemically inert. These results led us to conclude that, in addition to chemical inactivity, the absence of physical adsorption plays an important role in the retarding effect of vacuum on small crack propagation. © 2016 Elsevier Ltd. All rights reserved.

Discover hidden collaborations