Upcoming Events
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
Get Away Special General Team Meeting
Meeting
The Get Away Special Team is an undergraduate, extracurricular, small satellite research team within the Utah State University Department of Physics. This meeting is where sub-teams collaborate to ensure the success of projects such as a NASA CSLI-selectee CubeSat GASPACS and other small satellite research. All majors in any college are welcome to attend!
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 (191)
- Panel Discussion/Presentation (48)
- Special Event (48)
- Student Activities (24)
- Ceremony/Awards/Celebration (13)
- Social/Networking (11)
- Meeting (8)
- Lecture/Readings (7)
- Workshop/Training (7)
- Fair/Festival (4)
- Information/Orientation (4)
- Arts/Entertainment (3)
- Cultural (3)
- Fundraiser (2)
- Exhibition (1)
- Reception/Reunion (1)
- Academic Calendar (0)
- Date/Deadline (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
- Extension (1)
- Iron County (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Garfield County (0)
- Carbon County (0)
- Grand County (0)
- Emery County (0)
- Beaver County (0)
- Cache County (0)
- Box Elder County (0)
- Duchesne County (0)
- Davis County (0)
- Sevier County (0)
- Swaner Preserve EcoCenter (1)
- Summit County (0)
- Thanksgiving Point (0)
- Tooele County (0)
- 4-H (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Piute County (0)
- Wasatch County (0)
- Rich County (0)
- Wasatch Front (0)
- Salt Lake County (0)
- Washington County (0)
- San Juan County (0)
- Wayne County (0)
- Sanpete County (0)
- Weber County (0)
- Millard County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- More Departments
- Advancement (0)
- Athletics (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Women’s Tennis (0)
- Men’s Tennis (0)
- Volleyball (0)
- Men’s Golf (0)
- Women’s Basketball (0)
- Softball (0)
- Track and Field (0)
- Football (0)
- Men’s Basketball (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Publication Design and Production (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- Parking and Transportation Services (0)
- Public safety (0)
- Facilities (0)
- Human Resources (0)
- Dining Services (0)
- Information Technology (0)
- University Inn (0)
- Housing (0)
- Wellness Program (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 Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- Plants, Soils & Climate (0)
- Poisonous Plant Lab (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Nutrition, Dietetics & Food Sciences (0)
- Applied Economics (0)
- Agricultural Experiment Station (0)
- Landscape Architecture and Environmental Planning (0)
- Aggie Ice Cream (0)
- Laboratory Animal Research Center (0)
- More Departments
- College of Engineering (0)
- Space Dynamics Laboratory (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Electrical and Computer Engineering (0)
- Engineering Education (0)
- Civil and Environmental Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Biological Engineering (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)
- Aerospace Studies (Air Force ROTC) (0)
- Languages, Philosophy and Communication Studies (0)
- Latin American Studies (0)
- English (0)
- Journalism and Communication (0)
- Asian Studies (0)
- Interfaith Initiative (0)
- SAAVi Office (0)
- History (0)
- Sociology, Social Work and Anthropology (0)
- Intensive English Language Institute (0)
- Religious Studies (0)
- Center for Intersectional Gender Studies and Research (0)
- Utah Public Radio (KUSU) (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 Science (0)
- Intermountain Herbarium (0)
- Geosciences (0)
- Physics (0)
- Mathematics and Statistics (0)
- Center for Atmospheric and Space Studies (0)
- Chemistry and Biochemistry (0)
- Biology (0)
- Computer Science (0)
- More Departments
- Diversity, Equity, and Inclusion (0)
- Native American Cultural Center (0)
- USU Eastern Center for Diversity & Inclusion (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)
- Human Development and Family Studies (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (0)
- Emma Eccles Jones Early Childhood Center (0)
- Instructional Technology and Learning Sciences (0)
- Kinesiology and Health Science (0)
- Institute for Disability Research, Policy & Practice (0)
- Communicative Disorders and Deaf Education (0)
- Edith Bowen Laboratory School (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- BI Group (0)
- Finance and Economics Club (0)
- Business Council (0)
- Financial Planning Association (FPA) (0)
- FJ Management Center for Student Success (0)
- Association for Information Systems (AIS) (0)
- Global Learning Experience (0)
- Beta Alpha Psi (BAP) (0)
- Healthcare Administration Club (HAC) (0)
- Economics and Finance Department (0)
- Entrepreneurship Center (0)
- Entrepreneurship Club (0)
- Master of Accounting (MAcc) (0)
- Covey Leadership Center (0)
- Master of Business Administration (MBA) (0)
- Analytics Solutions Center (0)
- Investment Banking Club (0)
- Master of Management Information Systems (MMIS) (0)
- Master of Science in Economics (MSE) (0)
- Huntsman Marketing Association (0)
- International Business Association (0)
- Master of Financial Economics (MFE) (0)
- Management Department (0)
- Phi Beta Lambda (PBL) (0)
- Huntsman Scholars (0)
- Data Analytics & Information Systems Department (0)
- Pro-Sales (0)
- Institute of Management Accountants (IMA) (0)
- Real Estate Association (0)
- Marketing and Strategy Department (0)
- Sales Club (0)
- Master in Human Resources (MHR) (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)
- More Departments
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of the Executive Vice President (0)
- 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)
- Nora Eccles Harrison Museum of Art (0)
- Aggie First Scholars (0)
- Financial Aid (0)
- Admissions (0)
- More Departments
- President's Office (0)
- Provost Office (0)
- Tenure Academy (0)
- Faculty Senate (0)
- University Advising (0)
- Honors (0)
- Study Abroad (0)
- Registrar's Office (0)
- School of Graduate Studies (0)
- Office of Global Engagement (0)
- Career Design Center (0)
- Empowering Teaching Excellence (0)
- More Departments
- Statewide Campuses (0)
- Office of Research (0)
- Student Affairs (0)
- Peace Corps Prep (0)
- Christensen Office of Social Action and Sustainability (0)
- CARE Office (0)
- Residence Life (0)
- Counseling and Psychological Services (0)
- Student Club/Organization (0)
- Fraternity and Sorority Life (0)
- Community Engaged Learning (0)
- Campus Recreation (0)
- Outdoor Programs (0)
- Center for Community Engagement (0)
- Education Outreach (0)
- Aggie Blue Bikes (0)
- The HURD (0)
- Utah Conservation Corps (0)
- Veterans Resource Office (0)
- Student Conduct and Community Standards (0)
- Student Health & Wellness Center (0)
- Student Involvement & Leadership Office/USUSA (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- More Departments