Upcoming Events
[CANCELED] Department of Physics Colloquium
Conference/Seminar
Weekly presentations on topics in physics.
[CANCELED] Chemistry & Biochemistry Departmental Seminar
Conference/Seminar
Mar 11 - Andrew Gewirth, University of Illinois Urbana-Champaign
Mar 18 - Chunsheng Wang, University of Maryland
Mar 25 - Li Li, University of Nevada, Reno
Apr 1 - Hansen Seminar: Amy Rosenzweig, Northwestern University - Old Main 115
Apr 7 (Tuesday) - Sharon Hammes-Schiffer, Yale University - ESLC 046
Apr 15 - Jeffrey Moore, University of Illinois (Urbana-Champaign)
Apr 22 - Lawrence Que, University of Minnesota
Apr 29 - Yugang Sun, Temple University
[CANCELED] Department of Physics Colloquium
Conference/Seminar
Weekly presentations on topics in physics.
[CANCELED] Chemistry & Biochemistry Departmental Seminar
Conference/Seminar
Mar 11 - Andrew Gewirth, University of Illinois Urbana-Champaign
Mar 18 - Chunsheng Wang, University of Maryland
Mar 25 - Li Li, University of Nevada, Reno
Apr 1 - Hansen Seminar: Amy Rosenzweig, Northwestern University - Old Main 115
Apr 7 (Tuesday) - Sharon Hammes-Schiffer, Yale University - ESLC 046
Apr 15 - Jeffrey Moore, University of Illinois (Urbana-Champaign)
Apr 22 - Lawrence Que, University of Minnesota
Apr 29 - Yugang Sun, Temple University
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.
[CANCELED] Department of Physics Colloquium
Conference/Seminar
Weekly presentations on topics in physics.
[CANCELED] Chemistry & Biochemistry Departmental Seminar
Conference/Seminar
Mar 11 - Andrew Gewirth, University of Illinois Urbana-Champaign
Mar 18 - Chunsheng Wang, University of Maryland
Mar 25 - Li Li, University of Nevada, Reno
Apr 1 - Hansen Seminar: Amy Rosenzweig, Northwestern University - Old Main 115
Apr 7 (Tuesday) - Sharon Hammes-Schiffer, Yale University - ESLC 046
Apr 15 - Jeffrey Moore, University of Illinois (Urbana-Champaign)
Apr 22 - Lawrence Que, University of Minnesota
Apr 29 - Yugang Sun, Temple University
Data, Models, Errors, And Uncertainty
Conference/Seminar
Talk by Eric Kostelich, President's Professor, School of Mathematical and Statistical Sciences - ASU
Geosciences Speaker Series: Beth Christensen
Conference/Seminar
Beth Christensen will present on Plate Tectonics - Climate Change.
[CANCELED] Department of Physics Colloquium
Conference/Seminar
Weekly presentations on topics in physics.
[CANCELED] Chemistry & Biochemistry Departmental Seminar
Conference/Seminar
Mar 11 - Andrew Gewirth, University of Illinois Urbana-Champaign
Mar 18 - Chunsheng Wang, University of Maryland
Mar 25 - Li Li, University of Nevada, Reno
Apr 1 - Hansen Seminar: Amy Rosenzweig, Northwestern University - Old Main 115
Apr 7 (Tuesday) - Sharon Hammes-Schiffer, Yale University - ESLC 046
Apr 15 - Jeffrey Moore, University of Illinois (Urbana-Champaign)
Apr 22 - Lawrence Que, University of Minnesota
Apr 29 - Yugang Sun, Temple University
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 (196)
- Panel Discussion/Presentation (27)
- Special Event (8)
- Meeting (7)
- Ceremony/Awards/Celebration (5)
- Social/Networking (5)
- Workshop/Training (5)
- Cultural (3)
- Lecture/Readings (3)
- Student Activities (3)
- Information/Orientation (2)
- Fundraiser (1)
- Reception/Reunion (1)
- Academic Calendar (0)
- Arts/Entertainment (0)
- Fair/Festival (0)
- Date/Deadline (0)
- Exhibition (0)
- Breakfast/Luncheon/Dinner (0)
- Recreation (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
- Advancement (0)
- Athletics (0)
- Men’s Tennis (0)
- Football (0)
- Men’s Basketball (0)
- Men’s Golf (0)
- Softball (0)
- Track and Field (0)
- Cross Country (0)
- Volleyball (0)
- Women’s Basketball (0)
- Women’s Tennis (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- More Departments
- Finance and Administrative Services (0)
- Conference Center (0)
- Facilities (0)
- Dining Services (0)
- Information Technology (0)
- Controller's Office (0)
- Campus Store (0)
- Housing (0)
- University Inn (0)
- Wellness Program (0)
- Parking and Transportation Services (0)
- Public safety (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- Human Resources (0)
- Publication Design and Production (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)
- Center for Integrated BioSystems (0)
- Landscape Architecture and Environmental Planning (0)
- Applied Economics (0)
- Laboratory Animal Research Center (0)
- Agricultural Experiment Station (0)
- Aggie Ice Cream (0)
- School of Veterinary Medicine (0)
- Plants, Soils & Climate (0)
- Nutrition, Dietetics & Food Sciences (0)
- Poisonous Plant Lab (0)
- School of Applied Sciences, Technology & Education (0)
- More Departments
- College of Engineering (0)
- Biological Engineering (0)
- Civil and Environmental Engineering (0)
- Electrical and Computer Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Mechanical and Aerospace Engineering (0)
- Engineering Education (0)
- Space Dynamics Laboratory (0)
- Society of Women Engineers (SWE) (0)
- More Departments
- College of Humanities & Social Sciences (0)
- Aerospace Studies (Air Force ROTC) (0)
- English (0)
- SAAVi Office (0)
- Sociology, Social Work and Anthropology (0)
- Asian Studies (0)
- Religious Studies (0)
- Interfaith Initiative (0)
- Utah Public Radio (KUSU) (0)
- History (0)
- Intensive English Language Institute (0)
- Center for Intersectional Gender Studies and Research (0)
- Journalism and Communication (0)
- Languages, Philosophy and Communication Studies (0)
- Latin American Studies (0)
- Museum of Anthropology (0)
- Political Science (0)
- Military Science (Army ROTC) (0)
- Mountain West Center for Regional Studies (0)
- More Departments
- Quinney College of Natural Resources (0)
- Institute for Outdoor Recreation and Tourism (0)
- Wildland Resources (0)
- Watershed Sciences (0)
- Environment and Society (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Veterinary Medicine (0)
- College of Science (0)
- Intermountain Herbarium (0)
- Geosciences (0)
- Center for Atmospheric and Space Studies (0)
- Biology (0)
- Physics (0)
- Chemistry and Biochemistry (0)
- Computer Science (0)
- Mathematics and Statistics (0)
- More Departments
- Inclusive Excellence (0)
- Native American Cultural Center (0)
- USU Eastern Center for Diversity & Inclusion (0)
- More Departments
- Emma Eccles Jones College of Education & Human Services (0)
- Human Development and Family Studies (0)
- Edith Bowen Laboratory School (0)
- Emma Eccles Jones Early Childhood Center (0)
- Instructional Technology and Learning Sciences (0)
- Institute for Disability Research, Policy & Practice (0)
- Kinesiology and Health Science (0)
- Psychology (0)
- Communicative Disorders and Deaf Education (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (0)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- More Departments
- Extension (0)
- Carbon County (0)
- Beaver County (0)
- Duchesne County (0)
- Cache County (0)
- Box Elder County (0)
- Summit County (0)
- Davis County (0)
- Swaner Preserve EcoCenter (0)
- Rich County (0)
- Thanksgiving Point (0)
- Salt Lake County (0)
- Tooele County (0)
- Uintah County (0)
- San Juan County (0)
- 4-H (0)
- USU Botanical Center (0)
- Sanpete County (0)
- Utah County (0)
- Wasatch County (0)
- Wasatch Front (0)
- Garfield County (0)
- Sevier County (0)
- Washington County (0)
- Wayne County (0)
- Millard County (0)
- Grand County (0)
- Weber County (0)
- Morgan County (0)
- Juab County (0)
- Ogden Botanical Center (0)
- Emery County (0)
- Piute County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Iron County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- BI Group (0)
- Business Council (0)
- Economics and Finance Department (0)
- Covey Leadership Center (0)
- Association for Information Systems (AIS) (0)
- Beta Alpha Psi (BAP) (0)
- Analytics Solutions Center (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)
- Investment Banking Club (0)
- Master of Financial Economics (MFE) (0)
- International Business Association (0)
- Phi Beta Lambda (PBL) (0)
- Management Department (0)
- Data Analytics & Information Systems Department (0)
- Pro-Sales (0)
- Real Estate Association (0)
- Marketing and Strategy Department (0)
- Sales Club (0)
- Master in Human Resources (MHR) (0)
- School of Accountancy (0)
- Huntsman Marketing Association (0)
- She's Daring Mighty Things (0)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- Huntsman Scholars (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- USU Pre-Law Society (0)
- Institute of Management Accountants (IMA) (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- FJ Management Center for Student Success (0)
- Global Learning Experience (0)
- Healthcare Administration Club (HAC) (0)
- Entrepreneurship Center (0)
- Finance and Economics Club (0)
- Entrepreneurship Club (0)
- Financial Planning Association (FPA) (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)
- Academic Success Center (ASC) (0)
- Office of Data and Analytics (0)
- Admissions (0)
- Aggie First Scholars (0)
- Financial Aid (0)
- Student Achievement Collaborative (0)
- Student Orientation and Transition Services (0)
- More Departments
- President's Office (0)
- Provost Office (0)
- Faculty Senate (0)
- Honors (0)
- Career Design Center (0)
- Registrar's Office (0)
- Empowering Teaching Excellence (0)
- Office of Global Engagement (0)
- Study Abroad (0)
- School of Graduate Studies (0)
- Tenure Academy (0)
- University Advising (0)
- More Departments
- Statewide Campuses (0)
- Office of Research (0)
- Student Affairs (0)
- Christensen Office of Social Action and Sustainability (0)
- Campus Recreation (0)
- CARE Office (0)
- Center for Community Engagement (0)
- Counseling and Psychological Services (0)
- Community Engaged Learning (0)
- Aggie Blue Bikes (0)
- The HURD (0)
- Utah Conservation Corps (0)
- Veterans Resource Office (0)
- Student Health & Wellness Center (0)
- Student Involvement & Leadership Office/USUSA (0)
- Fraternity and Sorority Life (0)
- Outdoor Programs (0)
- Education Outreach (0)
- Residence Life (0)
- Student Club/Organization (0)
- Student Conduct and Community Standards (0)
- Peace Corps Prep (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- Academic Affairs (0)
- More Departments