Semantics of MML Query

Bibliographic Details
Main Author:	Bancerek Grzegorz
Format:	Article
Language:	English
Published:	Sciendo 2013-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/forma-2013-0004

Semantics of MML Query
by: Bancerek Grzegorz
Published: (2012-12-01)

Characteristics and Effects of Laminar Separation Bubbles on NREL S809 Airfoil Using the <inline-formula> <mml:math id="mm128" display="block"> <mml:semantics> <mml:mi>γ</mml:mi> </mml:semantics> </mml:math> </inline-formula>-<inline-formula> <mml:math id="mm129" display="block"> <mml:semantics> <mml:mrow> <mml:mi>R</mml:mi> <mml:msub> <mml:mi>e</mml:mi> <mml:mi>θ</mml:mi> </mml:msub> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Transition Model
by: Jang-oh Mo, et al.
Published: (2020-09-01)

Impact of Inductively Coupled Plasma Etching Conditions on the Formation of Semi-Polar (<inline-formula> <mml:math id="mm100" display="block"> <mml:semantics> <mml:mrow> <mml:mn>11</mml:mn> <mml:mover accent="true"> <mml:mn>2</mml:mn> <mml:mo>¯</mml:mo> </mml:mover> <mml:mn>2</mml:mn> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>) and Non-Polar (<inline-formula> <mml:math id="mm200" display="block"> <mml:semantics> <mml:mrow> <mml:mn>11</mml:mn> <mml:mover accent="true"> <mml:mn>2</mml:mn> <mml:mo>¯</mml:mo> </mml:mover> <mml:mn>0</mml:mn> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>) GaN Nanorods
by: Pierre-Marie Coulon, et al.
Published: (2020-12-01)

Riemannian Structures on <inline-formula> <mml:math id="mm1" display="block"> <mml:semantics> <mml:msubsup> <mml:mi mathvariant="double-struck">Z</mml:mi> <mml:mn>2</mml:mn> <mml:mi>n</mml:mi> </mml:msubsup> </mml:semantics> </mml:math> </inline-formula>-Manifolds
by: Andrew James Bruce, et al.
Published: (2020-09-01)

Line and Subdivision Graphs Determined by <inline-formula> <mml:math id="mm999" display="block"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi mathvariant="double-struck">T</mml:mi> <mml:mn>4</mml:mn> </mml:msub> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>-Gain Graphs
by: Abdullah Alazemi, et al.
Published: (2019-10-01)

4D, <inline-formula> <mml:math id="mm999" display="block"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="script">N</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Matter Gravitino Genomics
by: S.-N. Hazel Mak, et al.
Published: (2019-02-01)

<inline-formula> <mml:math display="block" id="mm799"> <mml:semantics> <mml:mrow> <mml:msup> <mml:mi>D</mml:mi> <mml:mo>*</mml:mo> </mml:msup> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Polarization as an Additional Constraint on New Physics in the b → cτ<inline-formula> <mml:math display="block" id="mm610"> <mml:semantics> <mml:mrow> <mml:mover> <mml:mi>ν</mml:mi> <mml:mo stretchy="false">¯</mml:mo> </mml:mover> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>τ Transition
by: Mikhail A. Ivanov, et al.
Published: (2020-03-01)

Exploring Possible Triangle Singularities in the <inline-formula> <mml:math id="mm9999" display="block"> <mml:semantics> <mml:mrow> <mml:msubsup> <mml:mo>Ξ</mml:mo> <mml:mi>b</mml:mi> <mml:mo>−</mml:mo> </mml:msubsup> <mml:mspace width="3.33333pt"/> <mml:mo>→</mml:mo> <mml:mspace width="3.33333pt"/> <mml:msup> <mml:mi>K</mml:mi> <mml:mo>−</mml:mo> </mml:msup> <mml:mi>J</mml:mi> <mml:mo>/</mml:mo> <mml:mi>ψ</mml:mi> <mml:mo>Λ</mml:mo> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Decay
by: Chao-Wei Shen, et al.
Published: (2020-09-01)

Deformed <inline-formula> <mml:math id="mm300" display="block"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="script">N</mml:mi> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> = 8 Supersymmetric Mechanics
by: Evgeny Ivanov, et al.
Published: (2019-01-01)

A Combined <inline-formula> <mml:math id="mm10000000" display="block"> <mml:semantics> <mml:msub> <mml:mi mathvariant="script">H</mml:mi> <mml:mn>2</mml:mn> </mml:msub> </mml:semantics> </mml:math> </inline-formula>/<inline-formula> <mml:math id="mm2000000" display="block"> <mml:semantics> <mml:msub> <mml:mi mathvariant="script">H</mml:mi> <mml:mo>∞</mml:mo> </mml:msub> </mml:semantics> </mml:math> </inline-formula> Approach for Robust Joint Actuator and Sensor Fault Estimation: Application to a DC Servo-Motor System
by: Mariusz Buciakowski, et al.
Published: (2019-06-01)

Vortex Dynamics of Charge Carriers in the Quasi-Relativistic Graphene Model: High-Energy <inline-formula> <mml:math id="mm400" display="block"> <mml:semantics> <mml:mrow> <mml:mover> <mml:mi>k</mml:mi> <mml:mo stretchy="false">→</mml:mo> </mml:mover> <mml:mo>·</mml:mo> <mml:mover> <mml:mi>p</mml:mi> <mml:mo stretchy="false">→</mml:mo> </mml:mover> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Approximation
by: Halina Grushevskaya, et al.
Published: (2020-02-01)

CFD and Experimental Characterization of a Bioreactor: Analysis via Power Curve, Flow Patterns and <inline-formula> <mml:math id="mm666" display="block"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>k</mml:mi> <mml:mi>L</mml:mi> </mml:msub> <mml:mi>a</mml:mi> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>
by: Luis A. Ramírez, et al.
Published: (2020-07-01)

Comparison of the Point-Collocation Non-Intrusive Polynomial (NIPC) and Non-Intrusive Spectral Projection (NISP) Methods for the <inline-formula> <mml:math id="mm1" display="block"> <mml:semantics> <mml:mrow> <mml:mi>γ</mml:mi> <mml:mo>−</mml:mo> <mml:msub> <mml:mi>R</mml:mi> <mml:mi>θ</mml:mi> </mml:msub> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Transition Model
by: Thanh Hoai Nguyen, et al.
Published: (2019-04-01)

Application of a <inline-formula> <mml:math id="mm200" display="block"> <mml:semantics> <mml:msqrt> <mml:mrow> <mml:mi>area</mml:mi> </mml:mrow> </mml:msqrt> </mml:semantics> </mml:math> </inline-formula>-Approach for Fatigue Assessment of Cast Aluminum Alloys at Elevated Temperature
by: Roman Aigner, et al.
Published: (2018-12-01)

A New Version of Spherical Magnetic Curves in the De-Sitter Space <inline-formula> <mml:math id="mm881" display="block"> <mml:semantics> <mml:msubsup> <mml:mi mathvariant="script">S</mml:mi> <mml:mn>1</mml:mn> <mml:mn>2</mml:mn> </mml:msubsup> </mml:semantics> </mml:math> </inline-formula>
by: Selçuk Baş
Published: (2018-11-01)

Continuous Wavelet Transform of Schwartz Tempered Distributions in S′ (<inline-formula> <mml:math id="mm999" display="block"> <mml:semantics> <mml:mrow> <mml:msup> <mml:mi mathvariant="double-struck">R</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>)
by: Jagdish Narayan Pandey, et al.
Published: (2019-02-01)

Understanding the Seeding Pulse-Induced Optical Amplification in <inline-formula> <mml:math display="block" id="mm789"> <mml:semantics> <mml:mrow> <mml:msubsup> <mml:mi mathvariant="normal">N</mml:mi> <mml:mn>2</mml:mn> <mml:mo>+</mml:mo> </mml:msubsup> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Pumped by 800 NM Femtosecond Laser Pulses
by: Zhengquan Fan, et al.
Published: (2020-10-01)

Viscosity Approximation Methods for <inline-formula> <mml:math id="mm1000" display="block"> <mml:semantics> <mml:mrow> <mml:mo>*</mml:mo> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>−Nonexpansive Multi-Valued Mappings in Convex Metric Spaces
by: Azadeh Ghanifard, et al.
Published: (2020-01-01)

<inline-formula> <mml:math id="mm10000" display="block"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="bold-script">P</mml:mi> <mml:mo mathvariant="bold">,</mml:mo> <mml:mi mathvariant="bold-script">T</mml:mi> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>-Violating and Magnetic Hyperfine Interactions in Atomic Thallium
by: Timo Fleig, et al.
Published: (2020-03-01)

Latest Results from RHIC + Progress on Determining <inline-formula> <mml:math display="block" id="mm227"> <mml:semantics> <mml:mrow> <mml:mover> <mml:mi>q</mml:mi> <mml:mo>^</mml:mo> </mml:mover> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>L in RHI Collisions Using Di-Hadron Correlations
by: Michael J. Tannenbaum
Published: (2019-06-01)

The Entanglement Generation in <inline-formula> <mml:math id="mm111111" display="block"> <mml:semantics> <mml:mstyle mathvariant="bold" mathsize="normal"> <mml:mrow> <mml:mi mathvariant="script">P</mml:mi> <mml:mi mathvariant="script">T</mml:mi> </mml:mrow> </mml:mstyle> </mml:semantics> </mml:math> </inline-formula>-Symmetric Optical Quadrimer System
by: Joanna K. Kalaga
Published: (2019-09-01)

A New Geometric Metric in the Shape and Size Space of Curves in <inline-formula> <mml:math id="mm1015" display="block"> <mml:semantics> <mml:msup> <mml:mi mathvariant="double-struck">R</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:semantics> </mml:math> </inline-formula>
by: Irene Epifanio, et al.
Published: (2020-10-01)

Advanced Autonomous Underwater Vehicles Attitude Control with <inline-formula> <mml:math id="mm100000" display="block"> <mml:semantics> <mml:msub> <mml:mi mathvariant="script">L</mml:mi> <mml:mn>1</mml:mn> </mml:msub> </mml:semantics> </mml:math> </inline-formula> Backstepping Adaptive Control Strategy
by: Yuqian Liu, et al.
Published: (2019-11-01)

Study of Jet Shape Observables in Au+Au Collisions at <inline-formula> <mml:math id="mm1122" display="block"> <mml:semantics> <mml:msqrt> <mml:msub> <mml:mi mathvariant="bold-italic">s</mml:mi> <mml:mrow> <mml:mi mathvariant="bold-italic">N</mml:mi> <mml:mi mathvariant="bold-italic">N</mml:mi> </mml:mrow> </mml:msub> </mml:msqrt> </mml:semantics> </mml:math> </inline-formula> = 200 GeV with JEWEL
by: Veronika Agafonova
Published: (2019-05-01)

Geometric Characterizations of Canal Surfaces in Minkowski 3-Space <inline-formula> <mml:math id="mm222222" display="block"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="double-struck">II</mml:mi> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>
by: Jinhua Qian, et al.
Published: (2019-08-01)

A Solution of Fredholm Integral Equation by Using the Cyclic <inline-formula> <mml:math id="mm9998" display="block"> <mml:semantics> <mml:msubsup> <mml:mi>η</mml:mi> <mml:mrow> <mml:mi>s</mml:mi> </mml:mrow> <mml:mi>q</mml:mi> </mml:msubsup> </mml:semantics> </mml:math> </inline-formula>-Rational Contractive Mappings Technique in b-Metric-Like Spaces
by: Hasanen A. Hammad, et al.
Published: (2019-09-01)

p-Laplacian Equations in <inline-formula> <mml:math id="mm888" display="block"> <mml:semantics> <mml:msubsup> <mml:mi mathvariant="double-struck">R</mml:mi> <mml:mo mathvariant="bold">+</mml:mo> <mml:mi mathvariant="bold-italic">N</mml:mi> </mml:msubsup> </mml:semantics> </mml:math> </inline-formula> with Critical Boundary Nonlinearity
by: Xu Miao, et al.
Published: (2020-09-01)

On an Exact Relation between ζ″(2) and the Meijer <inline-formula> <mml:math display="block" id="mm1000"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="script">G</mml:mi> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>-Functions
by: Luis Acedo
Published: (2019-04-01)

Caristi, Nadler and <inline-formula> <mml:math id="mm2151657" display="block"> <mml:semantics> <mml:msup> <mml:mi mathvariant="script">H</mml:mi> <mml:mo>+</mml:mo> </mml:msup> </mml:semantics> </mml:math> </inline-formula>-Type Contractive Mappings and Their Fixed Points in θ-Metric Spaces
by: Pradip Patle, et al.
Published: (2019-04-01)

<inline-formula> <mml:math id="mm141012" display="block"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="script">F</mml:mi> </mml:mrow> </mml:semantics> </mml:math> </inline-formula>-Metric, F-Contraction and Common Fixed-Point Theorems with Applications
by: Awais Asif, et al.
Published: (2019-06-01)

<inline-formula> <mml:math id="mm998" display="block"> <mml:semantics> <mml:mi mathvariant="script">PT</mml:mi> </mml:semantics> </mml:math> </inline-formula>-Symmetric Qubit-System States in the Probability Representation of Quantum Mechanics
by: Vladimir N. Chernega, et al.
Published: (2020-10-01)

On <inline-formula> <mml:math id="mm3333" display="block"> <mml:semantics> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:semantics> </mml:math> </inline-formula>-Invariant Self-Adjoint Extensions of the Laplacian on Quantum Circuits
by: Aitor Balmaseda, et al.
Published: (2019-08-01)

Asymptotic Semicircular Laws Induced by p-Adic Number Fields <inline-formula> <mml:math id="mm2000" display="block"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>ℚ</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> and C*-Algebras over Primes p
by: Ilwoo Cho
Published: (2019-06-01)

Second-order <mml:math> <mml:mi>n</mml:mi> </mml:math>-point eigenvalue problems on time scales
Published: (2006-01-01)

Primes in Intervals and Semicircular Elements Induced by p-Adic Number Fields <inline-formula> <mml:math id="mm30000" display="block"> <mml:semantics> <mml:msub> <mml:mi mathvariant="double-struck">Q</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:semantics> </mml:math> </inline-formula> over Primes p
by: Ilwoo Cho, et al.
Published: (2019-02-01)

Coupled Fixed Point Theorems Employing CLR-Property on <inline-formula> <mml:math id="mm245" display="block"> <mml:semantics> <mml:mi mathvariant="script">V</mml:mi> </mml:semantics> </mml:math> </inline-formula>-Fuzzy Metric Spaces
by: Vishal Gupta, et al.
Published: (2020-03-01)

Quantum Behavior of a <inline-formula> <mml:math id="mm8001" display="block"> <mml:semantics> <mml:mi mathvariant="script">PT</mml:mi> </mml:semantics> </mml:math> </inline-formula>-Symmetric Two-Mode System with Cross-Kerr Nonlinearity
by: Jan Peřina, et al.
Published: (2019-08-01)

Controlled Synthesis of <mml:math> <mml:msub> <mml:mtext>Sb</mml:mtext> <mml:mn>2</mml:mn> </mml:msub> <mml:msub> <mml:mtext>O</mml:mtext> <mml:mn>3</mml:mn> </mml:msub> </mml:math> Nanoparticles, Nanowires, and Nanoribbons
Published: (2006-01-01)

Aqueous photocatalytic oxidation of lignin and humic acids with supported <mml:math> <mml:mrow> <mml:msub> <mml:mrow> <mml:mtext>TiO</mml:mtext> </mml:mrow> <mml:mn>2</mml:mn> </mml:msub> </mml:mrow> </mml:math>
Published: (2006-01-01)

Semantics of MML Query - Ordering

Similar Items