| Nome |
# |
|
null, file e0ff0072-f21f-9bac-e053-1705fe0af019
|
155
|
|
Towards a Shape Language for Interpreting RNA Folding, file e0ff0072-b198-9bac-e053-1705fe0af019
|
137
|
|
null, file e0ff0073-2286-9bac-e053-1705fe0af019
|
132
|
|
Adaptability checking in complex systems, file e0ff0073-b918-9bac-e053-1705fe0af019
|
129
|
|
A formal language for classifying RNA secondary structures, file e0ff0074-0dbf-9bac-e053-1705fe0af019
|
112
|
|
Defining Policies for Management Strategy Evaluation in DISPAS, file e0ff0074-0da1-9bac-e053-1705fe0af019
|
105
|
|
Reversible Graph Grammar for RNA, file e0ff0074-0d9e-9bac-e053-1705fe0af019
|
101
|
|
An algebraic representation for tree alignment of RNA pseudoknotted structures., file e0ff0073-029f-9bac-e053-1705fe0af019
|
100
|
|
An algebraic language for RNA pseudoknots comparison, file e0ff0073-cefd-9bac-e053-1705fe0af019
|
86
|
|
Reversible Graph Grammar for RNA, file e0ff0074-0d9f-9bac-e053-1705fe0af019
|
78
|
|
A Graph Grammar for Modelling RNA Folding, file e0ff0072-e215-9bac-e053-1705fe0af019
|
72
|
|
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium), file e0ff0073-9a62-9bac-e053-1705fe0af019
|
62
|
|
Topological classifier for detecting the emergence of epileptic seizures, file e0ff0073-251f-9bac-e053-1705fe0af019
|
60
|
|
Developing Spatiotemporal Features of DISPAS 2.0 Simulator, file e0ff0074-0dc0-9bac-e053-1705fe0af019
|
46
|
|
A Formal Model for Event-Condition-Action Rules in Intelligent Environments, file e0ff0072-d419-9bac-e053-1705fe0af019
|
43
|
|
Alignment tree for RNA pseudoknots, file e0ff0073-9a66-9bac-e053-1705fe0af019
|
24
|
|
Survey of TOPDRIM applications of Topological Data Analysis, file e0ff0072-d492-9bac-e053-1705fe0af019
|
23
|
|
A Persistent Entropy Automaton for the Dow Jones Stock Market, file e0ff0073-fd06-9bac-e053-1705fe0af019
|
21
|
|
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots, file e0ff0075-0175-9bac-e053-1705fe0af019
|
19
|
|
Reversible Graph Grammar for RNA, file e0ff0072-e399-9bac-e053-1705fe0af019
|
14
|
|
Defining Policies for Management Strategy Evaluation in DISPAS, file e0ff0072-e8bd-9bac-e053-1705fe0af019
|
12
|
|
A formal language for classifying RNA secondary structures, file e0ff0072-e8bf-9bac-e053-1705fe0af019
|
12
|
|
Alignment tree for RNA pseudoknots, file e0ff0074-0d97-9bac-e053-1705fe0af019
|
11
|
|
Alignment tree for RNA pseudoknots, file e0ff0074-0d26-9bac-e053-1705fe0af019
|
9
|
|
A formal language for classifying RNA secondary structures, file e0ff0074-0fa2-9bac-e053-1705fe0af019
|
8
|
|
Developing Spatiotemporal Features of DISPAS 2.0 Simulator, file e0ff0072-edf7-9bac-e053-1705fe0af019
|
7
|
|
Multiscale Bone Remodelling with Spatial P Systems, file e0ff0073-fcfe-9bac-e053-1705fe0af019
|
7
|
|
Defining Policies for Management Strategy Evaluation in DISPAS, file e0ff0074-0f9b-9bac-e053-1705fe0af019
|
6
|
|
Automatic generation of pseudoknotted RNAs taxonomy, file 030cf888-d6a2-4eda-b7fc-90f04e664d6a
|
5
|
|
Uniformity in Multiscale Models: From Complex Automata to BioShape, file e0ff0072-e07a-9bac-e053-1705fe0af019
|
5
|
|
BIOSHAPE: End-User Development for Simulating Biological Systems, file e0ff0072-5f88-9bac-e053-1705fe0af019
|
2
|
|
Topological Characterization of Complex Systems: Using Persistent Entropy, file e0ff0072-75f0-9bac-e053-1705fe0af019
|
2
|
|
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions, file e0ff0072-a8ac-9bac-e053-1705fe0af019
|
2
|
|
null, file e0ff0072-b215-9bac-e053-1705fe0af019
|
2
|
|
Developing Spatiotemporal Features of DISPAS 2.0 Simulator, file e0ff0074-0fa5-9bac-e053-1705fe0af019
|
2
|
|
DISPAS: An Agent-Based Tool for the Management of Fishing Effort, file e0ff0072-5f34-9bac-e053-1705fe0af019
|
1
|
|
Probabilistic Modelling and Analysis of a Fish Population, file e0ff0072-72ff-9bac-e053-1705fe0af019
|
1
|
|
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea, file e0ff0072-7ae0-9bac-e053-1705fe0af019
|
1
|
|
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems, file e0ff0072-ab73-9bac-e053-1705fe0af019
|
1
|
|
A Constrained ECA Language Supporting Formal Verification of WSNs, file e0ff0072-ac4f-9bac-e053-1705fe0af019
|
1
|
|
Timed Automata with non-Instantaneous Actions, file e0ff0072-b19a-9bac-e053-1705fe0af019
|
1
|
|
Persistent Homology Analysis of RNA, file f54f0351-0c6c-4a46-94e0-1bf987507118
|
1
|
| Totale |
1.618 |