skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology
jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology
Material Type:
Artigo 		Adicionar ao Meu Espaço

jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology

Binchi, Jacopo ; Merelli, Emanuela ; Rucco, Matteo ; Petri, Giovanni ; Vaccarino, Francesco

Electronic notes in theoretical computer science, 2014-07, Vol.306, p.5-18

Elsevier B.V

Texto completo disponível

Citações Citado por
12
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach

Spolaôr, Newton ; Cherman, Everton Alvares ; Monard, Maria Carolina ; Lee, Huei Diana

Electronic notes in theoretical computer science, 2013-03, Vol.292, p.135-151

Elsevier B.V

Texto completo disponível

Citações Citado por
13
Basic completion strategies as another application of the Maude strategy language
Basic completion strategies as another application of the Maude strategy language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Basic completion strategies as another application of the Maude strategy language

Verdejo, Alberto ; Martí-Oliet, Narciso

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36

Open Publishing Association

Texto completo disponível

Citações Citado por
14
Double-spend Attack Models with Time Advantange for Bitcoin
Double-spend Attack Models with Time Advantange for Bitcoin
Material Type:
Artigo 		Adicionar ao Meu Espaço

Double-spend Attack Models with Time Advantange for Bitcoin

Pinzón, Carlos ; Rocha, Camilo

Electronic notes in theoretical computer science, 2016-12, Vol.329, p.79-103

Elsevier B.V

Texto completo disponível

Citações Citado por
15
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Into the Square: On the Complexity of Some Quadratic-time Solvable Problems

Borassi, Michele ; Crescenzi, Pierluigi ; Habib, Michel

Electronic notes in theoretical computer science, 2016-04, Vol.322, p.51-67

Elsevier B.V

Texto completo disponível

Citações Citado por
16
Observationally-induced Algebras in Domain Theory
Observationally-induced Algebras in Domain Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Observationally-induced Algebras in Domain Theory

Battenfeld, Ingo

Electronic notes in theoretical computer science, 2014-02, Vol.301, p.21-37 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
17
LEMON – an Open Source C++ Graph Template Library
LEMON – an Open Source C++ Graph Template Library
Material Type:
Artigo 		Adicionar ao Meu Espaço

LEMON – an Open Source C++ Graph Template Library

Dezső, Balázs ; Jüttner, Alpár ; Kovács, Péter

Electronic notes in theoretical computer science, 2011-07, Vol.264 (5), p.23-45

Elsevier B.V

Texto completo disponível

Citações Citado por
18
Bisimulations for intuitionistic temporal logics (2020)
Bisimulations for intuitionistic temporal logics (2020)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bisimulations for intuitionistic temporal logics (2020)

Balbiani, Philippe ; Boudou, Joseph ; Dieguez, Martin ; Fernández-Duque, David

Electronic notes in theoretical computer science, 2020

Elsevier

Texto completo disponível

Citações Citado por
19
Static Analysis and Stochastic Search for Reachability Problem
Static Analysis and Stochastic Search for Reachability Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Static Analysis and Stochastic Search for Reachability Problem

Chai, Xinwei ; Ribeiro, Tony ; Magnin, Morgan ; Roux, Olivier ; Inoue, Katsumi

Electronic notes in theoretical computer science, 2020-09, Vol.350, p.139-158

Elsevier B.V

Texto completo disponível

Citações Citado por
20
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

Kaarsgaard, Robin

Electronic notes in theoretical computer science, 2019-11, Vol.347, p.179-202

Elsevier B.V

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.470)
  2. Revistas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (346)
  2. 1999Até2003  (1.796)
  3. 2004Até2008  (2.573)
  4. 2009Até2014  (1.221)
  5. Após 2014  (535)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.445)
  2. Japonês  (129)
  3. Português  (26)
  4. Francês  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.