111,554 results
Search Results
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
3. 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
4. The Perception of Test Driven Development in Computer Science – Outline for a Structured Literature Review
- Author
-
Lautenschläger, Erik, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Ram, Sudha, Series Editor, Rosemann, Michael, Series Editor, Szyperski, Clemens, Series Editor, Abramowicz, Witold, editor, Auer, Sören, editor, and Stróżyna, Milena, editor
- Published
- 2022
- Full Text
- View/download PDF
5. 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
6. Mapping Computational Thinking Skills to the South African Secondary School Mathematics Curriculum
- Author
-
Bradshaw, Karen, Milne, Shannon, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Leung, Wai Sze, editor, Coetzee, Marijke, editor, Coulter, Duncan, editor, and Cotterrell, Deon, editor
- Published
- 2022
- Full Text
- View/download PDF
7. Influence of External Factors on the Attitude of Students Towards Arduino Micro Development Boards
- Author
-
Zeeman, Malie, Botes, Romeo, 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
8. 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
9. From Stories to Concurrency: How Children Can Play with Formal Methods
- Author
-
Cerone, Antonio, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Cerone, Antonio, editor, and Roggenbach, Markus, editor
- Published
- 2021
- Full Text
- View/download PDF
10. 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
11. Primary Level Teachers Training in Computer Science: Experience in the Argentine Context
- Author
-
Casali, Ana, Monjelat, Natalia, San Martín, Patricia, Zanarini, Dante, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Pesado, Patricia, editor, and Arroyo, Marcelo, editor
- Published
- 2020
- Full Text
- View/download PDF
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. Neural Network Model for Quality Indicators Assessment: Case of Paper Manufacturing Industry
- Author
-
Anna Chernikova, Svetlana Kuzmina, Alexey Peshekhonov, and Irina Rudakova
- Subjects
business.product_category ,Artificial neural network ,Computer science ,media_common.quotation_subject ,Control (management) ,Variance (accounting) ,Industrial engineering ,Product (business) ,Paper machine ,Production (economics) ,Quality (business) ,business ,Manufacturing execution system ,media_common - Abstract
Analysis of roll products at the final stage of production is the main stage for identifying defects, disrupted integrity or homogeneity, etc. Paper production is a typical example of such an operation in an industrial setting. It is proposed to use the results of the assessment for opacity, described by several standardized and statistical estimates, as the main characteristic for the quality of paper products. Studies of the dependence of the quality of the paper web on the production conditions and the properties of raw materials produce considerable variance, so that it is impossible to make accurate predictions. For this reason, we used a neural network modeling technology to develop an intelligent system for monitoring the quality of the paper web. Online quality control allows to assess the efficiency of the paper machine and rapidly adjust the manufacturing execution system. Special technologies such as computer vision systems can be introduced for this purpose, making it possible to make a transition from subjective assessment of the structure and defects of the paper web to obtaining objective quantitative estimates of these indicators. We considered a procedure for determining the estimates of structural heterogeneity of the paper web at the final stage of its production. We suggest to expand the classification of finished product samples by using neural fuzzy interpolation of linguistic values of such indicators. The approach introduced is aimed at improving the efficiency of the production process.
- Published
- 2021
20. 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
21. 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
22. Functional paper-based materials for diagnostics
- Author
-
Laura M. Hillscher, Markus Biesalski, Valentina J. Liebich, Harald Kolmar, and Olga Avrutina
- Subjects
cellulose functionalization ,Computer science ,μPAD ,010401 analytical chemistry ,lateral flow assay ,02 engineering and technology ,General Chemistry ,Paper based ,021001 nanoscience & nanotechnology ,biosensor ,01 natural sciences ,Biochemistry ,0104 chemical sciences ,Functional papers ,Systems engineering ,0210 nano-technology ,point-of-care diagnostics ,Lecture Text - Abstract
Functional papers are the subject of extensive research efforts and have already become an irreplaceable part of our modern society. Among other issues, they enable fast and inexpensive detection of a plethora of analytes and simplify laboratory work, for example in medical tests. This article focuses on the molecular and structural fundamentals of paper and the possibilities of functionalization, commercially available assays and their production, as well as on current and future challenges in research in this field. Graphic abstract
- Published
- 2021
23. 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
24. 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
25. 10 Steps to Strategically Build and Implement your Enterprise Imaging System: HIMSS-SIIM Collaborative White Paper
- Author
-
Abe Nader, Louis M. Lannum, Roger Boodoo, Dawn Cram, Henri Rik Primo, and Matthew Bishop
- Subjects
Imaging informatics ,Process management ,Computer science ,Automatic identification and data capture ,Clinical Decision-Making ,Population health ,030218 nuclear medicine & medical imaging ,Workflow ,03 medical and health sciences ,Patient safety ,Universal Viewer ,0302 clinical medicine ,White paper ,Documentation ,Imaging Informatics ,Patient experience ,Electronic Health Records ,Humans ,Radiology, Nuclear Medicine and imaging ,Cooperative Behavior ,PACS ,Computer Security ,Quality of Health Care ,Original Paper ,Governance ,Radiological and Ultrasound Technology ,Enterprise Image Viewing ,Enterprise Imaging ,Image Data Management ,Data Integrity ,Computer Science Applications ,Radiology Information Systems ,Enterprise Digital Image Archive ,Data Capture ,Electronic Health Record ,Patient Safety ,030217 neurology & neurosurgery - Abstract
An enterprise imaging (EI) strategy is an organized plan to optimize the electronic health record (EHR) so that healthcare providers have intuitive and immediate access to all patient clinical images and their associated documentation, regardless of source. We describe ten steps recommended to achieve the goal of implementing EI for an institution. The first step is to define and access all images used for medical decision-making. Next, demonstrate how EI is a powerful strategy for enhancing patient and caregiver experience, improving population health, and reducing cost. Then, it is recommended that one must understand the specialties and their clinical workflow challenges as related to imaging. Step four is to create a strategy to improve quality of care and patient safety with EI. Step five demonstrates how EI can reduce costs. Then, show how EI can help enhance the patient experience. Step seven suggests how EI can enhance the work life of caregivers and step eight describes how to develop EI governance. Step nine describes the plan to implement an EI project, and finally, step 10, to understand cybersecurity from a patient safety perspective and to protect images from accidental and malicious intrusion.
- Published
- 2019
26. Implementation of Fast-Building Interactive Scene with Chinese Paper Cutting Style
- Author
-
Wenjuan Chen and Xingguang Mi
- Subjects
Engineering drawing ,Focus (computing) ,Mode (computer interface) ,Natural interaction ,Process (engineering) ,Order (exchange) ,Computer science ,Digital paper ,Style (sociolinguistics) ,Connotation - Abstract
As one of the precious intangible cultural heritages, traditional Chinese paper cutting has a long history and profound cultural connotation. In the digital age, traditional paper cutting is gradually moving towards digital paper cutting in order for better inherit and development. In the research of paper cutting digitalization, computer has been normally adopted to make two-dimensional paper cutting, to focus on the restoration of paper cutting process. There is still a little difficult for users who are not familiar with paper cutting; three-dimensional model has also been used to improve the picture effect, but it is not easy to show the characteristics of paper cutting with three-dimensional models. In order to address such an issue, this paper innovates the artistic style of digital paper cutting by combining paper cutting with common visual effects in modern 2D games, improves the efficiency of scene construction by writing automatic generation algorithms, and perfects the interactive mode of digital paper cutting by introducing natural interaction. In this way, users can participate in the process of creating paper cutting works, and creation of paper cutting works becomes simple and efficient benefiting from the automatic generation algorithm and natural interaction. Finally, by comparing to works of other paper cutting style, the works achieved by the solution proposed in this paper illustrates the advantages of digitalization in three aspects: artistic style, fast generation, and natural interaction.
- Published
- 2021
27. Paper-Based Kits for Food Analysis and Authentication
- Author
-
Mursalin Rahman Khandaker and Mohidus Samad Khan
- Subjects
food.ingredient ,Food industry ,business.industry ,Computer science ,Food additive ,Food safety ,Authentication (law) ,Food Analysis ,Identification (information) ,food ,Risk analysis (engineering) ,Bioactive paper ,business ,Food contaminant - Abstract
Food safety and security have emerged as an issue of global public concern and trade implications. Food contamination and adulteration are major threats toward public health. Traditional and conventional benchtop technologies are being utilized all over the world for the identification and quantification of food contaminants and adulterants. But these technologies are expensive, labor-intensive, require highly skilled manpower, and resources for proper operation. There is an urgent need for developing point-of-care devices for food analysis and authentication, which can be cost-effective, reliable, simple to operate, and analyze. Bioactive paper is a promising tool that can be used over a wide range of applications involving food safety and security. Paper-based devices are typically rapid, cost-effective, and user-friendly, offering a high potential for rapid food safety analysis at point of need. In recent years, bioactive paper research has been a topic of great interest, as it is robust, simple, and affordable, and it can be an alternative to the traditional expensive instruments for detections, such as gas chromatography, mass spectroscopy, or high-performance liquid chromatography. This article focuses on paper-based point-of-care (POC) devices that are being developed for food analysis and authentication. It discusses paper-based devices as developed for the detection of foodborne and waterborne pathogens, organic and inorganic toxins, pesticides, and illegal food additives. Finally, this study also sheds light on the future aspect of bioactive papers in the food industry, limitations, and way forward.
- Published
- 2021
28. Paper-Based Electronics for Brain-Machine Interface Home Supercomputer
- Author
-
José Machado, Manuel Curado, Nicolás Lori, and Miguel Pais-Vieira
- Subjects
010302 applied physics ,0303 health sciences ,SIMPLE (military communications protocol) ,business.industry ,Computer science ,Transistor ,Paper based ,Supercomputer ,01 natural sciences ,law.invention ,03 medical and health sciences ,law ,0103 physical sciences ,Electronics ,business ,Actuator ,Computer hardware ,030304 developmental biology ,Neural decoding ,Brain–computer interface - Abstract
Brain-machine interfaces (BMIs) decode neural activity in real-time, allowing control of sensors and actuators. However, real-time neural decoding requires high computational resources. Recently developed paper-based electronics (e.g., transistors) are likely to reduce the cost of computing devices. In this theoretical study, we propose a roadmap to develop BMIs that take advantage of cellulose based supercomputers. Major milestones will include: 1) an initial prototype with a small number of elements capable of forming a simple brain-controlled On/Off switch, and 2) scaling up the capabilities of the new computing device, such that paper-based electronics lined in the walls of people’s homes will form a supercomputer. The initial prototype will be used to control the lights in a room, but more advanced devices are expected to decode more complex brain commands. As paper-based electronics are very low cost, it is proposed here that paper-based supercomputing capabilities may significantly improve BMIs.
- Published
- 2021
29. 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
30. 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
31. 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
32. Computational Thinking: Toward a Unifying Definition
- Author
-
Rich, Peter J., Langton, Matthew B., Spector, J. Michael, editor, Ifenthaler, Dirk, editor, Sampson, Demetrios G., editor, and Isaias, Pedro, editor
- Published
- 2016
- Full Text
- View/download PDF
33. A Norm Emergence Framework for Normative MAS – Position Paper
- Author
-
Marina De Vos, Julian Padget, and Andreasa Morris-Martin
- Subjects
Computer science ,Multi-agent system ,Normative ,Position paper ,Context (language use) ,Norm (social) ,Oracle ,Law and economics - Abstract
Norm emergence is typically studied in the context of multiagent systems (MAS) where norms are implicit, and participating agents use simplistic decision-making mechanisms. These implicit norms are usually unconsciously shared and adopted through agent interaction. A norm is deemed to have emerged when a threshold or predetermined percentage of agents follow the “norm”. Conversely, in normative MAS, norms are typically explicit and agents deliberately share norms through communication or are informed about norms by an authority, following which an agent decides whether to adopt the norm or not. The decision to adopt a norm by the agent can happen immediately after recognition or when an applicable situation arises. In this paper, we make the case that, similarly, a norm has emerged in a normative MAS when a percentage of agents adopt the norm. Furthermore, we posit that agents themselves can and should be involved in norm synthesis, and hence influence the norms governing the MAS, in line with Ostrom’s eight principles. Consequently, we put forward a framework for the emergence of norms within a normative MAS, that allows participating agents to propose/request changes to the normative system, while special-purpose synthesizer agents formulate new norms or revisions in response to these requests. Synthesizers must collectively agree that the new norm or norm revision should proceed, and then finally be approved by an “Oracle”. The normative system is then modified to incorporate the norm.
- Published
- 2021
34. Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
- Author
-
Marie Farrell, Sebastian Krings, Peter Csaba Ölveczky, Rustam Zhumagambetov, Philipp Körner, Nikolay V. Shilov, Faron Moller, Markus Roggenbach, James H. Davenport, Antonio Cerone, Bernd Holger Schlingloff, Magne Haveraaen, and Casey Denner
- Subjects
White paper ,Higher education ,business.industry ,Computer science ,020204 information systems ,ComputingMilieux_COMPUTERSANDEDUCATION ,0202 electrical engineering, electronic engineering, information engineering ,020207 software engineering ,02 engineering and technology ,Formal methods ,Software engineering ,business ,Curriculum - Abstract
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates
- Published
- 2021
35. Usages of the ContSys Standard: A Position Paper
- Author
-
Kristian Kankainen
- Subjects
Systematic review ,Computer science ,Position paper ,Continuity of care ,Data science - Abstract
This position paper presents preliminary findings from an ongoing systematic literature review over the usages of the ContSys standard ISO 13940 [7]. I show that the literature reveals several patterns of how “A system of concepts for the continuity of care” is understood and applied.
- Published
- 2021
36. Uncovering Latent Profiles Based on How Students Review Paper-Based Assessments
- Author
-
I-Han Hsiao and Yancy Vance M. Paredes
- Subjects
Blended learning ,Computer science ,ComputingMilieux_COMPUTERSANDEDUCATION ,Educational technology ,Paper based ,Student learning ,Data science ,Clickstream - Abstract
Blended learning environments offer a rich amount of data that encompasses various learning interactions. Despite advancements in technology, there have been several learning activities that remain offline, thus preventing us from fully understanding certain aspects of student learning. An example of this is how students review their paper-based assessments. Using a homegrown educational technology that addresses this gap, we analyzed students’ clickstream data to uncover latent profiles based on how they review these graded assessments. Such behavior could provide insight into their self-regulated learning strategies as they attempt to correct their misconceptions. We leveraged latent profile analysis and presented our preliminary findings and interpretations of the five student profiles we uncovered to understand the effects of their varying efforts to learn the course material.
- Published
- 2021
37. Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme
- Author
-
Marie-Laure Zollinger, Peter Y. A. Ryan, and Peter B. Rønne
- Subjects
Scheme (programming language) ,050101 languages & linguistics ,Theoretical computer science ,Cryptographic primitive ,Computer science ,media_common.quotation_subject ,05 social sciences ,Short paper ,02 engineering and technology ,Gas meter prover ,Mathematical proof ,Voting ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,0501 psychology and cognitive sciences ,computer ,Formal verification ,Protocol (object-oriented programming) ,computer.programming_language ,media_common - Abstract
Electryo is a paper-based voting protocol that implements the Selene mechanism for individual verifiability. This short paper aims to provide the first formal model of Electryo, with security proofs for vote-privacy and individual verifiability. In general, voting protocols are complex constructs, involving advanced cryptographic primitives and strong security guarantees, posing a serious challenge when wanting to analyse and prove security with formal verification tools. Here we choose to use the \({{\,\mathrm{\textsc {Tamarin}}\,}}\) prover since it is one of the more advanced tools and is able to handle many of the primitives we encounter in the design and analysis of voting protocols.
- Published
- 2020
38. Network Security for Home IoT Devices Must Involve the User: A Position Paper
- Author
-
Antonio Mignano and Lorenzo De Carli
- Subjects
business.industry ,Bar (music) ,Computer science ,Security design ,Network security ,05 social sciences ,Fingerprint (computing) ,050801 communication & media studies ,Computer security ,computer.software_genre ,0508 media and communications ,Position paper ,0501 psychology and cognitive sciences ,Internet of Things ,business ,computer ,050107 human factors - Abstract
Many home IoT devices suffer from poor security design and confusing interfaces, lowering the bar for successful cyberattacks. A popular approach to identify compromised IoT devices is network-based detection, in which network traffic is analyzed to fingerprint and identify such devices. However, while several network-based techniques for identifying misbehaving devices have been proposed, the role of the user in remediating IoT security incidents has been conspicuously overlooked.
- Published
- 2021
39. Digitizing the FlexIA Toolkit - Transforming a Paper-Based Method into a Flexible Web App
- Author
-
Christian Kruse, Sebastian Venhuis, and Daniela Becks
- Subjects
Information management ,World Wide Web ,Computer science ,business.industry ,Enabling ,Key (cryptography) ,Web application ,Paper based ,business ,Digitization ,User-centered design ,PATH (variable) - Abstract
Digitization of everything is the main driver in today’s economy. The constantly growing proliferation of digital tools makes it increasingly important to properly analyze and document which information is needed in which processes throughout a company. Information management competencies are a key enabler on the path to data generated value creation.
- Published
- 2021
40. Position Paper: Analyzing the Impacts of Facial Recognition
- Author
-
Claude Castelluccia and Daniel Le Métayer
- Subjects
Identification (information) ,Software deployment ,business.industry ,Computer science ,Separation of concerns ,Position paper ,Public opinion ,business ,Set (psychology) ,Facial recognition system ,Data science ,Authentication (law) - Abstract
Considering the lack of consensus on the deployment of facial recognition technologies, many organizations, including public bodies, NGOs and private companies have alerted public opinion and called for a broad debate on facial recognition. We believe that such a debate is indeed necessary. However, in order to be really productive, it is essential to ensure that arguments can be expressed and confronted in a rigorous way. The main objective of this position paper is to help set the terms of this debate on a solid basis. To this aim, we present an incremental and comparative risk-analysis methodology for facial recognition systems. The methodology introduces, for a better separation of concerns, four levels of analysis: the purpose, the means, the use of facial recognition and its implementation. We discuss each of these levels and illustrate them with examples based on recent developments. Interested readers can find more details, in particular about the use of ethical matrices to facilitate the analysis, in an extended version of this position paper published as an Inria report [7].
- Published
- 2020
41. Auto-Generating Examination Paper Based on Genetic Algorithms
- Author
-
Na Deng, Yipeng Li, Shudong Liu, Yutian Liu, Deliang Zhong, and Xu Chen
- Subjects
business.industry ,Computer science ,Online learning ,Paper based ,Machine learning ,computer.software_genre ,Test (assessment) ,Order (exchange) ,Factor (programming language) ,Line (geometry) ,Genetic algorithm ,Artificial intelligence ,Informatization ,business ,computer ,computer.programming_language - Abstract
With the acceleration of education informatization, the social demand for online examination papers is increasing. However, there are some problems in the generation of online examination papers. Firstly, it is impossible to randomly generate examination papers quickly. Besides, it is impossible to dynamically adjust examination papers according to test results. Thirdly, it is impossible to generate examination papers based on individual characteristics of students. In order to solve these problems, this paper proposes a new auto-generation examination paper model based on genetic algorithm. The model dynamically adjusts the difficulty factor of individual test questions by analyzing the online learning data and historical user test result data, and then guarantees the difficulty of generating examination papers in line with the changes in the current educational environment. The simulation results show that the algorithm improves the efficiency and accuracy of the generation examination paper, and effectively controls the difficulty coefficient of the examination paper.
- Published
- 2019
42. Talmudic Norms Approach to Mixtures with a Solution to the Paradox of the Heap: A Position Paper
- Author
-
Esther David, Rabbi S. David, Uri J. Schild, and Dov M. Gabbay
- Subjects
Programming language ,Computer science ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,Sorites paradox ,Position paper ,computer.software_genre ,computer ,Object (philosophy) ,Heap (data structure) - Abstract
This paper offers a Talmudic norms solution to the paradox of the heap. The claim is that the paradox arises because philosophers use the wrong language to discuss it. We need a language about objects which is capable of expressing not only the declarative properties of the object (such as being a heap) but also how the object/heap was constructed. Such a view of objects comes from the Talmudic theory of mixtures.
- Published
- 2020
43. Short Paper - Taming the Shape Shifter: Detecting Anti-fingerprinting Browsers
- Author
-
Babak Amin Azad, Pierre Laperdrix, Oleksii Starov, and Nick Nikiforakis
- Subjects
Current generation ,Computer science ,Data_MISCELLANEOUS ,Fingerprint (computing) ,Short paper ,020206 networking & telecommunications ,02 engineering and technology ,Variation (game tree) ,Computer security ,computer.software_genre ,Credit card ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,computer - Abstract
When it comes to leaked credentials and credit card information, we observe the development and use of anti-fingerprinting browsers by malicious actors. These tools are carefully designed to evade detection, often by mimicking the browsing environment of the victim whose credentials were stolen. Even though these tools are popular in the underground markets, they have not received enough attention by researchers. In this paper, we report on the first evaluation of four underground, commercial, and research anti-fingerprinting browsers and highlight their high success rate in bypassing browser fingerprinting. Despite their success against well-known fingerprinting methods and libraries, we show that even slightest variation in the simulated fingerprint compared to the real ones can give away the presence of anti-fingerprinting tools. As a result, we provide techniques and fingerprint-based signatures that can be used to detect the current generation of anti-fingerprinting browsers.
- Published
- 2020
44. Short Paper: XOR Arbiter PUFs Have Systematic Response Bias
- Author
-
Nils Wisiol and Niklas Pirnay
- Subjects
050101 languages & linguistics ,Computer science ,05 social sciences ,Short paper ,Physical unclonable function ,Arbiter ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,ComputerSystemsOrganization_PROCESSORARCHITECTURES ,Response bias ,ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS ,0202 electrical engineering, electronic engineering, information engineering ,ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS ,020201 artificial intelligence & image processing ,0501 psychology and cognitive sciences ,Arithmetic ,Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION - Abstract
We demonstrate that XOR Arbiter PUFs with an even number of arbiter chains have inherently biased responses, even if all arbiter chains are perfectly unbiased. This rebukes the believe that XOR Arbiter PUFs are, like Arbiter PUFs, unbiased when ideally implemented and proves that independently manufactured Arbiter PUFs are not statistically independent.
- Published
- 2020
45. Position Paper: The Use of Engineering Approach in Creation of Artificial General Intelligence
- Author
-
Vasiliy Mazin
- Subjects
Development (topology) ,Computer science ,Artificial general intelligence ,business.industry ,Multi-agent system ,Representation (systemics) ,Position paper ,State (computer science) ,Artificial intelligence ,Modular design ,Ontology (information science) ,business - Abstract
A possible practical engineering approach to creation of the general artificial intelligence is considered. The choice of approach is based on modular hierarchical representation of knowledge, where each module uses its own methods of representation and knowledge processing. Work with knowledge is done by a hierarchical multi-agent system. The description of system’s individual elements and information about the current development state are given.
- Published
- 2020
46. Nanocellulose in the Paper Making
- Author
-
Kestur Gundappa Satyanarayana, Elaine Cristina Lengowski, Eraldo Antonio Bonfatti Júnior, Marina Mieko Nishidate Kumode, and Mayara Elita Carneiro
- Subjects
Cellulose nanocrystals ,Coating ,business.industry ,Computer science ,Papermaking ,Pulp (paper) ,Paper production ,engineering ,engineering.material ,Process engineering ,business ,Nanocellulose - Abstract
In recent times, nanotechnology, which has been one of the main novelties to be developed in the 21st century, has been applied to many sectors, particularly to various industrial sectors including forest-based industry. An output of this is the development of nanomaterials of which nanocelluloses have been studied as high technology biopolymers for application in various materials through the development of films and as reinforcement in papers. With this background, the main objective of this Chapter is to present the use of nanocellulose in the paper making. Accordingly, the Chapter presents characteristics of the most used wood in the world for pulp and paper production, main methods of obtaining cellulose in nature, process of bleaching of pulp, paper making, processes to obtain different types of nanocellulose (microfibrillar nanofiber and cellulose nanocrystals), applications of nanocellulose in the paper making through coating and films as well as by nanocellulose-reinforced pulp and the resulting effects of the use of nanocellulose in paper production. These include increased tensile and burst strengths, weight loss, improved barrier properties for oils, oxygen and moisture, better printing surface, etc. In the end, marketing aspects, possible future opportunities and finally concluding remarks are given. These briefly mention the use of nanocelluloses in papermaking presenting interesting possibilities, which offer improvements in cost-benefit, energy efficiency and biocompatibility, in addition to generating new products with uses are not available today.
- Published
- 2019
47. The Current State and Path Forward For Enterprise Image Viewing: HIMSS-SIIM Collaborative White Paper
- Author
-
Christopher J. Roth, Louis M. Lannum, Alexander J. Towbin, and Donald K. Dennison
- Subjects
Diagnostic Imaging ,Imaging informatics ,genetic structures ,Computer science ,education ,Specialty ,ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION ,Image viewer ,Image display ,computer.software_genre ,Image distribution ,Enterprise imaging ,030218 nuclear medicine & medical imaging ,Management Information Systems ,03 medical and health sciences ,0302 clinical medicine ,White paper ,Digital imaging and communications in medicine (DICOM) ,Integrating healthcare enterprise (IHE) ,Electronic Health Records ,Humans ,Radiology, Nuclear Medicine and imaging ,Use case ,Implementation ,PACS ,Medicine(all) ,Review Paper ,Cardiology PACS ,Radiological and Ultrasound Technology ,Multimedia ,Clinical image viewing ,Interpretation (philosophy) ,Electronic medical record (EMR) ,Enterprise PACS ,Computer Science Applications ,Management information systems ,Radiology Information Systems ,030220 oncology & carcinogenesis ,computer ,Cardiac imaging ,PATH (variable) ,Forecasting - Abstract
Clinical specialties have widely varied needs for diagnostic image interpretation, and clinical image and video image consumption. Enterprise viewers are being deployed as part of electronic health record implementations to present the broad spectrum of clinical imaging and multimedia content created in routine medical practice today. This white paper will describe the enterprise viewer use cases, drivers of recent growth, technical considerations, functionality differences between enterprise and specialty viewers, and likely future states. This white paper is aimed at CMIOs and CIOs interested in optimizing the image-enablement of their electronic health record or those who may be struggling with the many clinical image viewers their enterprises may employ today.
- Published
- 2016
48. Critical Components and Innovations in Paper-Based Analytical Devices
- Author
-
Charles S. Henry, Monpichar Srisa-Art, Robert B. Channon, and Katherine E. Boehle
- Subjects
Computer science ,Microfluidic channel ,Key (cryptography) ,Paper based ,Data science ,Variety (cybernetics) - Abstract
Despite a long history as an analytical tool, paper has come into significant academic and industrial focus over the last ∼10 years. This resurgence coincided with the seminal work by Whitesides group in 2007 on photoresist patterning of paper to create well-defined microfluidic channels [1]. The exponential growth can in large part be linked to key innovations, which have taken paper-based analytical devices from a niche apparatus in a handful analytical labs to a powerful tool used across a variety of disciplines around the world. Here, we outline some of the key advances and their impact.
- Published
- 2018
49. A System for Scientific Papers Recommendation and Search
- Author
-
Ali Taleb Mohammed Aymen and Saidi Imène
- Subjects
Search engine ,Course materials ,Information retrieval ,Okapi BM25 ,Computer science ,media_common.quotation_subject ,Effective method ,Context (language use) ,Function (engineering) ,Field (computer science) ,media_common ,Weighting - Abstract
Searching information by keywords is a simple and effective method used for a long time. Unfortunately, its usefulness is not well exploited in certain contexts. Indeed, in the case of scholarly resources (scientific papers, thesis, courses, etc.) what is generally done is a classification of documents by field (speciality), or by category (thesis, course materials, etc.). We consider the context of a user (student/teacher) who wants to search for resources on a particular field, but he does not know where to look, we consider also the context of a researcher who wants to search scientific papers. The existence of a dedicated search engine is thus useful in this case of problem. The purpose of this paper is to present an efficient engine of academic and scientific documents and more specifically a function to weight documents in the context of academic resources. Our approach is based on a multi-criteria weighting method that uses the average document score, the Okapi BM25 score and the number of downloads of documents. Alerts can also be programmed to keep the user informed about new publications.
- Published
- 2021
50. An Investigation of Covid-19 Papers for a Content-Based Recommendation System
- Author
-
F. Di Cicco, L. Barolli, and M. Fonisto
- Subjects
2019-20 coronavirus outbreak ,Information retrieval ,Coronavirus disease 2019 (COVID-19) ,Computer science ,Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) ,Phenomenon ,Recommender system ,License - Abstract
The proliferation of scientific publications is a well-known phenomenon that was recently emphasized by the publications related to the Covid-19. The number of publications Covid-19 related that PubMed added in the period between January 17 and April 18, 2020 kept rising until it reached a number of 300 publications added in a single day. There are obvious issues related to this phenomenon, such as the difficulty for researchers to find papers strongly related to their applications. When searching for related papers, there could be issues with how a paper is preferred with respect to another. A paper could be recommended based on the greater number of citations, or on the connections between authors, that is as well related to the number of citations. For such reasons, the aim of this study is to build a recommendation system based exclusively on the abstracts of these publications. We provide a comparison between classical approaches—NLP-based such as TF-IDF and n-grams—and Deep Learning approaches for content-based recommendation systems, such as Transformers. We also provide an application to graphs that shows the relationships among related papers on the basis of the results obtained from the recommendation system developed. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
- Published
- 2021
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.