Refine Results
Sort By
From
To
Page 10
Page 10
Managing Cyber Threats : Issues, Approaches, and Challenges
Brings together the latest techniques for managing cyber threats, developed by some of the world’s leading experts in the area. The book includes broad surveys on a number of topics, as well as specific techniques. It provides an excellent reference point for researchers and practitioners in the government, academic, and industrial communities who want to understand the issues and challenges in this area of growing worldwide importance.
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Chaos and fractals : New frontiers of science
Covers the central ideas and concepts of chaos and fractals as well as many related topics including: the Mandelbrot set, Julia sets, cellular automata, L-systems, percolation and strange attractors.
Biomimetic neural learning for intelligent robots : Intelligent systems, cognitive robotics, and neuroscience
This book presents research performed as part of the EU project on biomimeticmultimodal learning in a mirror neuron-based robot (MirrorBot) and contribu-tions presented at the International AI-Workshop on NeuroBotics. The over-all aim of the book is to present a broad spectrum of current research intobiomimetic neural learning for intelligent autonomous robots. In this book we show the development of newtechniques using cell assemblies, associative neural networks, and Hebbian-typelearning in order to associate vision, language and motor concepts. We havedeveloped biomimetic multimodal learning and language instruction in a robotto investigate the task of searching for objects. As well as the research performedin this area for the MirrorBot project, the second part of this book incorporatessignificant contributions from other research in the field of biomimetic robotics.This second part of the book concentrates on the progress made in neuroscienceinspired robotic learning approaches (in short: NeuroBotics). We hope that this book stimulates and encourages new research in this in-teresting and dynamic area.
Beginning J2ME : From novice to professional
Have you thought about building games for your cell phone or other wireless devices? Whether you are a first–time wireless Java developer, or an experienced professional Beginning J2ME, Third Edition brings exciting wireless and mobile Java application development right to your door! This book will empower you with numerous topics: sound HTTPS support, user interface API enhancements, sound/music API, a Game API, 3D graphics, and Bluetooth. Further, this book is easy to read and includes many practical, hands–on, and ready–to–use code examples. You will not be disappointed.
Applications of Membrane Computing
Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages – among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.
An Introduction to Quantum and Vassiliev Knot Invariants
Provides an accessible introduction to knot theory, focussing on Vassiliev invariants, quantum knot invariants constructed via representations of quantum groups, and how these two apparently distinct theories come together through the Kontsevich invariant. Consisting of four parts, the book opens with an introduction to the fundamentals of knot theory, and to knot invariants such as the Jones polynomial. The second part introduces quantum invariants of knots, working constructively from first principles towards the construction of Reshetikhin-Turaev invariants and a description of how these arise through Drinfeld and Jimbo's quantum groups. Its third part offers an introduction to Vassiliev invariants, providing a careful account of how chord diagrams and Jacobi diagrams arise in the theory, and the role that Lie algebras play. The final part of the book introduces the Konstevich invariant. This is a universal quantum invariant and a universal Vassiliev invariant, and brings together these two seemingly different families of knot invariants. The book provides a detailed account of the construction of the Jones polynomial via the quantum groups attached to sl(2), the Vassiliev weight system arising from sl(2), and how these invariants come together through the Kontsevich invariant.
An Introduction to Optical Wireless Mobile Communications
Discusses existing conventional radio frequency (RF)-based wireless access technology and presents the challenges that can impact the requirements of the future wave of new wireless services in the context of artificial intelligence (AI) driven autonomous systems and machine-type communications. The relationship between visible light communications (VLC) and light fidelity (LiFi), is explored, and the major advantages of VLC and LiFi such as security and data density, and discuss existing research challenges are also introduced. Channel modeling techniques are provided for mobile multiuser scenarios, and will introduce key building blocks to achieve LiFi cellular networks achieving orders of magnitude improvements of area spectral efficiency compared to state-of-the-art. Challenges that arise from moving from a static point-to-point visible light link to a LiFi network that is capable of serving hundreds of mobile and fixed nodes are discussed. An overview of recent standardization activities and the commercialization challenges of this disruptive technology is also provided.
Advances in Production Technology
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on “Integrative Production Technology for High-Wage Countries”, held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, Virtual Production Systems, Integrated Technologies, Self-Optimising Production Systems and Human Factors in Production Technology. The Aachen perspective on a holistic theory of production is complemented by conference papers from external leading researchers in the fields of production, materials science and bordering disciplines.
Advances in Discrete Differential Geometry
On a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discrete models in differential geometry and dynamical systems. Their curves are polygonal, surfaces are made from triangles and quadrilaterals, and time is discrete. Nevertheless, the difference between the corresponding smooth curves, surfaces and classical dynamical systems with continuous time can hardly be seen. This is the paradigm of structure-preserving discretizations. Current advances in this field are stimulated to a large extent by its relevance for computer graphics and mathematical physics.
Advanced technique and future perspective for next generation optical fiber communications
Optical fiber communication industry has gained unprecedented opportunities and achieved rapid progress in recent years. However, with the increase of data transmission volume and the enhancement of transmission demand, the optical communication field still needs to be upgraded to better meet the challenges in the future development. Artificial intelligence technology in optical communication and optical network is still in its infancy, but the existing achievements show great application potential. In the future, with the further development of artificial intelligence technology, AI algorithms combining channel characteristics and physical properties will shine in optical communication. This reprint introduces some recent advances in optical fiber communication and optical network, and provides alternative directions for the development of the next generation optical fiber communication technology.
Advanced Methods for Inconsistent Knowledge Management
This book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge management, analyzed by traditional mathematical methods using relational and logical representations.
Advanced Algorithms and Data Structures
introduces a collection of algorithms for complex programming challenges in data analysis, machine learning, and graph computing. You’ll discover cutting-edge approaches to a variety of tricky scenarios. You’ll even learn to design your own data structures for projects that require a custom solution. What's inside Build on basic data structures you already know Profile your algorithms to speed up application Store and query strings efficiently Distribute clustering algorithms with MapReduce Solve logistics problems using graphs and optimization algorithms
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
Complications in Cranio-Maxillofacial and Oral Surgery
This superbly illustrated book equips readers with a detailed, up-to-date understanding of the surgical and nonsurgical complications that may arise during cranio-maxillofacial and oral surgery for a range of conditions, including malformations, infections, trauma, and tumors.
Clinical oral medicine and pathology
The book has been well received internationally by a wide audience of clinicians, including general dentists, oral surgeons, otolaryngologists, primary care physicians, nurse practitioners, dental hygienists, physician assistants, and dermatologists, and sales have been strong among students and post-graduate residents training in medical, dental, and allied health fields, supporting the versatility of this work and serving as testimony to its value in both the academic and private practice arenas. Several key updates and improvements have been made to the second edition. All informational content has been updated to ensure accuracy and relevance, particularly in the rapidly evolving fields of oncology and pharmacology. A new chapter has been added entitled "Oral Sequelae of Cancer and Cancer Therapy" which better organizes and consolidates previous content while expanding on topics such as targeted therapies and hematopoietic stem cell transplantation. Additional clinical images have been included throughout the book so that the full clinical spectrum of any given condition is well-represented. Furthermore, the print quality, as well as the positioning and layout of the clinical images has been improved for optimal utility. Lastly, the summary boxes that follow each condition have been reconfigured with color-coded icons for improved definition, ease of use and cross-referencing.
Clinical Approaches in Endodontic Regeneration : Current and Emerging Therapeutic Perspectives
This book combines explanation of the scientific base underpinning vital pulp treatment with description of current and emerging trends in clinical practice. It guides the reader through modern views on pulp diagnostics, deep caries, and pulp exposure management, leading to an analysis of the biological aspects of regenerative techniques such as angiogenesis, neurogenesis, inflammation, and epigenetics.
Biomimetic restorative dentistry ; Vol.1 : Fundamentals and basic clinical procedures
Takes the science of esthetic dental reconstruction to a new level both clinically and academically, and it offers all that a clinician could wish for in terms of indications and the classic clinical steps for tooth preparation, laboratory and CAD/CAM procedures, adhesive luting procedures, and maintenance. But above all, what makes this book so unique is the biomimetic principle—as such, restoring or mimicking the biomechanical, structural, and esthetic integrity of teeth is paramount. The core of this book centers on the application of the biomimetic principle in the form of bonded restorations using composite resins and ceramics, covering indications, treatment planning, diagnosis, tooth preparation and impression, laboratory and CAD/CAM procedures, final delivery, follow-up, maintenance, and repair. Written by a true master and artist, this book will undoubtedly inspire excellence in anyone who picks it up.
Biology of orthodontic tooth movement : current concepts and applications in orthodontic practice
Presents the current knowledge and understanding of the biological processes involved in the orthodontic movement of teeth and discusses recent progress in the field. It links research advances to their immediate clinical applications and offers researchers and clinicians a state of the art reference on topical issues relating to orthodontic tooth movement.
