- 2014
- Jack Betts, Berndt Müller
:
Engineering MAS - A Device Integration Framework for Smart Home Environments. Fundam. Informaticae 135(4): 341-353 (2014) - Folkert Bleichrodt, Jan De Beenhouwer, Jan Sijbers, Kees Joost Batenburg:
Aligning Projection Images from Binary Volumes. Fundam. Informaticae 135(1-2): 21-42 (2014) - Srecko Brlek, Nadia Lafrenière:
Reconstructing Words from a σ-palindromic Language. Fundam. Informaticae 135(1-2): 59-72 (2014) - Stefano Brocchi:
A New Approach for the Reconstruction of Object-Based Images in Discrete Tomography. Fundam. Informaticae 135(1-2): 43-57 (2014) - Valentina Castiglioni, Ruggero Lanotte, Simone Tini:
A Specification Format for Rooted Branching Bisimulation. Fundam. Informaticae 135(4): 355-369 (2014) - Marco Compagnoni, Roberto Notari:
TDOA-based Localization in Two Dimensions: the Bifurcation Curve. Fundam. Informaticae 135(1-2): 199-210 (2014) - Andreea Denitiu, Stefania Petra, Claudius Schnörr, Christoph Schnörr:
Phase Transitions and Cosparse Tomographic Recovery of Compound Solid Bodies from Few Projections. Fundam. Informaticae 135(1-2): 73-102 (2014) - Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg:
Preface. Fundam. Informaticae 135(1-2): v-xxi (2014) - Roberto Fedele, Antonia Ciani, Fabrizio Fiori:
X-ray Microtomography under Loading and 3D-Volume Digital Image Correlation. A Review. Fundam. Informaticae 135(1-2): 171-197 (2014) - Rodolfo A. Fiorini:
How Random is Your Tomographic Noise? A Number Theoretic Transform (NTT) Approach. Fundam. Informaticae 135(1-2): 135-170 (2014) - Mohsen Ghasemi:
An Algorithmic-type Classification of Tetravalent One-regular Graphs Using Computer Algebra Tools. Fundam. Informaticae 135(3): 211-228 (2014) - Alexandre Goupy, Silvia M. C. Pagani:
Probabilistic Reconstruction of hv-convex Polyominoes from Noisy Projection Data. Fundam. Informaticae 135(1-2): 117-134 (2014) - Adam Grabowski:
Efficient Rough Set Theory Merging. Fundam. Informaticae 135(4): 371-385 (2014) - Norbert Hantos, Péter Balázs:
Random Generation of hv-Convex Polyominoes with Given Horizontal Projection. Fundam. Informaticae 135(1-2): 103-115 (2014) - Frank Heitmann, Michael Köhler-Bußmeier:
Structural and Dynamic Restrictions of Elementary Object Systems. Fundam. Informaticae 135(4): 387-401 (2014) - Magdalena Kacprzak, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. Fundam. Informaticae 135(4): 403-417 (2014) - Joanna Karbowska-Chilinska, Pawel Zabielski:
Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows. Fundam. Informaticae 135(4): 419-431 (2014) - Armen Kostanyan, Paruyr Khnkoyan:
Computations in Boolean Algebra with Approximation. Fundam. Informaticae 135(3): 229-241 (2014) - Linh Anh Nguyen, Joanna Golinska-Pilarek:
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. Fundam. Informaticae 135(4): 433-449 (2014) - Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki:
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundam. Informaticae 135(4): 451-466 (2014) - Panpan Niu, Xiangyang Wang, Hong-Ying Yang, Pei Wang, Ai-Long Wang:
A Robust Digital Watermarking Based on Local Complex Angular Radial Transform. Fundam. Informaticae 135(3): 243-268 (2014) - Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen:
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135(3): 269-293 (2014) - Wojciech Penczek, Ludwik Czaja:
Preface. Fundam. Informaticae 135(4): i (2014) - Linda Plantagie, Kees Joost Batenburg:
Approximating Algebraic Tomography Methods by Filtered Backprojection: A Local Filter Approach. Fundam. Informaticae 135(1-2): 1-19 (2014) - Agata Pólrola, Piotr Cybula, Artur Meski:
SMT-Based Reachability Checking for Bounded Time Petri Nets. Fundam. Informaticae 135(4): 467-482 (2014) - Piotr Przymus, Krzysztof Kaczmarski, Krzysztof Stencel:
A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans. Fundam. Informaticae 135(4): 483-501 (2014) - Zbigniew Suraj, Piotr Grochowalski:
About New Version of RSDS System. Fundam. Informaticae 135(4): 503-519 (2014) - Pavel Surynek, Petra Surynková, Milos Chromý:
The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems. Fundam. Informaticae 135(3): 295-308 (2014) - Annegret Katrin Wagler, Jan-Thierry Wegener:
Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. Fundam. Informaticae 135(4): 521-535 (2014) - Xiangyang Wang, Yong-Wei Li, Panpan Niu, Hong-Ying Yang, Dong-Ming Li:
Content-based Image Retrieval using Visual Attention Point Features. Fundam. Informaticae 135(3): 309-329 (2014)
