Results 111 to 120 of about 484,155 (286)

Testing Automation of Context-Oriented Programs Using Separation Logic

Applied Computational Intelligence and Soft Computing, 2014
A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence ...
Mohamed A. El-Zawawy
doaj   +1 more source

Catalytic DNA Strand Displacement Cascades Applied to Logic Programming

IEEE Access, 2019
The field of DNA computing is devoted to the creation of devices capable of processing information signals encoded on biological substrates. These signals are intended to propagate in cascades of biochemical reactions in which they naturally undergo a ...
Nelson E. Ordonez-Guillen, Israel M. Martinez-Perez   +1 more
doaj   +1 more source

Porosity Engineering of MXene Architectures: Toward High‐Performance Aqueous Electrochemical Energy Storage

Advanced Materials, EarlyView.
This review systematically summarizes recent advances in porosity engineering of MXenes, with a focused discussion on their structure‐governed energy storage properties. A critical analysis of structure–property relationships is presented across alkali‐ion batteries, multivalent‐ion batteries, and supercapacitors.
Shude Liu, Jieming Chen, Xue Peng, Huilin Zhang, Ling Kang, Ming Ma, Zhaoling Li, Yusuke Yamauchi, Bin Ding   +8 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

Logic Programming for Describing and Solving Planning Problems

, 2000
A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core   +2 more sources

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 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

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

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, Seungme Kang, Chaehyun Kim, Taehyun Park, Youngwoo Yoo, Yeong Kwon Kim, Wonjun Shin, Byung Chul Jang, Young‐Joon Kim, Hocheon Yoo   +9 more
wiley   +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, Aljaž Kavčič, Uroš Jagodič, Rok Podlipec, Matjaž Humar   +4 more
wiley   +1 more source