Results 61 to 70 of about 11,341,390 (298)
Rewriting Models of Boolean Programs [PDF]
, 2006 We show that rewrite systems can be used to give semantics to imperative programs with boolean variables, a class of programs used in software model-checking as over- or underapproximations of real programs. We study the classes of rewrite systems induced by programs with different features like procedures, concurrency, or dynamic thread creation, and ...
Ahmed Bouajjani, Javier Esparza
openaire +2 more sources
Shape Memory Polymer‐Based Flexible Pressure Sensor for Real‐Time Venous Thrombosis Monitoring
Advanced Materials Interfaces, EarlyView.A shape‐memory tubular flexible pressure sensor with a 100‐mesh microstructured SMP‐PLA/MWCNTs sensing layer was developed for PICC‐mounted monitoring of thrombosis‐related pressure changes. The sensor combines high sensitivity (204 kPa−1), a fast response time (28 ms), and conformal catheter fixation and was validated by hydrostatic and ex vivo ...
Yi Chen +7 more
wiley +1 more source
Model Checking Algorithms for CTMDPs [PDF]
, 2011 Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control.
Hermanns, Holger +13 more
core +1 more source
Quantum annealing algorithms for Boolean tensor networks
Scientific Reports, 2022 Quantum annealers manufactured by D-Wave Systems, Inc., are computational devices capable of finding high-quality heuristic solutions of NP-hard problems.
Elijah Pelofske +4 more
doaj +1 more source
Advanced Materials Technologies, EarlyView.A patient‐specific, imaging‐guided aid enables precise and reproducible drug delivery to the inner ear. By guiding therapeutic agents directly to the round window niche, this approach reduces variability in drug localization, improves delivery safety, and addresses a critical bottleneck in inner ear therapy, offering a scalable strategy for precision ...
Yanjing Luo +4 more
wiley +1 more source
An attractor-based complexity measurement for Boolean recurrent neural networks. [PDF]
PLoS ONE, 2014 We provide a novel refined attractor-based complexity measurement for Boolean recurrent neural networks that represents an assessment of their computational power in terms of the significance of their attractor dynamics.
Jérémie Cabessa, Alessandro E P Villa
doaj +1 more source
On‐Chip Photonic Neural Network Architectures
Advanced Optical Materials, EarlyView.This review presents a comprehensive overview of on‐chip photonic neural network architectures, covering key photonic building blocks, representative network types, and emerging applications. Recent advances, implementation challenges, and future directions are examined, highlighting the potential of integrated photonics to enable ultrafast, energy ...
Seokjin Hong +7 more
wiley +1 more source
General Boolean Expressions in Publish-Subscribe Systems [PDF]
, 2008 The increasing amount of electronically available information in society today is undeniable. Examples include the numbers of general web pages, scientific publications, and items in online auctions.
Bittner, Sven
core
PLoS ONE, 2015 Gene interactions in cells can be represented by gene regulatory networks. A Boolean network models gene interactions according to rules where gene expression is represented by binary values (on / off or {1, 0}). In reality, however, the gene's state can
Melanie Grieb +7 more
doaj +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source