![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
The Prioritization of External Security as a Means of Guaranteeing Multidimensional Security and Economic Growth
Security represents a complex concept that pragmatically seeks to define actions to reach stability in territorial established spaces. In this context, the present work shows an up-to-date analysis of security...
-
Chapter and Conference Paper
Factors Affecting the Adoption of AI by Organizations - From the Perspective of Knowledge Workers
The role of artificial intelligence (AI) solutions is growing in all types of organizations. AI is embraced in the hope of increased productivity, quality and satisfaction at work. Therefore, it is essential t...
-
Chapter and Conference Paper
Stackelberg Strategies on Epidemic Containment Games
In this paper, we discuss epidemic containment games, where agents are vertices of a graph G. Each agent has two strategies: being vaccinated or not. The cost of each agent for being vaccinated is 1. Consider an ...
-
Chapter and Conference Paper
MVFI-Net: Motion-Aware Video Frame Interpolation Network
Video frame interpolation (VFI) is to synthesize the intermediate frame given successive frames. Most existing learning-based VFI methods generate each target pixel by using the war** operation with either o...
-
Chapter and Conference Paper
RPA Experiments in SMEs Through a Collaborative Network
Robotic Process Automation (RPA) technology has been widely applied in many types of organizations. It is embraced in the hope of increased productivity, quality, and employee satisfaction. Intelligent Automat...
-
Chapter and Conference Paper
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP
Hardware architectures like x86 and ARM provide relaxed memory models for efficiency reasons. The revised ARMv8 architecture is multi-copy atomic (MCA), which brings relaxed-memory effects through thread-local...
-
Chapter and Conference Paper
Model Checking Python Programs with MSVL
To verify the correctness of Python programs, a novel approach for model checking Python programs with MSVL (Modeling, Simulation and Verification Language) is advocated. To this end, the rules for decoding th...
-
Chapter and Conference Paper
Design and Implementation of Multimedia Online Courseware Based on XML/XSLT and JavaScript
In order to solve the problems of post-maintenance and resource-sharing for traditional courseware, as well as extracting information and distribution storing data problems for HTML online courseware, this paper ...
-
Chapter and Conference Paper
Application of Digital Storytelling in Comprehensive Practice Activity Curriculums
The increasing development of computer and information technology has brought new challenges as well as opportunities to education. As a way of personal multimedia storytelling, digital storytelling is very po...
-
Chapter and Conference Paper
Research on Cultivating Innovate Thinking of Environment Art Students
Innovate thinking is the core of cultivating innovate capacity. This paper reasonable analysis a series of issues such as the common phenomenon of “poor quality of students”, “copy doctrine”, “Innovative think...