Quantum Collapse and Computation in an Everett Multiverse. [PDF]
Entropy (Basel)Tamburini F, Licata I.
europepmc +1 more source
SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models. [PDF]
Sensors (Basel)Toscano-Moreno M +3 more
europepmc +1 more source
Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems. [PDF]
Sensors (Basel)Kang T, Hou Y, Liu D.
europepmc +1 more source
mRNA folding algorithms for structure and codon optimization. [PDF]
Brief BioinformWard M, Richardson M, Metkar M.
europepmc +1 more source
A programmable hybrid digital chemical information processor based on the Belousov-Zhabotinsky reaction. [PDF]
Nat CommunSharma A +4 more
europepmc +1 more source
Long-term path planning with optimal deployment of a charging station for monitoring photovoltaic solar farms. [PDF]
Sci RepHuang Y, Chen Z, Chu J, Wang H, Sun S.
europepmc +1 more source
Infrared: a declarative tree decomposition-powered framework for bioinformatics. [PDF]
Algorithms Mol BiolYao HT +4 more
europepmc +1 more source
Pulse, Parse, and Ponder: Using Invisible XML to Dissect a Scientific Domain Specific Language. [PDF]
Balisage Ser Markup TechnolCourtney JM, Gryk MR.
europepmc +1 more source
A Thermodynamically Favoured Molecular Computer: Robust, Fast, Renewable, Scalable
Stérin T +4 more
europepmc +1 more source