Daisuke Ishii
YOU?
Author Swipe
View article: Comparison of Lightweight Methods for Vehicle Dynamics-Based Driver Drowsiness Detection
Comparison of Lightweight Methods for Vehicle Dynamics-Based Driver Drowsiness Detection Open
Driver drowsiness detection (DDD) prevents road accidents caused by driver fatigue. Vehicle dynamics-based DDD has been proposed as a method that is both economical and high performance. However, there are concerns about the reliability of…
View article: Tensegrity-inspired polymer films: progressive bending stiffness through multipolymeric patterning
Tensegrity-inspired polymer films: progressive bending stiffness through multipolymeric patterning Open
Materials with J-shaped stress-strain behavior under uniaxial stretching have been developed using various designs; in these materials, the strength increases as the deformation progresses. On the other hand, polymer materials that progres…
View article: Tensegrity-Inspired Polymer Films: Progressive Bending Stiffness through Multipolymeric Patterning
Tensegrity-Inspired Polymer Films: Progressive Bending Stiffness through Multipolymeric Patterning Open
Materials with J-shaped stress-strain behavior under uniaxial stretching, where strength increases as deformation progresses, have been developed through various materials designs. On the other hand, polymer materials that progressively st…
View article: Functionally graded structures in the involucre of Job’s tears
Functionally graded structures in the involucre of Job’s tears Open
Nature is filled with materials that are both strong and light, such as bones, teeth, bamboo, seashells, arthropod exoskeletons, and nut shells. The insights gained from analyzing the changing chemical compositions and structural character…
View article: A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method Open
The compositional approach is important for reasoning about large and complex systems. In this work, we address synchronous systems with hierarchical structures, which are often used to model cyber-physical systems. We revisit the theory o…
View article: Sustainability of Water Sprinkling Effect of Water-Retaining Ceramic Block
Sustainability of Water Sprinkling Effect of Water-Retaining Ceramic Block Open
In recent years, heat management by a temperature reduction effect, such as a water sprinkling effect, is strongly desired because of suppression of global warming. In this study, in order to evaluate the sustainability of the water sprink…
View article: FOREWORD
FOREWORD Open
Mathematical systems science (MSS), the study of design, analysis, verification, and control based on mathematical models, is expected to be applied to various engineering and scientific problems.
View article: Synthesis, Properties and Chemical Modification of a Persistent Triisopropylsilylethynyl Substituted Tri(9-anthryl)methyl Radical
Synthesis, Properties and Chemical Modification of a Persistent Triisopropylsilylethynyl Substituted Tri(9-anthryl)methyl Radical Open
In studies aimed at developing new organic spin materials, we prepared a triisopropylsilylethynyl substituted tri(9-anthryl)methyl (TAntM) radical. The TIPS-ethynyl group in this radical effectively suppress its reactivity, resulting in ex…
View article: Synthesis, properties and chemical modification of a persistent triisopropylsilylethynyl substituted tri(9-anthryl)methyl radical
Synthesis, properties and chemical modification of a persistent triisopropylsilylethynyl substituted tri(9-anthryl)methyl radical Open
The triisopropylsilylethynyl substitute tri(9-anthryl)methyl (TAntM) radical is extremely persistent and can be chemically modified directly without harsh conditions or metal catalysts.
View article: Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking Open
One of the effective model checking methods is to utilize the efficient decision procedure of SAT (or SMT) solvers. In a SAT-based model checking, a system and its property are encoded into a set of logic formulas and the safety is checked…
View article: Optimizing Liquid Transport Velocity of Bioinspired Open-type Micro-blade Arrays
Optimizing Liquid Transport Velocity of Bioinspired Open-type Micro-blade Arrays Open
Microfluidic devices are used in many ways, including bioanalysis and chemical synthesis. Nevertheless, these devices have some issues, such as their susceptibility to bubble entrapment and impurities, and their necessity for high pressure…
View article: Formalizing the Soundness of the Encoding Methods of SAT-based Model\n Checking
Formalizing the Soundness of the Encoding Methods of SAT-based Model\n Checking Open
One of the effective model checking methods is to utilize the efficient\ndecision procedure of SAT (or SMT) solvers. In a SAT-based model checking, a\nsystem and its property are encoded into a set of logic formulas and the safety\nis chec…
View article: Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models Open
MATLAB/Simulink is the de facto standard tool for the model-based development (MBD) of control software for automotive systems.A Simulink model developed in MBD for real automotive systems involves complex computation as well as tens of th…
View article: Declarative Semantics of the Hybrid Constraint Language HydLa
Declarative Semantics of the Hybrid Constraint Language HydLa Open
Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid sy…
View article: Molecular basis of wax-based color change and UV reflection in dragonflies
Molecular basis of wax-based color change and UV reflection in dragonflies Open
Many animals change their body color for visual signaling and environmental adaptation. Some dragonflies show wax-based color change and ultraviolet (UV) reflection, but the biochemical properties underlying the phenomena are totally unkno…
View article: Author response: Molecular basis of wax-based color change and UV reflection in dragonflies
Author response: Molecular basis of wax-based color change and UV reflection in dragonflies Open
Article Figures and data Abstract eLife digest Introduction Results and discussion Materials and methods Data availability References Decision letter Author response Article and author information Metrics Abstract Many animals change their…
View article: Difference of dynamic property of water contacting on Kairagi ceramic by sintering temperature
Difference of dynamic property of water contacting on Kairagi ceramic by sintering temperature Open
In the well-kneaded Kaigragi ceramic cup, we are investigating the difference in the phenomenon of "tears of wine" caused by sintering temperature. In this report, the sliding behavior of the water droplet contacting on the ceramic surface…
View article: A modified ‘NanoSuit®’ preserves wet samples in high vacuum: direct observations on cells and tissues in field-emission scanning electron microscopy
A modified ‘NanoSuit®’ preserves wet samples in high vacuum: direct observations on cells and tissues in field-emission scanning electron microscopy Open
Although field-emission scanning electron microscopy (FE-SEM) has proven very useful in biomedical research, the high vacuum required (10 −3 to 10 −7 Pa) precludes direct observations of living cells and tissues at high resolution and ofte…
View article: Supplementary material from "A modified ‘NanoSuit’ preserves wet samples in high vacuum: direct observations on cells and tissues in field-emission scanning electron microscopy"
Supplementary material from "A modified ‘NanoSuit’ preserves wet samples in high vacuum: direct observations on cells and tissues in field-emission scanning electron microscopy" Open
Although field-emission scanning electron microscopy (FE-SEM) has proven very useful in biomedical research, the high vacuum required (10−3 to 10−7 Pa) precludes direct observations of living cells and tissues at high resolution and often …
View article: Does the kinorhynch have a hydrophobic body surface? Measurement of the wettability of a meiobenthic metazoan
Does the kinorhynch have a hydrophobic body surface? Measurement of the wettability of a meiobenthic metazoan Open
The body surface of aquatic invertebrates is generally thought to be hydrophilic to prevent the attachment of air bubbles. In contrast, some interstitial invertebrates, such as kinorhynchs and some crustaceans, have a hydrophobic body surf…
View article: Monitoring Temporal Properties Using Interval Analysis
Monitoring Temporal Properties Using Interval Analysis Open
Verification of temporal logic properties plays a crucial role in proving the\ndesired behaviors of continuous systems. In this paper, we propose an interval\nmethod that verifies the properties described by a bounded signal temporal\nlogi…
View article: The &ldquo;NanoSuit<sup>&reg;</sup>&rdquo; as Biomimetic Biofilms: A Novel Scanning Electron Microscopy for Living Organisms
The “NanoSuit<sup>®</sup>” as Biomimetic Biofilms: A Novel Scanning Electron Microscopy for Living Organisms Open
Electron beam radiation or plasma treatment of the extracellular substances (ECS) of Drosophila's maggots allowed them to survive in the high vacuum environment of a scanning electron microscope (SEM). The plasma-polymerized nano-film of t…