1 - 10 of 56 for null
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
A Fuzzy Modal Logic for Fuzzy Transition SystemsJain, Manisha ; Madeira, Alexandre ; Martins, Manuel A.Electronic notes in theoretical computer science, 2020-03, Vol.348, p.85-103Elsevier B.VFull text available |
| 2 |
Material Type: Article
|
|
On Performance Evaluation of Security Monitoring in Multitenant Cloud ApplicationsCampanile, Lelio ; Iacono, Mauro ; Marrone, Stefano ; Mastroianni, MicheleElectronic notes in theoretical computer science, 2020-11, Vol.353, p.107-127Elsevier B.VFull text available |
| 3 |
Material Type: Article
|
|
The Impact of Profit Uncertainty on Miner Decisions in Blockchain SystemsAlharby, Maher ; van Moorsel, AadElectronic notes in theoretical computer science, 2018-10, Vol.340, p.151-167Full text available |
| 4 |
Material Type: Article
|
|
Development of a Smart Grid Simulation EnvironmentDelamare, J. ; Bitachon, B. ; Peng, Z. ; Wang, Y. ; Haverkort, B.R. ; Jongerden, M.R.Electronic notes in theoretical computer science, 2015-11, Vol.318, p.19-29Elsevier B.VFull text available |
| 5 |
Material Type: Article
|
|
A Technical Analysis Indicator Based On Fuzzy LogicEscobar, Alejandro ; Moreno, Julián ; Múnera, SebastiánElectronic notes in theoretical computer science, 2013-03, Vol.292, p.27-37Elsevier B.VFull text available |
| 6 |
Material Type: Article
|
|
Stochastic Pruning and Its Application for Fast Estimation of the Expected Total Output of Complex SystemsTodinov, MichaelElectronic notes in theoretical computer science, 2016-10, Vol.327, p.109-123Elsevier B.VFull text available |
| 7 |
Material Type: Article
|
|
Compact Representation of Photosynthesis Dynamics by Rule-based ModelsBrim, L. ; Nižnan, J. ; Šafránek, D.Electronic notes in theoretical computer science, 2015-09, Vol.316, p.17-27Elsevier B.VFull text available |
| 8 |
Material Type: Article
|
|
Finding Optimal Timetables for Edinburgh Bus RoutesVissat, Ludovica Luisa ; Clark, Allan ; Gilmore, StephenElectronic notes in theoretical computer science, 2015-01, Vol.310, p.179-199Elsevier B.VFull text available |
| 9 |
Material Type: Article
|
|
Conditional Monte Carlo With Intermediate Estimations for Simulation of Markovian SystemsCancela, Héctor ; Murray, Leslie ; Rubino, GerardoElectronic notes in theoretical computer science, 2016-03, Vol.321, p.3-21Elsevier B.VFull text available |
| 10 |
Material Type: Article
|
|
A Comprehensive Web-based Platform For Domain-Specific Biological ModelsKlement, M. ; Šafránek, D. ; Děd, T. ; Pejznoch, A. ; Nedbal, L. ; Steuer, R. ; Červený, J. ; Müller, S.Electronic notes in theoretical computer science, 2013-12, Vol.299, p.61-67Elsevier B.VFull text available |
1 - 10 of 56 for null
Personalize your results
Refine Search Results
Refine My Results
Subject
- Computer Science (51)
- Computer Science, Theory & Methods (51)
- Science & Technology (51)
- Technology (51)
- Bisimulation (8)
- Verification (5)
- Coalgebra (3)
- Model Checking (3)
- Modeling And Simulation (3)
- Refinement (3)
- Systems Biology (3)
- Modal Logic (3)
- Rewriting Logic (3)
- Formal Modeling (2)
- Hybrid Automata (2)
- Formal Analysis (2)
- Graph Transformation (2)
- Hybrid Systems (2)
- Biological Models (2)
-
More options
Creation Date
- Before2005 (5)
- 2005To2007 (19)
- 2008To2010 (17)
- 2011To2015 (10)
- After 2015 (5)
-
More options
Database/Library
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 