Title: Formalizing Theorems in Mathematics and Theories in Science and Engineering Abstract: Lean is an interactive theorem prover for writing and verifying mathematical proofs with...
Title: Optimal Tests for Combining p-Values Abstract: Combining information (e.g., p-values) obtained from individual studies to test whether there is an overall effect is an important task in...
All events, groups, organizations, and centers are open for full participation by all individuals regardless of race, color, religion, sex, national origin, or any other protected category under applicable federal law, state law, and the University's nondiscrimination policy.
myUMBC is a UMBC limited public community forum for information sharing and dialogue. As a public institution, UMBC generally may not limit a community member's right to free speech on this forum. UMBC does not endorse the views expressed or information presented here, unless specifically stated in an official UMBC post. Learn more...
#1.18.19.1 - 6113 - production - prod1 - general-public