Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On Memory Traffic and Optimisations for Low-order Finite Element Assembly Algorithms on Multi-core CPUsTrotter, James D. ; Cai, Xing ; Funke, Simon W.ACM transactions on mathematical software, 2022-06, Vol.48 (2), p.1-31, Article 19 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Stochastic Volterra equations with time-changed Lévy noise and maximum principlesdi Nunno, Giulia ; Giordano, MicheleAnnals of operations research, 2024-05, Vol.336 (1-2), p.1265-1287 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
3 |
Material Type: Artigo
|
Locally Abstract, Globally Concrete Semantics of Concurrent Programming LanguagesDin, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic ; Johnsen, Einar Broch ; Pun, Violet Ka I ; Tarifa, S. Lizeth TapiaACM transactions on programming languages and systems, 2024-03, Vol.46 (1), p.1-58, Article 3 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
High-Performance Computation of Bézier Surfaces on Parallel and Heterogeneous PlatformsPalomar, Rafael ; Gómez-Luna, Juan ; Cheikh, Faouzi A. ; Olivares-Bueno, Joaquín ; Elle, Ole J.International journal of parallel programming, 2018-12, Vol.46 (6), p.1035-1062 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
5 |
Material Type: Artigo
|
Coactions on C∗-Algebras and Universal PropertiesBédos, Erik ; Kaliszewski, S. ; Quigg, John ; Turk, JonathanApplied categorical structures, 2023-10, Vol.31 (5), Article 36 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
6 |
Material Type: Artigo
|
A Fast and Simple Modification of Newton’s Method Avoiding Saddle PointsTruong, Tuyen Trung ; To, Tat Dat ; Nguyen, Hang-Tuan ; Nguyen, Thu Hang ; Nguyen, Hoang Phuong ; Helmy, MagedJournal of optimization theory and applications, 2023-11, Vol.199 (2), p.805-830 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
7 |
Material Type: Artigo
|
Malliavin Calculus and Optimal Control of Stochastic Volterra EquationsAgram, Nacira ; Øksendal, BerntJournal of optimization theory and applications, 2015-12, Vol.167 (3), p.1070-1094 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
8 |
Material Type: Artigo
|
Responses in fast-spiking interneuron firing rates to parameter variations associated with degradation of perineuronal netsHanssen, Kine Ødegård ; Grødem, Sverre ; Fyhn, Marianne ; Hafting, Torkel ; Einevoll, Gaute T. ; Ness, Torbjørn Vefferstad ; Halnes, GeirJournal of computational neuroscience, 2023-05, Vol.51 (2), p.283-298 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
9 |
Material Type: Artigo
|
Firing-rate models for neurons with a broad repertoire of spiking behaviorsHeiberg, Thomas ; Kriener, Birgit ; Tetzlaff, Tom ; Einevoll, Gaute T. ; Plesser, Hans E.Journal of computational neuroscience, 2018-10, Vol.45 (2), p.103-132 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
10 |
Material Type: Artigo
|
Formal Specification and Testing for Reinforcement LearningVarshosaz, Mahsa ; Ghaffari, Mohsen ; Johnsen, Einar Broch ; Wąsowski, AndrzejProceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.125-158, Article 193 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |