Upcoming Events
Biological Engineering Department Seminar Series
Conference/Seminar
The BE Department's Seminar Series Speaker, Ms. Rachel Muller, Project Engineer at Merit Medical , will present: "Using Your Resources; A Look At Project Management In Engineering".
February 24th at 12:30 pm in ENGR 326
Behind the scenes of Merit Medical’s success as a global leader in medical manufacturing are the people that make it possible. Learn about what it takes to bring a product to market, key project management strategies, and vital skills to learn as an engineer before entering the medical device industry.
A meet and greet with Ms. Muller will be held immediately following the seminar in ENGR 326.
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
Diversity Conference
Conference/Seminar
The Diversity & Inclusion Conference is an annual event for students, faculty, staff and community members to explore issues of diversity and social justice on a deeper level.
Register online at https://usueastern.edu/cdi/conference
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
- Workshop/Training (1706)
- Arts/Entertainment (823)
- Conference/Seminar (505)
- Special Event (421)
- Exhibition (401)
- Panel Discussion/Presentation (391)
- Recreation (366)
- Sports (339)
- Student Activities (278)
- Academic Calendar (268)
- Social/Networking (188)
- Meeting (175)
- Lecture/Readings (173)
- Information/Orientation (146)
- Fair/Festival (123)
- Cultural (121)
- Ceremony/Awards/Celebration (95)
- Fundraiser (80)
- Breakfast/Luncheon/Dinner (44)
- Date/Deadline (17)
- Reception/Reunion (9)
- More Types
Target Audiences
- All Audiences
- Students (1)
- General Public (0)
- Alumni (0)
- Faculty (0)
- Staff (0)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Men’s Tennis (0)
- Softball (0)
- Men’s Golf (0)
- Track and Field (0)
- Football (0)
- Volleyball (0)
- Women’s Soccer (0)
- Men’s Basketball (0)
- Women’s Basketball (0)
- Women’s Gymnastics (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- Facilities (0)
- University Inn (0)
- Wellness Program (0)
- Public safety (0)
- Dining Services (0)
- Publication Design and Production (0)
- Conference Center (0)
- Parking and Transportation Services (0)
- Controller's Office (0)
- Human Resources (0)
- Campus Store (0)
- Housing (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)
- School of Applied Sciences, Technology & Education (0)
- Plants, Soils & Climate (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Landscape Architecture and Environmental Planning (0)
- Nutrition, Dietetics & Food Sciences (0)
- Laboratory Animal Research Center (0)
- Agricultural Experiment Station (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Biological Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Civil and Environmental Engineering (0)
- Engineering Education (0)
- American Society of Mechanical Engineers (ASME) (0)
- Space Dynamics Laboratory (0)
- More Departments
- College of Humanities & Social Sciences (0)
- Interfaith Initiative (0)
- Communication Studies and Philosophy (0)
- English (0)
- Heravi Peace Institute (0)
- Community and Natural Resources Institute (0)
- World Languages and Cultures (0)
- Center for Intersectional Gender Studies and Research (0)
- Political Science (0)
- Social Work (0)
- CHaSS Research (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- Center for Anticipatory Intelligence (0)
- Intensive English Language Institute (0)
- Aerospace Studies (Air Force ROTC) (0)
- Mountain West Center for Regional Studies (0)
- History (0)
- Museum of Anthropology (0)
- Journalism and Communication (0)
- Military Science (Army ROTC) (0)
- More Departments
- Quinney College of Natural Resources (0)
- Wildland Resources (0)
- Watershed Sciences (0)
- Environment and Society (0)
- Institute for Outdoor Recreation and Tourism (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Veterinary Medicine (0)
- 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)
- Computer Science (0)
- Biology (0)
- More Departments
- Emma Eccles Jones College of Education & Human Services (0)
- Instructional Technology and Learning Sciences (0)
- Communicative Disorders and Deaf Education (0)
- Human Development and Family Studies (0)
- Edith Bowen Laboratory School (0)
- Nursing and Health Professions (0)
- Kinesiology and Health Science (0)
- Institute for Disability Research, Policy & Practice (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)
- 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)
- Cache County (0)
- Beaver County (0)
- Carbon County (0)
- Box Elder County (0)
- Davis County (0)
- 4-H (0)
- Duchesne County (0)
- Salt Lake County (0)
- San Juan County (0)
- Sanpete County (0)
- Morgan County (0)
- Sevier County (0)
- Summit County (0)
- Ogden Botanical Center (0)
- Piute County (0)
- Rich County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Uintah County (0)
- Wasatch Front (0)
- USU Botanical Center (0)
- Washington County (0)
- Utah County (0)
- Wasatch County (0)
- Wayne County (0)
- Weber County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (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)
- Master of Financial Economics (MFE) (0)
- Covey Leadership Center (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- Real Estate Association (0)
- Economics and Finance Department (0)
- Sales Club (0)
- Association for Information Systems (AIS) (0)
- School of Accountancy (0)
- She's Daring Mighty Things (0)
- Beta Alpha Psi (BAP) (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)
- International Business Association (0)
- Analytics Solutions Center (0)
- Management Department (0)
- Data Analytics & Information Systems Department (0)
- Marketing and Strategy Department (0)
- Master in Human Resources (MHR) (0)
- Huntsman Scholars (0)
- Institute of Management Accountants (IMA) (0)
- Investment Banking Club (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
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of Research (0)
- President's Office (0)
- Provost & Executive Vice President (0)
- Empowering Teaching Excellence (0)
- Financial Aid (0)
- Honors (0)
- Faculty Senate (0)
- University Advising (0)
- Career Design Center (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Registrar's Office (0)
- Admissions (0)
- Aggie First Scholars (0)
- School of Graduate Studies (0)
- Student Achievement Collaborative (0)
- Office of Global Engagement (0)
- Study Abroad (0)
- Tenure Academy (0)
- Student Orientation and Transition Services (0)
- More Departments
- Statewide Campuses (0)
- Tooele Region (0)
- Southwest Region (0)
- More Departments
- Student Affairs (0)
- Christensen Office of Social Action and Sustainability (0)
- Center for Community Engagement (0)
- Aggie Blue Bikes (0)
- Campus Recreation (0)
- Counseling and Prevention Services (0)
- Student Involvement & Leadership Center/USUSA (0)
- Latinx Cultural Center (0)
- The HURD (0)
- Veterans Resource Office (0)
- Student Club/Organization (0)
- SAAVi Office (0)
- Native American Cultural Center (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- More Departments