Failed to execute template. Cause: [Access denied when checking [script] access to [xwiki:Classes.Skins.ObjectSkin] for user [xwiki:XWiki.NazzarenoPompei]]. Click on this message for details.

Formal Validation of Neural Networks as Timed Automata / APICe

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.Attachment.Validation.Code.FileSizeValidation]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Licenses.Code.AvailableTemplateProvidersFilter]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:SyntaxHighlighting.EnableSyntaxHighlighting]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.Lightbox.WebHome]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.InplaceEditing]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.InplaceEditing]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:CKEditor.EditMenuEntry]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.Attachment.Validation.Code.MimetypeValidation]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute template. Cause: [Access denied when checking [script] access to [xwiki:Classes.Skins.ObjectSkin] for user [xwiki:XWiki.NazzarenoPompei]]. Click on this message for details.

Failed to execute template. Cause: [Access denied when checking [script] access to [xwiki:Classes.Skins.ObjectSkin] for user [xwiki:XWiki.NazzarenoPompei]]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Licenses.Code.MissingLicensesUIX]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Licenses.Code.MissingLicensesUIX]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute template. Cause: [Access denied when checking [script] access to [xwiki:Classes.Skins.ObjectSkin] for user [xwiki:XWiki.NazzarenoPompei]]. Click on this message for details.

#setobjectspace("Publications") #docobj() #nolangpar()

Failed to execute template. Cause: [Access denied when checking [script] access to [xwiki:Classes.Skins.ObjectSkin] for user [xwiki:XWiki.NazzarenoPompei]]. Click on this message for details.

#hidepub()

Failed to execute template. Cause: [Access denied when checking [script] access to [xwiki:Classes.Skins.ObjectSkin] for user [xwiki:XWiki.NazzarenoPompei]]. Click on this message for details.

#bibtomap() #themodebar( $currentModeList $mode $action ) #nodoclang()
Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Macros.Publications.Authors]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.
Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Macros.Publications.Editors]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17)
2017

We propose a formalisation of spiking neural networks based on timed automata networks. Neurons are modelled as timed automata waiting for inputs on a number of different channels (synapses), for a given amount of time (the accumulation period). When this period is over, the current potential value is computed taking into account the current inputs and the previous decayed potential value. If the current potential overcomes a given threshold , the automaton emits a broadcast signal over its output channel, otherwise it restarts another accumulation period. After each emission, the automaton is constrained to remain inactive for a fixed refractory period .  Spiking neural networks are formalised as sets of automata, one for each neuron, running in parallel and sharing channels according to the structure of the network. The model is then validated against some crucial properties defined via proper temporal logic formulae

${mainspace}.class_keywords_shortNeural networks, Leaky Integrate and Fire Model, Timed Automata, Temporal Logic, Model Checking

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Classes.Velocity]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Macros.Presentation.PageDisplay]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.Like.LikeUIX]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:XWiki.PageTagsUIX]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

     
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY