CCL

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

1.

001-es BibID:BIBFORM004061
Első szerző:Aszalós László (matematikus)
Cím:Some decidability result for logic constructed for checking user authentication protocols / László Aszalós, Philippe Balbiani
Dátum:2008
Megjegyzések:The core of our paper is a general purpose logical system for reasoning about user authentication protocols. Proposed as an extension of the propositional epistemic logic by dynamic operators, the potential usefulness of our calculus for protocol verification is illustrated with examples.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
logical system
authetication protocol
verfication
Megjelenés:Journal of Computer Science and Control Systems. - 2008 (2008), p. 1-6. -
További szerzők:Balbiani, Philippe
Internet cím:elektronikus változat
Borító:

2.

001-es BibID:BIBFORM027738
Első szerző:Bátfai Norbert (informatikus)
Cím:Jávácska One : Open Source Mobile Games to Revolutionize Education of Programming / Bátfai Norbert, Bátfai Erika, Pšenáková Ildikó
Dátum:2010
Megjegyzések:In this paper, we show three Java ME mobile games, which were created in the framework of industrial projects by a Hungarian mobile game developer company, called Eurosmobil. By the start of 2010 the Eurosmobil will have opened the source code of some of their game software, including these ones. We outline the plans for introducing these games into national and international educational agenda and practice, with particular stress on education of programming. In addition, with this paper we would like to hand over to teachers the symbolic message of our work that the mobile game development may be turned into a new and exciting form of self-expression in the immediate future.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Fizikai-, Számítás- és Anyagtudomány
Mobile game
education of programming
Java ME
mobile game-based learning
Megjelenés:Journal of Computer Science and Control Systems. - 3 : 2 (2010), p. 5-10. -
További szerzők:Soós Mária Erika (1973-) (informatikus könyvtáros) Pšenáková Ildikó (1962-) (informatikus)
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Adat és információs rendszerek kutatása az információ technológia eszközeivel
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM021009
Első szerző:Bátfai Norbert (informatikus)
Cím:Footballer and Football Simulation Markup Language and related Simulation Software Development / Norbert Bátfai
Dátum:2010
ISSN:1844-6043 2067-2101
Megjegyzések:In this paper we introduce our idea abouthow to create a virtual reality system, wherein thefootball teams, or in our terminology, the avatars of thefootball players can play a high number of footballmatches. Based on our former experience in mobilesoccer gaming we suggest developing an appropriatemarkup language to describe the football players, thecoaches and the matches themselves. We review ourexperience in question and in present work the targetsshall be set by suggesting the development of theFootball(er) Simulation Markup Language.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
virtual reality
simulation of football
XMLbased modeling
Java ME
Football World Cup
Megjelenés:Journal of Computer Science and Control Systems 3 : 1 (2010), p. 13-18. -
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM020825
Első szerző:Bujdosó Gyöngyi (informatikus, informatika, matematika, kémia tanár)
Cím:Climate Dimensions in E-Learning / Bujdosó Gyöngyi
Dátum:2008
ISSN:1844-6043 2067-2101
Megjegyzések:In designing organization and environment, climate is a conventional conception. By an observation of Halpin, climate means the same for organizations as personality for individuals. This paper introduces the concept of cyber climate and some climate dimensions in e-learning. We deal with some new cyber climate dimensions that should be observed during designing e-learning materials, and provides some other important climate dimensions that should be taken into account while designing digital learning environments.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
e-learning
cyber climate
climate dimensions
ergonomics
alternative accessibility
personalization
user interfaces
Megjelenés:Journal of Computer Science and Control Systems 1 : 1 (2008), p. 13-17. -
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

5.

001-es BibID:BIBFORM012386
Első szerző:Bujdosó Gyöngyi (informatikus, informatika, matematika, kémia tanár)
Cím:Scheduling the work of students in teaching web site design / Bujdosó Gyöngyi, Csernoch Mária
Dátum:2010
Megjegyzések:Web site developing is much more than the knowledge of programming in XHTML, PHP etc. These languages are only the "words" of a "language" that web programmers have to speak. We have to teach students how to design and develop a web site. This work has some important focuses: determining the aims and scopes of a given web site, surveying its most useful and required functions, making a schedule for working, designing and developing the system during a semester using streamlined techniques. This paper deals with the problems and experiences of this method of teaching web site design and development for students of Library and Information Science.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
web design
teaching web site development
scheduling student's work
Megjelenés:Journal of Computer Science and Control Systems. - 3 : 1 (2010), p. 25-28. -
További szerzők:Csernoch Mária (1963-) (informatika tanár)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM012385
Első szerző:Csernoch Mária (informatika tanár)
Cím:Developing the algorithmic skills through word processing and handling spreadsheets / Csernoch Mária, Bujdosó Gyöngyi
Dátum:2010
Megjegyzések:Compared to the high number of computer users the proportion of those students who are willing to write programs has dropped seriously. Even those whose curriculum includes programming usually start late and the chance to change their attitude towards programming lessens as they are getting older. A possible solution would be to sneak programming into the primary and secondary education by hiding it behind the scenes of software they use. Students are usually proud of their knowledge of word processing and handling spreadsheets and they think these programs are easy to use. We can thus use these programs to teach algorithms instead of using traditional environments. In this article, through the analysis of a problem, we give examples how we can switch from programming languages to applications and still teach some basic algorithmic skills.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
teaching programming
forming algorithms
spreadsheets
applications
Megjelenés:Journal of Computer Science and Control Systems. - 3 : 1 (2010), p. 45-50. -
További szerzők:Bujdosó Gyöngyi (1963-) (informatikus, informatika, matematika, kémia tanár)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM010941
Első szerző:Csernoch Mária (informatika tanár)
Cím:Quality text editing / Csernoch Mária; Bujdosó Gyöngyi
Dátum:2009
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 2 : 2 (2009), p. 5-10. -
További szerzők:Bujdosó Gyöngyi (1963-) (informatikus, informatika, matematika, kémia tanár)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

8.

001-es BibID:BIBFORM027532
Első szerző:Novac, Ovidiu
Cím:Reliability Increasing Method Using a SEC-DED Hsiao Code to Cache Memories, Implemented with FPGA Circuits / Novac Ovidiu, Sztrik Janos, Vari-Kakas Stefan, Kim Che-Soong
Dátum:2011
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 Computer Science and Control Systems. - 4 : 2 (2011), p. 59-62. -
További szerzők:Sztrik János (1953-) (informatikus, matematikus) Vari-Kakas, Stefan Kim Chesoong
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM008766
Első szerző:Popescu, Daniela E.
Cím:Some Aspects about a Self-Testing Solution for Implementing the TCP/IP Protocol / Daniela E. Popescu, Daniel Filipas, Szabolcs Szilágyi
Dátum:2008
ISSN:1844-6043
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 1 : 1 (2008), p. 82-87. -
További szerzők:Filipas, Daniel Szilágyi Szabolcs (1982-) (mérnök-informatikus)
Internet cím:elektronikus változat
Borító:

10.

001-es BibID:BIBFORM125561
Első szerző:Szilágyi Szabolcs (mérnök-informatikus)
Cím:Increasing Teacher Efficiency with AI: An Overview / Szilágyi Szabolcs, Juhász Laura
Dátum:2024
ISSN:1844-6043 2067-2101
Megjegyzések:Artificial intelligence (AI) research aims to model the way human thinking works, in an attempt to reproduce abilities such as learning, decision-making and problem-solving. The concept of artificial intelligence is not a new one, research on it began in the 1950s when Alan Turing formulated the Turing test, a test to measure the intelligence of a machine. Major milestones in AI research include the creation of the first artificial neural networks in the 1950s and the first game programs in the 1960s. In the 1970s, the algorithms and techniques that still form the basis of AI today, such as machine learning and symbolic AI, began to emerge. The real breakthrough came with the integration of AI into everyday use in the 1990s and early 2000s. With the rise of the internet and the digitalization of data, AI has spread to a wide range of areas, including internet search engines, recommendation systems, online shopping algorithms and virtual assistants in smartphones. In the 2010s, AI continued to make significant progress in areas such as autonomous vehicles, medicine and robotics. AI-based language models, such as the GPT-3.5 used by ChatGPT, later upgraded to GPT-4 base models, published in November 2022, are increasingly becoming part of our daily lives and across industries are being used in a growing number of fields to facilitate intelligent communication and human-machine interaction. In this paper, we are focusing on AI-based support for teachers. We will explore areas where AI can be effectively used to increase the efficiency of teachers' work, enumerating some AI-based solutions that can greatly contribute to relieving teachers of their daily routine tasks.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
artificial intelligence (AI)
AI tools
ChatGPT
LLM
prompt engineering
artificial intelligence
Megjelenés:Journal of Computer Science and Control Systems. - 17 : 2 (2024), p. 9-14. -
További szerzők:Juhász Laura (1993-) (fizikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

11.

001-es BibID:BIBFORM047237
Első szerző:Szilágyi Szabolcs (mérnök-informatikus)
Cím:A Review of Congestion Management Algorithms on Cisco Routers / Szabolcs Szilágyi, Béla Almási
Dátum:2012
ISSN:1844-6043 2067-2101
Megjegyzések:This paper presents one of the features ofDS (Differentiated Services) architecture, namely thequeuing or congestion management. Packets can beput in separate buffer queues, on the basis of DS value.Several forwarding policies can be used to favor highpriority packets in different ways. The main reason forqueuing is that a router must hold a packet in itsmemory, and meanwhile the outgoing interface is busywith sending another packet. The queuing tools arecovered in the order in which they were added as CiscoIOS features: FIFO (First-In First-Out), CQ (CustomQueuing), PQ (Priority Queuing), WFQ (WeightedFair Queuing), CBWFQ (Class Based Weighted FairQueuing) and LLQ (Low Latency Queuing).
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
congestion
queueing
FIFO
WFQ
PQ
CBWFQ
LLQ
Megjelenés:Journal of Computer Science and Control Systems. - 5 : 1 (2012), p. 103-107. -
További szerzők:Almási Béla (1966-2015) (informatikus, matematikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

12.

001-es BibID:BIBFORM010751
Első szerző:Szilágyi Szabolcs (mérnök-informatikus)
Cím:Some aspects about the efficiency of bit voters implementation / Szabolcs Szilágyi, Daniela E. Popescu, Mirela Pater
Dátum:2009
ISSN:1844-6043
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 2 : 2 (2009), p. 57-61. -
További szerzők:Popescu, Daniela E. Pater, Mirela
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 v10.11.18-SNAPSHOT © 2024 Monguz kft. Minden jog fenntartva.