Results 21 to 30 of about 2,913,967 (326)
Advanced Functional Materials, EarlyView.Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun +7 more
wiley +1 more source
, 2019 There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing.
Aberdein, Andrew, Inglis, Matthew
core
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
, 2017 We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a
Guarino, Pierfrancesco
core +1 more source
Teka-Teki Logika untuk Meningkatkan Minat Belajar Siswa Sanggar Kegiatan Belajar Balikpapan Timur [PDF]
, 2019 The success of mathematics learning is supported by the teacher's proficiency in carrying out teaching activities and awareness of students in participating in learning activities.
Musdolifah, A. (Ari) +1 more
core +2 more sources
Néel Tensor Torque in Polycrystalline Antiferromagnets
Advanced Materials, EarlyView.This work introduces a Néel tensor torque based on a rank‐two symmetric tensor capturing spin correlations in a polycrystalline antiferromagnet. It shows the Néel tensor can be shaped and reshaped through the spin‐orbit torque (SOT) technique, enabling field‐free SOT switching with a specific polarity of the adjacent ferromagnet. This discovery opens a
Chao‐Yao Yang +4 more
wiley +1 more source
Process categories: the metaphysics, methodology & mathematics, philosophy of nature and process philosophy [PDF]
, 2009 To apply the metaphysical methodology of mathematics to the logic and form of process in natural philosophy requires a metaphysics above modelling, a methodology more than method and a mathematics beyond the set based topics of arithmetic, algebra ...
Heather, Michael, Rossiter, Nick
core
Logic Integer Programming Models for Signaling Networks
, 2008 We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and Integer Programming.
Haus U.-U. +5 more
core +3 more sources
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library [PDF]
, 2011 The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 ...
A. Grabowski, I. Lakatos, S.G. Simpson
core +1 more source
Organic Electrochemical Transistors for Neuromorphic Devices and Applications
Advanced Materials, EarlyView.Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang +4 more
wiley +1 more source
Classical Mathematics for a Constructive World
, 2010 Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source