Concepts-This guide summarizes the equipment, field procedures, and data processing methods used to interpret geologic conditions, and to identify and provide locations of geologic anomalies and man-made objects with the GPR method. Th...

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

How to allocate a resource efficiently and fairly attracts the attention of both researchers and practitioners. Data envelopment analysis (DEA) has been brought to bear on its solution. The existing literature applies Gini coefficient to measure the fairness in the resource allocation process. Howev...

A rough set method is presented in this paper to assess the credit of contractors. Unlike traditional methods, the rough set method deduces credit-classifying rules from actual data to predict new cases. The method uses a contractors' database with a genetic algorithm and an exhaustive reduction imp...

Resource-constrained project scheduling problem(RCPSP) is an important problem in research on project management. But there has been little attention paid to the objective of minimizing activities' cost with the resource constraints that is a critical sub-problem in partner selection of construction...