Upcoming Events
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.
Data, Models, Errors, And Uncertainty
Conference/Seminar
Talk by Eric Kostelich, President's Professor, School of Mathematical and Statistical Sciences - ASU
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 (25)
- Panel Discussion/Presentation (24)
- Student Activities (3)
- Meeting (2)
- Special Event (2)
- Workshop/Training (1)
- Academic Calendar (0)
- Arts/Entertainment (0)
- Fair/Festival (0)
- Ceremony/Awards/Celebration (0)
- Cultural (0)
- Date/Deadline (0)
- Exhibition (0)
- Fundraiser (0)
- Information/Orientation (0)
- Lecture/Readings (0)
- Breakfast/Luncheon/Dinner (0)
- Reception/Reunion (0)
- Recreation (0)
- Social/Networking (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
- 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)
- Finance and Economics Club (0)
- Entrepreneurship 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)
- Master of Financial Economics (MFE) (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- BI Group (0)
- Real Estate Association (0)
- Business Council (0)
- Sales Club (0)
- School of Accountancy (0)
- She's Daring Mighty Things (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)
- Management Department (0)
- Data Analytics & Information Systems Department (0)
- Marketing and Strategy Department (0)
- Economics and Finance Department (0)
- Master in Human Resources (MHR) (0)
- Huntsman Scholars (0)
- Institute of Management Accountants (IMA) (0)
- Covey Leadership Center (0)
- Investment Banking Club (0)
- International Business Association (0)
- Beta Alpha Psi (BAP) (0)
- Analytics Solutions Center (0)
- Association for Information Systems (AIS) (0)
- Entrepreneurship Center (1)
- Financial Planning Association (FPA) (1)
- More Departments
- USU Eastern (3)
- College of Science (2)
- Center for Atmospheric and Space Studies (0)
- Intermountain Herbarium (0)
- Geosciences (0)
- Chemistry and Biochemistry (0)
- Physics (0)
- Mathematics and Statistics (0)
- Computer Science (0)
- Biology (0)
- More Departments
- Extension (2)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Morgan County (0)
- Cache County (0)
- Carbon County (0)
- Grand County (0)
- Iron County (0)
- Beaver County (0)
- Emery County (0)
- Box Elder County (0)
- 4-H (0)
- Garfield County (0)
- Davis County (0)
- Swaner Preserve EcoCenter (2)
- Duchesne County (0)
- Summit County (0)
- Rich County (0)
- Wasatch County (0)
- Salt Lake County (0)
- Thanksgiving Point (0)
- Ogden Botanical Center (0)
- Piute County (0)
- Wasatch Front (0)
- Tooele County (0)
- Washington County (0)
- San Juan County (0)
- Uintah County (0)
- Wayne County (0)
- Sanpete County (0)
- USU Botanical Center (0)
- Utah County (0)
- Sevier County (0)
- Weber County (0)
- More Departments
- Merrill-Cazier Library (2)
- Statewide Campuses (2)
- Moab (0)
- Southwest Region (0)
- More Departments
- College of Humanities & Social Sciences (1)
- Journalism and Communication (0)
- Military Science (Army ROTC) (0)
- Communication Studies and Philosophy (0)
- Mountain West Center for Regional Studies (0)
- Intensive English Language Institute (0)
- Utah Public Radio (KUSU) (0)
- Museum of Anthropology (0)
- World Languages and Cultures (0)
- Interfaith Initiative (0)
- Heravi Peace Institute (0)
- CHaSS Research (0)
- Political Science (0)
- Social Work (0)
- History (0)
- Sociology, Anthropology and Criminal Justice (0)
- English (0)
- Center for Anticipatory Intelligence (0)
- Community and Natural Resources Institute (0)
- Aerospace Studies (Air Force ROTC) (0)
- Center for Intersectional Gender Studies and Research (0)
- More Departments
- Student Affairs (1)
- Native American Cultural Center (0)
- Latinx Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- Student Involvement & Leadership Center/USUSA (0)
- The HURD (0)
- Veterans Resource Office (0)
- Campus Recreation (0)
- SAAVi Office (0)
- Student Club/Organization (0)
- Center for Community Engagement (0)
- Counseling and Prevention Services (1)
- Aggie Blue Bikes (0)
- More Departments
- Utah State University (1)
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Women’s Gymnastics (0)
- Men’s Tennis (0)
- Women’s Soccer (0)
- Women’s Basketball (0)
- Men’s Golf (0)
- Track and Field (0)
- Football (0)
- Volleyball (0)
- Men’s Basketball (0)
- Softball (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- Dining Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- Facilities (0)
- University Inn (0)
- Public safety (0)
- Conference Center (0)
- Controller's Office (0)
- Publication Design and Production (0)
- Human Resources (0)
- Campus Store (0)
- Parking and Transportation Services (0)
- Housing (0)
- Wellness Program (0)
- More Departments
- Caine College of the Arts (0)
- Theatre Arts (0)
- Music (0)
- More Departments
- College of Agriculture and Applied Sciences (0)
- School of Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- Poisonous Plant Lab (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Plants, Soils & Climate (0)
- Landscape Architecture and Environmental Planning (0)
- Nutrition, Dietetics & Food Sciences (0)
- Laboratory Animal Research Center (0)
- Agricultural Experiment Station (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Biological Engineering (0)
- Engineering Education (0)
- Society of Women Engineers (SWE) (0)
- Civil and Environmental Engineering (0)
- Space Dynamics Laboratory (0)
- American Society of Mechanical Engineers (ASME) (0)
- More Departments
- Quinney College of Natural Resources (0)
- Institute for Outdoor Recreation and Tourism (0)
- Wildland Resources (0)
- Environment and Society (0)
- Watershed Sciences (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Veterinary Medicine (0)
- Emma Eccles Jones College of Education & Human Services (0)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (0)
- Psychology (0)
- Instructional Technology and Learning Sciences (0)
- Human Development and Family Studies (0)
- Emma Eccles Jones Early Childhood Center (0)
- Communicative Disorders and Deaf Education (0)
- Kinesiology and Health Science (0)
- Institute for Disability Research, Policy & Practice (0)
- Edith Bowen Laboratory School (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Multiple Sponsors (0)
- Office of Research (0)
- President's Office (0)
- Provost & Executive Vice President (0)
- Student Orientation and Transition Services (0)
- Student Achievement Collaborative (0)
- Study Abroad (0)
- Tenure Academy (0)
- Registrar's Office (0)
- School of Graduate Studies (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Office of Global Engagement (0)
- Career Design Center (0)
- Admissions (0)
- Financial Aid (0)
- Aggie First Scholars (0)
- Honors (0)
- University Advising (0)
- Empowering Teaching Excellence (0)
- Faculty Senate (0)
- More Departments
- University Marketing and Communications (0)
- Other (0)
- More Departments