![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessApplying surface tension as pressure boundary condition in free surface flow analysis by moving particle simulation method
A model that introduces surface tension as a pressure boundary condition, named the surface tension as pressure (STP) model, was developed for free surface flow analyses by the moving particle simulation (MPS)...
-
Article
Task priority reduces an adverse effect of task load on automation trust in a dynamic multitasking environment
The present study examined how task priority influences operators’ scanning patterns and trust ratings toward imperfect automation. Previous research demonstrated that participants display lower trust and fixa...
-
Protocol
Chromatin Immunoprecipitation Sequencing (ChIP-seq) for Detecting Histone Modifications and Modifiers
Chromatin immunoprecipitation followed by high-throughput sequencing (ChIP-seq) is the most widely used method for analyzing genome-wide DNA–protein interactions. Because there is considerable variation in the...
-
Chapter and Conference Paper
Formalizing Statistical Causality via Modal Logic
We propose a formal language for describing and explaining statistical causality. Concretely, we define Statistical Causality Language (StaCL) for expressing causal effects and specifying the requirements for cau...
-
Chapter and Conference Paper
Revenue Management Problem via Stochastic Programming in the Aviation Industry
This paper presents an optimization model using stochastic programming to secure the optimum seat and maximizing the profit of the airline in consideration of overbooking. Airline seat inventory control involv...
-
Chapter and Conference Paper
Human-Centered Artificial Intelligence: Beyond a Two-Dimensional Framework
Shneiderman’s Human-Centered Artificial Intelligence (HCAI) framework suggests that high human control of automation is necessary to create reliable, safe, and trustworthy systems. The HCAI framework demonstra...
-
Chapter and Conference Paper
Optimal Operation Model of Heat Pump for Multiple Residences
In a world in which global warming is progressing and environmental problems are becoming increasingly severe, the use of energy with a low environmental load has become important. One way to solve this proble...
-
Chapter and Conference Paper
Stochastic Programming Model for Lateral Transshipment Considering Rentals and Returns
Supply chain management is a large-scale planning under uncertainty. It is important to build an efficient supply chain under uncertain circumstances. There are numerous traditional lateral transshipment model...
-
Chapter and Conference Paper
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
The verification framework PPV (Probabilistic Program Verification) verifies functional probabilistic programs supporting higher-order functions, continuous distributions, and conditional inference. PPV is bas...
-
Article
Open AccessThe Japanese Clinical Practice Guidelines for Management of Sepsis and Septic Shock 2020 (J-SSCG 2020)
The Japanese Clinical Practice Guidelines for Management of Sepsis and Septic Shock 2020 (J-SSCG 2020), a Japanese-specific set of clinical practice guidelines for sepsis and septic shock created as revised fr...
-
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...
-
Article
Automation trust increases under high-workload multitasking scenarios involving risk
Trust is a critical construct that influences human–automation interaction in multitasking workspaces involving imperfect automation. Karpinsky et al. (Appl Ergon, 70, 194–201, 2018) investigated whether trust af...
-
Chapter and Conference Paper
Optimization of Power Plant Operation via Stochastic Programming with Recourse
A stochastic programming model of the operation of energy plants with the introduction of photovoltaic generation and a storage battery is developed. The uncertainty of the output of the photovoltaic generatio...
-
Article
Open AccessmiR-124 dosage regulates prefrontal cortex function by dopaminergic modulation
MicroRNA-124 (miR-124) is evolutionarily highly conserved among species and one of the most abundantly expressed miRNAs in the develo** and mature central nervous system (CNS). Previous studies reported that mi...
-
Article
Open AccessAd4BP/SF-1 regulates cholesterol synthesis to boost the production of steroids
Housekee** metabolic pathways such as glycolysis are active in all cell types. In addition, many types of cells are equipped with cell-specific metabolic pathways. To properly perform their functions, housek...
-
Chapter and Conference Paper
Bottleneck Management of Multi-stage Sorting-Packing Operations with Large-Scale Warehouse System
Integration of plural local DCs (Distribution Centers) into a large-scale DC with automatic warehouse system is considered as an effective strategy among logistics industries for responding to the diversifying...
-
Article
Open AccessHistone methyltransferase G9a is a key regulator of the starvation-induced behaviors in Drosophila melanogaster
Organisms have developed behavioral strategies to defend themselves from starvation stress. Despite of their importance in nature, the underlying mechanisms have been poorly understood. Here, we show that Drosoph...
-
Article
Thermal Evolution of the Structure and Activity of Rh Overlayer Catalysts Prepared by Pulsed Arc-Plasma Deposition
Nanometric Rh overlayers were formed on Fe–Cr–Al stainless steel (SUS) foils by pulsed cathodic arc-plasma (AP) technique to investigate the thermal evolution of the structure and catalytic activity for stoich...
-
Article
Open AccessProspective multi-center registry to evaluate efficacy and safety of the newly developed diamond-like carbon-coated cobalt–chromium coronary stent system
The purpose of this multi-center, non-randomized, and open-label clinical trial was to determine the non-inferiority of diamond-like carbon (DLC)-coated cobalt–chromium coronary stent, the MOMO DLC coronary st...
-
Article
Open AccessA deletion in the intergenic region upstream of Ednrb causes head spot in the rat strain KFRS4/Kyo
Head spot is one of the phenotypes identified in the KFRS4/Kyo rat strain. Although previous linkage analysis suggested that Ednrb, which is frequently involved in coat color variations in various animals, could ...