View:

- no detail
- some detail
- full detail

## Spin Glasses and Complexity

*Daniel L. Stein and Charles M. Newman*

- Published in print:
- 2013
- Published Online:
- October 2017
- ISBN:
- 9780691147338
- eISBN:
- 9781400845637
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691147338.001.0001
- Subject:
- Sociology, Science, Technology and Environment

Spin glasses are disordered magnetic systems that have led to the development of mathematical tools with an array of real-world applications, from airline scheduling to neural networks. This book ... More

## Recursive Models of Dynamic Linear Economies

*Lars Peter Hansen and Thomas J. Sargent*

- Published in print:
- 2013
- Published Online:
- October 2017
- ISBN:
- 9780691042770
- eISBN:
- 9781400848188
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691042770.001.0001
- Subject:
- Economics and Finance, History of Economic Thought

A common set of mathematical tools underlies dynamic optimization, dynamic estimation, and filtering. This book uses these tools to create a class of econometrically tractable models of prices and ... More

## The Sources of Regional Power Nuclear Postures: Posture Optimization Theory

*Vipin Narang*

### in Nuclear Strategy in the Modern Era: Regional Powers and International Conflict

- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691159829
- eISBN:
- 9781400850402
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691159829.003.0002
- Subject:
- Political Science, International Relations and Politics

This chapter identifies three main types of regional power nuclear postures, arrayed across a spectrum of capabilities and deployment procedures. This theory, the Posture Optimization Theory, ... More

## Conclusion

*Vipin Narang*

### in Nuclear Strategy in the Modern Era: Regional Powers and International Conflict

- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691159829
- eISBN:
- 9781400850402
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691159829.003.0011
- Subject:
- Political Science, International Relations and Politics

This chapter reiterates the findings explored in this book and discusses their implications. In doing so, the chapter stresses the significance of the posited optimization theory. This theory is the ... More

## Applications to Other Fields

*Daniel L. Stein and Charles M. Newman*

### in Spin Glasses and Complexity

- Published in print:
- 2013
- Published Online:
- October 2017
- ISBN:
- 9780691147338
- eISBN:
- 9781400845637
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691147338.003.0007
- Subject:
- Sociology, Science, Technology and Environment

This chapter explores how spin glass concepts have found use in and, in some cases, further advanced areas such as computational complexity, combinatorial optimization, neural networks, protein ... More

## Noncooperative Game Theory: An Introduction for Engineers and Computer Scientists

*João P. Hespanha*

- Published in print:
- 2017
- Published Online:
- May 2018
- ISBN:
- 9780691175218
- eISBN:
- 9781400885442
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691175218.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book is aimed at students interested in using game theory as a design methodology for solving problems in engineering and computer science. The book shows that such design challenges can be ... More

## Convex Optimization and Numerical Issues

*Pierre-Loïc Garoche*

### in Formal Verification of Control System Software

- Published in print:
- 2019
- Published Online:
- January 2020
- ISBN:
- 9780691181301
- eISBN:
- 9780691189581
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691181301.003.0010
- Subject:
- Mathematics, Applied Mathematics

This chapter aims at providing the intuition behind convex optimization algorithms and addresses their effective use with floating-point implementation. It first briefly presents the algorithms, ... More

## Definitions—Background

*Pierre-Loïc Garoche*

### in Formal Verification of Control System Software

- Published in print:
- 2019
- Published Online:
- January 2020
- ISBN:
- 9780691181301
- eISBN:
- 9780691189581
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691181301.003.0004
- Subject:
- Mathematics, Applied Mathematics

This chapter presents the formalisms describing discrete dynamical systems and gives an overview on the convex optimization tools and methods used to compute the analyses. A dynamical system is a ... More

## Optimal Control Imaging of Extended Inclusions

*Habib Ammari, Elie Bretin, Josselin Garnier, Hyeonbae Kang, Hyundae Lee, and Abdul Wahab*

### in Mathematical Methods in Elasticity Imaging

- Published in print:
- 2015
- Published Online:
- October 2017
- ISBN:
- 9780691165318
- eISBN:
- 9781400866625
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691165318.003.0010
- Subject:
- Mathematics, Applied Mathematics

This chapter describes the use of time-reversal imaging techniques for optimal control of extended inclusions. It first considers the problem of reconstructing shape deformations of an extended ... More

## Invariant Synthesis via Convex Optimization: Postfixpoint Computation as Semialgebraic Constraints

*Pierre-Loïc Garoche*

### in Formal Verification of Control System Software

- Published in print:
- 2019
- Published Online:
- January 2020
- ISBN:
- 9780691181301
- eISBN:
- 9780691189581
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691181301.003.0005
- Subject:
- Mathematics, Applied Mathematics

This chapter focuses on the computation of invariant for a discrete dynamical system collecting semantics. Invariants or collecting semantics properties are properties preserved along all executions ... More

## Template-based Analyses and Min-policy Iteration

*Pierre-Loïc Garoche*

### in Formal Verification of Control System Software

- Published in print:
- 2019
- Published Online:
- January 2020
- ISBN:
- 9780691181301
- eISBN:
- 9780691189581
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691181301.003.0006
- Subject:
- Mathematics, Applied Mathematics

This chapter considers other configurations aside from the direct synthesis of invariants as bound templates. A first case arises when the methods shown in the previous chapter only synthesizes the ... More

View:

- no detail
- some detail
- full detail