Acta cybernetica című kiadvány cikkei

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Találatok száma: 40.

2017

Curriculum vitae of Zoltán Ésik. In: Acta cybernetica, (23) 1. pp. 403-410. (2017)

Publication list of Zoltán Ésik. In: Acta cybernetica, (23) 1. pp. 411-435. (2017)

Aceto Luca; Escrig David de Frutos; Ingólfsdóttir Anna: Trace simulation semantics is not finitely based over BCCSP. In: Acta cybernetica, (23) 1. pp. 81-90. (2017)

Almeida Jorge; Ésik Zoltán; Pin Jean-Éric: Commutative positive varieties of languages. In: Acta cybernetica, (23) 1. pp. 91-111. (2017)

Babau Cristian; Marcu Marius; Tihu Mircea; Telbis Daniel; Cretu Vladimir: A personalized multi-path and multi-user traffic analysis and visualization tool. In: Acta cybernetica, (23) 2. pp. 441-470. (2017)

Bagóczki Zsolt; Bánhelyi Balázs: A parallel interval arithmetic-based reliable computing method on a GPU. In: Acta cybernetica, (23) 2. pp. 491-501. (2017)

Bartha Miklós: On the completeness of the traced monoidal category axioms in (Rel,+). In: Acta cybernetica, (23) 1. pp. 327-347. (2017)

Bozapalidis Symeon; Kalampakas Antonios: Varieties of graphoids and Birkoff’s theorem for graphs. In: Acta cybernetica, (23) 1. pp. 113-139. (2017)

Brzozowski Janusz; Sinnamon Corwin: Complexity of right-ideal, prefix-closed, and prefix-free regular languages. In: Acta cybernetica, (23) 1. pp. 9-41. (2017)

Bán Dénes: The connection between antipatterns and maintainability in Firefox. In: Acta cybernetica, (23) 2. pp. 471-490. (2017)

Charalambidis Angelos; Rondogiannis Panos: Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming. In: Acta cybernetica, (23) 1. pp. 319-326. (2017)

Droste Manfred; Kuich Werner: A Kleene theorem for weighted ω-pushdown automata. In: Acta cybernetica, (23) 1. pp. 43-59. (2017)

Dömösi Pál; Gáll József; Horváth Géza; Tihanyi Norbert: Statistical analysis of DH1 cryptosystem. In: Acta cybernetica, (23) 1. pp. 371-378. (2017)

Ferenc Rudolf: Preface. In: Acta cybernetica, (23) 2. p. 439. (2017)

Friedl Katalin; Kabódi László: Storing the quantum Fourier operator in the QuIDD data structure. In: Acta cybernetica, (23) 2. pp. 503-512. (2017)

Fülöp Zoltán: In Memoriam Zoltán Ésik. In: Acta cybernetica, (23) 1. pp. 3-7. (2017)

Fülöp Zoltán: Preface. In: Acta cybernetica, (23) 1. p. 1. (2017)

Fülöp Zoltán; Vágvölgyi Sándor: Minimization of deterministic top-down tree automata. In: Acta cybernetica, (23) 1. pp. 379-401. (2017)

Garai Ábel; Péntek István; Adamkó Attila; Németh Ágnes: A clinical system integration methodology for bio-sensory technology with Cloud architecture. In: Acta cybernetica, (23) 2. pp. 513-536. (2017)

Gelle Kitti; Iván Szabolcs: Regular expressions for muller context-free languages. In: Acta cybernetica, (23) 1. pp. 349-369. (2017)

Gyimesi Péter: Automatic calculation of process metrics and their bug prediction capabilities. In: Acta cybernetica, (23) 2. pp. 537-559. (2017)

Győrffy Lajos; London András; Makay Géza: The structure of pairing strategies for k-in-a-row type games. In: Acta cybernetica, (23) 2. pp. 561-572. (2017)

Han Yo-Sub; Salomaa Arto; Salomaa Kai: Ambiguity, nondeterminism and state complexity of finite automata. In: Acta cybernetica, (23) 1. pp. 141-157. (2017)

Kalmár György; Büki Alexandra; Kékesi Gabriella; Horváth Gyöngyi; Nyúl László G.: Image processing-based automatic pupillometry on infrared videos. In: Acta cybernetica, (23) 2. pp. 599-613. (2017)

Karhumäki Juhani; Saarela Aleksi; Zamboni Luca Q.: Variations of the Morse-Hedlund theorem for k-abelian equivalence. In: Acta cybernetica, (23) 1. pp. 175-189. (2017)

Katona Melinda; Nyúl László G.: An approach to the quantitative assessment of retinal layer distortions and subretinal fluid in SD-OCT images. In: Acta cybernetica, (23) 2. pp. 615-628. (2017)

Koos Krisztián; Peksel Begüm; Kelemen Lóránd: Phase measurement using DIC microscopy. In: Acta cybernetica, (23) 2. pp. 629-643. (2017)

Kádár István: The optimization of a symbolic execution engine for detecting runtime errors. In: Acta cybernetica, (23) 2. pp. 573-597. (2017)

Labella Anna; Nicola Rocco de: Initial algebra for a system of right-linear functors. In: Acta cybernetica, (23) 1. pp. 191-201. (2017)

Maletti Andreas: Synchronous forest substitution grammars. In: Acta cybernetica, (23) 1. pp. 269-281. (2017)

Márton Gábor; Porkoláb Zoltán: Unit testing in C++ with compiler instrumentation and friends. In: Acta cybernetica, (23) 2. pp. 659-686. (2017)

Papp Dávid; Szűcs Gábor: Balanced active learning method for image classification. In: Acta cybernetica, (23) 2. pp. 645-658. (2017)

Pittou Maria; Rahonis George: Weighted recognizability over infinite alphabets. In: Acta cybernetica, (23) 1. pp. 283-317. (2017)

Semeráth Oszkár; Varró Dániel: Evaluating well-formedness constraints on incomplete models. In: Acta cybernetica, (23) 2. pp. 687-713. (2017)

Steinby Magnus: On DR tree automata, unary algebras and syntactic path monoids. In: Acta cybernetica, (23) 1. pp. 159-174. (2017)

Szőke Gábor: Automating the refactoring process. In: Acta cybernetica, (23) 2. pp. 715-735. (2017)

Tömösközi Máté; Seeling Patrick; Ekler Péter; Fitzek Frank H. P.: Prediction of RoHCv1 and RoHCv2 compressor utilities for VoIP. In: Acta cybernetica, (23) 2. pp. 737-756. (2017)

Ésik Zoltán; Fahrenberg Uli; Legay Axel; Quaas Karin: An algebraic approach to energy problems I - continuous Kleene ω-algebras ‡. In: Acta cybernetica, (23) 1. pp. 203-228. (2017)

Ésik Zoltán; Fahrenberg Uli; Legay Axel; Quaas Karin: An algebraic approach to energy problems II - the algebra of energy functions. In: Acta cybernetica, (23) 1. pp. 229-268. (2017)

Ésik Zoltán; Kuich Werner: Continuous semiring-semimodule pairs and mixed algebraic systems. In: Acta cybernetica, (23) 1. 061-079. (2017)

A lista elkészítésének dátuma 2024. március 29. 08:52:42 CET.