Search results for "Model theory"
showing 10 items of 681 documents
Network-Constrained Covariate Coefficient and Connection Sign Estimation
2020
Often, variables are linked to each other via a network. When such a network structure is known, this knowledge can be incorporated into regularized regression settings via a network penalty term. However, when the type of interaction via the network is unknown (that is, whether connections are of an activating or a repressing type), the connection signs have to be estimated simultaneously with the covariate coefficients. This can be done with an algorithm iterating a connection sign estimation step and a covariate coefficient estimation step. We develop such an algorithm and show detailed simulation results and an application forecasting event times. The algorithm performs well in a variet…
Mass transport problems for the Euclidean distance obtained as limits of p-Laplacian type problems with obstacles
2014
In this paper we analyze a mass transportation problem that consists in moving optimally (paying a transport cost given by the Euclidean distance) an amount of a commodity larger than or equal to a fixed one to fulfil a demand also larger than or equal to a fixed one, with the obligation of paying an extra cost of −g1(x) for extra production of one unit at location x and an extra cost of g2(y) for creating one unit of demand at y. The extra amounts of mass (commodity/demand) are unknowns of the problem. Our approach to this problem is by taking the limit as p→∞ to a double obstacle problem (with obstacles g1, g2) for the p-Laplacian. In fact, under a certain natural constraint on the extra …
Interpretation of the Co K-edge EXAFS in LaCoO3 using molecular dynamics simulations
2011
Abstract Temperature dependent (180–400 K) Co K-edge EXAFS spectra from perovskite-type rhombohedral ( R 3 ¯ c ) LaCoO 3 have been successfully interpreted using a combination of classical NVT molecular dynamics (MD) and ab initio multiple-scattering (MS) theory. The method allowed us to account entirely for thermal disorder and to interpret reliably the contribution from the coordination shells beyond the first one into the total EXAFS spectrum taking into account many-body effects. The best agreement between experimental and configuration-averaged EXAFS spectra was obtained for pure ionic La 3+ and partially ionic Co 1.35+ and O 1.45− charges indicating the mixed ionic-covalent character …
Probabilistic and team PFIN-type learning: General properties
2008
We consider the probability hierarchy for Popperian FINite learning and study the general properties of this hierarchy. We prove that the probability hierarchy is decidable, i.e. there exists an algorithm that receives p_1 and p_2 and answers whether PFIN-type learning with the probability of success p_1 is equivalent to PFIN-type learning with the probability of success p_2. To prove our result, we analyze the topological structure of the probability hierarchy. We prove that it is well-ordered in descending ordering and order-equivalent to ordinal epsilon_0. This shows that the structure of the hierarchy is very complicated. Using similar methods, we also prove that, for PFIN-type learning…
The Descriptive Complexity Approach to LOGCFL
1998
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory relating monoidal quantifiers to NC1 and its subclasses. In the absence of the BIT predicate, we resolve the main issues: we show in particular that no single outermost unary groupoidal quantifier with FO can capture all the context-free languages, and we obtain the surprising result that a variant of Greibach's ``hardest context-free language'' is LOGCFL-complete under quantifier-free BIT-free proj…
Rate-Splitting Random Access Mechanism for Massive Machine Type Communications in 5G Cellular Internet-of-Things
2021
The cellular Internet-of-Things has resulted in the deployment of millions of machine-type communication (MTC) devices. These massive number of devices must communicate with a single gNodeB (gNB) via the random access channel (RACH) mechanism. However, existing RACH mechanisms are inefficient when dealing with such large number of devices. To address this issue, we propose the rate-splitting random access (RSRA) mechanism, which uses rate splitting and decoding in rate-splitting multiple access (RSMA) to improve RACH success rates. The proposed mechanism divides the message into common and private messages and enhances the decoding performance. We demonstrate, using extensive simulations, t…
Applications of sinusoidal phase modulation in temporal optics to highlight some properties of the Fourier transform
2019
International audience; Fourier analysis plays a major role in the analysis and understanding of many phenomena in physics and contemporary engineering. However, students, who have often discovered this notion through numerical tools, do not necessarily understand all the richness that can be derived from joint analysis in the temporal and spectral domains, particularly in the field of optics. As part of the second year of the Master's degree in Physics Lasers and Materials at the University of Burgundy, we have set up a set of experiments to highlight these concepts and to show, on a non-trivial example of periodic phase modulation, the precautions to be taken in the interpretation of the …
Application of Operator Splitting Methods in Finance
2016
Financial derivatives pricing aims to find the fair value of a financial contract on an underlying asset. Here we consider option pricing in the partial differential equations framework. The contemporary models lead to one-dimensional or multidimensional parabolic problems of the convection-diffusion type and generalizations thereof. An overview of various operator splitting methods is presented for the efficient numerical solution of these problems.
Finite element method on fractional visco-elastic frames
2016
Viscoelastic behavior is defined by fractional operators.Quasi static FEM analysis of frames with fractional constitutive law is performed.FEM solution is decoupled into a set of fractional Kelvin Voigt elements.Proposed approach could be easily integrated in existing FEM codes. In this study the Finite Element Method (FEM) on viscoelastic frames is presented. It is assumed that the Creep function of the constituent material is of power law type, as a consequence the local constitutive law is ruled by fractional operators. The Euler Bernoulli beam and the FEM for the frames are introduced. It is shown that the whole system is ruled by a set of coupled fractional differential equations. In q…
On irreducible products of characters
2021
Abstract We study the problem when the product of two non-linear Galois conjugate characters of a finite group is irreducible. We also prove new results on irreducible tensor products of cross-characteristic Brauer characters of quasisimple groups of Lie type.