|
AI for Accelerating Invention, a new Princeton AI Lab initiative, integrates artificial intelligence into engineering research, developing new technologies and tools to accelerate the process of…
Date
August 29th, 2024 Speaker
Z. Jason Ren Department
Princeton AI Labs Location
Friend 113
|
|
Quantum Cascade Laser Frequency Comb (QCL-FC) Behavior under Radio Frequency (RF) Injection Advised by: Gerard Wysocki, ECEBaichuan Huang, ECE
Date
August 1st, 2024 Speaker
Audrey Zeng Department
Office of Undergraduate Research
|
|
|
|
|
|
This series of short videos answers frequently asked information security questions and shares insights from professionals in the field. Join us as we ask the important questions and have some fun in…
Date
June 27th, 2022 Speaker
Tara Schaufler Department
Information Security Office
|
|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Type Checking: Part 2: Ocaml Implementation
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning about Modular Programs: Part 1: Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
PNI Bootcamp 2020 Day 1 Math/Programming
Date
August 3rd, 2020 Department
Princeton Neuroscience Institute
|
|
|
|
Dr. Francesco Romanelli
JET and EFDA
|