Results 71 to 80 of about 118,707 (380)

Fundamental Cycle of a Periodic Box-Ball System [PDF]

, 2002
We investigate a soliton cellular automaton (Box-Ball system) with periodic boundary conditions. Since the cellular automaton is a deterministic dynamical system that takes only a finite number of states, it will exhibit periodic motion. We determine its
Daisuke Yoshihara, Date E, Date E, Fukuda K, Fumitaka Yura, Kac M, Kimijima T, Takahashi D, Takahashi D, Tetsuji Tokihiro, Wolfram S, Yoshihara D, Yura F   +12 more
core   +1 more source

Automaton semigroups

Theoretical Computer Science, 2009
AbstractThe concept of an automaton group generalizes easily to semigroups, and the systematic study of this area is beginning. This paper aims to contribute to that study. The basic theory of automaton semigroups is briefly reviewed. Various natural semigroups are shown to arise as automaton semigroups.
openaire   +2 more sources

flexfringe: A Passive Automaton Learning Package

IEEE International Conference on Software Maintenance and Evolution, 2017
Finite state models, such as Mealy machines or state charts, are often used to express and specify protocol and software behavior. Consequently, these models are often used in verification, testing, and for assistance in the development and maintenance ...
S. Verwer, Christian Hammerschmidt
semanticscholar   +1 more source

Experimental Study of the Shortest Reset Word of Random Automata [PDF]

, 1997
In this paper we describe an approach to finding the shortest reset word of a finite synchronizing automaton by using a SAT solver. We use this approach to perform an experimental study of the length of the shortest reset word of a finite synchronizing ...
Appelshauser, H., Bachler, J., Bailey, S.J., Barnby, L.S., Bartke, J., Barton, R.A., Bialkowska, H., Blyth, C.O., Bock, R., Bormann, C., Brady, F.P., Brockmann, R., Brun, R., Buncic, P., Caines, H.L., Cebra, D.A., Cooper, G.E., Cramer, J.G., Csato, P., Dunn, J., Eckardt, V., Eckhardt, F., Ferguson, M.I., Fischer, H.G., Flierl, D., Fodor, Z., Foka, P., Freund, P., Friese, V., Fuchs, M., Gabler, F., Gal, J., Gazdzicki, M., Gladysz, E., Grebieszkow, J., Gunther, J., Harris, J.W., Hegyi, S., Henkel, T., Hill, L.A., Huang, I., Hummler, H., Igo, G., Irmscher, D., Jacobs, P., Jones, P.G., Kadija, K., Kolesnikov, V.I., Kowalski, M., Lasiuk, B., Levai, P., Malakhov, A.I., Margetis, S., Markert, C., Melkumov, G.L., Mock, A., Molnar, J., Nelson, John M., Odyniec, G., Oldenburg, M., Palla, G., Panagiotou, A.D., Petridis, A., Piper, A., Porter, R.J., Poskanzer, Arthur M., Poziombka, S., Prindle, D.J., Puhlhofer, F., Rauch, W., Reid, J.G., Renfordt, R., Retyk, W., Ritter, H.G., Rohrich, D., Roland, C., Roland, G., Rudolph, H., Rybicki, A., Sandoval, A., Sann, H., Schafer, E., Schmischke, D., Schmitz, N., Schonfelder, S., Semenov, A.Yu., Seyboth, P., Seyerlein, J., Sikler, F., Skrzypczak, E., Squier, G.T.A., Stock, R., Strobele, H., Szentpetery, I., Sziklai, J., Toy, M., Trainor, T.A., Trentalange, S., Ullrich, T., Vassiliou, M., Vesztergombi, G., Voloshin, S., Vranic, D., Wang, F., Weerasundara, D.D., Wenig, S., Whitten, C., Wienold, T., Wood, L., Yates, T.A., Zimanyi, J., Zybert, R.   +111 more
core   +2 more sources

Zegarmistrzowie, automata i kino

Kwartalnik Filmowy, 2014
Dzieje kina i zegarmistrzostwa są ze sobą silnie powiązane. Bez krzyża maltańskiego, mechanizmu stosowanego w zegarkach od XVIII w., nie byłoby projektora.
Marcin Giżycki
doaj   +1 more source

The Complexity of Infinite Computations In Models of Set Theory [PDF]

, 2009
We prove the following surprising result: there exist a 1-counter B\"uchi automaton and a 2-tape B\"uchi automaton such that the \omega-language of the first and the infinitary rational relation of the second in one model of ZFC are \pi_2^0-sets, while ...
L. Staiger, L. Staiger, O. Finkel, O. Finkel, Olivier Finkel, Wolfgang Thomas   +5 more
core   +5 more sources

Ergothioneine supplementation improves pup phenotype and survival in a murine model of spinal muscular atrophy

FEBS Letters, EarlyView.
Spinal muscular atrophy (SMA) is a genetic disease affecting motor neurons. Individuals with SMA experience mitochondrial dysfunction and oxidative stress. The aim of the study was to investigate the effect of an antioxidant and neuroprotective substance, ergothioneine (ERGO), on an SMNΔ7 mouse model of SMA.
Francesca Cadile, Daniela Ratto, Giorgia Rastelli, Ottavia Eleonora Ferraro, Caterina Temporini, Sunil Kumar, Simona Boncompagni, Paola Rossi, Monica Canepari   +8 more
wiley   +1 more source

Rich Ornaments and Delightful Engines: The Poetics of Failed Festivity and Figural Automation in William Shakespeare’s Titus Andronicus

Anglica. An International Journal of English Studies, 2021
The present study focuses on the poetics of failed festivity in William Shakespeare’s Titus Andronicus, tracing analogies between early modern festival culture, in particular the Joyous Entry of the Renaissance prince into the city, and the machinery of ...
Agnieszka Żukowska
doaj   +1 more source

Graph Spectral Properties of Deterministic Finite Automata

, 2014
We prove that a minimal automaton has a minimal adjacency matrix rank and a minimal adjacency matrix nullity using equitable partition (from graph spectra theory) and Nerode partition (from automata theory). This result naturally introduces the notion of
A. Goldberg, A. Nerode, C. Choffrut, J. Sakarovitch, P.V. Mieghem, S.M. Osnaga   +5 more
core   +1 more source

From lactation to malignancy: A comparison between healthy and cancerous breast gland at single‐cell resolution reveals new issues for tumorigenesis

FEBS Letters, EarlyView.
Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona, Carlo M. Bergamini, Carlo Ferrari, Stefano Volinia, Nicoletta Bianchi   +4 more
wiley   +1 more source