برچسب: 2019

Artificial Companion for Second Language Conversation: Chatbots Support Practice Using Conversation Analysis

Artificial Companion for Second Language Conversation: Chatbots Support Practice Using Conversation Analysis

Artificial Companion for Second Language Conversation: Chatbots Support Practice Using Conversation Analysis

Title: Artificial Companion for Second Language Conversation: Chatbots Support Practice Using Conversation Analysis | Author(s): Sviatlana Höhn | Publisher: Springer | Year: 2019 | Language: English | Pages : 348 | ISBN: 978-3-030-15503-2, 978-3-030-15504-9 | Size: 5 MB  | Extension: pdf 
 

The research described in this book shows that conversation analysis can effectively model dialogue. Specifically, this work shows that the multidisciplinary field of communicative ICALL may greatly benefit from including Conversation Analysis. As a consequence, this research makes several contributions to the related research disciplines, such as conversation analysis, second-language acquisition, computer-mediated communication, artificial intelligence, and…

Introduction to Software Design with Java

Introduction to Software Design with Java

Introduction to Software Design with Java

Title: Introduction to Software Design with Java | Author(s): Martin P. Robillard | Publisher: Springer | Year: 2019 | Language: English | Pages : 303 | ISBN: 9783030240936 | Size: 6 MB | Extension: pdf
 
 
This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by discovering the experience of the design process. To this end, a narrative is used that introduces each element of design know-how in context, and explores alternative solutions in that context. The narrative is supported by hundreds of code fragments and design diagrams.The first chapter is a general introduction to software design. The subsequent chapters…

Post-Quantum Cryptography: 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised ed Papers

Post-Quantum Cryptography: 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised ed Papers

Post-Quantum Cryptography: 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised ed Papers

Title: Post-Quantum Cryptography: 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised Selected Papers | Author(s): Jintai Ding, Rainer Steinwandt | Publisher: Springer | Year: 2019 | Language: English Pages : 421 | ISBN: 3030255093, 9783030255091 | Size: 10 MB | Extension: pdf
 
This book constitutes the refereed proceedings of the 9th International Workshop on Post-Quantum Cryptography, PQCrypto 2018, held in Fort Lauderdale, FL, USA, in April 2018. The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on Lattice-based Cryptography, Learning with Errors, Cryptanalysis, Key Establishment, Isogeny-based Cryptography, Hash-based cryptography,…

Practicing the Correspondence Principle in the Old Quantum Theory. A Transformation through Implementation

Practicing the Correspondence Principle in the Old Quantum Theory. A Transformation through Implementation

Practicing the Correspondence Principle in the Old Quantum Theory. A Transformation through Implementation

Title: Practicing the Correspondence Principle in the Old Quantum Theory. A Transformation through Implementation |  Volume: 56 | Author(s): Martin Jähnert | Publisher: Springer | Year: 2019 | Language: English | Pages : 293 | ISBN: 978-3-030-13299-6, 978-3-030-13300-9 | Size: 3 MB | Extension: pdf
 

This book presents a history of the correspondence principle from a new perspective. The author provides a unique exploration of the relation between the practice of theory and conceptual development in physics. In the process, he argues for a new understanding of the history of the old quantum theory and the emergence of quantum mechanics.
The analysis looks at how the correspondence principle was disseminated and how the principle was applied as a…

In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Title: In-Memory Computing: Synthesis and Optimization | Author(s): Saeideh Shirinzadeh; Rolf Drechsler | Publisher: Springer | Year: 2019  | Language: English | Pages : 121 | ISBN: 3030180255, 9783030180256 | Size: 2 MB | Extension: pdf
 
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for practical applications. Readers will get familiar with a new generation of computer architectures that potentially can perform faster, as the necessity for communication between the processor and memory is surpassed. The discussion includes various synthesis methodologies and optimization algorithms targeting implementation cost metrics…

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Title: Formal Methods. An Appetizer | Author(s): Flemming Nielson, Hanne Riis Nielson | Publisher: Springer | Year: 2019 | Language: English | Pages : 170 | ISBN: 978-3-030-05155-6 | Size: 2 MB | Extension: pdf
 

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.
The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods…

Problems and Solutions in Nuclear and Particle Physics

Problems and Solutions in Nuclear and Particle Physics

Problems and Solutions in Nuclear and Particle Physics

Title: Problems and Solutions in Nuclear and Particle Physics | Author(s): Sergio Petrera | Publisher: Springer | Year: 2019 | Language: English | Pages : 140 | ISBN: 978-3-030-19772-8, 978-3-030-19773-5  | Size: 2 MB  | Extension: pdf
 
This book presents 140 problems with solutions in introductory nuclear and particle physics. Rather than being only partially provided or simply outlined, as is typically the case in textbooks on nuclear and particle physics, all solutions are explained in detail. Furthermore, different possible approaches are compared. Some of the problems concern the estimation of quantities in realistic experimental situations. In general, solving the problems does not require a substantial mathematics background, and the focus is…

Diagnosis of Liver Disease

Diagnosis of Liver Disease

Diagnosis of Liver Disease

Title: Diagnosis of Liver Disease | Author(s): Etsuko Hashimoto et al. (eds.) | Publisher: Springer | Year: 2019 | Edition: 2nd | Language: English | Pages : 305 | ISBN: 9789811368059 | Size: 54 MB | Extension: pdf
 
This book guides practitioners in the assessment of patients with a liver problem. The emphasis is on the role of macro- and microscopic pathology in elucidating pathogenesis as well as identifying confounding features of image findings that may lead to a more elaborate differential diagnosis. If appropriate, the role of light and electron microscopic examination, along with the role of specific stains and molecular techniques, is illustrated. In addition, the concept of each liver disease is summarized briefly and its up-to-data is provided, and…

Thermoelectric Thin Films: Materials and Devices

Thermoelectric Thin Films: Materials and Devices

Thermoelectric Thin Films: Materials and Devices

Title: Thermoelectric Thin Films: Materials and Devices | Author(s): Paolo Mele, Dario Narducci, Michihiro Ohta | Publisher: Springer | Year: 2019 | Language: English | Pages : 222 | ISBN: 3030200426, 978-3030200428 | Size: 10 MB  | Extension: pdf
 

This book will provide readers with deep insight into the intriguing science of thermoelectric thin films. It serves as a fundamental information source on the techniques and methodologies involved in thermoelectric thin film growth, characterization and device processing. This book involves widespread contributions on several categories of thermoelectric thin films: oxides, chalcogenides, iodates, nitrides and polymers. This will serve as an invaluable resource for experts to consolidate their knowledge and will…

Introduction to Real Analysis

Introduction to Real Analysis

Introduction to Real Analysis

Title: Introduction to Real Analysis | Author(s): Christopher Heil | Publisher: Springer | Year: 2019 | Language: English | Pages : 416 | ISBN: 978-3-030-26901-2 | Size: 6 MB | Extension: pdf
 
 …

Nine Chapters on Mathematical Modernity – Essays on the Global Historical Entanglements of the Science of Numbers in China

Nine Chapters on Mathematical Modernity - Essays on the Global Historical Entanglements of the Science of Numbers in China

Nine Chapters on Mathematical Modernity – Essays on the Global Historical Entanglements of the Science of Numbers in China

Title: Nine Chapters on Mathematical Modernity – Essays on the Global Historical Entanglements of the Science of Numbers in China | Author(s): Bréard, Andrea | Publisher: Springer | Year: 2019 | Language: English | Pages: 291 | ISBN: 978-3-319-93694-9 | Size: 13 MB | Extension: pdf
 
The book addresses for the first time the dynamics associated with the modernization of mathematics in China from the nineteenth to the mid-twentieth century from a transcultural global historical perspective. Rather than depict the transformations of mathematical knowledge in terms of a process of westernization, the book analyzes the complex interactions between different scientific communities and the ways in which the past, modernity, language, and mathematics were negotiated…

Essentials & applications of food engineering

Essentials & applications of food engineering

Essentials & applications of food engineering

Title: Essentials & applications of food engineering | Author(s): Anandharamakrishnan, C.; Ishwarya, S. Padma  | Publisher: CRC Press | Year: 2019 | Language: English | Pages : 803 | ISBN: 9780429430244, 0429430248, 9780429772375, 0429772378, 9780429772382, 0429772386 | Size: 36 MB | Extension: pdf
 
Essentials & Applications of Food Engineering provides a comprehensive understanding of food engineering operations and their practical and industrial utility. It presents pertinent case studies, solved numerical problems, and multiple choice questions in each chapter and serves as a ready reference for classroom teaching and exam preparations. The first part of this textbook contains the introductory topics on units and dimensions, material balance, energy…

Advanced Engineering Mathematics

Advanced Engineering Mathematics

Advanced Engineering Mathematics

Title: Advanced Engineering Mathematics | Author(s): Merle C. Potter, Jack. L. Lessing, Edward F. Aboufadel | Publisher: Springer | Year: 2019 | Edition: 4 | Language: English | Pages : 753 | ISBN: 978-3-030-17067-7, 978-3-030-170 68-4 | Size: 7 MB | Extension: pdf
 
This book is designed to serve as a core text for courses in advanced engineering mathematics required by many engineering departments. The style of presentation is such that the student, with a minimum of assistance, can follow the step-by-step derivations. Liberal use of examples and homework prob­lems aid the student in the study of the topics presented. Ordinary differential equations, including a number of physical applica­tions, are reviewed in Chapter One. The use of series methods are…