Events

Filters

View as

Event Views Navigation

Today

    • CIS Seminar: “Scaling Machine-Checkable Systems Verification in Coq”

    /
    Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

    System software like operating systems and hypervisors forms the critical backbone of our computing infrastructure. However, due to their size and complexity, these systems often contain vulnerabilities that can compromise security. Formal verification offers a solution by mathematically proving software correctness, but its adoption is hindered by the substantial effort required to create these proofs. […]

    ASSET Seminar: “Advancing Diffusion Models for Text Generation”

    /
    Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia, PA, United States

    Abstract: Transformer-based language models have undoubtedly become the dominant and favorite architecture for language generation of our time. However, although they provide impressive text quality, they tend to be hard to control. In the domain of image synthesis, on the other hand, Denoising Diffusion Models (DDM) are the dominant approach, shining with unprecedented quality and […]

    Fall 2024 GRASP SFI: Jonathan Michaux, University of Michigan, “Spheres Are All You Need: Risk-Aware Trajectory Planning in Radiance Fields”

    /
    Levine 307 3330 Walnut Street, Philadelphia, PA, United States

    This will be a hybrid event with in-person attendance in Levine 307 and virtual attendance on Zoom. ABSTRACT Safe and efficient motion planning is crucial for robots operating in dynamic and unstructured environments. To accomplish this, one must address key challenges. First, robots must understand the scene geometry to prevent collisions that could harm humans […]

    MSE Seminar: “Quantum Materials: A View from the Lattice”

    /
    Wu & Chen Auditorium

    Connecting theoretical models for exotic quantum states to real materials is a key goal in quantum materials science.  The structure of the crystalline lattice plays a foundational role in this pursuit in the subfield of quantum material synthesis.  We here revisit this long-standing perspective in the context low dimensional emergent electronic phases of matter, including […]

    • Fall 2024 GRASP on Robotics: Tess Smidt, Massachusetts Institute of Technology, “Recent applications of Euclidean neural networks to understand and design atomistic systems”

    /
    Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

    This will be a hybrid event with in-person attendance in Wu and Chen and virtual attendance on Zoom. ABSTRACT Atomic systems (molecules, crystals, proteins, etc.) are naturally represented by a set of coordinates in 3D space labeled by atom type. This poses a challenge for machine learning due to the sensitivity of coordinates to 3D […]

    MEAM Seminar: “Digital Twin Development using Physics-Informed Neural Operators”

    /
    Towne 307 220 S. 33rd Street, Philadelphia, PA, United States

    Digital twins are virtual models of physical systems that allow for more computationally cost-effective evaluation and optimization. Building digital twins often involves machine learning techniques that integrate data with underlying physical laws. In this seminar, I'll explore two such techniques: Physics-Informed Neural Networks (PINNs) and operator learning. First, I'll discuss the formulation of PINNs and […]

    BE Doctoral Dissertation Defense: “Spectral CT thermometry for real-time, non-invasive temperature monitoring of thermal ablation” (Leening Liu)

    /
    JMB Reunion Auditorium 3620 Hamilton Walk, Philadelphia, PA, United States

    The Department of Bioengineering at the University of Pennsylvania and Dr. Peter Noel are pleased to announce the Doctoral Dissertation Defense of Leening Liu. Title: Spectral CT thermometry for real-time, non-invasive temperature monitoring of thermal ablation Date: November 4, 2024 Time: 2:00 PM Location:  Reunion Auditorium, John Morgan Building Zoom info: Topic: Leening Liu's Dissertation Defense Time: November 4, […]

    MEAM Seminar: “Multifunctional Architected Structures”

    /
    Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

    Funicular structural forms maximize the structural performance and minimize the use of materials by carrying the applied loads in the form of pure tensile/compressive axial forces. The internal structure of a bone is a classic example where material follows the principal stress directions and forms a delicate latticework of tiny, interlaced trabeculae crossing each other. […]

    ESE PhD Seminar – “Prehistory of Continual Learning and All Else That We Forget”

    /
    Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia, PA, United States

    I would probably "forget" what I will say in the abstract, and you would, too. Translation: deep neural networks can "forget", meaning they might perform poorly on previously learned tasks when learning a new task. A major goal of the subject now known as deep continual learning is to address this issue. In order to […]

    ASSET Seminar: “What’s In my Network? On Learned Proximals and Testing for Explanations”

    /
    Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia, PA, United States

    Abstract: Modern machine learning methods are revolutionizing what we can do with data, from tiktok video recommendations to biomarkers discovery in cancer research. Yet, the complexity of these deep models makes it harder to understand what functions these data-dependent models are computing, and which features they detect regarding as important for a given task. In this talk, […]

    CBE Doctoral Dissertation Defense: “Scaling Mineral Carbonation and Critical Mineral Recovery in Mining Waste: Process Engineering, Techno-Economics, and Public Policy” (Katherine Vaz Gomes)

    /
    Room 35, Singh Center for Nanotechnology 3205 Walnut Street, Philadelphia, PA, United States

    Abstract: The growing need to secure critical minerals for clean energy technologies, alongside the urgency to mitigate climate change, presents a unique opportunity to combine mineral recovery with carbon sequestration. This dissertation explores the potential of mine tailings as a dual-purpose feedstock, enabling both the extraction of critical minerals and the storage of CO₂ through […]

    Fall 2024 GRASP SFI: Jason Ma, University of Pennsylvania, “Environment Curriculum Generation via Large Language Models”

    /
    Levine 307 3330 Walnut Street, Philadelphia, PA, United States

    This will be a hybrid event with in-person attendance in Levine 307 and virtual attendance on Zoom. ABSTRACT Recent work has demonstrated that a promising strategy for teaching robots a wide range of complex skills is by training them on a curriculum of progressively more challenging environments. However, developing an effective curriculum of environment distributions […]