Results 61 to 70 of about 9,409 (264)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

The complexity of Tarski’s fixed point theorem

Theoretical Computer Science, 2008
The Knaster-Tarski theorem says that for every complete lattice \(L\), every order-preserving mapping \(f:L\to L\) has a fixed point. This paper studies the query complexity of this problem. The authors present an algorithm that, for a given complete finite lattice \(L\) and an order-preserving mapping \(f\) of \(L\) given by an oracle, finds a fixed ...
Ching-Lueh Chang, Yuh-Dauh Lyuu, Yen-Wu Ti   +2 more
openaire   +2 more sources

The Brouwer Fixed Point Theorem Revisited [PDF]

, 2016
We revisit the investigation of the computational content of the Brouwer Fixed Point Theorem in [7], and answer the two open questions from that work. First, we show that the computational hardness is independent of the dimension, as long as it is greater than 1 (in [7] this was only established for dimension greater than 2).
Vasco Brattka, Stéphane Le Roux 0001, Joseph S. Miller, Arno Pauly   +3 more
openaire   +2 more sources

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

New High‐Tc Charge‐Transfer Multiferroicity in the Quasi‐2D Antiferromagnet CrSbS3

Advanced Science, EarlyView.
ABSTRACT Low‐dimensional magnets, particularly 2D systems, offer a rich platform for realizing unconventional multiferroic mechanisms, especially when multiple polarization channels coexist. In the quasi‐2D antiferromagnet CrSbS3, which crystallizes in the centrosymmetric orthorhombic space group Pnma and orders magnetically at TN ≈ 90 K, two ...
Hung‐Cheng Wu, Yu‐Hsin Liao, Chih‐Chung Tsai, Pei‐Ying Yang, Yu‐Hao Chang, Yu‐Hui Liang, D. Chandrasekhar Kakarla, Ajay Tiwari, C. Dhanasekhar, Chin‐Wei Wang, Daisuke Okuyama, Chia‐Nung Kuo, Chin‐Shan Lue, Tzu‐Hsuan Weng, Kung‐Hsuan Lin, Jau‐Wern Chiou, Chi‐Hung Lee, Hung‐Duen Yang   +17 more
wiley   +1 more source

Duality Fixed Point and Zero Point Theorems and Applications

Abstract and Applied Analysis, 2012
The following main results have been given. (1) Let E be a p-uniformly convex Banach space and let T:E→E* be a (p-1)-L-Lipschitz mapping with condition ...
Qingqing Cheng, Yongfu Su, Jingling Zhang   +2 more
doaj   +1 more source

Functional Disorder at the Neural Interface: How Disordered Nanostructures Promote Proper Growth and Differentiation in In Vitro Neural Cultures

Advanced Science, EarlyView.
This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita, E. Palmieri, I. Lucarini, L. Montaina, L. Maiolo   +4 more
wiley   +1 more source

Some Integral Type Fixed Point Theorems for Non-Self-Mappings Satisfying Generalized (ψ,φ)-Weak Contractive Conditions in Symmetric Spaces

Abstract and Applied Analysis, 2014
The aim of this paper is to obtain some new integral type fixed point theorems for nonself weakly compatible mappings in symmetric spaces satisfying generalized (ψ,φ)-contractive conditions employing the common limit range property.
Marwan Amin Kutbi, Mohammad Imdad, Sunny Chauhan, Wutiphol Sintunavarat   +3 more
doaj   +1 more source

Asymmetric Electrostrain/Electrobending in Piezoelectric Ceramics: Role of Defect Dipoles or Oxygen Vacancies

Advanced Science, EarlyView.
Defect‐configurational origins of the asymmetric apparent electrostrain are revealed in different piezoelectric ceramics via atomic‐scale visualization of defect configurations. Migration of oxygen vacancies leads to the electrobending effect in N2‐sintered BaTiO3, while defect dipoles in Ba0.99TiO2.99 generate true asymmetric electrostrain without ...
Jie Wang, Geng Huangfu, Hongjie Zhang, Tiannan Yang, Zhenhua Ma, Jingsheng Chen, Yun Liu, Yiping Guo   +7 more
wiley   +1 more source

SOME FIXED POINT THEOREMS

Demonstratio Mathematica, 1996
Let \((X,d)\) be a bounded metric space and \(T:X\to \text{CB} (X)\) a set-valued mapping. Let \(O(x)\) be the orbit of \(x\) by the mapping \(T\) and let \(\delta(A,B)\) be the diameter of the pair \(A,B\subset X\). The author gives some strict fixed point theorems for some set-valued mappings which satisfy the following condition \[ \delta (Tx,Ty ...
openaire   +2 more sources