'Ew 0' diaporamas de présentation

adam bakewell university of birmingham

adam bakewell university of birmingham. model checking for unsafety. model checking for safety. e. g. button : bool, wait, crash : com |- macro NorthSouth 0 in macro EastWest 1 in new nat ns := 0 in new nat ew := 0 in let off be fun d:nat . if d=NorthSouth then ns := 0 else ew := 0 in

463 views • 40 slides

adam bakewell university of birmingham

adam bakewell university of birmingham. model checking for unsafety. model checking for safety. e. g. button : bool, wait, crash : com |- macro NorthSouth 0 in macro EastWest 1 in new nat ns := 0 in new nat ew := 0 in let off be fun d:nat . if d=NorthSouth then ns := 0 else ew := 0 in

409 views • 40 slides

Detecting WHIM in GRB spectra

233 views • 16 slides

1 also U. of Oregon 2 now at Urbino/Virgo

234 views • 12 slides

Pulsar V=5-50 AU/yr

135 views • 5 slides