We introduce two essentially undecidable first-order theories WT and T. The intended model for the theories is a term model. We prove that WT is mutually interpretable with Robinson’s R. Moreover, we prove that Robinson’s ...

Airflow above water waves represents a challenging problem, relevant both in air-sea interactions and for multiphase pipe flows. Understanding this interaction is important to accurately predict the exchange of heat, ...

In this paper, we consider option pricing in a framework of the fractional Heston-type model with [Formula: see text]. As it is impossible to obtain an explicit formula for the expectation [Formula: see text] in this case, ...

A central point of disagreement, in certain long-standing discussions about a particular whaling dataset in the Scientific Committee of the International Whaling Commission, has directly involved model selection issues for ...

When using the Focused Information Criterion (FIC) for assessing and ranking candidate models with respect to how well they do for a given estimation task, it is customary to produce a so-called FIC plot. This plot has the ...

Co-current two-phase simulations of gas-liquid flow with mixture velocities from 1.2 to 4.2 m/s were run in a partially eccentric annulus and compared with entirely eccentric and concentric experimental data collected at ...

We study the derived category of a complete intersection X of bilinear divisors in the orbifold Sym2P(V) . Our results are in the spirit of Kuznetsov’s theory of homological projective duality, and we describe a homological ...

Have great wars become less violent over time, and is there something we might identify as the long peace? We investigate statistical versions of such questions, by examining the number of battle-deaths in the Correlates ...

Biological membranes have fundamental implications in a large number of processes in the cell. As such, membranes possess important properties: they can change their shape as an elastic surface, and they are fluid, which ...

In this paper, we study a so-called Condition C1 on square matrices with complex coefficients and a weaker Condition C2. For Druzkowski maps Condition C2 is equivalent to the Jacobian conjecture. We show that these conditions ...

The goal of this paper is to study a stochastic game connected to a system of forward-backward stochastic differential equations (FBSDEs) involving delay and noisy memory. We derive sufficient and necessary maximum principles ...

We show that every automorphism of the Hilbert scheme of n points on a weak Fano or general type surface is natural, i.e., induced by an automorphism of the surface, unless the surface is a product of curves and n=2. In ...

The recent article ‘Satellite conjunction analysis and the false confidence theorem’ (Balch et al. 2019, Satellite conjunction analysis and the false confidence theorem. Proc. R. Soc. A475, 20180565) points to certain ...

We study the action of the group PGL(4) on the parameter space P 19 of complex cubic surfaces. Specifically, we look at how the techniques used by Aluffi and Faber in [1] can be extended to compute the degree of the orbit ...

Inspired by so-called TVD limiter-based second-order schemes for hyperbolic conservation laws, we develop a formally second-order accurate numerical method for multi-dimensional aggregation equations. The method allows for ...

Seismic exploration in complex geologic settings and shallow geologic targets has led to a demand for higher spatial and temporal resolution in the final migrated image. Conventional marine seismic and wide-azimuth data ...

Abstract BayesMallows is an R package for analyzing preference data in the form of rankings with the Mallows rank model, and its finite mixture extension, in a Bayesian framework. The model is grounded on the idea that the ...

CARMA(p, q) processes are compactly defined through a stochastic differential equation (SDE) involving q + 1 derivatives of the Lévy process driving the noise, despite this latter having in general no differentiable paths. ...

Diffusion is a fundamental mechanism for protein distribution in cell membranes. These membranes often exhibit complex shapes, which range from shallow domes to elongated tubular or pearl-like structures. Shape complexity ...

A novel numerical method has been developed that incorporates electrically conducting objects into particle-in-cell simulations of electrostatic plasma. The method allows multiple objects connected by voltage and current ...

Given a quasi-lattice ordered group (G, P) and a compactly aligned product system X of essential C∗-correspondences over the monoid P, we show that there is a bijection between the gauge-invariant KMSβ-states on the ...

Unfounded child sexual abuse (CSA) allegations take investigative resources from real cases and have detrimental consequences for the people involved. The Finnish Investigative Instrument of Child Sexual Abuse (FICSA) ...

Astrocytic Ca2+ signaling has been intensively studied in health and disease but has not been quantified during natural sleep. Here, we employ an activity-based algorithm to assess astrocytic Ca2+ signals in the neocortex ...

Many regions of the world are currently struggling with congested airspace, and Europe is no exception. Motivated by our collaboration with relevant European authorities and companies in the Single European Sky ATM Research ...

Using social media data for statistical analysis of general population faces commonly two basic obstacles: firstly, social media data are collected for different objects than the population units of interest; secondly, the ...

Statistical solutions are time-parameterized probability measures on spaces of integrable functions, which have been proposed recently as a framework for global solutions and uncertainty quantification for multi-dimensional ...

The tetrachoric correlation is a popular measure of association for binary data and estimates the correlation of an underlying normal latent vector. However, when the underlying vector is not normal, the tetrachoric ...

During the last fifteen years there has been a paradigm shift in the continuum modelling of granular materials; most notably with the development of rheological models, such as the μ(I) μ(I) -rheology (where μ μ is the ...

We suggest four new measures of importance for repairable multistate systems based on the classical Birnbaum measure. Periodic component life cycles and general semi-Markov processes are considered. Similar to the Birnbaum ...

Deep learning, due to its unprecedented success in tasks such as image classification, has emerged as a new tool in image reconstruction with potential to change the field. In this paper we demonstrate a crucial phenomenon: ...

There are currently two paradigm shifts happening in society and scientific computing: (1) Artificial Intelligence (AI) is replacing humans in problem solving, and, (2) AI is replacing the standard algorithms in computational ...

Abstract Various theories in political science point to temporal heterogeneity in relationships of interest. Yet, empirical research typically ignores such heterogeneity or employs fairly crude measures to evaluate ...

We study a financial market where the risky asset is modelled by a geometric Itô-Lévy process, with a singular drift term. This can for example model a situation where the asset price is partially controlled by a company ...

We consider spline functions over simplicial meshes in Rn. We assume that the spline pieces join together with some finite order of smoothness but the pieces themselves are infinitely smooth. Such splines can have extra ...

We derive a formula for weighted polynomial least squares approximation which expresses the approximant as a convex combination of interpolants. There is a similar formula for L2 approximation and the same principle applies ...

Confined glasses and their anomalous interfacial rheology raise important questions in fundamental research and numerous practical applications. In this work, we study the influence of interfacial air nanobubbles on the ...

The 2018 Anak Krakatoa volcano flank collapse generated a tsunami that impacted the Sunda Strait coastlines. In the absence of a tsunami early warning system, it caused several hundred fatalities. There are ongoing discussions ...

Solving the Navier–Stokes equations when the density field contains a large and sharp discontinuity—such as a water/air free surface—is numerically challenging. Convective instabilities cause Gibbs oscillations which quickly ...

In this note we will explore some applications of the recently constructed piecewise affine, H1-conforming element that fits in a discrete de Rham complex (Christiansen and Hu, 2018). In particular we show how the element ...

Motivic homotopy theory was developed by Morel and Voevodsky in the 1990s. The original motivation for the theory was to import homotopical techniques into algebraic geometry. This chapter introduces the motivic Adams ...

High-order accurate, entropy stable numerical methods for hyperbolic conservation laws have attracted much interest over the last decade, but only a few rigorous convergence results are available, particularly in multiple ...

This paper analyzes the approximation properties of spaces of piecewise tensor product polynomials over box meshes with a focus on application to isogeometric analysis. Local and global error bounds with respect to Sobolev ...

Runup on a slender cylindrical column exposed to long, steep waves, at finite and great depth is quantified by high speed camera technique in wave channel. Ratio between water depth (h) and cylinder diameter (D) is h/D = ...

We consider the problem of identifying a mixture of Gaussian distributions with the same unknown covariance matrix by their sequence of moments up to certain order. Our approach rests on studying the moment varieties ...

If a droplet smaller than the capillary length is placed on a substrate with a conical shape, it spreads by itself in the direction of growing fibre radius. We describe this capillary spreading dynamics by developing a ...

Every real algebraic variety determines a Voronoi decomposition of its ambient Euclidean space. Each Voronoi cell is a convex semialgebraic set in the normal space of the variety at a point. We compute the algebraic ...

Most of our understanding of moving contact lines relies on the limit of small capillary number Ca . This means the contact line speed is small compared to the capillary speed γ/η , where γ is the surface tension and η the ...

Abstract For a permutation π , and the corresponding permutation matrix, we introduce the notion of discrete derivative , obtained by taking differences of successive entries in π . We characterize the possible derivatives ...

Landslide tsunamis and impulse waves are hazardous events with severe socioeconomic impacts. A long standing problem with simulations of these events is the generation stage, where landslides and water interact. Depth-averaged ...

DC-DC buck converters are extensively used in many industrial and end-user applications where significant attention highlights their power-conversion efficiency and robustness to load and source disturbances. This paper ...

Flow of cerebrospinal fluid (CSF) in perivascular spaces (PVS) is one of the key concepts involved in theories concerning clearance from the brain. Experimental studies have demonstrated both net and oscillatory movement ...

We introduce a model for recurrent event data subject to left‐, right‐, and intermittent‐censoring. The observations consist of binary sequences (along with covariates) for each individual under study. These sequences are ...

Output voltage regulation of DC–DC converters has recently gained an increasing attention to face the many system nonidealities. The fast switching behavior is nonlinear time varying, the presence of model and measurement ...

Experimental results of wave-induced vortex generation around a slender, vertical cylinder are discussed. Coherent vortices appear in long waves (kR ∼ 0.1, where k is the wave number and R is the cylinder radius) during ...

We prove that homotopy invariance and cancellation properties are satisfied by any category of correspondences that is defined, via Calmès and Fasel’s construction, by an underlying cohomology theory. In particular, this ...

In applications like computer aided design, geometric models are often represented numerically as polynomial splines or NURBS, even when they originate from primitive geometry. For purposes such as redesign and isogeometric ...

Yield stress of aerated cement paste is studied. Samples are prepared by mixing aqueous foam with cement paste, which allows controlling bubble size, gas volume fraction and yield stress of the cement paste. Two distinct ...

We study non-ascending HNN extensions acting on their Bass– Serre tree and characterize C*-simplicity and the unique trace property by means of the kernel and quasi-kernels of the HNN extension in question. We also present ...

We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real ...

We observe a multilinearity preserving property of conditional expectation for infinite-dimensional independent increment processes defined on some abstract Banach space B. It is similar in nature to the polynomial preserving ...

-algebras and Leavitt path algebras. To this end, we define and analyze the coding graph corresponding to each such an endomorphism. We find an if and only if condition for the endomorphism to restrict to an automorphism ...

Homogeneous catalysis using transition metal complexes is ubiquitously used for organic synthesis, as well as technologically relevant in applications such as water splitting and CO2 reduction. The key steps underlying ...

Abstract We investigate how the extreme wave statistics of a combined windsea and swell appears to be different from the extreme wave statistics of the corresponding windsea and swell partitions. We consider the situation ...

We provide an axiomatic framework that characterizes the stable ∞-categories that are module categories over a motivic spectrum. This is done by invoking Lurie’s ∞-categorical version of the Barr–Beck theorem. As an ...

We argue that the very effective cover of hermitian K-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological K-theory spectrum. This means the ...

Track disruptions in metro systems may lead to severe train delays with many passengers stranded at platforms, unable to board on overloaded trains. Dispatchers may put in place different recovery actions, such as alternating ...

We introduce here the idea of a long-term swap rate, characterized as the fair rate of an overnight indexed swap (OIS) with infinitely many exchanges. Furthermore, we analyze the relationship between the long-term swap ...

In many statistical regression and prediction problems, it is reasonable to assume monotone relationships between certain predictor variables and the outcome. Genomic effects on phenotypes are, for instance, often assumed ...

We derive bounds for the constants in Poincaré–Friedrichs inequalities with respect to mesh-dependent norms for complexes of discrete distributional differential forms. A key tool is a generalized flux reconstruction which ...

Successful trading in electricity markets relies on the market actor's ability to accurately forecast the electricity price. The fundamental electricity price models use market information, provided by various price drivers, ...

Numerical simulations of granular flows with Navier–Stokes type models emerged in the last decade, challenging the well established depth-averaged models. The structure of these equations allows for extension to general ...

This study evaluates the dynamics of soil organic carbon (SOC) under perennial crops across the globe. It quantifies the effect of change from annual to perennial crops and the subsequent temporal changes in SOC stocks ...

Finite volume methods are proposed for computing approximate pathwise entropy/kinetic solutions to conservation laws with flux functions driven by low-regularity paths. For a convex flux, it is demonstrated that driving ...

The ability to separate and filter out microscopic objects lies at the core of many biomedical applications. However, a persistent problem is clogging, as biomaterials stick to the internal chip surface and limit device ...

We formulate a general cointegrated vector autoregressive (CVAR) model that nests both a class of consumption Euler equations and various Keynesian‐type consumption functions. Using likelihood‐based methods and Norwegian ...

ABSTRACT Disorders of the volume, pressure or circulation of the cerebrospinal fluid (CSF) lead to disease states in both newborns and adults; despite this significance, there is uncertainty regarding the basic mechanics ...

In this paper we investigate a local surface approximation, the Weighted Quasi Interpolant Spline Approximation (wQISA), specifically designed for large and noisy point clouds. We briefly describe the properties of the ...

Continuous representations are fundamental for modeling sampled data and performing computations and numerical simulations directly on the model or its elements. To effectively and efficiently address the approximation of ...

A unified approach to the determination of eigenvalues and eigenvectors of specific matrices associated with directed graphs is presented. Matrices studied include the new distance matrix, with natural extensions to the ...

In this paper we prove, for small Hurst parameters, the higher-order differentiability of a stochastic flow associated with a stochastic differential equation driven by an additive multi-dimensional fractional Brownian ...

The sparseness promoted by the total variation norm is utilized to achieve superresolution amplitude-variation-with-offset (AVO) inversion. The total variation norm promotes solutions that have constant values within ...

We describe a method for geophysical inversion of seismic amplitude data, we argue that this type of inversion is a natural extension of the processing flow. The methodology is related to digital image-video restoration ...

New methods for time-to-event prediction are proposed by extending the Cox proportional hazards model with neural networks. Building on methodology from nested case-control studies, we propose a loss function that scales ...

Based on a study of isolated restrained columns, and two-column panel frames, the often complicated mechanics of moment formations in the members are studdied using elastic second-order theory for the purpose of establishing ...

We use a white noise approach to study the problem of optimal insider control of a stochastic delay equation driven by a Brownian motion B and a Poisson random measure N. In particular, we use Hida-Malliavin calculus and ...

An inherent problem with microfluidic filters is the tendency to clog, especially when applied to cells due to their geometrical complexity, deformability, and tendency to adhere to surfaces. In this work, we handle live ...

Multiphase flow simulations were run in OpenFOAM utilizing InterFoam, a volume of fluid type solver. A concentric annulus geometry was constructed and periodic boundary conditions were applied to alleviate the requirement ...

Deep Reinforcement Learning (DRL) has recently been proposed as a methodology to discover complex active flow control strategies [Rabault et al., “Artificial neural networks trained through deep reinforcement learning ...

In [IMA J. Numer. Anal., 29 (2009), pp. 24--42], Nielsen, Tveito, and Hackbusch study the operator generated by using the inverse of the Laplacian as the preconditioner for second order elliptic PDEs $-\nabla \cdot (k(x) ...

Appendages of seeds, fruits and other diaspores (dispersal units) are essential for their wind dispersal, as they act as wings and enable them to fly. Whirling fruits generate an auto-gyrating motion from their sepals, a ...