27 citations
5 papers
Multi-Level Bayesian Calibration of a Multi-Component Dynamic System Model
Berkcan Kapusuzoglu, Sankaran Mahadevan, Shunsaku Matsumoto +2
This paper proposes a multi-level Bayesian calibration approach that fuses information from heterogeneous sources and accounts for uncertainties in modeling and measurements for ti…
Adaptive surrogate modeling for high-dimensional spatio-temporal output
Berkcan Kapusuzoglu, Shunsaku Matsumoto, Yoshitomo Miyagi +2
This paper develops an adaptive surrogate modeling method for problems with very high-dimensional spatio-temporal outputs. The analysis of spatio-temporal multi-physics systems is…
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…
Completeness of Kozen's Axiomatization for the Modal mu-Calculus: A Simple Proof
Kuniaki Tamura
The modal mu-calculus, introduced by Dexter Kozen, is an extension of modal logic with fixpoint operators. Its axiomatization, Koz, was introduced at the same time and is an extens…
A Framework for Interactive Work Design based on Digital Work Analysis and Simulation
Liang Ma, Wei Zhang, Huanzhang Fu +3
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operati…