الصفحة 2
الصفحة 2
Modelling and simulation of discrete-event systems
Allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems.
Mobile 3D Graphics
Historically, not enough was understood about how to deliver a high quality playing experience on handheld, small screen, small memory devices, plus there has been considerable confusion about the hardware’s abilities and restrictions. By addressing these issues this book provides: • A comprehensive explanation of 3D mobile graphics programming • Includes an extensive range of code samples in both C and Java • Combines 3D and 2D mobile graphics methods • Covers recent advances in mobile computer graphics techniques and applications. The book teaches fundamental 3D mobile graphics programming with standard APIs, and covers the basic and advanced application programme interfaces behind the major wireless and mobile devices supporting 3D graphics applications. Advanced undergraduates and postgraduates, as well as mobile application and games developers, will find this an excellent reference source.
Mnemonic Solidarity : Global Interventions
This book provides a concise introduction to a critical development in memory studies. A global memory formation has emerged since the 1990s, in which memories of traumatic histories in different parts of the world, often articulated in the terms established by Holocaust memory, have become entangled, reconciled, contested, conflicted and negotiated across borders
Microservices : Science and Engineering
This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes deployed in isolation and equipped with dedicated memory persistence tools, which interact via messages.
Microprocessor 2 : Communication in a digital system
Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and 8-bit formats. The first chapter presents the calculation function and reminds the memory function. The following is devoted to notions of calculation model and architecture. The concept of bus is then presented. Chapters 4 and 5 can then address the internal organization and operation of the microprocessor first in hardware and then software. The mechanism of the function call, conventional and interrupted, is more particularly detailed in a separate chapter. The book ends with a presentation of architectures of the first microcomputers for a historical perspective. The knowledge is presented in the most exhaustive way possible with examples drawn from current and old technologies that illustrate and make accessible the theoretical concepts. Each chapter ends if necessary with corrected exercises and a bibliography. The list of acronyms used and an index are at the end of the book.
Microprocessor 1 : Prolegomena - calculation and storage functions - models of computation and computer architecture
Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Micromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals with micromechanical analysis of interfaces and interface layers and presents several modelling tools, ranging from the rigorous method of asymptotic expansions to practical finite element simulations, suitable for this class of problems. Two application areas are discussed. Boundary layers associated with contact of rough bodies are modelled by applying a scale transition approach in which a macroscopic interface of zero thickness is seen at the micro-scale as a layer with some finite thickness. Secondly, evolution of laminated microstructures accompanying stress-induced martensitic transformations in shape memory alloys (SMA) is analyzed as an illustration of the case when the local interfacial phenomena – here the propagation of phase transformation fronts – govern the macroscopic behaviour of a heterogeneous material.
Microlithography/Molecular Imprinting
The series presents critical reviews of the present and future trends in polymer and biopolymer science including chemistry, physical chemistry, physics and material science. It is addressed to all scientists at universities and in industry who wish to keep abreast of advances in the topics covered.Molecular recognition is central to how biological systems work. The molecular imprinting technique is a valuable polymerisation method for preparing synthetic materials able to mimic the molecular recognition phenomena present in living systems. A molecule that acts as a template is associated with functional monomers to form a complex by means of covalent linkages or noncovalent interactions. A polymerisation-crosslinking reaction is then performed around this complex. Upon removal of the template species, functionalised cavities, that have memorized the special features and bonding preferences of the template, are left inside the polymer network.
Microelectronic Circuits
Devices and basic circuits -- Signals, amplifiers and semiconductors -- Operational amplifiers -- Diodes -- Bipolar junction transistors (BJTS) -- Mos field-effect transistors (MOSFETS) -- Transistor amplifiers -- Analog integrated circuits -- Building blocks of integrated-circuit amplifiers -- Differential and multistage amplifiers -- Frequency response -- Feedback -- Output stages and power amplifiers -- Operational-amplifier circuits -- Filters and oscillators -- Digital integrated circuits -- CMOS digital logic circuits -- Digital Design: Power, Speed, and Area -- Memory and Clocking Circuits
Micro-, Meso- and Macro-Dynamics of the Brain
This book brings together leading investigators who represent various aspects of brain dynamics with the goal of presenting state-of-the-art current progress and address future developments. The topics cover the most fascinating facets of neuroscience from elementary computation of neurons, mesoscopic network oscillations, internally generated assembly sequences in the service of cognition, large-scale neuronal interactions within and across systems, the impact of sleep on cognition, memory and mental illness, brain controlled robots, motor-sensory integration, spatial navigation, large-scale computation and consciousness. Overall, this volume offers an integrated view of the challenges and opportunities in deciphering brain circuits in health and disease.
Metaheuristic Optimization via Memory and Evolution : Tabu Search and Scatter Search
Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization problems, and have had a variety of applications in industry, science, and government. The goal of METAHEURISTIC OPTIMIZATION VIA MEMORY AND EVOLUTION: Tabu Search and Scatter Search is to report original research on algorithms and applications of tabu search, scatter search or both, as well as variations and extensions having "adaptive memory programming" as a primary focus. Individual chapters identify useful new implementations or new ways to integrate and apply the principles of TS and SS, or that prove new theoretical results, or describe the successful application of these methods to real world problems.The chapters of this book provide a series of landmarks along the way as we investigate and seek to better understand the elements of tabu search and scatter search that account for their successes in an astonishingly varied range of applications.
Memory B-cells : Methods and protocols
Details in methods to assess memory B cell formation and function in mice and humans. Chapters guide readers through tetramer-based methods to assess antigen-specific memory B cell dynamics in humans and mice in different vaccine, next-generation deep-sequencing, single-cell techniques to assess epigenomic, VDJ landscapes, lymph node aspirates from humans, advanced imaging, murine models to determine memory B cells formation, and bioinformatic techniques and in silico modelling of memory b cell formation. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls.
Memories in Wireless Systems
This book is a guide which treats many components used in mobile communications, and in particular focuses on non-volatile memories. It emerges following the conducting line of the non-volatile memory in the wireless system: On the one hand it develops the foundations of the interdisciplinary issues needed for design analysis and testing of the system. On the other hand it deals with many of the problems appearing when the systems are realized in industrial production. These cover the difficulties from the mobile system to the different types of non-volatile memories.
Memories : Molecules and Circuits
This volume surveys the recent advances and provides an integrative view of molecular, cellular, and systems level mechanisms underlying cognitive processes in both animals and humans. Current state of the art and future avenues are discussed by distinguished scientists who provide not only an overview of the underlying neurobiology of cognitive processes from a basic science standpoint, but who also focus on clinical and therapeutic aspects surrounding impairments associated with disorders that affect cognition.
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Meaning and Use
The second Jerusalem Philosophical Encounter was held in Jerusalem on April 25-28, 1976, The topic of the symposiumwas Meaning and Use. For Bar-Hillel, the question 'meaning or use?' was of great importance, one which he took as a question of priorities. Which approach to natural language is prior: the formal, semantical approach, which accords a central position to the truth functional concept of meaning and to the theory of reference, or rather the alternative approach which accords the central position to linguistic commu nication and prefers dealing with speech acts to dealing with Statements? Bar Hillel's answer to this question, in his later years, can be summed up by our title, meaning and use: neither approach deserves priority, each is equally necessary, and they both complement each other.
Maxillofacial prosthetics and dental oncology : Practical approach from a high volume head and neck cancer centre
An assimilation of clinical and practical work done at Tata Memorial Hospital. It reflects the evolution of Dental Oncology and Maxillofacial Prosthodontics and more than 33 years of exclusive maxillofacial prosthodontic experience of Dr. Kanchan Dholam. This book covers the clinical guidelines for treatment, based on sound scientific principles and published literature. It also provides a step-by-step approach in the fabrication of commonly-indicated maxillofacial prostheses.
Introduction to Reliable Distributed Programming
Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions as well as algorithms to implement these abstractions. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one specific class of abstractions, covering reliable delivery, shared memory, consensus and various forms of agreement. This textbook comes with a companion set of running examples implemented in Java. These can be used by students to get a better understanding of how reliable distributed programming abstractions can be implemented and used in practice. Combined, the chapters deliver a full course on reliable distributed programming. The book can also be used as a complete reference on the basic elements required to build reliable distributed applications.
Introduction to Operating System Design and Implementation : The OSP 2 Approach
This book exposes students to many essential features of operating systems while at the same time isolating them from low-level, machine-dependent concerns. With its accompanying software, the book contains enough projects for up to three semesters.
Introduction to Machine Learning with Applications in Information Security
Provides a classroom-tested introduction to a wide variety of machine learning and deep learning algorithms and techniques, reinforced via realistic applications. The book is accessible and doesn't prove theorems, or dwell on mathematical theory. The goal is to present topics at an intuitive level, with just enough detail to clarify the underlying concepts. The book covers core classic machine learning topics in depth, including Hidden Markov Models (HMM), Support Vector Machines (SVM), and clustering. Additional machine learning topics include k-Nearest Neighbor (k-NN), boosting, Random Forests, and Linear Discriminant Analysis (LDA). The fundamental deep learning topics of backpropagation, Convolutional Neural Networks (CNN), Multilayer Perceptrons (MLP), and Recurrent Neural Networks (RNN) are covered in depth. A broad range of advanced deep learning architectures are also presented, including Long Short-Term Memory (LSTM), Generative Adversarial Networks (GAN), Extreme Learning Machines (ELM), Residual Networks (ResNet), Deep Belief Networks (DBN), Bidirectional Encoder Representations from Transformers (BERT), and Word2Vec.
