Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Development of a PbWO 4 Detector for Single-Shot Positron Annihilation Lifetime Spectroscopy at the GBAR ExperimentKim, B.H. ; Choi, J.J. ; Chung, M. ; Cladé, P. ; Comini, P. ; Crivelli, P. ; Crépin, P-P ; Dalkarov, O. ; Debu, P. ; Dodd, L. ; Douillet, A. ; Froehlich, P. ; Guellati, S. ; Heinrich, J. ; Hervieux, P.A. ; Hilico, L. ; Husson, A. ; Indelicato, P. ; Janka, G. ; Jonsell, S. ; Karr, J.P. ; Kim, E.S. ; Kim, S.K. ; Ko, Y. ; Kosinski, T. ; Kuroda, N. ; Latacz, B. ; Lee, H. ; Lee, J. ; Leite, A.M.M. ; Lim, E. ; Liszkay, L. ; Louvradoux, T. ; Lunney, D. ; Lévêque, K. ; Manfredi, G. ; Mansoulié, B. ; Matusiak, M. ; Mornacchi, G. ; Nesvizhevsky, V.V. ; Nez, F. ; Niang, S. ; Nishi, R. ; Nourbaksh, S. ; Lotrus, P. ; Park, K.H. ; Paul, N. ; Pérez, P. ; Radics, B. ; Regenfus, C. ; Reynaud, S. ; Roussé, J.Y. ; Rubbia, A. ; Rzadkiewicz, J. ; Sacquin, Y. ; Schmidt-Kaler, F. ; Staszczak, M. ; Tuchming, B. ; Vallage, B. ; van der Werf, D.P. ; Voronin, A. ; Welker, A. ; Wolf, S. ; Won, D. ; Wronka, S. ; Yamazaki, Y. ; Yoo, K.H.Acta physica Polonica, A, 2020, Vol.137 (2), p.122-125 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Hybrid sol-gel technology for fast prototyping in astronomical interferometryGhasempour, A ; Leite, A. M. P ; Alexandre, D ; Reynaud, F ; Marques, P. V. S ; Garcia, P. J. VProceedings of SPIE, the International Society for Optical Engineering, 2010, Vol.7734, p.77343X-77343X-6Bellingham, Wash: SPIETexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Hybrid silica sol-gel symmetric buried channel waveguide on siliconMoreira, Paulo J ; Marques, Paulo V. S ; Leite, Antonio PProceedings of SPIE, 2004, Vol.5451, p.40-47Bellingham WA: SPIETexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Semantics for Dynamic logic programming: A principle-based approachALFERES, José J ; BANTI, Federico ; BROGI, Antonio ; LEITE, Joao ALecture notes in computer science, 2004, p.8-20 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Rapid prototyping of integrated sol-gel devices for astronomical interferometryGhasempour, A ; Alexandre, D ; Brites, C ; Moreira, P. J ; Reynaud, F ; Marques, P. V. S ; Leite, A. M. P ; Garcia, P. J. VProceedings of SPIE, the International Society for Optical Engineering, 2008, Vol.7013, p.701317-701317-8Bellingham, Wash: SPIETexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
SATMC: A SAT-Based Model Checker for Security ProtocolsArmando, Alessandro ; Compagna, Luca Alferes, Jóse Júlio ; Leite, JoãoLecture notes in computer science, 2004, p.730-733 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
The DALI Logic Programming Agent-Oriented LanguageCostantini, Stefania ; Tocchio, Arianna Alferes, Jóse Júlio ; Leite, JoãoLecture notes in computer science, 2004, p.685-688 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Computing Environment-Aware Agent Behaviours with Logic Program UpdatesAlferes, José J. ; Brogi, Antonio ; Leite, João A. ; Pereira, Luís M. Pettorossi, AlbertoLecture notes in computer science, 2002, p.216-232 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Fabrication and test of an integrated optical sensor with high sensitivity and high dynamic range based on a Mach-Zehnder interferometric configurationAlexandre, D ; Viegas, J ; Fernandes, L ; Moreira, P. J ; Leite, A.M.P ; Santos, J. L ; Marques, P.V.SProceedings of SPIE, the International Society for Optica Engineering, 2007, Vol.6585, p.65850L-65850L-12Bellingham, Wash: SPIETexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Characterizations for Relativized Notions of Equivalence in Answer Set ProgrammingWoltran, Stefan Alferes, Jóse Júlio ; Leite, JoãoLecture notes in computer science, 2004, p.161-173 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |