Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Higher Order Conditional Random Fields in Deep Neural NetworksArnab, Anurag ; Jayasumana, Sadeep ; Zheng, Shuai ; Torr, Philip H. S.Computer Vision – ECCV 2016, p.524-540 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Non-associative Higher-Order Markov Networks for Point Cloud ClassificationNajafi, Mohammad ; Taghavi Namin, Sarah ; Salzmann, Mathieu ; Petersson, LarsComputer Vision – ECCV 2014, p.500-515 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Truncated and higher order differentialsKnudsen, Lars R.Fast Software Encryption, 2005, p.196-211 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Higher-Order Masking Schemes for SimonQing, Sihan ; Okamoto, Eiji ; Kim, Kwangjo ; Liu, DongmeiInformation and Communications Security, 2016, Vol.9543, p.379-392 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Finitary Semantics of Linear Logic and Higher-Order Model-CheckingGrellois, Charles ; Melliès, Paul-AndréMathematical Foundations of Computer Science 2015, p.256-268 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Higher-Spin Theory and Space-Time MetamorphosesVasiliev, M. A.Modifications of Einstein's Theory of Gravity at Large Distances, p.227-264 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
A Higher Stacky Perspective on Chern–Simons TheoryFiorenza, Domenico ; Sati, Hisham ; Schreiber, UrsMathematical Aspects of Quantum Field Theories, p.153-211 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Automatic Termination Verification for Higher-Order Functional ProgramsKuwahara, Takuya ; Terauchi, Tachio ; Unno, Hiroshi ; Kobayashi, NaokiProgramming Languages and Systems, p.392-411 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Internationalisation of Higher Education –Overview of Recent DevelopmentsCiubăncan, Magdalena ; Dima, Viorela-Valentina ; Mohanu, Florina Dima, AlinaResilience and Economic Intelligence Through Digitalization and Big Data Analytics, 2021, p.213-222 [Periódico revisado por pares]Warsaw, Poland: SciendoTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Higher-Order Processes, Functions, and Sessions: A Monadic IntegrationToninho, Bernardo ; Caires, Luis ; Pfenning, FrankProgramming Languages and Systems, p.350-369 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |