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