Este é o aplicativo do Windows chamado Cpt Kirk para ser executado no Windows online sobre o Linux online, cuja versão mais recente pode ser baixada como kirk.jar. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Cpt Kirk para ser executado no Windows online no Linux online com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie qualquer emulador on-line OS OnWorks a partir deste site, mas um emulador on-line melhor do Windows.
- 5. No sistema operacional OnWorks Windows que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo e instale-o.
- 7. Baixe o Wine de seus repositórios de software de distribuição Linux. Depois de instalado, você pode clicar duas vezes no aplicativo para executá-lo com o Wine. Você também pode experimentar o PlayOnLinux, uma interface sofisticada do Wine que o ajudará a instalar programas e jogos populares do Windows.
Wine é uma forma de executar software Windows no Linux, mas sem a necessidade de Windows. Wine é uma camada de compatibilidade do Windows de código aberto que pode executar programas do Windows diretamente em qualquer desktop Linux. Essencialmente, o Wine está tentando reimplementar o suficiente do Windows do zero para que possa executar todos os aplicativos do Windows sem realmente precisar do Windows.
Cpt Kirk para rodar em Windows online sobre Linux online
Ad
DESCRIÇÃO
Já que o método proposto em https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubé baseado em meta-programação, é possível usar os sistemas de software de última geração existentes
que suportam uma semântica bem fundamentada e de conjunto de respostas, o que nos permitiu começar a desenvolver esta nova ferramenta estendendo a que existe relacionada a uma abordagem de depuração: Spock, daí o nome Cpt. Kirk.
Além disso, e mais importante, uma direção a explorar é usar a técnica de reificação conforme descrito em "metaASP" para obter os implicantes por meio de uma técnica de saturação e obter os implicantes primários das fórmulas de proveniência por otimização e, portanto, justificativas mínimas adequadas.
Recursos
- Calcule modelos de proveniência por que não para programas de conjunto de respostas.
- Mapeie modelos WnP com modelos de depuração (spock).
Público
Ciência / Pesquisa
Linguagem de Programação
Java
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/cptkirk/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.
