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
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 (199)
- Special Event (52)
- Panel Discussion/Presentation (48)
- Student Activities (26)
- 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 (1)
- Alumni (1)
- Faculty (1)
- Staff (1)
- General Public (0)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- College of Science (1)
- Intermountain Herbarium (0)
- Center for Atmospheric and Space Studies (0)
- Geosciences (0)
- Chemistry and Biochemistry (0)
- Physics (0)
- Computer Science (0)
- Mathematics and Statistics (0)
- Biology (0)
- More Departments
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Men’s Golf (0)
- Women’s Basketball (0)
- Men’s Tennis (0)
- Volleyball (0)
- Football (0)
- Men’s Basketball (0)
- Softball (0)
- Track and Field (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- University Inn (0)
- Public safety (0)
- Publication Design and Production (0)
- Human Resources (0)
- Parking and Transportation Services (0)
- Facilities (0)
- Dining Services (0)
- Wellness Program (0)
- Information Technology (0)
- Housing (0)
- Conference Center (0)
- Campus Store (0)
- Controller's Office (0)
- More Departments
- Caine College of the Arts (0)
- College of Agriculture and Applied Sciences (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Agricultural Experiment Station (0)
- Landscape Architecture and Environmental Planning (0)
- Laboratory Animal Research Center (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- Nutrition, Dietetics & Food Sciences (0)
- Poisonous Plant Lab (0)
- Plants, Soils & Climate (0)
- School of Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Biological Engineering (0)
- Civil and Environmental Engineering (0)
- Mechanical and Aerospace Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Society of Women Engineers (SWE) (0)
- Engineering Education (0)
- Space Dynamics Laboratory (0)
- More Departments
- College of Humanities & Social Sciences (0)
- Interfaith Initiative (0)
- Journalism and Communication (0)
- Communication Studies and Philosophy (0)
- Community and Natural Resources Institute (0)
- Intensive English Language Institute (0)
- CHaSS Research (0)
- World Languages and Cultures (0)
- English (0)
- History (0)
- Heravi Peace Institute (0)
- Military Science (Army ROTC) (0)
- Political Science (0)
- Mountain West Center for Regional Studies (0)
- Social Work (0)
- Museum of Anthropology (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- Center for Intersectional Gender Studies and Research (0)
- Center for Anticipatory Intelligence (0)
- Aerospace Studies (Air Force ROTC) (0)
- More Departments
- Quinney College of Natural Resources (0)
- Wildland Resources (0)
- Watershed Sciences (0)
- Environment and Society (0)
- Berryman Institute for Wildlife Damage Management (0)
- Institute for Outdoor Recreation and Tourism (0)
- More Departments
- College of Veterinary Medicine (0)
- Emma Eccles Jones College of Education & Human Services (0)
- Instructional Technology and Learning Sciences (0)
- Communicative Disorders and Deaf Education (0)
- Edith Bowen Laboratory School (0)
- Human Development and Family Studies (0)
- Institute for Disability Research, Policy & Practice (0)
- Emma Eccles Jones Early Childhood Center (0)
- Kinesiology and Health Science (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (0)
- Psychology (0)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Beaver County (0)
- Cache County (0)
- Box Elder County (0)
- Carbon County (0)
- Davis County (0)
- Summit County (0)
- Duchesne County (0)
- Salt Lake County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- San Juan County (0)
- Tooele County (0)
- Uintah County (0)
- Sanpete County (0)
- USU Botanical Center (0)
- 4-H (0)
- Sevier County (0)
- Utah County (0)
- Wasatch County (0)
- Morgan County (0)
- Wasatch Front (0)
- Ogden Botanical Center (0)
- Washington County (0)
- Wayne County (0)
- Piute County (0)
- Weber County (0)
- Rich County (0)
- Emery County (0)
- Grand County (0)
- Garfield County (0)
- Iron County (0)
- Logan Campus Extension (0)
- Millard County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- Financial Planning Association (FPA) (0)
- Master of Accounting (MAcc) (0)
- Master of Business Administration (MBA) (0)
- Business Council (0)
- Master of Management Information Systems (MMIS) (0)
- Master of Science in Economics (MSE) (0)
- Master of Financial Economics (MFE) (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- Beta Alpha Psi (BAP) (0)
- Economics and Finance Department (0)
- Real Estate Association (0)
- Sales Club (0)
- BI Group (0)
- Entrepreneurship Center (0)
- School of Accountancy (0)
- Covey Leadership Center (0)
- She's Daring Mighty Things (0)
- Analytics Solutions Center (0)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- Association for Information Systems (AIS) (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- USU Pre-Law Society (0)
- Finance and Economics Club (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- International Business Association (0)
- Management Department (0)
- Global Learning Experience (0)
- Entrepreneurship Club (0)
- Data Analytics & Information Systems Department (0)
- Healthcare Administration Club (HAC) (0)
- Marketing and Strategy Department (0)
- Institute of Management Accountants (IMA) (0)
- Huntsman Marketing Association (0)
- Master in Human Resources (MHR) (0)
- Huntsman Scholars (0)
- Investment Banking Club (0)
- FJ Management Center for Student Success (0)
- More Departments
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of the Executive Vice President (0)
- Aggie First Scholars (0)
- Admissions (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Academic Success Center (ASC) (0)
- Student Achievement Collaborative (0)
- Office of Data and Analytics (0)
- Financial Aid (0)
- Student Orientation and Transition Services (0)
- More Departments
- President's Office (0)
- Provost Office (0)
- Honors (0)
- Faculty Senate (0)
- Empowering Teaching Excellence (0)
- Registrar's Office (0)
- Career Design Center (0)
- School of Graduate Studies (0)
- Office of Global Engagement (0)
- Tenure Academy (0)
- Study Abroad (0)
- University Advising (0)
- More Departments
- Statewide Campuses (0)
- Office of Research (0)
- Student Affairs (0)
- Center for Community Engagement (0)
- CARE Office (0)
- Campus Recreation (0)
- Community Engaged Learning (0)
- Counseling and Psychological Services (0)
- Christensen Office of Social Action and Sustainability (0)
- Aggie Blue Bikes (0)
- Student Health & Wellness Center (0)
- Student Involvement & Leadership Office/USUSA (0)
- The HURD (0)
- SAAVi Office (0)
- Utah Conservation Corps (0)
- Veterans Resource Office (0)
- Student Club/Organization (0)
- Student Conduct and Community Standards (0)
- Education Outreach (0)
- Fraternity and Sorority Life (0)
- Disabilty Resource Center (0)
- Outdoor Programs (0)
- Peace Corps Prep (0)
- Latinx Cultural Center (0)
- Residence Life (0)
- Native American Cultural Center (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- Academic Affairs (0)
- More Departments