Results 101 to 110 of about 1,544,053 (248)
Analyzing logic programs with dynamic scheduling [PDF]
, 1994 Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in ...
Hermenegildo, Manuel V. +2 more
core
Advanced Materials Interfaces, EarlyView.Xenon flash lamp annealing modulates oxygen‐vacancy states in 1‐nm‐thick ALD In2O3 transistors within a single 139 µs pulse. The photon‐induced defect engineering shifts the threshold voltage, improves bias‐stress stability, and narrows device‐to‐device variation across 64 devices. Combining pristine and treated transistors yields NMOS inverters with a
Sung Jin Park +5 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
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 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
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
Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites
Advanced Materials Technologies, EarlyView.Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang +9 more
wiley +1 more source
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceAnswer Set Programming (ASP) languages represent an important advancement in declarative (logic) programming. First proposed in the late 90s, the paradigm is based on the stable model semantics of formal logic.
Joshua Guerin +2 more
doaj +2 more sources
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 Technologies, EarlyView.Dense tactile streams from across the humanoid body converge on collide in a central wiring and data bottleneck. By relocating computation closer to and then into the skin itself, near‐ and in‐sensor architectures, together with neuromorphic computing, chart a path toward perception‐native electronic skin, in which the conversion of stimulus into ...
Mijin Kim +6 more
wiley +1 more source