تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Lifestyle psychiatry through the lens of behavioral medicine
Lifestyle medicine is a practice which adopts evidence-based lifestyle interventions as a primary modality to prevent, treat, and reverse chronic diseases. The six main pillars of this specialty include physical activity, nutrition, stress resilience, cessation or risk reduction of substance use, quality sleep, and connectivity. Lifestyle psychiatry is a rapidly emerging area within healthcare informed by rigorous research within the social and biological sciences, public health, and medicine. A volume in the Lifestyle Medicine series, this book uses a comprehensive biopsychosocial approach to prevent and treat psychiatric disorders and promote mental and physical well-being through evidence-based lifestyle interventions.
Management of Data Center Networks
Discover state-of-the-art developments in DCNs from leading international voices in the field. Delivers a rigorous and insightful exploration of the network management challenges that present within intra- and inter-data center networks, including reliability, routing, and security. The book also discusses new architectures found in data center networks that aim to minimize the complexity of network management while maximizing Quality of Service, like Wireless/Wired DCNs, server-only DCNs, and more. offers: A thorough overview of the architectures of data center networks, including the classification of switch-centric, server-centric, enhanced, optical, and wireless DCN architectures An exploration of resource management in wired and wireless data center networks, including routing and wireless channel allocation and assignment challenges and criteria Practical discussions of inter-data center networks, including an overview of basic virtual network embedding Examinations of energy and security management in data center networks
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research in complexity theory often is motivated by questions and problems arising in cryptology. This book takes account of this trend, and therefore its subject is what may be dubbed "cryptocomplexity,'' some sort of symbiosis of these two areas. This textbook is suitable for undergraduate and graduate students of computer science, mathematics, and engineering, and can be used for courses on complexity theory and cryptology, preferably by stressing their interrelation. Starting from scratch, it is an accessible introduction to cryptocomplexity and works its way to the frontiers of current research. It provides the necessary mathematical background, has numerous figures, exercises, and examples, and presents some central, up-to-date research topics and challenges. Due to its comprehensive bibliography and subject index, it is also a valuable source for researchers, teachers, and practitioners working in these fields.
Beginning Visual Web Developer 2005 Express : From novice to professional
The primary goal of this book is to demonstrate Visual Web Developer 2005 Expresss effectiveness when developing applications. The secondary goal is to examine how coding best-practices can be applied with this new product. Beginning Visual Web Developer 2005 Express provides a rigorous overview of the application: how it operates, how it compares to the other versions of Visual Studio .NET 2005 now available, and the best way to use it.
Architecting dependable systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.
Advances in Computer and Information Sciences and Engineering
Advances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.
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 first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
Martingales and financial mathematics in discrete time
This book is entirely devoted to discrete time and provides a detailed introduction to the construction of the rigorous mathematical tools required for the evaluation of options in financial markets. Both theoretical and practical aspects are explored through multiple examples and exercises, for which complete solutions are provided. Particular attention is paid to the Cox, Ross and Rubinstein model in discrete time.
Management by Missions : Connecting People to Strategy through Purpose
Offers practical tools and models underscored by years of rigorous research Evolves the traditional concept of 'mission' to a broader concept of purpose including larger societal needs Identifies the relationship between corporate culture and profit
Capital project management ; Vol.2 : Capital project finance
Describes the strategic challenge of adding real economic value, properly and rigorously defined. The author explains how this is accomplished through the capital budgeting process; discusses the importance of free cash flow and finally, capital projects, as financial options, are discussed, as a way to manage risk while enhancing the likelihood of project approval.
Analysis and Algorithms for Service Parts Supply Chains
Services requiring parts has become a $1.5 trillion business annually worldwide, creating a tremendous incentive to manage the logistics of these parts efficiently by making planning and operational decisions in a rational and rigorous manner. This book provides a broad overview of modeling approaches and solution methodologies for addressing service parts inventory problems found in high-powered technology and aerospace applications. The focus in this work is on the management of high cost, low demand rate service parts found in multi-echelon settings. This unique book, with its breadth of topics and mathematical treatment, begins by first demonstrating the optimality of an order-up-to policy [or (s-1,s)] in certain environments. This policy is used in the real world and studied throughout the text. The fundamental mathematical building blocks for modeling and solving applications of stochastic process and optimization techniques to service parts management problems are summarized extensively. A wide range of exact and approximate mathematical models of multi-echelon systems is developed and used in practice to estimate future inventory investment and part repair requirements.
Advanced robust and nonparametric methods in efficiency analysis : Methodology and applications
This readable book makes available an intuitive yet rigorous presentation of advanced nonparametric and robust methods. This flexible toolbox can be used in theories based on the neoclassical theory of production and its alternatives, including evolutionary theories.
Mathematical and Computational Models for Congestion Charging
This book presents rigorous treatments of issues related to congestion pricing. The chapters describe recent advances in areas such as mathematical and computational models for predicting traffic congestion, determining when, where, and how much to levy tolls, and analyzing the impact of tolls on transporation systems. The analyses and methodologies developed in this book provide Mechanisms that aid in determining and comparing congestion pricing schemes; Methodologies for evaluating the efficiency of existing and proposed congestion pricing schemes; A means to predict the impact of pricing on urban transporation systems; and Information essential to the financial and political success of congestion pricing programs.
Linear Systems
Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook. The book examines the fundamental properties that govern the behavior of systems by developing their mathematical descriptions. Linear time-invariant, time-varying, continuous-time, and discrete-time systems are covered. Rigorous development of classic and contemporary topics in linear systems, as well as extensive coverage of stability and polynomial matrix/fractional representation, provide the necessary foundation for further study of systems and control.
Laws of Nature
The book is concerned with the laws of nature and in particular with the laws of physics. The authors discuss three important questions: First, whether the observed regularities are based on strict "laws of nature" that hold rigorously and without any exception. Second, what we call a "law of nature" is studied by comparing this concept with invariance principles, causality principles, teleological principles and means of predicting future events. Finally, on the basis of these investigations the authors treat the ambitious and intricate third question, why the laws of nature hold. Are there rational reasons for this largely unexplained phenomenon? This book addresses students as well as researchers. It will be an excellent reference for those interested in the philosophical foundations of the natural sciences.
Kramers-Kronig Relations in Optical Materials Research
This is the first one-volume work to provide a thorough and comprehensive description of the physical background, rigorous theory and applications of Kramers-Kronig relations in the fields of linear and nonlinear optical spectroscopy. Currently, Kramers-Kronig relations have become basic tools in the investigation of the optical properties of materials. A brief presentation of the related data-retrieval technique, the maximum entropy method, is also given. The contents and style potentially make this a standard text for physicists, chemists and engineers interested in optical-materials research and development.
Compendium of Theoretical Physics
Mechanics, Electrodynamics, Quantum Mechanics, and Statistical Mechanics and Thermodynamics comprise the canonical undergraduate curriculum of theoretical physics. In Compendium of Theoretical Physics, Armin Wachter and Henning Hoeber offer a concise, rigorous and structured overview that will be invaluable for students preparing for their qualifying examinations, readers needing a supplement to standard textbooks, and research or industrial physicists seeking a bridge between extensive textbooks and formula books. The authors take an axiomatic-deductive approach to each topic, starting the discussion of each theory with its fundamental equations. By subsequently deriving the various physical relationships and laws in logical rather than chronological order, and by using a consistent presentation and notation throughout, they emphasize the connections between the individual theories. The reader’s understanding is then reinforced with exercises, solutions and topic summaries.
Communicating with One Another : Toward a Psychology of Spontaneous Spoken Discourse
In other words, this book is a call for a paradigm shift in the study of oral communication. It is a must read for people interested in language use, as well as for specialists in language studies. "The authors have identified crucial theoretical and methodological assumptions that have hampered scholarship on language use. Their critical assessment is grounded in nuanced theoretical analysis and rigorous empirical studies. As a result, they reveal the complexity, elegance, and moral aspects of day to day dialogical communication."
