AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS

Ph.D

Saved in:
Bibliographic Details
Main Author: ZHOU JUN
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2019
Subjects:
Online Access:https://scholarbank.nus.edu.sg/handle/10635/159902
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-159902
record_format dspace
spelling sg-nus-scholar.10635-1599022021-02-19T09:10:52Z AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS ZHOU JUN COMPUTER SCIENCE WONG WENG FAI Time Series, Linear Temporal Logic, Synthesis, System Biology, Classification, Deep Learning Ph.D DOCTOR OF PHILOSOPHY 2019-10-16T18:01:06Z 2019-10-16T18:01:06Z 2019-05-06 Thesis ZHOU JUN (2019-05-06). AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/159902 en
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
language English
topic Time Series, Linear Temporal Logic, Synthesis, System Biology, Classification, Deep Learning
spellingShingle Time Series, Linear Temporal Logic, Synthesis, System Biology, Classification, Deep Learning
ZHOU JUN
AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
ZHOU JUN
format Theses and Dissertations
author ZHOU JUN
author_sort ZHOU JUN
title AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
title_short AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
title_full AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
title_fullStr AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
title_full_unstemmed AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
title_sort automated temporal logic synthesis of time series data and its applications
publishDate 2019
url https://scholarbank.nus.edu.sg/handle/10635/159902
_version_ 1693115932278259712