Articles — Recent
Papers, presentations, reports and more, written in LaTeX and published by our community. Search or browse below.

Divisibility by 4
A proof of a number being divisible by 4
Jacob Hofer

Assignment One
Modern Algebra HW
Kenneth Iannello

MY FAVORITE THEOREM
A requirement for our Math330 class.
princess sy

CULTO VESPERTINO
Liturgia da IPB Central de Coronel Fabriciano
Egmon Pereira

Hesham Abdel-hameed's CV
Hesham Abdel-hameed's CV
hesham

The Sine Rule
The Sine Rule
Sally Lewis

Phrase-Projection for Cross-Lingual JAMR training
We are given spans of the target text which align to concepts in the AMR graph.These alignment do not cover every token in the target sentnce. Typically function words are not aligned to any graph fragment. Next, we obtain word alignments between the target sentence and source sentence. Since we have word alignments between target and source, and phrase alignments between target and AMR graph, we must convert the word alingments into phrase alignments. The phrases on the source side will then be projected to the AMR concepts via the target sentence
Adi Renduchinala

Blockchain Multiparty Computation Markets at Scale
We explore ways of allowing for the offloading of computationally rigorous tasks from devices with slow logical processors onto a network of anonymous peer-processors. Recent advances in secret sharing schemes, decentralized consensus mechanisms, and multiparty computation (MPC) protocols are combined to create a P2P MPC market. Unlike other computational "clouds", ours is able to generically compute any arithmetic circuit, providing a viable platform for processing on the semantic web. Finally, we show that such a system works in a hostile environment, that it scales well, and that it adapts very easily to any future advances in the complexity theoretic cryptography used. Specifically, we show that the feasibility of our system can only improve, and is historically guaranteed to do so.
Charles Noyes

Predictive Posterior Power for Sample Size Re-estimation
Information before unblinding regarding the success of confirmatory clinical trials is highly uncertain. Estimates of expected future power which purport to use this information for purposes of sample size adjustment after given interim points need to reflect this uncertainty. Estimates of future power at later interim points need to track the evolution of the clinical trial. We employ sequential models to describe this evolution. We show that current techniques using point estimates of auxiliary parameters for estimating expected power: (i) fail to describe the range of likely power obtained after the anticipated data are observed, (ii) fail to adjust to different kinds of thresholds, and (iii) fail to adjust to the changing patient population. Our algorithms address each of these shortcomings. We show that the uncertainty arising from clinical trials is characterized by filtering later auxiliary parameters through their earlier counterparts and employing the resulting posterior distribution to estimate power. We devise MCMC-based algorithms to implement sample size adjustments after the first interim point. Bayesian models are designed to implement these adjustments in settings where both hard and soft thresholds for distinguishing the presence of treatment effects are present. Sequential MCMC-based algorithms are devised to implement accurate sample size adjustments for multiple interim points. We apply these suggested algorithms to a depression trial for purposes of illustration.
marc sobel