By fully relativistic first principles calculations, we predict that appropriate strain engineering of layered GaX (X=S, Se) leads to a new class of three-dimensional topological insulators with an excitation gap of up to 135 meV. Our results provide a new perspective on the formation of three-dimensional topological insulators. Band inversion can be induced by strain only, without considering ...

The Modelica language supports syntax for declaring physical units of variables, but it does not yet exist any defined semantics for how dimensional and unit consistency checking should be carried out. In this paper we explore different approaches and new constructs for improved dimensional inference and unit consistency checking in Modelica; both from an end-user, library, and tool perspective...

An approach using component technology for the development of System Dynamics models is introduced. At first a brief introduction of System Dynamics, its modeling perspective and its modeling elements is given. The representation of System Dynamics models in Vensim, an interactive software environment for the handling of such models, is described. On this basis the paper provides an approach fo...

When evaluating and developing organisations, the business process perspective is a popular one to use. Several methods exist and there are new ones being developed. When evaluating and/or developing organisations from a business process perspective, there is a need to reconstruct existing business processes. We have experienced problems in distinguishing and delimiting business processes in re...

In this paper we develop a simple analytic characterization of the steady state throughput, as a function of loss rate and round trip time for a bulk transfer TCP ow, i.e., a ow with an unlimited amount of data to send. Unlike the models in [6, 7, 10], our model captures not only the behavior of TCP's fast retransmit mechanism (which is also considered in [6, 7, 10]) but also the e ect of TCP's...

Drawing an inspiration from behavioral studies of human decision making, we propose here a general parametric framework for multi-armed bandit problem, which extends the standard Thompson Sampling approach to incorporate reward processing biases associated with several neurological and psychiatric conditions, including Parkinson’s and Alzheimer’s diseases, attention-deficit/hyperactivity disord...

This paper presents a numerical modelling study on the simulation of the cracking process and fracture energy in concrete under high strain rate. To capture the stress wave effect and the damage evolution at the meso-length scale, both a homogeneous model with a millimetreresolution mesh and an explicit heterogeneous mesoscale model with random polygon aggregates are employed. The tendency of d...

Fault detection and diagnosis is an important problem in process engineering. It is the central component of abnormal event management (AEM) which has attracted a lot of attention recently. AEM deals with the timely detection, diagnosis and correction of abnormal conditions of faults in a process. Early detection and diagnosis of process faults while the plant is still operating in a controllab...

Capacitive deionization (CDI) is a fast-emerging water desalination technology in which a small cell voltage of ~1 V across porous carbon electrodes removes salt from feedwaters via electrosorption. In flow-through electrode (FTE) CDI cell architecture, feedwater is pumped through macropores or laser perforated channels in porous electrodes, enabling highly compact cells with parallel flow and ...

In this paper, we study both processes of direct and indirect knowledge transfer, from a modelling perspective, using agent-based models. In fact, there are several ways to model knowledge. We choose to study three different representations, and try to determine which one allows to better capture the dynamics of knowledge diffusion within a social network. Results show that when knowledge is mo...