Results 101 to 110 of about 6,681,112 (349)

Integrative Approaches for DNA Sequence‐Controlled Functional Materials

Advanced Functional Materials, EarlyView.
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo, Ewa Anna Oprzeska‐Zingrebe, Mariana Kozlowska, Lennart Hilbert, Iliya D. Stoev   +4 more
wiley   +1 more source

A logical foundation for logic programming II: Semantics of general logic programs

The Journal of Logic Programming, 1998
Summary: We suggested in Part I [ibid. 35, No. 2, 151-170 (1998; Zbl 0905.68032)] of this study a general logical formalism for logic programming based on a four-valued inference. In this paper, we give a uniform representation of various semantics for logic programs based on this formalism.
openaire   +2 more sources

Synchronized Electro‐Chromo‐Emissive Devices Using a Mixed Ionic‐Electronic Conductive Layer for XR Applications

Advanced Functional Materials, EarlyView.
A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang, Sienoh Park, Won‐Jae Joo, Jinbo Kim, Nori Kobayashi, Eunkyoung Kim   +5 more
wiley   +1 more source

The Effectiveness of Programmable Logic Controller Teaching Aids for Control System Module in Vocational College [PDF]

, 2019
Muhammad Hazziq Bin Yahaya, Mohamad Zaid Mustafa, Rosnee Ahad   +2 more
openalex   +1 more source

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

, 2022
Jorge Fandinno, Luís Fariñas del Cerro
openalex   +1 more source

Bayesian logic programs

, 2000
Bayesian networks provide an elegant formalism for representing and reasoning about uncertainty using probability theory. They are a probabilistic extension of propositional logic and, hence, inherit some of the limitations of propositional logic, such as the difficulties to represent objects and relations.
Kersting, Kristian, De Raedt, Luc
openaire   +2 more sources

Alkali Ion‐Incorporated HfO2 Dielectrics for Reconfigurable Neuromorphic Computing

Advanced Functional Materials, EarlyView.
This work presents an indium gallium zinc oxide (IGZO) transistor with an alkali cation‐integrated hafnium dioxide (HfO2) dielectric exhibiting synaptic behavior via ion retention. The solution‐based film fabrication strategy overcomes the limitations of atomic layer deposition (ALD) and precursor coating, enabling the control of synaptic retention ...
Seung Yeon Ki, In Cheol Kwak, Seonkwon Kim, Jihyun Kim, Dong Gue Roe, Se‐Jin Kim, Joohoon Kang, Jeong Ho Cho   +7 more
wiley   +1 more source

In Materia Shaping of Randomness with a Standard Complementary Metal‐Oxide‐Semiconductor Transistor for Task‐Adaptive Entropy Generation

Advanced Functional Materials, EarlyView.
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak, Ryun‐Han Koo, Youngchan Cho, Changhyeon Han, Dongbin Kim, Soi Jeong, Yunho Shin, Joonhyeok Choi, Jiseong Im, Jonghyun Ko, Jong‐Ho Lee, Jangsaeng Kim, Youngho Kang, Wonjun Shin, Daewoong Kwon   +14 more
wiley   +1 more source

Polynomial time algorithm for checking strong equivalence of program

Труды Института системного программирования РАН, 2018
To unify a pair of algebraic expressions t1 and t2 is to find out such a substitution θ that both terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs.
T. A. Novikova, V. A. Zakharov
doaj  

Recomposable Layered Metasurfaces for Wavelength‐Multiplexed Optical Encryption via Modular Diffractive Deep Neural Networks

Advanced Functional Materials, EarlyView.
Modular diffractive deep neural network metasurfaces encode and reconstruct holograms across layer combinations and wavelengths, enabling secure, multifunctional operation. Each layer acts independently yet composes jointly, yielding up to m(2N −1) channels for m wavelengths and N layers.
Cherry Park, Youngsun Jeon, Seokho Lee, Yeseul Kim, Junsuk Rho   +4 more
wiley   +1 more source