Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Psychologism ReconsideredAACH, JOHNSynthese (Dordrecht), 1990-11, Vol.85 (2), p.315 [Periódico revisado por pares]Dordrecht: D. Reidel Pub. Co., etcTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Dijet Resonance Search with Weak Supervision Using √s = 13 TeV pp Collisions in the ATLAS DetectorAad, GPhysical review letters, 2020, Vol.125 (13), p.1 [Periódico revisado por pares]College Park: American Physical SocietyTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Image CAPTCHA: Based on human understanding of real world distancesAadhirai, R. ; Kumar, P. J. S. ; Vishnupriya, S.2012 4th International Conference on Intelligent Human Computer Interaction (IHCI), 2012, p.1-6IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
High-performance computing for SKA transient search: Use of FPGA-based acceleratorsAafreen, R. ; Abhishek, R. ; Ajithkumar, B. ; Vaidyanathan, Arunkumar M. ; Barve, Indrajit V. ; Bhattramakki, Sahana ; Bhat, Shashank ; Girish, B. S. ; Ghalame, Atul ; Gupta, Y. ; Hayatnagarkar, Harshal G. ; Kamini, P. A. ; Karastergiou, A. ; Levin, L. ; Madhavi, S. ; Mekhala, M. ; Mickaliger, M. ; Mugundhan, V. ; Naidu, Arun ; Oppermann, J. ; Pandian, B. Arul ; Patra, N. ; Raghunathan, A. ; Roy, Jayanta ; Sethi, Shiv ; Shaw, B. ; Sherwin, K. ; Sinnen, O. ; Sinha, S. K. ; Srivani, K. S. ; Stappers, B. ; Subrahmanya, C. R. ; Prabu, Thiagaraj ; Vinutha, C. ; Wadadekar, Y. G. ; Wang, Haomiao ; Williams, C.Journal of astrophysics and astronomy, 2023-02, Vol.44 (1), Article 11 [Periódico revisado por pares]New Delhi: Springer IndiaTexto completo disponível |
5 |
Material Type: Verbete
|
![]() |
Petri NetsAalst, W. M. PEncyclopedia of Database Systems, 2009, p.2103-2108Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Pseudonymization of patient identifiers for translational researchAamot, Harald ; Kohl, Christian Dominik ; Richter, Daniela ; Knaup-Gregori, PetraBMC medical informatics and decision making, 2013-07, Vol.13 (1), p.75-75, Article 75 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
A universal Turing machineAanderaa, StålComputer Science Logic, 2005, p.1-4 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Decision problems for tag systemsAanderaa, Stål ; Belsnes, DagThe Journal of symbolic logic, 1971-06, Vol.36 (2), p.229-239 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
The Solvability of the Halting Problem for 2-State Post MachinesAanderaa, Stal ; Fischer, Patrick CJournal of the ACM, 1967-10, Vol.14 (4), p.677-682 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Improvements in paint manufactureAarons, B.LPigment & resin technology, 1976-11, Vol.5 (11), p.12-17 [Periódico revisado por pares]MCB UP LtdTexto completo disponível |