![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
302 Result(s)
-
Chapter and Conference Paper
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
Deep Reinforcement Learning (DRL) has demonstrated its strength in develo** intelligent systems. These systems shall be formally guaranteed to be trustworthy when applied to safety-critical domains, which is...
-
Chapter
Advances in Development of mRNA-Based Therapeutics
Recently, mRNA-based therapeutics have been greatly boosted since the development of novel technologies of both mRNA synthesis and delivery system. Promising results were showed in both preclinical and clinica...
-
Chapter and Conference Paper
Certificateless Identity Management and Authentication Scheme Based on Blockchain Technology
Identity management and authentication in cyberspace is crucial for all forms of remote communication. The traditional authentication technology has great security risks due to its central third-party structur...
-
Chapter
Two Exogenous Crises in 1997 and 2008: Occurrence, Response and Impact
The Eighth and Ninth Crises 1997 and 2008: After increasing integration into globalization, China’s economy shifted from scarcity to overcapacity. Previous crises were mostly endogenous despite the external fa...
-
Chapter
Introduction
It introduces the theoretical framework which is based on Immanuel Wallerstein’s world system theory and Samir Amin’s dependence theory, as well as the theory of cost transfer. It argues that throughout China’...
-
Chapter
Unfolding Crisis and Great Transformation (2013–2020): From Globalization to Ecological Civilization as Localization
The Tenth Crisis 2013-the present. This chapter gives a brief evaluation of the unfolding situation since 2013. It presents the idea of ecological civilization which may serve as an alternative to the developm...
-
Chapter
Chronicle of Major Events 1949 to 2020
The land revolution of “equal distribution” agrarian system embodied the fundamental demand of traditional peasants for the past several millennia. The war spurred the mobilization of the largest peasant popul...
-
Chapter
On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems
Real-time embedded systems are information processing systems that require both functional and timing correctness.
-
Chapter and Conference Paper
Correction to: MultiMedia Modeling
The original version of this book was revised. Due to a technical error, the first volume editor did not appear in the volumes of the MMM 2020 proceedings. This was corrected and the first volume editor was ad...
-
Chapter and Conference Paper
Correction to: MultiMedia Modeling
The original version of this book was revised. Due to a technical error, the first volume editor did not appear in the volumes of the MMM 2020 proceedings. A funding number was missing in the acknowledgement s...
-
Chapter and Conference Paper
Improving Multi-turn Response Selection Models with Complementary Last-Utterance Selection by Instance Weighting
Open-domain retrieval-based dialogue systems require a considerable amount of training data to learn their parameters. However, in practice, the negative samples of training data are usually selected from an u...
-
Chapter and Conference Paper
LEAP-UCD-2017 V. 1.01 Model Specifications
This paper describes the specifications developed by and distributed to all of the centrifuge test facilities involved in LEAP-UCD-2017. The specified experiment consisted of a submerged medium dense clean san...
-
Chapter and Conference Paper
LEAP-UCD-2017 Centrifuge Tests at NCU
Liquefaction Experiments and Analysis Projects (LEAP) aim to use simple centrifuge modeling tests to validate and calibrate the numerical modeling results. In LEAP-UCD-2017 project, the design and specificatio...
-
Chapter and Conference Paper
An Approach for Process Model Extraction by Multi-grained Text Classification
Process model extraction (PME) is a recently emerged interdiscipline between natural language processing (NLP) and business process management (BPM), which aims to extract process models from textual descripti...
-
Chapter and Conference Paper
SOS-EW: System for Overdose Spike Early Warning Using Drug Mover’s Distance-Based Hawkes Processes
Opioid addictions and overdoses have increased across the U.S. and internationally over the past decade. In urban environments, overdoses cluster in space and time, with 50% of overdoses occurring in less tha...
-
Chapter and Conference Paper
Difference and Sensitivity Analyses of the LEAP-2017 Experiments
The experimental results of LEAP (Liquefaction Experiments and Analysis Projects) centrifuge test replicas of a saturated slo** deposit are used to assess the sensitivity of soil accelerations to variability...
-
Chapter and Conference Paper
LEAP-UCD-2017 Comparison of Centrifuge Test Results
This paper compares experimental results from every facility for LEAP-UCD-2017. The specified experiment consisted of a submerged medium-dense clean sand with a 5-degree slope subjected to 1 Hz ramped sine wav...
-
Chapter and Conference Paper
LEAP-2017: Comparison of the Type-B Numerical Simulations with Centrifuge Test Results
This paper presents comparisons of 11 sets of Type-B numerical simulations with the results of a selected set of centrifuge tests conducted in the LEAP-2017 project. Time histories of accelerations, excess por...
-
Chapter
Conclusive Remarks
Cost effectiveness, environmentally benign, and synthetic efficiency are three most important aspects of organic synthesis. The first two aspects are more significant for large scale synthesis
-
Chapter and Conference Paper
Correction to: MultiMedia Modeling
In the original version of the book, the following belated corrections have been incorporated: