Upcoming Events
[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
[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: Magic, Gandhi, and balding: matrix methods for stochastic dynamic programming
Conference/Seminar
Speaker: Jody Reimer, University of Utah
Abstract: What unites all of the things listed in this title? You'll have to show up to find out. This work is based on the concept of tradeoffs, a central idea in ecology and evolutionary biology. For example, the evolution of life history strategies is often framed in the language of tradeoffs. Behavioural ecologists may be interested in the tradeoffs inherent in the allocation of time (e.g., between foraging and vigilance) and resources (e.g., how much energy to invest in a reproductive attempt). Conservationists and wildlife managers must also consider tradeoffs between cost, political pressures, and management goals. Stochastic dynamic programming (SDP) is a powerful and flexible method for exploring optimal tradeoffs and has been used in a broad range of applications. In the last 30 years, concomitant with the development of SDP methods in ecology and evolution, matrix methods have emerged as another powerful tool for analyzing ecological systems.
[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
Data, Models, Errors, And Uncertainty
Conference/Seminar
Talk by Eric Kostelich, President's Professor, School of Mathematical and Statistical Sciences - ASU
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 (201)
- Special Event (52)
- Panel Discussion/Presentation (49)
- Student Activities (30)
- Ceremony/Awards/Celebration (13)
- Social/Networking (11)
- Lecture/Readings (9)
- Meeting (8)
- Workshop/Training (7)
- Exhibition (5)
- Information/Orientation (5)
- Fair/Festival (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
- General Public (0)
- Students (0)
- Alumni (0)
- Faculty (0)
- Staff (0)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Men’s Tennis (0)
- Softball (0)
- Football (0)
- Men’s Golf (0)
- Men’s Basketball (0)
- Cross Country (0)
- Track and Field (0)
- Volleyball (0)
- Women’s Soccer (0)
- Women’s Basketball (0)
- Women’s Gymnastics (0)
- More Departments
- Finance and Administrative Services (0)
- Public safety (0)
- Parking and Transportation Services (0)
- Publication Design and Production (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- University Inn (0)
- Wellness Program (0)
- Conference Center (0)
- Controller's Office (0)
- Campus Store (0)
- Human Resources (0)
- Housing (0)
- Dining Services (0)
- Facilities (0)
- More Departments
- Caine College of the Arts (0)
- College of Agriculture and Applied Sciences (0)
- School of Veterinary Medicine (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Landscape Architecture and Environmental Planning (0)
- Poisonous Plant Lab (0)
- Nutrition, Dietetics & Food Sciences (0)
- School of Applied Sciences, Technology & Education (0)
- Plants, Soils & Climate (0)
- Laboratory Animal Research Center (0)
- Agricultural Experiment Station (0)
- Aggie Ice Cream (0)
- Applied Economics (0)
- More Departments
- College of Engineering (0)
- Space Dynamics Laboratory (0)
- Electrical and Computer Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Engineering Education (0)
- Biological Engineering (0)
- Civil and Environmental Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- More Departments
- College of Humanities & Social Sciences (0)
- Communication Studies and Philosophy (0)
- English (0)
- Heravi Peace Institute (0)
- Community and Natural Resources Institute (0)
- Center for Intersectional Gender Studies and Research (0)
- CHaSS Research (0)
- Center for Anticipatory Intelligence (0)
- Aerospace Studies (Air Force ROTC) (0)
- World Languages and Cultures (0)
- Political Science (0)
- Social Work (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- Intensive English Language Institute (0)
- History (0)
- Mountain West Center for Regional Studies (0)
- Museum of Anthropology (0)
- Interfaith Initiative (0)
- Journalism and Communication (0)
- Military Science (Army ROTC) (0)
- More Departments
- Quinney College of Natural Resources (0)
- Wildland Resources (0)
- Watershed Sciences (0)
- Environment and Society (0)
- Institute for Outdoor Recreation and Tourism (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Veterinary Medicine (0)
- College of Science (0)
- Intermountain Herbarium (0)
- Geosciences (0)
- Physics (0)
- Center for Atmospheric and Space Studies (0)
- Mathematics and Statistics (0)
- Chemistry and Biochemistry (0)
- Computer Science (0)
- Biology (0)
- More Departments
- 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)
- Edith Bowen Laboratory School (0)
- Nursing and Health Professions (0)
- Kinesiology and Health Science (0)
- Institute for Disability Research, Policy & Practice (0)
- Emma Eccles Jones Early Childhood Center (0)
- Sorenson Center for Clinical Excellence (0)
- Psychology (0)
- School of Teacher Education and Leadership (0)
- Special Education and Rehabilitation (0)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Cache County (0)
- Carbon County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Wasatch County (0)
- Wasatch Front (0)
- Washington County (0)
- Davis County (0)
- Wayne County (0)
- Duchesne County (0)
- Weber County (0)
- Salt Lake County (0)
- San Juan County (0)
- Beaver County (0)
- Sanpete County (0)
- Box Elder County (0)
- Sevier County (0)
- Summit County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- Piute County (0)
- Rich County (0)
- Emery County (0)
- Garfield County (0)
- 4-H (0)
- Grand County (0)
- Iron County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- FJ Management Center for Student Success (0)
- Global Learning Experience (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)
- Master of Financial Economics (MFE) (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- Real Estate Association (0)
- Sales Club (0)
- BI Group (0)
- School of Accountancy (0)
- She's Daring Mighty Things (0)
- Business Council (0)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- USU Pre-Law Society (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- International Business Association (0)
- Management Department (0)
- Data Analytics & Information Systems Department (0)
- Marketing and Strategy Department (0)
- Covey Leadership Center (0)
- Master in Human Resources (MHR) (0)
- Huntsman Scholars (0)
- Institute of Management Accountants (IMA) (0)
- Investment Banking Club (0)
- Economics and Finance Department (0)
- Finance and Economics Club (0)
- Financial Planning Association (FPA) (0)
- Association for Information Systems (AIS) (0)
- Entrepreneurship Center (0)
- Entrepreneurship Club (0)
- Beta Alpha Psi (BAP) (0)
- Analytics Solutions Center (0)
- Healthcare Administration Club (HAC) (0)
- Huntsman Marketing Association (0)
- More Departments
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of Research (0)
- President's Office (0)
- Provost & Executive Vice President (0)
- Student Orientation and Transition Services (0)
- Empowering Teaching Excellence (0)
- Career Design Center (0)
- Financial Aid (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Honors (0)
- Admissions (0)
- Faculty Senate (0)
- Aggie First Scholars (0)
- University Advising (0)
- Registrar's Office (0)
- Office of Global Engagement (0)
- School of Graduate Studies (0)
- Student Achievement Collaborative (0)
- Study Abroad (0)
- Tenure Academy (0)
- More Departments
- Statewide Campuses (0)
- Student Affairs (0)
- Christensen Office of Social Action and Sustainability (0)
- Student Involvement & Leadership Center/USUSA (0)
- Counseling and Prevention Services (0)
- The HURD (0)
- Veterans Resource Office (0)
- Center for Community Engagement (0)
- Student Club/Organization (0)
- Aggie Blue Bikes (0)
- Campus Recreation (0)
- Latinx Cultural Center (0)
- SAAVi Office (0)
- Native American Cultural Center (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- More Departments