Index Catalog // Arch : Northwestern University Institutional Repository

Start Over

Filtering by: Subject Computer engineering Subject Computer science Subject Electrical engineering

1 - 2 of 2

List Gallery Masonry Slideshow

Enhancing Safety and Robustness for Mission-critical Systems with Formal Methods

Description:

Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...

Subject:

Electrical engineering, Computer engineering, and Computer science

Creator:

Li, You

Owner:

Scholarly Digital Publishing

Language:

en

Date Uploaded:

08/23/2023

Date Created:

2023-01-01

Resource Type:

Dissertation

Alternate Identifier:

http://dissertations.umi.com/northwestern:16748 and etdadmin_upload_1013532
Neural Network Approaches for Video Transmission, Motion Estimation and Error Concealment

Description:

Abstract The work presented in this dissertation addresses three broad areas of video signal processing: video transmission, motion estimation and error concealment. In the first category, focused on the source-side, we present two machine learning models for efficient content-aware resource allocation and packet prioritization for video transmission over shared/constrained, lossy...

Keyword:

CNN, Optical Flow, Video Transmission, Neural Networks, ConvLSTM, Motion Estimation, Error Concealment, and Capsule Networks

Subject:

Electrical engineering, Computer engineering, and Computer science

Creator:

Sankisa, Arun

Owner:

Scholarly Digital Publishing

Language:

en

Date Uploaded:

02/12/2020

Date Created:

2019-01-01

Resource Type:

Dissertation

Alternate Identifier:

http://dissertations.umi.com/northwestern:14822 and etdadmin_upload_685993

LIBRARIES | ARCH

Limit your search

Type

Resource type

Creator

Keyword

Subject

Language

Enhancing Safety and Robustness for Mission-critical Systems with Formal Methods

Neural Network Approaches for Video Transmission, Motion Estimation and Error Concealment

Limit your search

Search Constraints

Search Results