Parker, Felix; Ganjkhanloo, Fardin; Martínez, Diego A.; Ghobadi, Kimia Optimal Hospital Capacity Management During Demand Surges. arXiv:2403.15738 Preprint, arXiv:2403.15738 [cs.CY] (2024). BibTeX Cite \textit{F. Parker} et al., ``Optimal Hospital Capacity Management During Demand Surges'', Preprint, arXiv:2403.15738 [cs.CY] (2024) Full Text: arXiv OA License
Schiff, Yair; Wan, Zhong Yi; Parker, Jeffrey B.; Hoyer, Stephan; Kuleshov, Volodymyr; Sha, Fei; Zepeda-Núñez, Leonardo DySLIM: Dynamics Stable Learning by Invariant Measure for Chaotic Systems. arXiv:2402.04467 Preprint, arXiv:2402.04467 [cs.LG] (2024). BibTeX Cite \textit{Y. Schiff} et al., ``DySLIM: Dynamics Stable Learning by Invariant Measure for Chaotic Systems'', Preprint, arXiv:2402.04467 [cs.LG] (2024) Full Text: arXiv OA License
Wang, Yue; Shojaie, Ali; Randolph, Timothy; Knight, Parker; Ma, Jing Generalized matrix decomposition regression: estimation and inference for two-way structured data. (English) Zbl 07789414 Ann. Appl. Stat. 17, No. 4, 2944-2969 (2023). MSC: 62Pxx PDFBibTeX XMLCite \textit{Y. Wang} et al., Ann. Appl. Stat. 17, No. 4, 2944--2969 (2023; Zbl 07789414) Full Text: DOI arXiv
Golightly, Andrew; Wadkin, Laura E.; Whitaker, Sam A.; Baggaley, Andrew W.; Parker, Nick G.; Kypraios, Theodore Accelerating Bayesian inference for stochastic epidemic models using incidence data. (English) Zbl 1523.62013 Stat. Comput. 33, No. 6, Paper No. 134, 18 p. (2023). MSC: 62-08 62F15 62P10 92D30 PDFBibTeX XMLCite \textit{A. Golightly} et al., Stat. Comput. 33, No. 6, Paper No. 134, 18 p. (2023; Zbl 1523.62013) Full Text: DOI arXiv OA License
Koutra, Vasiliki; Gilmour, Steven G.; Parker, Ben M.; Mead, Andrew Design of agricultural field experiments accounting for both complex blocking structures and network effects. (English) Zbl 07749326 J. Agric. Biol. Environ. Stat. 28, No. 3, 526-548 (2023). MSC: 62P12 PDFBibTeX XMLCite \textit{V. Koutra} et al., J. Agric. Biol. Environ. Stat. 28, No. 3, 526--548 (2023; Zbl 07749326) Full Text: DOI
Tsolias, G. A.; Decker, Robert J.; Demirkaya, A.; Alexander, T. J.; Parker, Ross; Kevrekidis, P. G. Kink-antikink interaction forces and bound states in a nonlinear Schrödinger model with quadratic and quartic dispersion. (English) Zbl 1522.35477 Commun. Nonlinear Sci. Numer. Simul. 125, Article ID 107362, 20 p. (2023). MSC: 35Q55 35Q41 35C08 35B32 78A60 PDFBibTeX XMLCite \textit{G. A. Tsolias} et al., Commun. Nonlinear Sci. Numer. Simul. 125, Article ID 107362, 20 p. (2023; Zbl 1522.35477) Full Text: DOI arXiv
Charalampidis, Efstathios G.; Parker, Ross; Kevrekidis, Panayotis G.; Lafortune, Stéphane The stability of the \(b\)-family of peakon equations. (English) Zbl 1506.35013 Nonlinearity 36, No. 2, 1192-1217 (2023). MSC: 35B40 35C07 35B35 65N25 76B25 35Q35 PDFBibTeX XMLCite \textit{E. G. Charalampidis} et al., Nonlinearity 36, No. 2, 1192--1217 (2023; Zbl 1506.35013) Full Text: DOI arXiv
Kalane, Sagar B.; Parker, John R. Free groups generated by two parabolic maps. (English) Zbl 07629770 Math. Z. 303, No. 1, Paper No. 9, 23 p. (2023). Reviewer: Xenia Flamm (Bures-sur-Yvette) MSC: 22E40 51M10 32M15 20H10 PDFBibTeX XMLCite \textit{S. B. Kalane} and \textit{J. R. Parker}, Math. Z. 303, No. 1, Paper No. 9, 23 p. (2023; Zbl 07629770) Full Text: DOI arXiv
Biswas, Rudradip; Chen, Hongxing; Rahul, Kabeer Manali; Parker, Chris J.; Zheng, Junhua Bounded \(t\)-structures, finitistic dimensions, and singularity categories of triangulated categories. arXiv:2401.00130 Preprint, arXiv:2401.00130 [math.RA] (2023). MSC: 16E35 18G20 16G10 18G35 16E10 13E05 BibTeX Cite \textit{R. Biswas} et al., ``Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories'', Preprint, arXiv:2401.00130 [math.RA] (2023) Full Text: arXiv OA License
Kuklinski, Parker An uncountable union of line segments with null two-dimensional measure. arXiv:2311.16210 Preprint, arXiv:2311.16210 [math.CA] (2023). BibTeX Cite \textit{P. Kuklinski}, ``An uncountable union of line segments with null two-dimensional measure'', Preprint, arXiv:2311.16210 [math.CA] (2023) Full Text: arXiv OA License
Kuklinski, Parker; Vogel, Nick Blind Number Sequencing. arXiv:2311.16084 Preprint, arXiv:2311.16084 [math.PR] (2023). BibTeX Cite \textit{P. Kuklinski} and \textit{N. Vogel}, ``Blind Number Sequencing'', Preprint, arXiv:2311.16084 [math.PR] (2023) Full Text: arXiv OA License
Weisman, Michael J.; Kott, Alexander; Ellis, Jason E.; Murphy, Brian J.; Parker, Travis W.; Smith, Sidney; Vandekerckhove, Joachim Quantitative Measurement of Cyber Resilience: Modeling and Experimentation. arXiv:2303.16307 Preprint, arXiv:2303.16307 [cs.CR] (2023). BibTeX Cite \textit{M. J. Weisman} et al., ``Quantitative Measurement of Cyber Resilience: Modeling and Experimentation'', Preprint, arXiv:2303.16307 [cs.CR] (2023) Full Text: arXiv OA License
Parker, Ross; Cuevas-Maraver, Jesús; Kevrekidis, P. G.; Aceves, Alejandro Standing and Traveling Waves in a Model of Periodically Modulated One-dimensional Waveguide Arrays. arXiv:2301.07631 Preprint, arXiv:2301.07631 [nlin.PS] (2023). MSC: 37K40 34A34 34A33 34C25 BibTeX Cite \textit{R. Parker} et al., ``Standing and Traveling Waves in a Model of Periodically Modulated One-dimensional Waveguide Arrays'', Preprint, arXiv:2301.07631 [nlin.PS] (2023) Full Text: DOI arXiv OA License
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Symbolic verification and strategy synthesis for turn-based stochastic games. (English) Zbl 1528.68229 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, 388-406 (2022). MSC: 68Q60 91A15 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Lect. Notes Comput. Sci. 13660, 388--406 (2022; Zbl 1528.68229) Full Text: DOI arXiv
Parker, Ross; Barreiro, Andrea K. Bifurcations of a neural network model with symmetry. (English) Zbl 1509.37055 SIAM J. Appl. Dyn. Syst. 21, No. 4, 2535-2578 (2022). MSC: 37G40 37G10 37G15 92B20 PDFBibTeX XMLCite \textit{R. Parker} and \textit{A. K. Barreiro}, SIAM J. Appl. Dyn. Syst. 21, No. 4, 2535--2578 (2022; Zbl 1509.37055) Full Text: DOI arXiv
Parker, Ross; Cuevas-Maraver, Jesús; Kevrekidis, P. G.; Aceves, Alejandro Revisiting multi-breathers in the discrete Klein-Gordon equation: a spatial dynamics approach. (English) Zbl 1506.37094 Nonlinearity 35, No. 11, 5714-5748 (2022). MSC: 37K45 37K40 37K60 PDFBibTeX XMLCite \textit{R. Parker} et al., Nonlinearity 35, No. 11, 5714--5748 (2022; Zbl 1506.37094) Full Text: DOI arXiv
Kapuściński, Roman; Parker, Rodney P. Conveying demand information in serial supply chains with capacity limits. (English) Zbl 1494.90006 Oper. Res. 70, No. 3, 1485-1505 (2022). MSC: 90B05 PDFBibTeX XMLCite \textit{R. Kapuściński} and \textit{R. P. Parker}, Oper. Res. 70, No. 3, 1485--1505 (2022; Zbl 1494.90006) Full Text: DOI
Parker, Ross; Kevrekidis, P. G.; Aceves, Alejandro Stationary multi-kinks in the discrete sine-Gordon equation. (English) Zbl 1487.37088 Nonlinearity 35, No. 2, 1036-1060 (2022). MSC: 37K60 37K40 39A14 39A36 PDFBibTeX XMLCite \textit{R. Parker} et al., Nonlinearity 35, No. 2, 1036--1060 (2022; Zbl 1487.37088) Full Text: DOI arXiv
Parker, John E.; Short, Kevin M. Cupolets in a Chaotic Neuron Model. arXiv:2204.13066 Preprint, arXiv:2204.13066 [nlin.AO] (2022). BibTeX Cite \textit{J. E. Parker} and \textit{K. M. Short}, ``Cupolets in a Chaotic Neuron Model'', Preprint, arXiv:2204.13066 [nlin.AO] (2022) Full Text: DOI arXiv OA License
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Automatic verification of concurrent stochastic systems. (English) Zbl 1505.68025 Form. Methods Syst. Des. 58, No. 1-2, 188-250 (2021). MSC: 68Q60 68Q85 68Q87 91A15 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Form. Methods Syst. Des. 58, No. 1--2, 188--250 (2021; Zbl 1505.68025) Full Text: DOI arXiv
Jackson, Benjamin D.; Connolly, James M.; Gerlach, Robin; Klapper, Isaac; Parker, Albert E. Bayesian estimation and uncertainty quantification in models of urea hydrolysis by E. coli biofilms. (English) Zbl 07480104 Inverse Probl. Sci. Eng. 29, No. 11, 1629-1652 (2021). MSC: 62-XX 92-XX PDFBibTeX XMLCite \textit{B. D. Jackson} et al., Inverse Probl. Sci. Eng. 29, No. 11, 1629--1652 (2021; Zbl 07480104) Full Text: DOI
Holzer, Parker H.; Cisewski-Kehe, Jessi; Fischer, Debra; Zhao, Lily A Hermite-Gaussian based exoplanet radial velocity estimation method. (English) Zbl 1477.62386 Ann. Appl. Stat. 15, No. 2, 527-555 (2021). MSC: 62P35 62J05 85A05 PDFBibTeX XMLCite \textit{P. H. Holzer} et al., Ann. Appl. Stat. 15, No. 2, 527--555 (2021; Zbl 1477.62386) Full Text: DOI arXiv
Parker, J. P.; Howland, C. J.; Caulfield, C. P.; Kerswell, R. R. Optimal perturbation growth on a breaking internal gravity wave. (English) Zbl 1473.76026 J. Fluid Mech. 925, Paper No. A16, 16 p. (2021). MSC: 76E05 76E15 76B55 76B70 86A05 PDFBibTeX XMLCite \textit{J. P. Parker} et al., J. Fluid Mech. 925, Paper No. A16, 16 p. (2021; Zbl 1473.76026) Full Text: DOI
Parker, J. P.; Caulfield, C. P.; Kerswell, R. R. The effects of Prandtl number on the nonlinear dynamics of Kelvin-Helmholtz instability in two dimensions. (English) Zbl 1461.76175 J. Fluid Mech. 915, Paper No. A37, 17 p. (2021). MSC: 76E30 76E05 PDFBibTeX XMLCite \textit{J. P. Parker} et al., J. Fluid Mech. 915, Paper No. A37, 17 p. (2021; Zbl 1461.76175) Full Text: DOI
Akiyoshi, Hirotaka; Ohshika, Ken’ichi; Parker, John; Sakuma, Makoto; Yoshida, Han Classification of non-free Kleinian groups generated by two parabolic transformations. (English) Zbl 1458.57025 Trans. Am. Math. Soc. 374, No. 3, 1765-1814 (2021). Reviewer: Bruno Zimmermann (Trieste) MSC: 57M50 57K10 30F40 PDFBibTeX XMLCite \textit{H. Akiyoshi} et al., Trans. Am. Math. Soc. 374, No. 3, 1765--1814 (2021; Zbl 1458.57025) Full Text: DOI arXiv Link
Kuklinski, Parker; Warnock, Michael; Hague, David A. A Generalized Lerche-Newberger Formula. arXiv:2201.00630 Preprint, arXiv:2201.00630 [math.CA] (2021). BibTeX Cite \textit{P. Kuklinski} et al., ``A Generalized Lerche-Newberger Formula'', Preprint, arXiv:2201.00630 [math.CA] (2021) Full Text: arXiv OA License
Parker, Ross; Cuevas-Maraver, Jesús; Kevrekidis, P. G.; Aceves, Alejandro Floquet solitons in square lattices: Existence, Stability and Dynamics. arXiv:2112.04972 Preprint, arXiv:2112.04972 [nlin.PS] (2021). MSC: 37K40 34A34 34A33 34C25 BibTeX Cite \textit{R. Parker} et al., ``Floquet solitons in square lattices: Existence, Stability and Dynamics'', Preprint, arXiv:2112.04972 [nlin.PS] (2021) Full Text: DOI arXiv OA License
Patil, Yogesh S. S.; Höller, Judith; Henry, Parker A.; Guria, Chitres; Zhang, Yiming; Jiang, Luyao; Kralj, Nenad; Read, Nicholas; Harris, Jack G. E. Measuring the knot of non-Hermitian degeneracies and non-commuting braids. arXiv:2112.00157 Preprint, arXiv:2112.00157 [physics.optics] (2021). BibTeX Cite \textit{Y. S. S. Patil} et al., ``Measuring the knot of non-Hermitian degeneracies and non-commuting braids'', Preprint, arXiv:2112.00157 [physics.optics] (2021) Full Text: DOI arXiv OA License
Parker, Ross; Kevrekidis, P. G.; Sandstede, Björn Existence and spectral stability of multi-pulses in discrete Hamiltonian lattice systems. (English) Zbl 1493.37089 Physica D 408, Article ID 132414, 21 p. (2020). MSC: 37K60 37K40 39A36 PDFBibTeX XMLCite \textit{R. Parker} et al., Physica D 408, Article ID 132414, 21 p. (2020; Zbl 1493.37089) Full Text: DOI arXiv
Kuklinski, Parker; Kon, Mark Bifurcation curves of two-dimensional quantum walks. (English) Zbl 1487.81045 Di Molfetta, Giuseppe (ed.) et al., Proceedings of the 9th international conference on quantum simulation and quantum walks, QSQW 2020, Marseille, France, January 20–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 315, 59-73 (2020). MSC: 81P68 47J15 68P10 82B20 PDFBibTeX XMLCite \textit{P. Kuklinski} and \textit{M. Kon}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 315, 59--73 (2020; Zbl 1487.81045) Full Text: arXiv Link
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Multi-player equilibria verification for concurrent stochastic games. (English) Zbl 1483.68197 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, 74-95 (2020). MSC: 68Q60 03B44 68Q85 91A15 91A80 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Lect. Notes Comput. Sci. 12289, 74--95 (2020; Zbl 1483.68197) Full Text: DOI arXiv Link
Kapitula, Todd; Parker, Ross; Sandstede, Björn A reformulated Krein matrix for star-even polynomial operators with applications. (English) Zbl 1450.35207 SIAM J. Math. Anal. 52, No. 5, 4705-4750 (2020). MSC: 35P30 47A55 47A56 70H14 PDFBibTeX XMLCite \textit{T. Kapitula} et al., SIAM J. Math. Anal. 52, No. 5, 4705--4750 (2020; Zbl 1450.35207) Full Text: DOI arXiv
Zhang, T.; Parker, A.; Carlson, R. P.; Stewart, P. S.; Klapper, I. Multiscale flux-based modeling of biofilm communities. (English) Zbl 1448.92144 Multiscale Model. Simul. 18, No. 2, 1025-1052 (2020). MSC: 92C70 92C42 35Q92 92C45 PDFBibTeX XMLCite \textit{T. Zhang} et al., Multiscale Model. Simul. 18, No. 2, 1025--1052 (2020; Zbl 1448.92144) Full Text: DOI
Parker, Jeremy P.; Caulfield, C. P.; Kerswell, R. R. The viscous Holmboe instability for smooth shear and density profiles. (English) Zbl 1460.76283 J. Fluid Mech. 896, Paper No. A14, 18 p. (2020). MSC: 76D50 76E05 PDFBibTeX XMLCite \textit{J. P. Parker} et al., J. Fluid Mech. 896, Paper No. A14, 18 p. (2020; Zbl 1460.76283) Full Text: DOI arXiv
Knieper, Gerhard; Parker, John R.; Peyerimhoff, Norbert Minimal codimension one foliation of a symmetric space by Damek-Ricci spaces. (English) Zbl 1435.53041 Differ. Geom. Appl. 69, Article ID 101605, 13 p. (2020). MSC: 53C30 53C12 53C42 PDFBibTeX XMLCite \textit{G. Knieper} et al., Differ. Geom. Appl. 69, Article ID 101605, 13 p. (2020; Zbl 1435.53041) Full Text: DOI arXiv Link
Parker, Felix; Sawczuk, Hamilton; Ganjkhanloo, Fardin; Ahmadi, Farzin; Ghobadi, Kimia Optimal Resource and Demand Redistribution for Healthcare Systems Under Stress from COVID-19. arXiv:2011.03528 Preprint, arXiv:2011.03528 [math.OC] (2020). BibTeX Cite \textit{F. Parker} et al., ``Optimal Resource and Demand Redistribution for Healthcare Systems Under Stress from COVID-19'', Preprint, arXiv:2011.03528 [math.OC] (2020) Full Text: arXiv OA License
Yu, Chenghui; Zhong, Weicheng; Estey, Brian; Kwan, Joyce; Parker, Richard H.; Müller, Holger Atom-interferometry measurement of the fine structure constant. (English) Zbl 07759747 Ann. Phys., Berlin 531, No. 5, Article ID 1800346, 12 p. (2019). MSC: 81-XX PDFBibTeX XMLCite \textit{C. Yu} et al., Ann. Phys., Berlin 531, No. 5, Article ID 1800346, 12 p. (2019; Zbl 07759747) Full Text: DOI
Maćešić, Stevan; Čupić, Željko; Novaković, Katarina; Parker, Julie; Anić, Slobodan; Kolar-Anić, Ljiljana Oscillatory carbonylation of poly(ethylene glycol)methyl ether acetylene. Modelling of reaction mechanism and stoichiometric network stability analysis. (English) Zbl 1471.92483 MATCH Commun. Math. Comput. Chem. 81, No. 1, 5-34 (2019). MSC: 92E20 PDFBibTeX XMLCite \textit{S. Maćešić} et al., MATCH Commun. Math. Comput. Chem. 81, No. 1, 5--34 (2019; Zbl 1471.92483) Full Text: Link
Parker, Austin J.; Yancey, Kelly B.; Yancey, Matthew P. Definitions and properties of entropy and distance for regular languages. (English) Zbl 1478.37019 Hawkins, Jane (ed.) et al., Dynamical systems and random processes, 16th Carolina dynamics symposium, Agnes Scott College, Decatur, Georgia, April 13–15, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 736, 139-169 (2019). MSC: 37B10 37B15 68Q45 37B40 PDFBibTeX XMLCite \textit{A. J. Parker} et al., Contemp. Math. 736, 139--169 (2019; Zbl 1478.37019) Full Text: DOI
Ranganathan, Dhruv; Santos-Parker, Keli; Wise, Jonathan Moduli of stable maps in genus one and logarithmic geometry. I. (English) Zbl 1472.14062 Geom. Topol. 23, No. 7, 3315-3366 (2019). Reviewer: Xiaobin Li (Chengdu) MSC: 14N35 14D23 PDFBibTeX XMLCite \textit{D. Ranganathan} et al., Geom. Topol. 23, No. 7, 3315--3366 (2019; Zbl 1472.14062) Full Text: DOI arXiv
Ranganathan, Dhruv; Santos-Parker, Keli; Wise, Jonathan Moduli of stable maps in genus one and logarithmic geometry. II. (English) Zbl 1473.14106 Algebra Number Theory 13, No. 8, 1765-1805 (2019). Reviewer: Martin Ulirsch (Frankfurt) MSC: 14N35 14T20 PDFBibTeX XMLCite \textit{D. Ranganathan} et al., Algebra Number Theory 13, No. 8, 1765--1805 (2019; Zbl 1473.14106) Full Text: DOI arXiv
Parker, Jeremy P.; Caulfield, C. P.; Kerswell, R. R. Kelvin-Helmholtz billows above Richardson number \(1/4\). (English) Zbl 1430.76103 J. Fluid Mech. 879, Paper No. R1, 12 p. (2019). MSC: 76B70 76E17 76E05 PDFBibTeX XMLCite \textit{J. P. Parker} et al., J. Fluid Mech. 879, Paper No. R1, 12 p. (2019; Zbl 1430.76103) Full Text: DOI arXiv
Albee, Kempton; Barnes, Mike; Parker, Aaron; Roon, Eric; Schaeffer Fry, A. A. Irreducible character restrictions to maximal subgroups of low-rank classical groups of types \(B\) and \(C\). (English) Zbl 1481.20015 Involve 12, No. 4, 607-631 (2019). MSC: 20C15 20C33 PDFBibTeX XMLCite \textit{K. Albee} et al., Involve 12, No. 4, 607--631 (2019; Zbl 1481.20015) Full Text: DOI
Vallis, Geoffrey K.; Parker, Douglas J.; Tobias, Steven M. A simple system for moist convection: the Rainy-Bénard model. (English) Zbl 1415.76115 J. Fluid Mech. 862, 162-199 (2019). MSC: 76B60 76F35 76R10 PDFBibTeX XMLCite \textit{G. K. Vallis} et al., J. Fluid Mech. 862, 162--199 (2019; Zbl 1415.76115) Full Text: DOI arXiv
Keough, Lauren; Parker, Darren An Extremal Problem for the Neighborhood Lights Out Game. arXiv:1908.03649 Preprint, arXiv:1908.03649 [math.CO] (2019). MSC: 05C57 05C35 05C50 BibTeX Cite \textit{L. Keough} and \textit{D. Parker}, ``An Extremal Problem for the Neighborhood Lights Out Game'', Preprint, arXiv:1908.03649 [math.CO] (2019) Full Text: arXiv OA License
Choromanski, Krzysztof; Pacchiano, Aldo; Parker-Holder, Jack; Tang, Yunhao From Complexity to Simplicity: Adaptive ES-Active Subspaces for Blackbox Optimization. arXiv:1903.04268 Preprint, arXiv:1903.04268 [math.OC] (2019). BibTeX Cite \textit{K. Choromanski} et al., ``From Complexity to Simplicity: Adaptive ES-Active Subspaces for Blackbox Optimization'', Preprint, arXiv:1903.04268 [math.OC] (2019) Full Text: arXiv OA License
Hale, Matthew; Barooah, Prabir; Parker, Kendall; Yazdani, Kasra Differentially Private Smart Metering: Implementation, Analytics, and Billing. arXiv:1902.06310 Preprint, arXiv:1902.06310 [math.OC] (2019). BibTeX Cite \textit{M. Hale} et al., ``Differentially Private Smart Metering: Implementation, Analytics, and Billing'', Preprint, arXiv:1902.06310 [math.OC] (2019) Full Text: arXiv OA License
Hiss, Gerhard; Jansen, Christoph; Lux, Klaus; Parker, Richard Computational Modular Character Theory. arXiv:1901.08453 Preprint, arXiv:1901.08453 [math.RT] (2019). MSC: 20C40 20C20 20C34 BibTeX Cite \textit{G. Hiss} et al., ``Computational Modular Character Theory'', Preprint, arXiv:1901.08453 [math.RT] (2019) Full Text: arXiv OA License
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Automated verification of concurrent stochastic games. (English) Zbl 1514.68138 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, 223-239 (2018). MSC: 68Q60 68Q85 91A15 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Lect. Notes Comput. Sci. 11024, 223--239 (2018; Zbl 1514.68138) Full Text: DOI
Lin, Kui; McLaughlin, Joyce; Baer, Ashley; Hazard, Christopher; Thomenius, Kai; Hah, Zaegyoo; Parker, Kevin; Rubens, Deborah J. A complex elastographic hyperbolic solver (CEHS) to recover frequency dependent complex shear moduli in viscoelastic models utilizing one or more displacement data-sets. (English) Zbl 1409.74049 Inverse Probl. Sci. Eng. 26, No. 8, 1155-1177 (2018). MSC: 74S20 65M32 65M06 74D10 PDFBibTeX XMLCite \textit{K. Lin} et al., Inverse Probl. Sci. Eng. 26, No. 8, 1155--1177 (2018; Zbl 1409.74049) Full Text: DOI
Kuklinski, Parker Absorption probabilities of discrete quantum mechanical systems. (English) Zbl 1407.81134 J. Phys. A, Math. Theor. 51, No. 40, Article ID 405301, 18 p. (2018). MSC: 81V70 81S25 60J70 60G50 82C24 82C41 PDFBibTeX XMLCite \textit{P. Kuklinski}, J. Phys. A, Math. Theor. 51, No. 40, Article ID 405301, 18 p. (2018; Zbl 1407.81134) Full Text: DOI
Parker, John R.; Peyerimhoff, Norbert; Siburg, Karl Friedrich Minimizing length of billiard trajectories in hyperbolic polygons. (English) Zbl 1407.37059 Conform. Geom. Dyn. 22, 315-332 (2018). MSC: 37D50 37D40 32G15 53A35 37F30 PDFBibTeX XMLCite \textit{J. R. Parker} et al., Conform. Geom. Dyn. 22, 315--332 (2018; Zbl 1407.37059) Full Text: DOI arXiv
Kuklinski, Parker; Kon, Mark Absorption probabilities of quantum walks. (English) Zbl 1400.81070 Quantum Inf. Process. 17, No. 10, Paper No. 263, 34 p. (2018). MSC: 81P68 68Q05 81S25 82C10 60G50 PDFBibTeX XMLCite \textit{P. Kuklinski} and \textit{M. Kon}, Quantum Inf. Process. 17, No. 10, Paper No. 263, 34 p. (2018; Zbl 1400.81070) Full Text: DOI arXiv
Astheimer, Jeffrey P.; Parker, Kevin J. Concentric layered Hermite scatterers. (English) Zbl 1396.78005 Phys. Lett., A 382, No. 21, 1379-1382 (2018). MSC: 78A45 74J20 PDFBibTeX XMLCite \textit{J. P. Astheimer} and \textit{K. J. Parker}, Phys. Lett., A 382, No. 21, 1379--1382 (2018; Zbl 1396.78005) Full Text: DOI
Katzav, Joel; Parker, Wendy S. Issues in the theoretical foundations of climate science. (English) Zbl 1395.86005 Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. 63, 141-149 (2018). MSC: 86A10 76E20 00A35 PDFBibTeX XMLCite \textit{J. Katzav} and \textit{W. S. Parker}, Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. 63, 141--149 (2018; Zbl 1395.86005) Full Text: DOI Link
King, O. H.; Martin, P. P.; Parker, A. E. On central idempotents in the Brauer algebra. (English) Zbl 1444.16016 J. Algebra 512, 20-46 (2018). MSC: 16G10 PDFBibTeX XMLCite \textit{O. H. King} et al., J. Algebra 512, 20--46 (2018; Zbl 1444.16016) Full Text: DOI arXiv Link
Baier, Christel; Klein, Joachim; Leuschner, Linda; Parker, David; Wunderlich, Sascha Ensuring the reliability of your model checker: interval iteration for Markov decision processes. (English) Zbl 1494.68159 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 160-180 (2017). MSC: 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 10426, 160--180 (2017; Zbl 1494.68159) Full Text: DOI Link
Parker, Austin J.; Yancey, Kelly B.; Yancey, Matthew P. Regular language distance and entropy. (English) Zbl 1440.68161 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 3, 14 p. (2017). MSC: 68Q45 37B10 37B40 94A17 PDFBibTeX XMLCite \textit{A. J. Parker} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 3, 14 p. (2017; Zbl 1440.68161) Full Text: DOI arXiv
Kwiatkowska, Marta; Norman, Gethin; Parker, David Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata. (English) Zbl 1431.68066 Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 289-309 (2017). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Lect. Notes Comput. Sci. 10460, 289--309 (2017; Zbl 1431.68066) Full Text: DOI Link
Parker, Kevin J. Hermite scatterers in an ultraviolet sky. (English) Zbl 1375.78024 Phys. Lett., A 381, No. 46, 3845-3848 (2017). MSC: 78A45 33C45 PDFBibTeX XMLCite \textit{K. J. Parker}, Phys. Lett., A 381, No. 46, 3845--3848 (2017; Zbl 1375.78024) Full Text: DOI
Ku, S.; Hager, R.; Chang, C. S.; Kwon, J. M.; Parker, S. E. A new hybrid-Lagrangian numerical scheme for gyrokinetic simulation of tokamak edge plasma. (English) Zbl 1349.82148 J. Comput. Phys. 315, 467-475 (2016). MSC: 82D10 65M75 76M28 76X05 PDFBibTeX XMLCite \textit{S. Ku} et al., J. Comput. Phys. 315, 467--475 (2016; Zbl 1349.82148) Full Text: DOI
Wang, Kun; Wu, Nan; Kuklinski, Parker; Xu, Ping; Hu, Haixing; Song, Fangmin Grover walks on a line with absorbing boundaries. (English) Zbl 1348.81187 Quantum Inf. Process. 15, No. 9, 3573-3597 (2016). MSC: 81P68 60G50 PDFBibTeX XMLCite \textit{K. Wang} et al., Quantum Inf. Process. 15, No. 9, 3573--3597 (2016; Zbl 1348.81187) Full Text: DOI arXiv
Cano, Angel; Parker, John R.; Seade, José Action of \(\mathbb{R}\)-Fuchsian groups on \(\mathbb{CP}^2\). (English) Zbl 1348.22014 Asian J. Math. 20, No. 3, 449-474 (2016). Reviewer: Gerhard Rosenberger (Hamburg) MSC: 22E40 37B05 20H10 PDFBibTeX XMLCite \textit{A. Cano} et al., Asian J. Math. 20, No. 3, 449--474 (2016; Zbl 1348.22014) Full Text: DOI
Kamaleson, Nishanthan; Parker, David; Rowe, Jonathan E. Finite-horizon bisimulation minimisation for probabilistic systems. (English) Zbl 1354.68197 Bošnački, Dragan (ed.) et al., Model checking software. 23rd international symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-32581-1/pbk; 978-3-319-32582-8/ebook). Lecture Notes in Computer Science 9641, 147-164 (2016). MSC: 68Q85 68Q60 68Q87 PDFBibTeX XMLCite \textit{N. Kamaleson} et al., Lect. Notes Comput. Sci. 9641, 147--164 (2016; Zbl 1354.68197) Full Text: DOI Link
Costello, Kevin P.; Williams, Parker On the number of integral graphs. (English) Zbl 1329.05186 Linear Algebra Appl. 493, 447-454 (2016). MSC: 05C50 05C80 15B52 PDFBibTeX XMLCite \textit{K. P. Costello} and \textit{P. Williams}, Linear Algebra Appl. 493, 447--454 (2016; Zbl 1329.05186) Full Text: DOI
King, Oliver H.; Parker, Alison E.; Martin, Paul P. Decomposition matrices and blocks for the symplectic blob algebra over the complex field. arXiv:1611.06968 Preprint, arXiv:1611.06968 [math.RT] (2016). MSC: 16G10 BibTeX Cite \textit{O. H. King} et al., ``Decomposition matrices and blocks for the symplectic blob algebra over the complex field'', Preprint, arXiv:1611.06968 [math.RT] (2016) Full Text: arXiv OA License
Yang, Taho; Kuo, Yiyo; Parker, David; Chen, Kuan Hung A multiple attribute group decision making approach for solving problems with the assessment of preference relations. (English) Zbl 1394.91102 Math. Probl. Eng. 2015, Article ID 849897, 10 p. (2015). MSC: 91B06 PDFBibTeX XMLCite \textit{T. Yang} et al., Math. Probl. Eng. 2015, Article ID 849897, 10 p. (2015; Zbl 1394.91102) Full Text: DOI
Gates, Sylvester James jun.; Parker, James; Rodgers, Vincent G. J.; Rodriguez, Leo; Stiffler, Kory An extended detailed investigation of first and second order supersymmetries for off-shell \(\mathcal N=2\) and \(\mathcal N=4\) supermultiplets. (English) Zbl 1373.81352 Symmetry 7, No. 2, 1080-1121 (2015). MSC: 81T60 81T20 81T40 81T13 PDFBibTeX XMLCite \textit{S. J. Gates jun.} et al., Symmetry 7, No. 2, 1080--1121 (2015; Zbl 1373.81352) Full Text: DOI arXiv
Capdeboscq, Inna; Parker, Christopher What are the \(C_2\)-groups? (English) Zbl 1368.20009 Campbell, C.M. (ed.) et al., Groups St Andrews 2013. Selected papers of the conference, St. Andrews, UK, August 3–11, 2013. Cambridge: Cambridge University Press (ISBN 978-1-107-51454-6/pbk; 978-1-316-22734-3/ebook). London Mathematical Society Lecture Note Series 422, 194-208 (2015). MSC: 20D05 20D06 20D20 PDFBibTeX XMLCite \textit{I. Capdeboscq} and \textit{C. Parker}, Lond. Math. Soc. Lect. Note Ser. 422, 194--208 (2015; Zbl 1368.20009) Full Text: DOI
Onda, Kensuke; Parker, Phillip E. Nilsolitons of \(H\)-type in the Lorentzian setting. (English) Zbl 1337.53086 Houston J. Math. 41, No. 4, 1137-1151 (2015). MSC: 53C50 22E25 53C25 53C30 PDFBibTeX XMLCite \textit{K. Onda} and \textit{P. E. Parker}, Houston J. Math. 41, No. 4, 1137--1151 (2015; Zbl 1337.53086) Full Text: arXiv
Gongopadhyay, Krishnendu; Parker, John R.; Parsad, Shiv On the classifications of unitary matrices. (English) Zbl 1336.51006 Osaka J. Math. 52, No. 4, 959-993 (2015). Reviewer: Erich W. Ellers (Toronto) MSC: 51F25 20H20 PDFBibTeX XMLCite \textit{K. Gongopadhyay} et al., Osaka J. Math. 52, No. 4, 959--993 (2015; Zbl 1336.51006) Full Text: Euclid
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz Permissive controller synthesis for probabilistic systems. (English) Zbl 1391.68076 Log. Methods Comput. Sci. 11, No. 2, Paper No. 16, 34 p. (2015). MSC: 68Q60 68Q25 91A15 93B50 93E03 PDFBibTeX XMLCite \textit{K. Dräger} et al., Log. Methods Comput. Sci. 11, No. 2, Paper No. 16, 34 p. (2015; Zbl 1391.68076) Full Text: DOI arXiv
Magaard, Kay; Parker, Christopher Remarks on lifting Beauville structures of quasisimple groups. (English) Zbl 1326.20013 Bauer, Ingrid (ed.) et al., Beauville surfaces and groups. Proceedings of the conference, Newcastle, UK, June 7–9, 2012. Cham: Springer (ISBN 978-3-319-13861-9/hbk; 978-3-319-13862-6/ebook). Springer Proceedings in Mathematics & Statistics 123, 121-128 (2015). Reviewer: Anatoli Kondrat’ev (Ekaterinburg) MSC: 20D05 20D06 20F05 20E45 14J29 14J10 20G40 30F10 PDFBibTeX XMLCite \textit{K. Magaard} and \textit{C. Parker}, Springer Proc. Math. Stat. 123, 121--128 (2015; Zbl 1326.20013) Full Text: DOI
Danielsen, Lars Eirik; Parker, Matthew G.; Riera, Constanza; Knudsen, Joakim Grahl On graphs and codes preserved by edge local complementation. (English) Zbl 1342.94112 Des. Codes Cryptography 74, No. 3, 601-621 (2015). MSC: 94B05 05C30 05C75 94A15 PDFBibTeX XMLCite \textit{L. E. Danielsen} et al., Des. Codes Cryptography 74, No. 3, 601--621 (2015; Zbl 1342.94112) Full Text: DOI arXiv
Boadi, Richard K.; Parker, John R. Mostow’s lattices and cone metrics on the sphere. (English) Zbl 1332.57015 Adv. Geom. 15, No. 1, 27-53 (2015). Reviewer: Maria Beatrice Pozzetti (Coventry) MSC: 57M50 22E40 32Q45 PDFBibTeX XMLCite \textit{R. K. Boadi} and \textit{J. R. Parker}, Adv. Geom. 15, No. 1, 27--53 (2015; Zbl 1332.57015) Full Text: DOI Link
Parker, Chris W.; Kanchana, Atapattu A. C. Examples of groups with the same number of subgroups of every index. (English) Zbl 1522.20096 J. Sib. Fed. Univ., Math. Phys. 7, No. 1, 95-99 (2014). MSC: 20E07 20E06 PDFBibTeX XMLCite \textit{C. W. Parker} and \textit{A. A. C. Kanchana}, J. Sib. Fed. Univ., Math. Phys. 7, No. 1, 95--99 (2014; Zbl 1522.20096) Full Text: MNR
Ossmann, Roland; Parker, Stefan; Thaller, David; Pecyna, Karol; García-Soler, Alvaro; Morales, Blanca; Weiß, Christoph; Veigl, Christoph; Kakousis, Konstantinos AsTeRICS, a flexible AT construction set. (English) Zbl 1334.93131 Int. J. Adapt. Control Signal Process. 28, No. 12, 1475-1503 (2014). MSC: 93C95 PDFBibTeX XMLCite \textit{R. Ossmann} et al., Int. J. Adapt. Control Signal Process. 28, No. 12, 1475--1503 (2014; Zbl 1334.93131) Full Text: DOI
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz Verification of Markov decision processes using learning algorithms. (English) Zbl 1448.68290 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 98-114 (2014). MSC: 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 8837, 98--114 (2014; Zbl 1448.68290) Full Text: DOI arXiv
Leung, Kelvin; Cunha, Alexandre; Toga, A. W.; Parker, D. Stott Developing image processing meta-algorithms with data mining of multiple metrics. (English) Zbl 1423.92163 Comput. Math. Methods Med. 2014, Article ID 383465, 7 p. (2014). MSC: 92C55 62P10 PDFBibTeX XMLCite \textit{K. Leung} et al., Comput. Math. Methods Med. 2014, Article ID 383465, 7 p. (2014; Zbl 1423.92163) Full Text: DOI
Dräger, Klaus; Kwiatkowska, Marta; Parker, David; Qu, Hongyang Local abstraction refinement for probabilistic timed programs. (English) Zbl 1359.68187 Theor. Comput. Sci. 538, 37-53 (2014). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{K. Dräger} et al., Theor. Comput. Sci. 538, 37--53 (2014; Zbl 1359.68187) Full Text: DOI
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. (English) Zbl 1407.68275 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 40-58 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. Abate} et al., Lect. Notes Comput. Sci. 8464, 40--58 (2014; Zbl 1407.68275) Full Text: DOI
Chappell, Isaac; Gates, S. James jun.; Linch, William D. III; Parker, James; Randall, Stephen; Ridgway, Alexander; Stiffler, Kory 4D, \( \mathcal{N} = 1\) supergravity genomics. (English) Zbl 1342.83460 J. High Energy Phys. 2013, No. 10, Paper No. 004, 51 p. (2013). MSC: 83E50 81T60 PDFBibTeX XMLCite \textit{I. Chappell} et al., J. High Energy Phys. 2013, No. 10, Paper No. 004, 51 p. (2013; Zbl 1342.83460) Full Text: DOI arXiv
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David SMT-based bisimulation minimisation of Markov models. (English) Zbl 1426.68168 Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 28-47 (2013). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{C. Dehnert} et al., Lect. Notes Comput. Sci. 7737, 28--47 (2013; Zbl 1426.68168) Full Text: DOI
Kwiatkowska, Marta; Parker, David Automated verification and strategy synthesis for probabilistic systems. (English) Zbl 1410.68233 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 5-22 (2013). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Kwiatkowska} and \textit{D. Parker}, Lect. Notes Comput. Sci. 8172, 5--22 (2013; Zbl 1410.68233) Full Text: DOI
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis Automatic verification of competitive stochastic systems. (English) Zbl 1291.68252 Form. Methods Syst. Des. 43, No. 1, 61-92 (2013). MSC: 68Q60 68Q87 91A15 03B44 03B48 PDFBibTeX XMLCite \textit{T. Chen} et al., Form. Methods Syst. Des. 43, No. 1, 61--92 (2013; Zbl 1291.68252) Full Text: DOI
Setchi, A.; Mestel, A. J.; Parker, K. H.; Siggers, J. H. Low-Reynolds-number flow through two-dimensional shunts. (English) Zbl 1287.76251 J. Fluid Mech. 723, 21-39 (2013). MSC: 76Z05 76D07 92C10 PDFBibTeX XMLCite \textit{A. Setchi} et al., J. Fluid Mech. 723, 21--39 (2013; Zbl 1287.76251) Full Text: DOI Link
Erdmann, Karin; Hannabuss, Keith C.; Parker, Alison E. Bounding and unbounding higher extensions for \(\mathrm{SL}_2\). (English) Zbl 1295.20047 J. Algebra 389, 98-118 (2013). Reviewer: Wilberd van der Kallen (Utrecht) MSC: 20G10 20G05 PDFBibTeX XMLCite \textit{K. Erdmann} et al., J. Algebra 389, 98--118 (2013; Zbl 1295.20047) Full Text: DOI
Setchi, Adriana; Mestel, A. Jonathan; Siggers, Jennifer H.; Parker, Kim H.; Tan, Ming Wang; Wong, Kangwen Mathematical model of flow through the patent ductus arteriosus. (English) Zbl 1302.92027 J. Math. Biol. 67, No. 6-7, 1487-1506 (2013). Reviewer: Gabriela Marinoschi (Bucharest) MSC: 92C35 76Z05 PDFBibTeX XMLCite \textit{A. Setchi} et al., J. Math. Biol. 67, No. 6--7, 1487--1506 (2013; Zbl 1302.92027) Full Text: DOI Link
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang Compositional probabilistic verification through multi-objective model checking. (English) Zbl 1277.68138 Inf. Comput. 232, 38-65 (2013). MSC: 68Q60 68Q87 68Q45 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Inf. Comput. 232, 38--65 (2013; Zbl 1277.68138) Full Text: DOI
Fairbairn, Ben; Magaard, Kay; Parker, Christopher Corrigendum: Generation of finite quasisimple groups with an application to groups acting on Beauville surfaces. (English) Zbl 1287.20019 Proc. Lond. Math. Soc. (3) 107, No. 5, 1220 (2013). MSC: 20D05 20D06 20F05 20E45 14J29 14J10 20G40 30F10 PDFBibTeX XMLCite \textit{B. Fairbairn} et al., Proc. Lond. Math. Soc. (3) 107, No. 5, 1220 (2013; Zbl 1287.20019) Full Text: DOI
Fairbairn, Ben; Magaard, Kay; Parker, Christopher Generation of finite quasisimple groups with an application to groups acting on Beauville surfaces. (English) Zbl 1286.20013 Proc. Lond. Math. Soc. (3) 107, No. 4, 744-798 (2013); Corrigendum 107, No. 5, 1220 (2013). Reviewer: Anatoli Kondrat’ev (Ekaterinburg) MSC: 20D05 20D06 20F05 20E45 14J29 14J10 20G40 30F10 PDFBibTeX XMLCite \textit{B. Fairbairn} et al., Proc. Lond. Math. Soc. (3) 107, No. 4, 744--798 (2013; Zbl 1286.20013) Full Text: DOI arXiv
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis PRISM-games: a model checker for stochastic multi-player games. (English) Zbl 1381.68151 Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 185-191 (2013). MSC: 68Q60 68Q87 91A06 91A15 PDFBibTeX XMLCite \textit{T. Chen} et al., Lect. Notes Comput. Sci. 7795, 185--191 (2013; Zbl 1381.68151) Full Text: DOI
Gongopadhyay, Krishnendu; Parker, John R. Reversible complex hyperbolic isometries. (English) Zbl 1277.51017 Linear Algebra Appl. 438, No. 6, 2728-2739 (2013). Reviewer: Cao Wensheng (Guangdong) MSC: 51M10 20E45 PDFBibTeX XMLCite \textit{K. Gongopadhyay} and \textit{J. R. Parker}, Linear Algebra Appl. 438, No. 6, 2728--2739 (2013; Zbl 1277.51017) Full Text: DOI
Gates, S. James jun.; Hallett, Jared; Parker, James; Rodgers, Vincent G. J.; Stiffler, Kory 4\(D\), \(\mathcal{N}= 1\) supersymmetry genomics. II. (English) Zbl 1398.81241 J. High Energy Phys. 2012, No. 6, Paper No. 71, 34 p. (2012). MSC: 81T60 PDFBibTeX XMLCite \textit{S. J. Gates jun.} et al., J. High Energy Phys. 2012, No. 6, Paper No. 71, 34 p. (2012; Zbl 1398.81241) Full Text: DOI arXiv
Keyes, David Parker \(\mathbb F_p\)-codes, theta functions and the Hamming weight MacWilliams identity. (English) Zbl 1284.32014 Adv. Math. Commun. 6, No. 4, 401-418 (2012). Reviewer: Gabriele Nebe (Aachen) MSC: 94B05 11T71 11H71 32N10 PDFBibTeX XMLCite \textit{D. P. Keyes}, Adv. Math. Commun. 6, No. 4, 401--418 (2012; Zbl 1284.32014) Full Text: DOI
Kwiatkowska, Marta; Norman, Gethin; Parker, David Probabilistic verification of Herman’s self-stabilisation algorithm. (English) Zbl 1259.68130 Formal Asp. Comput. 24, No. 4-6, 661-670 (2012). MSC: 68Q60 68M15 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Formal Asp. Comput. 24, No. 4--6, 661--670 (2012; Zbl 1259.68130) Full Text: DOI
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David Pareto curves for probabilistic model checking. (English) Zbl 1374.68285 Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 317-332 (2012). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{V. Forejt} et al., Lect. Notes Comput. Sci. 7561, 317--332 (2012; Zbl 1374.68285) Full Text: DOI arXiv
Carothers, David C.; Lucas, Stephen K.; Parker, G. Edgar; Rudmin, Joseph D.; Sochacki, James S.; Thelwell, Roger J.; Tongen, Anthony; Warne, Paul G. Connections between power series methods and automatic differentiation. (English) Zbl 1251.65023 Forth, Shaun (ed.) et al., Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23–27, 2012. Berlin: Springer (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 175-185 (2012). MSC: 65D25 65H05 65L05 34A34 34A25 PDFBibTeX XMLCite \textit{D. C. Carothers} et al., Lect. Notes Comput. Sci. Eng. 87, 175--185 (2012; Zbl 1251.65023) Full Text: DOI
Childs, Parker; Keener, James P. Slow manifold reduction of a stochastic chemical reaction: exploring Keizer’s paradox. (English) Zbl 1271.92044 Discrete Contin. Dyn. Syst., Ser. B 17, No. 6, 1775-1794 (2012). Reviewer: Bernard Ducomet (Bruyères le Châtel) MSC: 92E20 60J27 PDFBibTeX XMLCite \textit{P. Childs} and \textit{J. P. Keener}, Discrete Contin. Dyn. Syst., Ser. B 17, No. 6, 1775--1794 (2012; Zbl 1271.92044) Full Text: DOI
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis Automatic verification of competitive stochastic systems. (English) Zbl 1352.68150 Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 315-330 (2012). MSC: 68Q60 03B44 68Q87 91A15 91A80 PDFBibTeX XMLCite \textit{T. Chen} et al., Lect. Notes Comput. Sci. 7214, 315--330 (2012; Zbl 1352.68150) Full Text: DOI