default search action
Acta Cybernetica, Volume 25
Volume 25, Number 1, May 2021
- Julien Alexandre Dit Sandretto
, Olivier Mullier
, Alexandre Chapoutot
:
Preface. 3 - Jason Brown
, François Pessaux
:
Interval-Based Simulation of Zélus IVPs using DynIbex. 5-20 - Andreas Rauh
, Julia Kersten
:
Toward the Development of Iteration Procedures for the Interval-Based Simulation of Fractional-Order Systems. 21-48 - Julien Alexandre Dit Sandretto
:
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations. 49-68 - Shuchen Liu
, Jan-Jöran Gehrt
, Dirk Abel
, René Zweigel
:
Identification of Multi-Faults in GNSS Signals using RSIVIA under Dual Constellation. 69-84 - Olivier Mullier
, Julien Alexandre Dit Sandretto
:
Validated Trajectory Tracking using Flatness. 85-99 - Etienne Bertin
, Elliot Brendel
, Bruno Hérissé
, Julien Alexandre Dit Sandretto
, Alexandre Chapoutot
:
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. 101-125
Volume 25, Number 2, August 2021
- Attila Kertész
:
Preface. 129 - Ali Al-Haboobi
, Gabor Kecskemeti
:
Execution Time Reduction in Function Oriented Scientific Workflows. 131-150 - Ahmad T. Anaqreh
, Boglárka G.-Tóth
, Tamás Vinkó
:
Symbolic Regression for Approximating Graph Geodetic Number. 151-169 - Csaba Bálint
, Mátyás Kiglics
:
A Geometric Method for Accelerated Sphere Tracing of Implicit Surfaces. 171-185 - Róbert Bán
, Gábor Valasek
:
Geometric Distance Fields of Plane Curves. 187-203 - Jenifer Tabita Ciuciu-Kiss
, Melinda Tóth
, István Bozó
:
Towards Version Controlling in RefactorErl. 205-221 - José Vicente Egas López
, Gábor Gosztolya
:
Using the Fisher Vector Approach for Cold Identification. 223-232 - István Fábián
, Gábor György Gulyás
:
A Comparative Study on the Privacy Risks of Face Recognition Libraries. 233-255 - Ádám Fodor
, László Kopácsi
, Zoltán Ádám Milacski
, András Lorincz
:
Speech De-identification with Deep Neural Networks. 257-269 - Péter Hudoba
, Attila Kovács
:
Toolset for Supporting the Research of Lattice Based Number Expansions. 271-284 - Zoltán Richárd Jánki
, Vilmos Bilicki
:
Taxonomy for Trade-off Problem in Distributed Telemedicine Systems. 285-306 - László Viktor Jánoky
, Péter Ekler
, János Levendovszky
:
Evaluating the Performance of Novel JWT Revocation Strategy. 307-318 - Mohammed B. M. Kamel
, Péter Ligeti, Christoph Reich
:
Lamred: Location-Aware and Privacy Preserving Multi-Layer Resource Discovery for IoT. 319-349 - Gábor Karai
, Péter Kardos
:
Distance-Based Skeletonization on the BCC Grid. 351-367 - Roland Nagy
, Krisztián Németh
, Dorottya Papp
, Levente Buttyán
:
Rootkit Detection on Embedded IoT Devices. 369-400 - Dávid Papp
:
Zero Initialized Active Learning with Spectral Clustering using Hungarian Method. 401-419 - Dániel Pásztor
, Péter Ekler
, János Levendovszky
:
Energy-Efficient Routing in Wireless Sensor Networks. 421-434 - Dániel Balázs Rátai
, Zoltán Horváth
, Zoltán Porkoláb
, Melinda Tóth
:
Traquest Model: A Novel Model for ACID Concurrent Computations. 435-468 - Dilshad Hassan Sallo
, Gabor Kecskemeti
:
A Parallel Event System for Large-Scale Cloud Simulations in DISSECT-CF. 469-484 - Zoltán Szabó
, Vilmos Bilicki
:
Access Control of EHR Records in a Heterogeneous Cloud Infrastructure. 485-516 - Gábor Székely
, Gergo Ládi
, Tamás Holczer
, Levente Buttyán
:
Protocol State Machine Reverse Engineering with a Teaching-Learning Approach. 517-535 - Gabriella Tóth
, Máté Tejfel
:
Component-based Error Detection of P4 programs. 537-554 - Gábor Valasek
, Csaba Bálint
, András Leitereg
:
Footvector Representation of Curves and Surfaces. 555-573
Volume 25, Number 4, October 2021
- Dániel Horpácsi
, Judit Köszegi
, Dávid János Németh
:
Towards a Generic Framework for Trustworthy Program Refactoring. 753-779 - Gábor Horváth
, Réka Nikolett Kovács
, Péter Szécsi:
Report on the Differential Testing of Static Analyzers. 781-795 - Gergely Nagy
, Gábor Oláh, Zoltán Porkoláb
:
Type Inference of Simple Recursive Functions in Scala. 797-815 - Dávid János Németh
, Dániel Horpácsi
, Máté Tejfel
:
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm. 817-846 - Peter Podlovics
, Csaba Hruska
, Andor Pénzes
:
A Modern Look at GRIN, an Optimizing Functional Language Back End. 847-876 - Ádám Révész
, Norbert Pataki
:
Visualisation of Jenkins Pipelines. 877-895 - Péter Soha
, Norbert Pataki
:
Instantiation of Java Generics. 897-908 - Péter György Szécsi, Gábor Horváth
, Zoltán Porkoláb
:
Improved Loop Execution Modeling in the Clang Static Analyzer. 909-921 - Kristóf Umann
, Zoltán Porkoláb
:
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer. 923-940
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.