相关论文: Eulogy for Andrew Wiles
In 2015, the CCC co-sponsored an industry round table that produced the document "The Future of Computing Research: Industry-Academic Collaborations". Since then, several important trends in computing research have emerged, and this…
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.
This is a translation of the diploma thesis of Thomas Br\"ustle, Darstellungsk\"ocher der erblichen Algebren vom Typ $\tilde{A}_n$, written in German, at the University of Zurich, August 1990. Supervisor: P. Gabriel. Translated by K. Baur,…
The annotation of textual information is a fundamental activity in Linguistics and Computational Linguistics. This article presents various observations on annotations. It approaches the topic from several angles including Hypertext,…
The implementation of policies promoting the adoption of an Open Science culture must be accompanied by indicators that allow monitoring the penetration of such policies and their potential effects on research publishing and sharing…
The paper is based on a talk given to celebrate {\O}rsted's discovery of electromagnetism in 1820. It gives a brief account of {\O}rsted's life and work, before using the evidence of articles on electricity and magnetism in the…
This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.
A sceptical examination of the motivations for strong modal plural logics.
We discuss the legacy of Alan Turing and his impact on computability and analysis.
This doctoral dissertation shows State of the Art of techno-economic modeling for access network technologies, presents the characteristics a universal techno-economic model should have, and shows a classification and analysis of…
In their position paper entitled "Towards a new, complexity science of learning and education", Jorg et al. (2007) argue that educational research is in crisis. In their opinion, the transdisciplinary and interdiscursive approach of…
We associate to any endomorphism of the punctured affine space over some field an element in the Witt group of the base field that we call degree. We use this degree to give a counter-example to a question on unimodular rows
Purpose: Science is subject to a normative structure that includes how the contributions and interactions between scientists are rewarded. Authorship and citations have been the key elements within the reward system of science, whereas…
An introduction and survey of homotopy type theory in honor of W.W. Tait.
In these lectures we review the motivation, principles of and (circumstantial) evidence for the program of unification of the fundamental forces. In an appendix, we review the group theory pertinent to the program.
During the conference on the methods of differential geometry in physics in Warsaw in June 1976, Professor Wheeler gave an interview for the Czechoslovak Journal of Physics A. After Professor Wheeler authorized the English version in…
Scientists have an inherent interest in claiming their contributions to the scholarly record, but the fragmented state of identity management across the landscape of astronomy, physics, and other fields makes highlighting the contributions…
I give a pedagogical introduction to the concepts and the tools that are necessary to study particle physics models in higher dimensions. I then give a more detailed presentation of warped compactifications and discuss their possible…
This is a written version of a series of lectures aimed at undergraduate students in astrophysics/particle theory/particle experiment. We summarize the important progress made in recent years towards understanding high energy astrophysical…
Comment on ``Understanding OR, PS and DR'' [arXiv:0804.2958]