به نام خدا
Title: Assessing ICT User Groups
Authors: Benjamin Weiss, Ina Wechsung, Stefanie Marquardt
Abstract: A questionnaire to assess attitude towards information and communication technology (ICT) and experience with it is developed and evaluated. With 30 items user attributes are collected on six factors. With this questionnaire, individual users can be clustered in accordance with an existing ICT taxonomy. A revised version is proposed after the validation of the first questionnaire. This screening instrument is meant to complement existing methods of assessing competency with technology. Furthermore, the possibility to classify users within the ICT taxonomy provides additional means to analyze data from interaction experiments and to screen prospective participants for usability tests and scientific experiments.
Publish Year: 2012
Published in: NordiCHI - ACM
Number of Pages: 9
موضوع: فناوری اطلاعات و ارتباطات
ایران سای مرجع مقالات علمی فنی مهندسی
حامی دانش بومی ایرانیان
به نام خدا
Title: Bricolage: Example-Based Retargeting for Web Design
Authors: Ranjitha Kumar Jerry O Talton Salman Ahmad Scott R Klemmer
Abstract: The Web provides a corpus of design examples unparalleled in human history. However, leveraging existing designs to produce new pages is often difficult. This paper introduces the Bricolage algorithm for transferring design and content between Web pages. Bricolage employs a novel, structured-prediction technique that learns to create coherent mappings between pages by training on human-generated exemplars. The produced mappings are then used to automatically transfer the content from one page into the style and layout of an-other. We show that Bricolage can learn to accurately repro-duce human page mappings, and that it provides a general, efficient, and automatic technique for retargeting content between a variety of real Web pages.
Publish Year: 2011
Publisher: CHI - ACM
Number of Pages: 20
موضوع: طراحی صفحات وب
ایران سای – مرجع مقالات علمی فنی مهندسی
حامی دانش بومی ایرانیان
به نام خدا
Title: Engineering Mathematics: The Odd Order Theorem Proof
Authors: Georges Gonthier
Abstract: Even with the assistance of computer tools, the formalized description and verification of research-level mathematics remains a daunting task, not least because of the talent with which mathematicians combine diverse theories to achieve their ends. By combining tools and techniques from type theory, language design, and software engineering we have managed to capture enough of these practices to formalize the proof of the Odd Order theorem, a landmark result in Group Theory.
Publish Year: 2013
Published in: ACM-SIGPLAN-SIGACT
Number of Pages: 2
موضوع: ریاضی مهندسی
ایران سای – مرجع مقالات علمی فنی مهندسی
حامی دانش بومی ایرانیان