Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
ef16392
Create indexer
ifndefJOSH Nov 4, 2022
8f181db
Index webpage
ifndefJOSH Nov 4, 2022
5156efd
Basic skeleton for webpage
ifndefJOSH Nov 4, 2022
e96dc76
Added some basic design for website
ifndefJOSH Nov 4, 2022
50de69b
First draft of index
ifndefJOSH Nov 4, 2022
bf1453f
Added some more css
ifndefJOSH Nov 5, 2022
562d4f0
Added footer and some better stylesheet code
ifndefJOSH Nov 6, 2022
89451d4
Added some better UI for the search function
ifndefJOSH Nov 7, 2022
50ef380
TODO: get tags
ifndefJOSH Nov 7, 2022
41fb1ea
Updated index
ifndefJOSH Nov 7, 2022
a1dfdc0
updated index
ifndefJOSH Nov 7, 2022
2d28c30
SBML files are XML
ifndefJOSH Nov 7, 2022
b00e901
Added options to advanced and added suggestions bar
ifndefJOSH Nov 7, 2022
8c0c7bd
Added search suggestions
ifndefJOSH Nov 7, 2022
0c361a8
refined search suggestions
ifndefJOSH Nov 7, 2022
5e16146
Added tag functionality
ifndefJOSH Nov 8, 2022
75fdb47
suggestions hides now when clicked away from
ifndefJOSH Nov 8, 2022
efdf34b
No longer allows duplicate tags
ifndefJOSH Nov 8, 2022
ce47ddb
More tag features
ifndefJOSH Nov 8, 2022
a5d9c65
Added dark mode, and responsive design for mobile
ifndefJOSH Nov 9, 2022
6a109b2
Better unicode handling
ifndefJOSH Nov 10, 2022
19c1bfa
Fixed mistakes Lukas pointed out
ifndefJOSH Nov 10, 2022
56a2c42
Add createLightMode()
ifndefJOSH Nov 16, 2022
733a2f4
Auto dark mode checkbox
ifndefJOSH Nov 16, 2022
338413c
First restructure
LukasBuecherl Nov 21, 2022
9899e73
Merge pull request #10 from fluentverification/main
LukasBuecherl Nov 21, 2022
093a215
Added README
LukasBuecherl Nov 21, 2022
3341b97
Move files
LukasBuecherl Nov 21, 2022
94dba59
Move others
LukasBuecherl Nov 21, 2022
756495b
More moving
LukasBuecherl Nov 21, 2022
d6ad028
style for links--there was a slight oversight
ifndefJOSH Nov 23, 2022
77a26d7
Merge remote-tracking branch 'origin/Restructure' into create-index
ifndefJOSH Dec 1, 2022
d2f75c8
Added load index and load tags
ifndefJOSH Dec 14, 2022
7424841
a couple changes
ifndefJOSH Dec 14, 2022
1443328
Added small comment
ifndefJOSH Dec 19, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1 change: 1 addition & 0 deletions Benchmarks/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Description here
17 changes: 17 additions & 0 deletions GeneticCircuits/Circuit0x8E/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
### Circuit0x8E

This circuit is part of the genetic circuits designed by the software tool Cello [1]. The circuit has three input arguments IPTG, aTc, and Ara and one output argument YFP.

![Figure1](../../Media/0x8E_Original.png)

In the laboratory, circuit 0x8E showed an unexpected, glitching behavior. Further analysis resulted in two more designs of the circuit as well as the analysis of its glitching behavior [2].

![Figure2](../../Media/0x8E_LogicHazardFree.png)

![Figure3](../../Media/0x8E_TwoInverter.png)

There are two types of glitches. In one type, the output should remain in a low state during an input transition (Zero Glitch). In the other type, the output should remain at a high state (One Glitch) during an input transition. More information can be found in [1-2].

1. Nielsen, A. A. K.; Der, B. S.; Shin, J.; Vaidyanathan, P.; Paralanov, V.; Strychalski, E. A.; Ross, D.; Densmore, D.; Voigt, C. A. Genetic Circuit Design Automation. Science 2016, 352 (6281), aac7341–aac7341. https://doi.org/10.1126/science.aac7341.

2. Fontanarrosa, P.; Doosthosseini, H.; Borujeni, A. E.; Dorfan, Y.; Voigt, C. A.; Myers, C. Genetic Circuit Dynamics: Hazard and Glitch Analysis. ACS Synthetic Biology 2020, 15.
7 changes: 7 additions & 0 deletions GeneticCircuits/Dual_Feedback_Osscillator/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
### Dual Feedback Oscillator

This design is an improved version of the repressilator [1].

![Figure9](../../Media/DualFeedback.png)

1. Stricker, J., Cookson, S., Bennett, M. et al. A fast, robust and tunable synthetic gene oscillator. Nature 456, 516–519 (2008). https://doi.org/10.1038/nature07389.
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
Results
original | majority | speed-ind | toggle
Genarated | 0.05429919317 | 0.04229449798 | 0.02820598125
Jetc | 3 | 2 | 1

tolerance | majority | speed-ind | toggle
0.00
0.05 | 3.211804026e-05 | | 0.00178786289
0.10 | 0.0002705651497 | | 0.00737188158
0.15 | 0.0009389212581 | 0.02468170587 | 0.05964338214 1 2 3
0.20 | 0.001305344762 | 0.0291911003 | 0.07038608663 1 2 3
0.25 | 0.002453363152 | 0.07318766954 | 0.08001999633 1 2 3
0.30 | 0.002143780977 | 0.188189723 | 0.1039514362 1 3 2
0.35 | 0.00614008905 | 0.1603816091 | 0.2315218211 1 2 3
0.40 | 0.006026272635 | 0.1482811183 | 0.2140336699 1 2 3
0.45 | 0.006138649094 | 0.1470030393 | 0.2459799765 1 2 3
0.50 | 0.007518941557 | 0.2791356316 | 0.2230133141 1 3 2
0.55 | 0.01084588519 | 0.308515096 | 0.2463700158 1 3 2
0.60 | 0.0149490905 | 0.3146735057 | 0.4792942312 1 2 3
0.65 | 0.0155160164 | 0.3120229424 | 0.4744124959 1 2 3
0.70 | 0.0142515022 | 0.3083532564 | 0.4701229831 1 2 3
0.75 | 0.0129137536 | 0.2734091978 | 0.4189413926 1 2 3
0.80 | 0.01299945386 | 0.2751005182 | 0.4195006419 1 2 3
0.85 | 0.01696034223 | 0.2580526951 | 0.3360747115 1 2 3
0.90 | 0.01766635265 | 0.2584110635 | 0.3357933312 1 2 3
0.95 | 0.01807570789 | 0.2655804684 | 0.344663888 1 2 3
1.00 | 0.007167327219 | 0.414399965 | 0.3176865782 1 3 2

11 changes: 11 additions & 0 deletions GeneticCircuits/Muller_C_Element/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
### Muller C-element

This genetic circuit implements a state-holding gate called Muller C-element. If both inputs are high, its output goes high. If both inputs are low, the output is low. If the inputs are mixed, it retains its previous state. The three designs are the Majority, Speed_Independent, and Toggle Switch design [1].

![Figure4](../../Media/Majority.png)

![Figure5](../../Media/Speed_Independent.png)

![Figure6](../../Media/Toggle.png)

1. Madsen, C.; Zhang, Z.; Roehner, N.; Winstead, C.; Myers, C. Stochastic Model Checking of Genetic Circuits. J. Emerg. Technol. Comput. Syst. 2014, 11 (3), 1–21. https://doi.org/10.1145/2644817.
13 changes: 13 additions & 0 deletions GeneticCircuits/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
## Genetic Circuits

## Naming Convention

* 10_10: Production and degradation of molecules in steps of 10

* RBA: Reaction-based abstraction (remove irrelevant or rapid reactions)

* G0: Static zero glitch

* G1: Static one glitch

* unb: unbound prsim models
File renamed without changes.
File renamed without changes.
7 changes: 7 additions & 0 deletions GeneticCircuits/Repressilator/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
### Repressilator

The repressilator consists of three promoters each with a repressor gene. It is a cyclic negative-feedback loop, periodically inducing the synthesis of green fluorescent proteins [1].

![Figure8](../../Media/Repressilator.PNG)

1. Elowitz, M. B.; Leibler, S. A Synthetic Oscillatory Network of Transcriptional Regulators. Nature 2000, 403 (6767), 335–338. https://doi.org/10.1038/35002125.
File renamed without changes.
7 changes: 7 additions & 0 deletions GeneticCircuits/Toggle_Switch/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
### Toggle Switch

The toggle switch is a state holding gate and consists of two promoters each followed by a coding sequence. Each promoter is repressed by the protein transcribed by the other promoter [1].

![Figure7](../../Media/ToggleSwitch.png)

1. Gardner, T. S.; Cantor, C. R.; Collins, J. J. Construction of a Genetic Toggle Switch in Escherichia Coli. Nature 2000, 403 (6767), 339–342. https://doi.org/10.1038/35002131.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
1 change: 1 addition & 0 deletions Nanotechnology/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Description here
Loading