skip to main content
Idioma:
Mostrar Somente
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover idioma: Norueguês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Betwixt Turing and Kleene
Betwixt Turing and Kleene
Material Type:
Artigo 		Adicionar ao Meu Espaço

Betwixt Turing and Kleene

Normann, Dag ; Sanders, Sam

Lecture notes in computer science, 2021 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Pässler, Juliane Linda ; ter Beek, Maurice H ; Damiani, Ferruccio ; Tapia Tarifa, Silvia Lizeth ; Johnsen, Einar Broch

Lecture notes in computer science, 2023 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
On Interpretability between some weak essential undecidable theories
On Interpretability between some weak essential undecidable theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Interpretability between some weak essential undecidable theories

Kristiansen, Lars ; Murwanashyaka, Juvenal

Lecture notes in computer science, 2020 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
Kvasir-SEG: A Segmented Polyp Dataset
Kvasir-SEG: A Segmented Polyp Dataset
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kvasir-SEG: A Segmented Polyp Dataset

Jha, Debesh ; Pia H, Smedsrud ; Riegler, Michael ; Halvorsen, Pål ; de Lange, Thomas ; Johansen, Dag ; Johansen, Håvard D

Lecture notes in computer science, 2020 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
An error tolerant memory aid for reduced cognitive load in number copying tasks
An error tolerant memory aid for reduced cognitive load in number copying tasks
Material Type:
Artigo 		Adicionar ao Meu Espaço

An error tolerant memory aid for reduced cognitive load in number copying tasks

Sandnes, Frode Eika

Lecture Notes in Computer Science, 2013

Springer

Texto completo disponível

Citações Citado por
6
Ant colony optimisation for planning safe escape routes
Ant colony optimisation for planning safe escape routes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ant colony optimisation for planning safe escape routes

Goodwin, Morten ; Granmo, Ole-Christoffer ; Radianti, Jaziar ; Sarshar, Parvaneh ; Glimsdal, Sondre

Lecture Notes in Computer Science, 2013

Springer

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.