Related papers: Dream of a Christmas lecture
This paper introduces a refinement of the sequent calculus approach called cirquent calculus. While in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint sequences of formulas, in cirquent calculus they are permitted…
Representation learning constructs low-dimensional representations to summarize essential features of high-dimensional data. This learning problem is often approached by describing various desiderata associated with learned representations;…
Algorithm unrolling is ubiquitous in machine learning, particularly in hyperparameter optimization and meta-learning, where Jacobians of solution mappings are computed by differentiating through iterative algorithms. Although unrolling is…
From data in the present we can predict the future and retrodict the past. These predictions and retrodictions are for histories -- most simply time sequences of events. Quantum mechanics gives probabilities for individual histories in a…
Learning is a process wherein a learning agent enhances its performance through exposure of experience or data. Throughout this journey, the agent may encounter diverse learning environments. For example, data may be presented to the leaner…
This is an attempt to apply Nagel's distinction between internal and external statements to the interpretation of quantum mechanics. I propose that this distinction resolves the contradiction between unitary evolution and the projection…
Traditional lectures are commonly understood to be a teacher-centered mode of instruction where the main aim is a provision of explanations by an educator to the students. Recent literature in higher education overwhelmingly depicts this…
Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article "Elementary-base cirquent calculus I: Parallel and choice connectives" built the sound and complete…
The traditional calculus-based introduction to statistical inference consists of a semester of probability followed by a semester of frequentist inference. Cobb (2015) challenges the statistical education community to rethink the…
In these lecture notes I describe some of the main theoretical ideas emerged to explain the aging dynamics. This is meant to be a very short introduction to aging dynamics and no previous knowledge is assumed. I will go through simple…
This paper focuses on multi-enrollment speaker recognition which naturally occurs in the task of online speaker clustering, and studies the properties of different scoring back-ends in this scenario. First, we show that popular cosine…
To conduct a didactic analysis of the current modality of study of real numbers in the Bachelor's Degree in Mathematics, we rely on the notion of didactic paradigm and employ a novel research methodology within the framework of the…
I developed the lecture notes based on my ``Causal Inference'' course at the University of California Berkeley over the past seven years. Since half of the students were undergraduates, my lecture notes only required basic knowledge of…
There is an increasing pressure for lecturers to work with two goals. First, they need to ensure their undergraduate students have a good grasp of the knowledge and skills of the intellectual field. In addition, they need to prepare…
The field of Continual Learning (CL) has inspired numerous researchers over the years, leading to increasingly advanced countermeasures to the issue of catastrophic forgetting. Most studies have focused on the single-class scenario, where…
The topic of this paper is "gerrymandering", namely the curse of deliberate creations of district maps with highly asymmetric electoral outcomes to disenfranchise voters, and it has a long legal history. Measuring and eliminating…
A demandance is a psychological "pull" exerted by a stimulus. It is closely related to the theory of "affordance". I introduce the theory of demandance, offer some motivating examples, briefly explore its psychological basis, and examine…
Differentiation is a cornerstone of computing and data analysis in every discipline of science and engineering. Indeed, most fundamental physics laws are expressed as relationships between derivatives in space and time. However, derivatives…
The doomsday argument is a probabilistic argument that claims to predict the total lifetime of the human race. By examining the case of an individual lifetime, I conclude that the argument is fundamentally related to consciousness. I derive…
Provenance is an increasing concern due to the ongoing revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer systems will need to become provenance-aware in order to…