Related papers: Saddle stresses for generic theories with a prefer…
We show that fundamental plane of elliptical galaxies can be used to obtain observational constraints on metric theories of gravity. Being it connected to global properties of ellipticals, it can fix parameters of modified gravity.…
In this work we extend the perturbation theory for modified gravity (MG) in two main aspects. First, the construction of matter overdensities from Lagrangian displacement fields is shown to hold in a general framework, allowing us to find…
In this paper, we consider a temporal logic planning problem in which the objective is to find an infinite trajectory that satisfies an optimal selection from a set of soft specifications expressed in linear temporal logic (LTL) while…
We formulate a scalar realization of Sciama's Machian programme within the general Bergmann-Wagoner class of scalar--tensor gravity. Starting from a universally conformally coupled matter sector, we rewrite the field equations in terms of…
The Beyond Horndeski class of alternative gravity theories allow for Self-accelerating de-Sitter cosmologies with no need for a cosmological constant. This makes them viable alternatives to $\Lambda$CDM and so testing their small-scale…
In mechanical engineering W\"ohler plots serve to measure the average number of load cycles before materials break, as a function of the maximal stress in each cycle. Although such plots are prevalent in engineering for more than 150 years,…
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed…
Since their introduction, anchoring methods in extragradient-type saddlepoint problems have inspired a flurry of research due to their ability to provide order-optimal rates of accelerated convergence in very general problem settings. Such…
We construct two distinct actions for scalar fields that are invariant under local Carroll boosts and Weyl transformations. Conformal Carroll field theories were recently argued to be related to the celestial holography description of…
Max-stable processes are a popular tool for the study of environmental extremes, and the extremal skew-$t$ process is a general model that allows for a flexible extremal dependence structure. For inference on max-stable processes with…
We explore the constraints imposed on higher curvature corrections of the Lovelock type due to causality restrictions in the boundary of asymptotically AdS space-time. In the framework of AdS/CFT, this is related to positivity of the energy…
We present the extension of the effective field theory framework to the mildly non-linear scales. The effective field theory approach has been successfully applied to the late time cosmic acceleration phenomenon and it has been shown to be…
Pseudospectral analysis is fundamental for quantifying the sensitivity and transient behavior of nonnormal matrices, yet its computational cost scales cubically with dimension, rendering it prohibitive for large-scale systems. While…
In many safety-critical settings, probabilistic ML systems have to make predictions subject to algebraic constraints, e.g., predicting the most likely trajectory that does not cross obstacles. These real-world constraints are rarely convex,…
Semiparametric accelerated failure time (AFT) models are a useful alternative to Cox proportional hazards models, especially when the assumption of constant hazard ratios is untenable. However, rank-based criteria for fitting AFT models are…
Recently there have been discussions about which complex metrics should be allowable in quantum gravity. These discussions assumed that the matter fields were real valued. We make the observation that for compactified solutions it makes…
We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are parameterized, well-founded relations such that an assignment to…
The ability to separate and analyze chemical species with high resolution, sensitivity, and throughput is central to the development of microfluidics systems. Deterministic lateral displacement (DLD) is a continuous separation method based…
Conceptual Scaling is a useful standard tool in Formal Concept Analysis and beyond. Its mathematical theory, as elaborated in the last chapter of the FCA monograph, still has room for improvement. As it stands, even some of the basic…
Gradient-boosted trees achieve strong performance on tabular data, yet often leave a long tail of poorly predicted instances. We introduce a Trajectory-based Difficulty Score (TDS), an instance-level difficulty estimator for boosted…