We contrast abstract ow of control in a sequential program environment which uses a control ow graph (CFG) to the abstraction of execution order within DAG parallelism using a simple precedence graph (PG). We note that often the analogous concepts are duals of each other with regard to universal and existential quantiiers. We are studying sparse data-ow analysis techniques, which include method...

The results of a detailed histogram Monte-Carlo study of critical-fluctuation effects on the magnetic-field temperature phase diagram associated with the hexagonal Heisenberg antiferromagnet with weak axial anisotropy are reported. The multiphase point where three lines of continuous transitions merge at the spin-flop boundary exhibits a structure consistent with scaling theory but without the ...

Latest research efforts on the semi-automatic coordination of ontologies “touch” on the mapping /merging of ontologies using the whole breadth of available knowledge. Addressing this issue, this paper presents the HCONE-merge approach, which is further extended towards automating the merging process. HCONE-merge makes use of the intended informal meaning of concepts by mapping them to WordNet s...

The merge-and-shrink framework provides a general basis for the computation of abstraction heuristics for factored transition systems. Recent experimental and theoretical research demonstrated the utility of non-linear merge strategies, which have not been studied in depth. We experimentally analyze the quality of state-of-the-art merge strategies by comparing them to random strategies and with...

STUDY DESIGN Retrospective clinical study. OBJECTIVE To assess the accuracy of multilevel registration for skip pedicle screw placement during image-guided, computer-assisted spine surgery, in the setting of adolescent idiopathic scoliosis (AIS). SUMMARY OF BACKGROUND DATA Computerized frameless stereotactic image-guidance has been used recently to improve pedicle screw placement accurately...