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