Research Outputs
Permanent URI for this communityhttps://hdl.handle.net/20.500.14288/2
Browse
6 results
Search Results
Publication Metadata only A novel adaptive web-based environment to help deafblind individuals in accessing the web and lifelong learning(Springer Nature, 2020) Shohieb, Samaa M; Haji, Shaibou Abdoulai; N/A; Doenyas, Ceymi; PhD Student; Graduate School of Social Sciences and Humanities; 277852Deafblindness is a combination of hearing and sight impairment that affects how a person accesses information and communicates with others. This paper presents the design, implementation, and validation of a creative adaptive web-based environment to support deafblind individuals in their web accessibility and life-long learning processes. This system adapts to deafblind users’ degree of loss of senses. It retrieves the web page content using dumbing of DOM (Document Object Model) technique and converts the retrieved content into an appropriate format. If the user can hear, the text is transformed into speech. If they have some sight sense, the content is transformed to screen-based Picture Exchange Communication System (PECS) presentation technique. However, if the user has an entirely dual sensory loss, the web page content is transformed into a tactile presentation technique (Moon code or Braille) that can be printed with a special embosser printer on swelled paper or touched using a display device. In the tests performed to deafblind users, this system obtained about 85% user satisfaction. This novel adaptable system that has been tested with users offers the benefit of easing at least some of the daily challenges faced by these individuals and of aiding them in web accessibility and lifelong learning content.Publication Restricted Answering spatial density queries under local differential privacy(Koç University, 2022) Tire, Ekin; Gürsoy, Mehmet Emre; 0000-0002-7676-0167; Koç University Graduate School of Sciences and Engineering; Computer Science and Engineering; 330368Publication Restricted Domain adaptation for speech-driven affective facial features synthesis(Koç University, 2020) Sadıq, Rızwan; Erzin, Engin; 0000-0002-2715-2368; Koç University Graduate School of Sciences and Engineering; Electrical and Electronics Engineering; 34503Publication Restricted Interpretable cancer stage classification using sparse bayesian neural networks(Koç University, 2024) Yurdakul, Hazal Hasret; Gönen, Mehmet; 0000-0002-2483-075X; Koç University Graduate School of Sciences and Engineering; Computer Science and Engineering; 237468Publication Restricted Keyframe demonstration seeded and bayesian optimized policy search(Koç University, 2022) Töre, Onur Berk; Akgün, Barış; 0000-0002-4079-6889; Koç University Graduate School of Sciences and Engineering; Computer Science and Engineering; 258784Publication Metadata only Runtime verification of concurrency-specific correctness criteria(2012) Qadeer, Shaz; Department of Computer Engineering; Taşıran, Serdar; Faculty Member; Department of Computer Engineering; College of Engineering; N/AWe give an overview of correctness criteria specific to concurrent shared-memory programs and runtime verification techniques for verifying these criteria. We cover a spectrum of criteria, from ones focusing on low-level thread interference such as races to higher-level ones such as linearizability. We contrast these criteria in the context of runtime verification. We present the key ideas underlying the runtime verification techniques for these criteria and summarize the state of the art. Finally, we discuss the issue of coverage for runtime verification for concurrency and present techniques that improve the set of covered thread interleavings.