skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Implicit computation complexity in higher-order programming languages
Implicit computation complexity in higher-order programming languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Implicit computation complexity in higher-order programming languages

Dal Lago, U.

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.760-776 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
2
Magnetic Particle / Magnetic Resonance Imaging: In-Vitro MPI-Guided Real Time Catheter Tracking and 4D Angioplasty Using a Road Map and Blood Pool Tracer Approach
Magnetic Particle / Magnetic Resonance Imaging: In-Vitro MPI-Guided Real Time Catheter Tracking and 4D Angioplasty Using a Road Map and Blood Pool Tracer Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Magnetic Particle / Magnetic Resonance Imaging: In-Vitro MPI-Guided Real Time Catheter Tracking and 4D Angioplasty Using a Road Map and Blood Pool Tracer Approach

Salamon, Johannes ; Hofmann, Martin ; Jung, Caroline ; Kaul, Michael Gerhard ; Werner, Franziska ; Them, Kolja ; Reimer, Rudolph ; Nielsen, Peter ; Vom Scheidt, Annika ; Adam, Gerhard ; Knopp, Tobias ; Ittrich, Harald Yamamoto, Masaya

PloS one, 2016-06, Vol.11 (6), p.e0156899-e0156899 [Periódico revisado por pares]

United States: Public Library of Science

Texto completo disponível

Citações Citado por
3
Preface for the special issue in homage to Martin Hofmann Part 1
Preface for the special issue in homage to Martin Hofmann Part 1
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface for the special issue in homage to Martin Hofmann Part 1

Hoffmann, Jan ; Sannella, Donald ; Schöpp, Ulrich

Mathematical structures in computer science, 2021-10, Vol.31 (9), p.950-952 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
4
Two decades of automatic amortized resource analysis
Two decades of automatic amortized resource analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two decades of automatic amortized resource analysis

Hoffmann, Jan ; Jost, Steffen

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.729-759 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Preface for the special issue in homage to Martin Hofmann Part 2
Preface for the special issue in homage to Martin Hofmann Part 2
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface for the special issue in homage to Martin Hofmann Part 2

Hoffmann, Jan ; Sannella, Donald ; Schöpp, Ulrich

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.682-684 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Type-based analysis of logarithmic amortised complexity
Type-based analysis of logarithmic amortised complexity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Type-based analysis of logarithmic amortised complexity

Hofmann, Martin ; Leutgeb, Lorenz ; Obwaller, David ; Moser, Georg ; Zuleger, Florian

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.794-826 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
7
A quantitative model for simply typed λ-calculus
A quantitative model for simply typed λ-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A quantitative model for simply typed λ-calculus

Hofmann, Martin ; Ledent, Jérémy

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.777-793 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
8
An algebraic representation of the fixed-point closure of -continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
An algebraic representation of the fixed-point closure of -continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

An algebraic representation of the fixed-point closure of -continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem

Leiß, Hans

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.685-728 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
9
Biotechflow Ltd.; Researchers Submit Patent Application, "Chromatography System With Tilt-Prevention Structure And Associated Process", for Approval (USPTO 20190291022)
Biotechflow Ltd.; Researchers Submit Patent Application, "Chromatography System With Tilt-Prevention Structure And Associated Process", for Approval (USPTO 20190291022)
Material Type:
Newsletter Articles 		Adicionar ao Meu Espaço

Biotechflow Ltd.; Researchers Submit Patent Application, "Chromatography System With Tilt-Prevention Structure And Associated Process", for Approval (USPTO 20190291022)

Politics & Government Week, 2019, p.8645

Atlanta: NewsRx

Texto completo disponível

Citações Citado por
10
Ruhr-University Bochum; Spin lasers facilitate rapid data transfer
Ruhr-University Bochum; Spin lasers facilitate rapid data transfer
Material Type:
Newsletter Articles 		Adicionar ao Meu Espaço

Ruhr-University Bochum; Spin lasers facilitate rapid data transfer

NewsRx Health & Science, 2019, p.782

Atlanta: NewsRx

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (12)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11)
  2. Resenhas  (9)
  3. Newsletter Articles  (6)
  4. Artigos de Jornal  (5)
  5. magazinearticle  (3)
  6. Verbetes  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (3)
  2. 1989Até2005  (5)
  3. 2006Até2009  (4)
  4. 2010Até2016  (5)
  5. Após 2016  (19)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (34)
  2. Alemão  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.