الصفحة 4
الصفحة 4
Coding for Data and Computer Communications
In a unique, single volume, this highly versatile text/reference introduces readers to the importance of channel coding (error-correcting codes), secure coding (cryptography), and source coding (data compression). It is organized in three main parts and uses clear, nonmathematical explanations to develop the concepts, principles, and techniques in each area of coding. Requiring only a general familiarity with computer methods, the book deals with all aspects of coding and its relevance to fast, secure, and reliable data transmission and storage. Features & Benefits: Presents comprehensive coverage of areas of coding often found in separate books, and stresses data coding’s relevance in today’s world / Provides a wealth of examples and exercises (with solutions) to help readers easily grasp the material / Incorporates an extensive chapter on data hiding, a sparsely documented topic of increasing importance in the community / Includes an author-supplied website with supplementary material / Possesses a detailed bibliography and helpful glossary, index, and appendixes (including projects for self-study).
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Logic Programming with Prolog
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence. This book does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to arrive at the point where quite powerful programs can be written in the language. It is intended both as a textbook for an introductory course and as a self-study book. On completion the reader will know enough to use Prolog in their own research or practical projects. Each chapter has self-assessment exercises so that the reader may check their own progress. A glossary of the technical terms used completes the book.
Liapunov Functions and Stability in Control Theory
Presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework of mathematical nonlinear control theory. A Particular focus is on the problem of the existence of Liapunov functions (converse Liapunov theorems) and their regularity, whose interest is especially motivated by applications to automatic control.
Learning Design : A Handbook on Modelling and Delivering Networked Education and Training
Put together contributions from members of the "Valkenburg Group", consisting of 33 experts deeply involved in e-learning and more specifically learning design. The result is a rich and lasting source of information for both e-learning course and tool developers, providing information about the specification itself, how to implement it in practice, what tools to use, and what pitfalls to avoid. The book not only reports first experiences, but also goes beyond the current state of the art by looking at future prospects and emerging applications.
Comprehensive mathematics for computer scientists 1 : Sets and numbers, graphs and algebra, logic and machines, linear geometry
This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical issues, statistics, categories, and manifolds. The concept framework is streamlined but defining and proving virtually everything.
Component models and systems for grid applications ; Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France.
This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will influence the development of the Grid, and the practical applications of Grid technologies for individuals and businesses alike. Part I of the book, Application-Oriented Designs, focuses on development methodology and how it may contribute to a more component-based use of the Grid. Middleware Architecture, the second part, examines portable Grid engines, hierarchical infrastructures, interoperability, as well as workflow modeling environments. The final part of the book, Communication Frameworks, looks at dynamic self-adaptation, collective operations, and higher-order components. With Component Models and Systems for Grid Applications, editors Vladimir Getov and Thilo Kielmann offer the computing professional and the computing researcher the most informative, up-to-date, and forward-looking thoughts on the fast-growing field of Grid studies.
Bioactive Confirmation II
Specific binding of a ligand to a receptor is a key step in a variety of biol- ical processes, such as immune reactions, enzyme cascades, or intracellular transport processes. The ligand-receptor terminology implies that the rec- tor molecule is signi?cantly larger than the ligand, and the term "bioactive conformation" usually characterizes the conformation of a ligand when it is bound to a receptor. In a more general sense, bioactive conformation applies toanymoleculeinabiologicallyrelevantboundstateregardlessofsizecons- erations. Mostofthecontributions tothisbookaddressligandsthat aremuch smaller than their receptors. X-ray crystallography and high resolution NMR spectroscopy are the two main experimental techniques used to study bioactive conformations. The- fore, the twovolumes ofthisbookcover approachesthat use either ofthetwo techniques, or a combination thereof.
Bilinear integrable systems : From classical to quantum, continuous to discrete ; Proceedings of the NATO Advanced Research Workshop on Bilinear Integrable Systems: From Classical to Quantum, Continuous to Discrete St. Petersburg, Russia, 15-19 September 2002
Trained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University with Professor Siegert in the field of “QuantumStatistical mechanics”. He wrote a widely appreciated Doctoral dissertation on“Functional Integral representation of the grand partition function”. As a youngresearcher, he entered the RCA Company in Tokyo to do research on semi-conductor plasmas. Professor Hirota was led to model the Toda lattice as a non-linear networkof ladder-type LC circuits. The self-dual case led to equations very reminiscentof the Sine-Gordon equation, with much the same features (existence of onesoliton, soliton-soliton interaction, etc)
Big Data : Conceptual Analysis and Applications
The book is devoted to the analysis of big data in order to extract from these data hidden patterns necessary for making decisions about the rational behavior of complex systems with the different nature that generate this data. To solve these problems, a group of new methods and tools is used, based on the self-organization of computational processes, the use of crisp and fuzzy cluster analysis methods, hybrid neural-fuzzy networks, and others. The book solves various practical problems. In particular, for the tasks of 3D image recognition and automatic speech recognition large-scale neural networks with applications for Deep Learning systems were used.
Beyond partial differential equations : On linear and Quasi-Linear abstract hyperbolic evolution equations
The present volume is self-contained and introduces to the treatment of linear and nonlinear (quasi-linear) abstract evolution equations by methods from the theory of strongly continuous semigroups.
Beginning deep learning with TensorFlow : Work with Keras, MNIST data sets, and advanced neural networks
Stats with an introduction to AI, where you’ll learn the history of neural networks and what sets deep learning apart from other varieties of machine learning. Discovery the variety of deep learning frameworks and set-up a deep learning development environment. Next, you’ll jump into simple classification programs for hand-writing analysis. Once you’ve tackled the basics of deep learning, you move on to TensorFlow 2 specifically. Find out what exactly a Tensor is and how to work with MNIST datasets. Finally, you’ll get into the heavy lifting of programming neural networks and working with a wide variety of neural network types such as GANs and RNNs. Deep Learning is a new area of Machine Learning research widely used in popular applications, such as voice assistant and self-driving cars. Work through the hands-on material in this book and become a TensorFlow programmer! You will: Develop using deep learning algorithms Build deep learning models using TensorFlow 2 Create classification systems and other, practical deep learning applications
Autonomy : In the Law
Autonomy in the Law considers one of the most important benefits of the rule of law. Juxtaposing European and American conceptions of autonomy in the law of families, capital punishment and, criminal trials reveals the common values that justify all legal systems. Law protects the autonomy of individuals and associations by defending the boundaries of their own self-rule. This book illuminates the fundamental purpose of law by examining how European and American lawyers, judges and citizens do and should apply legal autonomy to the practical circumstances of litigation, legislation and the law.
Autonomous Systems - Self-Organization, Management, and Contro ; Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomic and Trusted Computing ; 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extenteven without human interventionor guidance. Organiccomputing(OC)additionally emphasizes natural-analogueconceptslike self-organization and controlled emergence. Any autonomic ororganic system must be trus tworthy to avoid the risk of l- ing control and to retain confidence that the system will not fail. Trust and/or distrust relationships on the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems and services. Trusted/trustworthy computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persist-able, security/privacy protect-able, etc.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
Autonomes fahren : Technische, rechtliche und gesellschaftliche aspekte = Autonomous driving : Technical, legal and social aspects
This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central topics related to the automation of vehicles on public roads from an engineering and social science perspective. They show which "decisions" are required of an autonomous vehicle or which "ethics" must be programmed. The authors discuss expectations and concerns that characterize the individual and societal acceptance of autonomous driving. An increased safety potential through autonomous vehicles is compared to the challenges and solution approaches that play a role in securing the safety concept. In addition, they explain what possibilities for change and opportunities arise for our mobility and the reorganization of traffic, not least for freight traffic. The book thus offers an up-to-date, comprehensive and scientifically sound examination of the topic of "autonomous driving".
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
