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