Delta - PDFSEARCH.IO - Document Search Engine

Delta
Results: 23884

#	Item
1	Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Medicine Endocrine system Anatomy Prostate cancer Histopathology RTT Prostate-specific antigen Testosterone Androgen receptor Prostate Quantifier
2	Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computational complexity theory Theoretical computer science Mathematical logic NP-complete problems Electronic design automation Formal methods Logic in computer science Predicate logic Boolean satisfiability problem Quantifier Limit of a function Exponential time hypothesis
3	Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computational complexity theory Theoretical computer science Mathematical logic NP-complete problems Electronic design automation Formal methods Logic in computer science Predicate logic Boolean satisfiability problem Quantifier Limit of a function Exponential time hypothesis
4	PDF Document Add to Reading List Source URL: delta.cs.cinvestav.mx - Date: 2017-09-10 23:54:21
5	PDF Document Add to Reading List Source URL: www.delta.tu-dortmund.de - Date: 2012-03-19 09:30:34
6	PDF Document Add to Reading List Source URL: delta.cs.cinvestav.mx - Date: 2005-02-12 19:20:36
7	PDF Document Add to Reading List Source URL: www.delta.tu-dortmund.de - Date: 2012-03-19 13:40:10
8	PDF Document Add to Reading List Source URL: www.delta-expert.fr - Date: 2017-12-04 16:18:11
9	PDF Document Add to Reading List Source URL: delta.cs.cinvestav.mx - Date: 2016-07-04 02:22:04
10	PDF Document Add to Reading List Source URL: delta.cs.cinvestav.mx - Date: 2015-12-03 00:57:25