Zobrazeno 1 - 10
of 723
pro vyhledávání: '"King, Tim"'
Autor:
Armstrong, John, King, Tim
We present a recurrence-transience classification for discrete-time Markov chains on manifolds with negative curvature. Our classification depends only on geometric quantities associated to the increments of the chain, defined via the Riemannian expo
Externí odkaz:
http://arxiv.org/abs/2011.03827
Autor:
Armstrong, John, King, Tim
Given a stochastic differential equation (SDE) in $\mathbb{R}^n$ whose solution is constrained to lie in some manifold $M \subset \mathbb{R}^n$, we propose a class of numerical schemes for the SDE whose iterates remain close to $M$ to high order. Our
Externí odkaz:
http://arxiv.org/abs/2009.10113
Autor:
Adams, Atoya, Andrews, Jane M, Behrend, Clint E, Brown, Gregor J E, Chen Yi Mei, Swee Lin, Coates, Allan G, DiMarino, Anthony J, Ee, Hooi, Elliott, David E, Epstein, Roger M, Feyen, Bryan John, Fogel, Ronald P, Friedenberg, Keith Alan, Gearry, Richard B, Gerdis, Michael S, Goldstein, Michael J, Gupta, Vipin K, Holmes, Robert John, Holtmann, Gerald J, Idarraga, Samuel H, James, George W, King, Tim, Klein, Terry D, Kupfer, Sonia S, Lebwohl, Benjamin, Lowe, Matthew John, Murray, Joseph A, Newton, Eric B, Quinn, Dean, Radin, David M, Ritter, Timothy E, Stacey, Helen Lee, Strout, Cynthia B, Stubbs, Richard S, Thackwray, Susan Lynn, Trivedi, Vivek M, Weber, John R, Wilson, Scott A, Tye-Din, Jason A, Daveson, A James M, Goel, Gautam, Goldstein, Kaela E, Hand, Holly L, Neff, Kristin M, Popp, Alina, Taavela, Juha, Maki, Markku, Isola, Jorma, Williams, Leslie J, Truitt, Kenneth E, Anderson, Robert P *
Publikováno v:
In The Lancet Gastroenterology & Hepatology May 2023 8(5):446-457
Autor:
Barrett, Clark, Barbosa, Haniel, Brain, Martin, Ibeling, Duligur, King, Tim, Meng, Paul, Niemetz, Aina, Nötzli, Andres, Preiner, Mathias, Reynolds, Andrew, Tinelli, Cesare
This paper is a description of the CVC4 SMT solver as entered into the 2018 SMT Competition. We only list important differences from the 2017 SMT Competition version of CVC4. For further and more detailed information about CVC4, please refer to the o
Externí odkaz:
http://arxiv.org/abs/1806.08775
Autor:
King, Tim
A core technique of modern tools for formally reasoning about computing systems is generating and dispatching queries to automated theorem provers, including Satisfiability Modulo Theories (SMT) provers. SMT provers aim at the tight integration of de
Externí odkaz:
http://pqdtopen.proquest.com/#viewpdf?dispub=3665163
This paper presents a complete decision procedure for the entire quantifier-free fragment of Separation Logic ($\seplog$) interpreted over heaplets with data elements ranging over a parametric multi-sorted (possibly infinite) domain. The algorithm us
Externí odkaz:
http://arxiv.org/abs/1603.06844
This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision pr
Externí odkaz:
http://arxiv.org/abs/1510.02642