相关论文: More about Dynamical Reduction and the Enumeration…
This work may be defined as a modern philosophical approach to theoretical physics. Since ancient times science and philosophy evolved in parallel, thus renewing from time to time the epochal paradigms of human thought. We could not…
We provide further numerical evidence which shows that R^n models in f(R) metric gravity whether produces a late time acceleration in the Universe or a matter domination era (usually a transient one) but not both. Our results confirm the…
The use of counterfactual explanations (CFXs) is an increasingly popular explanation strategy for machine learning models. However, recent studies have shown that these explanations may not be robust to changes in the underlying model…
It is argued that once we consider the underpinning of a Non Commutative geometry, itself symptomatic of extended particles, for example in Quantum Superstring theory, then a reconciliation between gravitation and electromagnetism is…
We discuss the epistemological features of the Ghirardi, Rimini and Weber proposal to modify quantum mechanics in order to overcome the objectification problem, that means the transition between the quantum and the classical level of…
We comment on some conceptual and and technical problems related to computational mechanics, point out some errors in several papers, and straighten out some wrong priority claims. We present explicitly the correct algorithm for…
McGaugh et al. (2016) have used their extensive SPARC sample to update the well-known mass-discrepancy-acceleration relation (MDAR), which is one of the major predicted "MOND laws". This is not a newly discovered relation. Rather, it…
We provide a numerical refutation of the developments of Fiorini et al. (2015)* for models with disjoint sets of descriptive variables. We also provide an insight into the meaning of the existence of a one-to-one linear map between…
In low-dimensional topology, many important decision algorithms are based on normal surface enumeration, which is a form of vertex enumeration over a high-dimensional and highly degenerate polytope. Because this enumeration is subject to…
This paper investigates first-order variable metric backward forward dynamical systems associated with monotone inclusion and convex minimization problems in real Hilbert space. The operators are chosen so that the backward-forward…
Model rotation is an efficient technique for improving MUS finding algorithms. In previous work we have studied model rotation as an algorithm that traverses a graph which is induced by the input formula. This document introduces the notion…
Recently, the present authors studied perturbations in the Lemaitre-Tolman-Bondi cosmological model by applying the second-order perturbation theory in the dust Friedmann-Lemaitre-Robertson-Walker universe model. Before this work, the same…
In 2011 Blanchet and Marsat suggested a fully relativistic version of Milgrom's modified Newtonian dynamics (MOND) in which the dynamical degrees of freedom consist of the spacetime metric and a foliation of spacetime, the khronon field.…
Narrowing is a well-known technique that adds to term rewriting mechanisms the required power to search for solutions to equational problems. Rewriting and narrowing are well-studied in first-order term languages, but several problems…
Numerous astrophysical observations have shown that classical Newtonian dynamics fails on galactic scales and beyond, if only visible matter is taken into account. The two most popular theoretical concepts dealing with this problem are Dark…
A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented,…
Reinforcement Learning (RL) has achieved tremendous development in recent years, but still faces significant obstacles in addressing complex real-life problems due to the issues of poor system generalization, low sample efficiency as well…
This paper studies the estimation of ranked-list discrete choice models with single and multiple purchases. In this setting, each consumer type is characterized by a ranking over a subset of products and a desired number of purchases, and…
We give sufficient Gordin-type criteria for the iterated (enhanced) weak invariance principle to hold for deterministic dynamical systems. Such an invariance principle is intrinsically related to the interpretation of stochastic integrals.…
A {\it dynamic reasoning system} (DRS) is an adaptation of a conventional formal logical system that explicitly portrays reasoning as a temporal activity, with each extralogical input to the system and each inference rule application being…