Results 61 to 70 of about 82,501 (282)

Trajectory Optimization of Packet Ferries in Opportunistic Social-Based Machine-to-Machine Networks

International Journal of Distributed Sensor Networks, 2013
Machine-to-machine (M2M) communication is an emerging paradigm to connect a large number of devices through wireless technologies. In recent application scenarios, devices are normally carried by people in social contexts.
Xin Guan
doaj   +1 more source

Wide sense one-dependent processes with embedded Harris chains and their applications in inventory management [PDF]

, 2003
In this paper we consider stochastic processes with an embedded Harris chain. The embedded Harris chain describes the dependence structure of the stochastic process.
Bazsa-Oldenkamp, E.M. (Emö), Iseger, P. den   +1 more
core  

Communicating Zero-Sum Product Stochastic Games

, 2019
We study two classes of zero-sum stochastic games with compact action sets and a finite product state space. These two classes assume a communication property on the state spaces of the players.
Garrec, Tristan
core   +3 more sources

HLA genotype testing for carbamazepine, oxcarbazepine and eslicarbazepine: A guideline developed by the UK Centre of Excellence in Regulatory Science and Innovation in Pharmacogenomics (CERSI‐PGx)

British Journal of Clinical Pharmacology, EarlyView.
Carbamazepine is licensed in the United Kingdom for the treatment of epilepsy, bipolar disorder and trigeminal neuralgia. The related compounds oxcarbazepine and eslicarbazepine are licensed for the treatment of epilepsy. These drugs can cause immune‐mediated hypersensitivity reactions, which typically affect the skin, and can be of variable severity ...
Lucy Galloway, Cinzia Dello Russo, Nicholas Bass, Elvira Bramon, Helen Cross, Natalie Curley, Sarah Curran, Helen Davies, Jana De Villiers, William Evans, Bernhard Frank, Alice Groves, Judith Hayward, Jon Higham, Dyfrig A. Hughes, Shwe Sin Kyaw, Anthony G. Marson, Ailsa McLellan, Seth Mensah, Francis O'Neill, Jane Sargison, Sanjay M. Sisodiya, Jill Swan, Joanna M. Zakrewska, Munir Pirmohamed   +24 more
wiley   +1 more source

Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage

, 2016
The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available capacities of secondary storage such as hard disks can be exploited.
A Aggarwal, A Bell, A Hartmanns, C Baier, DD Deavours, EM Clarke, G Norman, GD Penna, H Hermanns, HC Bohnenkamp, J Barnat, L Alfaro de, M Hammer, M Kwiatkowska, M Kwiatkowska, M Timmer, ML Puterman, MZ Kwiatkowska, MZ Kwiatkowska, MZ Kwiatkowska, R Alur, R Mehmood, S Edelkamp, S Edelkamp, S Evangelista, T Bao, U Stern, V Forejt, WJ Stewart   +28 more
core   +1 more source

Prioritizing Feasible and Impactful Actions to Enable Secure AI Development and Use in Biology

Biotechnology and Bioengineering, EarlyView.
ABSTRACT As artificial intelligence continues to enhance biological innovation, the potential for misuse must be addressed to fully unlock the potential societal benefits. While significant work has been done to evaluate general‐purpose AI and specialized biological design tools (BDTs) for biothreat creation risks, actionable steps to mitigate the risk
Josh Dettman, Emily Lathrop, Aurelia Attal‐Juncqua, Matthew Nicotra, Allison Berke   +4 more
wiley   +1 more source

A Sub-Optimal Policy for Connection Admission Control Mechanism in Cognitive Radio Sensor Networks

International Journal of Information and Communication Technology Research, 2017
Satisfying the quality of service (QoS) is a crucial issue in cognitive radio sensor networks (CRSNs) due to the highly variable nature of cognitive radio channels.
Elahe sadat Hosseini, Reza Berangi
doaj  

Quality Performance Criterion Model for Distributed Automated Control Systems Based on Markov Processes for Smart Grid

Applied Sciences
This paper addresses the problem of decision-making support for the modernization of distributed automated control systems (ACS) in power engineering by proposing an integral quality criterion that combines similarity-driven Markov process modeling with ...
Waldemar Wojcik, Ainur Ormanbekova, Muratkali Jamanbayev, Maria Yukhymchuk, Vladyslav Lesko   +4 more
doaj   +1 more source

Constant payoff in zero-sum stochastic games

, 2018
In a zero-sum stochastic game, at each stage, two adversary players take decisions and receive a stage payoff determined by them and by a random variable representing the state of nature.
Catoni, Olivier, Oliu-Barton, Miquel, Ziliotto, Bruno   +2 more
core   +3 more sources

Invariant Measure and Universality of the 2D Yang–Mills Langevin Dynamic

Communications on Pure and Applied Mathematics, EarlyView.
ABSTRACT We prove that the Yang–Mills (YM) measure for the trivial principal bundle over the two‐dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge‐fixing and Bourgain's method for invariant measures ...
Ilya Chevyrev, Hao Shen
wiley   +1 more source