CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	QEST (17. : 2020 : Online) Quantitative evaluation of systems
1. Verfasser:	Das, Olivia (VerfasserIn)
Weitere Verfasser:	Das, Arindam (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Multi-player Equilibria Verification for Concurrent Stochastic Games	2020	Kwiatkowska, Marta
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels	2020	Rausch, Michael
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis	2020	Polymenakos, Kyriakos
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks	2020	Repin, Denis
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers	2020	Salako, Kizito
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems	2020	Das, Olivia
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis	2020	Yazici, Mehmet Akif
Flexible Nets	2020	Júlvez, Jorge
Machine Learning for Reliability Analysis of Large Scale Systems	2020	Smirni, Evgenia
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning	2020	Gros, Timo P.
Probabilistic Model Checking of AODV	2020	Kamali, Mojgan
Bayesian Inference by Symbolic Model Checking	2020	Salmani, Bahare
Automatic Pre- and Postconditions for Partial Differential Equations	2020	Boreale, Michele
Entropy Measurement of Concurrent Disorder	2020	Cook, Victor
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance	2020	Palani, Kartik
Verifying Probabilistic Programs	2020	Kaminski, Benjamin
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism	2020	Bernardo, Marco
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues	2020	Marin, Andrea
Markovian Arrival Processes in Multi-dimensions	2020	Blume, Andreas
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains	2020	Backenköhler, Michael

Alle Artikel auflisten