English
Related papers

Related papers: The Diagonal Strong Reflection Principle and its f…

200 papers

Abstract argumentation provides us with methods such as gradual and Dung semantics with which to evaluate arguments after potential attacks by other arguments. Some of these methods can take intrinsic strengths of arguments as input, with…

Artificial Intelligence · Computer Science 2021-09-02 Jeroen Paul Spaans

A variational principle is introduced to provide a new formulation and resolution for several boundary value problems with a variational structure. This principle allows one to deal with problems well beyond the weakly compact structure. As…

Analysis of PDEs · Mathematics 2017-05-24 Abbas Moameni

We consider shock reflection which has a well-known local non-uniqueness: the reflected shock can be either of two choices, called weak and strong. We consider cases where existence of a global solution with weak reflected shock has been…

Analysis of PDEs · Mathematics 2012-01-24 Volker Elling

We present Russell's antinomy using three distinct deductive systems, which are then compared to deepen the logical deductions that lead to the contradiction. Some inferential paths are then presented, alternative to the commonly accepted…

Logic · Mathematics 2024-11-21 Paola Cattabriga

We provide a complete characterisation of the phenomenon of adversarial examples - inputs intentionally crafted to fool machine learning models. We aim to cover all the important concerns in this field of study: (1) the conjectures on the…

Computer Vision and Pattern Recognition · Computer Science 2019-02-19 Alexandru Constantin Serban , Erik Poll , Joost Visser

Prior research suggests that many students believe that the magnitude of the static frictional force is always equal to its maximum value. Here, we examine introductory students' ability to learn from analogical reasoning (with different…

Physics Education · Physics 2016-02-23 Shih-Yin Lin , Chandralekha Singh

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…

Logic · Mathematics 2022-06-16 Fedor Pakhomov , James Walsh

After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. L\'evy et. al. in the 1960's, we introduce new principles of reflection based on the general notion of \emph{Structural…

Logic · Mathematics 2021-07-06 Joan Bagaria

In this paper, we introduce a new classical fractional particle model incorporating fractional first derivatives. This model represents a natural extension of the standard classical particle with kinetic energy being quadratic in fractional…

General Physics · Physics 2024-07-23 A. V. Crisan , C. M. Porto , C. F. L. Godinho , I. V. Vancea

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

We derive exact expressions for the scalar and electromagnetic self-forces and self-torques acting on arbitrary static extended bodies in arbitrary static spacetimes with any number of dimensions. Non-perturbatively, our results are…

General Relativity and Quantum Cosmology · Physics 2016-06-29 Abraham I. Harte , Éanna É. Flanagan , Peter Taylor

We recently formulated a new large-cardinal axiom of strength intermediate between a totally indescribable cardinal and an $\omega$-Erd\H{o}s cardinal, positing the existence of what we called an "extremely reflective cardinal", and we…

Logic · Mathematics 2020-10-23 Rupert McCallum

In this paper, we set forth a new vision of reinforcement learning developed by us over the past few years, one that yields mathematically rigorous solutions to longstanding important questions that have remained unresolved: (i) how to…

Machine Learning · Computer Science 2014-05-28 Sridhar Mahadevan , Bo Liu , Philip Thomas , Will Dabney , Steve Giguere , Nicholas Jacek , Ian Gemp , Ji Liu

A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…

Analysis of PDEs · Mathematics 2010-09-24 Xu Liu , Xu Zhang

We give a combinatorial characterization of generic minimally rigid reflection frameworks. The main new idea is to study a pair of direction networks on the same graph such that one admits faithful realizations and the other has only…

Geometric Topology · Mathematics 2012-03-13 Justin Malestein , Louis Theran

The atmospheres of (exo) planets and moons, as well as reflection nebulae, contain in general independently scattering particles in random orientation and are often supposed to be plane-parallel. Relations are presented for the…

Astrophysics · Physics 2008-09-23 J. W. Hovenier D. M. Stam

We study the strong constraining problem in Lagrangian dynamics in the degenerate codimension one case. This is the first time that degenerate potentials at the constraint are considered for this problem. These new results cover several…

Mathematical Physics · Physics 2025-12-11 Juan Manuel Burgos

Learning physics requires understanding the applicability of fundamental principles in a variety of contexts that share deep features. One way to help students learn physics is via analogical reasoning. Students can be taught to make an…

Physics Education · Physics 2016-02-23 Shih-Yin Lin , Chandralekha Singh

This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…

Logic · Mathematics 2024-11-20 James Holland

Despite extraordinary progress, current machine learning systems have been shown to be brittle against adversarial examples: seemingly innocuous but carefully crafted perturbations of test examples that cause machine learning predictors to…

Machine Learning · Computer Science 2023-06-14 Omar Montasser