Search Results - "Kepley, Shane"

Rational design of complex phenotype via network models by Gameiro, Marcio, Gedeon, Tomás, Kepley, Shane, Mischaikow, Konstantin

“…We demonstrate a modeling and computational framework that allows for rapid screening of thousands of potential network designs for particular dynamic…”
Get full text

A constructive proof of the Cauchy–Kovalevskaya theorem for ordinary differential equations by Kepley, Shane, Zhang, Tianhao

“…We give a constructive proof of the classical Cauchy–Kovalevskaya theorem for ordinary differential equations which provides a sufficient condition for an…”
Get full text

Quantum circuits for F2n-multiplication with subquadratic gate count by Kepley, Shane, Steinwandt, Rainer

“…One of the most cost-critical operations when applying Shor’s algorithm to binary elliptic curves is the underlying field arithmetic. Here, we consider binary…”
Get full text

Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem by Capiński, Maciej J., Kepley, Shane, Mireles James, J.D.

“…This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a posteriori…”
Get full text

Quantum circuits for $${\mathbb {F}}_{2^{n}}$$ F 2 n -multiplication with subquadratic gate count by Kepley, Shane, Steinwandt, Rainer

Get full text

Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set by Kepley, Shane, Mireles James, J. D.

“…We describe a method for computing an atlas for the stable or unstable manifold attached to an equilibrium point and implement the method for the saddle-focus…”
Get full text

Cryptanalysis of a modern rotor machine in a multicast setting by Kepley, Shane, Russo, David, Steinwandt, Rainer

“…At FSE '93, Anderson presented a modern byte-oriented rotor machine that is suitable for fast software implementation. Building on a combination of chosen…”
Get full text

The Circular Restricted Four Body Problem is Non-Integrable: A Computer Assisted Proof by Kepley, Shane

“…Gravitational N-body problems are central in classical mathematical physics. Studying their long time behavior raises subtle questions about the interplay…”
Get full text

Validated error bounds for pseudospectral approximation of delay differential equations: unstable manifolds by Kepley, Shane, de Wolff, Babette A. J

“…Pseudospectral approximation provides a means to approximate the dynamics of delay differential equations (DDE) by ordinary differential equations (ODE). This…”
Get full text

A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations by Kepley, Shane, Zhang, Tianhao

“…We give a constructive proof of the classical Cauchy-Kovalevskaya theorem in the ODE setting which provides a sufficient condition for an initial value problem…”
Get full text

Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations by Kepley, Shane, Mischaikow, Konstantin, Queirolo, Elena

“…In this paper we describe a combined combinatorial/numerical approach to studying equilibria and bifurcations in network models arising in Systems Biology. ODE…”
Get full text

Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem by Capinski, Maciej J, Kepley, Shane, James, Jason D. Mireles

“…This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori…”
Get full text

Computing linear extensions for polynomial posets subject to algebraic constraints by Kepley, Shane, Mischaikow, Konstantin, Zhang, Lun

“…In this paper we consider the classical problem of computing linear extensions of a given poset which is well known to be a difficult problem. However, in our…”
Get full text

Rational design of complex phenotype via network models by Gameiro, Marcio, Gedeon, Tomas, Kepley, Shane, Mischaikow, Konstantin

“…We demonstrate a modeling and computational framework that allows for rapid screening of thousands of potential network designs for particular dynamic…”
Get full text

Homoclinic dynamics in a restricted four body problem by Kepley, Shane, James, J. D. Mireles

“…We describe a method for computing an atlas for the stable or unstable manifold attached to an equilibrium point, and implement the method for the saddle-focus…”
Get full text

Extending combinatorial regulatory network modeling to include activity control and decay modulation by Cummins, Bree, Gameiro, Marcio, Gedeon, Tomas, Kepley, Shane, Mischaikow, Konstantin, Zhang, Lun

“…Understanding how the structure of within-system interactions affects the dynamics of the system is important in many areas of science. We extend a network…”
Get full text

Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem by Kepley, Shane, James, J. D. Mireles

“…We prove the existence of chaotic motions in a planar restricted four body problem, establishing that the system is not integrable. The idea of the proof is to…”
Get full text

Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds by Kalies, William D, Kepley, Shane, James, J. D. Mireles

“…We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary…”
Get full text