Search for tag: "t."

The Compleat Victory: Saratoga and the American Revolution

Please join us for a discussion between Professor Kevin J. Weddle and Dr. Allen Guelzo on Professor Weddle's new book, The Compleat Victory: Saratoga and the American Revolution(link is…

From  Broadcast Broadcast Center Staff 0 likes 81 plays

What It Means to Be Human: The Case for the Body in Public Bioethics

O. Carter Snead, Professor of Law; Director, de Nicola Center for Ethics and Culture; Concurrent Professor of Political Science, University of Notre Dame, and Robert P. George, McCormick Professor…

From  Ch'nel Duke 0 likes 118 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 246 plays

cos326-2020-17-02-type-checking-implementation

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 121 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod 0 likes 142 plays

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 221 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

From  Daniel Macleod 0 likes 212 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

From  Daniel Macleod 0 likes 178 plays

Jefferson's Legal Commonplace Book Symposium: Keynote Address

From  Broadcast Broadcast Center Staff 0 likes 97 plays

Taking the Measure of Where We Are Today - Bioethics and Human Dignity

Taking the Measure of Where We Are Today - Bioethics and Human Dignity Panelists: Yuval Levin, Editor, National Affairs; Hertog Fellow, Ethics and Public Policy Center Diana Schaub, Professor of…

From  Broadcast Broadcast Center Staff 0 likes 79 plays

Alexander Hamilton: His Life, Thought, and Legacy

James Madison Program in American Ideals and Institutions, An Alpheus T. Mason Lecture on Constitutional Law and Political Thought: The Quest for Freedom

From  Broadcast Broadcast Center Staff 0 likes 236 plays

12-15-13 a.m. -1 - PWA90 -Strong correlation, Superconductivity

T. Maurice Rice, Eidgenössische Technische Hochschule Gabi Kotliar, Rutgers University

From  Broadcast Broadcast Center Staff 0 likes 61 plays