Related papers: TOP 2017: Theoretical Summary
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
This short note provides an overview of some theorems and conjectures obtained by the author and his collaborators. It is an extended abstract for the Oberwolfach workshop "New Trends in Teichm\"uller Theory and Mapping Class Groups", 2…
This is the preliminary manuscript of a book on symplectic field theory based on a lecture course for PhD students given in 2015-16. It covers the essentials of the analytical theory of punctured pseudoholomorphic curves, taking the…
With more and more meetings moving to a digital domain, meeting summarization has recently gained interest in both academic and commercial research. However, prior academic research focuses on meeting summarization as an offline task,…
The continuous and rapid growth of highly interconnected datasets, which are both voluminous and complex, calls for the development of adequate processing and analytical techniques. One method for condensing and simplifying such datasets is…
This talk summarises the discussions during the conference on the spin structure of the nucleon held at Erice; July 1995. The summary focuses on where we have come, where we are now, and the emerging questions that direct where we go next…
Centering theory posits a discourse center, a distinguished discourse entity that is the topic of a discourse. A simplified version of this theory is developed in a Dynamic Semantics framework. In the resulting system, the mechanism of…
We survey recent developments in the theory of achievement sets and present a substantial collection of open problems.
These lecture notes concern the basics of the theory of process behaviour. First the concept of a (labelled) transition system receives ample treatment and then the following issues concerning process behaviour are elaborated in the setting…
This talk tries to summarise where we are now, in the "nature and nurture" questions in galaxy formation and evolution, and briefly describe unsolved problems, and perspectives of progress.
We review the prospects for studies of the top quark at the LHC.
Today's QCD problems, prospects and achievements are reviewed.
This talk is a brief summary of some theoretical issues in the field of hot and dense QCD matter and ultra-relativistic heavy ion collisions.
A brief exposition of the point of higher topos theory in (mathematical) physics, commissioned for the Encyclopedia of Mathematical Physics 2nd ed.
These are expended notes of my talk at the summer institute in algebraic geometry (Seattle, July-August 2005), whose main purpose is to present a global overview on the theory of higher and derived stacks. This text is far from being…
We introduce a hierarchical classification of theories that describe systems with fundamentally limited information content. This property is introduced in an operational way and gives rise to the existence of mutually complementary…
The current state-of-the-art in artificial intelligence is impressive, especially in terms of mastery of language, but not so much in terms of mathematical reasoning. What could be missing? Can we learn something useful about that gap from…
Summaries of meetings are very important as they convey the essential content of discussions in a concise form. Generally, it is time consuming to read and understand the whole documents. Therefore, summaries play an important role as the…
With the abundance of automatic meeting transcripts, meeting summarization is of great interest to both participants and other parties. Traditional methods of summarizing meetings depend on complex multi-step pipelines that make joint…
We present a token-level decision summarization framework that utilizes the latent topic structures of utterances to identify "summary-worthy" words. Concretely, a series of unsupervised topic models is explored and experimental results…