Results 51 to 60 of about 12,280 (264)
NEW EXPANSIONS OF BOOLEAN FUNCTIONS ON EXCLUSIVE OR OPERATION IN LOGICAL SYSTEMS DESIGN
Системный анализ и прикладная информатика, 2014 The Boolean function expansions and representation forms which are based on exclusive or operation are a key facility for design, test and diagnosis of digital systems and computer programs.
A. A. Prihozhy
doaj
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced Robotics Research, EarlyView.A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki +2 more
wiley +1 more source
A Construction Method of (2, 3) Visual Cryptography Scheme
IEEE Access, 2020 Visual cryptography scheme (VCS) shares a binary secret image into multiple shadows, stacking qualified set of shadows will decode the secret image without computer resources.
Peng Li +3 more
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Jixie chuandong, 2016 Based on the Boolean subtraction operation and curve fitting technology,a digital modeling method for variable ratio rack is put forward. This method,to a certain extent,makes up for the disadvantages that the Boolean subtraction operation modeling ...
Zhang Siyu, Xu Jun, Niu Ziru, Wang Wei
doaj
Terahertz binary computing in a coupled toroidal metasurface
Scientific ReportsThe applications of terahertz metamaterials are being actively explored in recent times for applications in high-speed communication devices, miniature photonic circuits, and bio-chemical devices because of their wide advantages.
Angana Bhattacharya +5 more
doaj +1 more source
Conditional Expression Fault Classification and Repair Method of Aviation Control Software
Xibei Gongye Daxue Xuebao, 2020 Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software.
doaj +1 more source
Ferroelectric Devices for In‐Memory and In‐Sensor Computing
Advanced Science, EarlyView.Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang +5 more
wiley +1 more source
Strain‐Modulated Reconfigurable Optical Information Processing in Flexible Graphene/PDMS
Advanced Science, EarlyView.Graphene/PDMS—a stable, mechanically robust, and highly tunable flexible composite, exhibits excellent strain‐tunability. The spatial self‐phase modulation (SSPM) effect can be reversibly and continuously modulated by strain. A strain‐gated optical switch can be constructed, thereby realizing reconfigurable optical logic gates and reversible switching ...
Zexin Cui +13 more
wiley +1 more source