BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Sean Holman

Sean Holman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.APeess.IVmath.NANumerical Analysis

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

Simultaneous recovery of attenuation and source density in SPECT

We show that under a certain non-cancellation condition the attenuated Radon transform uniquely determines piecewise constant attenuation $a$ and piecewise $C^2$ source density $f$ with jumps over real analytic boundaries possibly having corners. We also look at numerical examples in which the non-cancellation condition fails and show that unique reconstruction of multi-bang $a$ and $f$ is still appears to be possible although not yet explained by theoretical results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Data-consistent neural networks for solving nonlinear inverse problems

Data assisted reconstruction algorithms, incorporating trained neural networks, are a novel paradigm for solving inverse problems. One approach is to first apply a classical reconstruction method and then apply a neural network to improve its solution. Empirical evidence shows that such two-step methods provide high-quality reconstructions, but they lack a convergence analysis. In this paper we formalize the use of such two-step approaches with classical regularization theory. We propose data-consistent neural networks that we combine with classical regularization methods. This yields a data-driven regularization method for which we provide a full convergence analysis with respect to noise. Numerical simulations show that compared to standard two-step deep learning methods, our approach provides better stability with respect to structural changes in the test set, while performing similarly on test data similar to the training set. Our method provides a stable solution of inverse problems that exploits both the known nonlinear forward model as well as the desired solution manifold from data.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Emission tomography with a multi-bang assumption on attenuation

We consider the problem of joint reconstruction of both attenuation $a$ and source density $f$ in emission tomography in two dimensions. This is sometimes called the Single Photon Emission Computed Tomography (SPECT) identification problem, or referred to as attenuation correction in SPECT. Assuming that $a$ takes only finitely many values and $f \in C_c^1(\mathbb{R}^2)$ we are able to characterise singularities appearing in the Attenuated Radon Transform $R_a f$, which models emission tomography data. Using this characterisation we prove that both $a$ and $f$ can be determined in some circumstances. We also propose a numerical algorithm to jointly compute $a$ and $f$ from $R_af$ based on a weakly convex regularizer when $a$ only takes values from a known finite list, and show that this algorithm performs well on some synthetic examples.

0 citations0 reviewsNo code linkedOpen access