Search results for "Model theory"

showing 10 items of 681 documents

Mathematical Morphology Based on Fuzzy Operators

1993

A vision procedure may be considered as the repeated application of image operators until the vision goal is reached. The type of these operators and the spaces on which they are defined and act depends on the specific problem and on what we are searching on the image. Morphological operations, as filtering, edge detection, skeletonizing, and so on, are mainly required at low and medium levels of the vision procedure, where local and global knowledge is used to enhance the image information content, before a final decision about the image is taken.

Mathematical optimizationFuzzy classificationbusiness.industryComputer scienceComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONFuzzy operatorsPattern recognitionType (model theory)Mathematical morphologySkeletonizationEdge detectionImage (mathematics)Artificial intelligenceMorphological filterbusiness
researchProduct

Solving the discrete multiple criteria problem using linear prospect theory

1994

Abstract Prospect theory developed by Kahneman and Tversky is a popular model of choice in decision problems under uncertainty. Prospect theory has recently been extended to multiple criteria choice problems. In this paper, an interactive method for solving discrete multiple criteria decision problems, based on prospect theory type value functions, has been developed. Piecewise linear marginal value functions are assumed to approximate the S-shaped value functions of prospect theory. Therefore, the proposed procedure is valid only for convex preferences.

Mathematical optimizationInformation Systems and ManagementGeneral Computer ScienceDecision theoryConvex preferencesMarginal valueManagement Science and Operations ResearchType (model theory)Decision problemIndustrial and Manufacturing EngineeringPiecewise linear functionProspect theoryModeling and SimulationValue (economics)Mathematical economicsMathematicsEuropean Journal of Operational Research
researchProduct

Varadhan estimates without probability: lower bound

2007

We translate in semi-group theory our proof of Varadhan estimates for subelliptic Laplacians which was using the theory of large deviations of Wentzel-Freidlin and the Malliavin Calculus of Bismut type.

Mathematical optimizationMathematics::ProbabilityStochastic calculusApplied mathematicsLarge deviations theoryMathematics::Spectral TheoryPortfolio optimizationType (model theory)Malliavin calculusUpper and lower boundsMathematics
researchProduct

Inverse problems for elliptic equations with fractional power type nonlinearities

2020

We study inverse problems for semilinear elliptic equations with fractional power type nonlinearities. Our arguments are based on the higher order linearization method, which helps us to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. By using a fractional order adaptation of this method, we show that the results of [LLLS20a, LLLS20b] remain valid for general power type nonlinearities.

Mathematics - Differential GeometryApplied Mathematics010102 general mathematicsType (model theory)Inverse problem01 natural sciencesFractional powerPower (physics)010101 applied mathematicsNonlinear systemMathematics - Analysis of PDEsDifferential Geometry (math.DG)Linearization35R30 35J25 35J61FOS: MathematicsApplied mathematicsOrder (group theory)0101 mathematicsAnalysisLinear equationAnalysis of PDEs (math.AP)Mathematics
researchProduct

The Linearized Calderón Problem in Transversally Anisotropic Geometries

2017

In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of transversal singularities in the linearized problem. The method requires a geometric condition on the transversal manifold related to pairs of intersecting geodesics, but it does not involve the geodesic X-ray transform which has limited earlier results on this problem.

Mathematics - Differential GeometryGeodesicGeneral MathematicsNEUMANN MAPBoundary (topology)Type (model theory)01 natural scienceslaw.inventionMathematics - Analysis of PDEslinearized anisotropic Calderón problemlaw35R30 35J25111 MathematicsFOS: Mathematics0101 mathematicsMathematics010102 general mathematicsMathematical analysisInverse problem010101 applied mathematicsHarmonic functionDifferential Geometry (math.DG)Transversal (combinatorics)Gravitational singularityMathematics::Differential GeometryINVERSE PROBLEMManifold (fluid mechanics)Analysis of PDEs (math.AP)
researchProduct

Algebraicity of analytic maps to a hyperbolic variety

2018

Let $X$ be an algebraic variety over $\mathbb{C}$. We say that $X$ is Borel hyperbolic if, for every finite type reduced scheme $S$ over $\mathbb{C}$, every holomorphic map $S^{an}\to X^{an}$ is algebraic. We use a transcendental specialization technique to prove that $X$ is Borel hyperbolic if and only if, for every smooth affine curve $C$ over $\mathbb{C}$, every holomorphic map $C^{an}\to X^{an}$ is algebraic. We use the latter result to prove that Borel hyperbolicity shares many common features with other notions of hyperbolicity such as Kobayashi hyperbolicity.

Mathematics - Differential GeometryPure mathematicsMathematics::Dynamical SystemsGeneral Mathematics010102 general mathematicsHolomorphic functionAlgebraic varietyType (model theory)01 natural sciencesMathematics::Geometric Topology010101 applied mathematicsMathematics - Algebraic GeometryDifferential Geometry (math.DG)Scheme (mathematics)FOS: MathematicsAffine transformationTranscendental number0101 mathematicsVariety (universal algebra)Algebraic numberAlgebraic Geometry (math.AG)32Q45Mathematics
researchProduct

Partial data inverse problems for the Hodge Laplacian

2017

We prove uniqueness results for a Calderon type inverse problem for the Hodge Laplacian acting on graded forms on certain manifolds in three dimensions. In particular, we show that partial measurements of the relative-to-absolute or absolute-to-relative boundary value maps uniquely determine a zeroth order potential. The method is based on Carleman estimates for the Hodge Laplacian with relative or absolute boundary conditions, and on the construction of complex geometric optics solutions which reduce the Calderon type problem to a tensor tomography problem for 2-tensors. The arguments in this paper allow to establish partial data results for elliptic systems that generalize the scalar resu…

Mathematics - Differential GeometryPure mathematicsadmissible manifoldsType (model theory)partial data01 natural sciences58J32inversio-ongelmatMathematics - Analysis of PDEsFOS: MathematicsBoundary value problemUniquenessTensor0101 mathematicsMathematicsNumerical Analysisabsolute and relative boundary conditionsGeometrical opticsinverse problemsApplied Mathematicsta111010102 general mathematicsScalar (physics)Inverse problemCarleman estimates010101 applied mathematics35R30Differential Geometry (math.DG)Hodge LaplacianLaplace operatorAnalysisAnalysis of PDEs (math.AP)Analysis & PDE
researchProduct

Notes on bilinear multipliers on Orlicz spaces

2019

Let $\Phi_1 , \Phi_2 $ and $ \Phi_3$ be Young functions and let $L^{\Phi_1}(\mathbb{R})$, $L^{\Phi_2}(\mathbb{R})$ and $L^{\Phi_3}(\mathbb{R})$ be the corresponding Orlicz spaces. We say that a function $m(\xi,\eta)$ defined on $\mathbb{R}\times \mathbb{R}$ is a bilinear multiplier of type $(\Phi_1,\Phi_2,\Phi_3)$ if \[ B_m(f,g)(x)=\int_\mathbb{R} \int_\mathbb{R} \hat{f}(\xi) \hat{g}(\eta)m(\xi,\eta)e^{2\pi i (\xi+\eta) x}d\xi d\eta \] defines a bounded bilinear operator from $L^{\Phi_1}(\mathbb{R}) \times L^{\Phi_2}(\mathbb{R})$ to $L^{\Phi_3}(\mathbb{R})$. We denote by $BM_{(\Phi_1,\Phi_2,\Phi_3)}(\mathbb{R})$ the space of all bilinear multipliers of type $(\Phi_1,\Phi_2,\Phi_3)$ and inve…

Mathematics - Functional AnalysisMultiplier (Fourier analysis)CombinatoricsBilinear operatorMathematics::Operator AlgebrasGeneral MathematicsFOS: MathematicsHigh Energy Physics::ExperimentType (model theory)Space (mathematics)Lp spaceMathematicsFunctional Analysis (math.FA)
researchProduct

Conical upper density theorems and porosity of measures

2008

Abstract We study how measures with finite lower density are distributed around ( n − m ) -planes in small balls in R n . We also discuss relations between conical upper density theorems and porosity. Our results may be applied to a large collection of Hausdorff and packing type measures.

Mathematics(all)General Mathematics010102 general mathematicsHausdorff spaceGeometryConical surfaceType (model theory)01 natural sciencesPacking measure010104 statistics & probabilityMathematics - Classical Analysis and ODEsClassical Analysis and ODEs (math.CA)FOS: MathematicsConical upper density0101 mathematicsPorosityPorosityFinite lower densityMathematicsAdvances in Mathematics
researchProduct

A symmetrization result for Monge–Ampère type equations

2007

In this paper we prove some comparison results for Monge–Ampere type equations in dimension two. We also consider the case of eigenfunctions and we derive a kind of “reverse” inequalities. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Mathematics::Complex VariablesGeneral MathematicsMathematical analysisComparison resultsMonge-Ampère equationEigenfunctionType (model theory)Monge-Ampère equationsDimension (vector space)Settore MAT/05 - Analisi Matematicaeigenvalue problemrearrangementsSymmetrizationAmpereEigenvalue problemsMathematicsMathematische Nachrichten
researchProduct