Zobrazeno 1 - 10
of 427
pro vyhledávání: '"Dvořák Pavel"'
Proving super-polynomial lower bounds on the size of proofs of unsatisfiability of Boolean formulas using resolution over parities is an outstanding problem that has received a lot of attention after its introduction by Raz and Tzamaret [Ann. Pure Ap
Externí odkaz:
http://arxiv.org/abs/2402.04364
[Alecu et al.: Graph functionality, JCTB2021] define functionality, a graph parameter that generalizes graph degeneracy. They research the relation of functionality to many other graph parameters (tree-width, clique-width, VC-dimension, etc.). Extend
Externí odkaz:
http://arxiv.org/abs/2302.11862
Publikováno v:
Measurement Science Review, Vol 14, Iss 6, Pp 357-364 (2014)
This work discusses fully automated extraction of brain tumor and edema in 3D MR volumes. The goal of this work is the extraction of the whole pathological area using such an algorithm that does not require a human intervention. For the good visibili
Externí odkaz:
https://doaj.org/article/b43137c0fa18439595a056f5ae5f7627