springer us dez 1899 (3 risultati)

Buch. Condizione: Neu. Neuware - Some recent developments in the mathematics of optimization, including the concepts of invexity and quasimax, have not previously been applied to models of economic growth, and to finance and investment. Their applications to these areas are shown in this book. Results are presented concerning when an optimal control model has a unique optimum, what happens when the usual convexity assumptions are weakened or absent, and stability to small disturbances of the model or its parameters. The book introduces a new computational package called SCOM, for solving optimal control problems on MATLAB.

Buch. Condizione: Neu. Neuware - This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to supportIP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Making European Merger Policy More Predictable analyses European Merger Control with regard to its capacity to generate predictability among the concerned parties. Starting from the premise that predictability is of overwhelming importance for the functioning of market economies, Voigt and Schmidt ask to what degree European Merger Control has been predictable over the last couple of years. The authors show both theoretically and empirically that there have been serious shortcomings with regard to the predictability of competition policy. They identify the insufficient recognition of the consequences of globalization on the competitive processes as well as an often inconsistent application of economic theory as the root causes for the lack of predictability. The inconsistent application of economic theory is particularly relevant with regard to potential competition and the evaluation of collective dominance. The authors generate a substantial number of proposals that could help to improve predictability. On this basis, Voigt and Schmidt critically assess the recent reforms of European Merger Control. 194 pp. Englisch.