Results 41 to 50 of about 11,341,390 (298)

The Application of Boolean Algebra in Modelling of Leakage Condition of a Car Hydraulic Braking System

International Journal of Applied Mechanics and Engineering, 2013
A general characteristics of a car hydraulic braking system (CHBS) is presented in this publication. A graphical model of properties-component objects is developed for the above-mentioned system.
A. Idzikowski, S. Salamon
doaj   +1 more source

On Laslett's transform for the Boolean model [PDF]

, 2001
Consider the Boolean model in ℝ$^2$, where the germs form a homogeneous Poisson point process with intensity λ and the grains are convex compact random sets.
Černý, Rostislav, Barbour, Andrew D, Schmidt, V   +2 more
core   +1 more source

Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals

Advanced Engineering Materials, EarlyView.
This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao, Sriram Subramanian, Gianluca Memoli   +2 more
wiley   +1 more source

The expressibility of functions on the Boolean domain, with applications to Counting CSPs [PDF]

, 2013
An important tool in the study of the complexity of Constraint Satisfaction Problems (CSPs) is the notion of a relational clone, which is the set of all relations expressible using primitive positive formulas over a particular set of base relations. Post'
Bulatov, AA, Dyer, M, Jerrum, M, Goldberg, LA, McQuillan, C, Bulaov, AA, Bulatov, A   +6 more
core   +1 more source

WebMaBoSS: A Web Interface for Simulating Boolean Models Stochastically

Frontiers in Molecular Biosciences, 2021
WebMaBoSS is an easy-to-use web interface for conversion, storage, simulation and analysis of Boolean models that allows to get insight from these models without any specific knowledge of modeling or coding.
Vincent Noël, Vincent Noël, Vincent Noël, Marco Ruscone, Marco Ruscone, Marco Ruscone, Gautier Stoll, Eric Viara, Andrei Zinovyev, Andrei Zinovyev, Andrei Zinovyev, Emmanuel Barillot, Emmanuel Barillot, Emmanuel Barillot, Laurence Calzone, Laurence Calzone, Laurence Calzone   +16 more
doaj   +1 more source

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps

Journal of Integrative Bioinformatics
Molecular interaction maps (MIMs) are static graphical representations depicting complex biochemical networks that can be formalized using one of the Systems Biology Graphical Notation languages.
Aghakhani Sahar, Niarakis Anna, Soliman Sylvain   +2 more
doaj   +1 more source

Model Generation with Boolean Constraints [PDF]

, 2001
We present a simple method for eliminating redundant searches in model generation. The method employs Boolean Constraints which are conjunctions of ground instances of clauses having participated in proofs. Boolean Constraints work as sets of lemmas with which duplicate subproofs and irrelevant model extensions can be eliminated.
Koshimura, Miyuki, Fujita, Hiroshi, Hasegawa, Ryuzo   +2 more
openaire   +2 more sources

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

nodef/extra-boolean: A collection of common boolean functions

, 2022
<p>A collection of common boolean functions.<br> <a href="https://www.npmjs.com/package/extra-boolean">Node.js</a>, <a href="https://www.npmjs.com/package/extra-boolean.web">Web</a>, <a href="https://unpkg.com ...
Subhajit Sahu, George Pickering
core   +1 more source