Theory of Computing Systems \/ Mathematical Systems Theory

IF

Papers

Papers 6,250

1 page of 625 pages (6,250 results)

Newest

Eroders are monotonic cellular automata with a linearly ordered state set that eventually wipe out any finite island of nonzero states. One-dimensional eroders were studied by Gal’perin in the 1970s, who presented a simple combinatorial characterization of the class. The multi-dimensional case has been studied by Toom and others, but no such characterization has been found. We prove a similar characterization for those one-dimensional monotonic cellular automata that are eroders even in the pres...

Improvement of Electrical Properties of CMC-PVA Doped with Various Contents of LiNO3 as an Application for Hybrid Polymer Electrolytes

Kinetic Modeling Study of Laminar Burning Velocity of Gasoline–Ethanol–Methanol Blends at Elevated Temperature and Pressure

Comparison of Concrete and Steel Jacket Methods for Reinforcing A Concrete Bridge Pier by Numerical and Experimental Studies

Effect of Arc Plasma Sintering on the Structural and Microstructural Properties of Fe-Cr-Ni Austenitic Stainless Steels

Trend Significance Levels of Rain Onset and Cessation and Lengths of the Wet and Dry Seasons in Epe, Lagos State, Nigeria

Counting CSPd is the counting constraint satisfaction problem (# CSP in short) restricted to the instances where every variable occurs a multiple of d times. This paper revisits tractable structures in # CSP and gives a complexity classification theorem for # CSPd with algebraic complex weights. The result unifies affine functions (stabilizer states in quantum information theory) and related variants such as the local affine functions, the discovery of which leads to all the recent progress on t...

12345678910