الصفحة 10
الصفحة 10
Developments in Risk-based Approaches to Safety ; Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006
The papers included in this volume address the most critical topics in the field of safety-critical systems. The focus this year, considered from various perspectives, is on recent developments in risk-based approaches. Subjects discussed include innovation in risk analysis, management risk, the safety case, software safety, language development and the creation of systems for complex control functions.
Developing bus management system for AIU
To solve the problem of congestion in bus stops for students, members of the administrative and educational people at the Arab International University, an application was designed that allows the user to reserve a seat on the bus. The application provides prior reservation and enters the study time for the user, the application reminds him for the time of his going to the university. The basic functions of the application are designed according to the general analysis, The development of the application used Laravel, flutter frameworks, AI and MySQL database processing technology. The application has accomplished such functions as notification for location. The test of the application is running in good conditions. The use of the application will solve the problem of bus crowding. The efficiency of the platform makes it a very good candidate to be implemented for any person in Arab International University.
Determining Spectra in Quantum Theory
The main objective of this book is to give a collection of criteria available in the spectral theory of selfadjoint operators, and to identify the spectrum and its components in the Lebesgue decomposition. at the total spectral measure associated with it;often studying such ameasure meant looking at some transform of the measure. The transforms were of the form f,?(A)f which is expressible, by the spectral theorem, as ?(x)dµ (x) for some finite measure µ . The two most widely used functions were the sx ?1 exponential function?(x)=e and the inverse function?(x)=(x?z) . These functions are “usable” in the sense that they can be manipulated with respect to addition of operators, which is what one considers most often in the spectral theory of Schrodinger type operators. Starting with this basic structure we look at the transforms of measures from which we can recover the measures and their components in Chapter 1. In Chapter 2 we repeat the standard spectral theory of selfadjoint op- ators. The spectral theorem is given also in the Hahn–Hellinger form. Both Chapter 1 and Chapter 2 also serve to introduce a series of definitions and notations, as they prepare the background which is necessary for the criteria in Chapter 3.
Dental neuroimaging: the role of the brain in oral functions
Provides an up-to-date overview of neuroimaging research on the neural mechanisms underlying mastication, swallowing, sensory processing, and other oral topics.
Dendritic Cells in Clinics
Great advances have taken place in basic research and the clinical usefulness of dendritic cells (DCs). It has now been clearly established, for instance, that these cells play a crucial role in immune responses against infectious diseases and cancers. Antigen-presenting DCs are widely distributed in the body and regulate both immunity and immune tolerance. Experimental studies have provided important insights into DCs and how they can be used for treating animal models of various diseases that occur in humans. The role of these cells in pathogenesis and the treatment of human diseases is elaborately set forth in this valuable book. Researchers in the field are optimistic that DCs, already in use for treating patients with cancers, soon can be used therapeutically for patients with chronic infections, autoimmune diseases, and allergic manifestations. This volume provides a working definition of DCs and also explains the phenotypes and functions of DCs so that these can be readily understood not only by clinicians but by immunologists, researchers, and students as well.
Decision Support for Forest Management
While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific multi-criteria decision aid tools, this book provides a much broader range of tools to meet a variety of planning situations. The methods themselves cover a range of decision situations – from cases involving single decision makers, through group decision making, to participatory planning. They include traditional decision support tools, from optimization to utility functions, as well as methods that are just gaining ground in forest planning – such as problem structuring methods and social choice theory. Including examples which illustrate the application of each technique to specific management planning problems, the book offers an invaluable resource for both researchers and advanced students specializing in management and planning issues relating to forestry.
Cyclotomic Fields and Zeta Values
Cyclotomic fields have always occupied a central place in number theory, and the so called "main conjecture" on cyclotomic fields is arguably the deepest and most beautiful theorem known about them. It is also the simplest example of a vast array of subsequent, unproven "main conjectures'' in modern arithmetic geometry involving the arithmetic behaviour of motives over p-adic Lie extensions of number fields. These main conjectures are concerned with what one might loosely call the exact formulae of number theory which conjecturally link the special values of zeta and L-functions to purely arithmetic expressions.
Cyclin Dependent Kinase 5 (Cdk5)
Cyclin Dependent Kinase 5 provides a comprehensive and up-to-date collection of reviews on the discovery, signaling mechanisms and functions of Cdk5, as well as the potential implication of Cdk5 in the treatment of neurodegenerative diseases. Since the identification of this unique member of the Cdk family, Cdk5 has emerged as one of the most important signal transduction mediators in the development, maintenance and fine-tuning of neuronal functions and networking. Further studies have revealed that Cdk5 is also associated with the regulation of neuronal survival during development as well as in neurodegenerative diseases. These observations indicate that precise control of Cdk5 is essential for the regulation of neuronal survival. The pivotal role that Cdk5 appears to play in both the regulation of neuronal survival and synaptic functions thus raises the interesting possibility that Cdk5 inhibitors may have therapeutic potential for the treatment of a number of neurodegenerative diseases.
Cryptography and cryptanalysis in Java : Creating and programming advanced algorithms with Java SE 17 LTS and Jakarta EE 10
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction to Java 17's new features and updates, a roadmap for Jakarta EE 10 security mechanisms, a unique presentation of the "hot points" (advantages and disadvantages) from the Java Cryptography Architecture (JCA), and more. You Will Learn : Develop programming skills for writing cryptography algorithms in Java / Dive into security schemes and modules using Java / Explore “good” vs “bad” cryptography based on processing execution times and reliability / Play with pseudo-random generators, hash functions, etc. / Leverage lattice-based cryptography methods, the NTRU framework library, and more
Cryptography and coding ; 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings
This book presented signatures, boolean functions, block cipher cryptanalysis, side channels, linear complexity, public key encryption, curves, and RSA implementation.
Cryocoolers 13
The last two years have witnessed a continuation in the breakthrough shift toward pulse tube cryocoolers for long-life, high-reliability cryocooler applications. New this year are papers de scribing the development of very large pulse tube cryocoolers to provide up to 1500 watts of cooling for industrial applications such as cooling the superconducting magnets of Mag-lev trains, coolmg superconducting cables for the power mdustry, and liquefymg natural gas. Pulse tube coolers can be driven by several competing compressor technologies. One class of pulse tube coolers is referred to as "Stirling type" because they are based on the linear Oxford Stirling-cooler type compressor; these generally provide coolmg m the 30 to 100 K temperature range and operate ^t frequencies from 30 to 60 Hz. A second type of pulse tube cooler is the so-called "Gifford-McMahon type. " Pulse tube coolers of this type use a G-M type compressor and lower frequency operation (~1 Hz) to achieve temperatures in the 2 to 10 K temperature range. The third type of pulse tube cooler is driven by a thermoacoustic oscillator, a heat engine that functions well in remote environments where electricity is not readily available. All three types are described, and in total, nearly half of this proceedings covers new developments in the pulse tube arena. Complementing the work on low-temperature pulse tube and Gifford-McMahon cryocoolers is substantial continued progress on rare earth regenerator materials.
Creep Mechanics ; 3rd ed.
The third edition of “Creep Mechanics” provides a short survey of recent advances in the mathematical modelling of the mechanical behavior of anisotropic solids under creep conditions, including principles, methods, and applications of tensor functions.
Courbes algébriques planes = Plane Algebraic Curves
Resulting from a master's course at the University of Paris VII, this text is re-edited as it appeared in 1978. Various tools are introduced in connection with Bézout's theorem necessary for the development of the notion of the multiplicity of intersection of two algebraic curves in the complex projective plane. Starting from elementary notions on affine and projective algebraic subsets, we define the intersection multiplicities and interpret their sum in terms of the resultant of two polynomials. The local study is a pretext for the introduction of formal or convergent series rings; it culminates in Puiseux's theorem, the convergence of which is reduced by splits to that of the theorem of implicit functions. Various figures illuminate the text: we "see" in particular that the homogeneous equation x3 + y3 + z3 = 0 defines a torus in the complex projective plane.
Corporate Social Responsibility (CSR), Sustainability and Environmental Social Governance (ESG) : Approaches to Ethical Management
Provides a comprehensive overview of corporate social responsibility (CSR) and its practical applications. In addition to the structured procedure with definitions and CSR approaches, functions within the value chain are described in comprehensive manner with reference to business practice. Business trends in special sectors such as innovation management and hospitality management are also covered. Numerous practical examples and country-specific recommendations for decisions in practical situations are also offered.
Corporate and Investment Banking : Preparing for a Career in Sales, Trading, and Research in Global Markets
Provides unique information to prepare graduates and newly hired corporate and investment banking professionals for a career in the global markets environment of large universal and international investment banks. It shows the interrelationship between the three specific business functions of sales, trading, and research, as well as the interaction with corporate and institutional clients. The book fills a gap in the available literature by linking financial market theory to the practical aspects of day-to-day operations on a trading floor and offers a taxonomy of the current banking business, providing an in-depth analysis of the main market participants in the global markets ecosystem. Engaging the reader with case studies, anecdotes, and industry color, the book addresses the risks and opportunities of the global markets business in today’s global financial markets both from a theoretical and from a practitioner’s perspective and focuses on the most important fixed-income financial instruments from a pricing, risk-management, and client-marketing perspective.
Coronaviruses : Methods and Protocols
Aims to describe a variety of techniques that reflects the wide range of research currently performed in the field of coronavirology, and begins with an overview of current understandings of coronavirus replication and pathogenesis to introduce specialists and non-specialists to the field. The rest of the book is divided into several sections of chapters beginning with those that describe identification, diagnosis, and study of the evolution of coronaviruses. The next few chapters discuss the preparation of cells and organ cultures useful in propagating coronaviruses and titration techniques, as well as techniques for analyzing virus functions that require purification of the viruses. The next chapters describe two commonly used reverse genetics techniques for coronaviruses, and techniques detailing identification of cellular receptors, binding profiles of viral attachment proteins, and virus-cell fusion. The final chapters cover a broad spectrum of techniques to identify virus-host protein-protein interactions, confirm the functional role of these proteins in virus replication, study host cell responses through genome-wide or pathway-specific approaches, and visualize virus replication complexes. Written in the highly successful Methods in Molecular Biology series format, the chapters include the kind of detailed description and implementation advice that is crucial for getting optimal results in the laboratory.
Convexity and Well-Posed Problems
This book deals mainly with the study of convex functions and their behavior from the point of view of stability with respect to perturbations. We shall consider convex functions from the most modern point of view: a function is de?ned to be convex whenever its epigraph, the set of the points lying above the graph, is a convex set. Thus many of its properties can be seen also as properties of a certain convex set related to it. Moreover, we shall consider extended real valued functions.
Convex functions and their applications : A contemporary approach ; 2nd ed.
This second edition provides a thorough introduction to contemporary convex function theory with many new results. A large variety of subjects are covered, from the one real variable case to some of the most advanced topics. The new edition includes considerably more material emphasizing the rich applicability of convex analysis to concrete examples. Chapters 4, 5, and 6 are entirely new, covering important topics such as the Hardy-Littlewood-Pólya-Schur theory of majorization, matrix convexity, and the Legendre-Fenchel-Moreau duality theory.
Convex Functions and their Applications : A Contemporary Approach ; 1st ed.
Convex functions play an important role in many branches of mathematics, as well as other areas of science and engineering. The present text is aimed to a thorough introduction to contemporary convex function theory, which entails a powerful and elegant interaction between analysis and geometry. A large variety of subjects are covered, from one real variable case (with all its mathematical gems) to some of the most advanced topics such as the convex calculus, Alexandrov’s Hessian, the variational approach of partial differential equations, the Prékopa-Leindler type inequalities and Choquet's theory.
Contractual Management : Managing Through Contracts
Contractual Management offers a holistic approach to managerial decision-making based on contracts or business processes that are related to contracts. It explains management from the point of view of the contract, just as it interprets the contract from the point of view of management. Thus, the approach highlights the great inherent potential of contracts for managing companies, transactions and business relationships.
