With the rapid development of cloud services, it has become the core driving force for innovation and business development in the digital era. The emerging technology of cloud computing has transformed cloud services ...
详细信息
ISBN:
(纸本)9783031613500;9783031613517
With the rapid development of cloud services, it has become the core driving force for innovation and business development in the digital era. The emerging technology of cloud computing has transformed cloud services from simple resource providers into comprehensive ecosystems, offering users unprecedented convenience, flexibility, and efficiency. In this context, this project focuses on the application of conversational interaction design in the field of cloud services, aiming to enhance the user interface and provide a more convenient and comfortable user experience (UX). Conversational interaction design, based on human-computer interaction (HCI), aims to deliver a more natural, intuitive, and personalized UX. By integrating artificial intelligence technology with cloud services, an intelligent conversational interface is created, allowing users to interact, manage, and optimize cloud services effortlessly. Through in-depth research and practical implementation, this project explores the diversity of user needs to ensure that conversational interaction design can meet the requirements of different user groups.
In this paper, I introduce the extended type-theory of acyclic algorithms L-ar(lambda) and its version L-r(lambda) with full recursion. The extended theory and its reduction calculus provide algorithmic semantics of a...
详细信息
ISBN:
(数字)9783031608780
ISBN:
(纸本)9783031608773;9783031608780
In this paper, I introduce the extended type-theory of acyclic algorithms L-ar(lambda) and its version L-r(lambda) with full recursion. The extended theory and its reduction calculus provide algorithmic semantics of attitude expressions, including beliefs, knowledge, and statements, which are present in advanced applications requiring computational semantics of natural language. The extended type-theory of algorithms includes restrictor terms, terms of logic operators, and pure quantifiers. The restrictor terms have effects of presuppositional restrictions, requiring objects to have certain properties. I provide brief, while important information on the relation of the theory of recursion L-r(lambda) to the formal language LCF of lambda-calculus, by Dana S. Scott and Gordon Plotkin, covering let-expressions for semantics of programming langages.
The majority of theories and models of social influence tend to focus on the social-behavioral level and implicitly discount the potential role of cognitive explanations to ground out social phenomena in cognitive ope...
详细信息
ISBN:
(纸本)9783031722400;9783031722417
The majority of theories and models of social influence tend to focus on the social-behavioral level and implicitly discount the potential role of cognitive explanations to ground out social phenomena in cognitive operations. The present study describes a preliminary simulation of social influence and conformity using two possible cognitive mechanisms: the first a homophily-based model that weighs belief updating based on generating a latent trust magnitude, and the second is a novel similarity-learning mechanism that weighs memory retrieval via similarity. While the homophily model was able to capture both influence and conformity effects based on degree of initial strength in the belief and crystallization of the belief, the similarity-based model always conformed. Both models exhibited initial learning and larger belief updating while settling to a relatively-stable state over time. Future implications for modeling influence via cognitive factors are discussed.
The paper proposes an approach to improving player engagement and learning outcomes in seminar-style games, based on emphasizing player agency, meaningful choices, and uncertainty. As a case study, it introduces a gam...
详细信息
ISBN:
(纸本)9783031490644;9783031490651
The paper proposes an approach to improving player engagement and learning outcomes in seminar-style games, based on emphasizing player agency, meaningful choices, and uncertainty. As a case study, it introduces a game focused on trust in cybersecurity, whose design incorporates resource management, hidden agendas for each player, and a shared failure condition.
A relation on the free monoid is conjugate if each pair of words in the relation is conjugate, i.e., cyclic shifts of each other. We show that checking whether a rational relation is conjugate is decidable. This exten...
详细信息
ISBN:
(数字)9783031661594
ISBN:
(纸本)9783031661587;9783031661594
A relation on the free monoid is conjugate if each pair of words in the relation is conjugate, i.e., cyclic shifts of each other. We show that checking whether a rational relation is conjugate is decidable. This extended abstract outlines the proof of this fact. A result of independent interest is a generalisation of the classical Lyndon-Schutzenberger theorem from word combinatorics that equates conjugacy of a pair of words (u, v) and the existence of a word z (called a witness) such that uz = zv. A full version of the paper, with details of the proof, can be found on arXiv [1].
Recent developments in biometric data acquisition, artificial intelligence, and the widespread adoption of extended reality (XR) devices have facilitated the emergence of various technologies for emotion visualization...
详细信息
ISBN:
(纸本)9783031613500;9783031613517
Recent developments in biometric data acquisition, artificial intelligence, and the widespread adoption of extended reality (XR) devices have facilitated the emergence of various technologies for emotion visualization. However, research focused specifically on daily face-to-face communication is scarce. The visualization of emotions carries the risk of privacy infringement, and displaying all emotions does not necessarily facilitate communication. In particular, individuals may wish to avoid displaying negative emotions. Additionally, users feel discomfort if they cannot control the visualization of their emotions. Therefore, this study introduces an everyday face-to-face communication support service called "Positive Lab," which focuses on positive emotions. This service constructs a system that displays "emotion objects" in augmented reality (AR) space by using the user's gesture as a trigger, which allows users to express their emotions whenever they want. Experimental results suggest that the system facilitates emotional transmission, enhances the communication experience, and amplifies positive emotions, revealing the usefulness of the service. Moreover, the potential applications of the service were demonstrated.
Under the background of Rural Revitalization Strategy, rural tourism has become a "hot spot" in the tourism market. As a kind of experience economy, tourist experience has a significant impact on rural touri...
详细信息
ISBN:
(纸本)9783031613616;9783031613623
Under the background of Rural Revitalization Strategy, rural tourism has become a "hot spot" in the tourism market. As a kind of experience economy, tourist experience has a significant impact on rural tourism satisfaction, so it has also become a key research topic of Chinese scholars in the field of rural tourism. In order to further sort out the research situation in the academic field of rural tourism experience design and user satisfaction in China, and provide reference for the follow-up academic research in this field, this paper uses the method of bibliometric analysis of scientific literature, selects the journal articles and master and doctoral theses of CNKI on "rural tourism, experience design and tourist satisfaction" from 2004 to 2023 as the research object, and uses CiteSpace visual literature analysis software for comprehensive analysis. The results show that: 1) the domestic research on the relationship between rural tourism experience design and satisfaction can be divided into two stages, and the research heat and the amount of literature show an overall upward trend;2) the high-yield author group has not yet formed, and there is little cooperation between authors and research institutions;The majority of research institutions are in inland areas, and the main type of research institutions is universities;3) the keyword analysis based on the knowledge map shows that the research hotspots mainly focus on the influencing factors of rural tourism satisfaction, product experience design such as rural home stay, and rural tourism development strategy.
Payment channels allow a sender to do multiple transactions with a receiver without recording each single transaction on-chain. While most of the current constructions for payment channels focus on UTXObased cryptocur...
详细信息
ISBN:
(纸本)9783031488054;9783031488061
Payment channels allow a sender to do multiple transactions with a receiver without recording each single transaction on-chain. While most of the current constructions for payment channels focus on UTXObased cryptocurrencies with reduced scripting capabilities (e.g., Bitcoin or Monero), little attention has been given to the possible benefits of adapting such constructions to cryptocurrencies based on the account model and offering a Turing complete language (e.g., Ethereum). The focus of this work is to implement efficient payment channels tailored to the capabilities of account-based cryptocurrencies with Turingcomplete language support in order to provide scalable payments that are interoperable across different cryptocurrencies and unlinkable for thirdparties (e.g., payment intermediaries). More concretely, we continue the line of research on cryptocurrency universal payment channels (UPC) which facilitate interoperable payment channel transactions across different ledgers in a hub-and-spoke model, by offering greater scalability than point-to-point architectures. Our design proposes two different versions, UPC and AUPC. For UPC we formally describe the protocol ideas sketched in previous work and evaluate our proof-of-concept implementation. Then, AUPC further extends the concept of universal payment channels by payment unlinkability against the intermediary server.
This study aims to examine the influence between innovative education driven by design thinking and student engagement, emphasizing the crucial role of training model of innovative talents and the impact of the backgr...
详细信息
ISBN:
(纸本)9783031613586;9783031613593
This study aims to examine the influence between innovative education driven by design thinking and student engagement, emphasizing the crucial role of training model of innovative talents and the impact of the background of blockchain technology. Data were collected through a questionnaire survey of 325 students from higher education institutions in Hunan, China. Insights were obtained through structural equation modelling analysis. The research results indicate that innovative education driven by design thinking positively influences the development of creative skills and student engagement. In this process, the mediating role of the training model of innovative talents did not receive empirical support. However, there was empirical support for the negative moderating effect of the background of blockchain technology in this context, filling a gap in the current research. These findings underscore the value of incorporating design thinking into educational programs aimed at promoting innovation to enhance student engagement. The study includes limitations and provides recommendations for future research.
暂无评论