Keywords
Affiliated Institutions
Related Publications
Petri Net Modeling for Probabilistic Safety Assessment and its Application in the Air Lock System of a CANDU Nuclear Power Plant
Historically, fault trees are extensively used in Probabilistic Safety Assessment (PSA) to model and evaluate the probability and consequence of failures of complex engineering ...
Single-Image Super-Resolution Using Sparse Regression and Natural Image Prior
This paper proposes a framework for single-image super-resolution. The underlying idea is to learn a map from input low-resolution images to target high-resolution images based ...
UNet++: A Nested U-Net Architecture for Medical Image Segmentation
In this paper, we present UNet++, a new, more powerful architecture for medical image segmentation. Our architecture is essentially a deeply-supervised encoder-decoder network w...
An Algorithm for the General Petri Net Reachability Problem
An algorithm is presented for the general Petri net reachability problem. It is based on a generalization of the basic reachability tree construction which is made symmetric wit...
Optimization and Nonsmooth Analysis
1. Introduction and Preview 2. Generalized Gradients 3. Differential Inclusions 4. The Calculus of Variations 5. Optimal Control 6. Mathematical Programming 7. Topics in Analysis.
Publication Info
- Year
- 1943
- Type
- article
- Volume
- 5
- Issue
- 4
- Pages
- 115-133
- Citations
- 17433
- Access
- Closed
External Links
Social Impact
Social media, news, blog, policy document mentions
Citation Metrics
Cite This
Identifiers
- DOI
- 10.1007/bf02478259