View:

- no detail
- some detail
- full detail

## 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

## Cost-Effectiveness Analysis

*Jeremy A. Lauer, Alec Morton, and Melanie Bertram*

### in Global Health Priority-Setting: Beyond Cost-Effectiveness

- Published in print:
- 2019
- Published Online:
- December 2019
- ISBN:
- 9780190912765
- eISBN:
- 9780190912796
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780190912765.003.0005
- Subject:
- Philosophy, Philosophy of Science

Cost-effectiveness analysis (CEA) is a form of economic evaluation concerned with efficiency: that is, with achieving the most for the resources (“value for money”). This chapter explains the appeal ... 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

## The Calculating Iceman: Leonid Kantorovich in the USSR, 1941–2

*Alan Bollard*

### in Economists at War: How a Handful of Economists Helped Win and Lose the World Wars

- Published in print:
- 2019
- Published Online:
- January 2020
- ISBN:
- 9780198846000
- eISBN:
- 9780191881244
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198846000.003.0005
- Subject:
- Economics and Finance, Economic History

The only way through the wartime Leningrad siege was a winter ice road across a lake, monitored by a brilliant young Soviet mathematician. Leonid Kantorovich had been brought up in the chaos of ... More

View:

- no detail
- some detail
- full detail