Page 3
Page 3
img

Advances and applications of DSmT for information fusion: Collected works ; Vol.3

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.

img

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.

img

Advanced Decision Sciences Based on Deep Learning and Ensemble Learning Algorithms : A Practical Approach Using Python

Describes the deep learning models and ensemble approaches applied to decision-making problems. The authors have addressed the concepts of deep learning, convolutional neural networks, recurrent neural networks, and ensemble learning in a practical sense providing complete code and implementation for several real-world examples. The authors of this book teach the concepts of machine learning for undergraduate and graduate-level classes and have worked with Fortune 500 clients to formulate data analytics strategies and operationalise these strategies.

img

Advanced .NET Remoting

Surpassing any white papers, specialist documents and other documentationthis book features in-depth coverage of the .NET Remoting Framework. The text is organized into three main parts, and this revised, second edition features 150 pages of entirely new material! Part one includes a guide to the 1.1 framework and its capabilities in real-world applications. Part two presents .NET remoting internals, and provides real-world code and development strategies. Finally, part three looks at futuristic remoting tools and their present implementation in Visual Studio .NET 2005. You will come to see how remoting procedures will change within the new IDE and revised framework.

img

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.

img

Abstract Computing Machines : A Lambda Calculus Perspective

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.

img

A Platform-Centric Approach to System-on-Chip (SOC) Design

The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.

img

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.

img

A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics

Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.

img

A Classical Introduction to Cryptography Exercise Book

A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.

img

3D Mesh processing and character animation : with examples using OpenGL, OpenMesh and Assimp

Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character animation. It provides an in-depth coverage of data structures and popular methods used in geometry processing, keyframe and inverse kinematics animations and shader based processing of mesh objects. It also introduces two powerful and versatile libraries, OpenMesh and Assimp, and demonstrates their usefulness through implementations of a wide range of algorithms in mesh processing and character animation respectively. This Textbook is written for students at an advanced undergraduate or postgraduate level who are interested in the study and development of graphics algorithms for three-dimensional mesh modeling and analysis, and animations of rigged character models.

img

Complete denture prosthodontics : Planning and decision-making

Equips dental students and practitioners with all the information and guidance required in order to ensure successful implementation of complete denture treatment in edentulous patients following appropriate treatment planning.

img

Bio-based Building Skin

This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials’ application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of facades in detail. Selected case studies on buildings from diverse locations are subsequently presented to demonstrate the successful implementation of various biomaterial solutions, which defines unique architectural styles and building functions. The structures, morphologies and aesthetic impressions related to bio-based building facades are discussed from the perspective of art and innovation; essential factors influencing the performance of materials with respect to functionality and safety are also presented. Special emphasis is placed on assessing the performance of a given facade throughout the service life of a building, and after its end.

img

Artificial intelligence in mechatronics and civil engineering : Bridging the gap

Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. This book covers the successful implementation of different intelligent techniques in various areas of engineering focusing on common areas between mechatronics and civil engineering. The power of artificial intelligence and machine learning techniques in solving some examples of real-life problems in engineering is highlighted in this book. The implementation process to design the optimum intelligent models is discussed in this book.

img

Artificial intelligence and machine learning techniques for civil engineering

Offers state-of-the-art contributions in the area of AI and its applications in the field of civil engineering presenting methods and implementation of AI and machine learning in multiple facets of civil engineering

img

An effective strategy for safe design in engineering and construction

Achieves three primary goals: To improve the understanding and implementation of the Construction (Design and Management) Regulations 2015 To reduce errors during the design process via the effective implementation of design management strategy To embed the concept of safety in design

img

Advances in Assessment and Modeling of Earthquake Loss

Originates from an international workshop organized by Turkish Natural Catastrophe Insurance Pool (TCIP) in November 2019 that gathered renown researchers from academia, representatives of leading international reinsurance and modeling companies as well as government agencies responsible of insurance pricing in Turkey. The book includes chapters related to post-earthquake damage assessment, the state-of-art and novel earthquake loss modeling, their implementation and implication in insurance pricing at national, regional and global levels, and the role of earthquake insurance in building resilient societies and fire following earthquakes. The rich context encompassed in the book makes it a valuable tool not only for professionals and researchers dealing with earthquake loss modeling but also for practitioners in the insurance and reinsurance industry.

img

Material Flow Management : Improving Cost Efficiency and Environmental Performance

The implementation of material flow management offers enterprises a high potential for realizing new economic competitive advantages. The eco-efficient optimization of material flows aims at reducing costs while simultaneously achieving long-term sustainability with regard to ecological and societal aspects. Knowledge of existing methods and the latest trends is a key prerequisite for successfully implementing, refining and disseminating material flow management approaches.

img

Market segmentation analysis : Understanding it, doing it, and making It useful

Offers something for everyone working with market segmentation: practical guidance for users of market segmentation solutions; organisational guidance on implementation issues; guidance for market researchers in charge of collecting suitable data; and guidance for data analysts with respect to the technical and statistical aspects of market segmentation analysis. Even market segmentation experts will find something new, including a vast array of useful visualisation techniques that make interpretation of market segments and selection of target segments easier. The book talks the reader through every single step, every single potential pitfall, and every single decision that needs to be made to ensure market segmentation analysis is conducted as well as possible. All calculations are accompanied not only with a detailed explanation, but also with R code that allows readers to replicate any aspect of what is being covered in the book using R, the open-source environment for statistical computing and graphics.

img

Managing Agile Business Technology : The Business and Technology Relationship Model in Practice

Describes in detail how the BTRM, combined with a focus on value creation and value delivery, will enable continuous change, in the context of current, emerging and future technologies. It illustrates the potential for real-time insight and control not previously considered and provides a wide range of information to plan an implementation, understand where AI can be applied, and its importance in the world of self-managing systems.

Results Per Page