Jump to ContentJump to Main Navigation

You are looking at 1-11 of 11 items

  • Keywords: optimisation x
  • University Presses: Princeton University Press x
  • Princeton University Press x
Clear All Modify Search

View:

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: