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...

Here we propose a tour about the life of Isaac Newton, using a georeferenced method, based on the free satellite maps. Our tour is modelled on the time-line of the great scientist’s life, as an ancient “itinerarium” was modelled on the Roman roads, providing a listing of places and intervening distances, sometimes with short description or symbols concerning the places. KML language and Google ...

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...