Warwick Tucker

27 papers B 1C 5Journal 18Unranked 1

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Trans. Math. Softw. Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
2023	J	`jnl`	Computer assisted proofs in dynamical systems. Commun. Nonlinear Sci. Numer. Simul. Maciej J. Capinski, Jason D. Mireles-James, Warwick Tucker, Daniel Wilczak, Jan Bouwe van den Berg
2023	J	`jnl`	Fixed points of arbitrarily deep 1-dimensional neural networks. CoRR Andrew Cook, Andy Hammerlindl, Warwick Tucker
2022	J	`jnl`	The Songling system has exactly four limit cycles. Appl. Math. Comput. Zbigniew Galias, Warwick Tucker
2020	J	`jnl`	Scalable Multivariate Histograms. CoRR Raazesh Sainudiin, Warwick Tucker, Tilo Wiklund
2019	J	`jnl`	Enclosing all zeros of a system of analytic functions. Appl. Math. Comput. Joel Dahne, Marcelo F. Ciappina, Warwick Tucker
2018	C	`conf`	On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity. ISCAS Zbigniew Galias, Warwick Tucker
2016	—	`conf`	CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. ICMS Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
2016	—	`ed.`	Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers SCAN Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
2015	J	`jnl`	A database of rigorous and high-precision periodic orbits of the Lorenz model. Comput. Phys. Commun. Roberto Barrio, Angeles Dena, Warwick Tucker
2015	J	`jnl`	Fixed points of a destabilized Kuramoto-Sivashinsky equation. Appl. Math. Comput. Ferenc A. Bartha, Warwick Tucker
2014	J	`jnl`	Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library. SIGARCH Comput. Archit. News Mioara Joldes, Valentina Popescu, Warwick Tucker
2013	C	`conf`	Combination of exhaustive search and continuation method for the study of sinks in the Hénon map. ISCAS Zbigniew Galias, Warwick Tucker
2013	J	`jnl`	Numerical Study of Coexisting attractors for the HéNon Map. Int. J. Bifurc. Chaos Zbigniew Galias, Warwick Tucker
2013	B	`conf`	There and back again: Split and prune to tighten. FUZZ-IEEE Raazesh Sainudiin, Jennifer Harlow, Warwick Tucker
2012	J	`jnl`	Mapped Regular Pavings. Reliab. Comput. Jennifer Harlow, Raazesh Sainudiin, Warwick Tucker
2012	J	`jnl`	On the global stability of a peer-to-peer network model. Oper. Res. Lett. O. Fogelklou, Takis Konstantopoulos, Warwick Tucker
2011	J	`jnl`	Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools. Int. J. Bifurc. Chaos Zbigniew Galias, Warwick Tucker
2010	J	`jnl`	An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7. Int. J. Bifurc. Chaos Tomas Johnson, Warwick Tucker
2010	J	`jnl`	An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a quintic Hamiltonian Planar Vector Field under quintic Perturbation. Int. J. Bifurc. Chaos Tomas Johnson, Warwick Tucker
2009	—	`ch.`	Fundamentals of Chaos. Intelligent Computing Based on Chaos Warwick Tucker
2009	C	`conf`	Symbolic Dynamics based Method for Rigorous Study of the Existence of Short Cycles for Chaotic Systems. ISCAS Zbigniew Galias, Warwick Tucker
2008	J	`jnl`	Rigorous parameter reconstruction for differential equations with noisy data. Autom. Tomas Johnson, Warwick Tucker
2008	C	`conf`	Rigorous study of short periodic orbits for the Lorenz system. ISCAS Zbigniew Galias, Warwick Tucker
2006	J	`jnl`	Parameter Reconstruction for Biochemical Networks Using Interval Analysis. Reliab. Comput. Warwick Tucker, Vincent Moulton
2005	C	`conf`	Reconstructing Metabolic Networks Using Interval Analysis. WABI Warwick Tucker, Vincent Moulton
2002	J	`jnl`	A Rigorous ODE Solver and Smale's 14th Problem. Found. Comput. Math. Warwick Tucker