2017/01/22October 20, 2016(image)
Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalbán's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory.
2017/01/22January 20, 2017(image)
Das umfassende Praxis-Handbuch für alle rechtlichen Fragen im Marketing Zahlreiche Beispiele und konkrete Fälle aus der Praxis Social-Media- und Online-Marketing-Maßnahmen rechtssicher umsetzen Wann verletzen Sie Rechte anderer? Wie setzen Sie Ihre Rechte durch? Die häufigsten Fehler im Social Media und Online-Marketing Checklisten, Tipps, Mustertexte und Übersichten Online-Marketing bietet nicht nur viele Chancen im Web, sondern beinhaltet auch rechtliche Tücken, die häufig von Nicht-Juristen kaum voraussehbar sind. In diesem umfassenden und praktischen Handbuch werden alle Themen behandelt, die im Web zu rechtlichen Schwierigkeiten führen können, sei es, weil Sie unbewusst Rechte Dritter verletzen oder jemand anderes Ihre Rechte nicht beachtet. Schirmbacher behandelt detailliert die nach deutschem Recht relevanten Aspekte des Social-Media- und Online-Marketings. In jedem Kapitel werden vorhandene Fälle herangezogen, um die einzelnen Sachverhalte und Fragestellungen zu verdeutlichen und anhand aktueller Urteile verständlich zu machen. So erhalten Sie eine konkrete und realitätsnahe Vorstellung, welche Probleme auftreten können und wie diese von Richtern oder Behörden bewertet werden. Ein Kapitel zu Verträgen im Online-Marketing gibt Hinweise, wie Sie Ihre Verträge klug gestalten, so dass Diskussionen mit Ihrer Agentur oder Ihren Kunden gar nicht erst entstehen. Zahlreiche Checklisten, Beispiele, Mustertexte und Tipps helfen Ihnen, juristisch „sauber“ zu bleiben und Fallstricke zu vermeiden, bevor es zu spät ist.
2017/01/22January 19, 2017(image)
This book demonstrates the core concepts behind conversational UI and building voice-enabled apps with the Alexa framework (the examples in this book are easy to understand, but having some experience with Node and web development is helpful). The book focuses on a general understanding of why voice-enabled apps are important, along with easy-to-understand examples for building your first apps for the Amazon Echo. By the end of the book you will understand the importance of conversational UI, how to build and test your first Alexa app for the Echo, and how to publish your software to the Alexa app store for the world to see.
2017/01/22January 17, 2017(image)
Learn to really THINK about CSS, and how to create CSS that endures continual iteration, multiple authors, and yet always produces predictable results About This Book Address the problems of CSS at scale, avoiding the shortfalls of scaling CSS. The shortfalls of conventional approaches to scaling CSS. Develop consistent and enforceable selector naming conventions with ECSS. Learn how to organize project structure to more easily isolate and decouple visual components. Who This Book Is For This is a book for working CSS authors involved in large projects. This is a book that tackles create enduring CSS for large-scale projects. What You Will Learn The problems of CSS at scale—specificity, the cascade and styles intrinsically tied to element structure. The shortfalls of conventional approaches to scaling CSS. The ECSS methodology and the problems it solves. How to develop consistent and enforceable selector naming conventions with ECSS. How to organise project structure to more easily isolate and decouple visual components. How to handle state changes in the DOM with ARIA or override selectors. How to apply ECSS to web applications and visual modules. Considerations of CSS tooling and processing: Sass/PostCSS and linting. Addressing the notion of CSS selector speed with hard data and browser representative insight In Detail Learn with me, Ben Frain, about how to really THINK about CSS and how to use CSS for any size project! I'll show you how to write CSS that endures continual iteration, multiple authors, and yet always produces predictable results. Enduring CSS, often referred to as ECSS, offers you a robust and proven approach to authoring and maintaining style sheets at scale. Enduring CSS is not a book about writing CSS, as in the stuff inside the curly braces. This is a book showing you how to think about CSS, and be a smarter developer with that thinking! It's about the organisation and architecture of CSS—the parts outside the braces. I will help you think about the aspects of CSS development that become the most difficult part of writing CSS in larger projects. You'll learn about the problems of authoring CSS at scale—including specificity, the cascade and styles intrinsically tied to document structure. I'll introduce you to the ECSS methodology, and show you how to develop consistent and enforceable selector naming conventions. We'll cover how to apply ECSS to your web applications and visual model, and how you can organize your project structure wisely, and handle visual state changes with ARIA, providing greater accessibility considerations. In addition, we'll take a deep look into CSS tooling and process considerations. Finally we will address performance considerations by examining topics such as CSS selector speed with hard data and browser-representative insight. Style and approach Learn with me, Ben Frain, about how to really think about CSS. This is a book to deal with writing CSS for large-scale, rapidly changing web projects and applications. This isn't a book about writing CSS, as in the stuff inside the curly braces - this is a book about the organisation and architecture of CSS; the parts outside the braces! Downloading the example code for this book. You can download the example code files for all Packt books you have purchased from your account at http://www.PacktPub.com . If you purchased this book elsewhere, you can visit http://www.PacktPub.com/support and register to have the code file.
2017/01/22January 18, 2017(image)
Build powerful and fast applications with F# About This Book Explore the advanced concurrency support in F# and .NET TPL Covers major optimization techniques in F# to improve the performance of applications Use Struct, Class and Record model, Interop with C# and VB without sacrificing performance. Who This Book Is For This book is for F# developers who want to build high-performance applications. Knowledge of functional programming would be helpful. What You Will Learn Understand how the execution of functions in F# works Identify common performance bottlenecks Implement best practices to optimize performance Use the available tooling to help measure performance Combine the best practice of asynchronous and synchronous Optimize further using various F# language constructs In Detail F# is a functional programming language and is used in enterprise applications that demand high performance. It has its own unique trait: it is a functional programming language and has OOP support at the same time. This book will help you make F# applications run faster with examples you can easily break down and take into your own work. You will be able to assess the performance of the program and identify bottlenecks. Beginning with a gentle overview of concurrency features in F#, you will get to know the advanced topics of concurrency optimizations in F#, such as F# message passing agent of MailboxProcessor and further interoperation with .NET TPL. Based on this knowledge, you will be able to enhance the performance optimizations when implementing and using other F# language features. The book also covers optimization techniques by using F# best practices and F# libraries. You will learn how the concepts of concurrency and parallel programming will help in improving the performance. With this, you would be able to take advantage of multi-core processors and track memory leaks, root causes, and CPU issues. Finally, you will be able to test their applications to achieve scalability. Style and approach This easy-to-follow guide is full of hands-on examples of real-world multithreading tasks. Each topic is explained and placed in context, and for the more inquisitive, there are also more in-depth details of the concepts used. Downloading the example code for this book. You can download the example code files for all Packt books you have purchased from your account at http://www.PacktPub.com . If you purchased this book elsewhere, you can visit http://www.PacktPub.com/support and register to have the code file.
2017/01/22January 18, 2017(image)
Save time and resources by getting to know the best practices and intelligence from industry experts About This Book This book helps you gain a fresh perspective through a recipe-based approach on the new Microsoft Server 2016 Hyper-V Over 80 recipes to help you master the administrative tasks of Hyper-V and get to grips with advanced solutions and techniques for virtualization These hands-on advanced recipes will help you deploy, maintain, and upgrade Hyper-V virtual machines Who This Book Is For This book is for Hyper-V administrators who are looking to take advantage of all exciting new features that Microsoft Server 2016 Hyper-V has to offer. What You Will Learn Install and manage Hyper-V in Full, Server Core, and Nano Server Get to know how to migrate and upgrade physical and virtual machines Configure disks, network, memory, security, and auditing settings for virtual machines Take a deep dive into high availability and disaster recovery Save time and money by getting to grips with PowerShell automation Understand the new features around network and nested virtualization, distributed storage QoS, Hyper-V Replica, and much more Gain a full view of your virtual machines and host servers through monitoring, reporting, and troubleshooting tips In Detail Hyper-V is a Windows-based, very cost-effective virtualization solution with easy-to-use and well-known administrative consoles. With this book on your side you will master the worlds of Hyper-V deployment, migration, and management by learning tips, tricks, and best practices, especially when it comes to advanced-level tasks. You will learn how to quickly deploy and automate multiple VMs, and support Hyper-V clusters through different installation methods. You will learn the concepts efficiently with the help of up-to-date real-world examples and improve the scalability and efficiency of large-scale VM deployments with Nano Server. By the end of this book, you will be an ace Windows Server 2016 Hyper-V with the skills needed to administer and manage it effectively and survive in the brave new world of mobile-first, cloud-first. Further, take advantage of bonus appendix explaining Hyper-V and backup architecture and the difference between versions. Style and approach This advanced-level book provides step-by-step recipes on real-world examples so you can get practical, hands-on experience of the subjects. Downloading the example code for this book. You can download the example code files for all Packt books you have purchased from your account at http://www.PacktPub.com . If you purchased this book elsewhere, you can visit http://www.PacktPub.com/support and register to have the code file.
2017/01/22December 31, 2016(image)
Data visualization involves graphical and visual tools used in data analysis and decision making. The emphasis in this book is on recent trends and applications of visualization tools using conventional and big data. These tools are widely used in data visualization and quality improvement to analyze, enhance, and improve the quality of products and services. Data visualization is an easy way to obtain a first look at the data visually. The book provides a collection of visual and graphical tools widely used to gain an insight into the data before applying more complex analysis. The focus is on the key application areas of these tools including business process improvement, business data analysis, health care, finance, manufacturing, engineering, process improvement, and Lean Six Sigma. The key areas of application include data and data analysis concepts, recent trends in data visualization and ÒBig Data,Ó widely used charts and graphs and their applications, analysis of the relationships between two or more variables graphically using scatterplots, bubble graphs, matrix plots, etc., data visualization with big data, computer applications and implementation of widely used graphical and visual tools, and computer instructions to create the graphics presented along with the data files.
2017/01/22September 22, 2016(image)
Can you tell the difference between talking to a human and talking to a machine? Or, is it possible to create a machine which is able to converse like a human? In fact, what is it that even makes us human? Turing's Imitation Game, commonly known as the Turing Test, is fundamental to the science of artificial intelligence. Involving an interrogator conversing with hidden identities, both human and machine, the test strikes at the heart of any questions about the capacity of machines to behave as humans. While this subject area has shifted dramatically in the last few years, this book offers an up-to-date assessment of Turing's Imitation Game, its history, context and implications, all illustrated with practical Turing tests. The contemporary relevance of this topic and the strong emphasis on example transcripts makes this book an ideal companion for undergraduate courses in artificial intelligence, engineering or computer science.
2017/01/21October 31, 2016(image)
Written by leading experts, this book explores several directions of current research at the interface between dynamics and analytic number theory. Topics include Diophantine approximation, exponential sums, Ramsey theory, ergodic theory and homogeneous dynamics. The origins of this material lie in the 'Dynamics and Analytic Number Theory' Easter School held at Durham University in 2014. Key concepts, cutting-edge results, and modern techniques that play an essential role in contemporary research are presented in a manner accessible to young researchers, including PhD students. This book will also be useful for established mathematicians. The areas discussed include ubiquitous systems and Cantor-type sets in Diophantine approximation, flows on nilmanifolds and their connections with exponential sums, multiple recurrence and Ramsey theory, counting and equidistribution problems in homogeneous dynamics, and applications of thin groups in number theory. Both dynamical and 'classical' approaches towards number theoretical problems are also provided.
2017/01/22October 31, 2016(image)
Written by pioneers of the concept, this is the first complete guide to the physical and engineering principles of Massive MIMO. Assuming only a basic background in communications and statistical signal processing, it will guide readers through key topics in multi-cell systems such as propagation modeling, multiplexing and de-multiplexing, channel estimation, power control, and performance evaluation. The authors' unique capacity-bounding approach will enable readers to carry out effective system performance analyses and develop advanced Massive MIMO techniques and algorithms. Numerous case studies, as well as problem sets and solutions accompanying the book online, will help readers put knowledge into practice and acquire the skill set needed to design and analyze complex wireless communication systems. Whether you are a graduate student, researcher, or industry professional working in the field of wireless communications, this will be an indispensable guide for years to come.