Page 13
Page 13
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.
Adhesive restoration of endodontically treated teeth
Dentine bonding systems, composite resins and fibre posts have widely replaced cast posts and amalgam as core materials; all-ceramic and composite crowns have also replaced metal ceramic crowns in many aesthetic cases. The aim of this book is to provide the general practitioner with some principles and techniques for the adhesive restoration of root filled teeth.
A Short Course in Geology for Civil Engineers
Explains the process of ground formation - what it is made of and how it behaves as an engineering material. This enables the civil engineer to work from a few first principles to determine if the ground is an asset or a hazard. It focuses on the tectonic plate mechanisms that give rise to the geology of our planet and describes the way these create hazards such as volcanic eruptions, earthquakes and tsunamis. The authors state that groundwater can be both a resource and a hazard and through this book they provide an overview of the origins of geomaterials.
Mathematical and Statistical Methods in Insurance and Finance
The interaction between mathematicians and statisticians reveals to be an effective approach to the analysis of insurance and financial problems, in particular in an operative perspective. The Maf2006 conference, held at the University of Salerno in 2006, had precisely this purpose and the collection here published gathers some of the papers presented at the conference and successively worked out to this aim. They cover a wide variety of subjects in insurance and financial fields, all treated in light of the successful cooperation between the two quantitative methods.
Managing Global Innovation : Uncovering the Secrets of Future Competitiveness
"Managing Global Innovation is a rich compendium of new concepts of global R&D, enlivened by 18 excellent best-in-class case studies. What is especially impressive, the authors bridge seamlessly theoretical and practical issues about how companies create, transform and implement new technology in an expanding marketplace. This will be intriguing to both the industry and the academic world. The lessons learned are invaluable. The book is a real tour de force, probably destined to become a standard in this field for some time to come." Professor Jeff Huang, Harvard University "This excellent book demonstrates how the dynamics of innovation and creativity can be mastered. Important reading for senior management and a must for R&D leaders."
Managerial Uses of Accounting Information
“Joel Demski’s book is an excellent book in accounting that provides an insightful and comprehensive study on managerial accounting using issues through a new approach based on economic theory and quantitative methods. … this book is very insightful and worth reading. The book is recommended as teaching and research material since it motivates readers to study thoughtfully the philosophy and principles of managerial accounting, in addition addressing how to solve managerial problems based on accounting information.”
Management Quality and Competitiveness : Lessons from the Industrial Excellence Award
This book showcases examples of excellent manufacturing companies who have succeeded in creating value and job growth in Western Europe. The examples show managers of industrial firms how a clearly articulated strategic position can be combined with excellent execution to achieve competitiveness in Europe, in spite of the usually cited disadvantage of high labor costs and rigidity. Not every company is alike — strategic positions differ, and the means of execution differ, but what is common is a clear plan together with mobilization of all employees to apply their abilities in supporting this common plan. The book is indispensable reading for all managers that are interested in improving competitiveness.
Management of Convergence in Innovation : Strategies and Capabilities for Value Creation Beyond Blurring Industry Boundaries
Throughout the past decade, the phenomenon of technological convergence has increasingly gained managerial attention. In this special form of technological change, the coming-together of previously distinct knowledge bases gives rise to the creation of new applications and business models. When such innovations emerge at the intersection of industries, the resulting creative destruction may exceed previously established industry boundaries. As a consequence, convergence does not only promise the creation of new value, but may imply significant disruptions to established industries. Based on investigating 26 firms within the ICT industry, this book highlights implications of the convergence phenomenon on firms’ innovation management practices, and derives strategic guidelines for building and sustaining business models beyond blurring industry boundaries.
Long-Run Growth Forecasting
Explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number of countries. It offers a systematic approach to models of potential GDP that can also be used for forecasts of more than a decade. It is an attempt to fill the wide gap between the high demand for such models by commercial banks, international organizations, central banks and governments on the one hand and the limited supply on the other hand. Frequent forecast failures in the past (e.g. Japan 1990, Asia 1997) and the heavy economic losses they produced motivated the work. The book assesses the large number of different theories of economic growth, the drivers of economic growth, the available datasets and the empirical methods on offer. A preference is shown for evolutionary models and an augmented Kaldor model. The book uses non-stationary panel techniques to find pair-wise cointegration among GDP per capita and its main correlates such as physical capital, human capital and openness.
Life Cycle Investing and Occupational Old-Age Provision in Switzerland
Florian Zainhofer uses the theory of life cycle investing, i.e. how we should optimally choose our savings rate and risky asset share throughout our lives, as a framework to study the implications of a potential BVG individualization. Following an introduction on the Swiss system of old-age provision, the author reviews recent life cycle models of portfolio choice and covers their numerical solution algorithms in depth. He presents an empirical analysis of Swiss workers’ earnings dynamics since these are important determinants of life cycle investment behavior. To further investigate the implications of a flexible contribution rate and risky asset share in the mandatory BVG, the author proposes a model adapted to Swiss conditions and parameterized with the estimated earnings dynamics.
Legitimacy Needs as Drivers of Business Exit
A diversified firm’s withdrawal from a business unit, i.e. business exit, is a significant phenomenon in management practice. Although divestitures are highly relevant in practice, the acquisition of business units attracts much more attention in strategic management research. Carolin Decker develops and empirically applies a framework in which business exits serve the purpose of re-establishing a firm’s previously harmed legitimacy. She suggests four types of legitimacy needs that are to be satisfied with the divestiture of a business unit and the simultaneous pursuit of strategic reorientation. The author tests the theoretical framework with secondary data on 213 business exits. Her findings support the idea that legitimacy needs drive the likelihood of fit-enhancing business exits in divesting firms.
Lean Brain Management : More Success and Efficiency by Saving Intelligence
Intelligence is wasted on problems that themselves have been caused by an excess of intelligence. Lean Brain Management strives toward uncompromising Lean Brain Quality. Lean Brain stands for consistent economization of intelligence in all realms of life: Intelligent systems will only be operated by unskilled workers. Education, universities, and schools would become obsolete. A week of training would be enough for virtually any job. ("You are now the physician for the measles in the State of Ohio. In response to phone calls, send this prescription.") Lean Brain is not aimed at dumbing down! Lean Brain can survive on just a very small amount of central intelligence. Potential savings amount to trillions! This is demonstrated using Germany as an example. With this book, Dueck presents a radical suggestion for world improvement. The desire to laugh infinitely about it will eventually segue into a collective rude awakening. The book contains concrete advice for managers to economize on intelligence, and is thus--in keeping with the theme--written in an easy-to-read fashion.
Leading Pharmaceutical Innovation : Trends and Drivers for Growth in the Pharmaceutical Industry
Pharmaceutical giants have doubled their investments in drug development in the past decade only to see new drug approvals remain constant. This book investigates and highlights a set of proactive strategies aimed at generating sustainable competitive advantage based on value-generating business practices. We focus on three sources of pharmaceutical innovation: new management methods in the drug development pipeline, new technologies as enablers for cutting-edge R&D, and new forms of cooperation and internationalization, such as open innovation in the early phases of R&D. Our findings are illustrated by cases from Europe, the US, and Asia.
Italian Institutional Reforms : A Public Choice Perspective
Using a public choice perspective, this book explains the evolution and political and economic impact of recent changes to the Italian institutional framework. Because these changes are so numerous and broad, their implementation serves as a case study for other Western governments. Particular attention is paid to the introduction of the EURO, the reform of voting from proportional to majoritarian rule, the impact of corporatism, constraints imposed by the Maastricht Treaty, and the switch from a highly centralized government to a federal organization.
Computational Aspects of General Equilibrium Theory : Refutable Theories of Value
This monograph presents a general equilibrium methodology for microeconomic policy analysis. It is intended to serve as an alternative to the now classical, axiomatic general equilibrium theory as exposited in Debreu`s Theory of Value (1959) or Arrow and Hahn`s General Competitive Analysis (1971). The methodology proposed in this monograph does not presume the existence of market equilibrium, accepts the inherent indeterminancy of nonparametric general equlibrium models, and offers effective algorithms for computing counterfactual equilibria in these models. It consists of several essays written over the last decade, some with colleagues or former graduate students, and an appendix by Charles Steinhorn on the elements of O-minimal structures, the mathematical framework for our analysis.
Component-Based Digital Movie Production : Reference Model of an Integrated Production System
The ongoing digitization process affects all areas of the media industry. Within the scientific discussion, movie production is little observed although it currently faces crucial structural developments. The change to digital production processes allows new ways of cooperation and coordination in the project networks. Marcus Pankow examines the specifics of the movie production industry and its value-creating processes, reflecting the digitization and its impact on the information systems strategy. An empirical case study analysis forms the basis for the development of a reference model for a company-wide application system to support the entire movie production process. Following the concept of a Service Oriented Architecture (SOA), he encapsulates established applications in services and integrates them on one platform.
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.
Competitiveness in the Tourism Sector : A Comprehensive Approach from Economic and Management Points
International tourism is expected to be a major vehicle of economic development in industrializing countries in the 21st century, especially for Asia. To generate long-term growth, countries with tourism-based economies must develop strategies for employing their comparative advantages to achieve competitive advantages. However, competitiveness in the tourist industry is multi-dimensional and complex. This study evaluates the competitiveness of the Taiwanese tourism sector by a multi-dimensional framework. The theoretical model proposes that the competitiveness of tourist destinations should be composed of Ricardian comparative advantages (like the conditions of natural endowments and the degree of technological change); Porterian competitive advantages; tourism management, i.e., providing high quality education and job training, public goods, support services and reduced transaction costs to enhance comparative and competitive advantages; and environmental conditions.
Competition Policies in Emerging Economies : Lessons and Challenges from Central America and Mexico
Do small developing economies, or SDEs, need a specific competition policy to create competitive markets? Against the backdrop of globalization, protectionist policies that promote state ownership and heavy regulation of key industries are proving increasingly ineffective for driving growth. Countries around the world are instituting reforms to promote competition and business creation, yet the economic and political concentration of power, feeble judicial systems, and the scarcity of human and financial resources pose special challenges to SDEs. Competition Policies in Emerging Economies features an in-depth analysis of two strategic industries — telecommunications and banking — in several Central American nations which sheds light on the dynamics of the transition to deregulation and trade liberalization. Examining the lessons learned from these experiences and presenting discussion of political, legal, economic, financial, cultural, and organizational issues, the book provides unique perspectives on competition policy and economic development.
Competence of Top Management Teams and Success of New Technology-Based Firms : A Theoretical and Empirical Analysis Concerning Competencies of Entrepreneurial Teams and the Development of Their Ventures
In his book, Jan Brinckmann develops a comprehensive competence concept for new technology-based firms. It is grounded in competence-related literature combining insights from entrepreneurship and management research. The competence concept comprises three domains: general entrepreneurial competencies, social competencies, and functional competencies in technology, marketing, and financial management. A measurement model is developed to specify the contents of each sub-domain and to facilitate self-assessment of these competencies. In an empirical study, 212 executives of German NTBFs assessed their team’s competencies. This data is analyzed using structural equation modelling to identify the most relevant competencies for new venture success.
