Bio Model Analyzer
2 971
165.1
Microsoft Research330 тыс
Следующее
18.08.16 – 777:08Популярные
208 дней – 2 40440:43
208 дней – 99 37816:22Опубликовано 18 августа 2016, 17:00
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At one level, Bio Model Analyzer is a sketching tool that enables users to draw out a biological system of interest (e.g. a genetic regulatory network) by dragging and dropping cells, their contents (DNA, proteins, etc.), extracellular components and relationships onto a simple canvas. At another level, Bio Model AnalyzerΓÇÖs analysis proves stabilization of biological systems, based upon formal methods that were developed for the specification and verification of properties in concurrent software systems.
Свежие видео
5 дней – 1 9430:26
8 дней – 99 66713:52
11 дней – 5900:27
16 дней – 2 85441:51
17 дней – 4 9960:23
18 дней – 122 3180:59Случайные видео
01.06.23 – 1 0590:38
10.05.23 – 4 4781:01:42
10.04.23 – 11 6642:29
01.11.22 – 1 1033:20
2 дня – 5 8610:23
3 дня – 1370:58
3 дня – 4490:58
4 дня – 1 394 10931:29
4 дня – 1408:04
7 дней – 1 1201:03