Propositional Proof Complexity and Cellular Automata

QR Code

Propositional Proof Complexity and Cellular Automata

None

Saved in:

Bibliographic Details
Main Author:	Cavagnetto, Stefano
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2011
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/15078
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Network Systems Modelled by Complex Cellular Automata Paradigm
by: Topa, Pawel
Published: (2011)

Cryptography in Quantum Cellular Automata
by: Amiri, Mohammad Amin, et al.
Published: (2011)

Cellular Automata for Bus Dynamics
by: Huang, Ding-wei, et al.
Published: (2011)

Cellular Automata for Pattern Recognition
by: Wongthanavasu, Sartra, et al.
Published: (2013)

Cellular Automata for Medical Image Processing
by: Wongthanavasu, Sartra
Published: (2011)

Cellular Automata Modeling of Biomolecular Networks
by: Bonchev, Danail
Published: (2011)

Cellular Automata Modelling of the Diffusion of Innovations
by: Kocsis, Gergely, et al.
Published: (2011)

Biophysical Modeling using Cellular Automata
by: Pfeifer, Bernhard
Published: (2011)

Cellular Learning Automata and Its Applications
by: Navid, Amir Hosein Fathy, et al.
Published: (2013)

Studies on Population Dynamics Using Cellular Automata
by: Jafelice, Rosana Motta, et al.
Published: (2011)

Cellular Automata based Artificial Financial Market
by: Ding, Jingyuan
Published: (2011)

Conservative Reversible Elementary Cellular Automata and their Quantum Computations
by: Al-Rabadi, Anas N.
Published: (2011)

Quantum Cellular Automata Controlled Self-Organizing Networks
by: Gyongyosi, Laszlo, et al.
Published: (2011)

A Framework of Variant Logic Construction for Cellular Automata
by: Zheng, Jeffrey Z.J., et al.
Published: (2011)

Cellular-Automata-Based Simulation of the Settlement Development in Vienna
by: Koenig, Reinhard, et al.
Published: (2011)

Architectural Design of Quantum Cellular Automata to Implement Logical Computation
by: León, Alejandro
Published: (2011)

Spatial Optimization and Resource Allocation in a Cellular Automata Framework
by: Sidiropoulos, Epaminondas, et al.
Published: (2011)

Social Simulation Based on Cellular Automata: Modeling Language Shifts
by: Beltran, Francesc S., et al.
Published: (2011)

Cellular Automata – a Tool for Disorder, Noise and Dissipation Investigations
by: Leoński, W., et al.
Published: (2011)

Cellular Automata Simulation of Two-Layer Ising and Potts Models
by: Ghaemi, Mehrdad
Published: (2011)

Modeling of Macrostructure Formation during the Solidification by using Frontal Cellular Automata
by: Svyetlichnyy, Dmytro S.
Published: (2011)

Mesoscopic Modelling of Metallic Interface Evolution Using Cellular Automata Model
by: Taleb, Abdelhafed., et al.
Published: (2011)

CA City: Simulating Urban Growth through the Application of Cellular Automata
by: Heppenstall, Alison, et al.
Published: (2011)

Simulation of Qualitative Peculiarities of Capillary System Regulation with Cellular Automata Models
by: Knyshov, G., et al.
Published: (2011)

Some Results on Evolving Cellular Automata Applied to the Production Scheduling Problem
by: Witkowski, Tadeusz, et al.
Published: (2011)

Information-Theoretic Modeling and Analysis of Stochastic Behaviors in Quantum-Dot Cellular Automata
by: Wang, Lei, et al.
Published: (2011)

An Improved PRNG Based on the Hybrid between One- and Two- Dimensional Cellular Automata
by: Shin, Sang-Ho, et al.
Published: (2011)

Design of Self-Assembling, Self-Repairing 3D Irregular Cellular Automata
by: Jones, David Huw, et al.
Published: (2011)

Equilibrium Properties of the Cellular Automata Models for Traffic Flow in a Single Lane
by: Salcido, Alejandro
Published: (2011)

Nonequilibrium Phase Transition of Elementary Cellular Automata with a Single Conserved Quantity
by: Takesue, Shinji
Published: (2011)

Validating Spatial Patterns of Urban Growth from a Cellular Automata Model
by: Al-Ahmadi, Khalid, et al.
Published: (2013)

Accelerating 3D Cellular Automata Computation with GP GPU in the Context of Integrative Biology
by: Caux, Jonathan, et al.
Published: (2011)

Cellular Automata for Traffic Modelling and Simulations in a Situation of Evacuation from Disaster Areas
by: Arai, Kohei, et al.
Published: (2011)

Design and Implementation of CAOS: An Implicitly Parallel Language for the High-Performance Simulation of Cellular Automata
by: Grelck, Clemens, et al.
Published: (2011)

An Interactive Method to Dynamically Create Transition Rules in a Land-use Cellular Automata Model
by: Hasbani, et al.
Published: (2011)

Using Cellular Automata and Global Sensitivity Analysis to Study the Regulatory Network of the L-Arabinose Operon
by: Apte, Advait A., et al.
Published: (2013)

Two Cellular Automata Designed for Ecological Problems: Mendota CA and Barro Colorado Island CA
by: Fort, H.
Published: (2013)

Segmentation with Learning Automata
by: Cuevas, Erik, et al.
Published: (2011)

Multi-Automata Learning
by: Katja, Verbeeck, et al.
Published: (2008)

Deeper Investigating Adequate Secret Key Specifications for a Variable Length Cryptographic Cellular Automata Based Model
by: Oliveira, Gina M. B., et al.
Published: (2011)