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)
- Women’s Soccer (0)
- Women’s Basketball (0)
- Women’s Gymnastics (0)
- Men’s Tennis (0)
- Softball (0)
- Men’s Golf (0)
- Football (0)
- Men’s Basketball (0)
- Track and Field (0)
- Cross Country (0)
- Volleyball (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)
- Public safety (0)
- Publication Design and Production (0)
- Parking and Transportation Services (0)
- Facilities (0)
- Dining Services (0)
- Human Resources (0)
- Housing (0)
- Conference Center (0)
- Controller's Office (0)
- Campus Store (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)
- Animal, Dairy & Veterinary Sciences (0)
- Plants, Soils & Climate (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)
- Space Dynamics Laboratory (0)
- Biological Engineering (0)
- Civil and Environmental Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Engineering Education (0)
- More Departments
- College of Humanities & Social Sciences (0)
- Interfaith Initiative (0)
- Journalism and Communication (0)
- Military Science (Army ROTC) (0)
- Mountain West Center for Regional Studies (0)
- Museum of Anthropology (0)
- Intensive English Language Institute (0)
- Communication Studies and Philosophy (0)
- History (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)
- Aerospace Studies (Air Force ROTC) (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)
- College of Science (0)
- Intermountain Herbarium (0)
- Geosciences (0)
- Physics (0)
- Mathematics and Statistics (0)
- Center for Atmospheric and Space Studies (0)
- Computer Science (0)
- Biology (0)
- Chemistry and Biochemistry (0)
- More Departments
- Emma Eccles Jones College of Education & Human Services (0)
- Special Education and Rehabilitation (0)
- Instructional Technology and Learning Sciences (0)
- Sorenson Center for Clinical Excellence (0)
- Psychology (0)
- Human Development and Family Studies (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (0)
- Kinesiology and Health Science (0)
- Emma Eccles Jones Early Childhood Center (0)
- Communicative Disorders and Deaf Education (0)
- Edith Bowen Laboratory School (0)
- Institute for Disability Research, Policy & Practice (0)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Grand County (0)
- Uintah County (0)
- Iron County (0)
- Cache County (0)
- USU Botanical Center (0)
- Carbon County (0)
- Utah County (0)
- Wasatch County (0)
- Emery County (0)
- Wasatch Front (0)
- Garfield County (0)
- Washington County (0)
- Wayne County (0)
- Weber County (0)
- Davis County (0)
- Salt Lake County (0)
- Duchesne County (0)
- San Juan County (0)
- Sanpete County (0)
- Sevier County (0)
- Summit County (0)
- Morgan County (0)
- Beaver County (0)
- Box Elder County (0)
- Ogden Botanical Center (0)
- 4-H (0)
- Piute County (0)
- Rich County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- FJ Management Center for Student Success (0)
- Global Learning Experience (0)
- Master of Accounting (MAcc) (0)
- Healthcare Administration Club (HAC) (0)
- Master of Business Administration (MBA) (0)
- Huntsman Marketing Association (0)
- Master of Management Information Systems (MMIS) (0)
- BI Group (0)
- Master of Science in Economics (MSE) (0)
- Master of Financial Economics (MFE) (0)
- Business Council (0)
- Finance and Economics Club (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- Financial Planning Association (FPA) (0)
- Real Estate Association (0)
- Entrepreneurship Center (0)
- Sales Club (0)
- Covey Leadership Center (0)
- Entrepreneurship Club (0)
- School of Accountancy (0)
- She's Daring Mighty Things (0)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- Economics and Finance Department (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)
- Association for Information Systems (AIS) (0)
- International Business Association (0)
- Beta Alpha Psi (BAP) (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)
- Analytics Solutions Center (0)
- More Departments
- 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)
- Empowering Teaching Excellence (0)
- Student Achievement Collaborative (0)
- Study Abroad (0)
- Tenure Academy (0)
- Financial Aid (0)
- Registrar's Office (0)
- Honors (0)
- Faculty Senate (0)
- School of Graduate Studies (0)
- University Advising (0)
- Office of Global Engagement (0)
- Admissions (0)
- Career Design Center (0)
- Aggie First Scholars (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- More Departments
- Statewide Campuses (0)
- Student Affairs (0)
- Native American Cultural Center (0)
- SAAVi Office (0)
- Latinx Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- Student Involvement & Leadership Center/USUSA (0)
- The HURD (0)
- Veterans Resource Office (0)
- Student Club/Organization (0)
- Counseling and Prevention Services (0)
- Center for Community Engagement (0)
- Aggie Blue Bikes (0)
- Campus Recreation (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- More Departments