Výsledky vyhledávání - Mathematics of computing Probability and statistics Stochastic process
-
1
Stochastic Processes with Expected Stopping Time
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs…”
Získat plný text
Konferenční příspěvek -
2
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning
Vydáno: IEEE 01.09.2021Vydáno v 2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2021)“… In this paper, we propose a shape-agnostic formulation for the space of legal transformations in the polyhedral model as a Markov Decision Process (MDP…”
Získat plný text
Konferenční příspěvek -
3
An Algorithm for Random Fractal Filling of Space
ISSN: 0167-7055, 1467-8659Vydáno: Oxford Blackwell Publishing Ltd 01.12.2013Vydáno v Computer graphics forum (01.12.2013)“…Computational experiments with a simple algorithm show that it is possible to fill any spatial region with a random fractalization of any shape, with a…”
Získat plný text
Journal Article -
4
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can…”
Získat plný text
Konferenční příspěvek -
5
Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking
ISSN: 1558-1225Vydáno: ACM 01.05.2016Vydáno v Proceedings / International Conference on Software Engineering (01.05.2016)“…Run-time Quality-of-Service (QoS) assurance is crucial for business-critical systems. Complex behavioral performance metrics (PMs) are useful but often…”
Získat plný text
Konferenční příspěvek -
6
Randomness meets feedback: Stochastic implementation of logistic map dynamical system
ISSN: 0738-100XVydáno: IEEE 01.06.2015Vydáno v Proceedings - ACM IEEE Design Automation Conference (01.06.2015)“…Stochastic Computing (SC) is a digital computation approach that operates on random bit streams to perform complex tasks with much smaller hardware footprints compared to conventional approaches that employ binary radix…”
Získat plný text
Konferenční příspěvek -
7
Using quantitative analysis to implement autonomic IT systems
ISBN: 9781424434534, 142443453XISSN: 0270-5257Vydáno: Washington, DC, USA IEEE Computer Society 16.05.2009Vydáno v 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)“…The software underpinning today's IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We…”
Získat plný text
Konferenční příspěvek -
8
Constructing compact causal mathematical models for complex dynamics
ISBN: 9781450349659, 145034965XVydáno: New York, NY, USA ACM 18.04.2017Vydáno v 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) (18.04.2017)“… the statistics of the magnitude increments and the inter-event times of stochastic processes. We derive…”
Získat plný text
Konferenční příspěvek -
9
Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip
ISBN: 9780769522883, 0769522882ISSN: 1530-1591Vydáno: Washington, DC, USA IEEE Computer Society 07.03.2005Vydáno v Design, Automation and Test in Europe (07.03.2005)“…We have presented an optimal buffer sizing and buffer insertion methodology which uses stochastic models of the architecture and Continuous Time Markov Decision Processes CTMDPs…”
Získat plný text
Konferenční příspěvek -
10
Reinforcement learning for model building and variance-penalized control
ISBN: 9781424457717, 1424457718Vydáno: Winter Simulation Conference 13.12.2009Vydáno v Winter Simulation Conference (13.12.2009)“…Reinforcement learning (RL) is a simulation-based technique to solve Markov decision problems or processes (MDPs…”
Získat plný text
Konferenční příspěvek -
11
A Stochastic Technique to Obtain Training Data for Word Segmentation
ISBN: 0769538010, 9780769538013Vydáno: Washington, DC, USA IEEE Computer Society 15.09.2009Vydáno v Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 (15.09.2009)“… In this work, we discuss how to obtain pseudo test corpus based on Markov process Monte Carlo Method (MCMC…”
Získat plný text
Konferenční příspěvek -
12
Battery-aware power management based on Markovian decision processes
ISBN: 0780376072, 9780780376076ISSN: 1092-3152Vydáno: New York, NY, USA ACM 10.11.2002Vydáno v Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)“… The model, which is based on the theories of continuous-time Markovian decision processes and stochastic networks, captures two important characteristics of today's rechargeable battery cells, i.e…”
Získat plný text
Konferenční příspěvek -
13
Unpaired Kidney Exchange: Overcoming Double Coincidence of Wants without Money
Vydáno: St. Louis Federal Reserve Bank of St. Louis 01.01.2020Vydáno v IDEAS Working Paper Series from RePEc (01.01.2020)“…We propose a new matching algorithm -- Unpaired kidney exchange -- to tackle the problem of double coincidence of wants without using money. The fundamental…”
Získat plný text
Paper -
14
Dynamic power management of complex systems using generalized stochastic Petri nets
ISBN: 9781581131871, 1581131879Vydáno: New York, NY, USA ACM 01.01.2000Vydáno v 37th Design Automation Conference, 2000 (01.01.2000)“… We model a power-managed distributed computing system as a controllable Generalized Stochastic Petri Net (GSPN) with cost…”
Získat plný text
Konferenční příspěvek -
15
Importance sampling in Markovian settings
ISBN: 0780395190, 9780780395190Vydáno: Winter Simulation Conference 04.12.2005Vydáno v Proceedings of the 37th conference on Winter simulation (04.12.2005)“…Rare event simulation for stochastic models of complex systems is still a great challenge even for Markovian models…”
Získat plný text
Konferenční příspěvek -
16
Risk and information in the estimation of hidden Markov models
ISBN: 9780780387867, 0780387864Vydáno: Piscataway NJ Winter Simulation Conference 05.12.2004Vydáno v 2004 Winter Simulation Conference (05.12.2004)“… Product estimators are introduced as a generalization of Maximum A Posteriori Probability (MAP…”
Získat plný text
Konferenční příspěvek -
17
The use of hyper-hidden markov models in wireless channel simulation
ISBN: 0780395190, 9780780395190Vydáno: Winter Simulation Conference 04.12.2005Vydáno v 2005 Winter Simulation (04.12.2005)“…The transmission of multimedia over satellite, cellular or mobile wireless networks introduces impairments which degrade signal quality. This thesis proposes a…”
Získat plný text
Konferenční příspěvek -
18
Parametric inference for generalized semi-Markov processes
ISBN: 9780780313811, 078031381XVydáno: New York, NY, USA ACM 01.12.1993Vydáno v Proceedings of the 25th conference on Winter simulation (01.12.1993)Získat plný text
Konferenční příspěvek -
19
On Quantifying Predictability in Online Social Media Cascades Using Entropy
ISBN: 1450349935, 9781450349932Vydáno: New York, NY, USA ACM 31.07.2017Vydáno v Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017 (31.07.2017)“…Predicting cascade volumes in social media communication is an important topic in furthering the use of social media for viral marketing, impact of political…”
Získat plný text
Konferenční příspěvek -
20
Hierarchical Adaptive Dynamic Power Management
ISBN: 0769520855, 9780769520858Vydáno: Washington, DC, USA IEEE Computer Society 16.02.2004Vydáno v Proceedings of the conference on Design, automation and test in Europe - Volume 1 (16.02.2004)“…) under nonstationary service requests. We model the nonstationary arrival process of service requests as a Markov-modulated stochastic process in which the stochastic process for each modulation state models a particular stationary mode…”
Získat plný text
Konferenční příspěvek

