Search for tag: "implementations"

Thumbnail for entry OURSIP Intern - Kaya Unalmis

04:42

OURSIP Intern - Kaya Unalmis

OURSIP Intern - Kaya Unalmis

OURSIP Intern - Kaya Unalmis

Optimizing stellarators for better equilibria through the addition of physics objectives to DESC Mentors: Dr. Egemen Kolemen, MAE Daniel Dudt, Rory Conlin, Dario Panici, MAE

stellarator
plasma
particles
field
energy
fusion
equilibrium
game
plot
equation
force
hydrogen
container
ball
values
implementations
parameter
stability
balance
physics
From  our Undergraduate Research 0 likes 20 plays
Date
July 25th, 2022
Speaker
Kaya Unalmis
Department
Office of Undergraduate Research
Thumbnail for entry Cos326-13-04-module-equivalence

30:15

Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

cos326
m1
values
implementation
m2
v2
module
dot
implementations
function
signature
modules
relation
representation
v1
abstraction
relationship
operation
operations
reveal
client
From  Daniel Macleod 0 likes 218 plays
Date
November 3rd, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ