CCL

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

1.

001-es BibID:BIBFORM065419
Első szerző:Aszalós László (matematikus)
Cím:Distance-constrained grid colouring / László Aszalós, Mária Bakó
Dátum:2016
ISSN:1844-6086 2066-7760
Megjegyzések:Distance-constrained colouring is a mathematical model of the frequency assignment problem. This colouring can be treated as an optimization problem so we can use the toolbar of the optimization to solve concrete problems. In this paper, we show performance of distance constrained grid colouring for two methods which are good in map colouring.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
kényszerkielégítés
rácsszínezés
optimalizálás
Megjelenés:Acta Universitatis Sapientiae. Informatica. - 8 : 1 (2016), p. 5-15. -
További szerzők:Bakó Mária (1970-) (matematika-informatika tanár)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM119697
Első szerző:Bagossy Attila (informatikus)
Cím:An encoding of the ?-calculus in the String MultiSet Rewriting calculus / Bagossy, Attila ; Battyányi, Péter
Dátum:2024
ISSN:0001-5903
Megjegyzések:In this paper, we present an encoding of the ?-calculus in a multiset rewriting system and provide a few applications of the construction. For this purpose, we choose the calculus named String MultiSet Rewriting, which was introduced in Barbuti et al. (Electron Notes Theor Comput Sci 194:19-34, 2008) by Barbuti et al. With the help of our encoding, we give alternative proofs for the standardization and the finiteness of developments theorems in the ?-calculus.
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:Acta Informatica. - [Epub ahead of print] : - (2024), p. 1-21. -
További szerzők:Battyányi Péter (1972-) (informatikus, matematikus)
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ó:

3.

001-es BibID:BIBFORM057691
Első szerző:Balogh Tamás László (közgazdász)
Cím:A computational model of outguessing in two-player non-cooperative games / Tamás László Balogh, János Kormos
Dátum:2014
ISSN:1844-6086 2066-7760
Megjegyzések:Several behavioral game theory models aim at explaining why\smarter\ people win more frequently in simultaneous zero-sum games,a phanomenon, which is not explained by the Nash equilibrium concept.We use a computational model and a numerical simulation based onMarkov chains to describe player behavior and predict payo s.
Tárgyszavak:Társadalomtudományok Közgazdaságtudományok idegen nyelvű folyóiratközlemény külföldi lapban
non-cooperative games
outguessing
Markov chains
repeated games
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 6 : 1 (2014), p. 71-88. -
További szerzők:Kormos János (1952-2015) (matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
DOI
Borító:

4.

001-es BibID:BIBFORM099913
035-os BibID:(WOS)000674657100003 (Scopus)85110800103
Első szerző:Bordihn, Henning
Cím:Reversible parallel communicating finite automata systems / Henning Bordihn, György Vaszil
Dátum:2021
ISSN:0001-5903
Megjegyzések:We study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Finite automata
Reversibility
Systems of parallel communicating automata
Megjelenés:Acta Informatica. - 58 : 4 (2021), p. 263-279. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:120558
OTKA
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM113532
035-os BibID:(Scopus)85161468432 (WOS)001002472100001
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:Simple chain automaton random number generator for IoT devices / Pál Dömösi, Géza Horváth, Norbert Tihanyi
Dátum:2023
ISSN:0001-5903
Megjegyzések:Random numbers are very important in many fields of computer science. Generating highquality random numbers using only basic arithmetic operations is challenging, especially for devices with limited hardware capabilities, such as Internet of Things (IoT) devices. In this paper, we present a novel pseudorandom number generator, the simple chain automaton random number generator (SCARNG), based on compositions of abstract automata. The main advantage of the presented algorithm is its simple structure that can be implemented easily for very low computing capacity IoT systems, FPGAs or GPU hardware. The generated random numbers demonstrate promising statistical behavior and satisfy the NIST statistical suite requirements, highlighting the potential of the SCARNG for practical applications.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Computer hardware
Number theory
Random number generation
Megjelenés:Acta Informatica. - 60 : 2 (2023), p. 1-13. -
További szerzők:Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia) Tihanyi Norbert (1985-) (mérnök, informatikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM030189
Első szerző:Herendi Tamás (matematikus, informatikus)
Cím:Modular exponentiation of matrices on FPGA-s / Tamás Herendi, Roland Sándor Major
Dátum:2011
Megjegyzések:We describe an efficient FPGA implementation for the expo-nentiation of large matrices. The research is related to an algorithm forconstructing uniformly distributed linear recurring sequences. The designutilizes the special properties of both the FPGA and the used matrices toachieve a very significant speedup compared to traditional architectures.
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
number theory
linear algebra
matrix exponentiation
parallel algorithms
FPGA
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 3 : 2 (2011), p. 172-191. -
További szerzők:Major Sándor Roland (1988-) (informatikus)
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:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

7.

001-es BibID:BIBFORM012562
Első szerző:Horváth Géza (formális nyelvek és automaták, automatahálózatok, kriptográfia)
Cím:Pumping Lemmas for Linear and Nonlinear Context-free Languages / Géza Horváth, Benedek Nagy
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
Fizikai-, számítás- és anyagtudomány
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 21 : 2 (2010), p. 194-209. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus)
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
TéT
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

8.

001-es BibID:BIBFORM048431
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata / Benedek Nagy, Friedrich Otto
Dátum:2013
ISSN:0001-5903
Megjegyzések:Recently the one-counter trace languages and the context-free trace languages have been characterized through restricted types of cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size one (so-called stldet-R(1)-automata) thatwork in mode ♭=1' and that use an external counter or pushdownstore to determine the successor components within computations.Herewe study the deterministic variants of these CD-systems, comparing the resulting language classes to the classes of languages defined by CD-systems of stl-det-R(1)-automata without such an external device and to some classical language families, among them in particular the classes of rational, one-counter, and context-free trace languages. In addition, we present a large number of (non-)closure properties for our language classes.
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
A Jövő Internet elméleti alapjai
Megjelenés:Acta Informatica. - 50 : 4 (2013), p. 229-255. -
További szerzők:Otto, Friedrich
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Informatikai hálózatok elméleti alapjai
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM050192
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Many-valued logics - implications and semantic consequences / Katalin Pásztor Varga, Gábor Alagi, Magda Várterész
Dátum:2013
Megjegyzések:In this paper an application of the well-known matrix method to an extension of the classical logic to many-valued logic is discussed: we consider an n-valued propositional logic as a propositional logic language with a logical matrix over n truth-values. The algebra of the logical matrix has operations expanding the operations of the classical propositional logic. Therefore we look over the Lukasiewicz, Post, Heyting and Rosser style expansions of the operations negation, conjunction, disjunction and with a special emphasis on implication. In the frame of consequence operation, some notions of semantic consequence are examined. Then we continue with the decision problem and the logical calculi. We show that the cause of diffi culties with the notions of semantic consequence is the weakness of the reviewed expansions of negation and implication. Finally, we introduce an approach to fi nding implications that preserve both the modus ponens and the deduction theorem with respect to our de finitions of consequence.
ISBN:1844-6086 2066-7760
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
many-valued logic
extensions of implication
notions of consequence
Doktori iskola
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 5 : 2 (2013), p. 145-166. -
További szerzők:Alagi Gábor Várterész Magdolna (1954-) (informatikus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2/B-10/1-2010-0024
TÁMOP
Matematika- és Számítástudományok Doktori Iskola
Internet cím:Szerző által megadott URL
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.