AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
Ph.D
Saved in:
Main Author: | |
---|---|
Other Authors: | |
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 |