Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - BAHRAMI, Abdorrahim
Search Results - BAHRAMI, Abdorrahim
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
On the use of formal methods to model and verify neuronal archetypes
by
DE MARIA, Elisabetta
,
BAHRAMI, Abdorrahim
,
L’YVONNET, Thibaud
,
FELTY, Amy
,
GAFFÉ, Daniel
,
RESSOUCHE, Annie
,
GRAMMONT, Franck
Published in
Frontiers of Computer Science
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
Computational Logic for Biomedicine and Neurosciences
by
Elisabetta de Maria
,
Despeyroux, Joelle
,
Felty, Amy
,
Liò, Pietro
,
Olarte, Carlos
,
Bahrami, Abdorrahim
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
2 results
2
Format
Articles
2 results
2
Journal Title
Frontiers Of Computer Science
1 results
1
Subjects
Behavior
1 results
1
Bioinformatics
1 results
1
Biological Properties
1 results
1
Biology
1 results
1
Composition
1 results
1
Computer Science
1 results
1
Computer Science, Information Systems
1 results
1
Computer Science, Software Engineering
1 results
1
Computer Science, Theory & Methods
1 results
1
Coq
1 results
1
Couplings
1 results
1
Data Processing
1 results
1
Diagnosis
1 results
1
Electronic Health Records
1 results
1
Formal Method
1 results
1
Formal Methods
1 results
1
Graphs
1 results
1
Information Processing
1 results
1
Leaky Integrate And Fire Modeling
1 results
1
Logic
1 results
1
Year of Publication
From:
To:
Source
Springer Link
1 results
1
Open Access: Freely Accessible Journals By Multiple Vendors
1 results
1
Road
1 results
1
Publicly Available Content Database
1 results
1
Springer Online Journals
1 results
1