English
Related papers

Related papers: Dream of a Christmas lecture

200 papers

This article discusses the process of creating, implementing and experiencing Flipped Learning in a Multivariable Calculus course for second year engineering students. We describe the construction of the teaching material, consisting of…

History and Overview · Mathematics 2019-07-23 Hugo Caerols-Palma , Katia Vogt-Geisse

As a firm varies the price of a product, consumers exhibit reference effects, making purchase decisions based not only on the prevailing price but also the product's price history. We consider the problem of learning such behavioral…

Computer Science and Game Theory · Computer Science 2017-08-31 Abbas Kazerouni , Benjamin Van Roy

Diagonalization in the spirit of Cantor's diagonal arguments is a widely used tool in theoretical computer sciences to obtain structural results about computational problems and complexity classes by indirect proofs. The Uniform…

Computational Complexity · Computer Science 2019-02-22 Friederike Anna Dziemba

Causal structure learning from observational data remains a non-trivial task due to various factors such as finite sampling, unobserved confounding factors, and measurement errors. Constraint-based and score-based methods tend to suffer…

Machine Learning · Computer Science 2022-11-09 Rezaur Rashid , Jawad Chowdhury , Gabriel Terejanu

The aim of "A glance beyond the quantum model" [arXiv:0907.0372] to modernize the Correspondence Principle is compromised by an assumption that a classical model must start with the idea of particles, whereas in empirical terms particles…

Quantum Physics · Physics 2010-02-01 Peter Morgan

Given the fact description text of a legal case, legal judgment prediction (LJP) aims to predict the case's charge, law article and penalty term. A core problem of LJP is how to distinguish confusing legal cases, where only subtle text…

Computation and Language · Computer Science 2023-10-24 Leilei Gan , Baokui Li , Kun Kuang , Yating Zhang , Lei Wang , Luu Anh Tuan , Yi Yang , Fei Wu

The main theme of this workshop (Dagstuhl seminar 04351) is `Spatial Representation: Continuous vs. Discrete'. Spatial representation has two contrasting but interacting aspects (i) representation of spaces' and (ii) representation by…

Artificial Intelligence · Computer Science 2007-05-23 Jonathan Gratus , Timothy Porter

Contributing to the literature on aptitude-treatment interactions between worked examples and problem-solving, this paper addresses differential learning from the two approaches when students are positioned as domain experts learning new…

Writing and argumentation are critical to both professional physics and physics education. However, the skill of making an extended argument in writing is often overlooked in physics classrooms, apart from certain practices like lab…

Physics Education · Physics 2020-06-19 Tor Ole B. Odden , John Burk

When introducing the calculus of variations, we may invoke Dido's problem to illustrate the most fundamental variational problem: to find the curve of given perimeter which bounds the greatest area. This type of problem led mathematicians…

History and Overview · Mathematics 2023-01-10 Dora Musielak

Continual learning (CL) aims to constantly learn new knowledge over time while avoiding catastrophic forgetting on old tasks. In this work, we focus on continual text classification under the class-incremental setting. Recent CL studies…

Computation and Language · Computer Science 2023-05-15 Yifan Song , Peiyi Wang , Dawei Zhu , Tianyu Liu , Zhifang Sui , Sujian Li

Pre-training representations (a.k.a. foundation models) has recently become a prevalent learning paradigm, where one first pre-trains a representation using large-scale unlabeled data, and then learns simple predictors on top of the…

Machine Learning · Computer Science 2023-03-02 Zhenmei Shi , Jiefeng Chen , Kunyang Li , Jayaram Raghuram , Xi Wu , Yingyu Liang , Somesh Jha

Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…

Logic in Computer Science · Computer Science 2022-06-06 Damian Arellanes

We consider the problem of prediction by a machine learning algorithm, called learner, within an adversarial learning setting. The learner's task is to correctly predict the class of data passed to it as a query. However, along with queries…

Machine Learning · Computer Science 2020-02-11 Prithviraj Dasgupta , Joseph B. Collins , Michael McCarrick

An origin is often an intriguing issue. It becomes doubly intriguing when the logical form of thinking is considered. In this paper we will investigate exactly that: we will conjecture on the origin of basic instruments of logical thinking.…

General Mathematics · Mathematics 2007-05-23 Valeriy K. Bulitko

The idea of "data justice" is of recent academic vintage. It has arisen over the past decade in Anglo-European research institutions as an attempt to bring together a critique of the power dynamics that underlie accelerating trends of…

We study the problem of learning control policies for complex tasks given by logical specifications. Recent approaches automatically generate a reward function from a given specification and use a suitable reinforcement learning algorithm…

Machine Learning · Computer Science 2021-12-28 Kishor Jothimurugan , Suguman Bansal , Osbert Bastani , Rajeev Alur

These are the transcriptions of "a talk describing the theoretical insights of those honored (and the one who wasn't) and how this has led to all the physics we have been doing over the last couple of decades." After prologue, we first deal…

High Energy Physics - Phenomenology · Physics 2014-11-20 George Wei-Shu Hou

To interpret uncertainty estimates from differentiable probabilistic models, recent work has proposed generating a single Counterfactual Latent Uncertainty Explanation (CLUE) for a given data point where the model is uncertain, identifying…

Machine Learning · Computer Science 2021-12-10 Dan Ley , Umang Bhatt , Adrian Weller

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

Logic · Mathematics 2007-05-23 Saharon Shelah
‹ Prev 1 8 9 10 Next ›