Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to represent the control-flow of business process models. We structurally characterize lack of synchronization in an acyclic workflow graph. Based on this characterization, we show how to detect lack of synchronization in qua...

We describe the extension of the multiplication on a not-necessarily-discrete topological monoid to its flow compactification. We offer two applications. The first is a nondiscrete version of Hindman’s Theorem, and the second is a characterization of the projective minimal and elementary flows in terms of idempotents of the flow compactification of the monoid.

With the exception of hematological malignancies, flow cytometry (FC) is infrequently applied as an ancillary tool in the diagnosis of malignant effusions in most institutions. However, FC may be effectively used to differentiate between epithelial cells, mesothelial cells and leukocytes using antibodies against both cell surface and intracellular proteins, offering the advantage of quantitativ...

UNLABELLED Airborne disease transmission has always been a topic of wide interests in various fields for decades. Cough is found to be one of the prime sources of airborne diseases as it has high velocity and large quantity of droplets. To understand and characterize the flow dynamics of a cough can help to control the airborne disease transmission. This study has measured flow dynamics of coug...

With the exception of hematological malignancies, flow cytometry (FC) is infrequently applied as an ancillary tool in the diagnosis of malignant effusions in most institutions. However, FC may be effectively used to differentiate between epithelial cells, mesothelial cells and leukocytes using antibodies against both cell surface and intracellular proteins, offering the advantage of quantitativ...

With the exception of hematological malignancies, flow cytometry (FC) is infrequently applied as an ancillary tool in the diagnosis of malignant effusions in most institutions. However, FC may be effectively used to differentiate between epithelial cells, mesothelial cells and leukocytes using antibodies against both cell surface and intracellular proteins, offering the advantage of quantitativ...

Analyzing the crowd dynamics from video sequences is an open challenge in computer vision. Under a high crowd density assumption, we characterize the dynamics of the crowd flow by two related information: velocity and a disturbance potential which accounts for several elements likely to disturb the flow (the density of pedestrians, their interactions with the flow and the environment). The aim ...

Fluorescence sensitivity, measured in terms of resolution, allows the researcher to more accurately answer the question of how dim a cell can be and still be resolvable from another population. This measure focuses on the width, i.e., the standard deviation, of the population distributions and not on the location, i.e., the mean intensity, of populations on a histogram scale relative to the bac...

A straight-line triangle representation (SLTR) of a planar graph is a straight-line drawing such that all the faces including the outer face are triangles. Such a drawing can be viewed as a tiling of a triangle with triangles where the input graph is the skeletal structure. A characterization based on flat angle assignments, i.e., selections of angles of the graph that are of size π in the repr...

Melt flow in continuous casting tundishes is normal[y characterized by a combined model. The model is used to analyze the residence time disttibution of fluid in a tundish, In this model, the fluid volume in tundish is considered to be consisting of the plug flow, well-mixed flow, and dead volumes. Although this model was proposed over 20 years ago, most researchers have either used it incorrec...