CCL

Összesen 12 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM008031
Első szerző:Akiyama, Shigeki (matematikus)
Cím:On canonical number systems / Shigeki Akiyama, Attila Pethő
Dátum:2002
ISSN:0304-3975
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
Megjelenés:Theoretical Computer Science. - 270 : 1-2 (2002), p. 921-933. -
További szerzők:Pethő Attila (1950-) (matematikus, informatikus)
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM090712
035-os BibID:(WoS)000510316200012 (Scopus)85049051816
Első szerző:Aman, Bogdan
Cím:Local time membrane systems and time Petri nets / Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Dátum:2020
ISSN:0304-3975
Megjegyzések:We investigate the relationship between time Petri nets and various variants of membrane systems. We first show that adding the feature of "time" to Petri nets makes possible the simulation of the maximal parallel mode of rule application from membrane systems without introducing maximal parallelism to the Petri net semantics. Then we define local time membrane systems inspired by time Petri nets, together with two types of semantics; both kinds of local time membrane systems can be simulated by time Petri nets with the strong semantics. Finally we present the connections between catalytic Petri nets and catalytic membrane systems.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
membrane systems
Petri nets
time Petri nets
time membrane systems
Megjelenés:Theoretical Computer Science. - 805 (2020), p. 175-192. -
További szerzők:Battyányi Péter (1972-) (informatikus, matematikus) Ciobanu, Gabriel Vaszil György (1968-) (matematikus)
Pályázati támogatás:NKFIH K 120558
egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM115227
035-os BibID:(WoS)000828190800003 (Scopus)85132514810
Első szerző:Bagossy Attila (informatikus)
Cím:Controlled reversibility in communicating reaction systems / Bagossy, Attila; Vaszil, György
Dátum:2022
ISSN:0304-3975
Megjegyzések:We study the reversibility of communicating reaction systems, variants of networks of reaction systems communicating by sending reaction products to specific target components. We first consider the possibility of "backtracking" their computations, then define distributed communicating reaction systems, an "unsynchronized" variant of the model in order to show how reversibility can be defined in a causally consistent manner.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
reversibility
reaction systems
Megjelenés:Theoretical Computer Science. - 926 (2022), p. 3-20. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:K 120558
OTKA
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM012559
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:Alternative Proof of the Lyndod-Schützenberger Theorem / Pál Dömösi, Géza Horváth
Dátum:2006
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Theoretical Computer Science. - 366 : 3 (2006), p. 194-198. -
További szerzők:Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
DOI
Borító:

5.

001-es BibID:BIBFORM012558
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:The Language of Primitive Words is not Regular : Two Simple Proofs / Pál Dömösi, Géza Horváth
Dátum:2005
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Bulletin of of the European Association for Theoretical Computer Science EATCS. - 87 (2005), p. 191-197. -
További szerzők:Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM010748
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:On the Shyr-Yu theorem / Pál Dömösi, Géza Horváth, Laurent Vuillon
Dátum:2009
Megjegyzések:An alternative proof of Shyr-Yu theorem is given. Some generalizations are also considered using fractional root decompositions and fractional exponents of words.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Combinatorics of words
Megjelenés:Theoretical Computer Science. - 410 : 47-49 (2009), p. 4874-4877. -
További szerzők:Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia) Vuillon, Laurent
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM053174
Első szerző:Hegedüs László (informatikus, matematikus)
Cím:Representations of Circular Words / Hegedüs László, Nagy Benedek
Dátum:2014
ISSN:2075-2180
Megjegyzések:In this article we give two different ways of representations of circular words. Representations with tuples are intended as a compact notation, while representations with trees give a way to easily process all conjugates of a word. The latter form can also be used as a graphical representation of periodic properties of finite (in some cases, infinite) words. We also define iterative representations which can be seen as an encoding utilizing the flexible properties of circular words. Every word over the two letter alphabet can be constructed starting from ab by applying the fractional power and the cyclic shift operators one after the other, iteratively.
Tárgyszavak:Természettudományok Matematika- és számítástudományok konferenciacikk
formális nyelvek
körszavak
A Jövő Internet elméleti alapjai
Doktori iskola
Megjelenés:Electronic Proceedings in Theoretical Computer Science. - 151 (2014), p. 261-270. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Adatok védelme, kriptográfia
TÁMOP-4.2.2/B-10/1-2010-0024
TÁMOP
Informatikai Tudományok Doktori Iskola
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

8.

001-es BibID:BIBFORM078781
035-os BibID:(WoS)000430781300006 (Scopus)85038943426
Első szerző:Kántor Kristóf Szilveszter (programtervező informatikus)
Cím:On the classes of languages characterized by generalized P colony automata / Kristóf Kántor, György Vaszil
Dátum:2018
ISSN:0304-3975
Megjegyzések:We study the computational power of generalized P colony automata and show how it is influenced by the capacity of the system (the number of objects inside the cells of the colony) and by different types of restrictions on the programs which are allowed to be used by the component cells.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Theoretical Computer Science. - 724 (2018), p. 35-44. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:NKFIH K120558
egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM048430
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Computing discrete logarithm by interval-valued paradigm / Benedek Nagy, Sándor Vályi
Dátum:2013
ISBN:2075-2180
Tárgyszavak:Természettudományok Matematika- és számítástudományok konferenciacikk
interval-valued computing
new computing paradigms
Fizikai-, Számítás- és Anyagtudomány
Megjelenés:Electronic Proceedings in Theoretical Computer Science. - 143 (2013), p. 76-86. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
A Jövő Internet elméleti alapjai
TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

10.

001-es BibID:BIBFORM012348
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Approximating Euclidean circles by neighbourhood sequences in a hexagonal grid / Benedek Nagy, Robin Strand
Dátum:2010
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
digitális geometria
képfeldolgozás
Digital geometry, neighbourhood sequences, approximation
formal systems, finite automata
digital circles
Fizikai-, számítás- és anyagtudomány
Megjelenés:Theoretical Computer Science. - 30 October (2010), p. [12]. -
További szerzők:Strand, Robin
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Új generációs hálózatok és számítási alkalmazások fejlesztése
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

11.

001-es BibID:BIBFORM005692
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Interval-valued computations and their connection with PSPACE / Benedek Nagy, Sándor Vályi
Dátum:2008
Megjegyzések:At the conference CiE 2005, the first author introduced a new model for analog computations, namely interval-valued computations. In this model, computations work on the so-called interval-valued bytes, which are special subsets of the interval [0, 1) rather than a finite sequence of bits. The question was posed there, which complexity is needed to solve PSPACE-complete problems in this paradigm. In this paper, after formalizing the computational model, we answer this question. We show that the validity problem of quantified propositional formulae is decidable by a linear interval-valued computation. As a consequence, all polynomial space problems are decidable by a polynomial interval-valued computation. Furthermore, it is proven that PSPACE coincides with the class of languages which are decidable by a restricted polynomial interval-valued computation.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
újelvű számítások
intervallum-érték
bonyolultságelmélet
Algorithmic complexity
Parallel computing
New computing paradigms
interval-valued computing
unconvential computing
Megjelenés:Theoretical Computer Science. - 394 : 3 (2008), p. 208-222. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:DOI
elektronikus változat
elektronikus változat
Borító:

12.

001-es BibID:BIBFORM012349
Első szerző:Strand, Robin
Cím:Digital Distance Functions on Three-Dimensional Grids / Robin Strand, Benedek Nagy, Gunilla Borgefors
Dátum:2010
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
digitális geometria
képfeldoglozás
Digital geometry
Distance functions
Distance transforms
Three-dimensional image processing
Non-standard grids
Fizikai-, számítás- és anyagtudomány
Megjelenés:Theoretical Computer Science. - 412 : 15 (2010), p. 1350-1363. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus) Borgefors, Gunilla
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Új generációs hálózatok és számítási alkalmazások fejlesztése
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.