Results 141 to 150 of about 575,998 (339)
, 2004 We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. We first study closed modules (i.e.
Fouquere, Christophe, Mogbil, Virgile
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 +10 more
wiley +1 more source
Learning Delayed Influences of Biological Systems
Frontiers in Bioengineering and Biotechnology, 2015 Boolean networks are a widely used model to represent gene interactions and global dynamical behavior of genetic regulatory networks. To understand the memory effect involved in some interactions between biological components, it is necessary to include ...
Tony eRibeiro +3 more
doaj +1 more source
Making control and data flow in logic programs explicit [PDF]
, 1984 Gert Smolka
openalex +1 more source
Transformations of logic programs
The Journal of Logic Programming, 1984 AbstractThis paper introduces a new concept of computation trees of logic programs that will be used in reasoning about programs. Three types of transformations improving the structure of logic programs are described. There are two natural measures of complexity suggested by computation trees, namely, the number of nodes called by recursion and the ...
Petr Štěpánek, Olga Štěpánková
openaire +2 more sources
Advanced Materials Interfaces, EarlyView.The movement of pure water droplets on a superhydrophobic glass surface is precisely controlled through electrostatic manipulation using a polytetrafluoroethylene (PTFE) rod from the opposite side. With just a few seconds of triboelectric charging, the PTFE rod directs droplets, achieving acceleration over 10 000 mm s−2.
Wei Chen Huang +4 more
wiley +1 more source
Implementation of smart room system based PLC and block diagram function programming
Journal Geuthee of Engineering and EnergyTechnological developments have brought a revolution in the smart home concept, with smart rooms becoming the main focus to increase comfort, efficiency and security.
Santi Triwijaya +4 more
doaj +1 more source
The Rise of Refractory Transition‐Metal Nitride Films for Advanced Electronics and Plasmonics
Advanced Materials Interfaces, EarlyView.Transition‐metal nitrides (TMNs) are exceptional materials with high stability, biocompatibility, and semiconductor integration, which have been extensively employed in various fields. However, the epitaxial growth of TMN films remains a challenge. The absence of high‐quality TMNs limits the understanding of their condensed matter physics and hinders ...
Jiachang Bi +3 more
wiley +1 more source
Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems
ComputersToday, 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 +4 more
doaj +1 more source
Deriving sorting algorithms via abductive logic program transformation [PDF]
arXiv, 2018 Logic program transformation by the unfold/fold method ad- vocates the writing of correct logic programs via the application of some rules to a naive program. This work focuses on how to overcome subgoal- introduction difficulties in synthesizing efficient sorting algorithms from an naive sorting algorithm, through logic program transformation and ...
arxiv