تحسين النتائح
ترتيب حسب
من
الى
الصفحة 8
الصفحة 8
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.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
Machine Learning in Dentistry
This book reviews all aspects of the use of machine learning in contemporary dentistry, clearly explaining its significance for dental imaging, oral diagnosis and treatment, dental designs, and dental research. In this book, readers will find up-to-date information on different machine learning tools and their applicability in various dental specialties.
Applied Civil Engineering Risk Analysis
Povides readers with the tools needed to determine the probability of failure, and when multiplied by the consequences of failure, illustrates how to assess the risk of civil engineering problems. Presenting methods for quantifying uncertainty that exists in engineering analysis and design, with an emphasis on fostering more accurate analysis and design.
Analysis, design and construction of foundations
Outlines methods for analysis and design the construction of shallow and deep foundations with particular reference to case studies in Hong Kong and China, as well as a discussion of methods used in other countries. It introduces the main approaches used by geotechnical and structural engineers, and the precautions required for planning and designing foundation structures. Some computational methods and computer programs are reviewed to provide tools for performing more realistic analysis of foundation systems.
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.
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.
Managing Corporate Brands : A new approach to corporate communication
Marcos Ormeño introduces both behavioural science theory and decision analysis into corporate brand management using corporate communication. He develops a managerial decision-making model that outdoes existing approaches for selecting communication tools due to its high degree of formalisation and its strong behavioural basis. An illustrative study supports the author's model and shows the importance of communication in building a corporate brand.
Management Methods and Tools : Practical Know-how for Students, Managers, and Consultants.
This textbook includes the most important management methods and tools. The author does not restrict himself to describing the scientific methods but also shows how to apply them to real-life situations. The management tools he introduces have been successfully tested during 20 years of experience. The various methods are described and analyzed in detail, and many examples illustrate their application. Thus, the textbook gives a fundamental and comprehensive insight into the practice of successful management. It is clearly structured and provides essential in-depth knowledge for students as well as for managers and consultants.
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
Make Your Own Map : Career Success Strategy for Women
This book shows you how to repurpose those methods for yourself, even if you're not in the corporate world. Packed with strategic tools and practical exercises, this book will help you: -Assess and define your career goals -Make a plan -Implement your plan to find the work that fits your needs, your skills, and your direction.
Machine learning for risk calculations : A practitioner's view
Fundamental Approximation Methods. Machine Learning -- Deep Neural Nets -- Chebyshev Tensors -- The toolkit - plugging in approximation methods. Introduction: why is a toolkit needed -- Composition techniques -- Tensors in TT format and Tensor Extension Algorithms -- Sliding Technique -- The Jacobian projection technique -- Hybrid solutions - approximation methods and the toolkit.
Knowledge Solutions : Tools, Methods, and Approaches to Drive Organizational Performance
Covers topics in knowledge management and competence in strategy development, management techniques, collaboration mechanisms, knowledge sharing and learning, as well as knowledge capture and storage. Presented in accessible “chunks,” it includes more than 120 topics that are essential to high-performance organizations. The extensive use of quotes by respected experts juxtaposed with relevant research to counterpoint or lend weight to key concepts; “cheat sheets” that simplify access and reference to individual articles; as well as the grouping of many of these topics under recurrent themes make this book unique. In addition, it provides scalable tried-and-tested tools, method and approaches for improved organizational effectiveness.
Knowledge Integration : The Practice of Knowledge Management in Small and Medium Enterprises
The ability to manage knowledge is relevant for millions of small and medium sized enterprises (SMEs) that operate in high-tech environments. They strongly depend on external knowledge about customers, technologies, and competitors because, as opposed to large companies, they have limited internal knowledge resources and little power to control their business environments.
Jacob Mincer : A Pioneer of Modern Labor Economics
This volume contains essays by or about Jacob Mincer who, along with Gary Becker, is a founding father of modern empirical labor economics. His methodology analyzes the economics of the working world, and his human capital model is a fundamental tool in empirical economics.
Complexity and Artificial Markets
In recent years, agent-based simulation has become a widely accepted tool when dealing with complexity in economics and other social sciences. The contributions presented in this book apply agent-based methods to derive results from complex models related to market mechanisms, evolution, decision making, and information economics. In addition, the applicability of agent-based methods to complex problems in economics is discussed from a methodological perspective. The papers presented in this collection combine approaches from economics, finance, computer science, natural sciences, philosophy, and cognitive sciences.
Climate Smart Agriculture : Building Resilience to Climate Change
"The book uses an economic lens to identify the main features of climate-smart agriculture (CSA), its likely impact, and the challenges associated with its implementation. This book offers tools and insights for a range of stakeholders to help meet these challenges in the many forms they are manifested."
Business cycle dynamics : Models and tools
Business cycle theory has been one of the fastest growing fields in modern nonlinear economic dynamics. The book is centered around models of multiplier-accelerator type, emerging from Samuelson's seminal work, later developed into nonlinear formats by Hicks and Goodwin. These models left open ends, as the tools then available did not permit more systematic analysis.
Bond Portfolio Optimization
1 The tools of modern portfolio theory are in general use in the equity markets, either in the form of portfolio optimization software or as an accepted frame- 2 work in which the asset managers think about stock selection. In the ?xed income market on the other hand, these tools seem irrelevant or inapplicable. Bond portfolios are nowadays mainly managed by a comparison of portfolio 3 4 risk measures vis ¶a vis a benchmark. The portfolio manager’s views about the future evolution of the term structure of interest rates translate th- selves directly into a positioning relative to his benchmark, taking the risks of these deviations from the benchmark into account only in a very crude 5 fashion, i.e. without really quantifying them probabilistically. This is quite surprising since sophisticated models for the evolution of interest rates are commonly used for interest rate derivatives pricing and the derivation of ?xed 6 income risk measures.
Biased technical change and economic conservation laws
Makes use of Lie groups to shed new light on the analysis of economic conservation laws. Economic conservation laws are not simply abstract concepts; this book shows that they are tools of empirical analysis that can be applied to such topics as analyses of macro performance and corporate efficiency.
