skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Development and Validation of a Logistic Regression Model to Estimate the Risk of WMSDs in Portuguese Home Care Nurses
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Development and Validation of a Logistic Regression Model to Estimate the Risk of WMSDs in Portuguese Home Care Nurses

Braga, Ana C. ; Carneiro, Paula

Computational Science and Its Applications – ICCSA 2016, p.97-109 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

2
Strengths and Weaknesses of Three Software Programs for the Comparison of Systems Based on ROC Curves
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Strengths and Weaknesses of Three Software Programs for the Comparison of Systems Based on ROC Curves

Mourão, Maria Filipa ; Braga, Ana C.

Computational Science and Its Applications – ICCSA 2016, p.359-372 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

3
Time Complexity of Concurrent Programs: A Technique Based on Behavioural Types
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Time Complexity of Concurrent Programs: A Technique Based on Behavioural Types

Giachino, Elena ; Johnsen, Einar Broch ; Laneve, Cosimo ; Pun, Ka I.

Formal Aspects of Component Software, 2016, p.199-216 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

4
Formal Architecture Modeling of Sequential C-Programs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Formal Architecture Modeling of Sequential C-Programs

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.312-329 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

5
A signal-to-noise ratio comparison of high dynamic range CMOS image sensors
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A signal-to-noise ratio comparison of high dynamic range CMOS image sensors

BRAGA, Leo H. C ; DOMINGUES, Suzana ; GOMES, José G ; MESQUITA, Antonio C

Proceedings of SPIE, the International Society for Optical Engineering, 2009, Vol.7356

Bellingham, Wash: SPIE

Texto completo disponível

6
Modular Rewriting Semantics of Programming Languages
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Modular Rewriting Semantics of Programming Languages

Meseguer, José ; Braga, Christiano

Algebraic Methodology and Software Technology, 2004, p.364-378 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Integrated SEPIC buck-boost converter as an off-line LED driver without electrolytic capacitors
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Integrated SEPIC buck-boost converter as an off-line LED driver without electrolytic capacitors

Almeida, P. S. ; Soares, G. M. ; Pinto, D. P. ; Braga, H. A. C.

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 2012, p.4551-4556

IEEE

Texto completo disponível

8
Maude Action Tool: Using reflection to map Action semantics to rewriting logic
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Maude Action Tool: Using reflection to map Action semantics to rewriting logic

BRAGA, C. De O ; HAEUSLER, E. H ; MESEGUER, J ; MOSSES, P. D

Lecture notes in computer science, 2000, p.407-421 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

9
A CMOS mini-SiPM detector with in-pixel data compression for PET applications
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A CMOS mini-SiPM detector with in-pixel data compression for PET applications

Braga, L. H. C. ; Pancheri, L. ; Gasparini, L. ; Perenzoni, M. ; Walker, R. ; Henderson, R. K. ; Stoppa, D.

2011 IEEE Nuclear Science Symposium Conference Record, 2011, p.548-552

IEEE

Texto completo disponível

10
A single-stage high efficiency long-life off-line LED driver based on the DCM Cuk converter
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A single-stage high efficiency long-life off-line LED driver based on the DCM Cuk converter

Soares, G. M. ; Almeida, P. S. ; Pinto, D. P. ; Braga, H. A. C.

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 2012, p.4509-4514

IEEE

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 (51)

Data de Publicação 

De até
  1. Antes de1998  (6)
  2. 1998Até2002  (24)
  3. 2003Até2007  (32)
  4. 2008Até2013  (97)
  5. Após 2013  (78)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (223)
  2. Português  (3)
  3. Alemão  (3)
  4. Russo  (2)
  5. Francês  (2)
  6. Japonês  (2)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.