Glaucoma causes irreversible vision loss due to damage to the optic nerve, and there is no cure for glaucoma. OCT imaging modality is an essential technique for assessing glaucomatous damage since it aids in quantifyi...
详细信息
ISBN:
(数字)9783031165252
ISBN:
(纸本)9783031165252;9783031165245
Glaucoma causes irreversible vision loss due to damage to the optic nerve, and there is no cure for glaucoma. OCT imaging modality is an essential technique for assessing glaucomatous damage since it aids in quantifying fundus structures. To promote the research of AI technology in the field of OCT-assisted diagnosis of glaucoma, we held a Glaucoma OCT Analysis and Layer Segmentation (GOALS) Challenge in conjunction withthe internationalconference on Medical Image Computing and computer Assisted Intervention (MICCAI) 2022 to provide data and corresponding annotations for researchers studying layer segmentation from OCT images and the classification of glaucoma. this paper describes the released 300 circumpapillary OCT images, the baselines of the two sub-tasks, and the evaluation methodology. the GOALS Challenge is accessible at https://***/aistudio/eompetition/detail/230.
Timber frame construction offers the possibility of merging the supporting and insulating layer of a load-bearing element into a single plane. Common structural elements therefore consist of studs and beams, allowing ...
详细信息
Blind or visually impaired pet dogs have additional challenges to overcome in their daily life in environments typically built for sighted humans, as do their caregivers in supporting them. From simple activities like...
详细信息
ISBN:
(纸本)9781450398305
Blind or visually impaired pet dogs have additional challenges to overcome in their daily life in environments typically built for sighted humans, as do their caregivers in supporting them. From simple activities like finding their food in a hopefully stable home environment, to more complex activities like navigating an ever changing outdoor environment safely. While some support exists for blind and visually impaired dogs, frequently in the form of physical safety products and veterinary guidelines for care giving, little interactive technology yet exists to inform and complement caregivers' abilities. In this paper, we present the results of an interview-based study with caregivers of blind and visually impaired dogs, using thematic analysis to construct core themes of support needed, and translated these into a prototype app. Our findings show that, while caregivers can adapt quickly to coping with a blind or visually impaired pet dog in their own environment, a gap exists in coping with (ever changing) outdoor environments, in particular identifying safe and suitable outdoor walking routes. We show an initial design of a mobile app for this purpose, and discuss to what extent software for informed caregiving of visually impaired pet dogs could benefit from further work.
While the advance of technology in our homes makes human lives easier, it also presents an ever growing source of sounds that may be confusing for the dogs that share our homes with us. To understand to what extent th...
详细信息
ISBN:
(纸本)9781450398305
While the advance of technology in our homes makes human lives easier, it also presents an ever growing source of sounds that may be confusing for the dogs that share our homes with us. To understand to what extent this may be a challenge, we present the findings of an empirical study (N=104) into the perception of dogs' reactions to sound-producing technology in the home, and to what extent caregivers seem to have accurate understandings of dog body language. We found that dogs commonly react to any device in the home that produces sound, with some types of sounds seeming to lead to positive reactions, while others seem to trigger negative reactions consistent with anxiety and other fearful behavior. Our findings further indicated that caregivers seem to struggle with identifying dog body language indicative of such anxiety and fearful behavior, leading to the need for support in doing so. We present and discuss the initial design of technological support to identify when dogs are responding to sounds in the home in negative ways, and how this might be used to both inform caregiving towards dogs, as well as optimize home environments for multispecies co-existence.
the proceedings contain 117 papers. the topics discussed include: inter-satellite resource balancing based on genetic algorithm in terrestrial-satellite networks;collaborative multi-task learning across internet edges...
ISBN:
(纸本)9798350309461
the proceedings contain 117 papers. the topics discussed include: inter-satellite resource balancing based on genetic algorithm in terrestrial-satellite networks;collaborative multi-task learning across internet edges with device-to-device communications;deep reinforcement learning for UAV-assisted spectrum sharing: a minority game approach;TIDE: a timing-deterministic and efficient executor for micro-ROS;outage probability analysis of the symbiotic backscatter-NOMA systems;MCMSys: multimodal data closed-loop management system for autonomous driving;design and implementation of security enhancement mechanism for smart distribution transformer combine terminal based on WAPI;and change back meter carrier module intelligent sorting and management techniques based on ARM.
Withthe rapid development of the Internet, human social life and social economy have entered a new era of informatization, digitalization and globalization, which makes the importance of education more and more promi...
详细信息
ISBN:
(纸本)9789819914272
Withthe rapid development of the Internet, human social life and social economy have entered a new era of informatization, digitalization and globalization, which makes the importance of education more and more prominent. Withthe emergence of "Internet +", tremendous changes have taken place in all industries, and "Internet + education" is gradually becoming a development trend. Online education platforms are attracting more and more attention, and more schools and students are willing to learn through online LPs. In the teaching of various schools, teachers teach students in all aspects of listening, speaking, reading and writing through online platforms, which enables students to learn more conveniently and efficiently. Withthe progress and development of science and technology, the era of knowledge explosion has been ushered in, and the knowledge is being updated faster and faster. Contemporary students must be trained to be lifelong learners to adapt to this age of knowledge explosion. therefore, autonomous learning ability is becoming more and more important. computer-aided teaching provides teachers and students with real text, pictures, audio and video and other rich teaching resources. the characteristics of timely feedback of learning results in computer-aided teaching enable students’ independent learning. But the survey and results show that we must admit that there are still many schools that are reluctant to accept student-centered teaching models and are still using teacher-centered teaching models. According to a survey, more than 80 percent of high school students say that their opportunities to develop their independent learning ability in class are extremely limited, and many teachers do not know what or how to do it. After nine years of primary and secondary education, students are used to the traditional teaching mode when they enter high school. they rely entirely on teachers to organize, plan and evaluate their English learning, without real
the emergence of AI-powered chatbots like ChatGPT has generated excitement in many fields, including education. Some see this technology as a tool with a transformative impact similar to that of the printing press or ...
详细信息
ISBN:
(数字)9798350365887
ISBN:
(纸本)9798350365894
the emergence of AI-powered chatbots like ChatGPT has generated excitement in many fields, including education. Some see this technology as a tool with a transformative impact similar to that of the printing press or the Internet. In this paper, we evaluate how effectively undergraduate computer engineering students can use this technology and the challenges they encounter in their interactions with ChatGPT. To this end, we examined whether students could ask effective questions to ChatGPT while learning software design patterns with its assistance. Based on our findings, we provide curriculum recommendations to improve the integration of ChatGPT into undergraduate computer engineering education.
the advancements in digital tools and data collection methods ensure the continuing growth of textual data obtained through large-scale participation processes in urban contexts. In order to extract the thematic conte...
详细信息
User-centered design (UCD) is a continuous product development process where user feedback shapes the final product. An initial product design is iteratively refined until it provides a satisfying user experience (UX)...
详细信息
ISBN:
(纸本)9783031147852;9783031147845
User-centered design (UCD) is a continuous product development process where user feedback shapes the final product. An initial product design is iteratively refined until it provides a satisfying user experience (UX). Applying this iterative process to the development of Virtual Reality (VR) applications using traditional evaluation techniques such as questionnaires and interviews following UX testing is time-consuming. Active feedback from the users needs to be manually evaluated before it can be reflected in the subsequent refinements. In this work, we propose a framework to speed up the UCD process of VR applications by utilizing automated UX evaluation. We demonstrate it on the UCD of a VR-assisted robot programming interface. We conduct a UX study with 14 participants and report that we achieve a final designthat provides a better UX, which evolved in short iteration cycles.
the proceedings contain 29 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: TASTD: A Real-Time Extension for ASTD;validation by Abstraction and Refine...
ISBN:
(纸本)9783031331626
the proceedings contain 29 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: TASTD: A Real-Time Extension for ASTD;validation by Abstraction and Refinement;verifying Event-B Hybrid Models Using Cyclone;Exploration of Reflective ASMs for Security;Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory;adding Records to Alloy;designing Critical Systems Using Hierarchical STPA and Event-B;behavioural theory of Reflective Algorithms;building Specifications in the Event-B Institution: A Summary;using Deep Ontologies in Formal Software Engineering;verifying Temporal Relational Models with Pardinus;AMAN Case Study;modeling and Analysis of a Safety-Critical Interactive System through Validation Obligations;task Model design and Analysis with Alloy;modeling and Verifying an Arrival Manager Using Event-B;formal MVC: A Pattern for the Integration of ASM Specifications in UI Development;exploring a Methodology for Formal Verification of Safety-Critical Systems;extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems;a Framework for Formal Verification and Validation of Railway Systems;Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi;pattern-Based Refinement Generation through Domain Specific Languages;introducing Inductive Construction in B withthe theory Plugin;validation of Formal Models by Interactive Simulation;thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems;Encoding (Formula presented) Proof Obligations Safely for SMT;Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines;crucible Tools for Test Generation and Animation of Alloy Models.
暂无评论