AN APPROACH FOR PROGRAM INVESTIGATION OF COMPUTER PROCESSES PRESENTED BY MARKOV MODELS.

Συγγραφείς: Romansky, Radi¹ rrom@tu-sofia.bg

Πηγή: International Journal on Information Technologies & Security. 2022, Vol. 14 Issue 4, p45-54. 10p.

Θεματικοί όροι: Computer software, Markov processes, Graph theory, Personal computers

Formal Verification of Markov Processes with Learned Parameters

Συγγραφείς: Maaz, Muhammad, Chan, Timothy C. Y.

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Mathematics - Optimization and Control, 68Q60 (primary) 90C30, 60J20, 60J22 (secondary), F.4.1, G.1.6, I.2.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2501.15767

Rast Makamının Bilgisayar Destekli Analizi ve Algoritmik Beste Örneklemesi. (Turkish)

Alternate Title: Computer Aided Analysis of Rast Makam and Algorithmic Composition Sampling. (English)

Συγγραφείς: Kılınçarslan, Ferhat, Yükrük, Hüseyin

Πηγή: Journal of Music & Folklore Studies; ara2025, Vol. 2 Issue 2, p124-138, 15p

Θεματικοί όροι: Markov processes, Musical composition, Statistics, Algorithms, Music software, Music education, Music archives, Musical intervals & scales

Porting a computer GO program to the Windows CE platform

Συγγραφείς: Cao, Huifang, Liu, Zhiqing

Πηγή: 2011 Chinese Control and Decision Conference (CCDC) Control and Decision Conference (CCDC), 2011 Chinese. :2533-2537 May, 2011

Relation: 2011 23rd Chinese Control and Decision Conference (CCDC)

Finite-Time Complexity of Online Primal-Dual Natural Actor-Critic Algorithm for Constrained Markov Decision Processes

Συγγραφείς: Zeng, Sihan, Doan, Thinh T., Romberg, Justin

Θεματικοί όροι: Mathematics - Optimization and Control, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2110.11383

Interactive visualisation and analysis of risks with a human factor

Συγγραφείς: V. Trofymchuk

Πηγή: Ìнформаційні технології та компʼютерна інженерія, Vol 23, Iss 1, Pp 35-45 (2026)

Θεματικοί όροι: mathematical modelling, data visualisation, bayesian analysis, markov processes, social engineering, Computer engineering. Computer hardware, TK7885-7895

Περιγραφή αρχείου: electronic resource

Relation: https://itce.vn.ua/journals/t-23-1-2026/interaktivna-vizualizatsiya-ta-analiz-rizikiv-z-urakhuvannyam-lyudskogo-chinnika; https://doaj.org/toc/1999-9941; https://doaj.org/toc/2078-6387

Σύνδεσμος πρόσβασης: https://doaj.org/article/c4aefb9ff3ad41da8f60abdced817eb2

Computer Programs for Planning Electric Generating and Interconnecting Systems Using Markov Processes

Συγγραφείς: G. Carta, C. Grossi, R. Manni

Πηγή: IFAC Proceedings Volumes. 12:29-36

Θεματικοί όροι: 7. Clean energy

Zeta Functions and the (Linear) Logic of Markov Processes

Συγγραφείς: Seiller, Thomas

Πηγή: Logical Methods in Computer Science, Volume 20, Issue 3 (August 29, 2024) lmcs:10303

Θεματικοί όροι: Computer Science - Logic in Computer Science, Mathematics - Dynamical Systems, Mathematics - Logic, Mathematics - Probability

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2001.11906

MKVPCI: a computer program for Markov models with piecewise constant intensities and covariates

Συγγραφείς: Alioum, Ahmadou ^*, Commenges, Daniel

Πηγή: In Computer Methods and Programs in Biomedicine 2001 64(2):109-119

Zeta Functions and the (Linear) Logic of Markov Processes

Συγγραφείς: Thomas Seiller

Πηγή: Logical Methods in Computer Science, Vol 20, Issue 3 (2024)

Θεματικοί όροι: computer science - logic in computer science, mathematics - dynamical systems, mathematics - logic, mathematics - probability, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://lmcs.episciences.org/10303/pdf; https://doaj.org/toc/1860-5974

Σύνδεσμος πρόσβασης: https://doaj.org/article/fe749c58e7b14f36b2ed877c61a493b6

PyOECP: A flexible open-source software library for estimating and modeling the complex permittivity based on the open-ended coaxial probe (OECP) technique

Συγγραφείς: Yoon, Tae Jun ^{a, ⁎}, Maerzke, Katie A. ^b, Currier, Robert P. ^b, Findikoglu, Alp T. ^b

Πηγή: In Computer Physics Communications January 2023 282

Stochastic Control Problems

Συγγραφείς: Arnăutu, Viorel^Aff4, Neittaanmäki, Pekka^Aff5

Συνεισφορές: Gladwell, G. M. L., editor^Aff1, Arnăutu, Viorel^Aff2, Neittaanmäki, Pekka^Aff3

Πηγή: Optimal Control from Theory to Computer Programs. 111:269-313

MCDoseE 2.0 A new Markov Chain Monte Carlo program for ESR dose response curve fitting and dose evaluation.

Συγγραφείς: Joannes-Boyau, Renaud¹ renaud.joannes-boyau@scu.edu.au, Duval, Mathieu², Bodin, Thomas³

Πηγή: Quaternary Geochronology. Mar2018, Vol. 44, p13-22. 10p.

Θεματικοί όροι: Electron spin resonance dating, Computer software, Markov chain Monte Carlo, Geochronometry, Markov processes

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.

Συγγραφείς: Andriushchenko, Roman¹ IANDRI@FIT.VUT.CZ, Češka, Milan¹ CESKAM@FIT.VUT.CZ, Macák, Filip¹ IMACAK@FIT.VUT.CZ, Junges, Sebastian² SEBASTIAN.JUNGES@RU.NL, Katoen, Joost-Pieter³ KATOEN@CS.RWTH-AACHEN.DE

Πηγή: Journal of Artificial Intelligence Research. 2025, Vol. 82, p433-469. 37p.

Θεματικοί όροι: Computer network protocols, Decision making, Markov processes, Artificial intelligence, Generalization

Parameter estimation and model testing for Markov processes via conditional characteristic functions

Συγγραφείς: Chen, Songxi, Peng, Liang, Yu, Cindy

Πηγή: Bernoulli 19, no. 1 (2013), 228-251

Θεματικοί όροι: jel:C9, G0 - General, C8 - Data Collection and Data Estimation Methodology, C1 - Econometric and Statistical Methods and Methodology: General, kernel smoothing, C5 - Econometric Modeling, Markov processes: hypothesis testing, C2 - Single Equation Models, empirical likelihood, Mathematics - Statistics Theory, C6 - Mathematical Methods, Statistics Theory (math.ST), Lévy-driven processes, 01 natural sciences, Computer Programs, Multiple Variables, C4 - Econometric and Statistical Methods: Special Topics, Characteristic functions, other transforms, jel:G0, C7 - Game Theory and Bargaining Theory, jel:C0, FOS: Mathematics, jel:C1, C9 - Design of Experiments, jel:C2, jel:C3, Programming Models, jel:C4, 0101 mathematics, jel:C5, jel:C6, C3 - Multiple or Simultaneous Equation Models, jel:C7, jel:C8, conditional characteristic function, Markov processes: estimation, hidden Markov models, Mathematical and Simulation Modeling, Computational problems in statistics, diffusion processes, Conditional characteristic function, Diffusion processes, Empirical likelihood, Kernel smoothing, L´evy driven processes, 16. Peace & justice, Single Variables, C0 - General, Nonparametric estimation

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1302.0122
https://mpra.ub.uni-muenchen.de/46273/1/MPRA_paper_46273.pdf
http://projecteuclid.org/euclid.bj/1358531748

Optimizing the performance of sensor network programs through estimation-based code profiling.

Συγγραφείς: Wan, Lipeng¹ lwan1@utk.edu, Cao, Qing¹ cao@utk.edu, Zhou, Wenjun¹ wzhou4@utk.edu

Πηγή: Pervasive & Mobile Computing. Dec2017, Vol. 42, p285-298. 14p.

Θεματικοί όροι: Wireless sensor networks, Network performance, Embedded computer systems, Markov processes, Parameter estimation

Parallelization of stochastic bounds for Markov chains on multicore and manycore platforms.

Συγγραφείς: Bylina, Jarosław

Πηγή: Journal of Supercomputing; Apr2018, Vol. 74 Issue 4, p1497-1509, 13p

Θεματικοί όροι: Markov processes, Multicore processors, Intel microprocessors, Sparse matrices, Parallel programs (Computer programs)

Multi-Decadal Assessment of the Surface Area and Water Levels of the Dead Sea Using Remote Sensing Data.

Συγγραφείς: Farhan, Ibrahim, Mahafdah, Mohd S., Sathiamurthy, Edlic, Chemura, Abel, Al-Bakri, Jawad, Al Kuisi, Mustafa, Salameh, Lina A., Albahrat, Fesail

Πηγή: Water (20734441); Jul2026, Vol. 18 Issue 13, p1537, 27p

Θεματικοί όροι: Water levels, Surface area measurement, Markov processes, Climate change models, Saline waters, Remote sensing, Climate change, Global warming

Γεωγραφικοί όροι: Dead Sea (Israel & Jordan)

Modelled Public Health Impact of Introducing Adjuvanted Recombinant Zoster Vaccine into the UK National Immunisation Programme.

Συγγραφείς: Hunjan, Manjit, Curran, Desmond, Marijam, Alen, Vekria, Yasmeeta, Giannelos, Nikolaos

Πηγή: Infectious Diseases & Therapy; Jan2025, Vol. 14 Issue 1, p105-119, 15p

Θεματικοί όροι: Herpes zoster vaccines, Herpes zoster, Public health, Medical sciences, Markov processes

Strategic cancer therapy planning: optimizing treatment and quality of life with Markov decision processes.

Συγγραφείς: Singh, Seema, Sahu, Chandrahas, Singh, Pushpendra, Mishra, Alka, Mishra, Santosh Kumar, Patnaik, Pawan Kumar

Πηγή: Reports of Practical Oncology & Radiotherapy; 2025, Vol. 30 Issue 6, p735-748, 14p

Θεματικοί όροι: Cancer treatment, Markov processes, Treatment effectiveness, Patient satisfaction, Combined modality therapy, Quality of life, Therapeutics, Health outcome assessment