Results 81 to 90 of about 39,738 (264)
Elektronika ir Elektrotechnika, 2019 Matrix converters have the most compact and efficient AC-AC converter structure due to the lack of the DC intermediate components. The matrix converter makes a single-stage conversion directly connecting any terminal of voltage source to any terminal of ...
Hulusi Karaca, Ramazan Akkaya
doaj +1 more source
Skolemization In Intermediate Logics
Skolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient proof search algorithms.
Baaz, Matthias +3 more
openaire +2 more sources
Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems
Advanced Functional Materials, EarlyView.MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley +1 more source
An Open-Source, Low-Cost PLC Framework With FBD-Based Graphical Programming
IEEE AccessTraditional programmable logic controllers (PLCs) remain central to industrial automation but are often expensive due to stringent compliance requirements. To address this challenge, this work proposes a low-cost and customizable framework for automation
Carlos Roberto Moratelli +2 more
doaj +1 more source
Some Results on the Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1972 In ClOj, we developed the method of Kripke models and gave some applications of it to the study of the intermediate logics. We found that the use of Kripke models is very efficient, since in many cases the algebraic structure of Kripke models reflects well the properties of the logics characterized by them.
openaire +3 more sources
Advanced Functional Materials, EarlyView.A regenerated cellulose/MXene aerogel film is engineered with a surface‐confined, coral‐like polyaniline skin to intensify interfacial polarization while a porous, percolated conductive core is retained. By molten salt hydrate processing and interfacially confined oxidative polymerization, PANI growth is localized at the outer surface and internal ...
Kun Liu +4 more
wiley +1 more source
INTERMEDIATE LOGICS AND POLYHEDRA
, 2018 Polyhedra enjoy a peculiar property: every geometric shape with a certain ?regularity? ? in specific terms, certain classes of (closed) topological manifolds ? can be captured by a polyhedron via triangulation, that is, by subdividing the geometric shapes into appropriate ?triangles?, called simplices (which, in the 1- and 0-dimensional case, are ...
openaire +1 more source
Atomic Layer Deposition in Transistors and Monolithic 3D Integration
Advanced Functional Materials, EarlyView.Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu +5 more
wiley +1 more source
Exploring Multi‐Bit Logic In‐Memory with Memristive HfO2‐Based Ferroelectric Tunnel Junctions
Advanced Electronic MaterialsThe increasing demand for data movement and energy consumption in physically separate von Neumann architectures, where the processor and memory are distinct entities, highlights the severity of the memory‐wall problem.
Wonwoo Kho +2 more
doaj +1 more source
Implementation of serial peripheral interface slave device based on uncommitted logic arrays [PDF]
Serbian Journal of Electrical EngineeringMicrocontrollers and microprocessors link to peripheral devices (sensors, converters, transceivers, memory modules) via communication interfaces. One of the most widespread interfaces is the Serial Peripheral Interface (SPI), characterized by ...
Sinyukin Alexander +4 more
doaj +1 more source