Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Artigo
|
![]() |
The MPGD-based photon detectors for the upgrade of COMPASS RICH-1 and beyondAgarwala, J. ; Alexeev, M. ; Azevedo, C.D.R. ; Bradamante, F. ; Bressan, A. ; Büchele, M. ; Chiosso, M. ; Chatterjee, C. ; Cicuttin, A. ; Ciliberti, P. ; Crespo, M.L. ; Dalla Torre, S. ; Dasgupta, S. ; Denisov, O. ; Finger, M. ; Finger, M. ; Fischer, H. ; Gregori, M. ; Hamar, G. ; Herrmann, F. ; Levorato, S. ; Martin, A. ; Menon, G. ; Panzieri, D. ; Sbrizzai, G. ; Schopferer, S. ; Slunecka, M. ; Sulc, M. ; Tessarotto, F. ; Veloso, J.F.C.A. ; Zhao, Y.Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2019-08, Vol.936, p.416-419 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
22 |
Material Type: Livro
|
![]() |
Imperative history two-dimensional executable temporal logicMarcelo Finger Mark C ReynoldsOhlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999Dordrecht Springer 1999Localização: IME - Inst. Matemática e Estatística (PROD-1084818 ) e outros locais(Acessar) |
23 |
Material Type: Artigo
|
![]() |
Search for weakly interacting sub-eV particles with the OSQAR laser-based experiment: results and perspectivesPugnat, P. ; Ballou, R. ; Schott, M. ; Husek, T. ; Sulc, M. ; Deferne, G. ; Duvillaret, L. ; Finger, M. ; Finger, M. ; Flekova, L. ; Hosek, J. ; Jary, V. ; Jost, R. ; Kral, M. ; Kunc, S. ; Macuchova, K. ; Meissner, K. A. ; Morville, J. ; Romanini, D. ; Siemko, A. ; Slunecka, M. ; Vitrant, G. ; Zicha, J.The European physical journal. C, Particles and fields, 2014-08, Vol.74 (8), p.1-7, Article 3027 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
24 |
Material Type: Artigo
|
![]() |
Towards structurally-free theorem provingMarcelo FingerLogic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998Oxford 1998Localização: IME - Inst. Matemática e Estatística (PROD-1032789 )(Acessar) |
25 |
Material Type: Artigo
|
![]() |
A logical reconstruction of temporal databasesMarcelo FingerJournal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000Oxford 2000Localização: IME - Inst. Matemática e Estatística (PROD-1193384 )(Acessar) |
26 |
Material Type: Artigo
|
![]() |
A red fingerMihoubi, A ; Abba, S ; Nova, O Adegas Vila ; Vignes, SLa revue de medecine interne, 2022-03, Vol.43 (3), p.185-186 [Periódico revisado por pares]FranceTexto completo disponível |
27 |
Material Type: Artigo
|
![]() |
Augmented reality in intraventricular neuroendoscopyFinger, T. ; Schaumann, A. ; Schulz, M. ; Thomale, Ulrich-W.Acta neurochirurgica, 2017-06, Vol.159 (6), p.1033-1041 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
28 |
Material Type: Artigo
|
![]() |
A conceptual construct on value for infrastructure asset managementAlmeida, N. ; Trindade, M. ; Komljenovic, D. ; Finger, M.Utilities policy, 2022-04, Vol.75, p.101354, Article 101354 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
29 |
Material Type: Artigo
|
![]() |
Comparaison du bénéfice sur la fatigue et la qualité de vie d’un programme court de réentraînement à l’effort dans un contexte de sclérose en plaques entre deux groupes selon un EDSS bas ou élevéLe Fort, M ; Bailleul, M.-T ; Delpech, N ; Finger, M ; Perrouin-Verbe, BAnnals of physical and rehabilitation medicine, 2011-10, Vol.54, p.e275-e275 [Periódico revisado por pares]Elsevier Masson SASTexto completo disponível |
30 |
Material Type: Artigo
|
![]() |
Dynamics of intraretinal fluid accumulation evidenced by SD-OCT in a case of cat scratch neuroretinitisFinger, M L ; Borruat, F-XEye (London), 2014-06, Vol.28 (6), p.770-771 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |