BioModelAnalyzer Trailer
602
20.1
Microsoft Research321 тыс
Следующее
27.12.16 – 3606:35Популярные
15.02.23 – 2 26014:39
14.12.22 – 1 13534:02Опубликовано 27 декабря 2016, 23:17
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. We hope you enjoy using Bio Model Analyzer and welcome your feedback.
See more on this video at microsoft.com/en-us/research/v...
See more on this video at microsoft.com/en-us/research/v...
Свежие видео
4 дня – 4 4820:22
5 дней – 3730:35
9 дней – 2 6130:42
10 дней – 950:54Случайные видео
151 день – 4 0102:35
202 дня – 5 7646:08
282 дня – 1 9321:01:08
28.04.22 – 1 8928:29
06.10.21 – 2 0772:06
25.07.08 – 502 9846:51
3 дня – 4 0950:33
4 дня – 24 91820:34
8 дней – 3420:34