×

Found 151 Documents (Results 1–100)

SMT-based modeling and verification of spiking neural networks: a case study. (English) Zbl 1529.68151

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 25-43 (2023).
MSC:  68Q60 68Q07 92B20
Full Text: DOI

Formal semantics and verification of network-based biocomputation circuits. (English) Zbl 1472.68057

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 464-485 (2021).

Spiking neural networks through the lens of streaming algorithms. (English) Zbl 1543.68450

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 10, 18 p. (2020).
MSC:  68W15 68Q07 68W27

Counting to ten with two fingers: compressed counting with spiking neurons. (English) Zbl 1548.68079

Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 57, 17 p. (2019).

Neuro-RAM unit with applications to similarity testing and compression in spiking neural networks. (English) Zbl 1515.68137

Richa, Andréa W. (ed.), 31st international symposium on distributed computing, DISC 2017, Vienna, Austria, October 16–20, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 91, Article 33, 16 p. (2017).
MSC:  68Q07 68W15 68W20

Chemical Boltzmann machines. (English) Zbl 1495.68074

Brijder, Robert (ed.) et al., DNA computing and molecular programming. 23rd international conference, DNA 23, Austin, TX, USA, September 24–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10467, 210-231 (2017).
MSC:  68Q07 68Q10 92B20

A stochastic molecular scheme for an artificial cell to infer its environment from partial observations. (English) Zbl 1495.68075

Brijder, Robert (ed.) et al., DNA computing and molecular programming. 23rd international conference, DNA 23, Austin, TX, USA, September 24–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10467, 82-97 (2017).

How creative should creators be to optimize the evolution of ideas? A computational model. (English) Zbl 1456.91082

Cooper, S. Barry (ed.) et al., Fifth workshop on developments in computational models – computational models from nature, Rhodes, Greece, July 11, 2009. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 9, 108-119 (2009).
MSC:  91D10 68Q07 92B20

The representation of three-dimensional dendritic structure by a one-dimensional model – the conventional cable equation as the first member of a hierarchy of equations. (English) Zbl 1093.92024

Reeke, G. N. (ed.) et al., Modeling in the neurosciences. From biological systems to neuromimetic robotics. Boca Raton, FL: Taylor & Francis (ISBN 0-415-32868-3/hbk). 279-312 (2005).
MSC:  92C20 92C05 78A70

Acoustic streaming in the ear itself. (English) Zbl 0787.76102

Cheer, Angela Y. (ed.) et al., Fluid dynamics in biology. Proceedings of an AMS-IMS-SIAM joint summer research conference held July 6-12, 1991 at the University of Washington, Seattle, USA, with support from the National Science Foundation and NASA Headquarters. Providence, RI: American Mathematical Society. Contemp. Math. 141, 187-236 (1993).
MSC:  76Z99 92C10 76Q05

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software