Upcoming Events
Geosciences Speaker Series: Beth Christensen
Conference/Seminar
Beth Christensen will present on Plate Tectonics - Climate Change.
[CANCELED] Department of Physics Colloquium
Conference/Seminar
Weekly presentations on topics in physics.
[CANCELED] Chemistry & Biochemistry Departmental Seminar
Conference/Seminar
Mar 11 - Andrew Gewirth, University of Illinois Urbana-Champaign
Mar 18 - Chunsheng Wang, University of Maryland
Mar 25 - Li Li, University of Nevada, Reno
Apr 1 - Hansen Seminar: Amy Rosenzweig, Northwestern University - Old Main 115
Apr 7 (Tuesday) - Sharon Hammes-Schiffer, Yale University - ESLC 046
Apr 15 - Jeffrey Moore, University of Illinois (Urbana-Champaign)
Apr 22 - Lawrence Que, University of Minnesota
Apr 29 - Yugang Sun, Temple University
Get Away Special General Team Meeting
Meeting
The Get Away Special Team is an undergraduate, extracurricular, small satellite research team within the Utah State University Department of Physics. This meeting is where sub-teams collaborate to ensure the success of projects such as a NASA CSLI-selectee CubeSat GASPACS and other small satellite research. All majors in any college are welcome to attend!
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.
View By
Event Types
- All Types
- Conference/Seminar (200)
- Special Event (52)
- Panel Discussion/Presentation (50)
- Student Activities (30)
- Ceremony/Awards/Celebration (13)
- Social/Networking (11)
- Lecture/Readings (9)
- Meeting (8)
- Workshop/Training (7)
- Information/Orientation (5)
- Fair/Festival (4)
- Exhibition (4)
- Arts/Entertainment (3)
- Cultural (3)
- Fundraiser (2)
- Reception/Reunion (1)
- Recreation (1)
- Academic Calendar (0)
- Date/Deadline (0)
- Breakfast/Luncheon/Dinner (0)
- Sports (0)
- More Types
Target Audiences
- All Audiences
- Students (2)
- Faculty (2)
- General Public (1)
- Alumni (1)
- Staff (1)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- President's Office (5)
- USU Eastern (4)
- Jon M. Huntsman School of Business (3)
- FJ Management Center for Student Success (0)
- Global Learning Experience (0)
- Healthcare Administration Club (HAC) (0)
- Huntsman Marketing Association (0)
- BI Group (0)
- Master of Financial Economics (MFE) (0)
- Business Council (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- Real Estate Association (0)
- Finance and Economics Club (0)
- Master of Accounting (MAcc) (0)
- Master of Business Administration (MBA) (0)
- Master of Management Information Systems (MMIS) (0)
- Master of Science in Economics (MSE) (0)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- Economics and Finance Department (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- Entrepreneurship Club (0)
- USU Pre-Law Society (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- Sales Club (0)
- School of Accountancy (0)
- She's Daring Mighty Things (0)
- Covey Leadership Center (0)
- Institute of Management Accountants (IMA) (0)
- Management Department (0)
- Association for Information Systems (AIS) (0)
- Investment Banking Club (0)
- Data Analytics & Information Systems Department (0)
- Analytics Solutions Center (0)
- International Business Association (0)
- Entrepreneurship Center (1)
- Marketing and Strategy Department (0)
- Huntsman Scholars (0)
- Financial Planning Association (FPA) (1)
- Master in Human Resources (MHR) (0)
- Beta Alpha Psi (BAP) (0)
- More Departments
- Caine College of the Arts (2)
- College of Science (2)
- Intermountain Herbarium (0)
- Center for Atmospheric and Space Studies (0)
- Geosciences (0)
- Chemistry and Biochemistry (0)
- Mathematics and Statistics (0)
- Computer Science (0)
- Biology (0)
- Physics (0)
- More Departments
- Extension (2)
- Juab County (0)
- Millard County (0)
- Morgan County (0)
- Kane County (0)
- Uintah County (0)
- Logan Campus Extension (0)
- USU Botanical Center (0)
- Utah County (0)
- Rich County (0)
- Salt Lake County (0)
- Summit County (0)
- Grand County (0)
- Ogden Botanical Center (0)
- Thanksgiving Point (0)
- San Juan County (0)
- Piute County (0)
- Iron County (0)
- Tooele County (0)
- Sanpete County (0)
- Weber County (0)
- Wasatch County (0)
- Sevier County (0)
- Emery County (0)
- Wasatch Front (0)
- Washington County (0)
- Garfield County (0)
- Wayne County (0)
- Cache County (0)
- Carbon County (0)
- 4-H (0)
- Beaver County (0)
- Davis County (0)
- Swaner Preserve EcoCenter (2)
- Box Elder County (0)
- Duchesne County (0)
- More Departments
- Merrill-Cazier Library (2)
- Statewide Campuses (2)
- Southwest Region (0)
- Moab (0)
- More Departments
- College of Humanities & Social Sciences (1)
- Journalism and Communication (0)
- Museum of Anthropology (0)
- Military Science (Army ROTC) (0)
- Mountain West Center for Regional Studies (0)
- Communication Studies and Philosophy (0)
- Intensive English Language Institute (0)
- CHaSS Research (0)
- Center for Anticipatory Intelligence (0)
- Interfaith Initiative (0)
- Aerospace Studies (Air Force ROTC) (0)
- English (0)
- History (0)
- Center for Intersectional Gender Studies and Research (0)
- Community and Natural Resources Institute (0)
- Heravi Peace Institute (0)
- Utah Public Radio (KUSU) (0)
- Sociology, Anthropology and Criminal Justice (0)
- World Languages and Cultures (0)
- Political Science (0)
- Social Work (0)
- More Departments
- Student Affairs (1)
- Native American Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- Center for Community Engagement (0)
- Latinx Cultural Center (0)
- Student Involvement & Leadership Center/USUSA (0)
- Campus Recreation (0)
- The HURD (0)
- Veterans Resource Office (0)
- Student Club/Organization (0)
- Aggie Blue Bikes (0)
- SAAVi Office (0)
- Counseling and Prevention Services (1)
- More Departments
- Utah State University (1)
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Women’s Basketball (0)
- Men’s Tennis (0)
- Football (0)
- Men’s Basketball (0)
- Cross Country (0)
- Track and Field (0)
- Men’s Golf (0)
- Volleyball (0)
- Softball (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- University Inn (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- Dining Services (0)
- Public safety (0)
- Conference Center (0)
- Facilities (0)
- Publication Design and Production (0)
- Parking and Transportation Services (0)
- Controller's Office (0)
- Human Resources (0)
- Housing (0)
- Campus Store (0)
- Wellness Program (0)
- More Departments
- College of Agriculture and Applied Sciences (0)
- School of Veterinary Medicine (0)
- School of Applied Sciences, Technology & Education (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Poisonous Plant Lab (0)
- Agricultural Experiment Station (0)
- Applied Economics (0)
- Landscape Architecture and Environmental Planning (0)
- Nutrition, Dietetics & Food Sciences (0)
- Plants, Soils & Climate (0)
- Laboratory Animal Research Center (0)
- Aggie Ice Cream (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Space Dynamics Laboratory (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Biological Engineering (0)
- Engineering Education (0)
- American Society of Mechanical Engineers (ASME) (0)
- Civil and Environmental Engineering (0)
- More Departments
- Quinney College of Natural Resources (0)
- Wildland Resources (0)
- Institute for Outdoor Recreation and Tourism (0)
- Watershed Sciences (0)
- Environment and Society (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Veterinary Medicine (0)
- Emma Eccles Jones College of Education & Human Services (0)
- Instructional Technology and Learning Sciences (0)
- Human Development and Family Studies (0)
- Communicative Disorders and Deaf Education (0)
- Institute for Disability Research, Policy & Practice (0)
- Emma Eccles Jones Early Childhood Center (0)
- Edith Bowen Laboratory School (0)
- Nursing and Health Professions (0)
- Kinesiology and Health Science (0)
- School of Teacher Education and Leadership (0)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- Psychology (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Multiple Sponsors (0)
- Office of Research (0)
- Provost & Executive Vice President (0)
- Aggie First Scholars (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Career Design Center (0)
- Admissions (0)
- Financial Aid (0)
- Honors (0)
- Student Orientation and Transition Services (0)
- Empowering Teaching Excellence (0)
- Student Achievement Collaborative (0)
- Faculty Senate (0)
- Registrar's Office (0)
- Tenure Academy (0)
- Office of Global Engagement (0)
- Study Abroad (0)
- School of Graduate Studies (0)
- University Advising (0)
- More Departments
- University Marketing and Communications (0)
- Other (0)
- More Departments