检索结果-内蒙古大学图书馆

14th international conference in Methodologies and intelligent Systems for Techhnology Enhanced Learning, MIS4TEL 2024

ISBN: (纸本)9783031735370

the proceedings contain 30 papers. the special focus in this conference is on Methodologies and intelligent Systems for Techhnology Enhanced Learning. the topics include: A Systematic Literature Review on Applicability of Robot Assistants in Higher Education;generative AI: Simplifying Text for Cognitive Impairments and Non-native Speakers;a Study on Analyzing Classroom Teaching Questions Supported by generative Artificial Intelligence;Practical Use of AI-Based Learning Recommendations in Higher Education;exploiting Collaboration to Engage High-School Learners in Experiencing Sensors and Actuators;Identity Shield: Cultivating Privacy Awareness through AR for Young Adults;exploring an Artificial Intelligence Model Based on Integer Linear programming for Allocating Students to Industry Placements;the Fading of F(AI)th: Tracing the Technological Promises of a Wellbeing App in K-12 Education;democratizing Gamification Strategy Design on Multitenant Platforms through a Low-Code Approach;intelligent Interface: Enhancing Lecture Engagement with Didactic Activity Summaries;Eliciting and Empowering Teachers’ AI Literacy: the Devil is in the Detail;ChatGPT as a Learning Aid for an Introductory programming Course;exploring the Potential of Immersive Web Environments in Education: Teachers’ Perspectives and experiences;Learning Swedish with AI: Exploring Multimodal Learning Analytics in Spoken Language Acquisition;SeriousGXcraft: An Innovative Framework for Multidisciplinary Serious Game Development Powered by XML;Alignment of Learning Design with Learning Analytics: Case of MOODLE Blended Learning Course in Higher Education;teaching Dataset Creation in a Classroom Environment;counting Triangles with 3D Printed Didactic Materials for People with Visual Impairment;turning the Gaze Inwards: Exploring Simulator Instructors’ Professional Vision through Eye-Tracking and Stimulated Recall Interviews;storytelling with Technology-Enhanced Artefacts: A Literature Review of Toolkits for C

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 7th Audio Mostly: A conference on Interaction with Sound, AM'12 - In Cooperation with ACM SIGCHI

Proceedings of the 7th Audio Mostly: A Conference on Interac...

引用

7th Audio Mostly: A conference on Interaction with Sound, AM 2012 - In Cooperation with ACM SIGCHI

ISBN: (纸本)9781450315692

the proceedings contain 27 papers. the topics discussed include: how two players negotiate rhythm in a shared rhythm game;the use of sound to represent data and concepts as a means to engender creative thought: some thoughts on implementation and a research agenda;sound design: a procedural communication model for VE;using sound to enhance users' experiences of mobile applications;the effects of audio on depth perception in S3D games;improved music similarity computation based on tone objects;a novel approach for time-continuous tension prediction in film soundtracks;a survey of variation techniques for repetitive games music;rhythmic walking interactions with auditory feedback: an exploratory study;composing with algorithms: two novel generative composition tools;head gesture sonification for supporting social interaction;and a transient-aware frequency domain audio processor.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling biology with solver-aided programming languages 13

Modeling biology with solver-aided programming languages

引用

Proceedings of the 12th international conference on generative programming: concepts & experiences

作者： Rastislav Bodik University of California Berkeley Berkeley CA USA

ISBN: (纸本)9781450323734

A good model of a biological cell exposes secrets of the cell's signaling mechanisms, explaining diseases and facilitating drug discovery. Modeling cells is fundamentally a programming problem - it's programming because the model is a concurrent program that simulates the cell, and it's a problem because it is hard to write a program that reproduces all experimental observations of the cell *** this talk, I will introduce solver-aided programming languages and show how they ease modeling biology as well as make programming accessible to non-programmers. Solver-aided languages come with constructs that delegate part of the programming problem to a constraint solver, which can be guided to synthesize parts of the program, localize its bugs, or act as a clairvoyant oracle.I will describe our work on synthesis of stem cell models in c. elegans and then show how our framework called Rosette can rapidly implement a solver aided language in several domains, from programming by demonstration to spatial parallel programming.

关键词： program synthesis

来源：评论

学校读者我要写书评

暂无评论

Need Finding for an Embodied Coding Platform: Educators' Practices and Perspectives 14

Need Finding for an Embodied Coding Platform: Educators' Pra...

引用

14th international conference on Computer Supported Education (CSEDU)

作者： Sharkey, Tommy Twomey, Robert Eguchi, Amy Sweet, Monica Wu, Ying Choon Univ Calif San Diego Design Lab San Diego CA 92103 USA Univ Calif San Diego Arthur C Clarke Ctr Human Imaginat San Diego CA 92103 USA Univ Nebraska Johnny Carson Ctr Emerging Media Arts Lincoln NE USA Univ Calif San Diego Dept Educ Studies San Diego CA 92103 USA Univ Calif San Diego Ctr Res Educ Equ Assessment & Teaching Excellence San Diego CA 92103 USA Univ Calif San Diego Swartz Ctr Computat Neurosci San Diego CA 92103 USA

ISBN: (纸本)9789897585623

Eight middle- and high-school Computer Science (CS) teachers in San Diego County were interviewed about the major challenges their students commonly encounter in learning computer programming. We identified strategic design opportunities - that is, challenges and needs that can be addressed in innovative ways through the affordances of Augmented and Virtual Reality (AR/VR). thematic Analysis of the interviews yielded six thematic clusters: Tools for Learning, Visualization and Representation, Pedagogical Approaches, Classroom Culture, Motivation, and Community Connections. Within the theme of visualization, focal clusters centered on visualizing problem spaces and using metaphors to explain computational concepts, indicating that an AR/VR coding system could help users to represent computational problems by allowing them to build from existing embodied experiences and knowledge. Additionally, codes clustered within the theme of learning tools reflected educators' preference for web-based IDEs, which involve minimal start-up costs, as well as concern over the degree of transfer in learning between block- and text-based interfaces. Finally, themes related to motivation, community, and pedagogical practices indicated that the design of an AR coding platform should support collaboration, self-expression, and autonomy in learning. It should also foster selfefficacy and learners' ability to address lived experience and real-world problems through computational means.

关键词： Visualization Collaborative and Social Computing Interaction Design K-12 Computer Science Education Embodiment Augmented Reality Virtual Reality Computer Science Educational Technology Visual programming

来源：评论

学校读者我要写书评

暂无评论

ACM international conference Proceeding Series

ACM International Conference Proceeding Series

引用

6th Annual conference on Creativity and Making in Education, FabLearn 2016

ISBN: (纸本)1595930361

the proceedings contain 20 papers. the topics discussed include: probing participatory partnerships: equitably-consequential making by, for and with marginalized youth;TurnerToward a making community of practice: the social aspects of elementary classroom-based making;using human-centered design and social inventions to find the purposes in making;educating the reflective EducatorDesign processes and digital fabrication for the classroom;designing learning environments for social dreaming: from inquiry to insight, and action;using a visual programming environment and custom robots to learn C programming and K-12 STEM concepts;equity-oriented pedagogical strategies and student learning in after school making;a comparative analysis of the collaboration process across different technologies;curious construction kit: a programmable building kit for early childhood;university-community partnerships and equity in making;educating teachers for the maker movement: pre-service teachers' experiences facilitating maker activities;the e-textiles bracelet hack: bringing making to middle school classrooms;and questions as prototypes: facilitating children's discovery and elaboration during game design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

RealXR 2024 - Proceedings of the 1st Workshop on Prototyping and Developing Real-World Applications for Extended Reality, co-located with 17th international conference on Advanced Visual Interfaces 2024

RealXR 2024 - Proceedings of the 1st Workshop on Prototyping...

引用

1st Workshop on Prototyping and Developing Real-World Applications for Extended Reality, RealXR 2024

the proceedings contain 12 papers. the topics discussed include: designing a comparative study to evaluate VR body-mounted menu layouts: challenges and methodology;design considerations for the placement of data visualizations in virtually extended desktop environments;a review of virtual display layouts in HMD-based extended reality;exploring the potential of generative ai in prototyping XR applications;end-user development for extended reality using a multimodal intelligent conversational agent;towards semantic web integration in authoring tools for XR educational content development;sharing and exchanging realities through video see-through MR headsets;understanding creators mental models in immersive virtual reality programming;and prototyping augmented reality experiences using virtual and augmented reality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Considerations for the Design of Mini-games Integrating Hints for Puzzle Solving ICT-Related concepts

Considerations for the Design of Mini-games Integrating Hint...

引用

international conference on Advanced Learning Technologies (ICALT)

作者： Javier Melero Davinia Hern'ndez-Leo Josep Blat Department of Information and Communication Technologies Universitat Pompeu Fabra Barcelona Spain Universitat Pompeu Fabra Barcelona Catalunya ES

Educational games have been proved to be learning environments that are more in correspondence with new generation of students since they can provide successful learning and motivate students in their learning process. In this line, several studies describe the main factors that games should have in order to design engaging learning experiences. Taking into account these factors, this paper presents the design of three different game-based learning environments providing hints for puzzle solving different tasks within the area of computer architecture, programming fundamentals, and computing networks. An evaluation carried out with secondary and higher education students provides further considerations regarding the design of hints, score, and supportive learning material that should be taken into account when creating such kind of games.

关键词： Games Materials Computer architecture Computers programming profession Education

来源：评论

学校读者我要写书评

暂无评论

5th international conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2023

5th International Conference on Higher Education Learning Me...

引用

5th international conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2023

ISBN: (纸本)9783031673504

the proceedings contain 52 papers. the special focus in this conference is on Higher Education Learning Methodologies and Technologies Online. the topics include: Get in (Multi)touch with the Tangent;internationalisation Experience on a Digital Platform and Its Impact on Self-efficacy: the Results on a Sample of Initial Teacher Education Students;digital Multisensory Storytelling as Educational-Didactic Methodology for Emotional Literacy;automated Online Assessment and Cloud-Based programming: Advancing Computer Engineering Education;Leveraging Explainable AI Methods and Tools for Educational Data;botBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies;detecting the Usage of Large Language Models Exploiting generative Adversarial Networks;ontology for Constructively Aligned, Collaborative, and Evolving Engineer Knowledge-Management Platforms;augmented Didactic: the Potential of Gesture in Mobile Learning to Enhance Learning;digital Twins and E-Learning: Navigating Challenges and Opportunities;emotions in Practice: Studying Lectures and Seminars in On-Line and Offline Education;performing Art-Based Methodology for Empathetic Transposition into Online Learning experiences;improving Student Online Interactions and Teacher’s Ability to Manage them with the Quick Chat Moodle Plugin;promoting Meaningful Learning in Topology Supported by Undergraduate Students’ Video Creations;the Feedback in a Formative Assessment Path: Development of Communicative Skills in a Workshop Online;online Resources for Training Pre-service Primary School Teachers in Mathematics;mathematics Interpretative Tasks and Formative Assessment: A Digital Device for Teachers Training;Cybersecurity for Teens (CS4T) – A Project by Ludoteca of Registro .it;Learning CyberSecurity with Story-Driven CTF Challenges: CyberTrials 2023;superCyberKids: Enhancing Cybersecurity Education in K-12 through Digital Game-Based Learning;Empowering Higher Education with ChatGPT: Inn

关键词：

来源：评论

学校读者我要写书评

暂无评论

the Bedrock Structured programming System Combining generative Metaprogramming and Hoare Logic in an Extensible Program Verifier

引用

ACM SIGPLAN NOTICES 2013年第9期48卷 391-402页

作者： Chlipala, Adam MIT CSAIL United States

We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. From this foundation, we take literally the saying that C is a "macro assembly language": we introduce an expressive notion of certified low-level macros, sufficient to build up the usual features of C and beyond as macros with no special support in the core. Furthermore, our macros have integrated support for strongest postcondition calculation and verification condition generation, so that we can provide a high-productivity formal verification environment within Coq for programs composed from any combination of macros. Our macro interface is expressive enough to support features that low-level programs usually only access through external tools with no formal guarantees, such as declarative parsing or SQL-inspired querying. the abstraction level of these macros only imposes a compile-time cost, via the execution of functional Coq programs that compute programs in our intermediate language;but the run-time cost is not substantially greater than for more conventional C code. We describe our experiences constructing a full C-like language stack using macros, with some experiments on the verifiability and performance of individual programs running on that stack.

关键词： generative metaprogramming interactive proof assistants low-level programming languages functional programming

来源：评论

学校读者我要写书评

暂无评论

experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system

Experiences with a requirements-based programming approach t...

引用

international conference and Workshop on Engineering of Computer-Based Systems

作者： J.L. Rash M.G. Hinchey C.A. Rouff D. Gracanin J. Erickson Information Systems Division NASA Goddard Space Flight Center Greenbelt MD USA Advanced Concepts Business Unit SAIC Mclean VA USA Department of Computer Science Virginia Polytechnic Institute and State University Blacksburg VA USA Department of Computer Sciences University of Texas Austin Austin TX USA

Requirements-to-design-to-code (R2D2C) is an approach to the engineering of computer-based systems that embodies the idea of requirements-based programming in system development. It goes further, however, in that the approach offers not only an underlying formalism, but full formal development from requirements capture through to the automatic generation of provably-correct code. As such, the approach has direct application to the development of systems requiring autonomic properties. We describe a prototype tool to support the method, and illustrate its applicability to the development of LOGOS, a NASA autonomous ground control system, which exhibits autonomic behavior. Finally, we briefly discuss other areas where the approach and prototype tool are being considered for application.

关键词： NASA Control systems Systems engineering and theory Prototypes Application software Design engineering Information systems Computer science Ground support Automatic control

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：