761 research outputs found
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
Post Embedding Problems are a family of decision problems based on the
interaction of a rational relation with the subword embedding ordering, and are
used in the literature to prove non multiply-recursive complexity lower bounds.
We refine the construction of Chambart and Schnoebelen (LICS 2008) and prove
parametric lower bounds depending on the size of the alphabet.Comment: 16 + vii page
New Approaches to Classic Graph-Embedding Problems - Orthogonal Drawings & Constrained Planarity
Drawings of graphs are often used to represent a given data set in a human-readable way. In this thesis, we consider different classic algorithmic problems that arise when automatically generating graph drawings. More specifically, we solve some open problems in the context of orthogonal drawings and advance the current state of research on the problems clustered planarity and simultaneous planarity
Educational change and ICT: an exploration of priorities 2 and 3 of the DfES e-strategy in schools and colleges: the current landscape and implementation issues
Landscape review of integrated online support for learners and collaborative approaches to personalised learning activities
- …