Influence of thyroid-stimulating hormone levels on uptake of FDG in recurrent and metastatic differentiated thyroid carcinoma
F Moog, R Linke, N Manthey, R Tiling… - Journal of Nuclear …, 2000 - Soc Nuclear Med
The objective of this prospective study was to determine the extent to which the levels of
thyroid-stimulating hormone (TSH) influence the uptake of FDG by thyroid carcinoma tumors …
thyroid-stimulating hormone (TSH) influence the uptake of FDG by thyroid carcinoma tumors …
[PDF][PDF] Improving SAT solvers using state-of-the-art techniques
N Manthey - 2010 - iccl.inf.tu-dresden.de
This work discusses modern techniques of state-of-the-art SAT solvers. Since most techniques
are published without regard to the effect to recent techniques of other developers, this …
are published without regard to the effect to recent techniques of other developers, this …
[PDF][PDF] Parallel SAT solving-using more cores
N Manthey - Pragmatics of SAT (POS'11), 2011 - iccl.inf.tu-dresden.de
A parallelization approach for SAT solving is presented. Common parallel portfolio approaches
seem to stagnate at four parallel solvers and cannot compete with the growing number of …
seem to stagnate at four parallel solvers and cannot compete with the growing number of …
[PDF][PDF] Open-wbo@ maxsat evaluation 2020
… We would also like to thank Niklas Eén and Niklas Sörensson for the development of MINISAT
2.2. Additionally, we would like to thank all the collaborators on previous versions of OPEN…
2.2. Additionally, we would like to thank all the collaborators on previous versions of OPEN…
[PDF][PDF] In search of the 'Utopian mode'. Narrowing the term. Exploring the capabilities of a political narrative
H Manthey, J Rohgalf - 10th International Conference of the Utopian …, 2009 - Citeseer
The use of the term “utopia” hardly ever circumvents a political connotation. However, this
paper will neither deal with the defence or the necessity of utopia, nor will it try to render utopia …
paper will neither deal with the defence or the necessity of utopia, nor will it try to render utopia …
[PDF][PDF] Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers.
As satisfiability (SAT) solver performance has improved, so has their complexity, which make
it more likely that SAT solvers contain bugs. One important source of increased complexity …
it more likely that SAT solvers contain bugs. One important source of increased complexity …
[PDF][PDF] Memory Hierarchy Utilization of a SAT Solver
N Manthey, DIJ Stecklina - 2010 - os.inf.tu-dresden.de
The importance of Satisfiability Testing (SAT) increased in recent years. The development of
SAT solvers made them a powerful tool for solving problems of various fields very fast. …
SAT solvers made them a powerful tool for solving problems of various fields very fast. …
[PDF][PDF] Quadratic direct encoding vs. linear order encoding, a one-out-of-n transformation on cnf
The translation from finite CSPs into SAT has been studied intensively. Common encodings
for variable domains are the compact, direct and order encoding. The direct encoding needs …
for variable domains are the compact, direct and order encoding. The direct encoding needs …
[PDF][PDF] LEAVE A TRACE–APeople TRACKING SYSTEM MEETS ANOMALY DETECTION
Video surveillance always had a negative connotation, among others because of the loss of
privacy and because it may not automatically increase public safety. If it was able to detect …
privacy and because it may not automatically increase public safety. If it was able to detect …
[PDF][PDF] PBLib—A C++ Toolkit for Encoding Pseudo–Boolean Constraints into CNF
Many different encodings for PB constraints into conjunctive normal form (CNF) have been
proposed in the past. The PBLib project starts to collect and implement these encodings to be …
proposed in the past. The PBLib project starts to collect and implement these encodings to be …