ENTITY
Miriam Kranzlmüller
Miriam Kranzlmüller
PulseAugur coverage of Miriam Kranzlmüller — every cluster mentioning Miriam Kranzlmüller across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New framework compares ANN and SNN energy efficiency
A new analytical framework has been developed to compare the energy efficiency of artificial neural networks (ANNs) and spiking neural networks (SNNs) for time-series data. The framework normalizes for expressivity, rev…
-
New set-based training method verifies safety of dynamical systems with neural certificates
Researchers have developed a novel set-based training method for neural barrier certificates, a technique used to formally verify the safety of dynamical systems. This approach integrates the verification process direct…