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

Complexity Bounds for Ordinal-Based Termination

`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program running times. Our main tool for this are length function theorems, which provide complexity bounds on the use of well quasi orders. We illustrate how to prove such theorems in the simple yet until now untreated case of ordinals. We show how to apply this new theorem to derive complexity bounds on programs when they are proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability Problems (RP 2014, 22-24 September 2014, Oxford

Impact of Borderline Resectability in Pancreatic Head Cancer on Patient Survival: Biology Matters According to the New International Consensus Criteria

Background: International consensus criteria (ICC) have redefined borderline resectability for pancreatic ductal adenocarcinoma (PDAC) according to three dimensions: anatomical (BR-A), biological (BR-B), and conditional (BR-C). The present definition acknowledges that resectability is not just about the anatomic relationship between the tumour and vessels but that biological and conditional dimensions also are important. Methods: Patients’ tumours were retrospectively defined b

A formally verified abstract account of Gödel's incompleteness theorems

We present an abstract development of Gödel’s incompleteness theorems, performed with the help of the Isabelle/HOL theorem prover. We analyze sufficient conditions for the theorems’ applicability to a partially specified logic. In addition to the usual benefits of generality, our abstract perspective enables a comparison between alternative approaches from the literature. These include Rosser’s variation of the first theorem, Jeroslow’s variation of the second theorem, and the S ́wierczkowski–Paulson semantics-based approach. As part of our framework’s validation, we upgrade Paulson’s Isabelle proof to produce a mech- anization of the second theorem that does not assume soundness in the standard model, and in fact does not rely on any notion of model or semantic interpretation

Das EUREK zwischen Anwendbarkeit und Umsetzbarkeit

Das Europäische Raumentwicklungskonzept (EUREK) ist bemerkenswert. Was sein Entstehen anbelangt, kann auf frühere Publikationen hingewiesen werden (Faludi 2001; Faludi, Waterhout 2002). Wessen Angelegenheit europäische Raumentwicklungspolitik ist, die der Mitgliedstaaten oder der Gemeinschaft, hat dabei eine große Rolle gespielt. Deutsche Stimmen nahmen gegen eine gemeinschaftliche Raumentwicklungspolitik Stellung. Dietrich Fürst war da keine Ausnahme (Fürst 1997). Andere Veröffentlichungen des Autors stellen die Frage nach den Kriterien für eine Evaluation des EUREK und insbesondere mit der Frage, ob es dabei um seine Umsetzung oder Anwendung geht (Faludi 1999, 2000, 2003a). Nach Darlegung dieser Überlegungen beschäftigt sich dieser Beitrag mit der vielschichtigen Wirklichkeit der Anwendung das EUREK. Vorausgeschickt sei, dass der überraschenden Vielfalt an Anwendungen seines Gedankenguts zum Trotz dem EUREK nicht unbedingt eine goldene Zukunft vorausgesagt werden kann. Falls der Prozess überhaupt seine Fortsetzung findet, dann wahrscheinlich in anderer Form, wobei die Rolle der Europäischen Kommission eine nachdrücklichere sein wird als bisher. Auch wird der französisch geprägte Begriff des territorialen Zusammenhaltes eine große Rolle spielen