Results 121 to 130 of about 1,007,644 (283)

Acceptable gaps in mathematical proofs

Synthese, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Atomically Modulating Competing Exchange Interactions in Centrosymmetric Skyrmion Hosts GdRu2X2 (X = Si and Ge)

Advanced Electronic Materials, EarlyView.
Our work bridges the gap between skyrmion discovery and material design by demonstrating how atomic‐scale control of exchange interactions enables tunable skyrmion phase transitions in centrosymmetric magnetic metals. ABSTRACT Magnetic skyrmions are topologically protected spin states that hold promise for shaping the future of electronics.
Dasuni N. Rathnaweera, Xudong Huai, K. Ramesh Kumar, Michał J. Winiarski, Tomasz Klimczuk, Allana G. Iwanicki, Satya K. Kushwaha, Martin Mourigal, Tyrel M. McQueen, Thao T. Tran   +9 more
wiley   +1 more source

Mathematical proofs in practice: revisiting the reliability of published mathematical proofs

, 2014
Mathematics seems to have a special status when compared to other areas of human knowledge. This special status is linked with the role of proof. Mathematicians often believe that this type of argumentation leaves no room for errors and unclarity. Philosophers of mathematics have differentiated between absolutist and fallibilist views on mathematical ...
Frans, Joachim, Kosolosky, Laszlo
openaire   +3 more sources

Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors

Advanced Electronic Materials, EarlyView.
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Exceptional Antimodes in Multi‐Drive Cavity Magnonics

Advanced Electronic Materials, EarlyView.
Driven‐dissipative cavity‐magnonics provides a flexible platform for engineering non‐Hermitian physics such as exceptional points. Here, using a four‐port, three‐mode system with controllable microwave interference, antimodes and coherent perfect extinction (CPE) are realized, enabling active tuning to antimode exceptional points.
Mawgan A. Smith, Ryan D. McKenzie, Alban Joseph, Robert L. Stamps, Rair Macêdo   +4 more
wiley   +1 more source

Rozumienie dowodu matematycznego a zagadnienie wyjaśnienia w matematyce

Zagadnienia Filozoficzne w Nauce, 2015
In the article, I present two possible points of view concerning mathematical proofs: (a) the formal view (according to which the formalized versions of mathematical proofs reveal their “essence”); (b) the semantic view (according to which mathematical ...
Krzysztof Wójtowicz
doaj  

SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range

Advanced Electronic Materials, EarlyView.
A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel, Aleix Barrera, Lluís Balcells, Narcís Mestres, Enrique Miranda, Anna Palau, Jordi Suñé   +6 more
wiley   +1 more source

Mathematical Proofs and Scientific Discovery

, 2020
The idea that science can be automated is so deeply related to the view that the method of mathematics is the axiomatic method, that confuting the claim that mathematical knowledge can be extended by means of the axiomatic method is almost equivalent to confuting the claim that science can be automated.
openaire   +1 more source

AI in chemical engineering: From promise to practice

AIChE Journal, EarlyView.
Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew, Ronnie Andersson, Thomas Bierweiler, Patrik Ryttestal, Torsten Wik   +4 more
wiley   +1 more source

Dowód matematyczny – argumentacja czy derywacja? – część I

Zagadnienia Filozoficzne w Nauce, 2011
The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart.
Krzysztof Wójtowicz
doaj