Search

Showing total 2,060 results

Refine your results

more »

more »

more »

more »

more »
2,060 results

1. Using Conversational AI to Foster AI Literacy in Secondary Education

Author

Anastasi, Gaetano Francesco, Musmarra, Paolo, Di Gregorio, Gennaro, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Casalino, Gabriella, editor, Di Fuccio, Raffaele, editor, Fulantelli, Giovanni, editor, Raviolo, Paolo, editor, Rivoltella, Pier Cesare, editor, Taibi, Davide, editor, and Toto, Giusi Antonia, editor

Published
2024
Full Text
View/download PDF

2. Automated Assessment in Computer Science: A Bibliometric Analysis of the Literature

Author

Paiva, José Carlos, Figueira, Álvaro, Leal, José Paulo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, González-González, Carina S., editor, Fernández-Manjón, Baltasar, editor, Li, Frederick, editor, García-Peñalvo, Francisco José, editor, Sciarrone, Filippo, editor, Spaniol, Marc, editor, García-Holgado, Alicia, editor, Area-Moreira, Manuel, editor, Hemmje, Matthias, editor, and Hao, Tianyong, editor

Published
2023
Full Text
View/download PDF

5. Senior Computing Subjects Taught Across Australian States and Territories

Author

Keane, Therese, Cerovac, Milorad, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Keane, Therese, editor, Lewin, Cathy, editor, Brinda, Torsten, editor, and Bottino, Rosa, editor

Published
2023
Full Text
View/download PDF

6. Informatics for Teachers of All Subjects: A Balancing Act Between Conceptual Knowledge and Applications

Author

Braun, Daniel, Seiss, Melanie, Pampel, Barbara, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Keane, Therese, editor, Lewin, Cathy, editor, Brinda, Torsten, editor, and Bottino, Rosa, editor

Published
2023
Full Text
View/download PDF

8. Visual Question Answering for Response Synthesis Based on Spatial Actions

Author

Kiselev, Gleb, Weizenfeld, Daniil, Gorbunova, Yaroslava, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Vishnevskiy, Vladimir M., editor, Samouylov, Konstantin E., editor, and Kozyrev, Dmitry V., editor

Published
2023
Full Text
View/download PDF

9. A Brief Review on Multi-Attribute Decision Making in the Emerging Fields of Computer Science

Author

Nath, Satyabrata, Das, Purnendu, Debnath, Pradip, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Mukhopadhyay, Somnath, editor, Sarkar, Sunita, editor, Dutta, Paramartha, editor, Mandal, Jyotsna Kumar, editor, and Roy, Sudipta, editor

Published
2022
Full Text
View/download PDF

10. Learning to Answer Complex Visual Questions from Multi-View Analysis

Author

Zhu, Minjun, Weng, Yixuan, He, Shizhu, Liu, Kang, Zhao, Jun, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Zhang, Ningyu, editor, Wang, Meng, editor, Wu, Tianxing, editor, Hu, Wei, editor, and Deng, Shumin, editor

Published
2022
Full Text
View/download PDF

12. Visual Analysis of Linked Musicological Data with the musiXplora

Author

Khulusi, Richard, Focht, Josef, Jänicke, Stefan, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Bouatouch, Kadi, editor, de Sousa, A. Augusto, editor, Chessa, Manuela, editor, Paljic, Alexis, editor, Kerren, Andreas, editor, Hurter, Christophe, editor, Farinella, Giovanni Maria, editor, Radeva, Petia, editor, and Braz, Jose, editor

Published
2022
Full Text
View/download PDF

15. Using Technology to Teach a New Generation

Author

Connan, James, Brown, Dane, Watkins, Caroline, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Wells, George, editor, Nxozi, Monelo, editor, and Tait, Bobby, editor

Published
2021
Full Text
View/download PDF

17. Gender Differences in Psychosocial Experiences with Humanoid Robots, Programming, and Mathematics Course

Author

Tilden, Solveig, Lugo, Ricardo G., Parish, Karen, Mishra, Deepti, Knox, Benjamin J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Stephanidis, Constantine, editor, Harris, Don, editor, Li, Wen-Chin, editor, Schmorrow, Dylan D., editor, Fidopiastis, Cali M., editor, Antona, Margherita, editor, Gao, Qin, editor, Zhou, Jia, editor, Zaphiris, Panayiotis, editor, Ioannou, Andri, editor, Sottilare, Robert A., editor, Schwarz, Jessica, editor, and Rauterberg, Matthias, editor

Published
2021
Full Text
View/download PDF

19. Teaching Formal Methods: An Experience Report

Author

Askarpour, Mehrnoosh, Bersani, Marcello M., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bruel, Jean-Michel, editor, Capozucca, Alfredo, editor, Mazzara, Manuel, editor, Meyer, Bertrand, editor, Naumchev, Alexandr, editor, and Sadovykh, Andrey, editor

Published
2020
Full Text
View/download PDF

20. Data Science from a Perspective of Computer Science

Author

Virkus, Sirje, Garoufallou, Emmanouel, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Garoufallou, Emmanouel, editor, Fallucchi, Francesca, editor, and William De Luca, Ernesto, editor

Published
2019
Full Text
View/download PDF

21. Computer Science and Schools: A Specific Didactics?

Author

Queiruga, Claudia, Tzancoff, Claudia Banchoff, Venosa, Paula, Gómez, Soledad, Morandi, Glenda, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Yuan, Junsong, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Pesado, Patricia, editor, and Aciti, Claudio, editor

Published
2019
Full Text
View/download PDF

22. A Semi-automated Approach to Categorise Learning Outcomes into Digital Literacy or Computer Science

Author

Pasterk, Stefan, Kesselbacher, Max, Bollin, Andreas, Rannenberg, Kai, Editor-in-Chief, Sakarovitch, Jacques, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Pras, Aiko, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Furbach, Ulrich, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Passey, Don, editor, Bottino, Rosa, editor, Lewin, Cathy, editor, and Sanchez, Eric, editor

Published
2019
Full Text
View/download PDF

23. Augmented Reality as a Methodology to Development of Learning in Programming

Author

Gómez Rios, Mónica Daniela, Paredes Velasco, Maximiliano, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Washio, Takashi, Editorial Board Member, Yuan, Junsong, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Botto-Tobar, Miguel, editor, Pizarro, Guillermo, editor, Zúñiga-Prieto, Miguel, editor, D’Armas, Mayra, editor, and Zúñiga Sánchez, Miguel, editor

Published
2019
Full Text
View/download PDF

24. Computational Thinking on the Way to a Cultural Technique : A Debate on Lords and Servants

Author

Bollin, Andreas, Micheuz, Peter, Rannenberg, Kai, Editor-in-Chief, Sakarovitch, Jacques, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Pras, Aiko, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Furbach, Ulrich, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Passey, Don, editor, Bottino, Rosa, editor, Lewin, Cathy, editor, and Sanchez, Eric, editor

Published
2019
Full Text
View/download PDF

25. Information Systems Curriculum in an Australian University: Past Developments and Future Directions

Author

Tatnall, Arthur, Burgess, Stephen, Rannenberg, Kai, Editor-in-chief, Sakarovitch, Jacques, Series editor, Goedicke, Michael, Series editor, Tatnall, Arthur, Series editor, Neuhold, Erich J., Series editor, Pras, Aiko, Series editor, Tröltzsch, Fredi, Series editor, Pries-Heje, Jan, Series editor, Whitehouse, Diane, Series editor, Reis, Ricardo, Series editor, Furnell, Steven, Series editor, Furbach, Ulrich, Series editor, Winckler, Marco, Series editor, Rauterberg, Matthias, Series editor, and Webb, Mary, editor

Published
2017
Full Text
View/download PDF

26. A Topic-Level Comparison of the ACM/IEEE CS Curriculum Volumes

Author

Marshall, Linda, Barbosa, Simone Diniz Junqueira, Series editor, Chen, Phoebe, Series editor, Filipe, Joaquim, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Yuan, Junsong, Series editor, Zhou, Lizhu, Series editor, Liebenberg, Janet, editor, and Gruner, Stefan, editor

Published
2017
Full Text
View/download PDF

27. Computer Science in the School Curriculum: Issues and Challenges

Author

Webb, Mary, Bell, Tim, Davis, Niki, Katz, Yaacov J., Reynolds, Nicholas, Chambers, Dianne P., Sysło, Maciej M., Fluck, Andrew, Cox, Margaret, Angeli, Charoula, Malyn‐Smith, Joyce, Voogt, Joke, Zagami, Jason, Micheuz, Peter, Chtouki, Yousra, Mori, Nataša, Rannenberg, Kai, Editor-in-chief, Sakarovitch, Jacques, Series editor, Goedicke, Michael, Series editor, Tatnall, Arthur, Series editor, Neuhold, Erich J., Series editor, Pras, Aiko, Series editor, Tröltzsch, Fredi, Series editor, Pries-Heje, Jan, Series editor, Whitehouse, Diane, Series editor, Reis, Ricardo, Series editor, Furnell, Steven, Series editor, Furbach, Ulrich, Series editor, Winckler, Marco, Series editor, Rauterberg, Matthias, Series editor, and Webb, Mary, editor

Published
2017
Full Text
View/download PDF

28. Social Demands in Ubiquitous Computing: Contexts for Tomorrow’s Learning

Author

Przybylla, Mareen, Romeike, Ralf, Rannenberg, Kai, Editor-in-chief, Sakarovitch, Jacques, Series editor, Goedicke, Michael, Series editor, Tatnall, Arthur, Series editor, Neuhold, Erich J., Series editor, Pras, Aiko, Series editor, Tröltzsch, Fredi, Series editor, Pries-Heje, Jan, Series editor, Whitehouse, Diane, Series editor, Reis, Ricardo, Series editor, Furnell, Steven, Series editor, Furbach, Ulrich, Series editor, Winckler, Marco, Series editor, Rauterberg, Matthias, Series editor, and Webb, Mary, editor

Published
2017
Full Text
View/download PDF

29. A 21st Century Teaching and Learning Approach to Computer Science Education: Teacher Reactions

Author

Byrne, Jake Rowan, Fisher, Lorraine, Tangney, Brendan, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Zvacek, Susan, editor, Restivo, Maria Teresa, editor, Uhomoibhi, James, editor, and Helfert, Markus, editor

Published
2016
Full Text
View/download PDF

30. A French-Tamazight MT System for Computer Science

Author

Yamouni, Farida, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Okrut, Tatsiana, editor, Hetsevich, Yuras, editor, Silberztein, Max, editor, and Stanislavenka, Hanna, editor

Published
2016
Full Text
View/download PDF

31. Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

Author

Mounier-Kuhn, Pierre, Rannenberg, Kai, Editor-in-chief, Sakarovitch, Jacques, Series editor, Goedicke, Michael, Series editor, Tatnall, Arthur, Series editor, Neuhold, Erich J., Series editor, Pras, Aiko, Series editor, Tröltzsch, Fredi, Series editor, Pries-Heje, Jan, Series editor, Whitehouse, Diane, Series editor, Reis, Ricardo, Series editor, Furnell, Steven, Series editor, Furbach, Ulrich, Series editor, Gulliksen, Jan, Series editor, Rauterberg, Matthias, Series editor, Gadducci, Fabio, editor, and Tavosanis, Mirko, editor

Published
2016
Full Text
View/download PDF

32. Impact of Informatics on Mathematics and Its Teaching : On the Importance of Epistemological Analysis to Feed Didactical Research

Author

Modeste, Simon, Rannenberg, Kai, Editor-in-chief, Sakarovitch, Jacques, Series editor, Goedicke, Michael, Series editor, Tatnall, Arthur, Series editor, Neuhold, Erich J., Series editor, Pras, Aiko, Series editor, Tröltzsch, Fredi, Series editor, Pries-Heje, Jan, Series editor, Whitehouse, Diane, Series editor, Reis, Ricardo, Series editor, Furnell, Steven, Series editor, Furbach, Ulrich, Series editor, Gulliksen, Jan, Series editor, Rauterberg, Matthias, Series editor, Gadducci, Fabio, editor, and Tavosanis, Mirko, editor

Published
2016
Full Text
View/download PDF

35. Investigating the Characteristics and Research Impact of Sentiments in Tweets with Links to Computer Science Research Papers

Author

Sesagiri Raamkumar, Aravind, Ganesan, Savitha, Jothiramalingam, Keerthana, Selva, Muthu Kumaran, Erdt, Mojisola, Theng, Yin-Leng, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Dobreva, Milena, editor, Hinze, Annika, editor, and Žumer, Maja, editor

Published
2018
Full Text
View/download PDF

36. Explainable and Transparent AI and Multi-Agent Systems : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

Author

Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling, Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, and Kary Främling

Subjects
Multiagent systems, Machine learning, Compilers (Computer programs), Natural language processing (Computer science), Computer science, Computers, Special purpose
Abstract

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024. The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: User-centric XAI; XAI and Reinforcement Learning; Neuro-symbolic AI and Explainable Machine Learning; and XAI & Ethics.

Published
2024

37. Metaheuristics and Nature Inspired Computing : 9th International Conference, META 2023, Marrakech, Morocco, November 1–4, 2023, Revised Selected Papers

Author

Bernabé Dorronsoro, Rachid Ellaia, El-Ghazali Talbi, Bernabé Dorronsoro, Rachid Ellaia, and El-Ghazali Talbi

Subjects
Artificial intelligence, Computer science, Mathematics—Data processing, Computer science—Mathematics, Discrete mathematics, Data structures (Computer science), Information theory
Abstract

This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are divided into the following topical sections: combinatorial optimization; scheduling; continuous optimization; automatic metaheuristics tuning; optimization and machine learning; and applications.

Published
2024

38. Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

Author

Kazuhiro Ogata, Narciso Martí-Oliet, Kazuhiro Ogata, and Narciso Martí-Oliet

Subjects
Software engineering, Computer science, Machine theory, Computer engineering, Computer networks, Computer science—Mathematics, Discrete mathematics
Abstract

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

Published
2024

39. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Author

Alessandro Aldini and Alessandro Aldini

Subjects
Software engineering, Computer systems, Computer science, Computer programming
Abstract

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)

Published
2024

40. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I

Author

Linqiang Pan, Yong Wang, Jianqing Lin, Linqiang Pan, Yong Wang, and Jianqing Lin

Subjects
Artificial intelligence, Computer networks, Computers, Special purpose, Computer systems, Computer science, Computer science—Mathematics
Abstract

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

Published
2024

41. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers

Author

Ana Paula Rocha, Luc Steels, Jaap van den Herik, Ana Paula Rocha, Luc Steels, and Jaap van den Herik

Subjects
Artificial intelligence, Computer science, Computers, Computers, Special purpose, Computer networks, Image processing—Digital techniques, Computer vision
Abstract

This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023. The 23 full papers included in this book were carefully reviewed and selected from 306 submissions. The conference was organized in 2 tracks as follows: One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

Published
2024

42. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I

Author

Michael A. Bekos, Markus Chimani, Michael A. Bekos, and Markus Chimani

Subjects
Computer science, Computer science—Mathematics, Discrete mathematics, Image processing—Digital techniques, Computer vision, Data structures (Computer science), Information theory, Application software, Signal processing
Abstract

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023. The 31 full papers, 7 short papers, presented together with 2 invited talks, and one contest report, were thoroughly reviewed and selected from the 100 submissions. The abstracts of 11 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: beyond planarity; crossing numbers; linear layouts; geometric aspects; visualization challenges; graph representations; graph decompositions; topological aspects; parameterized complexity for drawings; planar graphs; frameworks; algorithmics.

Published
2024

43. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers

Author

Nina Gierasimczuk, Fernando R. Velázquez-Quesada, Nina Gierasimczuk, and Fernando R. Velázquez-Quesada

Subjects
Computer science, Mathematical logic, Logic programming, Software engineering, Computer networks
Abstract

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

Published
2024

44. Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI : 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers

Author

Nicoletta Fornara, Jithin Cheriyan, Asimina Mertzani, Nicoletta Fornara, Jithin Cheriyan, and Asimina Mertzani

Subjects
Artificial intelligence, Computers, Special purpose, Computer science, Coding theory, Information theory
Abstract

This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).This book contains 10 full papers which are the extended and revised versions of the papers accepted to the workshop.The papers were carefully reviewed and selected from 13 submissions. They are organized in topical sections as follows: Norms, Social contracts, Institutions, and Privacy; Studies on the notion of Value; and Argumentation and Conventions

Published
2023

45. New Frontiers in Artificial Intelligence : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers

Author

Yasufumi Takama, Katsutoshi Yada, Ken Satoh, Sachiyo Arai, Yasufumi Takama, Katsutoshi Yada, Ken Satoh, and Sachiyo Arai

Subjects
Artificial intelligence, Computer science, Data structures (Computer science), Information theory, Database management, Image processing—Digital techniques, Computer vision
Abstract

This book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area.

Published
2023

46. Learning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers

Author

Dimitris E. Simos, Varvara A. Rasskazova, Francesco Archetti, Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos, Varvara A. Rasskazova, Francesco Archetti, Ilias S. Kotsireas, and Panos M. Pardalos

Subjects
Numerical analysis, Computer science—Mathematics, Mathematical statistics, Computer science, Artificial intelligence, Social sciences—Data processing, Computers
Abstract

This book constitutes the refereed proceedings of the 16th International Conference on Learning and Intelligent Optimization, LION 16, which took place in Milos Island, Greece, in June 2022.The 36 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 60 submissions. LION deals with automatic solver configuration, parallel methods, intelligent optimization, nature-inspired algorithms, hard combinatorial optimization problems, DC learning, computational intelligence, and others. The contributions were organized in topical sections as follows: Invited Papers; Contributed Papers.

Published
2023

47. Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers

Author

Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer, Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, and Bertrand Meyer

Subjects
Software engineering, Computer programming, Education—Data processing, Database management, Computer science
Abstract

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023. The Editorial and the 8 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover the main topics of the workshop: education in technology and technology for education; new (and fearless) ideas on education; adjustments in teaching during pandemic: experience reports; models for class development; how to design learning objectives and outcomes; labs and practical sessions: how to conduct them; curriculum development; course design; quality course assessment; long-life studies in education; empirical research in SE education; experiences in starting-up new educational systems; blended education. FISEE 2023 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.

Published
2023

48. Graph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers

Author

Patrizio Angelini, Reinhard von Hanxleden, Patrizio Angelini, and Reinhard von Hanxleden

Subjects
Computer science, Computer science—Mathematics, Discrete mathematics, Computer vision, Data structures (Computer science), Information theory, Database management, Signal processing
Abstract

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022. The 25 full papers, 7 short papers, presented together with 2 invited talks, one report on graph drawing contest, and one obituary in these proceedings were carefully reviewed and selected from 70 submissions. The abstracts of 5 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: properties of drawings of complete graphs; stress-based visualizations of graphs; planar and orthogonal drawings; drawings and properties of directed graphs; beyond planarity; dynamic graph visualization; linear layouts; and contact and visibility graph representations.

Published
2023

49. Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

Author

Zoltán Porkoláb, Viktória Zsók, Zoltán Porkoláb, and Viktória Zsók

Subjects
Computer programming, Software engineering, Compilers (Computer programs), Computer science
Abstract

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

Published
2023

50. Algorithmic Aspects of Cloud Computing : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Author

Luca Foschini, Spyros Kontogiannis, Luca Foschini, and Spyros Kontogiannis

Subjects
Computer science, Computer networks, Computers, Special purpose, Data structures (Computer science), Information theory, Application software, Computer systems
Abstract

This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.The 6 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Cloud-Based Urban Mobility Services; New Results in Priority-Based Bin Packing; More Sparking Soundex-based Privacy-Preserving Record Linkage and Privacy Preserving Queries of Shortest Path Distances.

Published
2023