Stop the war!
Остановите войну!
for scientists:
default search action
Fundamenta Informaticae, Volume 155
Volume 155, Numbers 1-2, 2017
- Jérôme Durand-Lose, Jarkko Kari, Benedek Nagy:
Preface / Editorial. v-vii
- Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Invariant Structures and Dependence Relations. 1-29 - Martin Kutrib, Matthias Wendlandt:
Reversible Limited Automata. 31-58 - Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
Tinput-Driven Pushdown, Counter, and Stack Automata. 59-88 - Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe:
Tight Bounds for Cut-Operations on Deterministic Finite Automata. 89-110 - Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil:
Watson-Crick T0L Systems and Red-Green Register Machines. 111-129 - Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers:
The Simulation Powers and Limitations of Higher Temperature Hierarchical Self-Assembly Systems. 131-162 - Sergiu Ivanov, Sergey Verlan:
Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. 163-185 - Benedek Nagy, Sándor Vályi:
A Shift-free Characterization of NP within Interval-valued Computing. 187-207 - Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian:
Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors. 209-232
Volume 155, Number 3, 2017
- Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni:
Preface. i-iii
- Michael J. Maher:
Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation. 233-260 - Chiaki Sakama, Tjitze Rienstra:
Representing Argumentation Frameworks in Answer Set Programming. 261-292 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Abducible Semantics and Argumentation. 293-319
Volume 155, Number 4, 2017
- Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg:
Preface. i-vii
- Andreas Alpers, Peter Gritzmann:
Reconstructing Binary Matrices under Window Constraints from their Row and Column Sums. 321-340 - Filippo Arcadu, Jakob Vogel, Marco Stampanoni, Federica Marone:
Improving Analytical Tomographic Reconstructions Through Consistency Conditions. 341-361 - Emmanuel Brun, Claudio Ferrero, Jérome Vicente:
Fast Granulometry Operator for the 3D Identification of Cell Structures. 363-372 - Camille Chapdelaine, Ali Mohammad-Djafari, Nicolas Gac, Estelle Parra:
A 3D Bayesian Computed Tomography Reconstruction Algorithm with Gauss-Markov-Potts Prior Model and its Application to Real Data. 373-405 - Paolo Dulio, Silvia M. C. Pagani, Andrea Frosini:
Regions of Uniqueness Quickly Reconstructed by Three Directions in Discrete Tomography. 407-423 - Lajos Hajdu, Robert Tijdeman:
Consistency Conditions for Discrete Tomography. 425-447 - Li Wang, Ali Mohammad-Djafari, Nicolas Gac:
X-ray Computed Tomography using a Sparsity Enforcing Prior Model Based on Haar Transformation in a Bayesian Framework. 449-480
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.