Results 111 to 120 of about 26,189 (263)
ALPES: an advanced logic programming environment
Le Matematiche, 1988 This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]
Kunstliche Intell (Oldenbourg), 2020 van Bremen T, Dries A, Jung JC.
europepmc +1 more source
Advanced Materials, EarlyView.Electrochemical CO2RR is a key technology for converting CO2 into chemicals, but there remains a gap between “laboratory science” and “engineering practice” in current research. This review establishes a multi‐scale research framework, encompassing atomic‐level characterization, microenvironment regulation, external field‐assisted optimization, and AI ...
Ping Hong +3 more
wiley +1 more source
Weight prioritized slicing based on constraint logic programming for fault localization. [PDF]
PLoS One, 2020 Ren S, Zhou W, Zhou H, Xia L.
europepmc +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
Fuzzy logic programming and adaptable design of medical products for the COVID-19 anti-epidemic normalization. [PDF]
Comput Methods Programs Biomed, 2020 Fu YL, Liang KC.
europepmc +1 more source
Advanced Materials, EarlyView.A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song +14 more
wiley +1 more source
From Copper Nanoparticles to Alumina Encapsulated Porous Layers With Enhanced Mechanical Stability
Advanced Materials Interfaces, EarlyView.This study analyzes the synthesis‐structure relation of individual Cu nanoparticles and highly porous nanoparticle‐based Cu films using different sputtering‐based nanoparticle sources. The inherent mechanical instability of the films is tackled with Al2O3 encapsulation through atomic layer deposition, enabling 4‐fold increase in critical force in ...
Dominik Gutnik +6 more
wiley +1 more source
Logic programming with requests
, 1999 We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation.
Etalle, Sandro, van Raamsdonk, Femke
openaire +3 more sources