Results 41 to 50 of about 2,300,412 (294)

Boolean operations between two colliding shells: a robust, exact, and simple method

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2017
Boolean operations are classic procedures in computer-aided design, and allow the creation of complex objects by combining simple objects. Although Boolean operations are trivial in implicit surface representations, they are problematic in polygonal ...
Jerome CHARTON, Laehyun KIM, Youngjun KIM   +2 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

Term-Level Reasoning in Support of Bit-blasting [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
GL is a verified tool for proving ACL2 theorems using Boolean methods such as BDD reasoning and satisfiability checking. In its typical operation, GL recursively traverses a term, computing a symbolic object representing the value of each subterm.
Sol Swords
doaj   +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

Morphology, Transport, and Dynamics of Protein Adsorption in Open‐Cell Metal Foam

Advanced Engineering Materials, EarlyView.
Stainless steel (SS) open‐cell foams are shown to adsorb more protein per unit area than previously reported 316L SS and chromium oxide surfaces under static and flow conditions. An integrated approach combining 3D pore imaging, flow simulation, and protein adsorption experiments characterizes the foam’s performance.
Chinmaya Prerana Inguva, Joseph Lavoie, Afsaneh Rabiei   +2 more
wiley   +1 more source

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

广义循环布尔矩阵三明治半群中的完全正则元(The fully regular elements of the sandwich semigroup of generalized circulant Boolean matrices)

Zhejiang Daxue xuebao. Lixue ban, 2011
Let n be a positive integer, and Cn(r) be the set of all n× nr-circulant matrices over the Boolean algebra B ={0, 1}, . For any fixed r-circulant matrix C(C≠0) in Gn.
CHENJin-song(陈锦松), TANYi-jia(谭宜家)   +1 more
doaj   +1 more source

Full‐Field Damage Monitoring in Architected Lattices Using In situ Electrical Impedance Tomography

Advanced Functional Materials, EarlyView.
In situ electrical impedance tomography (EIT) turns 3D‐printed, CNT‐infused architected lattices into full‐field damage‐imaging systems. Tunable Voronoi‐based geometries act as active sensing architectures, enabling conductivity maps to detect early‐stage damage and localise sequential ligament fracture before catastrophic failure.
Akash Deep, Andrea Samore, Alistair McEwan, Andrew McBride, Shanmugam Kumar   +4 more
wiley   +1 more source

Soft binary piecewise intersection operation

Vietnam Journal of Science, Technology and Engineering
Soft set theory has emerged as a novel approach to modelling uncertainty, addressing a wide range of theoretical and practical problems. In this study, we define a new soft set operation called “soft binary piecewise intersection operation” and explore ...
Aslıhan Sezgin, Eda Yavuz, Nenad Stojanović   +2 more
doaj   +1 more source

Method of restoring multivariable Boolean function from its derivative

Advanced Engineering Research, 2017
Introduction. Boolean functions of several variables are of paramount importance in the coding theory and cryptography. The compositions of these functions are used in a set of the symmetric cryptosystems; therewith, some error-control codes, such as ...
Alexander V. Mazurenko, Nadezhda S. Mogilevskaya   +1 more
doaj   +1 more source