X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (124) 124
Conference Proceeding (61) 61
Book Chapter (8) 8
Book / eBook (2) 2
Patent (2) 2
Dissertation (1) 1
Web Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (33) 33
computer science, theory & methods (18) 18
index medicus (18) 18
humans (15) 15
analysis (13) 13
computer science - logic in computer science (13) 13
fluid approximation (12) 12
mathematics (12) 12
markov processes (11) 11
male (10) 10
computer science - systems and control (9) 9
electronic computers. computer science (9) 9
stochastisches modell (9) 9
cancer (8) 8
female (8) 8
stochastic concurrent constraint programming (8) 8
stochastic process algebras (8) 8
theoretical computer science (8) 8
computer simulation (7) 7
mean field approximation (7) 7
stochastic model checking (7) 7
stochastic processes (7) 7
surgery (7) 7
aged (6) 6
clinical trials (6) 6
computer science - performance (6) 6
logics and meanings of programs (6) 6
markov chains (6) 6
radiology, nuclear medicine & medical imaging (6) 6
semantics (6) 6
software engineering (6) 6
algorithms (5) 5
animals (5) 5
approximation (5) 5
artificial intelligence (5) 5
behavior (5) 5
computational modeling (5) 5
gaussian processes (5) 5
hybrid systems (5) 5
logic (5) 5
maschinelles lernen (5) 5
mathematical logic and formal languages (5) 5
mathematics, applied (5) 5
metastases (5) 5
middle aged (5) 5
neutrons (5) 5
risk factors (5) 5
robustness (5) 5
temporal logic (5) 5
temporale logik (5) 5
biological systems (4) 4
care and treatment (4) 4
cells (4) 4
comparative analysis (4) 4
computational biology/bioinformatics (4) 4
computational systems biology (4) 4
computer communication networks (4) 4
computer science, hardware & architecture (4) 4
gauss-prozess (4) 4
hematology, oncology and palliative medicine (4) 4
hybrid automata (4) 4
liver (4) 4
markov-kette (4) 4
mathematical model (4) 4
mathematical models (4) 4
medical research (4) 4
medicine, experimental (4) 4
networking and internet architecture (4) 4
nuclear science & technology (4) 4
oncology (4) 4
parameter synthesis (4) 4
programming languages, compilers, interpreters (4) 4
simulation (4) 4
sociology (4) 4
statistics (4) 4
stochastic models (4) 4
systems (4) 4
universities and colleges (4) 4
adolescent (3) 3
adult (3) 3
age factors (3) 3
aged, 80 and over (3) 3
autoradiography (3) 3
biological modeling (3) 3
biological-systems (3) 3
biology (3) 3
biometry (3) 3
bnct (3) 3
boron measurements (3) 3
boron neutron capture therapy (3) 3
cardiac & cardiovascular systems (3) 3
chemische reaktion (3) 3
chemistry, inorganic & nuclear (3) 3
chemotherapy (3) 3
child, preschool (3) 3
complex networks (3) 3
computer science - computational engineering, finance, and science (3) 3
cost analysis (3) 3
cyber-physisches system (3) 3
differential equations (3) 3
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11095, pp. 21 - 38
Conference Proceeding
ACM Transactions on Modeling and Computer Simulation (TOMACS), ISSN 1049-3301, 12/2019, Volume 29, Issue 4, pp. 1 - 2
Journal Article
ACM Transactions on Computational Logic (TOCL), ISSN 1529-3785, 09/2019, Volume 20, Issue 4, pp. 1 - 35
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks against a fragment of Continuous... 
probabilistic model checking | Gaussian process | continuous time Markov chain | Chemical reaction networks | DISTRIBUTIONS | SYSTEM | APPROXIMATION | BEHAVIOR | NOISE | COMPUTER SCIENCE, THEORY & METHODS | LOGIC
Journal Article
Information and computation, ISSN 0890-5401, 2016, Volume 247, pp. 37 - 86
We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from... 
Mean field | Weak convergence | Stochastic process algebras | Stochastic hybrid systems | Fluid approximation | Stochastic concurrent constraint programming | MATHEMATICS, APPLIED | APPROXIMATION | SEMANTICS | FRAMEWORK | SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | ORDINARY DIFFERENTIAL-EQUATIONS | Markov processes | Computer programming | Analysis
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 10806, pp. 396 - 413
Conference Proceeding
Performance evaluation, ISSN 0166-5316, 2013, Volume 70, Issue 5, pp. 317 - 349
In this paper we present an overview of the field of deterministic approximation of Markov processes, both in discrete and continuous times. We will discuss... 
Markov chains | Mean field approximation | Stochastic process algebras | Deterministic approximation | Fluid approximation | PETRI NETS | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | MODEL | ALGORITHMS | PERFORMANCE ANALYSIS | SEMANTICS | FLUID | DISCRETE | FRAMEWORK | COMPUTER SCIENCE, THEORY & METHODS | MEDIUM ACCESS-CONTROL | HYBRID | Markov processes | Analysis
Journal Article
Theoretical computer science, ISSN 0304-3975, 2015, Volume 587, pp. 3 - 25
Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model and to reason about the... 
System design | Robustness degree | Stochastic models | Temporal logic | PARAMETER-ESTIMATION | APPROXIMATION | BEHAVIOR | SENSITIVITY-ANALYSIS | NETWORKS | COMPUTER SCIENCE, THEORY & METHODS | CHECKING | Markov processes | Usage | Models | Analysis | Mathematical models | Robustness | Trajectories | Modelling | Biological | Stochasticity | Dynamical systems
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9700, pp. 61 - 82
We study the limiting behaviour of stochastic models of populations of interacting agents, as the number of agents goes to infinity. Classical mean-field... 
Markov chain | Hybrid systems | Population models | Differential inclusions | Mean-field limits | Probability | Mathematics | Optimization and Control | Performance | Networking and Internet Architecture | Computer Science
Conference Proceeding
Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180, 10/2016, Volume 227, Issue Proc. QAPL 2016, pp. 30 - 43
EPTCS 227, 2016, pp. 30-43 In this paper we focus on spatial Markov population models, describing the stochastic evolution of populations of agents, explicitly... 
Conference Proceeding
Information and Computation, ISSN 0890-5401, 06/2015, Volume 242, pp. 183 - 226
Journal Article
Information and computation, ISSN 0890-5401, 2016, Volume 247, pp. 235 - 253
We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this... 
Model checking | Gaussian Processes | Uncertainty | Continuous-Time Markov Chains | PARAMETER SYNTHESIS | MATHEMATICS, APPLIED | BEHAVIOR | COMPUTER SCIENCE, THEORY & METHODS | SIMULATION | Case studies | Markov processes | Models | Algorithms | Analysis
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9845, pp. 92 - 106
Conference Proceeding
Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180, 09/2015, Volume 194, Issue Proc. QAPL 2015, pp. 32 - 47
EPTCS 194, 2015, pp. 32-47 In recent years fluid approaches to the analysis of Markov populations models have been demonstrated to have great pragmatic value.... 
Conference Proceeding
Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180, 08/2013, Volume 125, Issue Proc. HSB 2013, pp. 3 - 19
EPTCS 125, 2013, pp. 3-19 Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model... 
Conference Proceeding
Constraints, ISSN 1383-7133, 6/2008, Volume 13, Issue 1, pp. 66 - 90
Journal Article
Information and Computation, ISSN 0890-5401, 08/2014, Volume 236, pp. 1 - 2
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2017, Volume 10510, pp. 3 - 17
Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it... 
Cyber-physical systems | Robustness | Model-based testing | Falsification | Gaussian processes | Computer Science - Logic in Computer Science
Conference Proceeding
Information and Computation, ISSN 0890-5401, 10/2018, Volume 262, pp. 189 - 220
Many complex systems can be described by population models, in which a pool of agents interacts and produces complex collective behaviours. We consider the... 
Linear noise | Fluid model checking | Stochastic approximation | Population models | Moment closure | Stochastic model checking | Maximum entropy | DISTRIBUTIONS | MATHEMATICS, APPLIED | MASTER EQUATION | COMPUTER SCIENCE, THEORY & METHODS | CHAINS | Computer science | Markov processes | Models | Analysis
Journal Article
06/2014
EPTCS 154, 2014 This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in... 
Journal Article
Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180, 09/2015, Volume 194, Issue Proc. QAPL 2015, pp. 16 - 31
EPTCS 194, 2015, pp. 16-31 In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems.... 
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.