Related papers: Remembering Chandra Kintala
The logic behind design decisions, called design rationale, is very valuable. In the past, researchers have tried to automatically extract and exploit this information, but prior techniques are only applicable to specific contexts and there…
Incomputability as a mathematical notion arose from work of Alan Turing and Alonzo Church in the 1930s. Like Turing himself, it attracted less attention than it deserved beyond the confines of mathematics. Today our experiences in computer…
We examine some variants of computation with closed timelike curves (CTCs), where various restrictions are imposed on the memory of the computer, and the information carrying capacity and range of the CTC. We give full characterizations of…
The Midwest Geometry Conference 2007 was devoted to the substantial mathematical legacy of Thomas P. Branson who passed away unexpectedly the previous year. This contribution to the Proceedings briefly introduces this legacy. We also take…
This brief text is in memory of Professor Ivan Kupka. It presents his vision, scientific life, his interest in mathematics and our join collaboration.
Professor A. K. Raychaudhuri suddenly passed away on 18th June 2005. I have attempted to give a glimpse of his life and work, and more specifically his role as a great teacher and inspiring force to three generations of students of the…
In commemoration of the fifth anniversary since Nino Boccara's departure, this article offers some personal recollections and provides insight into his life and accomplishments. Detailed bibliography of his works is included together with…
We give some personal reflections on the person and scientist Lars Brink and on some of his scientific achievements. Our relations to Lars are briefly described in [1] and [2], while the sources relevant for this text are summarised in [3].
Computational functionalism posits that consciousness is a computation. Here we show, perhaps surprisingly, that it cannot be a Turing computation. Rather, computational functionalism implies that consciousness is a novel type of…
The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.
A century ago, discoveries of a serious kind of logical error made separately by several leading mathematicians led to acceptance of a sharply enhanced standard for rigor within what ultimately became the foundation for Computer Science. By…
This book is a collection of papers dedicated to the memory of Yehuda Vardi. Yehuda was the chair of the Department of Statistics of Rutgers University when he passed away unexpectedly on January 13, 2005. On October 21--22, 2005, some 150…
We discuss the legacy of Alan Turing and his impact on computability and analysis.
This article is a brief Retrospective on the life and work of Robert W. Zwanzig, who formulated nonequilibrium statistical mechanics and who passed away in May of this year.
The concept of 'undone science' emerged in the 2010s in research in social sciences at the intersection of studies on social movements and of science and technology studies. It refers to research questions that are neglected, ignored, or…
The history of computing in Mexico can not be thought without the name of Prof. Harold V. McIntosh (1929-2015). For almost 50 years, in Mexico he contributed to the development of computer science with wide international recognition.…
It is with heavy hearts that we mourn the passing of Ning Cai, a luminary whose pioneering spirit illuminated the realms of network coding and beyond. On May 25, 2023, at the age of 75, Prof. Cai bid farewell, leaving behind a profound…
Steven Weinberg, renowned particle theorist and Nobel laureate, passed away in July 2021. We discuss selections of his work on effective field theory, electroweak unification, and symmetry related topics. We then add a few memories of…
This is a homage to the memory of Prof. Steven Weinberg who passed away on 23 July 2021.
On Tuesday 26th November 2024, four discussants participated in a moderated virtual panel titled Future of Quantum Computing as one session of the 8th International Conference on Quantum Techniques in Machine Learning hosted by the…