Search for Author All Reviews
	Ciobanu, Gabriel     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Modelling and verification of weighted spiking neural systems Aman B., Ciobanu G. Theoretical Computer Science 623(C): 92-102, 2016.  Type: Article This paper considers the problem of formal verification of systems described using an abstract computing model called a spiking neural system, which is modeled after how brain cells (neurons) communicate. A spiking neural system is a c...... Jul 13 2016      Strategy based semantics for mobility with time and access permissions Ciobanu G., Koutny M., Steggles J. Formal Aspects of Computing 27(3): 525-549, 2015.  Type: Article Process algebras represent mathematical formalisms for modeling distributed systems whose behavior may be subsequently analyzed by automatic tools that investigate all possible system executions....... Aug 12 2015     Modelling in molecular biology Ciobanu G., Rozenberg G., SpringerVerlag, 2004.  Type: Book (9783540407997) When people think of modeling in molecular biology, a number of associations can spring to mind, such as molecular dynamics, conformational analysis, genome analysis, and biochemical cycles. The delightful surprise in this collection o...... Mar 3 2005
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy