تحسين النتائح
ترتيب حسب
من
الى
الصفحة 12
الصفحة 12
Advances and applications of DSmT for information fusion ; Vol. 4
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Advanced Wired and Wireless Networks
ADVANCED WIRED AND WIRELESS NETWORKS brings the reader a sample of recent research efforts representative of advances in the areas of recognized importance for the future Internet, In Part I, we bring ad-hoc networking closer to the reality of practical use. The focus is on more advanced scalable routing suitable for large networks, directed flooding useful in information dissemination networks, as well as self-configuration and security issues important in practical deployments. Part II illustrates the efforts towards development of advanced mobility support techniques (beyond traditional "mobile phone net") and Mobile IP technologies. The issues range from prediction based mobility support, through context transfer during Mobile IP handoff, to service provisioning platforms for heterogeneous networks. The focus of the final section concerns the performance of networks and protocols. Furthermore this section illustrates researchers’ interest in protocol enhancement requests for improved performance with advanced networks, reliable and efficient multicast methods in unreliable networks, and composite scheduling in programmable/active networks where computing resources equal network performance as transmission bandwidth.
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Advanced Techniques in Knowledge Discovery and Data Mining
This explosion is a result of the growing use of electronic media. But what is data mining (DM)? A Web search using the Google search engine retrieves many (really many) definitions of data mining. We include here a few interesting ones. One of the simpler definitions is: “As the term suggests, data mining is the analysis of data to establish relationships and identify patterns” [1]. It focuses on identifying relations in data. Our next example is more elaborate: An information extraction activity whose goal is to discover hidden facts contained in databases. Using a combination of machine learning, statistical analysis, modeling techniques and database technology, data mining finds patterns and subtle relationships in data and infers rules that allow the prediction of future results. Typical applications include market segmentation, customer profiling, fraud detection, evaluation of retail promotions, and credit risk analysis .
Advanced SharePoint Services Solutions
Whether or not youve already benefited from Scot P. Hillier's first renowned Apress book, Microsoft SharePoint: Building Office 2003 Solutions, this fantastic follow-up is sure to please! This book will cover advanced techniques for programming web parts and SharePoint Services. Hillier also covers advanced integration techniques with related products like BizTalk Server 2004 and Content Server. Intended for advanced developers who already know all of the basic SharePoint Services, this book will steer you in solving ultra-specific, advanced problems.
Advanced machine learning and deep learning approaches for remote sensing
Provides research on how technologies such as artificial intelligence-based machine learning and deep learning can be applied to remote sensing. Through this, we can see the process of solving the existing problems of image and image signal processing for remote sensing. These techniques are computationally intensive and require the help of high-performance computing devices. With the development of devices such as GPUs, remote sensing technology, and aerial sensing technology, it is possible to monitor the Earth with high-resolution images and to obtain vast amounts of Earth observation data. The papers published in this reprint describe recent advances in big data processing and artificial intelligence-based technologies for remote sensing technology.
AdvancED Flex Application Development : Building Rich Media X
Many Flex books cover the basics—this book does something different, and goes far further. The authors, leading Flash platform developers at Almer/Blank, working with Adobe User Group communities, are the creators of the Rich Media Exchange (RMX), a social media network for Adobe developers. In covering just how the RMX was built, this book contains all the knowledge you need to build similar large-scale rich Internet applications with Adobe Flex. From the inception of the idea through to deployment, the authors show the techniques needed to plan and build advanced applications. You'll learn how to use forms, styles, validators, video, sound analysis, and framework caching, ensuring you make the most of the features introduced in Flex 3.
AdvancED Flex 3
Divided into three parts. The first part discusses the architectural and design aspects of Flex 3 application development. It explains the internals of a Flex 3 application and advocates a few best practices to fine-tune your application to ensure maximum performance. It includes tutorials on creating custom components, data binding, and creating AIR-powered desktop applications. The second part concentrates on effectively integrating Flex 3 with server- and client-side technologies. Techniques for integration with Java and PHP are covered in detail, and content covering interaction with client-side technologies is also included. After reading the chapter on JavaScript integration, you will be ready to create applications that can use Ajax and Flex 3 together. The third and final part of the book is a unique and eclectic mix of some advanced topics like mash-ups, collaborative applications, 3D rendering, highly interactive visualization, and audio and video streaming.
AdvancED DOM Scripting : Dynamic Web Design Techniques
As a web designer or developer, you know how powerful DOM scripting is for enhancing web pages and applications, adding dynamic functionality and improving the user experience. You've got a reasonable understanding of JavaScript and the DOM, but now you want to take your skills further. This book is all you need—it shows you how to add essential functionality to your web pages.
Advance Concepts of Image Processing and Pattern Recognition : Effective Solution for Global Challenges
Explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental and advanced image processing algorithms and pattern recognition techniques to illustrate the framework. It presents essential background theory, shape methods, texture about new methods, and techniques for image processing and pattern recognition. It maintains a good balance between a mathematical background and practical implementation. This book also contains the comparison table and images that are used to show the results of enhanced techniques. This book consists of novel concepts and hybrid methods for providing effective solutions for society. It also includes a detailed explanation of algorithms in various programming languages like MATLAB, Python, etc.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction is designed to appeal to the engineering mind. The book is a practical guide focusing on the applications of PDF in the solution of "engineering" problems which may arise in a number of disciplines from architecture to construction. Using real-world examples, the authors follow a project from design through build and long-term maintenance. As the sample project evolves, suitable Acrobat® tools and techniques are identified and brought into play at each stage, showing readers how to personalize the context and processes to meet their own project development and management needs.
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. Adaptive business intelligence systems combine prediction and optimization techniques to assist decision makers in complex, rapidly changing environments. These systems address the fundamental questions: What is likely to happen in the future? And what is the best decision right now? Adaptive Business Intelligence includes elements of data mining, predictive modeling, forecasting, optimization, and adaptability.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Active Lighting and Its Application for Computer Vision : 40 Years of History of Active Lighting Techniques
Computer vision entails both passive and active illumination techniques. Whereas passive techniques observe the scene statically and analyse it as is, by contrast active techniques give the scene some actions and try to facilitate the analysis. In particular, active illumination techniques project specific light, for which the characteristics are known beforehand, to a target scene to enable stable and accurate analysis of the scene.
Accelerated VB 2005
Accelerated VB 2005 provides the fastest path to Visual Basic expertise for anyone already familiar with object-oriented programming. While books introduce VB, very few also explain optimizing its use with the .NET common language runtime (CLR). But this book both teaches core VB language concepts and covers in depth the concepts and techniques for professionally exploiting the power of VB and the CLR.
Accelerated GWT : Building Enterprise Google Web Toolkit Applications
Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information embedded into a web page. Its emergence has made it possible to create web applications that closely resemble their desktop–based brethren. With this exciting new ability came several challenges; not only did developers have to learn JavaScript, but they were also forced to use inefficient development processes, not to mention deal with cross–platform and browser difficulties. But with the release of Google Web Toolkit (GWT), Java developers are able to continue using their favorite language to write powerful Ajax applications while using not only the Java language, but also the very same development tools they're already using on a daily basis!
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
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.
A General introduction to data analytics
A guide to the principles and methods of data analysis that does not require knowledge of statistics or programming. A guide to the reasoning behind data mining techniques. A unique illustrative example that extends throughout all the chapters. Exercises at the end of each chapter and larger projects at the end of each of the text’s two main parts
