Zobrazeno 1 - 10
of 1 282
pro vyhledávání: '"Walsh, James P."'
Autor:
Walsh, James, Gass, Daniel G., Pollan, Raul Ramos, Wright, Paul J., Galvez, Richard, Kasmanoff, Noah, Naradowsky, Jason, Spalding, Anne, Parr, James, Baydin, Atılım Güneş
SDO-FM is a foundation model using data from NASA's Solar Dynamics Observatory (SDO) spacecraft; integrating three separate instruments to encapsulate the Sun's complex physical interactions into a multi-modal embedding space. This model can be used
Externí odkaz:
http://arxiv.org/abs/2410.02530
Autor:
Towsner, Henry, Walsh, James
For which choices of $X,Y,Z\in\{\Sigma^1_1,\Pi^1_1\}$ does no sufficiently strong $X$-sound and $Y$-definable extension theory prove its own $Z$-soundness? We give a complete answer, thereby delimiting the generalizations of G\"odel's second incomple
Externí odkaz:
http://arxiv.org/abs/2409.05973
Autor:
Walsh, James
In Outline of a Theory of Truth, Kripke introduces some of the central concepts of the logical study of truth and paradox. He informally defines some of these -- such as groundedness and paradoxicality -- using modal locutions. We introduce a modal l
Externí odkaz:
http://arxiv.org/abs/2406.17091
Autor:
Jeon, Hanul, Walsh, James
It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by means of \emp
Externí odkaz:
http://arxiv.org/abs/2312.12859
Autor:
Malik, Shreshth A., Walsh, James, Acciarini, Giacomo, Berger, Thomas E., Baydin, Atılım Güneş
Accurate estimation of thermospheric density is critical for precise modeling of satellite drag forces in low Earth orbit (LEO). Improving this estimation is crucial to tasks such as state estimation, collision avoidance, and re-entry calculations. T
Externí odkaz:
http://arxiv.org/abs/2312.06845
Autor:
Lutz, Patrick, Walsh, James
We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual algebraicity
Externí odkaz:
http://arxiv.org/abs/2309.11598