Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Recommender Systems and Linked Open DataDi Noia, Tommaso ; Ostuni, Vito Claudio Paschke, Adrian ; Faber, WolfgangReasoning Web. Web Logic Rules, 2015, Vol.9203, p.88-113 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Horn Clause Solvers for Program VerificationBjørner, Nikolaj ; Gurfinkel, Arie ; McMillan, Ken ; Rybalchenko, Andrey Beklemishev, Lev D. ; Dershowitz, Nachum ; Blass, Andreas ; Finkbeiner, Bernd ; Schulte, WolframFields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Stakeholders Approach to Smart Cities: A Survey on Smart City DefinitionsFernandez-Anez, Victoria Chicano, Francisco ; Alba, Enrique ; Luque, GabrielSmart Cities, 2016, Vol.9704, p.157-167 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Recent Advances in Graph PartitioningBuluç, Aydın ; Meyerhenke, Henning ; Safro, Ilya ; Sanders, Peter ; Schulz, Christian Sanders, Peter ; Kliemann, LasseAlgorithm Engineering, 2016, Vol.9220, p.117-158 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Meta-Interpretive Learning of Data Transformation ProgramsCropper, Andrew ; Tamaddoni-Nezhad, Alireza ; Muggleton, Stephen H. Inoue, Katsumi ; Yamamoto, Akihiro ; Ohwada, HayatoInductive Logic Programming, 2016, Vol.9575, p.46-59 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Ontology-Mediated Query Answering with Data-Tractable Description LogicsBienvenu, Meghyn ; Ortiz, Magdalena Paschke, Adrian ; Faber, WolfgangReasoning Web. Web Logic Rules, 2015, Vol.9203, p.218-307 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
On the Size of Pairing-Based Non-interactive ArgumentsGroth, Jens Fischlin, Marc ; Coron, Jean-SébastienAdvances in Cryptology - EUROCRYPT 2016, 2016, Vol.9666, p.305-326 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without TrapdoorsLibert, Benoît ; Ling, San ; Nguyen, Khoa ; Wang, Huaxiong Fischlin, Marc ; Coron, Jean-SébastienAdvances in Cryptology - EUROCRYPT 2016, 2016, Vol.9666, p.1-31 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
An ICT-Based Reference Model for E-grocery in Smart CitiesTadei, Roberto ; Fadda, Edoardo ; Gobbato, Luca ; Perboli, Guido ; Rosano, Mariangela Chicano, Francisco ; Alba, Enrique ; Luque, GabrielSmart Cities, 2016, Vol.9704, p.22-31 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Route Planning in Transportation NetworksBast, Hannah ; Delling, Daniel ; Goldberg, Andrew ; Müller-Hannemann, Matthias ; Pajor, Thomas ; Sanders, Peter ; Wagner, Dorothea ; Werneck, Renato F. Sanders, Peter ; Kliemann, LasseAlgorithm Engineering, 2016, Vol.9220, p.19-80 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |