Results 21 to 30 of about 5,181 (248)

Infinite and Bi-infinite Words with Decidable Monadic Theories [PDF]

, 2018
We study word structures of the form $(D,
Kuske, Dietrich, Liu, Jiamou, Moskvina, Anastasia   +2 more
core   +2 more sources

On representing recursively enumerable languages by internal contextual languages

Theoretical Computer Science, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrzej Ehrenfeucht, Gheorghe Paun, Grzegorz Rozenberg   +2 more
openaire   +1 more source

Separating the Classes of Recursively Enumerable Languages Based on Machine Size [PDF]

International Journal of Foundations of Computer Science, 2015
In the late nineteen sixties it was observed that the r.e. languages form an infinite proper hierarchy [Formula: see text] based on the size of the Turing machines that accept them. We examine the fundamental position of the finite languages and their complements in the hierarchy.
Jan van Leeuwen, Jirí Wiedermann
openaire   +4 more sources

Modal Logics of Topological Relations [PDF]

, 2006
Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI.
A. Artale and E. Franconi, A. G. Cohn and S. Hazarika, B. Bennett, B. Bennett, B. Clarke, B. Nebel and H. Bürckert, C. Lutz, C.H. Papadimitriou, D. Suciu, and V. Via, Carsten Lutz, D. Harel, F. Wolter, Frank Wolter, G. Gargov and V.Goranko, I. Düntsch, H. Wang, and S. McCloskey, I. Pratt and D. Schoop, I. Pratt-Hartmann, I. Shapirovsky and V. Shehtman, J. Burgess, J. F. Allen, J. G. Stell, J. Mc Kinsey and A. Tarski, J. Renz, J. Renz and B. Nebel, J.Y. Halpern and Y. Shoham, K. Etessami, M. Y. Vardi, and T. Wilke, M. de Rijke, M. Egenhofer, M. Egenhofer and R. Franzosa, M. Marx and M. Reynolds, M. Reynolds and M. Zakharyaschev, R. Maddux, V. Goranko and D. Vakarelov, V. Goranko and S. Passy, Y. Venema, Yde Venema   +34 more
core   +2 more sources

One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems [PDF]

, 2005
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursively enumerable sets of vectors of non-negative integers, even when no region ...
Alhazov, Artiom, Freund, Rudolf, Riscos Núñez, Agustín   +2 more
core  

Systematic Exploration of 3D Concrete Printing Parameters for Conformal Printing on Sloped Surfaces

Advanced Robotics Research, EarlyView.
A conformal slicing algorithm is developed for robotic 3D concrete printing (3DCP) on sloped surfaces as a first step toward printing slab‐on‐grade foundations on uneven terrain. Systematic experiments quantify the effects of nozzle speed, extrusion rate, and toolpath direction on filament dimension and stability.
Paniz Farrokhsiar, Benay Gursoy, Jose Pinto Duarte   +2 more
wiley   +1 more source

On Measuring Non-Recursive Trade-Offs

, 2009
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general.
A. Malcher, A. Malcher, A. R. Meyer, A. V. Aho, B. Sunckel, Bianca Truthe, C. Kapoutsis, Ch. Herzog, D. F. Cudia, E. Dahlhaus, E. M. Schmidt, G. Buntrock, G. Higman, G. Rozenberg, Giovanni Pighizzini, H. Gruber, H. Rogers, Hermann Gruber, I. Borchardt, J. E. Hopcroft, J. Goldstine, J. Hartmanis, J. Hartmanis, Jürgen Dassow, L. G. Valiant, L. H. Haines, M. Kutrib, M. Kutrib, Markus Holzer, Martin Kutrib   +29 more
core   +4 more sources

AutomataGPT: Transformer‐Based Forecasting and Ruleset Inference for Two‐Dimensional Cellular Automata

Advanced Science, EarlyView.
We introduce AutomataGPT, a generative pretrained transformer (GPT) trained on synthetic spatiotemporal data from 2D cellular automata to learn symbolic rules. Demonstrating strong performance on both forward and inverse tasks, AutomataGPT establishes a scalable, domain‐agnostic framework for interpretable modeling, paving the way for future ...
Jaime A. Berkovich, Noah S. David, Markus J. Buehler   +2 more
wiley   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

The Small-Is-Very-Small Principle

, 2018
The central result of this paper is the small-is-very-small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a property has a small witness, i.e.
Kaye R., Pudlák P., Troelstra A., Visser A., Visser A., Visser A.   +5 more
core   +1 more source