Statistical inference of phylogenies almost didn’t happen. The story of the origin, growth, and spread of “statistical phylogenetics” needs to be told, because it is so strange. It is not the straightforward story of gradual spread that one might imagine. It starts with the development of numerical methods in systematics, whose modern proponents were Sokal and Sneath. Their work, embodied in th...

Current crawler-based search engines usually return a long list of search results containing a lot of noise documents. By indexing collected documents on topic path in taxonomy, taxonomy-based search engines can improve the search result qualities. However, the searches are limited to the locally compiled databases. In this paper, we propose an adaptive web search method to improve the search r...

Using the highly recommended numerical techniques, a finite element computer code is developed to analyse the steady incompressible, laminar and turbulent flows in 2-D domains with complex geometry. The Petrov-Galerkin finite element formulation is adopted to avoid numerical oscillations. Turbulence is modeled using the two equation k-ω model. The discretized equations are written in the form o...

Using the highly recommended numerical techniques, a finite element computer code is developed to analyse the steady incompressible, laminar and turbulent flows in 2-D domains with complex geometry. The Petrov-Galerkin finite element formulation is adopted to avoid numerical oscillations. Turbulence is modeled using the two equation k-ω model. The discretized equations are written in the form o...

We present our work in progress on the Lighthouse framework, a multifaceted web-based user interface to a taxonomy of numerical software. The taxonomy provides an organized anthology of software components and programming tools needed for the construction of highly-optimized matrix algebra software. It builds upon and improves existing collections of numerical software, adding tools for the tun...

We present an application of formal concept analysis aimed at creating and representing a meaningful structure of knowledge communities under the form of a lattice-based taxonomy built upon groups of agents jointly manipulating some notions. The resulting structure is however usually extremely complex, hence uneasy to comprehend. We consider two approaches to build a concise representation resp...