Results 141 to 150 of about 471,293 (319)

Additive Manufacturing of Neuromorphic Systems

Advanced Materials, EarlyView.
The crossover of additive Manufacturing (AM) and neuromorphic engineering promises a new paradigm in the fabrication of intelligent hardware—one that is sustainable, scalable, cost‐efficient, and customizable. The AM‐printed neuromorphic hardware (electronics and mechanical systems) is examined, and we discussed the technological integration.
Jiongyi Yan, Yutai Su, James P. K. Armstrong, Andrew Gleadall   +3 more
wiley   +1 more source

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Computers
Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed M. Alghamdi   +4 more
doaj   +1 more source

A note on fixpoint techniques in data base recursive logic programs [PDF]

, 1988
Irène Guessarian
openalex   +1 more source

Memoization in Constraint Logic Programming

, 1993
This paper shows how to apply memoization (caching of subgoals and associated answer substitutions) in a constraint logic programming setting. The research is is motivated by the desire to apply constraint logic programming (CLP) to problems in natural ...
Johnson, Mark
core   +2 more sources

High Performance P‐Channel Transistor Based on Amorphous Tellurium Trioxide

Advanced Materials, EarlyView.
This study introduces a breakthrough in p‐channel transistors by transforming crystalline 2D tellurium into amorphous tellurium trioxide (a‐TeO3) via UV‐O3 treatment. This transformation enhances electronic properties, resulting in transistors with reduced hysteresis, superior on/off characteristics, and low barrier height, highlighting the potential ...
Seungho Bang, Chaewon Lee, Deogkyu Choi, Dae Young Park, Dong Hyeon Kim, Dohyeon Lee, Dong‐Joon Yi, Jungeun Song, Seok Joon Yun, Dong‐Wook Kim, Mun Seok Jeong   +10 more
wiley   +1 more source

Every logic program has a natural stratification and an iterated least fixed point model [PDF]

, 1989
Teodor C. Przymusiński
openalex   +1 more source

Heterojunction‐Driven Stochasticity: Bi‐Heterojunction Noise‐Enhanced Negative Transconductance Transistor in Image Generation

Advanced Materials, EarlyView.
This work engineered a bi‐heterojunction noise‐enhanced negative transconductance (BHN‐NTC) transistor using a half‐PTCDI‐C13 layer, achieving expanded and tunable noise characteristics. This advancement enables efficient multi‐bit TRNGs for AI‐driven image generation and enhances logic circuit applications.
Youngmin Han, Ryun‐Han Koo, Jaechan Song, Chang‐Hyun Kim, Eun Kwang Lee, Wonjun Shin, Hocheon Yoo   +6 more
wiley   +1 more source

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel. [PDF]

, 1986
Manuel V. Hermenegildo
openalex   +1 more source

Borate‐Water‐Based 3D‐Slime Interface Quasi‐Solid Electrolytes for Li‐ion Batteries

Advanced Materials, EarlyView.
This advanced material, composed of lithium borate, lithium salt, and water, is a quasi‐solid that can be handled in air and has a 3D‐conducting‐interface network (3D‐Slime‐Interface Quasi‐Solid Electrolytes: 3D‐SLISE). The 3D‐SLISE is nonflammable and can be used in lithium‐ion batteries, and its water solubility allows direct recycling of active ...
Yosuke Shiratori, Kenta Watanabe, Kengo Saito, Ryota Sato, Yukihiro Okuno, Shintaro Yasui   +5 more
wiley   +1 more source

A multi-paradigm approach for mobile agents development

Journal of Computer Science and Technology, 2001
Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems.
Edgardo A. Belloni
doaj