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.