This paper proposes a simple and scalable web-based model for grid resource discovery for the Internet. The resource discovery model contains the metadata and resource finder web services. The information of resource finder web services is kept in the repositories that are distributed in the application layer of Internet. The resource finder web services will be discovered by sending queries to...

The tibio-femoral joint has been mechanically approximated with two fixed kinematic axes of rotation, the longitudinal rotational (LR) axis in the tibia and the flexion-extension (FE) axis in the femur. The mechanical axis finder developed by Hollister et al. (1993, "The Axes of Rotation of the Knee," Clin. Orthop. Relat. Res., 290, pp. 259-268) identified the two fixed axes but the visual-base...

Vortex finder is a key part of cyclone separator. In the present study, multi-objective optimization of vortex finder is performed at three steps. At the first step, collection efficiency (η) and the pressure drop (∆p) in a set of cyclones with different vortex finder shape are numerically investigated using CFD techniques. Two meta-models based on the evolved group method of data handling (GMD...

This paper introduces the Weight Finder, an advanced profiler for Fortran programs,which is based on a von Neumann architecture. Existing Fortran codes are generally too large toanalyze fully in depth with respect to performance tuning. It is the responsibility of the WeightFinder to detect the most important regions of code in the program, as far as execution time isconcerned. ...

This paper introduces the Weight Finder, an advanced profiler for Fortran programs,which is based on a von Neumann architecture. Existing Fortran codes are generally too large toanalyze fully in depth with respect to performance tuning. It is the responsibility of the WeightFinder to detect the most important regions of code in the program, as far as execution time isconcerned. ...

Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based firstorder relational model finder. Nitpick supports unbounded quantification, (co)inductive predicates and datatypes, and (co)recursive functions. Fundamentally a finite model finder, it approximates infinite types by finite subsets. Our experimental results on Isabelle theories and the TPTP library indic...

This paper analyzes the relationship between the competitive environment faced by depository institutions and the decisions these institutions make regarding the size of their branch networks. Specifically, we consider branches as a sunk investment that potentially increases utility for consumers and examine how local competition and product differentiation affect firms’ decisions regarding whe...

This paper describes theoretical and experimental results for the auto-calibration of sensor platform consisting of a camera and a laser range finder. Real-world use of autonomous sensor platforms often requires the re-calibration of sensors without an explicit calibration object. The constraints are based upon data captured simultaneously from the camera and the laser range finder while the se...