Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. MIRACH
  5. Download

MIRACH

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos

Sobre MIRACH

Estamos desenvolvendo o MIRACH, um Verificador de Modelos Online Estatísticos para Modelos de Vias Biológicas, baseado no formalismo dos PLTLs para expressar as regras/propriedades a serem verificadas. Atualmente, o MIRACH pode verificar os modelos de caminhos escritos em CSML ou SBML.

Programas Relacionados

  • Java RCX API Livre

    Uma API Java para controlar o Lego Mindstorms RCX (v2.0). Esta API difere de sair das implementações java, pois incluirá um controlador de torre USB IR baseado no Win32.

  • ACMLCWebsite Livre

    Este é o site do capítulo ACM em Lebanon.In este site pretendemos usar ASP.net, MySQL, Flash e outros softwares. O site será o link entre os membros do capítulo da ACM no Líbano tentando facilitar a comunicação entre os aluno

  • sopa opensource operating system Livre

    SOPA é um sistema operacional de opensource escrito tanto em C quanto em Assembly.O primeiro objetivo deste projeto é que eu aprenda e espero ajudar os outros ao aprender sobre o desenvolvimento da SO.Sinta-se livre par

  • ucabot Livre

    Ucabot es una asociacin de estudiantes de robotica. Ucabot é um grupo de estudantes de robótica. Criamos e trabalhamos com software aberto e hardware aberto. Esse grupo é criado por Amuca (Asociation of Cadiz University). Tra

  • Matrex Livre

    Matrex é uma planilha vetorial leve: calcula blocos de valores, não células únicas; é fortemente multithreaded; os usuários podem trabalhar juntos em folhas usando um servidor. Adaptadores para matlab, scilab, oitava, R.

  • JXML2OWL Livre

    O Projeto JXML2OWL é dividido em dois sub projetos: JXML2OWL API, uma biblioteca para mapear esquemas XML para Ontologies OWL no plaform JAVA. JXML2OWL Mapper, um aplicativo autônomo fácil de usar com uma interface de usuário

  • Guide and Cheats for 100 Exits Livre

    Tudo sobre 100 saídas! Usando nossas dicas você será capaz de entender a lógica de cada nível e passá-la com sucesso! ÂÂÂ Â Â... Conteúdo original e gráficos. ÂÂÂ Â Â... Interface fácil. Basta clicar no botão Próximo para mov

  • Swift Meeting Management System Livre

    O SMMS (Swift Meeting Management System) é um sistema de agendamento de recursos de reunião baseado na Web. O SMMS é baseado na tecnologia web Java (Groovy/Graals), que pretende ser fácil de implantar, usar, estender e integr

  • Spasmos Livre

    Spasmos é um pacote Python que permite aos cientistas simular a dinâmica de plasmas altamente colisões usando uma série de métodos numéricos.

  • Bilingual newspaper Vietnamese Livre

    Jornal bilíngue vietnamita e inglês - Android VersionOrient Light Inc tem um novo produto EV News Newspaper Reading Plus bilíngue vietnamita e inglês flexívelOs artigos em inglês retirados de muitas fontes como BBC, VOA e foi