Title: Understanding Complex Systems using the Functional Connectome
Speaker: Leighton T. Izu
Department of Pharmacology
Ca^{2+}rdiac Signaling Lab
University of California, Davis
Abstract: A fundamental challenge in biology is determining how parts of a complex system (e.g., a muscle cell or a human) need to be coordinated to produce a given output. We recently developed a method called the Functional Connectome (FC) that determines this coordination pattern. The FC exploits the natural substructures inherent in the data that are found from the singular value decomposition of the data matrix. I’ll illustrate how the FC is found and what we can learn from it using a wine data set and data on cardiac muscle cells from our lab.
Please email: spost ‘at’ hawaii.edu for zoom link
Location: Zoom Meeting https://hawaii.zoom.us/j/95463949444 Meeting ID: 954 6394 9444 Passcode: mathama |
Time and place: Tuesday September 14, 10:30am in Holmes 247.
Speaker: Ellen Hughes, undergraduate student, UH Manoa.
Title: The interest equation in Lean
Abstract: We discuss how to solve the equation $y=x(1+i)^n$ for $i$ and for $n$ in the Lean proof assistant.
This is joint work with Monica Johnson, Ryan Sasaki and Prof. Kjos-Hanssen.
Covid-19 mitigation plan:
Participants will be required to show vaccination or testing status using the Lumisight app upon entry, observe 3ft social distancing, and to wear masks throughout.
Hope to see you there.
Title:
Computing from a pair of oracles one of which is useful