Mona Noori-Hosseini
Visar 25 publikationer
State-labeled safety analysis of modular observers for opacity verification
INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Efficient Temporal Logic Verification by Incremental Abstraction
Incremental Abstraction for Diagnosability Verification of Modular Systems
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Visible Bisimulation Equivalence - A Unified Abstraction for Temporal Logic Verification
Diagnosability Verification Using Compositional Branching Bisimulation
Verification of diagnosability based on compositional branching bisimulation
Supervisory Control for State-Vector Transition Models—A Unified Approach
Verification of diagnosability based on compositional branching bisimulation
A survey on efficient diagnosability tests for automata and bounded Petri nets
Parkinson's disease diagnosis using modular systems
Some Refinements of the Standard Autoassociative Neural Network
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
State-Vector Transition Model Applied to Supervisory Control
An evolving neural network to perform dynamic principal component analysis
Voice Conversion using Neural Networks
Parkinson's Disease Diagnosis using Principal Component Analysis and Classifiers
Dimension Reduction using Local nonlinear Principal Component Analysis
Selective Dynamic Principal Component Analysis using Recurrent Neural Networks
Unsupervised Extraction of the Nonlinear Principal Components applied for Voice Conversion
Voice Conversion Using Nonlinear Principal Component Analysis
Principal Component Analysis using Constructive Neural Networks
Modeling Superconductive Fault Current Limiter using Constructive Neural Networks
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.