Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Development and Validation of a Logistic Regression Model to Estimate the Risk of WMSDs in Portuguese Home Care NursesBraga, Ana C. ; Carneiro, PaulaComputational Science and Its Applications – ICCSA 2016, p.97-109 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Strengths and Weaknesses of Three Software Programs for the Comparison of Systems Based on ROC CurvesMourão, Maria Filipa ; Braga, Ana C.Computational Science and Its Applications – ICCSA 2016, p.359-372 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Time Complexity of Concurrent Programs: A Technique Based on Behavioural TypesGiachino, 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 PublishingTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Formal Architecture Modeling of Sequential C-ProgramsBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.312-329 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
A signal-to-noise ratio comparison of high dynamic range CMOS image sensorsBRAGA, Leo H. C ; DOMINGUES, Suzana ; GOMES, José G ; MESQUITA, Antonio CProceedings of SPIE, the International Society for Optical Engineering, 2009, Vol.7356Bellingham, Wash: SPIETexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Modular Rewriting Semantics of Programming LanguagesMeseguer, José ; Braga, ChristianoAlgebraic Methodology and Software Technology, 2004, p.364-378 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Integrated SEPIC buck-boost converter as an off-line LED driver without electrolytic capacitorsAlmeida, 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-4556IEEETexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Maude Action Tool: Using reflection to map Action semantics to rewriting logicBRAGA, C. De O ; HAEUSLER, E. H ; MESEGUER, J ; MOSSES, P. DLecture notes in computer science, 2000, p.407-421 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
A CMOS mini-SiPM detector with in-pixel data compression for PET applicationsBraga, 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-552IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A single-stage high efficiency long-life off-line LED driver based on the DCM Cuk converterSoares, 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-4514IEEETexto completo disponível |