Results 61 to 70 of about 395,838 (240)

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

Eksperimentasi Model Pembelajaran Kooperatif Tipe Group Investigation (Gi), Think Pair Share (Tps), Dan Pembelajaran Langsung Pada Materi Aljabar Ditinjau Dari Kecerdasan Majemuk Siswa SMP Negeri Se-kota Surakarta Tahun Pelajaran 2015/2016 [PDF]

, 2016
This research aimed to find out: 1) which one providing better mathematics learning achievement: Group Investigation (GI) model, Think Pair Share (TPS) model, or direct instructional model, 2) which one providing better mathematics learning achievement:
Budiyono, B. (Budiyono), Hermawati, E. (Evi), Slamet, I. (Isnandar)   +2 more
core  

Synchronization of Analog Neuron Circuits With Digital Memristive Synapses: An Hybrid Approach

Advanced Electronic Materials, EarlyView.
An hybrid circuit mimicking neural units coupled using memristive synapses is introduced. The analog neurons provide flexibility and robustness, and the digital memristive coupling guarantees the full reconfigurability of the interconnection. The onset of a synchronized spiking behavior in two circuits mimicking the Izhikevich neuron is discussed from ...
Lamberto Carnazza, Francesco Maria Esposito, Carlo Famoso, Arturo Buscarino   +3 more
wiley   +1 more source

Sraffa's Mathematical Economics - A Constructive Interpretation [PDF]

The claim in this paper is that Sraffa employed a rigorous logic of mathematical reasoning in his book, Production of Commodities by Means of Commodities (PCC), in such a way that the existence proofs were constructive.
K. Vela Velupillai
core  

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, Gonthier, Gödel, Nordström, Rasiowa, RUSSELL O'CONNOR, Thompson, Troelstra, Wadler   +8 more
core   +1 more source

Topological Materials and Related Applications

Advanced Electronic Materials, EarlyView.
This review covers topological materials—including topological insulators, quantum valley Hall and quantum spin Hall insulators, and topological Weyl and Dirac semimetals—as well as their most recent advancements in fields such as spintronics, electronics, photonics, thermoelectrics, and catalysis.
Carlo Grazianetti, Roberto Mantovan, Emanuele Longo, Harold J. W. Zandvliet, Pantelis Bampoulis, Yu Pan, Fan Li, Xia Wang, Payton Downey, Alessandro Molle   +9 more
wiley   +1 more source

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

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

Model‐based fault diagnosis and fault tolerant control in safety‐critical chemical reactors: An experimental study

AIChE Journal, EarlyView.
Abstract This study investigates a fault‐tolerant control (FTC) approach for continuous stirred‐tank reactors (CSTR), emphasizing the importance of timely interventions to ensure operational safety under fault conditions. A systematic methodology combining residual‐based fault estimation and Dynamic Safety Margin (DSM) monitoring is developed to guide ...
Pu Du, Ritu Ranjan, Benjamin Wilhite, Costas Kravaris   +3 more
wiley   +1 more source

Deep Learning‐Assisted Design of Mechanical Metamaterials

Advanced Intelligent Discovery, EarlyView.
This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong, Pu Wen, Zhiping Chai, Dunxuan Wu, Han Ding, Zhigang Wu   +5 more
wiley   +1 more source