Related papers: TOP 2017: Theoretical Summary
These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various…
Building software-driven systems that are easily understood becomes a challenge, with their ever-increasing complexity and autonomy. Accordingly, recent research efforts strive to aid in designing explainable systems. Nevertheless, a common…
Ontologies have been widely used in numerous and varied applications, e.g., to support data modeling, information integration, and knowledge management. With the increasing size of ontologies, ontology understanding, which is playing an…
This represents a talk given at the International Conference for Basic Science, July 2025. We review the theory of canonical bases of quantum groups and its relation with the theory of total positivity.
Some general comments are made on the evolution of this series of workshops and on some features of this particular Workshop without attempting to summarize all the talks presented.
Quickly moving to a new area of research is painful for researchers due to the vast amount of scientific literature in each field of study. One possible way to overcome this problem is to summarize a scientific topic. In this paper, we…
Specifically focusing on the landscape of abstractive text summarization, as opposed to extractive techniques, this survey presents a comprehensive overview, delving into state-of-the-art techniques, prevailing challenges, and prospective…
This is a collection of my lecture notes on the higher-spin theory course given for students at the Institute for Theoretical and Mathematical Physics, Lomonosov Moscow State University. The goal of these lectures is to give an introduction…
This paper presents results of topic modeling and network models of topics using the International Conference on Computational Science corpus, which contains domain-specific (computational science) papers over sixteen years (a total of 5695…
The plenary presentations of the conference are summarised, highlighting some aspects that were of particular interest and attempting to link a few of the topics covered. Particular emphasis is placed on the problem of deep-inelastic…
This is an opinion-piece based on a talk given at the Summer 2017 Serendipities in the Solar System ("Ip-Fest") meeting in Taiwan. I begin with an overview of the new solar system, then discuss modelling attempts, then the distribution of…
Following my plenary lecture on ICMP2000 I review my results concerning two closely related topics: topological quantum field theories and the problem of quantization of gauge theories. I start with old results (first examples of…
Theory of computing (ToC) courses are a staple in many undergraduate CS curricula as they lay the foundation of why CS is important to students. Although not a stated goal, an inevitable outcome of the course is enhancing the students'…
Topological conformal field theories are defined using only basic results from the theory of quasiconformal mappings.
There is growing acknowledgement within the software engineering community that a theory of software development is needed to integrate the myriad methodologies that are currently popular, some of which are based on opposing perspectives.…
We summarize the experimental and theoretical results presented in the ``Structure Function Working Group - WG1'' at DIS'99.
We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to…
A formal theory of experimentation will be presented. Such a theory presents the necessary & sufficient conditions a world must satisfy in order to admit the use of the scientific method.
This is an expository article on the theory of formal group laws in homotopy theory, with the goal of leading to the connection with higher-dimensional abelian varieties and automorphic forms. These are roughly based on a talk at the…
A summary of the highlights of the conference, "Toward a New Millennium in Galaxy Morphology" is presented. In this review, I cover the major topics addressed at the conference, including both the observational and theoretical frameworks…