| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466057203316 |
|
|
Titolo |
Practical Aspects of Declarative Languages [[electronic resource] ] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / / edited by Marco Gavanelli, John Reppy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 187 p. 29 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 9585 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Computer programming |
Computer logic |
Software engineering |
Algorithms |
Programming Languages, Compilers, Interpreters |
Programming Techniques |
Logics and Meanings of Programs |
Software Engineering |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996464515903316 |
|
|
Titolo |
Human-computer interaction : theory, methods and tools, thematic area, HCI 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021, Proceedings. Part I / / edited by Masaaki Kurosu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (680 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; v.12762 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Human-computer interaction |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Intro -- Foreword -- HCI International 2021 Thematic Areas and Affiliated Conferences -- Contents - Part I -- Contents - Part II -- Contents - Part III -- HCI Theory, Education and Practice -- Human-Computer Natural Interaction Design Practice Based on Unconscious Design Concept -- 1 Introduction -- 1.1 Human-Computer Natural Interaction -- 1.2 Unconscious Behavior Design -- 2 Research Summary -- 2.1 The Theoretical Background of Unconscious Behavior Design -- 2.2 Pervasive Computing -- 3 Human Computer Natural Interaction Design Framework Based on Unconscious Behavior -- 4 Design Practice of Intelligent Voice Bracelet for Cognitive Aging -- 4.1 Mental Model Analysis of the Elderly with Cognitive Impairment -- 4.2 Human Computer Natural Interaction Mode of Intelligent Voice Bracelet -- 4.3 Design of Intelligent Voice Bracelet -- 5 Conclusion -- References -- Implementation of Lean Product Development in a University Course and an Industry Project: Lessons Learned from a Comparative Study -- 1 Introduction -- 2 Literature Review -- 2.1 Insufficient Innovation Capacity of Enterprises -- 2.2 Potential Problems in Product Development -- 2.3 Lean Product Development -- 3 Method -- 3.1 LPD in University Course -- 3.2 LPD in Industry Project -- 3.3 Observation and Record -- 3.4 Data Analysis -- 4 Results -- 4.1 Reflection on the Practice of "Student Team" -- 4.2 Reflection |
|
|
|
|
|
|
|
|
|
on the Practice of "Enterprise Team" -- 5 Discussion -- References -- Human Computer Interacting Through a Game Engine: Qualifying Inclusive Design in Architecture -- 1 Introduction -- 2 Starting Point of the Project -- 2.1 Comparative Studies -- 2.2 Selecting of Test Subjects -- 2.3 Basic Research in Digital Representation Models -- 3 The Foundation of the Virtual Scenario Responder -- 3.1 Eye Tracking -- 3.2 Extended Eye Tracking in Areas of Interest. |
3.3 Comparison to a Plan and Section Scenario -- 3.4 Neurological EEG Pilot Study -- 3.5 Tracking Behavior -- 4 Implementing Universal Design in VSR with a Game Engine -- 4.1 The "Fitness for All" VSR Reports -- 5 Conclusive Remarks -- References -- Human-Computer Interaction in Education: Keyword and Discipline Network in 20 Years -- 1 Introduction -- 2 Definitions of HCI and the Four Approaches -- 3 Method and Procedure -- 4 Results -- 5 Discussion -- References -- Building Common Ground: Applying Mutual Learning in the UI/UX Education -- 1 Introduction -- 2 Background -- 2.1 UI/UX in HCI -- 2.2 UI/UX Education in HCI and Design Fields -- 2.3 Interdisciplinary Collaboration and Mutual Learning -- 3 Interdisciplinary Curriculum Design -- 3.1 Contexts -- 3.2 Course Design -- 3.3 Students' Design Outcomes -- 4 Interviews and Findings -- 4.1 Interviews with Students and Teaching Assistants -- 4.2 Findings -- 5 Conclusion -- References -- Smart Speakers for Inclusion: How Can Intelligent Virtual Assistants Really Assist Everybody? -- 1 Introduction -- 2 Background -- 3 Issues and Challenges -- 4 Interaction -- 5 Inclusive Design -- 6 Conclusion -- References -- A Panel to Confront the Differences in Intersectional HCI -- 1 Introduction -- 2 Situating the Feminist Technoscience -- 2.1 Third-Wave HCI -- 3 Research Methodology -- 4 Data Analysis -- 4.1 Intersectional HCI -- 4.2 A Panel to Confront Differences in Intersectional HCI -- 5 Results -- References -- Information Differentiation in the Information Society: From the Perspective of All Stages of Human Information Activities -- 1 Introduction -- 2 Theoretical Basis and Literature Review -- 2.1 Information Differentiation -- 2.2 Social Stratification Theory -- 2.3 Age Stratification Theory -- 3 Put Forward a Hypothesis -- 3.1 The Influence of Age on the Status of Individual Information Society. |
3.2 The Influence of the Level of Education and the Status of Individual Information Society -- 3.3 The Influence of Personal Income and Individual Information Society Status -- 3.4 The Influence of the Degree of Social Support and the Status of Individual Information Society -- 3.5 The Influence of Information Consumption and Individual Information Society Status -- 3.6 The Influence of Occupation on the Status of Individual Information Society -- 4 Research Design -- 4.1 Data Resource -- 4.2 Research Ideas and Methods -- 4.3 Explanatory Variables and Expanded Variables -- 5 Research Results -- 5.1 Factor Analysis -- 5.2 Single Factor Analysis of Variance -- 5.3 Multiple Linear Regression Analysis -- 6 Discussion -- References -- Machine-Human Interaction: A Paradigm Shift? -- 1 Introduction -- 2 Background -- 3 Related Works -- 4 Methods -- 4.1 Measurement -- 5 Discussion -- 5.1 On Human-Computer Interaction -- 5.2 Black Twitter? -- 5.3 Measuring Marginalisation in HCI -- 6 Conclusion -- References -- Understanding Agency in Human-Computer Interaction Design -- 1 Introduction -- 2 The Concept of Agency -- 3 Towards a Framework for Agency in Interaction Design -- 4 Mapping Agency to Interaction Design -- 5 Discussion and Conclusions -- References -- Grounding of Concept, Indexical, and Name -- 1 Apparent Terminological Redundany -- 1.1 Three Times Three Related Notions -- 1.2 1st Correlation: Semantic and Syntactic Kind -- 1.3 2nd Correlation: Content Kind and Comput. Mechanism -- 1.4 Cognitive |
|
|
|
|
|
|
|
Square of DBS -- 1.5 Closer View of the Cognitive Square -- 1.6 Proplets Instantiating the Cognitive Square of DBS -- 2 Restriction of Figurative Use to Concepts -- 2.1 Three Content Kinds for the Semantic Kind Referent -- 2.2 Two Content Kinds for the Semantic Kind Property -- 2.3 One Content Kind for the Semantic Kind Relation. |
3 Additional Constraint on Figurative Use -- 3.1 Invariance Constraint -- 3.2 Syntactic-Semantic Invariance of Figurative Use -- 3.3 Example Using All Three Semantic Kinds Figuratively -- 4 Declarative Specification of Concepts for Recognition -- 4.1 Declarative Specification for Recognizing the Color Blue -- 4.2 Place Holder Value of Concept Used for Lexical Lookup -- 4.3 Sensor Interacting with Lang. Concept Type (Surface) -- 5 Declarative Specification of Concepts for Action -- 5.1 Rule for Producing the Color Blue -- 5.2 Realizing Letter Tokens as Raw Data in Vision Medium -- 6 Indirect Grounding of Indexicals and Names -- 6.1 Similarity and Difference Between Color Concept Types -- 7 Conclusion -- References -- Ethics in Human-Centered Design -- 1 Introduction -- 2 Research Questions -- 3 The Questionnaire Survey -- 3.1 The Questions -- 3.2 Responses to the Questionnaire -- 4 Discussions -- 5 Conclusions and Future Work -- References -- AI Creativity and the Human-AI Co-creation Model -- 1 Introduction -- 2 Related Work -- 2.1 The Rise of AI and Potential Impacts -- 2.2 Collaboration Between Humans and AI -- 2.3 AI and Creativity -- 2.4 The Study of Creativity -- 3 The "AI Creativity" -- 3.1 Preliminary Definition of AI Creativity -- 3.2 AI Creativity Reshapes Creative Process -- 4 The Application of "AI Creativity" -- 4.1 AI Creativity Prospering Across Industries -- 4.2 Examples Throughout the Human-AI Co-creation Model -- 5 The Future of AI Creativity -- 5.1 Developing AI Creativity -- 5.2 Challenges and Opportunities -- 6 Conclusion -- References -- Two-Way Human-Agent Trust Relationships in Adaptive Cognitive Agent, Adaptive Tasking Scenarios: Literature Metadata Analysis -- 1 Introduction -- 1.1 Agent Capabilities -- 1.2 Importance of Trust -- 2 Method -- 3 Results -- 4 Discussion -- 4.1 Measurement of Human Trust. |
4.2 Measurement of Agent Trust -- 4.3 Adaptive Scenario Mechanism -- 4.4 Adaptive Agent Mechanism -- 4.5 Type of Collaborative Tasking -- 4.6 Level of Automation of Agent -- 4.7 Embodiment of Agent -- 4.8 Trust in Adaptive Agent -- 4.9 Limitations -- 5 Conclusion -- References -- A Review of Multimodal Interaction in Intelligent Systems -- 1 Introduction -- 2 Method -- 2.1 Information Source -- 2.2 Inclusion and Prescreening Criteria -- 2.3 Eligibility Criteria -- 2.4 Data Synthesis -- 3 Results -- 3.1 XR Systems -- 3.2 Robot Systems -- 4 Discussion -- 5 Conclusion -- References -- An Unheimlich Media: Bringing the Uncanny into the World -- 1 Introduction -- 2 The Uncanny and Montage -- 2.1 The Unheimlich -- 2.2 The Montage -- 3 Montage and Otherness -- 3.1 The Self and the Other -- 3.2 The Uncanny as Facing Otherness -- 4 The Uncanny as an Artistic Form -- 4.1 The Montage Becomes Presence -- 5 The Montage as the Pataphysical Object -- References -- Implementation Goals for Multimodal Interfaces in Human-Computer Interaction -- 1 Introduction -- 2 Potentialities and Constraints of Multimodal Interfaces -- 3 Development Requirements -- 4 Objectives for Multimodal Interfaces Implementation -- 5 Conclusion -- References -- UX Evaluation Methods, Techniques and Tools -- Guidelines for Collecting Automatic Facial Expression Detection Data Synchronized with a Dynamic Stimulus in Remote Moderated User Tests -- 1 Introduction -- 2 Background Literature: Remote Moderated User Testing -- 3 Method -- 3.1 Remote User Testing Platform Selection -- 3.2 Automatic Facial Expression Analysis (AFEA) -- 3.3 User Test |
|
|
|
|
|
|
|
|
Prerequisites and Instructions -- 3.4 Data Analysis and Synchronization -- 4 Results -- 4.1 Lessons Learned -- 5 Discussion and Conclusion -- References -- Distributed Remote Psychophysiological Data Collection for UX Evaluation: A Pilot Project. |
1 Introduction. |
|
|
|
|
|
| |