The concept of comprehensive Grobner bases was introduced by Weispfenning. Montes has proposed an efficient algorithm for computing these bases. But he has not explicitly used Buchberger's criteria in his algorithm. In this paper we prove that we can apply these criteria on Montes algorithm. We propose a modified version of Montes algorithm and evaluate its performance via some examples.

The hydration of biomolecules is vitally important in molecular biology, so in this paper thesolvation energy and radial distribution function of DNA bases have been calculated by theMonte Carlo simulation.The geometries of isolated Adenine, Guanine, Cytosine, and Thyminehave been optimized using 6-31+G(d,p) basis function sets. These geometries then will be used inthe Monte Carlo calculation o...

BACKGROUND Helicopter emergency medical services are an important part of many healthcare systems. Norway has a nationwide physician staffed air ambulance service with 12 bases servicing a country with large geographical variations in population density. The aim of the study was to estimate optimal air ambulance base locations. METHODS We used high resolution population data for Norway from 2...

We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable substitute for exact implication bases in practical use-cases. To this end, we quantitatively examine the behavior of probably approximately correct implicati...