![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
1,361 Result(s)
-
Chapter and Conference Paper
Correction to: A Survey of Control Flow Graph Recovery for Binary Code
-
Chapter and Conference Paper
Returning Home Strategy Analysis Using Mobile Sensing Data in Tohoku Earthquake
In recent decades, there has been a significant increase in the frequency and intensity of natural disasters. Such catastrophic events often result in large-scale population movements and evacuations. Analyzin...
-
Chapter and Conference Paper
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
AISE is a static verifier that can verify the safety properties of C programs. The core of AISE is a program verification framework that synergizes abstract interpretation and symbolic execution in a novel manner...
-
Chapter and Conference Paper
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation
Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer science and beyond. Quantum SAT ...
-
Chapter and Conference Paper
How to Be a Well-Prepared Organizer: Studying the Causal Effects of City Events on Human Mobility
The analysis of how city events causally affect human mobility is of critical importance. The city government will be thrilled to know how an impending event will influence mobility beforehand, so that they ca...
-
Chapter and Conference Paper
Correction to: Lightweight Model Inference on Resource-Constrained Computing Nodes in Intelligent Surveillance Systems
-
Chapter and Conference Paper
Correction to: Half-Tree: Halving the Cost of Tree Expansion in COT and DPF
-
Chapter and Conference Paper
Agitated Behaviors Detection in Children with ASD Using Wearable Data
Children diagnosed with Autism Spectrum Disorder (ASD) often exhibit agitated behaviors that can isolate them from their peers. This study aims to examine if wearable data, collected during everyday activities...
-
Chapter
Conclusion
As the core infrastructure, data center provides a strong platform support for cloud computing, and so on. Nevertheless, the rapid growth of its network scale leads to great challenges in network optimization.
-
Chapter and Conference Paper
Deriving Physiological Information from PET Images Using Machine Learning
Machine learning (ML) algorithms have become popular in recent years and have found increasing utility in the field of medical imaging, specifically in positron emission tomography (PET) imaging. The interest ...
-
Chapter and Conference Paper
Correction to: Flashproofs: Efficient Zero-Knowledge Arguments of Range and Polynomial Evaluation with Transparent Setup
-
Chapter and Conference Paper
Correction to: Non-Interactive Zero-Knowledge Proofs with Fine-Grained Security
In an older version of this paper, there was an erroneous insertion of an equation on page 315. This has been removed.
-
Chapter and Conference Paper
Correction to: Heavy-Duty Emission Prediction Model Using Wavelet Features and ResNet
-
Chapter and Conference Paper
Correction to: Simulating Spiking Neural Networks Based on SW26010pro
-
Chapter and Conference Paper
Vapor Condensation Under Electric Field: A Study Using Molecular Dynamics Simulation
The condensation of water vapor on the substrate surface under electric field is studied by molecular dynamics simulation, and a series of behaviors of water molecules during condensation were studied, such as...
-
Chapter and Conference Paper
Retraction Note to: An Efficient Channel Attention CNN for Facial Expression Recognition
The authors have retracted this conference paper because, during the pre-processing of the dataset in this study, the training set, test set and validation set were normalised together. As a result, the author...
-
Chapter and Conference Paper
Service Function Chaining Design & Implementation Using Network Service Mesh in Kubernetes
Service Function Chaining (SFC) in a cloud-native environment is becoming essential as more users move towards clouds today. Cloud-native environments utilize container-based microservices to provide software ...
-
Chapter and Conference Paper
Tree-Based Models for Pain Detection from Biomedical Signals
For medical treatments, pain is often measured by self-report. However, the current subjective pain assessment highly depends on the patient’s response and is therefore unreliable. In this paper, we propose a ...
-
Chapter and Conference Paper
Correction to: Anonymizing Global Edge Weighted Social Network Graphs
In the originally published chapter 9 some of the paragraphs were presented in their unfinished version, which affected the readability of the paper. The sections Introduction, Preliminary and References have ...
-
Chapter and Conference Paper
Correction to: Federated Learning for Non-IID Data: From Theory to Algorithm
In the originally published version of chapter 3 the second affiliation of the author Bojian Wei was incorrect. The second affiliation of the author Bojian Wei has been corrected as “School of Cyber Security, ...