Achieving Operational Universality through a Turing Complete Chemputer. [PDF]
Gahler D, Thomas D, Lach S, Cronin L.
europepmc +1 more source
Rapid Exploration of the Assembly Chemical Space of Molecular Graphs. [PDF]
Seet I +4 more
europepmc +1 more source
Large-scale transportation governance: A tensorization-parallelization co-empowered framework. [PDF]
Gu Z +5 more
europepmc +1 more source
The key technologies of a computer-aided design system for removable partial denture frameworks. [PDF]
Ma G +5 more
europepmc +1 more source
Logic programming with pseudo-Boolean constraints
Boolean constraints play an important role in various constraint logic programming languages. In this paper we consider pseudo-Boolean constraints, that is equations and inequalities between pseudo-Boolean functions. A pseudo-Boolean function is an integer-valued function of Boolean variables and thus a generalization of a Boolean function.
openaire +1 more source
Engineering wetware and software for the predictive design of compressed genetic circuits for higher-state decision-making. [PDF]
Huang BD +6 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
Data-driven inference of Boolean networks from transcriptomes to predict cellular differentiation and reprogramming. [PDF]
Chevalier S +12 more
europepmc +1 more source

