![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| SGA1.png | 2020-01-27 23:30 | 1.5M | |
| Mutant6.PNG | 2020-01-27 23:30 | 1.4M | |
| Mutant4.png | 2020-01-27 23:30 | 786K | |
| Mutant11.png | 2020-01-27 23:30 | 771K | |
| yeast-life-cycle.PNG | 2020-01-27 23:30 | 459K | |
| drosophila_edited.png | 2020-01-27 23:30 | 436K | |
| Figures.pptx | 2020-01-27 23:30 | 310K | |
| SGA3.PNG | 2020-01-27 23:30 | 309K | |
| VS2-DCS-example-LP.svg | 2020-01-27 23:30 | 264K | |
| genetic-cross-exampl..> | 2020-01-27 23:30 | 241K | |
| VS2-DCS-example-3.svg | 2020-01-27 23:30 | 237K | |
| VS2-DCS-example.svg | 2020-01-27 23:30 | 236K | |
| SGA2.png | 2020-01-27 23:30 | 188K | |
| VS-FL-Algorithm.PNG | 2020-01-27 23:30 | 162K | |
| EVSFPT-Simulated.pdf | 2020-01-27 23:30 | 152K | |
| VerifiableSynthesis.png | 2020-01-27 23:30 | 138K | |
| VPSFalse.PNG | 2020-01-27 23:30 | 132K | |
| SyntheticDataset4.png | 2020-01-27 23:30 | 129K | |
| Synthesis2.png | 2020-01-27 23:30 | 124K | |
| VPS-Algorithm.PNG | 2020-01-27 23:30 | 120K | |
| VPS.png | 2020-01-27 23:30 | 113K | |
| EVSFPT-Simulated-cro..> | 2020-01-27 23:30 | 107K | |
| Synthesis3.png | 2020-01-27 23:30 | 102K | |
| Synthesis4.png | 2020-01-27 23:30 | 102K | |
| PermissibleSynthesis..> | 2020-01-27 23:30 | 100K | |
| 11geneMutant.PNG | 2020-01-27 23:30 | 99K | |
| SyntheticDatasetFull..> | 2020-01-27 23:30 | 98K | |
| PermissibleCross2.png | 2020-01-27 23:30 | 97K | |
| VSVPSComparison.PNG | 2020-01-27 23:30 | 95K | |
| DCS3.png | 2020-01-27 23:30 | 87K | |
| VS1-2.png | 2020-01-27 23:30 | 84K | |
| VerifiablePermissibl..> | 2020-01-27 23:30 | 83K | |
| VSFL-3.pdf | 2020-01-27 23:30 | 79K | |
| Synthesis1.png | 2020-01-27 23:30 | 75K | |
| vs-2-dcs-reduction.pdf | 2020-01-27 23:30 | 74K | |
| VSFL-1.png | 2020-01-27 23:30 | 74K | |
| VSFL-4.pdf | 2020-01-27 23:30 | 73K | |
| VS2-2.png | 2020-01-27 23:30 | 73K | |
| SL-results.svg | 2020-01-27 23:30 | 71K | |
| VerifiablePermissibl..> | 2020-01-27 23:30 | 71K | |
| Rescued-results.svg | 2020-01-27 23:30 | 70K | |
| PermissibleCross.png | 2020-01-27 23:30 | 69K | |
| VSFL-results.svg | 2020-01-27 23:30 | 68K | |
| VerifiableCross2.png | 2020-01-27 23:30 | 66K | |
| VSFL-1.svg | 2020-04-09 13:08 | 66K | |
| parameters-VSFL.svg | 2020-04-09 13:08 | 65K | |
| Synthesis.png | 2020-01-27 23:30 | 64K | |
| NonVerifiableCross.png | 2020-01-27 23:30 | 63K | |
| NonPermissibleCross.png | 2020-01-27 23:30 | 62K | |
| VerifiableCross.png | 2020-01-27 23:30 | 59K | |
| synthesis-example-6.svg | 2020-01-27 23:30 | 57K | |
| VSFL-2.png | 2020-01-27 23:30 | 57K | |
| synthesis-example-5.svg | 2020-01-27 23:30 | 56K | |
| synthesis-example-2.svg | 2020-01-27 23:30 | 56K | |
| VSFL-summary.pdf | 2020-01-27 23:30 | 56K | |
| VS2-1.png | 2020-01-27 23:30 | 53K | |
| cross-2.png | 2020-01-27 23:30 | 52K | |
| EVSFPT-Simulated.png | 2020-01-27 23:30 | 50K | |
| VS1-1.png | 2020-01-27 23:30 | 50K | |
| VSFL3.png | 2020-01-27 23:30 | 48K | |
| parameters.png | 2020-01-27 23:30 | 46K | |
| VSFL-2.pdf | 2020-01-27 23:30 | 46K | |
| cross-1.png | 2020-01-27 23:30 | 46K | |
| PermissibleCross1.png | 2020-01-27 23:30 | 45K | |
| VS2-DCS-example-2.pdf | 2020-01-27 23:30 | 45K | |
| vsfl-vps-example.pdf | 2020-01-27 23:30 | 44K | |
| VSFL4.png | 2020-01-27 23:30 | 44K | |
| VPS.pdf | 2020-01-27 23:30 | 44K | |
| VSFL2.png | 2020-01-27 23:30 | 43K | |
| Cross2.png | 2020-01-27 23:30 | 42K | |
| VSFL-summary.png | 2020-01-27 23:30 | 42K | |
| VPS-Problem.png | 2020-01-27 23:30 | 42K | |
| VPS-Problem2.png | 2020-01-27 23:30 | 41K | |
| dag-vps-false.pdf | 2020-01-27 23:30 | 41K | |
| VPS-1.png | 2020-01-27 23:30 | 40K | |
| VPS-2.png | 2020-01-27 23:30 | 40K | |
| Motivation2.png | 2020-01-27 23:30 | 40K | |
| VS2-DCS-example-c.pdf | 2020-04-09 13:08 | 39K | |
| Cross1.png | 2020-01-27 23:30 | 39K | |
| VS2-DCS-example-LP.pdf | 2020-01-27 23:30 | 36K | |
| EVPS-time-Simulated.png | 2020-01-27 23:30 | 36K | |
| VS2-DCS-example-d.pdf | 2020-04-09 13:08 | 34K | |
| EVSFPT-NC-Simulated.png | 2020-01-27 23:30 | 34K | |
| VPS-summary.pdf | 2020-01-27 23:30 | 34K | |
| VPS-3.pdf | 2020-01-27 23:30 | 33K | |
| VS2-DCS-example-3.pdf | 2020-01-27 23:30 | 33K | |
| EVSFPT-numcrosses-su..> | 2020-01-27 23:30 | 32K | |
| SyntheticDataset1.png | 2020-01-27 23:30 | 31K | |
| VSFL-1.pdf | 2020-01-27 23:30 | 31K | |
| VSFL0.png | 2020-01-27 23:30 | 31K | |
| ravi.jpg | 2020-01-27 23:30 | 30K | |
| VS2-Problem0.png | 2020-01-27 23:30 | 30K | |
| EVPS-summary.png | 2020-01-27 23:30 | 29K | |
| EVSFPT-time-Simulate..> | 2020-01-27 23:30 | 29K | |
| VS2-DCS-example-e.pdf | 2020-04-09 13:08 | 28K | |
| DCS2.png | 2020-01-27 23:30 | 27K | |
| parameters-VSFL.png | 2020-04-09 13:08 | 27K | |
| VerifiableCross1.png | 2020-01-27 23:30 | 26K | |
| VS-Problem1.png | 2020-01-27 23:30 | 26K | |
| VSFL-VPS-numcrosses-..> | 2020-01-27 23:30 | 25K | |
| VS2-DCS-example-LP0.pdf | 2020-01-27 23:30 | 24K | |
| VSFL-VPS-numcrosses-..> | 2020-01-27 23:30 | 23K | |
| VSFL-VPS-numcrosses-..> | 2020-01-27 23:30 | 23K | |
| VS2-DCS-example.pdf | 2020-01-27 23:30 | 23K | |
| Motivation1.png | 2020-01-27 23:30 | 23K | |
| Mutant-new.png | 2020-01-27 23:30 | 23K | |
| VPS-Problem0.png | 2020-01-27 23:30 | 23K | |
| VSFL-VPS6-numcrosses..> | 2020-01-27 23:30 | 23K | |
| Rescued-results.pdf | 2020-01-27 23:30 | 22K | |
| SyntheticDataset2.png | 2020-01-27 23:30 | 22K | |
| DCS1.png | 2020-01-27 23:30 | 21K | |
| VSFL1.png | 2020-01-27 23:30 | 21K | |
| VPS-2.pdf | 2020-01-27 23:30 | 20K | |
| amogh.jpg | 2020-01-27 23:30 | 20K | |
| VPS-numcrosses-summa..> | 2020-01-27 23:30 | 20K | |
| VSFL-VPS-numcrosses-..> | 2020-01-27 23:30 | 19K | |
| VSFL-numcrosses-summ..> | 2020-01-27 23:30 | 19K | |
| VPS-1.pdf | 2020-01-27 23:30 | 19K | |
| VPS-summary.png | 2020-01-27 23:30 | 19K | |
| parameters-VS.png | 2020-04-09 13:08 | 19K | |
| dag-vsfl.pdf | 2020-01-27 23:30 | 19K | |
| EVSFPT-time-Simulate..> | 2020-01-27 23:30 | 18K | |
| SL-results.pdf | 2020-01-27 23:30 | 17K | |
| DCS-example-LP.png | 2020-01-27 23:30 | 17K | |
| synthesis-example-7.pdf | 2020-01-27 23:30 | 17K | |
| synthesis-example-6.pdf | 2020-01-27 23:30 | 17K | |
| EVSFPT-NC-Simulated.pdf | 2020-01-27 23:30 | 17K | |
| synthesis-example-5.pdf | 2020-01-27 23:30 | 16K | |
| diff-VPS-VSFL-summar..> | 2020-01-27 23:30 | 16K | |
| synthesis-example-3.pdf | 2020-01-27 23:30 | 16K | |
| EVPS-time-Simulated.pdf | 2020-01-27 23:30 | 15K | |
| VS-Problem0.png | 2020-01-27 23:30 | 15K | |
| vvv.pdf | 2020-01-27 23:30 | 15K | |
| verifiable-permissib..> | 2020-01-27 23:30 | 15K | |
| EVSFPT-numcrosses-su..> | 2020-01-27 23:30 | 14K | |
| VS2-Problem1.png | 2020-01-27 23:30 | 14K | |
| EVPS-summary-crop.pdf | 2020-01-27 23:30 | 14K | |
| EVSFPT-numcrosses-su..> | 2020-01-27 23:30 | 14K | |
| EVPS-summary.pdf | 2020-01-27 23:30 | 14K | |
| VPS-numcrosses-summa..> | 2020-01-27 23:30 | 14K | |
| VSFL-numcrosses-summ..> | 2020-01-27 23:30 | 13K | |
| diff-VPS-VSFL-summar..> | 2020-01-27 23:30 | 13K | |
| synthesis-example-4.pdf | 2020-01-27 23:30 | 13K | |
| diff-summary-upto6.pdf | 2020-01-27 23:30 | 12K | |
| synthesis-example-2.pdf | 2020-01-27 23:30 | 12K | |
| representativeset.png | 2020-01-27 23:30 | 12K | |
| synthesis-example.pdf | 2020-01-27 23:30 | 12K | |
| VS2-DCS-example-b.pdf | 2020-04-09 13:08 | 11K | |
| CP.png | 2020-01-27 23:30 | 11K | |
| Motivation.png | 2020-01-27 23:30 | 11K | |
| mutant.png | 2020-01-27 23:30 | 11K | |
| SyntheticDataset3.png | 2020-01-27 23:30 | 7.3K | |
| EM.png | 2020-01-27 23:30 | 5.9K | |
| Cross-new.png | 2020-01-27 23:30 | 5.6K | |
| VS2-DCS-example-a.pdf | 2020-04-09 13:08 | 3.5K | |
| Mutant-new1.png | 2020-01-27 23:30 | 2.5K | |
