skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Relatórios Técnicos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Continuous and Singular Micromagnetic Configurations.(Technical report)

Feldtkeller, Ernst

IEEE Transactions on Magnetics, 2017, Vol.53(10) [Periódico revisado por pares]

Institute of Electrical and Electronics Engineers, Inc.

Texto completo disponível

2
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Reducing feedback delay of software development tools via continuous analysis.(Technical report)

Muslu, K. ; Brun, Y. ; Ernst, M.D. ; Notkin, D.

IEEE Transactions on Software Engineering, 2015, Vol.41(8), p.745(19) [Periódico revisado por pares]

Institute of Electrical and Electronics Engineers, Inc.

Texto completo disponível

3
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Analysis of physical transformer circuits for frequency response interpretation and mechanical failure diagnosis.(Technical report)

Gockenbach, Ernst ; Pham, Dinh Anh Khoi

IEEE Transactions on Dielectrics and Electrical Insulation, 2016, Vol.23(3) [Periódico revisado por pares]

Institute of Electrical and Electronics Engineers, Inc.

Texto completo disponível

4
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Transient reward approximation for continuous-time markov chains.(Technical report)

Ernst Moritz Hahn ; Hermanns, Holger ; Wimmer, Ralf ; Becker , Bernd

IEEE Transactions on Reliability, 2015, Vol.64(4), p.1254(22) [Periódico revisado por pares]

Institute of Electrical and Electronics Engineers, Inc.

Texto completo disponível

5
Geometric Numerical Integration
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Geometric Numerical Integration

Faou, Erwan ; Hairer, Ernst ; Hochbruck, Marlis ; Lubich, Christian Guillemer, Marie-Annick (Editor)

Texto completo disponível

6
Statis Program Analysis for Reliable, Trusted Apps
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Statis Program Analysis for Reliable, Trusted Apps

Ernst,Michael University of Washington Seattle United States (Corporate Author)

Texto completo disponível

7
Verification Games: Crowd-Sourced Formal Verification
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Verification Games: Crowd-Sourced Formal Verification

Ernst,Michael University of Washington Seattle United States (Corporate Author)

Texto completo disponível

8
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Generic FPGA-based platform for distributed IO in proton therapy patient safety interlock system.( field-programmable gate array)(Technical report)

Eichin, Michael ; Carmona, Pablo Fernandez ; Johansen, Ernst ; Grossmann, Martin ; Mayor, Alexandre ; Erhardt, Daniel ; Gomperts, Alexander ; Regele, Harald ; Bula, Christian ; Sidler, Christof

IEEE Transactions on Nuclear Science, 2017, Vol.64(6), p.1197(6) [Periódico revisado por pares]

Institute of Electrical and Electronics Engineers, Inc.

Texto completo disponível

9
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Automatic pulmonary artery-vein separation and classification in computed tomography using tree partitioning and peripheral vessel matching.(Technical report)

Charbonnier, Jean-Paul ; Brink, Monique ; Ciompi, Francesco ; Scholten, Ernst T. ; Schaefer-Prokop, Cornelia M. ; Rikxoort, Eva M. van

IEEE Transactions on Medical Imaging, 2016, Vol.35(3), p.882(11) [Periódico revisado por pares]

Institute of Electrical and Electronics Engineers, Inc.

Texto completo disponível

10
Collaborative Learning for Security and Repair in Application Communities
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Collaborative Learning for Security and Repair in Application Communities

Ernst, Michael ; Rinard, Martin ; Perkins, Jeff Massachusetts Inst Of Tech Cambridge (Corporate Author)

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (7)

Data de Publicação 

De até
  1. Antes de1966  (70)
  2. 1966Até1978  (151)
  3. 1979Até1991  (90)
  4. 1992Até2005  (53)
  5. Após 2005  (45)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.