Results 131 to 140 of about 1,003,903 (269)

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

Low Power Optoelectronic Neuromorphic Memristor for In‐Sensor Computing and Multilevel Hardware Security Communications

Advanced Science, EarlyView.
ABSTRACT Conventional software‐based encryption faces mounting limitations in power efficiency and security, inspiring the development of emerging neuromorphic computing hardware encryption. This study presents a hardware‐level multi‐dimensional encryption paradigm utilizing optoelectronic neuromorphic devices with low energy consumption of 3.3 fJ ...
Bo Sun, Jinhao Zhang, Jialin Meng, Tianyu Wang   +3 more
wiley   +1 more source

Neural Information Processing and Time‐Series Prediction with Only Two Dynamical Memristors

Advanced Electronic Materials, EarlyView.
The present study demonstrates how simple circuits with only two memristive devices are utilized to perform high complexity temporal information processing tasks, like neural spike detection in noisy environment, or time‐series prediction. This circuit simplicity is enabled by the dynamical complexity of the memristive devices, i.e.
Dániel Molnár, Tímea Nóra Török, János Volk, Roland Kövecs, László Pósa, Péter Balázs, György Molnár, Nadia Jimenez Olalla, Zoltán Balogh, János Volk, Juerg Leuthold, Miklós Csontos, András Halbritter   +12 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  

Organic Thin‐Film Transistors for Neuromorphic Computing

Advanced Electronic Materials, EarlyView.
Organic thin‐film transistors (OTFTs) are reviewed for neuromorphic computing applications, highlighting their power‐efficient, and biological time‐scale operation. This article surveys OFET and OECT devices, compares them with memristors and CMOS, analyzes how fabrication parameters shape spike‐based metrics, proposes standardized characterization ...
Luke McCarthy, Mohan V. Jacob, Mostafa Rahimi Azghadi   +2 more
wiley   +1 more source

What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk

Zagadnienia Filozoficzne w Nauce, 2016
An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.
David Charles McCarty, Piotr Urbańczyk
doaj  

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

Selective Charge Extraction Allows Fast Photomultiplication and Imaging in Rigid and Ultra‐Flexible SWIR Organic Photodiodes

Advanced Energy Materials, EarlyView.
SWIR donor polymer TQ‐3T allows photomultiplication in OPD in 1:1 ratio with NFA Y6, achieving EQEs > 1100% at ‐10 V. Microseconds response times are retained, amongst the lowest for photomultiplication. As proof of concept, we demonstrate ultrathin and flexible PM‐OPDs based on our TQ‐3T:Y6 as a flexible pulse oximeter as well as a conformable image ...
Matilde Brunetta, Zhuoran Qiao, Davide Nodari, Kosei Sasaki, Francesco Furlan, Martina Rimmele, Hongki Kim, Hongting Chen, Yusaku Tagawa, Adam Marsh, Rushil Vasant, Sang Do, Xabier Rodríguez‐Martínez, Anirudh Sharma, Christos L. Chochos, Jaime Martin, Martin Heeney, Koen Vandewal, Derya Baran, Thuc‐Quyen Nguyen, Bob C. Schroeder, Takao Someya, Tomoyuki Yokota, Nicola Gasparini   +23 more
wiley   +1 more source

Transient modeling of extraction columns: Parameter estimation, uncertainty analysis, and operation optimization

AIChE Journal, EarlyView.
Abstract Despite extensive modeling efforts in extraction research, transient column models are rarely applied in industry due to concerns regarding parameter identifiability and model reliability. To address this, we analyzed uncertainty propagation from estimated parameters in a previously introduced column model and assessed identifiability via ill ...
Andreas Palmtag, Jannik Dohmen, Andreas Jupke   +2 more
wiley   +1 more source

Trust‐region filter algorithms utilizing Hessian information for gray‐box optimization

AIChE Journal, EarlyView.
Abstract Optimizing industrial processes often involves gray‐box models that couple algebraic glass‐box equations with black‐box components lacking analytic derivatives. Such systems challenge derivative‐based solvers. The classical trust‐region filter (TRF) algorithm provides a robust framework but requires extensive parameter tuning and numerous ...
Gul Hameed, Tao Chen, Antonio del Rio Chanona, Lorenz T. Biegler, Michael Short   +4 more
wiley   +1 more source