Találati lista | Tudóstér

001-es BibID:	BIBFORM012764
Első szerző:	Bérczes Tamás (informatikus)
Cím:	Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:	2010
ISSN:	1787-5021 1787-6117
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:	Annales Mathematicae et Informaticae. - 2010 : 37 (2010), p. 51-75. -
További szerzők:	Guta Gábor (1980-) (informatikus) Kusper Gábor (1976-) (informatikus) Schreiner, Wolfgang Sztrik János (1953-) (informatikus, matematikus)
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:	BIBFORM133175
Első szerző:	Drămnesc, Isabela
Cím:	Artificial Intelligence based robotic applications for higher education / Isabela Drămnesc, Erika Ábrahám, László Antal, Péter Csóka, Nikolaos Fachantidis, Tudor Jebelean, Gábor Kusper, Konstantinos Papadopoulos
Dátum:	2025
ISSN:	1787-5021 1787-6117
Megjegyzések:	This paper presents some key outcomes of the European project AiRobo, a collaborative initiative involving five universities from Romania, Germany, Greece, Hungary, and France. This is an educational project targeting higher education students, academic staff, and industry professionals. This paper presents four real-world AI-based robotic applications designed to serve as engaging teaching support materials, particularly for theoretical courses that students often find challenging to grasp. These practical applications are designed to bridge the gap between theory and practice, simplifying complex concepts and making them more accessible. They also aim to enhance the learning and teaching process, making it more engaging, motivating, and appealing for both students and academic staff. We present four real-world AI-based robotic applications: two applications integrating ChatGPT in Pepper and NAO robots are designed to serve as learning assistants for students, and two applications (one with the simulation of an agriculture robot in Unity and an AI-based underwater robot controller) are designed to serve as engaging teaching materials on AI-related subjects, but also for theoretical courses that students often find challenging to grasp. For each application, we outline its scope, model, and implementation code. In addition, the implementation code will be openly accessible in the final version of the paper, enabling academic staff and researchers to easily use and adapt these case studies for their own educational or research tasks.
Tárgyszavak:	Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban folyóiratcikk Artificial Intelligence robotics higher education
Megjelenés:	Annales Mathematicae et Informaticae. - 61 (2025), p. 68-79. -
További szerzők:	Ábrahám, Erika Antal László Csóka Péter Fachantidis, Nikolaos Jebelean, Tudor Kusper Gábor (1976-) (informatikus) Papadopoulos, Konstantinos
Pályázati támogatás:	2023-1-RO01-KA220-HED-000152418 Egyéb
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:	BIBFORM116541
035-os BibID:	(WoS)001104140800010 (Scopus)85176758065
Első szerző:	Kusper Gábor (informatikus)
Cím:	Using extended resolution to represent strongly connected components of directed graphs / Gábor Kusper, Zijian Győző Yang, Benedek Nagy
Dátum:	2023
ISSN:	1787-5021 1787-6117
Megjegyzések:	In this paper, we study how to represent a directed graph as a SAT problem. We study those directed graphs which consists of two strongly connected components (SCC). We reuse the SAT models which are known as the Black-and-White SAT representations. We present the so-called 3rd Solution Lemma: If a directed graph consists of two SCCs, A and B, and there is an edge from A to B, then the corresponding SAT representation has 3 solutions: the black assignment, the white assignment, and the 3rd solution can be written as not sign A union B. Using this result, we present an important negative result: We cannot represent all SAT problems as directed graphs using the Black-and-White SAT representations. Furthermore, we study the question how to represent an SCC by one Boolean variable to maintain the 3rd Solution Lemma. For that we use extended resolution.
Tárgyszavak:	Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban folyóiratcikk boolean logic directed graphs SAT problem
Megjelenés:	Annales Mathematicae et Informaticae. - 58 (2023), p. 92-109. -
További szerzők:	Zijian Győző Yang Nagy Benedek (1973-) (informatikus, matematikus)
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:	BIBFORM104488
035-os BibID:	(WOS)000757996300004 (Scopus)85128959563
Első szerző:	Kusper Gábor (informatikus)
Cím:	Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae / Gábor Kusper, Csaba Biró, Attila Adamkó, Imre Baják
Dátum:	2021
ISSN:	1787-5021 1787-6117
Tárgyszavak:	Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban folyóiratcikk SAT Horn q-Horn z-Horn w-Horn
Megjelenés:	Annales Mathematicae et Informaticae. - 54 (2021), p. 33-43. -
További szerzők:	Biró Csaba Adamkó Attila (1978-) (informatikus) Baják Imre (gazdaságtudomány)
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: