Találati lista | Tudóstér

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ó:
Saját polcon:

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ó:
Saját polcon:

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ó:
Saját polcon:

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ó:
Saját polcon: