


default search action
Acta Cybernetica, Volume 24
Volume 24, Number 1, May 2019
- Attila Kertész:
Preface. 1-3 - Sándor Bácsi
, Gergely Mezei
:
Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages. 5-16 - Csaba Bálint
, Gábor Valasek
, Lajos Gergó
:
Operations on Signed Distance Functions. 17-28 - Péter Hudoba
, Péter Burcsi
:
Multi Party Computation Motivated by the Birthday Problem. 29-41 - Tibor Kovács
, Gábor Simon
, Gergely Mezei
:
Benchmarking Graph Database Backends - What Works Well with Wikidata? 43-60 - Dániel Lukács
, Máté Tejfel
, Gergely Pongrácz
:
Keeping P4 Switches Fast and Fault-free through Automatic Verification. 61-81 - András Márkus
, József Dániel Dombi
:
Multi-Cloud Management Strategies for Simulating IoT Applications. 83-103 - Dávid Nagy
, Tamás Mihálydeák
, László Aszalós
:
Different Types of Search Algorithms for Rough Sets. 105-120 - Zsombor Paroczi:
LZ based Compression Benchmark on PE Files. 121-129 - Edit Pengo
, Zoltán Ságodi
:
A Preparation Guide for Java Call Graph Comparison. 131-155 - András Sárkány
, Máté Csákvári
, Mike Olasz
:
Combining Common Sense Rules and Machine Learning to Understand Object Manipulation. 157-172
Volume 24, Number 2, November 2019
- József Dombi, Tamás Jónás:
An Elementary Proof of the General Poincaré Formula for λ-additive Measures. 173-185 - Géza Makay
, András Pluhár
:
Linear Time Ordering of Bins using a Conveyor System. 187-195 - György Kalmár
, Alexandra Büki, Gabriella Kékesi, Gyöngyi Horváth, László G. Nyúl
:
Automating, Analyzing and Improving Pupillometry with Machine Learning Algorithms. 197-209 - Tjalling Gelsema
:
The Logic of Aggregated Data. 211-248 - Dénes Bartha
:
Reconstruction of Rooted Directed Trees. 249-262
Volume 24, Number 3, March 2020
- Ekaterina Auer
, Julia Kersten
, Andreas Rauh
:
Preface. 265-266 - Eugenio Moggi
, Walid Taha
, Johan Thunberg
:
Sound Over-Approximation of Probabilities. 269-285 - Wolfram Luther
, Ekaterina Auer
, Benjamin Weyers
:
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. 287-314 - John D. Pryce
, Nedialko S. Nedialkov
:
Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving. 315-341 - Kristine John
, Andreas Rauh
, Martin Bruschewski
, Sven Grundmann
:
Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows. 343-372 - Jonathan Wunderlich
, Michael Plum
:
Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems. 373-391 - Georgy V. Kostin
:
Verified Solution to Optimal Control Problems of Elastic Rod Motion Based on the Ritz Method. 393-408 - Klaus Röbenack
, Rick Voßwinkel
:
Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem. 409-427 - Luc Jaulin
, Fabrice Le Bars
:
Characterizing Sliding Surfaces of Cyber-Physical Systems. 431-448 - Olivier Mullier
, Julien Alexandre Dit Sandretto
, Alexandre Chapoutot
:
Optimal Switching Instants for the Control of Hybrid Systems. 449-465 - Julia Kersten
, Andreas Rauh
, Harald Aschemann
:
Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers. 467-491 - Nacim Meslem
, John J. Martinez
:
Interval Predictors for a Class of Uncertain Discrete-Time Systems. 493-508 - Andreas Rauh
, Julia Kersten
:
From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers. 509-537 - Chaima Zammali
, Jeremy Van Gorp
, Tarek Raïssi
:
On Interval Observer Design for Continuous-Time LPV Switched Systems. 539-555 - Ide-Flore Kenmogne
, Vincent Drevelle
, Éric Marchand
:
Cooperative Localization of Drones by using Interval Methods. 557-572 - Hani Dbouk
, Steffen Schön
:
Reliable Bounding Zones and Inconsistency Measures for GPS Positioning using Geometrical Constraints. 573-591
Volume 24, Number 4, July 2020
- Sonam Chhikara
, Rajeev Kumar
:
An Information Theoretic Image Steganalysis for LSB Steganography. 593-612 - Vesa Halava
, Tero Harju
:
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem. 613-623 - Gábor Péter Nagy
, Sabira El Khalfaoui
:
Estimating the Dimension of the Subfield Subcodes of Hermitian Codes. 625-641 - László Hajdu
, Attila Tóth
, Miklós Krész
:
Graph Coloring based Heuristic for Crew Rostering. 643-661 - Sultan Abdul Hasib
, Hussain Md Abu Nyeem
:
Pixel Grouping of Digital Images for Reversible Data Hiding. 663-678 - Electa Alice Appadurai
, Mahabaleswara Ram Bhatt
, Geetha Dundesh Devanagavi
:
Semi Fragile Audio Crypto-Watermarking based on Sparse Sampling with Partially Decomposed Haar Matrix Structure. 679-697

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.