Related papers: SC-Square: Overview to 2021
We synthesize the reported results and recommendations of recent workshops and seminars that convened to discuss open questions within the important intersection of robotics, human-robot interaction, and spoken dialogue systems research.…
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at…
The concept of a Square Kilometre Array was developed to ensure that progress in Radio Astronomy in the early 21st Century continued at the same impressive pace as was achieved during the first 50 years. The SKA telescope is designed to…
We present an overview of the SciVer shared task, presented at the 2nd Scholarly Document Processing (SDP) workshop at NAACL 2021. In this shared task, systems were provided a scientific claim and a corpus of research abstracts, and asked…
There has been a remarkable increase in work at the interface of computer science and game theory in the past decade. In this article I survey some of the main themes of work in the area, with a focus on the work in computer science. Given…
In this write-up of my SQM 2006 Theory Summary talk I focus on a selection of key contributions which I consider to have a large impact on the current status of the field of strangeness physics or which may have the potential to…
There have been initiatives that take advantage of information and communication technologies to serve civic purposes, referred to as civic technologies (Civic Tech). In this paper, we present a review of 224 papers from the ACM Digital…
The goal of this article is to provide an overview of the current state of the art in loop quantum cosmology for three sets of audiences: young researchers interested in entering this area; the quantum gravity community in general; and,…
The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited talks. SNR focuses on the combination of symbolic and…
I provide a summary of the theoretical talks in Hard Probes 2012 together with some personal thoughts about the present and the future of the field.
It has been 5 years since the Computing Community Consortium (CCC) Workshop on Next Steps in Quantum Computing, and significant progress has been made in closing the gap between useful quantum algorithms and quantum hardware. Yet much…
This work establishes the technical fundamentals of a well-tuned Customizable Contraction Hierarchies (CCH) implementation that is simple and elegant. We give a detailed overview of the state of the art of CCH, review recent advances on CCH…
The paper deals with elaborating different approaches to the machine processing of semantic sketches. It presents the pilot open corpus of semantic sketches. Different aspects of creating the sketches are discussed, as well as the tasks…
Biocybersecurity is a novel space for the 21st century that meets our innovations in biotechnology and computing head on. Within this space, many considerations are open for and demand consideration as groups endeavor to develop products…
Quantum technology is full of figurative and literal noise obscuring its promise. In this overview, we will attempt to provide a sober assessment of the promise of quantum technology with a focus on computing. We provide a tour of quantum…
We review the history of the development of the Chandra X-ray Observatory from our personal perspective. This review is necessarily biased and limited by space since it attempts to cover a time span approaching 5 decades.
This is a Concluding Talk, not a Summary of the FPCP 2011 Conference. I will first make some comments on the status and the prospects of particle physics and then review some of the highlights that particularly impressed me at this…
The nature of the chiral phase transition of QCD continues to represent a fundamental open problem in the study of strongly interacting matter. In recent years, significant progress has been achieved by exploiting systematic variations of…
In this chapter we provide an overview of the science enabled by radio continuum surveys in the SKA era, focusing on galaxy/galaxy cluster physics and evolution studies, and other relevant continuum science in the >2020 scientific…
This is a survey article on selected topics in approximation theory. The topics either use techniques from the theory of several complex variables or arise in the study of the subject. The survey is aimed at readers having an acquaintance…