- Table View
- List View
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings (Lecture Notes in Computer Science #11181)
by Mohamed Faouzi Atig Saddek Bensalem Simon Bliudze Bruno MonsuezThis book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Nature Inspired Optimization Techniques for Image Processing Applications (Intelligent Systems Reference Library #150)
by Jude Hemanth Valentina Emilia BalasThis book provides a platform for exploring nature-inspired optimization techniques in the context of imaging applications. Optimization has become part and parcel of all computational vision applications, and since the amount of data used in these applications is vast, the need for optimization techniques has increased exponentially. These accuracy and complexity are a major area of concern when it comes to practical applications. However, these optimization techniques have not yet been fully explored in the context of imaging applications. By presenting interdisciplinary concepts, ranging from optimization to image processing, the book appeals to a broad readership, while also encouraging budding engineers to pursue and employ innovative nature-inspired techniques for image processing applications.
Belief Functions: 5th International Conference, BELIEF 2018, Compiègne, France, September 17-21, 2018, Proceedings (Lecture Notes in Computer Science #11069)
by Sébastien Destercke Thierry Denoeux Fabio Cuzzolin Arnaud MartinThis book constitutes the refereed proceedings of the 5th International Conference on Belief Functions, BELIEF 2018, held in Compiègne, France, in September 2018.The 33 revised regular papers presented in this book were carefully selected and reviewed from 73 submissions. The papers were solicited on theoretical aspects (including for example statistical inference, mathematical foundations, continuous belief functions) as well as on applications in various areas including classification, statistics, data fusion, network analysis and intelligent vehicles.
This Changes Everything – ICT and Climate Change: 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings (IFIP Advances in Information and Communication Technology #537)
by David Kreps Charles Ess Louise Leenen Kai KimppaThis book constitutes the refereed proceedings of the 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018.The 29 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers are based on both academic research and the professional experience of information practitioners working in the field. They deal with multiple challenges society will be facing in the future and are organized in the following topical sections: history of computing: "this changed everything"; ICT4D and improvements of ICTs; ICTs and sustainability; gender; ethical and legal considerations; and philosophy.
Utility and Application of Language Corpora
by Niladri Sekhar Dash L. RamamoorthyThis book discusses some of the basic issues relating to corpus generation and the methods normally used to generate a corpus. Since corpus-related research goes beyond corpus generation, the book also addresses other major topics connected with the use and application of language corpora, namely, corpus readiness in the context of corpus sanitation and pre-editing of corpus texts; the application of statistical methods; and various text processing techniques. Importantly, it explores how corpora can be used as a primary or secondary resource in English language teaching, in creating dictionaries, in word sense disambiguation, in various language technologies, and in other branches of linguistics. Lastly, the book sheds light on the status quo of corpus generation in Indian languages and identifies current and future needs.Discussing various technical issues in the field in a lucid manner, providing extensive new diagrams and charts for easy comprehension, and using simplified English, the book is an ideal resource for non-native English readers. Written by academics with many years of experience teaching and researching corpus linguistics, its focus on Indian languages and on English corpora makes it applicable to graduate and postgraduate students of applied linguistics, computational linguistics and language processing in South Asia and across countries where English is spoken as a first or second language.
Emerging Technologies for Health and Medicine: Virtual Reality, Augmented Reality, Artificial Intelligence, Internet of Things, Robotics, Industry 4.0
by Dac-Nhuong Le Chung Van Le Jolanda G. Tromp Gia Nhu NguyenWith the current advances in technology innovation, the field of medicine and healthcare is rapidly expanding and, as a result, many different areas of human health diagnostics, treatment and care are emerging. Wireless technology is getting faster and 5G mobile technology allows the Internet of Medical Things (IoMT) to greatly improve patient care and more effectively prevent illness from developing. This book provides an overview and review of the current and anticipated changes in medicine and healthcare due to new technologies and faster communication between users and devices. This groundbreaking book presents state-of-the-art chapters on many subjects including: A review of the implications of VR and AR healthcare applications A review of current augmenting dental care An overview of typical human-computer interaction (HCI) that can help inform the development of user interface designs and novel ways to evaluate human behavior to responses in virtual reality (VR) and other new technologies A review of telemedicine technologies Building empathy in young children using augmented reality AI technologies for mobile health of stroke monitoring & rehabilitation robotics control Mobile doctor brain AI App An artificial intelligence mobile cloud computing tool Development of a robotic teaching aid for disabled children Training system design of lower limb rehabilitation robot based on virtual reality
Outlook 2019 For Dummies
by Faithe Wempen Bill DyszelGet up to speed with the world’s best email application — Outlook 2019 Of the millions of people who use Outlook, most only use about two percent of its features. Don’t stay in the dark! Outlook 2019 For Dummies shows you how to take advantage of often-overlooked tips and tricks to make it work even better for you. Inside, you’ll find information on navigating the user interface; utilizing the To-Do bar; filtering junk email; smart scheduling; RSS support; using electronic business cards; accessing data with two-way sync and offline and cloud based access, and much more! Make the most of Outlook's anti-phishing capabilities Share your calendar Integrate tasks with other Microsoft applications and services Manage email folders If you’re upgrading to the latest version — or have never used this popular email tool — this book makes it easier than ever to get Outlook working for you.
KI 2018: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings (Lecture Notes in Computer Science #11117)
by Frank Trollmann Anni-Yasmin TurhanThis book constitutes the refereed proceedings of the 41st German Conference on Artificial Intelligence, KI 2018, held in Berlin, Germany, in September 2018. The 20 full and 14 short papers presented in this volume were carefully reviewed and selected from 65 submissions. The book also contains one keynote talk in full paper length. The papers were organized in topical sections named: reasoning; multi-agent systems; robotics; learning; planning; neural networks; search; belief revision; context aware systems; and cognitive approach.
Problem Solving With C++ (Tenth Edition)
by Walter Savitch Kenrick MockNow in its 10th Edition, Problem Solving with C++ is written for the beginning programmer. The text cultivates strong problem-solving skills and programming techniques as it introduces readers to the C++ programming language. Author Walt Savitch's approach to programming emphasizes active reading through the use of well-placed examples and self-tests, while flexible coverage means the order of chapters and sections can easily be adapted without sacrificing continuity. Savitch's clear, concise style is a hallmark feature of the text and is supported by a suite of tried-and-true pedagogical tools. The 10th Edition includes ten new Programming Projects, along with new discussions and revisions.
Image and Video Compression for Multimedia Engineering: Fundamentals, Algorithms, and Standards (Second Edition) (Image Processing Series)
by Yun Q. Shi Huifang Sun<p>Multimedia hardware still cannot accommodate the demand for large amounts of visual data. Without the generation of high-quality video bitstreams, limited hardware capabilities will continue to stifle the advancement of multimedia technologies. Thorough grounding in coding is needed so that applications such as MPEG-4 and JPEG 2000 may come to fruition. <p>Image and Video Compression for Multimedia Engineering provides a solid, comprehensive understanding of the fundamentals and algorithms that lead to the creation of new methods for generating high quality video bit streams. The authors present a number of relevant advances along with international standards. <p>Visual data, image, and video coding will continue to enable the creation of advanced hardware, suitable to the demands of new applications. Covering both image and video compression, this book yields a unique, self-contained reference for practitioners tobuild a basis for future study, research, and development.</p>
Introduction to Computing Applications in Forestry and Natural Resource Management
by Jingxin WangDue to the complexity of operational forestry problems, computing applications are becoming pervasive in all aspects of forest and natural resource management. This book provides a comprehensive introduction to computers and their applications in forest and natural resource management and is designed for both undergraduate and graduate students in forestry and natural resources. It introduces state-of-the-art applications for several of the most important computer technologies in terms of data acquisition, data manipulation, basic programming techniques, and other related computer and Internet concepts and applications. This book consists of six parts and 19 chapters.
Graphs, Algorithms, and Optimization (Discrete Mathematics and Its Applications)
by William Kocay Donald L. Kreher<p>Graph theory offers a rich source of problems and techniques for programming and data structure development, as well as for understanding computing theory, including NP-Completeness and polynomial reduction. A comprehensive text, Graphs, Algorithms, and Optimization features clear exposition on modern algorithmic graph theory presented in a rigorous yet approachable way. The book covers major areas of graph theory including discrete optimization and its connection to graph algorithms. The authors explore surface topology from an intuitive point of view and include detailed discussions on linear programming that emphasize graph theory problems useful in mathematics and computer science. Many algorithms are provided along with the data structure needed to program the algorithms efficiently. <p>The book also provides coverage on algorithm complexity and efficiency, NP-completeness, linear optimization, and linear programming and its relationship to graph algorithms.Written in an accessible and informal style, this work covers nearly all areas of graph theory. Graphs, Algorithms, and Optimization provides a modern discussion of graph theory applicable to mathematics, computer science, and crossover applications.</p>
The Essentials of Data Science: Knowledge Discovery Using R (Chapman & Hall/CRC The R Series)
by Graham J. Williams<p>The Essentials of Data Science: Knowledge Discovery Using R presents the concepts of data science through a hands-on approach using free and open source software. It systematically drives an accessible journey through data analysis and machine learning to discover and share knowledge from data. <p>Building on over thirty years’ experience in teaching and practising data science, the author encourages a programming-by-example approach to ensure students and practitioners attune to the practise of data science while building their data skills. Proven frameworks are provided as reusable templates. Real world case studies then provide insight for the data scientist to swiftly adapt the templates to new tasks and datasets. <p>The book begins by introducing data science. It then reviews R’s capabilities for analysing data by writing computer programs. These programs are developed and explained step by step. From analysing and visualising data, the framework moves on to tried and tested machine learning techniques for predictive modelling and knowledge discovery. Literate programming and a consistent style are a focus throughout the book.</p>
Elementary Mathematical and Computational Tools for Electrical and Computer Engineers Using MATLAB (Second Edition)
by Jamal T. Manassah<p>Engineers around the world depend on MATLAB for its power, usability, and outstanding graphics capabilities. Yet too often, engineering students are either left on their own to acquire the background they need to use MATLAB, or they must learn the program concurrently within an advanced course. Both of these options delay students from solving realistic design problems, especially when they do not have a text focused on applications relevant to their field and written at the appropriate level of mathematics. <p>Ideal for use as a short-course textbook and for self-study Elementary Mathematical and Computational Tools for Electrical and Computer Engineers Using MATLAB fills that gap. Accessible after just one semester of calculus, it introduces the many practical analytical and numerical tools that are essential to success both in future studies and in professional life. Sharply focused on the needs of the electrical and computer engineering communities, the text provides a wealth of relevant exercises and design problems. Changes in MATLAB's version 6.0 are included in a special addendum. <p>The lack of skills in fundamental quantitative tools can seriously impede progress in one's engineering studies or career. By working through this text, either in a lecture/lab environment or by themselves, readers will not only begin mastering MATLAB, but they will also hone their analytical and computational skills to a level that will help them to enjoy and succeed in subsequent electrical and computer engineering pursuits.</p>
The Secret Life: Three True Stories of the Digital Age
by Andrew O'HaganThe slippery online ecosystem is the perfect breeding ground for identities: true, false, and in between. The Internet shorthand IRL—“in real life”—now seems naïve. We no longer question the reality of online experiences but the reality of selfhood in the digital age. <P>In The Secret Life: Three True Stories, the essayist and novelist Andrew O’Hagan issues three bulletins from the porous border between cyberspace and IRL. “Ghosting” introduces us to the beguiling and divisive Wikileaks founder Julian Assange, whose autobiography the author agrees to ghostwrite with unforeseen—and unforgettable—consequences. “The Invention of Ronnie Pinn” finds the author using the actual identity of a deceased young man to construct an entirely new one in cyberspace, leading him on a journey deep into the Web’s darkest realms. And “The Satoshi Affair” chronicles the strange case of Craig Wright, the Australian Web developer who may or may not be the mysterious inventor of Bitcoin, Satoshi Nakamoto—and who may or may not be willing, or even able, to reveal the truth. <P>O’Hagan’s searching pieces take us to the weirder fringes of life in a digital world while also casting light on our shared predicaments. What does it mean when your very sense of self becomes, to borrow a term from the tech world, “disrupted”? Perhaps it takes a novelist, an inventor of selves, armed with the tools of a trenchant reporter, to find an answer.
Digital Influence: Unleash the Power of Influencer Marketing to Accelerate Your Global Business
by Peter Shankman Joel BackalerThis book brings order to the chaotic and rapidly evolving world of influencer marketing by providing readers with much needed context, frameworks, and best practices. Written for busy marketing professionals working in both domestic and international markets, it addresses these topics in a highly actionable and engaging manner. Digital Influence covers everything from how to identify the right influencers and determine “level of influence” to collaborating with influencers and measuring ROI. It turns out, it’s not all about paying online celebrities outrageous sums to post sponsored content. Backaler also provides much-needed context for why influencer marketing is flourishing today, and perspective into what a more technologically-enabled, globally-connected future will look like. Ultimately, people want to learn from trusted peers, not faceless companies. Better than any corporate marketing function, influencers understand how to make best use of social media platforms and tailor content for their respective cultures to engage consumers in their home markets. Business leaders should arm themselves with Backaler's book to ensure they're not left behind.
Regex Quick Syntax Reference: Understanding and Using Regular Expressions
by Zsolt NagyThis quick guide to regular expressions is a condensed code and syntax reference for an important programming technique. It demonstrates regex syntax in a well-organized format that can be used as a handy reference, showing you how to execute regexes in many languages, including JavaScript, Python, Java, and C#.The Regex Quick Syntax Reference features short, focused code examples that show you how to use regular expressions to validate user input, split strings, parse input, and match patterns. Utilizing regular expressions to deal with search/replace and filtering data for backend coding is also covered. You won’t find any bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a language reference that is concise and highly accessible. The book is packed with useful information and is a must-have for any programmer.What You Will LearnFormulate an expressionWork with arbitrary char classes, disjunctions, and operator precedenceExecute regular expressions and visualize using finite state machinesDeal with modifiers, including greedy and lazy loops Handle substring extraction from regex using Perl 6 capture groups, capture substrings, and reuse substrings Who This Book Is ForIf you have dealt with at least one programming language, chances are you know enough to understand regular expressions, and the examples in this book will help you develop proficiency.
Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings (Lecture Notes in Computer Science #11060)
by Liqun Chen Mark Manulis Steve SchneiderThis book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in full-paper length. The papers were organized in topical sections named: software security; symmetric ciphers and cryptanalysis; data privacy and anonymization; outsourcing and assisted computing; advanced encryption; privacy-preserving applications; advanced signatures; and network security.
Embedded Systems für IoT
by Felix HüningIntelligente Systeme und Komponenten sind die zentralen Elemente des Internets der Dinge (Internet of Things, IoT). Die Realisierung dieser Komponenten erfordert detaillierte Kenntnisse sowohl der zugrunde liegenden Hardware als auch der dazugehörigen Software. In dem Buch werden alle wesentlichen Aspekte der Hard- und Software von Embedded Systems für IoT dargestellt: von Integrated Solution Development Environment (ISDE) über Board Support Package (BSP), Mikrocontroller, Software-Schichten, Hardware Abstraction Layer (HAL) und Real-Time Operating System (RTOS) bis zu Framework and Functional Libraries, Middleware und Connectivity.Die Komplexität der Systeme als auch der Hard- und Software nimmt von Jahr zu Jahr zu und stellt Anwender vor immer neue Herausforderungen. Damit Leser trotzdem den Überblick behalten und ihnen die Verknüpfung von Theorie und Praxis gelingt, verwendet der Autor ein durchgehendes Praxisbeispiel. Anhand der Renesas SynergyTM Platform beschreibt er den generellen Aufbau der Hard- und Software von eingebetteten Systemen. Diese Plattform dient dann auch als Ausgangsbasis für den praktischen Teil des Buchs. Aufbauend auf einem Renesas SynergyTM StarterKit können Leser einer Schritt-für-Schritt-Anleitung für die Entwicklung einer eigenen IoT-Anwendung aus dem Bereich Smart Home folgen. Auf diese Art und Weise werden Leser in die Lage versetzt, ihr theoretisches Wissen direkt anzuwenden.
CCSP (ISC)2 Certified Cloud Security Professional Official Study Guide
by Ben Malisow O'HaraThe only official study guide for the new CCSP exam CCSP (ISC)2 Certified Cloud Security Professional Official Study Guide is your ultimate resource for the CCSP exam. As the only official study guide reviewed and endorsed by (ISC)2, this guide helps you prepare faster and smarter with the Sybex study tools that include pre-test assessments that show you what you know, and areas you need further review. Objective maps, exercises, and chapter review questions help you gauge your progress along the way, and the Sybex interactive online learning environment includes access to a PDF glossary, hundreds of flashcards, and two complete practice exams. Covering all CCSP domains, this book walks you through Architectural Concepts and Design Requirements, Cloud Data Security, Cloud Platform and Infrastructure Security, Cloud Application Security, Operations, and Legal and Compliance with real-world scenarios to help you apply you skills along the way. The CCSP is the latest credential from the (ISC)2 and the Cloud Alliance, designed to show employers that you have what it takes to keep their organization safe in the cloud. Learn the skills you need to be confident on exam day and beyond. Review 100% of all CCSP exam objectives Practice applying essential concepts and skills Access the industry-leading online study tool set Test your knowledge with bonus practice exams and more As organizations become increasingly reliant on cloud-based IT, the threat to data security looms larger. Employers are seeking qualified professionals with a proven cloud security skillset, and the CCSP credential brings your resume to the top of the pile. CCSP (ISC)2 Certified Cloud Security Professional Official Study Guide gives you the tools and information you need to earn that certification, and apply your skills in a real-world setting.
PowerShell For Beginners!: Master The PowerShell Command Line In 24 Hours
by Alex ArtusoPowerShell is a fantastic first or second programming language to learn (and master with the help of this book!). There's a ton of other technical guides out there that aren't clear and concise, and in my opinion use far too much jargon. My job is to teach you in simple, easy to follow terms how to get started and excel at PowerShell programming. You'll find my personal notes and tips peppered throughout the book, making it personal and easy to learn.
Digital Design: Basic Concepts and Principles
by Mohammad A. Karim Xinghao Chen<p>In today’s digital design environment, engineers must achieve quick turn-around time with ready accesses to circuit synthesis and simulation applications. This type of productivity relies on the principles and practices of computer aided design (CAD). Digital Design: Basic Concepts and Principles addresses the many challenging issues critical to today’s digital design practices such as hazards and logic minimization, finite-state-machine synthesis, cycles and races, and testability theories while providing hands-on experience using one of the industry’s most popular design application, Xilinx Web PACK. <p>The authors begin by discussing conventional and unconventional number systems, binary coding theories, and arithmetic as well as logic functions and Boolean algebra. Building upon classic theories of digital systems, the book illustrates the importance of logic minimization using the Karnaugh map technique. It continues by discussing implementation options and examining the pros and cons of each method in addition to an assessment of tradeoffs that often accompany design practices. The book also covers testability, emphasizing that a good digital design must be easy to verify and test with the lowest cost possible. <p>Throughout the text, the authors analyze combinational and sequential logic elements and illustrate the designs of these components in structural, hierarchical, and behavior VHDL descriptions. Coveringfundamentals and best practices, Digital Design: Basic Concepts and Principles provides you with critical knowledge of how each digital component ties together to form a system and develops the skills you need to design and simulate these digital components using modern CAD software.</p>
Digital Design and Verilog HDL Fundamentals
by Joseph CavanaghComprehensive and self contained, this tutorial covers the design of a plethora of combinational and sequential logic circuits using conventional logic design and Verilog HDL. Number systems and number representations are presented along with various binary codes. Several advanced topics are covered, including functional decomposition and iterative networks. A variety of examples are provided for combinational and sequential logic, computer arithmetic, and advanced topics such as Hamming code error correction. Constructs supported by Verilog are described in detail. All designs are continued to completion. Each chapter includes numerous design issues of varying complexity to be resolved by the reader.
Digital Watermarking and Steganography: Fundamentals and Techniques
by Frank Y. Shih<p>Every day millions of people capture, store, transmit, and manipulate digital data. Unfortunately free access digital multimedia communication also provides virtually unprecedented opportunities to pirate copyrighted material. Providing the theoretical background needed to develop and implement advanced techniques and algorithms, Digital Watermarking and Steganography: <p> <li>Demonstrates how to develop and implement methods to guarantee the authenticity of digital media <li>Explains the categorization of digital watermarking techniques based on characteristics as well as applications <li>Presents cutting-edge techniques such as the GA-based breaking algorithm on the frequency-domain steganalytic system</li> <p>The popularity of digital media continues to soar. The theoretical foundation presented within this valuable reference will facilitate the creation on new techniques and algorithms to combat present and potential threats against information security.</p>
Computability Theory: Journeys Beyond The Turing Barrier (Chapman Hall/CRC Mathematics Series)
by S. Barry Cooper<p>Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. <p>Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level.The book includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. <p>Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable and lively way.</p>