Search Results - (((("_ external learning algorithms") OR ("_ uml 2 algorithm"))) OR ("p general python algorithm")) :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Automatic assume-guarantee reasoning for safety and liveness using passive learning

by Sankur, Ocan
Published in Formal methods in system design (01.09.2025)

Get full text

Journal Article

Cover Image

A Draft Memory Model on Spiking Neural Assemblies

by Ranhel, João, Albuquerque, João H, Azevedo, Bruno P. M, Cunha, Nathalia M, Ishimaru, Pedro J
Year of Publication 26.03.2016

Get full text

Journal Article

Cover Image

A Draft Memory Model on Spiking Neural Assemblies

by Ranhel, João, Albuquerque, João H, Azevedo, Bruno P M, Cunha, Nathalia M, Ishimaru, Pedro J
Published in arXiv.org (26.03.2016)

Get full text

Paper