Arne Analysieren Sie biologische regulatorische Netzwerke mit diesem Dienstprogramm.
Jetzt downloaden

Arne Ranking & Zusammenfassung

Arne Stichworte

Erstellen Schöpfer Analysieren regulatorischen Anforderungen biologisches Netzwerk biologisch Biologischer Parameter biologische Zyklen Synthetisches biologisches System. biologische Daten biologische Reihenfolge Biologisches Netzwerk generieren biologischer Netzwerkgenerator biologisches Netzwerk analysieren biologischer Weg biologische Palindrome. biologische Wiederholungen Biologischer Text Bergbau. biologische Organismen biologische Bildschirmschoner biologisches Phänomen Biologische Weg-Navigation. biologische Karte biologische Frage. biologische Bibliothek Einhaltung gesetzlicher Vorschriften Kuration biologischer Netzwerke Simulieren Sie das biologische Leben Biologische Sequenzen analysieren Biologisches Molekül analysieren Biologische Molekülanalyse. Overlay-biologische Daten Regulierungsregion Analyse. visualisieren Sie biologische Wege Biologischer Weger Viewer Biologische Wege analysieren Biologischer Weg ansehen Biologischer Weg analysieren Analysieren Sie das GUS-Regulierungselement Logistiknetzwerke analysieren. Biologischer Simulator

Arne Beschreibung

Arne ist eine praktische, einfach zu bedienende Anwendung, die speziell entwickelt wurde, um Ihnen ein grafisches Tool anzubieten, um Ihnen beim Modellieren und Analysieren von biologischen regulatorischen Netzwerken zu helfen. Es verwendet die MCRL2-Modell-Checker-Suite als Back-End und erstellt mit der Eclipse Rich Client-Plattform. Wenn Sie also nach einem Tool suchen, mit dem Sie biologische Netze erstellen können, nehmen Sie Arne für einen Spin und prüfen Sie, ob seine Funktionen Ihre Bedürfnisse erfüllen können. Haupteigenschaften: Grafische Bearbeitung diskreter regulatorischer Netzwerke, einschließlich kurzfristiger Wirkung Automatische Erzeugung von Aktivierungsfunktionen, die mit monotonischen Einschränkungen, modalen Mu-Calculus-Formeln, Bisimulationsäquivalken und Multi-Stationarität / Homöostasken-Einschränkungen gesteuert wird Anzeigen des Netzwerkverhaltens mit dem MCRL2-Werkzeug LTSGRAPH

Arne Zugehörige Software