Results 71 to 80 of about 11,341,390 (298)
Symmetry Properties of Nested Canalyzing Functions [PDF]
Discrete Mathematics & Theoretical Computer Science, 2019 Many researchers have studied symmetry properties of various Boolean functions. A class of Boolean functions, called nested canalyzing functions (NCFs), has been used to model certain biological phenomena.
Daniel J. Rosenkrantz +3 more
doaj +1 more source
On Model Checking Boolean BI [PDF]
, 2009 The logic of bunched implications (BI), introduced by O'Hearn and Pym, is a substructural logic which freely combines additive and multiplicative implications. Boolean BI (BBI) denotes BI with classical interpretation of additives and its model is the commutative monoid.
Heng Guo 0001 +3 more
openaire +3 more sources
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
Boolean random networks: phase transition and connectivity [PDF]
, 2023 openIn this thesis I introduce some random network models, with a particular focus on boolean random networks. After having provided the necessary theoretical background, several results related to two topics concerning boolean networks are discussed ...
SPISSO, GIOVANNI
core
On Model Reductions of Boolean Networks
Boolean networks are a class of qualitative models used ex-tensively to model regulatory interactions driving biological processes.While structurally simple, their dynamics can be quite complex. One re-current issue in studying the dynamics of these models is state explosion.To tackle this problem model reduction techniques are employed ...
Claudine Chaouiya +2 more
openaire +3 more sources
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
Modelling multi-scale microstructures with combined Boolean random sets: A practical contribution [PDF]
, 2009 Boolean random sets are versatile tools to match morphological and topological properties of real structures of materials and particulate systems. Moreover, they can be combined in any number of ways to produce an even wider range of structures that ...
Bourgeois, Florent +2 more
core +1 more source
A Fuzzy Inference System for Credit Scoring using Boolean Consistent Fuzzy Logic
International Journal of Computational Intelligence Systems, 2018 This study proposes implementation of Boolean consistent fuzzy inference system for credit scoring purposes. Fuzzy inference system (FIS) allows domain experts to express their knowledge in the form of fuzzy rules, which enables combination of automatic ...
Milica Latinovic +3 more
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
Advanced Science, EarlyView.We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai +8 more
wiley +1 more source