Results 61 to 70 of about 1,544,053 (248)
Genetically Programmed Shape‐Morphing of Engineered Living Materials
Advanced Functional Materials, EarlyView.Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker +7 more
wiley +1 more source
Parallel defeasible argumentation
Journal of Computer Science and Technology, 2000 Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García +1 more
doaj
Chapter 5 Linear Logic Programming
, 2007 s depending on the characteristics of the language. A program in this setting is simply a collection of propositions that, through their form, will lead the proof search engine down a particular path, thereby achieving a particular computation.
Linear Logic Programming
core
Advanced Functional Materials, EarlyView.Nitride MXenes remain constrained by a persistent gap between computational prediction and experimental realization. This Review identifies the thermodynamic, kinetic, and chemical barriers limiting their synthesis, critically evaluates emerging fabrication routes, and proposes a multidimensional computational‐experimental framework to accelerate the ...
Naresh Varnakavi, Masoud Soroush
wiley +1 more source
DNA logic programming: From concept to construction
ViewDNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj +1 more source
The Functional Perspective on Advanced Logic Programming [PDF]
, 2016 The basics of logic programming, as embodied by Prolog, are generally well-known in the programming language community. However, more advanced techniques, such as tabling, answer subsumption and probabilistic logic programming fail to attract the ...
Vandenbroucke, Alexander
core +1 more source
Current‐Driven Chirality Detection of Magnetic Textures in Cylindrical Nanowires
Advanced Functional Materials, EarlyView.Current‐assisted anisotropic magnetoresistance measurements in individual Ni/Au cylindrical nanowires enable detection of vortex chirality near Au segments and selective magnetic reversal in defined wire sections at magnetic fields lower than the propagation field. This approach provides a simple, cost‐effective, and non‐invasive method for probing and
Javier Rial +6 more
wiley +1 more source
Argumentation-based abduction in disjunctive logic programming
, 2000 In this paper, we propose an argumentation-based semantic framework, called DAS, for disjunctive logic programming. The basic idea is to translate a disjunctive logic program into an argumentation-theoretic framework.
Wang, KW, Kewen Wang
core +1 more source
Advanced Functional Materials, EarlyView.Further advances in applications can be anticipated through the development of unique and functional materials beyond conventional alloys. Nitrogen enables tailor‐made orbital textures in various transition‐metal hosts, paving the way for devices ranging from spintronics memory to artificial intelligence hardware.
Prabhat Kumar +3 more
wiley +1 more source
Frontiers in Computer ScienceGenerative artificial intelligence (GenAI) is used in programming education; however, its adoption can introduce pedagogical misalignment, shallow cognitive engagement, and ethical risks that threaten the sustenance of programming skills of students ...
Jemimah Nathaniel +4 more
doaj +1 more source