Resultados de 1 a 10 de 229 para Busca Geral
Ordenado por:
Ordenado por:
Mais acessadosOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
tipo de recurso:
Anais de Congresso
| 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, Paula Rocha, Ana Maria A. C. ; Gervasi, Osvaldo ; Torre, Carmelo M. ; Misra, Sanjay ; Taniar, David ; Wang, Shangguang ; Murgante, Beniamino ; Apduhan, Bernady O. ; Stankova, ElenaComputational 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. Rocha, Ana Maria A. C. ; Gervasi, Osvaldo ; Torre, Carmelo M. ; Misra, Sanjay ; Taniar, David ; Wang, Shangguang ; Murgante, Beniamino ; Apduhan, Bernady O. ; Stankova, ElenaComputational 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. Braga, Christiano ; Ölveczky, Peter CsabaFormal 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-ProgramsWestman, Jonas ; Nyberg, Mattias Braga, 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
|
|
Modular Rewriting Semantics of Programming LanguagesMeseguer, José ; Braga, Christiano Shankland, Carron ; Maharaj, Savitri ; Rattray, CharlesAlgebraic Methodology and Software Technology, 2004, p.364-378 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
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 |
| 10 |
Material Type: Ata de Congresso
|
|
Effects of DCR, PDE and saturation on the energy resolution of digital SiPMs for PETBraga, Leo H. C. ; Perenzoni, Matteo ; Stoppa, David2013 IEEE Nuclear Science Symposium and Medical Imaging Conference (2013 NSS/MIC), 2013, p.1-4IEEETexto completo disponível |
Resultados de 1 a 10 de 229 para Busca Geral
Ordenado por:
Ordenado por:
Mais acessadosOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Science & Technology (132)
- Technology (127)
- Engineering (82)
- Engineering, Electrical & Electronic (79)
- Computer Science (44)
- Light Emitting Diodes (28)
- Exact Sciences And Technology (23)
- Physical Sciences (22)
- Physics (22)
- Energy & Fuels (22)
- Lighting (18)
- Computer Science, Theory & Methods (18)
- Optics (16)
- Computer Science, Artificial Intelligence (16)
- Switches (15)
- Computer Science, Interdisciplinary Applications (15)
- Computer Science, Software Engineering (13)
- Telecommunications (13)
- Life Sciences & Biomedicine (12)
- Computer Science, Information Systems (12)
-
Mais opções
Data de Publicação
- Antes de1998 (6)
- 1998Até2002 (23)
- 2003Até2007 (32)
- 2008Até2013 (97)
- Após 2013 (79)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (142)
- Thieme - Connect here FIRST to enable access (19)
- ScienceDirect Journals (15)
- SPIE_国际光学工程学会期刊 (14)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (13)
- SpringerLINK Lecture Notes in Computer Science (2015) (13)
- EZB Electronic Journals Library (11)
- IngentaConnect Journals (9)
- DOAJ Directory of Open Access Journals (9)
- ACM Digital Library (8)
- Journals@Ovid Full Text (6)
- ClinicalKey (5)
- Science Citation Index Expanded (Web of Science) (5)
- Aerospace Database (5)
- SciELO Brazil (5)
- Publisher or Other Site (4)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (3)
- AgEcon (Open Access) (3)
- Wiley Online Library (2)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 