Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Logic programming 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedingsInternational Conference on Logic Programming (21st 2005 Sitges, Spain) Maurizio Gabbrielli; G Gupta (Gopal) 1963Berlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo
|
![]() |
Interferometric sensitivity and entanglement by scanning through quantum phase transitions in spinor Bose-Einstein condensatesFeldmann, P. ; Gessner, M. ; Gabbrielli, M. ; Klempt, C. ; Santos, L. ; Pezzè, L. ; Smerzi, A.Physical review. A, 2018-03, Vol.97 (3), Article 032339 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Survival prediction of trauma patients: a study on US National Trauma Data BankSefrioui, I. ; Amadini, R. ; Mauro, J. ; El Fallahi, A. ; Gabbrielli, M.European journal of trauma and emergency surgery (Munich : 2007), 2017-12, Vol.43 (6), p.805-822 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Analyses, optimizations and extensions of Constraint Handling Rules: Ph.D. summarySchrijvers, Tom Gupta, G ; Gabbrielli, MLogic programming, proceedings, 2005, Vol.3668, p.435-436 [Periódico revisado por pares]Springer-verlag berlinTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Guard and continuation optimization for occurrence representations of CHRSneyers, Jon ; Schrijvers, Tom ; Demoen, Bart Gupta, G ; Gabbrielli, MLogic Programming, ICLP 2005, Proceedings, 2005, Vol.3668, p.83-97 [Periódico revisado por pares]Springer-verlag berlinTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Analysis and optimization of CHR programsSneyers, Jon Gupta, G ; Gabbrielli, MLecture Notes in Computer Science, 2005, Vol.3668, p.450-451 [Periódico revisado por pares]SpringerTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Polynomial interpretations as a basis for termination analysis of logic programsNguyen, Manh Thang ; De Schreye, Danny Gupta, G ; Gabbrielli, MLecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Periódico revisado por pares]SpringerTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
F536 WHICH LEGAL CONSEQUENCES FOR THOSE WHO CAUSE INFANTS TO SUFFER PAIN?Bellieni, C.V. ; Buonocore, G. ; Perrone, S. ; Gabbrielli, M.European journal of pain supplements, 2011-09, Vol.5 (1), p.169-169Oxford, UK: Elsevier LtdTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Molecular detection of Leptospira interrogans in human tissues and environmental samples in a lethal case of leptospirosisLuchini, D. ; Meacci, F. ; Oggioni, M. R. ; Morabito, G. ; D’Amato, V. ; Gabbrielli, M. ; Pozzi, G.International journal of legal medicine, 2008-05, Vol.122 (3), p.229-233 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
A Timed Concurrent Constraint Languagede Boer, F.S. ; Gabbrielli, M. ; Meo, M.C.Information and computation, 2000-08, Vol.161 (1), p.45-83 [Periódico revisado por pares]San Diego, CA: Elsevier IncTexto completo disponível |