Results 61 to 70 of about 4,215,458 (307)

A comparison theorem

Mathematische Annalen, 1986
Let X be any algebraic variety over \({\mathbb{C}}\). Then there is in a natural way associated to X a complex analytic space \(X_{an}\). Also for every coherent algebraic sheaf F on X there is an associated coherent analytic sheaf \(F_{an}\) on \(X_{an}\), and one has comparison maps \(\alpha_ i: H^ i(X,F)\to H^ i(X_{an},F_{an})\) on cohomology.
openaire   +3 more sources

A Hochschild cohomology comparison theorem for prestacks [PDF]

Transactions of the American Mathematical Society, 2010
We generalize and clarify Gerstenhaber and Schack’s “Special Cohomology Comparison Theorem”. More specifically we obtain a fully faithful functor between the derived categories of bimodules over a prestack over a small category
Lowen, Wendy, VAN DEN BERGH, Michel
openaire   +5 more sources

Applications of real number theorem proving in PVS [PDF]

, 2012
This work is supported by funding from the EPSRC under grants EP/H500162, EP/F02309X and GR/S31242Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly.
Martin, Ursula, Ursula Martin, Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Gottliebsen, Hanne, Lightfoot, Olga, Hardy, Ruth   +7 more
core   +1 more source

Consensus Formation and Change are Enhanced by Neutrality

Advanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag, Janina A. Hoffmann, Tim Rogers, Christian A. Yates   +3 more
wiley   +1 more source

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

Comparison theorems for property (B) of the third-order differential equations with deviating arguments [PDF]

Opuscula Mathematica
The aim of this paper is to introduce a new comparison theorem (in both delayed and advanced cases) that allows us to investigate the properties of third-order differential equations with quasi-derivatives \[(r_1(t)(r_2(t)y'(t))')'-p(t)y(\tau(t))=0 ...
Jozef Džurina, Blanka Baculíková
doaj   +1 more source

Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [PDF]

, 2003
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction ...
Itamar Pitowsky, Pitowsky, Itamar, Ehud Hrushovski, Hrushovski, Ehud   +3 more
core  

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

LOGARITHMIC DE RHAM COMPARISON FOR OPEN RIGID SPACES

Forum of Mathematics, Sigma, 2019
In this note, we prove the logarithmic $p$-adic comparison theorem for open rigid analytic varieties. We prove that a smooth rigid analytic variety with a strict simple normal crossing divisor is locally $K(\unicode[STIX]{x1D70B},1)$ (in a certain sense)
SHIZHANG LI, XUANYU PAN
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