default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa 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. Alshawki, 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.
last updated on 2025-11-07 00:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
