Logarithmic SAT Solution with Membrane Computing von Nicolescu, Radu, Dinneen, Michael, Cooper, James, Henderson, Alec, Liu, Yezhou

Volltext

Discrete Mathematics and Theoretical Computer Science: 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings von Calude, Cristian S, Dinneen, Michael J, Vajnovszki, Vincent

Volltext

QUBO formulations for the graph isomorphism problem and related problems von Calude, Cristian S., Dinneen, Michael J., Hua, Richard

Volltext

Finding the chromatic sums of graphs using a D-Wave quantum computer von Dinneen, Michael J., Mahasinghe, Anuradha, Liu, Kai

Volltext

Experimentally probing the algorithmic randomness and incomputability of quantum randomness von Abbott, Alastair A, Calude, Cristian S, Dinneen, Michael J, Huang, Nan

Volltext

Efficient Card-Based Protocols for Generating a Hidden Random Permutation Without Fixed Points von Ishikawa, Rie, Chida, Eikoh, Mizuki, Takaaki

Volltext

Improved QUBO Formulation of the Graph Isomorphism Problem von Hua, Richard, Dinneen, Michael J.

Volltext

Unconventional Models of Computation: Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings von Calude, Cristian, Dinneen, Michael J, Peper, F

Volltext

Unconventional Computation and Natural Computation: 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings von Calude, Cristian S, Dinneen, Michael J

Volltext

On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width von Olyaei, Meysam Rajaati Bavil, Dinneen, Michael J, Hooshmandasl, Mohammad Reza, Shakiba, Ali

Volltext

Quantum Annealing for Computer Vision minimization problems von Heidari, Shahrokh, Dinneen, Michael J., Delmas, Patrice

Volltext

An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique von Tomita, Etsuji, Seki, Tomokazu

Volltext

Sublinear P system solutions to NP-complete problems von Dinneen, Michael J., Henderson, Alec, Nicolescu, Radu

Volltext

A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing—Abridged Version von Abbott, Alastair A., Calude, Cristian S., Dinneen, Michael J., Hua, Richard

Volltext

Covering and Secret Sharing with Linear Codes von Ding, Cunsheng, Yuan, Jin

Volltext

An Empirical Approach to the Normality of π von Bailey, David H., Borwein, Jonathan M., Calude, Cristian S., Dinneen, Michael J., Dumitrescu, Monica, Yee, Alex

Volltext

The Unconventionality of Nature: Biology, from Noise to Functional Randomness von Bravi, Barbara, Longo, Giuseppe

Volltext

Faster synchronization in P systems von Dinneen, Michael J., Kim, Yun-Bum, Nicolescu, Radu

Volltext

A QUBO formulation for the Tree Containment problem von Dinneen, Michael J., Ghodla, Pankaj S., Linz, Simone

Volltext

DiSCUS: A Simulation Platform for Conjugation Computing von Goñi-Moreno, Angel, Amos, Martyn

Volltext