Found 297 Documents (Results 1–100)

MSC:  53C25
Full Text:

An efficient implementation for spatial-temporal Gaussian process regression and its applications. (English)Zbl 07630417

MSC:  93E11 62P30 68Q17
Full Text:

Robustly complete finite-state abstractions for verification of stochastic systems. (English)Zbl 07643429

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 80-97 (2022).
MSC:  68Qxx
Full Text:

Generalized maximum principles and stochastic completeness for pseudo-Hermitian manifolds. (English)Zbl 07629813

MSC:  32V20 53C25
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Strategic coalitions in stochastic games. (English)Zbl 07423155

MSC:  03-XX 68-XX
Full Text:

Full Text:

Full Text:

A stochastic Gronwall inequality and applications to moments, strong completeness, strong local Lipschitz continuity, and perturbations. (English. French summary)Zbl 1491.60082

MSC:  60H10 60E15
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

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).
Full Text:

Parameter estimation for continuous time hidden Markov processes. (English. Russian original)Zbl 1455.93192

Autom. Remote Control 81, No. 3, 445-468 (2020); translation from Avtom. Telemekh. 2020, No. 3, 86-113 (2020).
MSC:  93E10 93E11 68Q17
Full Text:

Full Text:

Filtration shrinkage, the structure of deflators, and failure of market completeness. (English)Zbl 1456.60099

MSC:  60G44 60H10 91G20
Full Text:

Radial processes for sub-Riemannian Brownian motions and applications. (English)Zbl 1451.53046

MSC:  53C17 35H20 58J65
Full Text:

Full Text:

Full Text:

Full Text:

Nonlinear characterizations of stochastic completeness. (English. French summary)Zbl 1441.35248

MSC:  35R01 58J35 35K67
Full Text:

Mean curvature of hypersurfaces in Killing submersions with bounded shadow. (English)Zbl 07205983

MSC:  35P15 53A10 58C40
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

On the geometry of $$\varphi$$-curvatures. (English)Zbl 07153760

MSC:  53C24 53C25
Full Text:

An example of martingale representation in progressive enlargement by an accessible random time. (English)Zbl 1498.60166

Cohen, Samuel N. (ed.) et al., Frontiers in stochastic analysis – BSDEs, SPDEs and their applications. International workshop on BSDEs, SPDEs and their applications, Edinburgh, UK, July 3–7, 2017. Selected, revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 289, 109-121 (2019).
Full Text:

Full Text:

Bridging between 0/1 and linear programming via random walks. (English)Zbl 1433.68156

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). 568-577 (2019).
Full Text:

Spatial localization for nonlinear dynamical stochastic models for excitable media. (English)Zbl 1480.65026

MSC:  65C40 68Q17 60G20
Full Text:

Full Text:

Exploiting structure of chance constrained programs via submodularity. (English)Zbl 1429.93356

MSC:  93E03 68Q17 90C15
Full Text:

Maximum principles at infinity and the Ahlfors-Khas’minskii duality: an overview. (English)Zbl 1477.35049

Dipierro, Serena (ed.), Contemporary research in elliptic PDEs and related topics. Based on lectures given during the INdAM intensive period, University of Bari, Bari, Italy, April 10 – June 9, 2017. Cham: Springer. Springer INdAM Ser. 33, 419-455 (2019).
Full Text:

Full Text:

Density of the set of probability measures with the martingale representation property. (English)Zbl 1451.60044

MSC:  60G44 60H05 91G20
Full Text:

Full Text:

On the completeness of stochastic flows generated by equations with current velocities. (English. Russian original)Zbl 1478.60177

Theory Probab. Appl. 64, No. 1, 1-11 (2019); translation from Teor. Veroyatn. Primen. 64, No. 1, 3-16 (2019).
MSC:  60H10 60J35 34F05
Full Text:

A quantum walk-assisted approximate algorithm for bounded NP optimisation problems. (English)Zbl 1417.81095

MSC:  81P68 68Q12 68Q17 68Q05 81S25 60G50 65K10
Full Text:

Reachability switching games. (English)Zbl 1499.68201

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 124, 14 p. (2018).
Full Text:

Computing shortest paths in the plane with removable obstacles. (English)Zbl 1477.68454

Eppstein, David (ed.), 16th Scandinavian symposium and workshops on algorithm theory. SWAT 2018, June 18–20, 2018, Malmö University, Malmö, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 101, Article 5, 15 p. (2018).
Full Text:

Maximum box problem on stochastic points. (English)Zbl 1485.68265

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, 231-244 (2018).
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Minkowski games. (English)Zbl 1407.91066

MSC:  91A44 68Q17 68Q25
Full Text:

Full Text:

Tropically convex constraint satisfaction. (English)Zbl 1390.68333

MSC:  68Q25 68Q17
Full Text:

Full Text:

Full Text:

Full Text:

Statistical query algorithms for mean vector estimation and stochastic convex optimization. (English)Zbl 1422.90031

Klein, Philip N. (ed.), Proceedings of the 28th annual ACM-SIAM symposium on discrete algorithms, SODA 2017, Barcelona, Spain, January 16–19, 2017. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1265-1277 (2017).
MSC:  90C15 90C25 68Q17
Full Text:

Full Text:

MSC:  53C21
Full Text:

Constant-rate interactive coding is impossible, even in constant-degree networks. (English)Zbl 1402.68062

Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 21, 13 p. (2017).
Full Text:

Generalized probabilistic satisfiability. (English)Zbl 1401.68113

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 39-56 (2017).
Full Text:

Stepanov-like doubly weighted pseudo almost automorphic processes and its application to Sobolev-type stochastic differential equations driven by $$G$$-Brownian motion. (English)Zbl 1387.34066

MSC:  34C27 60H10
Full Text:

Full Text:

Full Text:

Blow-up of a stable stochastic differential equation. (English)Zbl 1405.60077

MSC:  60H10 34C10 34F05
Full Text:

Full Text:

Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures. (English)Zbl 1370.93173

MSC:  93C65 93E03 93E10
Full Text:

Perturbative expansion of irreversible work in Fokker-Planck equation à la quantum mechanics. (English)Zbl 1375.82088

MSC:  82C31 35P10
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Stochastic completeness for graphs with curvature dimension conditions. (English)Zbl 1364.35402

MSC:  35R02 35K05 05C63
Full Text:

Strong completeness and semi-flows for stochastic differential equations with monotone drift. (English)Zbl 1373.60103

MSC:  60H10 34F05 37H10
Full Text:

Incomplete information and communication in voting. (English)Zbl 1453.91049

Brandt, Felix (ed.) et al., Handbook of computational social choice. Cambridge: Cambridge University Press. 223-257 (2016).

An approximation method for computing the expected value of max-affine expressions. (English)Zbl 1403.93175

MSC:  93E03 93C05 93E20 93B40 68Q17
Full Text:

Perfect-information stochastic games with generalized mean-payoff objectives. (English)Zbl 1401.68238

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 247-256 (2016).
Full Text:

On the separability of stochastic geometric objects, with applications. (English)Zbl 1387.68280

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 62, 16 p. (2016).
Full Text:

Constant-rate coding for multiparty interactive communication is impossible. (English)Zbl 1373.68038

Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 999-1010 (2016).
Full Text:

Diameter constrained reliability of ladders and Spanish fans. (English)Zbl 1464.05349

MSC:  05D40 68Q17 90B15
Full Text:

Full Text:

Diffusions with polynomial eigenvectors via finite subgroups of $$O(3)$$. (English. French summary)Zbl 1369.35038

MSC:  35P10 60D05 58J65
Full Text:

From market data to agent-based models and stochastic differential equations. (English)Zbl 1406.91502

Gonçalves, Patrícia (ed.) et al., From particle systems to partial differential equations III. Particle systems and PDEs III, Braga, Portugal, December 2014. Cham: Springer (ISBN 978-3-319-32142-4/hbk; 978-3-319-32144-8/ebook). Springer Proceedings in Mathematics & Statistics 162, 225-242 (2016).
Full Text:

Full Text:

Full Text:

Full Text:

On a class of optimization problems with no “efficiently computable” solution. (English. Russian original)Zbl 1388.68085

J. Math. Sci., New York 215, No. 6, 706-714 (2016); translation from Zap. Nauchn. Semin. POMI 436, 122-135 (2015).
MSC:  68Q17 90B15 91A05
Full Text:

Full Text:

Full Text:

Characterizations based on the numbers of near-order statistics. (English)Zbl 1368.62119

MSC:  62G30 60G70 62E10
Full Text:

Conformal type of ends of revolution in space forms of constant sectional curvature. (English)Zbl 1338.53081

MSC:  53C40 53C42 53C30
Full Text:

Full Text:

Full Text:

Full Text:

MSC:  91B70
Full Text:

Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3