Upcoming Events

Previous Day

Friday, February 28

Next Day
28
Feb

Diversity Conference

Conference/Seminar

The Diversity & Inclusion Conference is an annual event for students, faculty, staff and community members to explore issues of diversity and social justice on a deeper level.


Register online at https://usueastern.edu/cdi/conference

8:30 am - 4:30 pm |
28
Feb

Women in the Judiciary panel featuring Utah Court of Appeals judges

Panel Discussion/Presentation

Women in the Judiciary: A Panel Discussion Featuring Judges from the Utah Court of Appeals. The panel includes judges Mary Kate Appleby, Michele M. Christiansen Forster, Diana Hagen and, Jill M. Pohlman, and moderated by Prof. Christy Glass, director of the new Center for Inter-sectional Genders Studies and Research.
Utah Court of Appeals is one of the few majority-female appellate courts ever constituted (4 of 7 judges are women).

11:00 am - 12:00 pm | David B. Haight Center |
28
Feb

Applied Mathematics Seminar: Stochastic Approximate Model-Checker for Infinite-State Analysis

Conference/Seminar

Speaker: Zhen Zhang, Department of E & CE, Utah State University

Abstract: There has been an increasing demand for providing formal guarantees in the design process of safety-critical synthetic genetic circuits. As a prominent formal verification technique, probabilistic model checking has demonstrated significant potential in formally analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. In this talk, I will present a new infinite state CTMC model checker, STAMINA, with improved scalability. It uses a novel state space approximation method to reduce large and possibly infinite state CTMC models to finite state representations that are amenable to existing probabilistic model checkers. It is integrated with a new property-guided state expansion approach that improves the analysis accuracy. This method is evaluated on a design of a genetic toggle switch and several other benchmarking examples. Comparisons with another state-of- the-art tool demonstrate both accuracy and efficiency of the presented method.

3:30 pm - 4:30 pm | Animal Science |
28
Feb

USU Women's Gymnastics Home Meet v. U.C. Davis

Sports

Watch USU Women's Gymnastics Home Meet v. U.C. Davis. Come support your Aggies!

7:00 pm - 10:00 pm | Dee Glen Smith Spectrum |
Submit

SUBMIT AN EVENT

Previous

FEBRUARY 2020

Next
Sun Mon Tue Wed Thu Fri Sat
26 27 28 29 30 31 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29

View Today

View By

  Event Types

Target Audiences

  Departments