CCL

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

1.

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ó:

2.

001-es BibID:BIBFORM084060
035-os BibID:(WoS)000387617600002 (Scopus)84978763720
Első szerző:Aman, Bogdan
Cím:Simulating P systems with membrane dissolution in a chemical calculus / Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Dátum:2016
ISSN:1567-7818
Megjegyzések:We present a transformation of membrane systems, possibly with promoter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes correspond to terminating reduction sequences of formulas and vice versa. In the end, the same result can be extracted from the underlying computation of the membrane system as from the reduction sequence of the chemical term.
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
Membrane dissolution
Chemical computing paradigm
Chemical calculus
Megjelenés:Natural Computing. - 15 : 4 (2016), p. 521-532. -
További szerzők:Battyányi Péter (1972-) (informatikus, matematikus) Ciobanu, Gabriel Vaszil György (1968-) (matematikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM110528
035-os BibID:(Scopus)85136120989
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Rough-Set-Like Approximation Spaces for Formal Languages / Péter Battyányi, Tamás Mihálydeák, György Vaszil
Dátum:2022
ISSN:1430-189X 2567-3785
Megjegyzések:We define rough-set-like approximation spaces for formal languages based on similarity relations which are defined over the alphabet symbols. Our approach is motivated by situations when some uncertainty is present in our knowledge about the exact characters making up a text which need to be processed by some formal system. We define the lower and upper approximations of languages and consider the regular and context-free cases. We present characterizations of the approximations of languages accepted by deterministic finite automata or generated by context-free grammars.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Journal of Automata, Languages and Combinatorics. - 27 : 1-3 (2022), p. 79-90. -
További szerzők:Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus) Vaszil György (1968-) (matematikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM104415
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets / Péter Battyányi, György Vaszil
Dátum:2019
ISBN:978-84-14347-4
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
könyvrészlet
Megjelenés:Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5-8, 2019 / eds. David Orellana-Martín, Gheorghe P¡aun, Agustín Riscos-Núnez, José A. Andreu-Guzmán. - p. 59-78. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:K 120558
OTKA
EFOP-3.6.1-16-2016-00022
EFOP
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM104353
035-os BibID:(WOS)000345457100004 (Scopus)84912116778
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Describing Membrane Computations with a Chemical Calculus / Péter Battyányi, György Vaszil
Dátum:2014
ISSN:0169-2968
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
A Jövő Internet elméleti alapjai
Megjelenés:Fundamenta Informaticae. - 134 : 1-2 (2014), p. 39-50. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:OTKA-75952
OTKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Adatok védelme, kriptográfia
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM104350
035-os BibID:(Scopus)85013981731
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Chemical Term Reduction with Active P Systems / Péter Battyányi, György Vaszil
Dátum:2017
ISBN:978-3-319-54071-9
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
könyvrészlet
Megjelenés:Membrane Computing. CMC 2016. / A. Leporati, G. Rozenberg, A. Salomaa, C. Zandron. - p. 136-150. -
További szerzők:Vaszil György (1968-) (matematikus)
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM103828
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Membrane systems and multiset approximation / Péter Battyányi, György Vaszil
Dátum:2019
Megjegyzések:We consider membrane systems where the applicability of the multiset transformation rules is determined by the approximating multisets of the membrane regions. We consider two cases: First, we study systems with inner rules where we allow only rule applications such that the multisets involved in the rules are part of the lower approximation of the respective regions, then we consider systems with boundary rules where rule application is defined on the boundaries, that is, rules can only manipulate the elements outside of the lower approximation. We show that the second variant benefits from the underlying approximation framework by demonstrating an increase in its computational strength. On the other hand, the computational power of systems with inner rule application remains weaker than that of Turing machines (as long as the unsynchronized version is considered).
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
könyvrészlet
Megjelenés:Eleventh Workshop on Non-Classical Models of Automata and Applications (NCMA 2019) / Freund Rudolf, Holzer Markus, M. Sempere José (szerk.). - p. 7-14
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:OTKA-120558
OTKA
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

8.

001-es BibID:BIBFORM103827
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:A Time Petri Net Description of Membrane Systems with Priorities, Dissolution, and Promoters/Inhibitors / Péter Battyányi, György Vaszil
Dátum:2019
Megjegyzések:We continue the investigations of the connection between membrane systems and time Petri nets by extending simple symbol-object membrane systems with promoters/inhibitors, membrane dissolution and priority for rules. By constructing the simulating time Petri net, we retain one of the main characteristics of the Petri net model, namely, the firings of the transitions can take place in any order, there is no need to introduce maximal parallelism in the Petri net semantics. Instead, we substantially exploit the gain in computational strength obtained by the introduction of the timing feature for Petri nets
ISBN:978 606 8493 77 0
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
könyvrészlet
Megjelenés:20th International Conference on Membrane Computing, CMC 20 / Gheorghe Paun. - p. 269-288. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:OTKA-120558
OTKA
EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
http://real.mtak.hu/102282/1/BattyanyiVaszil-CMC20.pdf
Borító:

9.

001-es BibID:BIBFORM103825
035-os BibID:(WOS)000560963600003 (Scopus)85066799069
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces / Péter Battyányi, Tamás Mihálydeák, György Vaszil
Dátum:2019
Megjegyzések:We study generalized P systems with dynamically changing membrane structure by considering different ways to determine the existence of communication links between the compartments. We use multiset approximation spaces to define the dynamic notion of "closeness" of regions by relating the base multisets of the approximation space to the notion of chemical stability, and then use it to allow communication between those regions only which are close to each other, that is, which contain elements with a certain chemical "attraction" towards each other. As generalized P systems are computationally complete in general, we study the power of weaker variants. We show that without taking into consideration the boundaries of regions, unsynchronized systems do not gain much with such a dynamical structure: They can be simulated by ordinary place-transition Petri nets. On the other hand, when region boundaries also play a role in the determination of the communication structure, the computational power of generalized P systems is increased.
ISBN:978-3-030-19310-2
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
könyvrészlet
Megjelenés:Unconventional Computation and Natural Computation. UCNC 2019. / McQuillan, I., Seki, S. (eds). - 11493 (2019), p. 15-29. -
További szerzők:Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus) Vaszil György (1968-) (matematikus)
Pályázati támogatás:TÉT_16-1-2016-0193 of the National Research, Development and Innovation Office of Hungary (NKFIH).
Egyéb
120558
OTKA
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

10.

001-es BibID:BIBFORM094049
035-os BibID:(Scopus)85067805089
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application / Battyányi Péter, Vaszil György
Dátum:2019
ISBN:978-3-030-22815-6
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
könyvrészlet
Megjelenés:Rough Sets : International Joint Conference, IJCRS 2019 Debrecen, Hungary, June 17-21, 2019 Proceedings / eds. Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci. - p. 239-252. -
További szerzők:Vaszil György (1968-) (matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
DOI
Borító:

11.

001-es BibID:BIBFORM090716
035-os BibID:(Scopus)85107889952
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Description of membrane systems with time Petri nets : promoters/inhibitors, membrane dissolution, and priorities / Péter Battyányi, György Vaszil
Dátum:2020
ISSN:2523-8906 2523-8914
Megjegyzések:We continue the investigations of the connection between membrane systems and time Petri nets by extending the examined class of systems from simple symbol-object membrane systems to more complex cases: rules with promoters/inhibitors, membrane dissolution, and priority relation on the rules. By constructing the simulating time Petri net, we retain one of the main characteristics of the Petri net model; namely, the firings of the transitions can take place in any order, and there is no need to introduce maximal parallelism in the Petri net semantics. Instead, we substantially exploit the gain in computational strength obtained by the introduction of the timing feature for Petri nets.
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
Megjelenés:Journal of Membrane Computing. - 2 : 4 (2020), p. 341-354. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:NKFIH K 120558
egyéb
EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1