Results 61 to 70 of about 165,990,627 (290)

Materials‐Driven Additive Manufacturing for Electrical Machines: Qualification‐Oriented Design Beyond Geometric Freedom

Advanced Engineering Materials, EarlyView.
This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley   +1 more source

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic

Fractal and Fractional, 2022
Fractional-order PID control is a landmark in the development of fractional-order control theory. It can improve the control precision and accuracy of systems and achieve more robust control results.
Chunna Zhao, Murong Jiang, Yaqun Huang
doaj   +1 more source

Proofs as computations in linear logic

Theoretical Computer Science, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DELZANNO, GIORGIO, MARTELLI, MAURIZIO
openaire   +5 more sources

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

Structural Resolution for Abstract Compilation of Object-Oriented Languages [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solved ...
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya   +2 more
doaj   +1 more source

Ambient‐Stable Transparent P‐Type CuI Transistors Via Room‐Temperature Pulsed Laser Deposition

Advanced Functional Materials, EarlyView.
An in situ PLD fabricated AlOx${\rm AlO}_x$/CuI/AlOx${\rm AlO}_x$ sandwich structure enables stable CuI TFTs with a field‐effect mobility of 2.3 ±$\pm$ 0.7 cm2${\rm cm}^{2}$ V−1${\rm V}^{-1}$ s−1${\rm s}^{-1}$ and excellent ambient stability. Complementary inverters based on CuI:Rb and ZnO:Al exhibit rail‐to‐rail voltage transfer characteristics and an
Yang Chen, Susanne Selle, Michael S. Bar, Michael Lorenz, Holger von Wenckstern, Marius Grundmann   +5 more
wiley   +1 more source

Towards Automated Readable Proofs of Ruler and Compass Constructions

Electronic Proceedings in Theoretical Computer Science
Although there are several systems that successfully generate construction steps for ruler and compass construction problems, none of them provides readable synthetic correctness proofs for generated constructions. In the present work, we demonstrate how
Marinković, Vesna, Šukilovi\,́ Tijana, Mari\' ́Filip   +2 more
doaj   +1 more source

Atom Probe Tomography as an Emerging Tool for Understanding Defect‑Driven Mechanisms in HfO2‑Based Ferroelectrics

Advanced Functional Materials, EarlyView.
This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad, Catherine Dubourdieu, Alexei Gruverman, Dennis Meier   +3 more
wiley   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

Emerging Post‐CMOS Hardware Neurons for Brain‐Inspired Computing: Devices, Circuits, and System Integration

Advanced Functional Materials, EarlyView.
The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan, Hocheon Yoo, Benoît H. Lessard, Ioannis Kymissis, Chang‐Hyun Kim   +4 more
wiley   +1 more source