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