A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
We develop here an analytical evolution model based on a trinucleotide mutation matrix 64 × 64 with nine substitution parameters associated with the three types of substitutions ...
We describe the implementation of the shearingbox approach into the Godunovtype central-upwind/constraint-transport magnetohydrodynamics code NIRVANA. This will allow for applicat...
Abstract. We introduce "matroid parse trees" which, using only a limited amount of information at each node, can build up the vector representations of matroids of bounde...
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...