Aerosol particles can readily penetrate through air permeable fabrics. Air flow and aerosol deposition models were used to determine the skin deposition rates of aerosols through up to two fabric layers. These models were used in conjunction with a plume dispersion model to examine the risks associated with wearing air permeable CBR protective clothing, to inform IPE fabric development programs...

A priority queue is presented that supports the operations insert and find-min in worst-case constant time, and delete and deletemin on element x in worst-case O(lg(min{wx, qx} + 2)) time, where wx (respectively qx) is the number of elements inserted after x (respectively before x) and are still present at the time of the deletion of x. Our priority queue then has both the working-set and the q...

This paper presents a general intensity-based framework to value executive stock options (ESOs). It builds upon the recent advances in the credit risk modeling arena. The early exercise or forfeiture due to voluntary or involuntary employment termination and the early exercise due to the executive’s desire for liquidity or diversification are modeled as an exogenous point process with random in...

We present a novel methodology for test case generation based on UML sequence diagrams. We create message dependence graphs (MDG) from UML sequence diagrams. Edge marking dynamic slicing method is applied on MDG to create slices. Based on the slice created with respect to each predicate on the sequence diagram, we generate test data. We formulate a test adequacy criterion named slice coverage c...

It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some original functionality but the environment demands an agent with a slightly different functionality, so the agent redesigns itself. It is possible to take a case-based approach to this redesign task. Furthermore, one class ...

The increased interest in using Building Information Modeling (BIM) in detailed construction cost estimates calls for methodologies to evaluate the effectiveness of BIM-Assisted Detailed Estimating (BADE) tools in generating detailed construction cost estimates. The focus of this study is on developing a quantified evaluation method to measure the impact of these BADE tools. Further, in order t...

This paper proposes a software process model based on the detailed description of software processes properties for the reuse and classification of their components. The proposed approach adopts the explicit separation of the main dimensions on process modeling. Also, the APSEE-Reuse system adopts a Case-Based Reasoning (CBR) approach to identify the similarity between the problem (the set of d...

Sharing and reuse of best-practice process models is an important knowledge management approach for business process modelling. Process-oriented Case-Based Reasoning (PO-CBR) supports this by retrieving and adapting processes or workflows based on models stored in the repository, which requires an expressive query language. Hence, we present a novel query language for workflows that enables to ...

UML has become the "de facto" standard for modeling object-oriented software. However, the UML notation suffers from an imprecise and incomplete semantics definition, which makes difficult to automated analysis and is errors-prone. Formal methods have been used largely in order to deal with this problem. This paper proposes an approach to formally describe Use Case Diagram using the Event-B lan...

We will describe a method for classifying images which has been applied to the Popocatépetl Volcano’s images. The Popocatépetl, located in the limits of the State of Puebla in México, is active and under monitoring since 1997. The method we describe applies Image Based Reasoning (IBR), a combination of Case Based Reasoning (CBR) and Image Processing and