Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
O-PSI: Delegated Private Set Intersection on Outsourced DatasetsAbadi, Aydin ; Terzis, Sotirios ; Dong, Changyu Federrath, Hannes ; Gollmann, DieterICT Systems Security and Privacy Protection, 2015, Vol.AICT-455, p.3-17Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Livro
|
![]() |
Failure and Damage Analysis of Advanced MaterialsAltenbach, Holm ; Sadowski, Tomasz Altenbach, Holm ; Sadowski, Tomasz ; Sadowski, Tomasz ; Altenbach, HolmVienna: Springer Nature 2015Sem texto completo |
3 |
Material Type: Ata de Congresso
|
![]() |
Pano UMECHIKA: A Crowded Underground City Panoramic View SystemArai, Ismail ; Hori, Maiya ; Kawai, Norihiko ; Abe, Yohei ; Ichikawa, Masahiro ; Satonaka, Yusuke ; Nitta, Tatsuki ; Nitta, Tomoyuki ; Fujii, Harumitsu ; Mukai, Masaki ; Horimi, Soichiro ; Makita, Koji ; Kanbara, Masayuki ; Nishio, Nobuhiko ; Yokoya, Naokazu De Paz Santana, Juan F. ; Rodríguez-González, Sara ; Rodríguez, Juan M. Corchado ; de Leon F. de Carvalho, Andre PonceDistributed Computing and Artificial Intelligence, p.173-180Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
4 |
Material Type: Ata de Congresso
|
![]() |
Java Pathfinder at SV-COMP 2019 (Competition Contribution)Artho, Cyrille ; Visser, W.25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Geometrical Methods in the Theory of Ordinary Differential EquationsArtin, M ; Chern, S. S ; Doob, J. LNew York, NY: Springer New York 1988Texto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Parallel H.264 Decoding on an Embedded Multicore ProcessorAzevedo, Arnaldo ; Meenderinck, Cor ; Juurlink, Ben ; Terechko, Andrei ; Hoogerbrugge, Jan ; Alvarez, Mauricio ; Ramirez, Alex Martonosi, Margaret ; Seznec, André ; Ungerer, Theo ; O’Boyle, Michael ; Emer, JoelHigh Performance Embedded Architectures and Compilers, 2009, p.404-418 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Decoupling Negotiating Agents to Explore the Space of Negotiation StrategiesBaarslag, Tim ; Hindriks, Koen ; Hendrikx, Mark ; Dirkzwager, Alexander ; Jonker, Catholijn Fujita, Katsuhide ; Lopez-Carmona, Miguel A. ; Marsa-Maestre, Ivan ; Ito, Takayuki ; Zhang, Minjie ; Bai, QuanNovel Insights in Agent-based Complex Automated Negotiation, p.61-83 [Periódico revisado por pares]Tokyo: Springer JapanSem texto completo |
8 |
Material Type: Artigo
|
![]() |
The application of grid computing to real-time functional MRI analysisBagarinao, E. ; Sarmenta, L. ; Tanaka, Y. ; Matsuo, K. ; Nakai, T. Cao, Jiannong ; Yang, Laurence T. ; Guo, Minyi ; Lau, Francis ; Cao, Jiannong ; Lau, Francis ; Yang, Laurence T. ; Guo, MinyiLecture notes in computer science, 2004-01, p.290-302 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
9 |
Material Type: Capítulo de Livro
|
![]() |
Rice Plant Architecture: Molecular Basis and Application in BreedingBai, Shiwei ; Smith, Steven M. ; Li, Jiayang Sasaki, Takuji ; Ashikari, MotoyukiRice Genomics, Genetics and Breeding, 2018, p.129-154Singapore: Springer SingaporeSem texto completo |
10 |
Material Type: Capítulo de Livro
|
![]() |
Scaling Algebraic Multigrid Solvers: On the Road to ExascaleBaker, Allison H. ; Falgout, Robert D. ; Gamblin, Todd ; Kolev, Tzanio V. ; Schulz, Martin ; Yang, Ulrike Meier Nagel, Wolfgang E. ; Bischof, Christian ; Wittum, Gabriel ; Hegering, Heinz-GerdCompetence in High Performance Computing 2010, 2011, p.215-226Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |