Results 31 to 40 of about 208,740 (273)

Some Applications of Casorati Curvature for Statistical Submanifolds of Sasakian Statistical Manifolds and Locally Homogeneous, Quasi-Umbilical Hypersurfaces

پژوهش‌های ریاضی, 2021
In this paper, in the first part, the affine geometry is assumed as the main framework. Then we have a spacious explanation of necessary introduction in rather different subjects.
Azam Etemad Dehkordy
doaj  

Spatial reasoning with augmented points: Extending cardinal directions with local distances

Journal of Spatial Information Science, 2012
We present an approach for supplying existing qualitative direction calculi with a distance component to support fully fledged positional reasoning. The general underlying idea of augmenting points with local reference properties has already been applied
Reinhard Moratz, Jan Oliver Wallgrün
doaj   +1 more source

Sharper and Simpler Nonlinear Interpolants for Program Verification

, 2017
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR.
A Gurfinkel, A Platzer, A Rybalchenko, EM Clarke, F Besson, G Stengle, H Peyrl, J Bochnak, J Harrison, KC Toh, KL McMillan, KL McMillan, L Dai, L Dai, M Putinar, P Roux, PA Parrilo, R Jhala, R Jhala, R Sharma, S Gao, S Kupferschmid, S Lang, S Rump, T Gan, T Terauchi, W Lin   +26 more
core   +1 more source

On Non-Commutative Multi-Rings with Involution

Mathematics
The primary motivation for this work is to develop the concept of Marshall’s quotient applicable to non-commutative multi-rings endowed with involution, expanding upon the main ideas of the classical case—commutative and without involution—presented in ...
Kaique M. A. Roberto, Kaique R. P. Santos, Hugo Luiz Mariano   +2 more
doaj   +1 more source

Domain Decomposition With Non-Conforming Polyhedral Grids

IEEE Access, 2021
A novel mortar approach for the domain decomposition of field problems discretized in terms of nodal variables by the cell method is here proposed.
Federico Moro, Lorenzo Codecasa
doaj   +1 more source

Convergence of formal invertible CR mappings between minimal holomorphically nondegenerate real analytic hypersurfaces

International Journal of Mathematics and Mathematical Sciences, 2001
Recent advances in CR (Cauchy-Riemann) geometry have raised interesting fine questions about the regularity of CR mappings between real analytic hypersurfaces.
Joël Merker
doaj   +1 more source

Grounding grid corrosion detection based on mini-batch gradient descent and greedy method

AIP Advances, 2021
To ensure the speed, recall, and precision of the algorithm to solve the algorithm’s measurement failure due to the problem of high underdetermination and the deviation of some outgoing lines from accessible nodes, the ideal resistance method is proposed
Hongpeng Xie, Fan Yang, Mingsheng Hua, Sen Liu, Jiayuan Hu, Yifan He   +5 more
doaj   +1 more source

Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals

Advanced Functional Materials, EarlyView.
Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus, Dávid Beke, Lili Vajtai, András Jánossy, László Forró, Ferenc Simon   +5 more
wiley   +1 more source

Exact spin correlators of integrable quantum circuits from algebraic geometry

SciPost Physics
We calculate the correlation functions of strings of spin operators for integrable quantum circuits exactly. These observables can be used for the calibration of quantum simulation platforms.
Arthur Hutsalyuk, Yunfeng Jiang, Balazs Pozsgay, Hefeng Xu, Yang Zhang
doaj   +1 more source

Natural Gradient Flow in the Mixture Geometry of a Discrete Exponential Family

Entropy, 2015
In this paper, we study Amari’s natural gradient flows of real functions defined on the densities belonging to an exponential family on a finite sample space.
Luigi Malagò, Giovanni Pistone
doaj   +1 more source