×

Found 1,438 Documents (Results 1–100)

Analysis of high-dimensional distributions using pathwise methods. (English) Zbl 07821690

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4246-4270 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Introduction to the Liouville quantum gravity metric. (English) Zbl 07821689

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4212-4244 (2023).
MSC:  60D05 60G60 60K35
PDFBibTeX XMLCite
Full Text: DOI arXiv

A categorical approach to statistical mechanics. (English) Zbl 07789203

Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14071, 258-267 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Bayesian parameter estimation with guarantees via interval analysis and simulation. (English) Zbl 07728617

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 106-128 (2023).
MSC:  65C20 65C05
PDFBibTeX XMLCite
Full Text: DOI

Numerical reconstruction for 3D nonlinear SAR imaging via a version of the convexification method. (English) Zbl 1527.78016

Nguyen, Dinh-Liem (ed.) et al., Recent advances in inverse problems for partial differential equations. AMS special session on recent developments on analysis and computation for inverse problems for PDEs, virtual, March 13–14, 2021 and AMS special session on recent advances in inverse problems for PDEs, virtual, October 23–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 784, 145-167 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sampling type method combined with deep learning for inverse scattering with one incident wave. (English) Zbl 07680915

Nguyen, Dinh-Liem (ed.) et al., Recent advances in inverse problems for partial differential equations. AMS special session on recent developments on analysis and computation for inverse problems for PDEs, virtual, March 13–14, 2021 and AMS special session on recent advances in inverse problems for PDEs, virtual, October 23–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 784, 63-80 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ruin probability for merged risk processes with correlated arrivals. (English) Zbl 07819607

Malyarenko, Anatoliy (ed.) et al., Stochastic processes, statistical methods, and engineering mathematics. SPAS 2019, Västerås, Sweden, September 30 – October 2, 2019. Cham: Springer. Springer Proc. Math. Stat. 408, 15-32 (2022).
MSC:  60G55 91B05
PDFBibTeX XMLCite
Full Text: DOI

Variance reduction in stochastic reaction networks using control variates. (English) Zbl 1528.68108

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 456-474 (2022).
MSC:  68Q07 60J28 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the foundations of cycles in Bayesian networks. (English) Zbl 1528.68371

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 343-363 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On probabilistic monitorability. (English) Zbl 1528.68246

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 325-342 (2022).
MSC:  68Q85 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Rate lifting for stochastic process algebra – exploiting structural properties. (English) Zbl 1522.68371

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 67-84 (2022).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new algorithm for the LQR problem with partially unknown dynamics. (English) Zbl 1487.49039

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 13th international conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13127, 322-330 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving systems of bilinear equations for transition rate reconstruction. (English) Zbl 1496.68248

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 157-172 (2021).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Determinantal structures in the \(q\)-Whittaker measure. (English) Zbl 1487.60185

Inahama, Yuzuru (ed.) et al., Stochastic analysis, random fields and integrable probability – Fukuoka 2019. Proceedings of the 12th Mathematical Society of Japan, Seasonal Institute (MSJ-SI), Kyushu University, Japan, 31 July – 9 August 2019. Tokyo: Mathematical Society of Japan. Adv. Stud. Pure Math. 87, 261-292 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Simulation of N-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers. (English) Zbl 1491.60160

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 276-292 (2021).
MSC:  60K25
PDFBibTeX XMLCite
Full Text: DOI Link

Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow. (English) Zbl 1491.68124

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 105-126 (2021).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Compositional safe approximation of response time distribution of complex workflows. (English) Zbl 1491.68119

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 83-104 (2021).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Discovering stochastic process models by reduction and abstraction. (English) Zbl 1489.68155

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 312-336 (2021).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

How adaptive and reliable is your program? (English) Zbl 1489.68139

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Binary response models comparison using the \(\alpha\)-Chernoff divergence measure and exponential integral functions. (English) Zbl 07465305

Swift, Randall J. (ed.) et al., Stochastic processes and functional analysis. New perspectives. AMS special session celebrating M. M. Rao’s many mathematical contributions as he turns 90 years old. University of California, Riverside, California, November 9–10, 2019. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 774, 37-53 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Ergodicity and steady state analysis for interference queueing networks. (English) Zbl 1489.60143

Swift, Randall J. (ed.) et al., Stochastic processes and functional analysis. New perspectives. AMS special session celebrating M. M. Rao’s many mathematical contributions as he turns 90 years old. University of California, Riverside, California, November 9–10, 2019. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 774, 9-23 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Split trees – a unifying model for many important random trees of logarithmic height: a brief survey. (English) Zbl 1484.68057

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 20-57 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Calculation of the detection properties in the binary symmetrical channel. (English) Zbl 1488.94123

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21–26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 120-128 (2021).
MSC:  94B70 94A40
PDFBibTeX XMLCite
Full Text: DOI

Numerical solution of a stochastic model of a ball-type vibration absorber. (English) Zbl 1488.74086

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21–26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 40-49 (2021).
PDFBibTeX XMLCite
Full Text: DOI

General forms of bivariate survival functions with reliability applications. (English) Zbl 1473.62334

Kumar, Amit (ed.) et al., The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 43-64 (2021).
PDFBibTeX XMLCite
Full Text: DOI

VG NGARCH versus GARJI model for asset price dynamics. (English) Zbl 1451.91207

Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 3. Hackensack, NJ: World Scientific. 2437-2459 (2021).
MSC:  91G30 62P05 62M10
PDFBibTeX XMLCite
Full Text: DOI

Dynamic pricing using Thompson sampling with fuzzy events. (English) Zbl 1518.91093

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 1237, 653-666 (2020).
MSC:  91B26 91B24 91B86
PDFBibTeX XMLCite
Full Text: DOI

Modelling earthquakes: characterizing magnitudes and inter-arrival times. (English) Zbl 07616797

Bekker, Andriëtte (ed.) et al., Computational and methodological statistics and biostatistics. Contemporary essays in advancement. Cham: Springer. Emerg. Top. Stat. Biostat., 29-50 (2020).
MSC:  62P10
PDFBibTeX XMLCite
Full Text: DOI

Towards bridging time and causal reversibility. (English) Zbl 1511.68179

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 22-38 (2020).
MSC:  68Q85 60J28 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Markovian arrival processes in multi-dimensions. (English) Zbl 1483.60002

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 175-192 (2020).
MSC:  60-08 60K25 65C20
PDFBibTeX XMLCite
Full Text: DOI

Bounding mean first passage times in population continuous-time Markov chains. (English) Zbl 1486.60093

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 155-174 (2020).
MSC:  60J20 90C22
PDFBibTeX XMLCite
Full Text: DOI arXiv

Uniform existence of the IDS on lattices and groups. (English) Zbl 1492.60080

Keller, Matthias (ed.) et al., Analysis and geometry on graphs and manifolds. Selected papers of the conference, University of Potsdam, Potsdam, Germany, July 31 – August 4, 2017. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 461, 445-478 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Partial differential equation regularization for supervised machine learning. (English) Zbl 1478.65141

Brenner, Susanne C. (ed.) et al., 75 years of mathematics of computation. Symposium celebrating 75 years of mathematics of computation, Institute for Computational and Experimental Research in Mathematics, ICERM, Providence, RI, USA, November 1–3, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 754, 177-195 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Variational objectives for Markovian dynamics with backward simulation. (English) Zbl 1466.65009

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 1371-1378 (2020).
MSC:  65C05 65C20
PDFBibTeX XMLCite
Full Text: DOI

Stochastic games with lexicographic reachability-safety objectives. (English) Zbl 1478.68151

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 398-420 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Checking qualitative liveness properties of replicated systems with stochastic scheduling. (English) Zbl 1478.68147

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 372-397 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 327-340 (2020).
MSC:  03B40 03B48 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Uncertainty quantification applied to hemodynamic simulations of thoracic aorta aneurysms: sensitivity to inlet conditions. (English) Zbl 1455.62209

D’Elia, Marta (ed.) et al., Quantification of uncertainty: improving efficiency and technology. QUIET. Selected contributions based on the presentations at the international workshop, Trieste, Italy, July 18–21, 2017. Cham: Springer. Lect. Notes Comput. Sci. Eng. 137, 171-192 (2020).
MSC:  62P10 62-08 65C20
PDFBibTeX XMLCite
Full Text: DOI

Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects. (English) Zbl 1515.68096

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019).
MSC:  68N19 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Event structures for mixed choice. (English) Zbl 07649919

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Sparse polynomial surrogates for uncertainty quantification in computational fluid dynamics. (English) Zbl 1469.76080

Ahusborde, É. (ed.) et al., Fifteenth international conference Zaragoza-Pau on mathematics and its applications. Proceedings of the conference, Jaca, Spain, September 10–12, 2018. Zaragoza: Prensas de la Universidad de Zaragoza. Monogr. Mat. García Galdeano 42, 275-284 (2019).
MSC:  76M35 65C20
PDFBibTeX XMLCite

Deciding fast termination for probabilistic VASS with nondeterminism. (English) Zbl 1437.68127

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bayesian estimation for the Markov-modulated diffusion risk model. (English) Zbl 1436.62486

Antoniano-Villalobos, Isadora (ed.) et al., Selected contributions on statistics and data science in Latin America. 33rd “Foro nacional de estadística” (FNE) and 13th “Congreso Latinoamericano de Sociedades de Estadística” (CLATSE), Guadalajara, Mexico, October 1–5, 2018. Cham: Springer. Springer Proc. Math. Stat. 301, 15-31 (2019).
PDFBibTeX XMLCite
Full Text: DOI

FKG (and other inequalities) from (generalized and approximate) FK random cluster representation (and iterated folding). (English) Zbl 1446.82009

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 186-207 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Superlinearity of geodesic length in 2D critical first-passage percolation. (English) Zbl 1446.82034

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 101-122 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probability theory in statistical physics, percolation, and other random topics: the work of C. Newman. (English) Zbl 1446.82084

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. I. Spin glasses and statistical mechanics, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 298, 1-38 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A max-type recursive model: some properties and open questions. (English) Zbl 1446.82024

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. III. Interacting particle systems and random walks, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 300, 166-186 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A copula-based hidden Markov model for toroidal time series. (English) Zbl 1434.62190

Petrucci, Alessandra (ed.) et al., New statistical developments in data science – SIS 2017. Extended versions of papers based on the conference on statistics and data science: new challenges, new generations, Florence, Italy, June 28–30, 2017. Cham: Springer. Springer Proc. Math. Stat. 288, 435-446 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Tracy-Widom asymptotics for a river delta model. (English) Zbl 1442.82034

Giacomin, Giambattista (ed.) et al., Stochastic dynamics out of equilibrium. Lecture notes from the IHP trimester, Institut Henri Poincaré (IHP), Paris, France, April – July, 2017. Cham: Springer. Springer Proc. Math. Stat. 282, 483-522 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A linear programming approach to Markov reward error bounds for queueing networks. (English) Zbl 1437.90044

Phung-Duc, Tuan (ed.) et al., Queueing theory and network applications. 14th international conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11688, 201-220 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mean-field approximation, convex hierarchies, and the optimality of correlation rounding: a unified perspective. (English) Zbl 1434.68338

Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 1226-1236 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

GOE and \(\text{Airy}_{2\rightarrow 1}\) marginal distribution via symplectic Schur functions. (English) Zbl 1429.60015

Friz, Peter (ed.) et al., Probability and analysis in interacting physical systems. In honor of S. R. S. Varadhan. Based on a workshop on the occasion of Varadhan’s 75th birthday, TU Berlin, Germany, August 15–19, 2016. Cham: Springer. Springer Proc. Math. Stat. 283, 191-213 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Syntactic partial order compression for probabilistic reachability. (English) Zbl 1522.68316

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 446-467 (2019).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68262

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 41-58 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Quantum cognition goes beyond-quantum: modeling the collective participant in psychological measurements. (English) Zbl 1414.81014

Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23–24, 2015. Hackensack, NJ: World Scientific. 355-382 (2019).
MSC:  81P05 81P16
PDFBibTeX XMLCite
Full Text: DOI arXiv

A hemimetric extension of simulation for semi-Markov decision processes. (English) Zbl 1514.68192

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 339-355 (2018).
MSC:  68Q87 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Deciding probabilistic bisimilarity distance one for labelled Markov chains. (English) Zbl 1511.68187

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 681-699 (2018).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Approximations of coherent lower probabilities by 2-monotone capacities. (English) Zbl 1512.60002

Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 854, 214-225 (2018).
MSC:  60A05
PDFBibTeX XMLCite
Full Text: DOI

On the probabilistic degree of OR over the reals. (English) Zbl 1524.68131

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 5, 12 p. (2018).
MSC:  68Q06 06E30 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Continuous probability distributions in concurrent games. (English) Zbl 1527.68141

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 321-344 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Complete axiomatization for the total variation distance of Markov chains. (English) Zbl 1525.68080

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 27-39 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Persistent stochastic non-interference. (English) Zbl 1525.68084

Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 53-68 (2018).
MSC:  68Q85 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

Trace and testing metrics on nondeterministic probabilistic processes. (English) Zbl 1525.68081

Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 19-36 (2018).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

A functional approach to estimation of the parameters of generalized negative binomial and gamma distributions. (English) Zbl 1479.60027

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 353-364 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Torpid mixing of Markov chains for the six-vertex model on \(\mathbb{Z}^2\). (English) Zbl 1525.82011

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 52, 15 p. (2018).
MSC:  82B20 60K35 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sampling in uniqueness from the Potts and random-cluster models on random regular graphs. (English) Zbl 1525.82005

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 33, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Swendsen-Wang dynamics for general graphs in the tree uniqueness region. (English) Zbl 1525.82004

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 32, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Updating probabilistic knowledge on condition/event nets using Bayesian networks. (English) Zbl 1520.68090

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On computing the total variation distance of hidden Markov models. (English) Zbl 1499.68146

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 130, 13 p. (2018).
MSC:  68Q25 60B10 60J10
PDFBibTeX XMLCite
Full Text: DOI arXiv

The concurrent game semantics of probabilistic PCF. (English) Zbl 1497.68331

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 215-224 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Concurrency and probability: removing confusion, compositionally. (English) Zbl 1497.68329

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 195-204 (2018).
MSC:  68Q85 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Optimal estimation of the states of synchronous generalized flow of events of the second order under its complete observability. (English) Zbl 1450.90001

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 17th international conference, ITMM 2018, named after A.F. Terpugov, and 12th workshop on retrial queues and related topics, WRQ 2018, Tomsk, Russia, September 10–15, 2018. Selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 912, 157-171 (2018).
MSC:  90B22 90B15 60J20
PDFBibTeX XMLCite
Full Text: DOI

Scalable load balancing in networked systems: universality properties and stochastic coupling methods. (English) Zbl 1490.90100

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3893-3923 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lossless dimension expanders via linearized polynomials and subspace designs. (English) Zbl 1441.68037

Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 4, 16 p. (2018).
MSC:  68P30 68Q87 94B05
PDFBibTeX XMLCite
Full Text: DOI

A new approach for constructing low-error, two-source extractors. (English) Zbl 1441.68034

Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 3, 19 p. (2018).
MSC:  68P30 68Q87 68R05
PDFBibTeX XMLCite
Full Text: DOI

A PRG for Boolean PTF of degree 2 with seed length subpolynomial in \(\epsilon\) and logarithmic in \(n\). (English) Zbl 1441.68151

Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 2, 24 p. (2018).
MSC:  68Q87 68Q06
PDFBibTeX XMLCite
Full Text: DOI

\(P^5\): planner-less proofs of probabilistic parameterized protocols. (English) Zbl 1446.68107

Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 336-357 (2018).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Rapid mixing of \(k\)-class biased permutations. (English) Zbl 1505.60069

Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 820-834 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Majority model on random regular graphs. (English) Zbl 1485.60012

Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 572-583 (2018).
MSC:  60C05 05C80 60K35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Eternal family trees and dynamics on unimodular random graphs. (English) Zbl 1423.60020

Sobieczky, Florian (ed.), Unimodularity in randomly generated graphs. AMS special session on unimodularity in randomly generated graphs, Denver, CO, USA, October 8–9, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 719, 85-127 (2018).
MSC:  60C05 60K35 05C80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Percolation and coarse conformal uniformization. (English) Zbl 1423.60151

Sobieczky, Florian (ed.), Unimodularity in randomly generated graphs. AMS special session on unimodularity in randomly generated graphs, Denver, CO, USA, October 8–9, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 719, 39-42 (2018).
MSC:  60K35 05C80 60D05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software