With the development of urbanization, underground commercial buildings (UCB) are facing severe challenges in fire safety management due to their unique structure and environmental characteristics.This study constructed a fire casualty risk assessment model that combines fuzzy fault tree analysis (FFTA) and Bayesian network (BN), aiming to quantitat

Departing from the discourse on whether a specific (social, ethical) responsibility is attached to the creation and manipulation of algorithms, this article questions the prerequisite of having an identity of algorithms to which that responsibility could be attached.After showing that such identity is partly fictional due to the fact that algorithm

There is a close connection between data-flow analysis and model checking as observed and studied in the nineties by Steffen and Schmidt.This indicates that automata-based analysis techniques developed in the realm of infinite-state model checking can be applied as data-flow analyzers that interpret complex control structures, which motivates the d

Thanks to recent advances in high-performance computing and deep learning, computer vision algorithms coupled with spatial analysis methods provide a unique opportunity for extracting human activity patterns from geo-tagged social media images.However, there are only a handful of studies that evaluate the utility of computer vision algorithms for s