Yong Cheng

Joint Training for Neural Machine Translation

This book presents four approaches to jointly training bidirectional neural machine translation (NMT) models. First, in order to improve the accuracy ...

Federated Learning

How is it possible to allow multiple data owners to collaboratively train and use a shared prediction model while keeping all the local training data ...

Interpretation of Organic Spectra

Although there are a number of books in this field, most of them lack an introduction of comprehensive analysis of MS and IR spectra, and others do no...

Incompleteness for Higher-Order Arithmetic

An Example Based on Harrington’s Principle

Gödel's true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interestin...

Structural Identification of Organic Compounds with Spectroscopic Techniques

Clearly structured, easy to read and optimal to understand, this extensive compendium fills the gap between textbooks devoted to either spectra interp...

Incompleteness for Higher-order Arithmetic

An Example Based on Harrington's Principle

The book examines the following foundation question: are all theorems in classic mathematics which are expressible in second order arithmetic provable...