Related papers: The Diagonal Strong Reflection Principle and its f…
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection…
Complex functions have multiple uses in various fields of study, so analyze their characteristics it is of extensive interest to other sciences. This work begins with a particular class of rational functions of a complex variable; over this…
A wide range of defenses have been proposed to harden neural networks against adversarial attacks. However, a pattern has emerged in which the majority of adversarial defenses are quickly broken by new attacks. Given the lack of success at…
We establish one of the most important assumptions of the strong persistence theory for dynamical systems associated to cross diffusion systems of $m$ equations ($m\ge2$): the stable sets of semi-trivial steady cannot intersect the interior…
I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…
In this work we wish to highlight some consequences of a recent result proved in [N. D. Cong and H. T. Tuan, Generation of nonlocal fractional dynamical systems by fractional differential equations, J. Integral Equations Appl. 29 (2017),…
Classical second order models of pedestrian dynamics, like the social-force model, suffer from various unrealistic behaviors in the dynamics, e.g. backward motion, oscillations and overlapping of pedestrians. These effects are not related…
In this paper, we obtain almost sure invariance principles with rate of order $n^{1/p}\log^\beta n$, $2< p\le 4$, for sums associated to a sequence of reverse martingale differences. Then, we apply those results to obtain similar…
In this paper we discuss contrastive explanations for formal argumentation - the question why a certain argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted under various extension-based semantics. The…
When gauge U(1) is spontaneously broken, associated electric charges are screened. We argue that corresponding magnetic charges, on the contrary, produce long-range force. Some interesting consequences of this phenomenon are also discussed.
In this paper, we derive a recurrence relation of anti-forcing polynomial for catacondensed hexagonal systems.
In this work we develop an algebraic theory of linear recurrence equations and systems with constant coefficients and reflection. We obtain explicit solutions and the Green's functions associated to different problems under general linear…
We consider a class of ordinary differential equations describing one-dimensional quasiperiodically forced systems in the presence of large damping. We give a fully constructive proof of the existence of response solutions, that is…
We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform…
Our general aim is to give sufficient conditions for robustness behavior and convergence to the equilibrium point of linear time-varying fractional system's solutions. We approach this problem using as a framework a series of recent results…
A series of stationary principles are developed for dynamical systems by formulating the concept of mixed convolved action, which is written in terms of mixed variables, using temporal convolutions and fractional derivatives. Dynamical…
Gravitational self-interactions are assumed to be determined by the covariant derivative acting on the Riemann-Christoffel field strength. Once imposed on a metric theory, this Yang-Mills gauge constraint extends the equality of…
We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…
Adversarial examples are a challenging open problem for deep neural networks. We propose in this paper to add a penalization term that forces the decision function to be at in some regions of the input space, such that it becomes, at least…
We show that the compositions of positive integers may be interpreted in terms of powers of some power series, over arbitrary commutative ring. As consequences, several closed formulas for the compositions as well as for the generalized…