Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Game Semantics for Type Soundness
Disney, Tim, Flanagan, Cormac
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Get full text
Conference Proceeding
Loading…
Loading…
Designing serious games for learning support in medicine studies: A specific method to elicit and formalize requirements
Colteli, Oscar, Grandi, Ximo, Tosca, Ricardo, Latorre, Pedro, Sanchez, Jose Salvador, Lizan, Luis Vicente, Ros-Bernal, Francisco, Martinez-Cadenas, Conrrado
Published in 2014 IEEE Frontiers in Education Conference (FIE) Proceedings (01.10.2014)
Published in 2014 IEEE Frontiers in Education Conference (FIE) Proceedings (01.10.2014)
Get full text
Conference Proceeding
Loading…
A Naive Approach for Automatic Line-level Code Completion
Naznin, Shamima, Mondal, Manishankar
Published in IEEE International WIE Conference on Electrical and Computer Engineering (Online) (25.11.2023)
Published in IEEE International WIE Conference on Electrical and Computer Engineering (Online) (25.11.2023)
Get full text
Conference Proceeding
Loading…
Teaching Strategy of Programming Course Guided by Neuroeducation
Get full text
Conference Proceeding
Loading…
Generative AI Meets IoT: A Bibliometric Mapping of Research and Development
Kaur, Parneet, Gupta, Deepali, Uppal, Mudita
Published in International Conference on Signal Processing and Communication (Online) (20.02.2025)
Published in International Conference on Signal Processing and Communication (Online) (20.02.2025)
Get full text
Conference Proceeding
Loading…
Different occipito-temporal activations in Chinese literate and illiterate subjects during Chinese character processing
Ge-Qi Qi, Xiujun Li, Tianyi Yan, Jinglong Wu, Qiyong Guo
Published in 2010 IEEE/ICME International Conference on Complex Medical Engineering (01.07.2010)
Published in 2010 IEEE/ICME International Conference on Complex Medical Engineering (01.07.2010)
Get full text
Conference Proceeding
Loading…
Proposal for a gamified educational mobile application to improve the learning process
Keneth, Lopez Izaguirre, Joel, Munoz Taquila, Igor, Aguilar-Alonso
Published in 2023 IEEE 3rd International Conference on Advanced Learning Technologies on Education & Research (ICALTER) (13.12.2023)
Published in 2023 IEEE 3rd International Conference on Advanced Learning Technologies on Education & Research (ICALTER) (13.12.2023)
Get full text
Conference Proceeding
Loading…
Loading…
A Tracer for Teacher Development in the Programming Language ScratchJr
Velazquez-Iturbide, J. Angel, de Vicente Pena, David, Puente, Eva Lopez
Published in International Symposium on Computers in Education (Online) (16.11.2023)
Published in International Symposium on Computers in Education (Online) (16.11.2023)
Get full text
Conference Proceeding
Loading…
New subject to improve the educational system: Through a communication channel betwen educational institution-company
Fardoun, Habib M., Mashat, Abdulfattah S., Gonzalez, Lorenzo
Published in 2013 Federated Conference on Computer Science and Information Systems (01.09.2013)
Get full text
Published in 2013 Federated Conference on Computer Science and Information Systems (01.09.2013)
Conference Proceeding
Loading…
Timetable generator and optimizer for Hungarian university students
Sarkany, Marcell Csaba, Kovacs, Andras
Published in SACI (International Symposium on Applied Computational Intelligence and Informatics. Online) (23.05.2023)
Published in SACI (International Symposium on Applied Computational Intelligence and Informatics. Online) (23.05.2023)
Get full text
Conference Proceeding
Loading…
Loading…
Intersubjective Paradigm and Oracle Conceptualization as an Open-Closed Platform for Programming Technologicalization
Redko, Igor, Yahanov, Petro, Zylevich, Maksym
Published in 2022 IEEE 3rd International Conference on System Analysis & Intelligent Computing (SAIC) (04.10.2022)
Published in 2022 IEEE 3rd International Conference on System Analysis & Intelligent Computing (SAIC) (04.10.2022)
Get full text
Conference Proceeding
Loading…
Developing Steps for Learning Programming through Gamification
Tun, Si Thu, Hutasingh, Allapon, Aphiratsakun, Narong
Published in 2023 20th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON) (09.05.2023)
Published in 2023 20th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON) (09.05.2023)
Get full text
Conference Proceeding
Loading…
Loading…
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust
Levai, Zalan, McMinn, Phil
Published in 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2023)
Published in 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2023)
Get full text
Conference Proceeding
Loading…
Loading…
The Advantage of Using e-Learning in Teaching Students Programming Languages
Yusupova, Shohida B., Sultanov, Otajon R., Baltayev, Rustambek Sh, Bekchanov, Fakxriddin A.
Published in 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) (11.11.2022)
Published in 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) (11.11.2022)
Get full text
Conference Proceeding
Loading…
An algorithmic method for detecting bunching in the value distribution of related variables
Katsaros, Ioannis, Karamanis, Kostas, Kolias, Georgios
Published in 2021 6th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM) (24.09.2021)
Published in 2021 6th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM) (24.09.2021)
Get full text
Conference Proceeding