Search results for "Model theory"

showing 10 items of 681 documents

The same (as what?)

2018

Aquest article adopta un enfocament radicalment contextualista en relació amb la referència de descripcions definides que contenen l?expressió anglesa the same, tant sense complement com amb complement en forma de nucli nominal i/o de sintagma comparatiu del tipus as X. S?argumenta que les descripcions definides que contenen the same no fan referència a una entitat única, encara que el resultat de la prova de comprensió efectuada sembla donar suport a la idea que aquestes descripcions poden afavorir la interpretació que aquests sintagmes definits es refereixen directament a una entitat específica.

Linguistics and LanguagePhraseComputer sciencemedia_common.quotation_subjectType (model theory)Head nounTerm (logic)Language and LinguisticsLinguisticsComprehension testExpression (architecture)Complement (linguistics)Function (engineering)media_commonQuaderns de Filologia - Estudis Lingüístics
researchProduct

Extremal Problems for Elliptic Systems

1998

The specific properties of optimal control problems for elliptic systems, if compared with the case of a single equation, are described. Within them are: strong closures of sets of feasible states; the relaxability via convexification; the type of necessary optimality conditions.

Lipschitz domainElliptic systemsAdjoint equationMathematical analysisSingle equationType (model theory)Optimal controlMathematics
researchProduct

Description of the retention behaviour of solutes in micellar liquid chromatography with organic modifiers: Comparison of two methods

1995

Two methods for the description of the retention behaviour of solutes in micellar liquid chromatography are compared. One of them divides the parameter space into triangular subspaces, fitting a different equation in each subspace. The second method makes use of a unique equation, valid in the whole parameter space. In both cases, equations of the type log k=f (μ, ϕ), and 1/k=f (μ, ϕ), (μ and ϕ are the concentration of surfactant and alcohol, respectively), were used to describe the retention. The use of the hyperbolic function, 1/k=c0+c1μ+c3μϕ, to describe the whole parameter space yielded the best prediction. When a small portion of the parameter space was modelled, a simpler hyperbolic f…

LogarithmChemistryOrganic ChemistryClinical BiochemistryHyperbolic functionAnalytical chemistryThermodynamicsType (model theory)Parameter spaceBiochemistryLinear subspaceAnalytical ChemistryMicellar liquid chromatographyPhase compositionSubspace topologyChromatographia
researchProduct

On the absence of BPS preonic solutions in IIA and IIB supergravities

2006

We consider the present absence of 31 out of 32 supersymmetric solutions in supergravity i.e., of solutions describing BPS preons. A recent result indicates that (bosonic) BPS preonic solutions do not exist in type IIB supergravity. We reconsider this analysis by using the G-frame method, extend it to the IIA supergravity case, and show that there are no (bosonic) preonic solutions for type IIA either. For the classical D=11 supergravity no conclusion can be drawn yet, although the negative IIA results permit establishing the conditions that preonic solutions would have to satisfy. For supergravities with `stringy' corrections, the existence of BPS preonic solutions remains fully open.

M-theoryPhysicsHigh Energy Physics - TheoryNuclear and High Energy PhysicsType iibHigh Energy Physics - Theory (hep-th)SupergravityFOS: Physical sciencesType (model theory)Mathematical physics
researchProduct

Structure elucidation of new acacic acid-type saponins from Albizia coriaria.

2010

Three new acacic acid derivatives, named coriariosides C, D, and E (1–3) were isolated from the roots of Albizia coriaria. Their structures were elucidated on the basis of extensive 1D- and 2D-NMR studies and mass spectrometry as 3-O-[β-D-xylopyranosyl-(1 2)-β-D-fucopyranosyl-(1 6)-2-(acetamido)-2-deoxy-β-D-glucopyranosyl]-21-O-{(2E,6S)-6-O-{4-O-[(2E,6S)-2,6-dimethyl- 6-O-(β-D-quinovopyranosyl)octa-2,7-dienoyl]-4-O-[(2E,6S)-2,6-dimethyl-6-O-(β-D-quinovopyranosyl)octa-2,7-dienoyl]-β-D-quinovopyranosyl}-2,6-dimethylocta-2,7-dienoyl}acacic acid 28-O-β-D-xylopyranosyl-(1 4)-α-L-rhamnopyranosyl-(1 2)-β-D-glucopyranosyl ester (1), 3-O-{β-D-fucopyranosyl-(1 6)-[β-D-glucopyranosyl-(1 2)]-β-D-glucop…

Magnetic Resonance SpectroscopybiologyMolecular StructureStereochemistryChemistryAcaciaAlbizziaGeneral ChemistryType (model theory)Saponinsbiology.organism_classificationAlbiziaPlant RootsCoriariaGeneral Materials ScienceMagnetic resonance in chemistry : MRC
researchProduct

Some approximation properties of ( p , q ) $(p,q)$ -Bernstein operators

2016

This paper is concerned with the $(p,q)$ -analog of Bernstein operators. It is proved that, when the function is convex, the $(p,q)$ -Bernstein operators are monotonic decreasing, as in the classical case. Also, some numerical examples based on Maple algorithms that verify these properties are considered. A global approximation theorem by means of the Ditzian-Totik modulus of smoothness and a Voronovskaja type theorem are proved.

MapleDiscrete mathematicsModulus of smoothnesslcsh:MathematicsApplied Mathematics010102 general mathematicsApproximation theoremRegular polygonMonotonic functionFunction (mathematics)Type (model theory)engineering.materialVoronovskaja type theoremlcsh:QA1-93901 natural sciences010101 applied mathematics( p q ) $(pq)$ -Bernstein operatorsengineeringDiscrete Mathematics and Combinatorics0101 mathematics( p q ) $(pq)$ -calculusK-functionalAnalysisMathematicsDitzian-Totik first order modulus of smoothnessJournal of Inequalities and Applications
researchProduct

On the generalized directed rural postman problem

2014

The generalized directed rural postman problem (GDRPP) is a generic type of arc routing problem. In the present paper, it is described how many types of practically relevant single-vehicle routing problems can be modelled as GDRPPs. This demonstrates the versatility of the GDRPP and its importance as a unified model for postman problems. In addition, an exact and a heuristic solution method are presented. Computational experiments using two large sets of benchmark instances are performed. The results show high solution quality and thus demonstrate the practical usefulness of the approach.

MarketingMathematical optimization021103 operations researchHeuristicStrategy and Management0211 other engineering and technologies02 engineering and technologyUnified ModelManagement Science and Operations ResearchType (model theory)Management Information Systems0202 electrical engineering electronic engineering information engineeringBenchmark (computing)020201 artificial intelligence & image processingRouting (electronic design automation)HeuristicsArc routingBranch and cutMathematics
researchProduct

Mass transport problems obtained as limits of p-Laplacian type problems with spatial dependence

2014

Abstract. We consider the following problem: given a bounded convex domain Ω ⊂ ℝ N ${\Omega \subset \mathbb {R}^N}$ we consider the limit as p → ∞ of solutions to - div ( b p - p | D u | p - 2 D u ) = f + - f - ${- \operatorname{div} (b_{p}^{-p} |Du|^{p-2} Du)=f_+ - f_-}$ in Ω and b p - p | D u | p - 2 ∂ u ∂ η = 0 ${ b_{p}^{-p} |Du|^{p-2} \frac{\partial u}{\partial \eta }=0}$ on ∂ Ω ${\partial \Omega }$ . Under appropriate assumptions on the coefficients bp that in particular verify that lim p → ∞ b p = b ${ \lim _{p\rightarrow \infty } b_p = b }$ uniformly in Ω ¯ ${\overline{\Omega }}$ , we prove that there is a uniform limit of u p j ${u_{p_j}}$ (along a sequence p j → ∞ ${p_j \rightarrow…

Mass transportQA299.6-433Mathematical analysismass transportp-laplacian equationType (model theory)Bounded functionp-Laplacianmonge–kantorovich problems45g10Limit (mathematics)Spatial dependenceConvex domain49j4549j20AnalysisMathematicsAdvances in Nonlinear Analysis
researchProduct

Macroscopic description of the two-dimensionalLaAlO3/SrTiO3interface

2016

We propose a simple analytical model to explain the possible appearance of the metallic conductivity in the two-dimensional (2D) ${\mathrm{LaAlO}}_{3}/{\mathrm{SrTiO}}_{3}$ interface. Our model considers the interface within a macroscopic approach, which is usual for semiconductor heterojunctions and is based on drift-diffusion equations. The solution of these equations allows us to obtain the positions of band edges as a function of distances from the interface. We show that for the 2D metallic conductivity to appear at the interface, the constituting substances should have the same type (either electronic or hole) of conductivity; in the opposite case the possible transition to metallic p…

Materials scienceCondensed matter physicsbusiness.industryHeterojunction02 engineering and technologyFunction (mathematics)ConductivityType (model theory)021001 nanoscience & nanotechnology01 natural sciencesMetalSemiconductorSimple (abstract algebra)Phase (matter)visual_art0103 physical sciencesvisual_art.visual_art_medium010306 general physics0210 nano-technologybusinessPhysical Review B
researchProduct

Two-Dimensional Melting Approached via Finite-Size Scaling of Bond-Orientational Order

1994

Relying on Monte Carlo simulations, we investigate the hard-disk melting transition. The finite-size scaled values of the bond-orientational order parameter moments are obtained with the block analysis technique. The behaviour of Binder's cumulant and the susceptibility favour an interpretation in terms of a first-order transition.

Materials scienceMonte Carlo methodGeneral Physics and AstronomyOrder (group theory)Statistical physicsBlock (periodic table)CumulantScalingInterpretation (model theory)Europhysics Letters (EPL)
researchProduct