CCL

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

1.

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

2.

001-es BibID:BIBFORM090722
035-os BibID:(Scopus)85107846231
Első szerző:Bagossy Attila (informatikus)
Cím:Simulating reversible computation with reaction systems / Attila Bagossy, György Vaszil
Dátum:2020
ISSN:2523-8906 2523-8914
Megjegyzések:Reaction systems are a formal model of computation providing a framework for investigating biochemical reactions inside living cells. We look at the functioning of these systems as a process producing a series of different possible sets of entities representing states which can be changed by the application of reactions, and we study reversibility and its simulation in this framework. Our goal is to establish an Undo-Redo-Do-like semantics of reversibility with environmental control over the direction of the computation following a so-called no-memory approach, that is, without introducing modifications to the model of reaction systems itself. We first establish requirements the systems must satisfy in order to produce processes consisting of states with unique predecessors, then define reversible reaction systems in terms of reversible interactive processes. For such reversible systems, we also construct simulator systems that can traverse between the states of reversible interactive processes back and forth based on the input of a special "rollback" symbol from the environment.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
reaction systems
reversible computation
reversible reaction systems
Megjelenés:Journal of Membrane Computing. - 2 : 3 (2020), p. 179-193. -
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ó:

3.

001-es BibID:BIBFORM021553
Első szerző:Barbaiani, Madalina
Cím:The power of programmed grammars with graphs from various classes / Madalina Barbaiani, Cristina Bibire, Jürgen Dassow, Aidan Delaney, Szilárd Fazekas, Mihai Ionescu, Guangwu Liu, Atif Lodhi, Benedek Nagy
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:Journal of Applied Mathematics and Computing. - 22 : 1-2 (2006), p. 21-38. -
További szerzők:Bibire, Cristina Dassow, Jürgen Delaney, Aidan Fazekas Szilárd Ionescu, Mihai Liu, Guangwu Lodhi, Atif Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM118557
035-os BibID:(WOS)001156204000001 (Scopus)85184456323
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Solving the SAT problem with the string multiset rewriting calculus / Battyányi, Péter
Dátum:2024
ISSN:0010-485X
Megjegyzések:In this paper, we develop computing machinery within the framework of the String Multiset Rewriting calculus (SMSR), as defined by Barbuti et al. [4], to solve the SAT problem in linear time regarding the number of variables of a given conjunctive normal form. This shows that SMSR can be considered a computational model capable of significantly reducing the time requirement of classical decision problems.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
String multiset rewriting
Biologically motivated computing
SAT-problem
Megjelenés:Computing. - [Epub ahead of print] (2024), p. 1-14. -
Pályázati támogatás: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ó:

5.

001-es BibID:BIBFORM110529
035-os BibID:(WOS)000880493100001 (Scopus)85141629689
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:On the power of boundary rule application in membrane computing / Battyányi, Péter
Dátum:2022
ISSN:1567-7818
Megjegyzések:In this paper, it is investigated how di erent features of membrane systems can be simulated by the boundary rule application. Firstly, it is discussed how the e ect of maximally parallel mode can be obtained by non-cooperative boundary rules applied only in sequential mode, then it is also demonstrated how membrane dissolution, or the application of using promoters and inhibitors can be simulated.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Symbol object P system
Multiset approximation space
Rough set
Maximal parallel mode
Non-cooperative rule
Megjelenés:Natural Computing. - 22 : 1 (2022), p. 13-25. -
Pályázati támogatás: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ó:

6.

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

7.

001-es BibID:BIBFORM119707
035-os BibID:(Scopus)85185924260 (WOS)001169276300001
Első szerző:Csuhaj-Varjú Erzsébet
Cím:Variants of distributed reaction systems / Erzsébet Csuhaj-Varjú, György Vaszil
Dátum:2024
ISSN:1567-7818
Megjegyzések:A distributed reaction system consists of a finite set of reaction systems that either interact with a common environment or interact with each other by communicating products or reactions. A reaction system is a well-known qualitative formal model of interactions between biochemical reactions. A reaction is a triplet of nonempty sets representing chemicals, called the set of reactants, the set of inhibitors, and the set of products. A reaction corresponds to a chemical reaction performed on a set of chemicals, and a reaction system is a finite nonempty set of reactions. In this paper, we examine two variants of distributed reaction systems. We introduce the notion of a distributed reaction system with communication by request (a qDRS for short), where sets of products are communicated between the component reaction systems by queries. First, we show that every qDRS can be represented by a reaction system. After that we compare distributed reaction systems with communication by request to extended distributed reaction systems (EDRSs), models that were introduced in a previous paper. We prove that extended distributed reaction systems, where a context automaton provides input for the component reaction systems, simulate distributed reaction systems with communication by request and distributed reaction systems with communication by request simulate special variants of extended distributed reaction systems. Furthermore, we assign languages to these two variants of distributed reaction systems. We prove that the class of agreement languages of extended distributed reaction systems is equal to the class of languages of nondeterministic multihead finite automata and the agreement language of every distributed reaction system with communication by request is an element of a certain subregular language class.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Communication by request
Distributed reaction systems
Multihead finite automata
Reaction system
Megjelenés:Natural Computing. - "Accepted by Publisher" : - (2024), p. 1-16. -
További szerzők: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ó:

8.

001-es BibID:BIBFORM109404
035-os BibID:(WOS)000901523400005 (Scopus)85146868721
Első szerző:Gouda, Karam
Cím:Scaling Subgraph Matching by Improving Ullmann Algorithm / Karam Gouda, Gyöngyi Bujdosó, Mosab Hassaan
Dátum:2022
ISSN:2585-8807
Megjegyzések:Graphs are vastly used to represent many complex data semantics in several domains. Subgraph isomorphism checking (an NP-complete problem) is a regular operation with this kind of data. In this paper, we propose an improvement of Ullmann algorithm, a well-known subgraph isomorphism checker. Our new algorithm is called Ullmann-ONL. It utilizes a novel sorting method for query vertices and L-levels of vertex neighborhoods (NL) to confine the search space of Ullmann algorithm. Our performance study shows that Ullmann-ONL outperforms previously proposed algorithms with a wide margin.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Subgraph matching
NP-complete
graph database
Megjelenés:Computing and Informatics. - 41 : 4 (2022), p. 1002-1024. -
További szerzők:Bujdosó Gyöngyi (1963-) (informatikus, informatika, matematika, kémia tanár) Hassaan, Mosab
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM018449
Első szerző:Hegedüs László (informatikus, matematikus)
Cím:Stateless Multicounter 5'->3' Watson-Crick automata : the deterministic case / László Hegedüs, Benedek Nagy, Ömer Eǧecioǧlu
Dátum:2012
ISSN:1567-7818 1572-9796
Megjegyzések:We consider stateless counter machines which mix the features of one-head counter machines and special two-head Watson-Crick automata (WK-automata). These biologically motivated machines have heads that read the input starting from the two extremes. The reading process is finished when the heads meet. The machine is realtime or non-realtime depending on whether the heads are required to advance at each move. A counter machine is k-reversal if each counter makes at most k alternations between increasing mode and decreasing mode on any computation, and reversal bounded if it is k-reversal for some k. In this paper we concentrate on the properties of deterministic stateless realtime WK-automata with counters that are reversal bounded. We give examples and establish hierarchies with respect to counters and reversals.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Fizikai-, Számítás- és Anyagtudomány
automata
Megjelenés:Natural Computing. - 11: 3 (2012), p. 361-368. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus) Eǧecioǧlu, Ömer
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

10.

001-es BibID:BIBFORM110135
035-os BibID:(WOS)000510100900001 (Scopus)85078735637
Első szerző:Hijazy, Ayman
Cím:Gamma Process-Based Models for Disease Progression / Hijazy Ayman, Zempléni András
Dátum:2020
ISSN:1387-5841
Megjegyzések:Classic chronic diseases progression models are built by gauging the movement from the disease free state, to the preclinical (asymptomatic) one, in which the disease is there but has not manifested itself through clinical symptoms, after spending an amount of time the case then progresses to the symptomatic state. The progression is modelled by assuming that the time spent in the disease free and the asymptomatic states are random variables following specified distributions. Estimating the parameters of these random variables leads to better planning of screening programs as well as allowing the correction of the lead time bias (apparent increase in survival observed purely due to early detection). However, as classical approaches have shown to be sensitive to the chosen distributions and the underlying assumptions, we propose a new approach in which we model disease progression as a gamma degradation process with random starting point (onset). We derive the probabilities of cases getting detected by screens and minimize the distance between observed and calculated distributions to get estimates of the parameters of the gamma process, screening sensitivity, sojourn time and lead time. We investigate the properties of the proposed model by simulations.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Disease progression models
Gamma process
Sojourn time
Lead time bias
Sensitivity
Megjelenés:Methodology And Computing In Applied Probability. - 23 : 1 (2020), p. 241-255. -
További szerzők:Zempléni András (informatika)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

11.

001-es BibID:BIBFORM113342
035-os BibID:(WOS)000881546600001 (Scopus)85141721599
Első szerző:Vaszil György (matematikus)
Cím:Preface / György Vaszil, Claudio Zandron, Gexiang Zhang
Dátum:2022
ISSN:1567-7818
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:Natural Computing. - 22 : 1 (2022), p. 1-2. -
További szerzők:Zandron, Claudio Zhang, Gexiang
Internet cím:Szerző által megadott URL
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.