ENTITY
Elisabetta De Maria
Elisabetta De Maria
PulseAugur coverage of Elisabetta De Maria — every cluster mentioning Elisabetta De Maria across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New CogSpike Tool Formalizes Verification for Probabilistic Spiking Neural Networks
Researchers have developed a new formal verification tool called CogSpike for probabilistic Spiking Neural Networks (SNNs). This tool addresses the state space explosion problem inherent in verifying these complex, stoc…
-
New research advances Spiking Neural Networks for efficiency and verification
Researchers have developed novel methods for Spiking Neural Networks (SNNs), focusing on improving their efficiency and verification capabilities. One study introduces a learnable residual speech-to-spike encoder that e…