Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Wednesday, June 21 • 11:40am - 11:52am
TheoSea: Theory Marching to Light

Sign up or log in to save this to your schedule and see who's attending!

Feedback form is now closed.
TheoSea (for THEOry SEArch) is a Julia meta-program that discovers compact theories from data if they exist. It writes candidate theories in Julia and then validates: tossing the bad theories and keeping the good theories. Compactness is measured by a metric, such as the number of space-time derivatives. A theory can consist of more than one well-formed formula over a mathematical language. The underlying algorithm is optimal in terms of compactness, although it may be combinatorially explosive for non-compact theories. TheoSea is now working on re-discovering the source-free Maxwell equations and the wave equation of light. There are many applications.


Speakers
MS

Mark Stalzer

Principal Computational Scientist, California Institute of Technology
https://www.linkedin.com/in/mark-stalzer-97254a/


Wednesday June 21, 2017 11:40am - 11:52am
West Pauley Pauley Ballroom, Berkeley, CA

Attendees (33)