-
Notifications
You must be signed in to change notification settings - Fork 1
/
aeon-home.html
151 lines (119 loc) · 6.76 KB
/
aeon-home.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
<!DOCTYPE html>
<!--
This file is a "landing page" for AEON which
links to different older versions.
It should be placed outside of the main client directory
and renamed to index.html - don't forget to include the fonts!
-->
<html>
<head>
<title>Biodivine/Aeon</title>
<meta charset="utf-8">
<style type="text/css">
@font-face {
font-family: 'BaileyReg';
src: url("font/B3.ttf");
}
@font-face {
font-family: 'BaileyBold';
src: url("font/B2.ttf");
}
@font-face {
font-family: 'FiraMono';
src: url('font/FiraMono-Regular.ttf');
}
@font-face {
font-family: 'FiraMonoBold';
src: url('font/FiraMono-Bold.ttf');
}
#logo {
width: fit-content;
width: -moz-fit-content;
margin: 0 auto;
margin-top: 64px;
margin-bottom: 32px;
right: 24px;
font-family: 'BaileyReg', monospace;
font-weight: normal;
color: #3a568c;
font-size: 4.2em;
}
#title{
font-family: 'BaileyBold', monospace;
font-weight: bold;
color: #d05d5d;
}
.version-number {
color: #3a568c;
font-family: 'FiraMonoBold', monospace;
font-weight: bold;
font-size: 30px;
text-decoration: none;
}
.version-number:hover {
color: #d05d5d;
}
.links {
margin: 0 auto;
width: 800px;
font-size: 18px;
}
.link {
font-family: 'Helvetica', 'Arial', sans-serif;
}
.link a {
color: #3a568c;
}
.link a:visited {
color: #3a568c;
}
.subversion {
color: #aaa;
font-size: 20px;
font-family: 'FiraMono', monospace;
font-weight: 600;
}
a.sublink {
color: #3a568c;
font-family: 'FiraMonoBold', monospace;
font-weight: bold;
font-size: 20px;
text-decoration: none;
}
a.sublink:hover {
color: #d05d5d;
}
code {
font-family: 'FiraMono', monospace;
}
p {
text-align: justify;
}
</style>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-HTCNPH6WMB"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'G-HTCNPH6WMB');
</script>
</head>
<body>
<h1 id='logo'>Aeon/<span id='title'>BIODIVINE</span></h1>
<div class="links">
<small><p class="link" style="text-align: center;">If you have any issues or questions about AEON, <br>get in touch at <a href="mailto:[email protected]">[email protected]</a>. It is probably not your fault ;)<br>You can also raise issues on github for the <a href="https://github.com/sybila/biodivine-aeon-client">web-gui</a> and the <a href="https://github.com/sybila/biodivine-aeon-server">compute-engine</a>. <br>If you found AEON useful in your workflow, please cite it using the following publication:</p>
<code style="text-align: center; display: block; width: 100%;">
Beneš, N., Brim, L., Kadlecaj, J., Pastva, S., & Šafránek, D. (2020, July). <br>
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. <br>
In International Conference on Computer Aided Verification (pp. 569-581).
</code>
</small>
<p class="link"><a class="version-number" href="v0.4.0/index.html">AEON 2021</a> <span class="subversion">[v0.4.1]</span> Explore bifurcation properties of Boolean networks in Aeon's new interactive tree editor. You can investigate the structure of attractors depending on various properties of the parameter space. These can be basic Boolean parameters/constants, regulation monotonicity, or more advanced context-aware attributes (e.g. <small><code>X essential in Y when Z</code></small>). Furthermore, you can also analyse how stability of particular variable changes in different tree nodes and generate attractor state-space or witness networks for individual conditions. <a class="sublink" href="./v0.4.0/index.html">[tool]</a><a class="sublink" href="./manual/v0.4.0/index.html">[manual]</a></p>
<p class="link" style="text-align: center; margin-top: 96px;">~ <i>Older versions</i> ~</p>
<p class="link"><a class="version-number" href="v0.3.0/index.html">v0.3.0</a> Includes a new, completely symbolic attractor detection algorithm. Without parameters, AEON now scales beyond 1000 Boolean variables. With parameters, the performance depends on the actual behaviour, but significant improvements compared to <code>0.2.0</code> are expected. Additionally, static analysis can now explain <i>why</i> an update function cannot be instantiated. Consequently, debugging large models should be much easier.<br>Other smaller improvements include: visualisation of constant variables in large attractors (where full graph cannot be shown); additional improvements to SBML compatibility; and better cancellation and progress support for long computations.</p>
<p class="link"><a class="version-number" href="v0.2.0/index.html">v0.2.0</a> <span class="subversion">[deprecated]</span> In this version, AEON learned to visualize attractor state space (up to 1000 states) for witness networks. We also significantly improved SBML import/export compatibility with other tools.</p>
<p class="link"><a class="version-number" href="v0.1.0/index.html">AEON 2020</a> <span class="subversion">[v0.1.0]</span> <span class="subversion">[deprecated]</span> Original AEON as published at CAV 2020. Includes interactive editor for parametrized Boolean networks with SBML-qual support. Uses semi-symbolic parallel attractor detection algorithm that can typically handle models with up to 20 variables and 100 Boolean parameters using common hardware. <a class="sublink" href="./v0.1.0/index.html">[tool]</a><a class="sublink" href="./aeon-manual.pdf">[manual]</a></p>
</div>
</body>
</html>