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
- College of Engineering (1)
- Electrical and Computer Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Engineering Education (0)
- Biological Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Space Dynamics Laboratory (1)
- Civil and Environmental Engineering (0)
- More Departments
- College of Humanities & Social Sciences (1)
- Journalism and Communication (0)
- Military Science (Army ROTC) (0)
- Mountain West Center for Regional Studies (0)
- Museum of Anthropology (0)
- Communication Studies and Philosophy (0)
- Intensive English Language Institute (0)
- CHaSS Research (0)
- Interfaith Initiative (0)
- History (0)
- English (0)
- Heravi Peace Institute (0)
- World Languages and Cultures (0)
- Community and Natural Resources Institute (0)
- Political Science (0)
- Social Work (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
- 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)
- Financial Planning Association (FPA) (0)
- FJ Management Center for Student Success (0)
- Global Learning Experience (0)
- Healthcare Administration Club (HAC) (0)
- Business Council (0)
- Huntsman Marketing Association (0)
- Huntsman Scholars (0)
- Association for Information Systems (AIS) (0)
- BI Group (0)
- Entrepreneurship Center (0)
- Entrepreneurship Club (0)
- Economics and Finance Department (0)
- Beta Alpha Psi (BAP) (0)
- Master of Business Administration (MBA) (0)
- Covey Leadership Center (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)
- International Business Association (0)
- Pro-Sales (0)
- Management Department (0)
- Real Estate Association (0)
- Data Analytics & Information Systems Department (0)
- Analytics Solutions Center (0)
- Sales Club (0)
- Marketing and Strategy Department (0)
- School of Accountancy (0)
- Master in Human Resources (MHR) (0)
- She's Daring Mighty Things (0)
- Master of Accounting (MAcc) (0)
- Finance and Economics Club (1)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- Institute of Management Accountants (IMA) (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- Investment Banking Club (0)
- USU Pre-Law Society (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- More Departments
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Men’s Tennis (0)
- Men’s Golf (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Volleyball (0)
- Women’s Basketball (0)
- Football (0)
- Softball (0)
- Men’s Basketball (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)
- Wellness Program (0)
- Facilities (0)
- Publication Design and Production (0)
- Dining Services (0)
- Parking and Transportation Services (0)
- Public safety (0)
- Human Resources (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)
- School of Veterinary Medicine (0)
- Poisonous Plant Lab (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- School of Applied Sciences, Technology & Education (0)
- Landscape Architecture and Environmental Planning (0)
- Plants, Soils & Climate (0)
- Agricultural Experiment Station (0)
- Nutrition, Dietetics & Food Sciences (0)
- Laboratory Animal Research Center (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- More Departments
- Quinney College of Natural Resources (0)
- Wildland Resources (0)
- Watershed Sciences (0)
- Institute for Outdoor Recreation and Tourism (0)
- Environment and Society (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Veterinary Medicine (0)
- Emma Eccles Jones College of Education & Human Services (0)
- Special Education and Rehabilitation (0)
- Instructional Technology and Learning Sciences (0)
- Human Development and Family Studies (0)
- Communicative Disorders and Deaf Education (0)
- School of Teacher Education and Leadership (0)
- Emma Eccles Jones Early Childhood Center (0)
- Edith Bowen Laboratory School (0)
- Institute for Disability Research, Policy & Practice (0)
- Sorenson Center for Clinical Excellence (0)
- Kinesiology and Health Science (0)
- Nursing and Health Professions (0)
- Psychology (0)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Grand County (0)
- Iron County (0)
- Emery County (0)
- Garfield County (0)
- Carbon County (0)
- Summit County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Cache County (0)
- Beaver County (0)
- Wasatch County (0)
- Wasatch Front (0)
- Box Elder County (0)
- Washington County (0)
- Wayne County (0)
- Weber County (0)
- Davis County (0)
- Duchesne County (0)
- Salt Lake County (0)
- Morgan County (0)
- 4-H (0)
- Ogden Botanical Center (0)
- San Juan County (0)
- Piute County (0)
- Rich County (0)
- Sanpete County (0)
- Sevier 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)
- Student Orientation and Transition Services (0)
- Student Achievement Collaborative (0)
- Study Abroad (0)
- Tenure Academy (0)
- Registrar's Office (0)
- Empowering Teaching Excellence (0)
- School of Graduate Studies (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Office of Global Engagement (0)
- Financial Aid (0)
- Honors (0)
- Faculty Senate (0)
- Career Design Center (0)
- University Advising (0)
- Admissions (0)
- Aggie First Scholars (0)
- More Departments
- Statewide Campuses (0)
- Student Affairs (0)
- Native American Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- Latinx Cultural Center (0)
- Student Involvement & Leadership Center/USUSA (0)
- Counseling and Prevention Services (0)
- The HURD (0)
- Veterans Resource Office (0)
- SAAVi Office (0)
- Student Club/Organization (0)
- Campus Recreation (0)
- Aggie Blue Bikes (0)
- Center for Community Engagement (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- More Departments