Interplay Between Vertical and Horizontal Schemes of Computation: From Bayesian Inference to Quantum Logic via Gluing Boolean Algebras. [PDF]
Gunji YP +7 more
europepmc +1 more source
A Pseudo-Boolean Formulation for Graph Database Queries
Graph queries such as neighborhood exploration, friend-of-a-friend, and path finding are fundamental operations in graph databases. Traditionally, these queries are implemented using procedural traversal algorithms tightly coupled to the underlying ...
Gabriel Tiveron, Bruno César Ribas
doaj
The key technologies of a computer-aided design system for removable partial denture frameworks. [PDF]
Ma G +5 more
europepmc +1 more source
Subarray programmable terahertz metasurface for optical logic and high-order amplitude modulation. [PDF]
Wang L +10 more
europepmc +1 more source
Electric-field-driven magnetic domain wall dynamics: a multiferroic route toward scalable and low-power spintronic logic. [PDF]
Zhang P +7 more
europepmc +1 more source
BandHiC: a memory-efficient and user-friendly Python package for organizing and analyzing Hi-C matrices down to sub-kilobase resolution. [PDF]
Wang W, Li J, Ye Y, Gao L.
europepmc +1 more source
A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software. [PDF]
Heradio R +5 more
europepmc +1 more source
Hafnium-Based Ferroelectric Diodes for Logic-in-Memory Application. [PDF]
Han S +10 more
europepmc +1 more source
Ferroelectricity-modulated asymmetric van der Waals heterostructure for ultralow-power neuromorphic synapse and logic-in-memory operations. [PDF]
Zhi J +9 more
europepmc +1 more source
Nonvolatile Reconfigurable Synthetic Antiferromagnetic Devices Induced by Spin-Orbit Torque for Multifunctional In-Memory Computing. [PDF]
Song M, Liu J, Zhu Z.
europepmc +1 more source

