Fundamenta Informaticae - Tom Vol. 171, nr 1-4 (2020) - BazTech

Tom - szczegóły

Tytuł artykułu

Vol. 171, nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2020

Identyfikatory

Uwagi

Special issue is dedicated to Giancarlo Mauri on the occasion of his 70th birthday

Editors of this special issue: Alberto Dennunzio, University of Milano-Bicocca, Milano, Italy. Gheorghe Păun, University of Bucharest, Bucharest, Romania. Grzegorz Rozenberg, Leiden University, Leiden, The Netherlands. Claudio Zandron, University of Milano-Bicocca, Milano, Italy.

Zawartość wolumenu

Vol. 171, nr 1-4
- artykuł: A Common Framework to Recognize Two-dimensional Languages (Anselmo Marcella, Giammarresi Dora, Madonia Maria), s. 1--17
- artykuł: Unveiling the Hidden Dimension of Pedestrian Crowds : Introducing Personal Space and Crowding into Simulations (Bandini Stefania, Crociani Luca, Gorrini Andrea, Nishinari Katsuhiro, Vizzari Giuseppe), s. 19--38
- artykuł: Logic and Algebra in Unfolded Petri Nets : on a Duality Between Concurrency and Causal Dependence (Bernardinello Luca, Ferigato Carlo, Pomello Lucia), s. 39--56
- artykuł: Computational Intelligence for Life Sciences (Besozzi Daniela, Manzoni Luca, Nobile Marco S., Spolaor Simone, Castelli Mauro, Vanneschi Leonardo, Cazzaniga Paolo, Ruberto Stefano, Rundo Leonardo, Tangherloni Andrea), s. 57--80
- artykuł: Unavoidable Sets, Prefix Graphs and Regularity of Circular Splicing Languages (Bonizzoni Paola, De Felice Clelia, Zaccagnino Rocco, Zizza Rosalba), s. 81--95
- artykuł: Some Investigations on Similarity Measures Based on Absent Words (Castiglione Giuseppa, Mantaci Sabrina, Restivo Antonio), s. 97--112
- artykuł: Insertions Yielding Equivalent Double Occurrence Words (Cruz Daniel A., Ferrari Margherita Maria, Jonoska Nataša, Nabergall Lukas, Saito Masahico), s. 113--132
- artykuł: On Languages of P Automata (Csuhaj-Varjú Erzsébet, Vaszil György), s. 133--149
- artykuł: Word Blending in Formal Languages (Enaganti Srujan Kumar, Kari Lila, Ng Timothy, Wang Zihao), s. 151--173
- artykuł: The Many Roads to the Simulation of Reaction Systems (Ferretti Claudio, Leporati Alberto, Manzoni Luca, Porreca Antonio E.), s. 175--188
- artykuł: How Hard is it to Predict Sandpiles on Lattices? A Survey (Formenti Enrico, Perrot Kévin), s. 189--219
- artykuł: CospanSpan(Graph) : a Compositional Description of the Heart System (Gianola Alessandro, Kasangian Stefano, Manicardi Desiree, Sabadini Nicoletta, Schiavio Filippo, Tini Simone), s. 221--237
- artykuł: On Expansivity and Pseudo-Orbit Tracing Property for Cellular Automata (Jalonen Joonatan, Kari Jarkko), s. 239--259
- artykuł: Reaction Systems and Enabling Equivalence (Kleijn Jetty, Koutny Maciej, Mikulski Łukasz), s. 261--277
- artykuł: The Influence of Nutrients Diffusion on a Metabolism-driven Model of a Multi-cellular System (Maspero Davide, Damiani Chiara, Antoniotti Marco, Graudenzi Alex, Di Filippo Marzia, Vanoni Marco, Caravagna Giulio, Colombo Riccardo, Ramazzotti Daniele, Pescini Dario), s. 279--295
- artykuł: Membrane Creation in Polarizationless P Systems with Active Membranes (Orellana-Martín David, Valencia-Cabrera Luis, Riscos-Núñez Agustín, Pérez-Jiménez Mario J.), s. 297--311
- artykuł: P Systems with Rule Production and Removal (Pan Linqiang, Song Bosheng), s. 313--329
- artykuł: A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System (Petre Luigia, Sanwal Usman, Shah Gohar, Panchal Charmi, Tyagi Dwitiya, Petre Ion), s. 331--343
- artykuł: A Survey on Nature-Inspired Medical Image Analysis : A Step Further in Biomedical Data Integration (Rundo Leonardo, Militello Carmelo, Vitabile Salvatore, Russo Giorgio, Sala Evis, Gilardi Maria Carla), s. 345--365
- artykuł: Integrating Petri Nets and Flux Balance Methods in Computational Biology Models : a Methodological and Computational Practice (Pernice Simone, Follia Laura, Balbo Gianfranco, Milanesi Luciano, Sartini Giulia, Totis Niccoló, Lió Pietro, Merelli Ivan, Cordero Francesca, Beccuti Marco), s. 367--392
- artykuł: How to Synchronize Cellular Automata – Recent Developments –. (Umeo Hiroshi), s. 393--419

rozwiń roczniki