Skip to main content

previous disabled Page of 12
and
Your search also matched 1,981 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you.
results, e.g.

Time-Series Estimation of the Best Time to View Seasonal Organisms Using Geotagged Tweets and Co-occurring Words

Include preview-only content
  1. Chapter and Conference Paper

    Attosecond Core-Exciton Dynamics in Wide-Gap Insulators

    An option to overcome the limits of electronics are excitons, quasi-particles generated by the electron-hole Coulomb interaction. A fundamental prerequisite is the possibility to control their properties with ...

    Giacomo Inzani, Shunsuke A. Sato in Proceedings of the 8th International Confe… (2024)

  2. Chapter and Conference Paper

    Application of Building Cube Method to Reproduce High-Resolution Hydrodynamics of a Dredged Borrow Pit in Osaka Bay, Japan

    Osaka Bay is a semi-enclosed water body suffering from water quality deterioration caused by numerous borrow pits being excavated during the era of the industrial revolution. To mitigate such conditions, backf...

    Muhammad Ali Hafeez, Tetsunori Inoue in Proceedings of the 11th International Conf… (2024)

  3. Chapter and Conference Paper

    Gradual Tensor Shape Checking

    Tensor shape mismatch is a common source of bugs in deep learning programs. We propose a new type-based approach to detect tensor shape mismatches. One of the main features of our approach is the best-effort s...

    Momoko Hattori, Naoki Kobayashi, Ryosuke Sato in Programming Languages and Systems (2023)

  4. Chapter and Conference Paper

    Correction to: Performance of the Supercomputer Fugaku for Breadth-First Search in Graph500 Benchmark

    Masahiro Nakao, Koji Ueno, Katsuki Fujisawa, Yuetsu Kodama in High Performance Computing (2021)

  5. Chapter and Conference Paper

    Graded Hoare Logic and its Categorical Semantics

    Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend of increasing the expressive p...

    Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard in Programming Languages and Systems (2021)

  6. Chapter and Conference Paper

    EVIDENT: Extraction and Visualization Interface of Drawing Execution in Neuropsychological Tests

    In order to support health professionals and clinical psychologists to understand the execution process of neuropsychological drawing tests without expert knowledge of data analysis, we develop a Web applicat...

    Ryukichi Sekimoto, Sachio Saiki in Digital Human Modeling and Applications in… (2020)

  7. Chapter and Conference Paper

    Genetic Assessments for Clinical Courses of Left Ventricle Noncompaction

    Left ventricle noncompaction (LVNC) is a clinically heterogeneous disorder. Although several genetic mutations have been reported, only a little is known about its genotype–phenotype correlation. We report two...

    Yoshitsugu Nogimori, Akio Kato in Molecular Mechanism of Congenital Heart Di… (2020)

  8. Chapter and Conference Paper

    Evaluation of Driver Drowsiness While Using Automated Driving Systems on Driving Simulator, Test Course and Public Roads

    This paper describes an investigation of evaluation indices for assessing driver conditions when using an automated driving system. We focused on a driver drowsiness in the automated mode. A driving simulator ...

    Toshihisa Sato, Yuji Takeda in HCI in Mobility, Transport, and Automotive… (2020)

  9. Chapter and Conference Paper

    Evaluation of Changes in Perceived Intensity and Threshold of Moisture Sensation of Clothes Associated with Skin Moisture

    Moisture sensation is an important determinant of clothing comfort. Conventional studies have attempted to elucidate the mechanism behind moisture sensation by using wet sample cloths that vary by water conten...

    Shanyi You, Mai Shibahara, Katsunari Sato in Haptics: Science, Technology, Applications (2020)

  10. Chapter and Conference Paper

    Proposal of Perception Method of Existence of Objects in 3D Space Using Quasi-electrostatic Field

    In real space, it is possible to know if there is a person standing behind you without turning one’s head. This is due to the quasi-electrostatic field, a type of electric fields that can be recognized by simu...

    Kenta Suzuki, Koya Abe, Hisashi Sato in Design, User Experience, and Usability. De… (2020)

  11. Chapter and Conference Paper

    ArtPDGAN: Creating Artistic Pencil Drawing with Key Map Using Generative Adversarial Networks

    A lot of researches focus on image transfer using deep learning, especially with generative adversarial networks (GANs). However, no existing methods can produce high quality artistic pencil drawings. First, a...

    SuChang Li, Kan Li, Ilyes Kacher, Yuichiro Taira in Computational Science – ICCS 2020 (2020)

  12. Chapter and Conference Paper

    Develo** an AR Remote Collaboration System with Semantic Virtual Labels and a 3D Pointer

    Referential communication is common in physical remote collaboration. To successfully transfer instructions, remote instructors have to refer objects in the local worker’s environment. However, it is known tha...

    Tzu-Yang Wang, Yuji Sato, Mai Otsuki in Human Interface and the Management of Info… (2020)

  13. Chapter and Conference Paper

    eHealth Approach for Motivating Physical Activities of People with Intellectual Disabilities

    Compared with the general population, people with intellectual disabilities have worse health, lower levels of activity, and greater barriers to participating in fitness activities. Regular physical activity h...

    Valter Berg, Vebjørn Haugland in Digital Transformation for a Sustainable S… (2020)

  14. Chapter and Conference Paper

    Supporting Online Video e-Learning with Semi-automatic Concept-Map Generation

    E-learning, which can be used anywhere and at any time, is very convenient and has been introduced to improve learning efficiency. However, securing a completion rate has been a major problem. Recently, the le...

    Tessai Hayama, Shuma Sato in Learning and Collaboration Technologies. D… (2020)

  15. Chapter and Conference Paper

    Visuo-Haptic Display by Embedding Imperceptible Spatial Haptic Information into Projected Images

    Visuo-haptic augmented reality (AR) systems that represent visual and haptic sensations in a spatially and temporally consistent manner are used to improve the reality in AR applications. However, existing vis...

    Yamato Miyatake, Takefumi Hiraki in Haptics: Science, Technology, Applications (2020)

  16. Chapter and Conference Paper

    Threat Analysis of Poisoning Attack Against Ethereum Blockchain

    In recent years, blockchain technology has witnessed remarkable developments in its application to crypto assets (cryptocurrency) considering not only function storing values but also extension of the smart c...

    Teppei Sato, Mitsuyoshi Imamura, Kazumasa Omote in Information Security Theory and Practice (2020)

  17. Chapter and Conference Paper

    The Relationship Between Drowsiness Level and Takeover Performance in Automated Driving

    Although automated driving systems can perform dynamic driving tasks, at its lower levels, human drivers must still take over control of the vehicle whenever a Take Over Request (TOR) is issued. Human factors ...

    Yanbin Wu, Ken Kihara, Yuji Takeda in HCI in Mobility, Transport, and Automotive… (2020)

  18. Chapter and Conference Paper

    Development of a Interface Which Was Customized for People with Disabilities Using 3D Printers

    The UI (User Interface) usable by handicapped people has used a combination of ready-made products in the past. However, combining ready-made items alone is not sufficient for ease of use, and not only the yaw...

    Yudai Sato, Takeo Ainoya, Ryuta Motegi in Human Interface and the Management of Info… (2019)

  19. Chapter and Conference Paper

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

    In this research, we leverage the emerging concept of network slicing to enable the end-to-end integrated Information-Centric Networking (ICN) and Content Delivery Network (CDN) for 5G networking infrastructur...

    Chengkai Yan, Quang Ngoc Nguyen, Ilias Benkacem in Wired/Wireless Internet Communications (2019)

  20. Chapter and Conference Paper

    Analysis of Differences in the Manner to Move Objects in a Real and Virtual Space

    One crucial property of virtual reality (VR) is “self-projection”. This means that an avatar representing a user in a virtual space is the user itself with a higher level of reality. It can be referred to as a...

    Yuki Tasaka, Hikaru Ichimaru, Sakae Yamamoto in Human Interface and the Management of Info… (2019)

previous disabled Page of 12