2016-08-26

Discrete Mathematics (IIT Roorkee)

# playlist of the 41 videos (click the up-left corner of the video)

source: nptelhrd    2015年5月7日
Mathematics - Discrete Mathematics by Dr. Tanuja Srivastava, Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay, Department of Mathematics, IIT Roorkee. For more details on NPTEL visit http://nptel.ac.in

Mod-01 Lec-01 Introduction to the theory of sets 56:09
Mod-01 Lec-02 Set operation and laws of set operation 49:08
Mod-01 Lec-03 The principle of inclusion and exclusion 47:29
Mod-01 Lec-04 Application of the principle of inclusion and exclusion 55:28
Mod-02 Lec-01 Fundamentals of logic 46:03
Mod-02 Lec-02 Logical Inferences 43:06
Mod-02 Lec-03 Methods of proof of an implication 50:27
Mod-02 Lec-04 First order logic(1) 42:34
Mod-02 Lec-05 First order logic(2) 43:17
Mod-02 Lec-06 Rules of influence for quantified propositions 38:22
Mod-03 Lec-01 Mathematical Induction(1) 43:21
Mod-03 Lec-02 Mathematical Induction(2) 52:38
Mod-04 Lec-01 Sample space, events 57:57
Mod-04 Lec-02 Probability, conditional probability 57:57
Mod-04 Lec-03 Independent events, Bayes theorem 42:48
Mod-04 Lec-04 Information and mutual information 53:46
Mod-05 Lec-01 Basic definition 41:36
Mod-05 Lec-02 Isomorphism and sub graphs 44:01
Mod-05 Lec-03 Walks, paths and circuits operations on graphs 54:48
Mod-05 Lec-04 Euler graphs, Hamiltonian circuits 42:09
Mod-05 Lec-05 Shortest path problem 45:42
Mod-05 Lec-06 Planar graphs 41:34
Mod-06 Lec-01 Basic definition. 1:05:09
Mod-06 Lec-02 Properties of relations 47:30
Mod-06 Lec-03 Graph of relations 49:33
Mod-06 Lec-04 Matrix of relation 51:34
Mod-06 Lec-05 Closure of relaton (1) 57:54
Mod-06 Lec-06 Closure of relaton(2) 56:52
Mod-06 Lec-07 Warshall's algorithm 1:03:17
Mod-07 Lec-01 Partially ordered relation 49:21
Mod-07 Lec-02 Partially ordered sets 55:06
Mod-07 Lec-03 Lattices 53:57
Mod-08 Lec-01 Boolean algebra 58:42
Mod-08 Lec-02 Boolean function(1) 1:02:51
Mod-08 Lec-03 Boolean function(2) 57:36
Mod-09 Lec-01 Discrete numeric function 1:00:36
Mod-09 Lec-02 Generating function 59:26
Mod-10 Lec-01 Introduction to recurrence relations 49:07
Mod-10 Lec-02 Second order recurrence relation with constant coefficients(1) 50:58
Mod-10 Lec-03 Second order recurrence relation with constant coefficients(2) 59:35
Mod-10 Lec-04 Application of recurrence relation 55:59

Judith Butler, “Why Preserve the Life of the Other?”


source: Yale University      2016年6月30日
Tanner Lectures on Human Values - Interpreting Non-Violence
“Why Preserve the Life of the Other?”

Judith Butler is Maxine Elliot Professor in the Department of Comparative Literature and the Program of Critical Theory at the University of California Berkeley. She served as founding director of the Critical Theory Program at Berkeley and is currently co-chair of an emerging International Consortium of Critical Theory Programs. Her published works include Gender Trouble: Feminism and the Subversion of Identity (1990); Bodies That Matter: On the Discursive Limits of “Sex” (1993); Excitable Speech: A Politics of the Performative (1997); Precarious Life: Powers of Violence and Mourning (2004); Undoing Gender (2004); Who Sings the Nation-State? Language, Politics, Belonging (with Gayatri Spivak, 2008); Frames of War: When Is Life Grievable? (2009); Is Critique Secular? (with Talal Asad, Wendy Brown, and Saba Mahmood, 2009); Sois Mon Corps (with Catherine Malabou, 2011); Parting Ways: Jewishness and the Critique of Zionism (2012); Dispossession: The Performative in the Political (with Athena Athanasiou, 2013); and most recently, Senses of the Subject (2015) and Notes toward a Performative Theory of Assembly (2015). Future projects include study of messianic gestures in Kafka and Benjamin, philosophical fictions in Freud’s work, and gender in translation.

Butler has received the Andrew Mellon Award for Distinguished Academic Achievement in the Humanities, the Adorno Prize from the City of Frankfurt in honor of her contributions to feminist and moral philosophy, and the Brudner Prize from Yale University for lifetime achievement in gay and lesbian studies. In 2014, she was awarded the diploma of Chevalier of the Order of Arts and Letters from the French Cultural Ministry and in 2015 she was elected a corresponding fellow of the British Academy and appointed to the International Board of the Institute for Social Research in Frankfurt.

Natural History of Dinosaurs by Benjamin Burger at Utah State University

# click the upper-left icon to select videos from the playlist 

source: Benjamin Burger   2016年1月5日
Natural History of Dinosaurs by paleontologist Benjamin Burger, Assistant Professor at Utah State University Uintah Basin Campus.
To learn more about Benjamin Burger: benjamin-burger.org
To learn more about taking a class at Utah State University: uintahbasin.usu.edu or geology.usu.edu

Introduction to the Natural History of Dinosaurs Video Series 10:27
How to fossilize a dinosaur 13:33
How do you get a dinosaur into a museum 17:38
How to find a dinosaur 4:50
Which rocks have dinosaurs? 4:05
Bad vs. Good dinosaur paleontologists 7:22
When did the dinosaurs live? 6:15
How do we know that dinosaurs are millions of years old? 11:15
Dating Rocks with Fossils 4:12
What did Earth look like during the age of Dinosaurs? 8:38
What was the climate like during the age of Dinosaurs? 6:59
What is convergent evolution? 6:03
What is a dinosaur species? 10:20
How do you read a phylogenetic tree of dinosaurs? 6:40
How to compare dinosaur cladograms? 3:53
How to find information about Dinosaurs? 16:01
Do dinosaurs evolve? 9:55
Do you know all the bones found in a dinosaur? 9:56
What is a dinosaur? 19:36
What is the difference between bird and lizard hipped dinosaurs? 6:22
Who were the first dinosaurs? 15:47
Who were the Ornithischian dinosaurs? 9:55
Did some dinosaurs chew? 6:28
Who were the Armored Dinosaurs? 18:39
How did Stegosaurus have sex? 7:49
What unites the Marginocephalian Dinosaurs? 4:10
Did Dinosaurs Butt Heads? 5:29
The Great Mystery of the Ceratopsian Dinosaurs 9:26
What were the Horns and Frills on Dinosaurs used for? 3:57
What are the Two Groups of North American Ceratopsidae? 10:26
Who were the Ornithopod dinosaurs? 20:10
What did Dinosaurs Sound Like? 4:57
What did the Ornithopod Dinosaurs Eat? 5:06
How Many Babies did Dinosaurs have? 3:22
Before they were Big! The Protosauropoda dinosaurs 11:09
How did Dinosaurs get to be so BIG? 7:24
Who were the Sauropod Dinosaurs? 14:00
Who was the BIGGEST dinosaur? 18:11
Who were the theropod dinosaurs? 3:05
How do we group the Theropod Dinosaurs? 31:22
How did dinosaurs hunt? 5:19
Could you out run a Tyrannosaurus rex? 5:00
Were dinosaurs pack-hunters? 4:43
When did Dinosaurs get Feathers? 9:06
The Bones of a Living Dinosaur 10:15
Did Velociraptor look like a bird, or a dinosaur? 3:55
How did birds originate from dinosaurs? 8:27
How did Flight Evolve in Dinosaurs? 3:20
Were there birds living during the age of dinosaurs? 17:59
Were dinosaurs warm or cold blooded? Or something else? 4:46
What evidence is there for Warm Blooded Dinosaurs? 13:33
How fat and how fast were dinosaurs? 5:18
How fast did Dinosaurs Grow? 7:00
How many dinosaurs are there? 10:22
When was the "Golden Age of Dinosaurs"? 3:43
What did Plants look like during the Age of Dinosaurs? 7:12
A Timeline of Dinosaur Discoveries 38:43
How realistic are your Dinosaurs? 17:18
What is left to discover about dinosaurs? 4:20
How did the dinosaurs become extinct? 17:31

Anomalistic Psychology with Stanley Krippner


source: New Thinking Allowed     2016年7月18日
Stanley Krippner, Ph.D., professor of psychology at Saybrook University, is a Fellow in five APA divisions, and past-president of two divisions (30 and 32). Formerly, he was director of the Maimonides Medical Center Dream Research Laboratory, in Brooklyn NY. He is co-author of Dream Telepathy, Extraordinary Dreams and How to Work with Them, The Mythic Path, and Haunted by Combat: Understanding PTSD in War Veterans, and co-editor of Debating Psychic Experience: Human Potential or Human Illusion, Healing Tales, Healing Stories, Varieties of Anomalous Experience: Examining the Scientific Evidence, Advances in Parapsychological Research and many other books. He is a Fellow of the Society for the Scientific Study of Religion, and has published cross-cultural studies on spiritual content in dreams.
Here Stanley Krippner describes how psychology is taking a renewed interest in out-of-body experiences, near-death experiences, reports of UFO-related abductions, mystical experiences, past-life memories, synesthesia, lucid dreaming, hallucinations, and psi. There is research showing a correlation between such experiences and early childhood trauma. In some instances, such as UFO abduction claims, the remembered experience may serve as a “mask” for an earlier trauma. In other instances, childhood trauma may serve as a predisposing condition for actual anomalous events.

New Thinking Allowed host, Jeffrey Mishlove, PhD, is author of The Roots of Consciousness, Psi Development Systems, and The PK Man. Between 1986 and 2002 he hosted and co-produced the original Thinking Allowed public television series. He is the recipient of the only doctoral diploma in "parapsychology" ever awarded by an accredited university (University of California, Berkeley, 1980). He is also past-president of the non-profit Intuition Network, an organization dedicated to creating a world in which all people are encouraged to cultivate and apply their inner, intuitive abilities.
(Recorded on May 13, 2016)

Power System Dynamics and Control by A. M. Kulkarni (IIT Bombay)

# click the upper-left icon to select videos from the playlist

source: nptelhrd      2015年5月11日
Electrical - Power System Dynamics and Control by Dr. A. M. Kulkarni, Department of Electrical Engineering, IIT Bombay. For more details on NPTEL visit http://nptel.ac.in

Lec-26 Excitation System Modeling. Automatic Voltage Regulator 54:29
Lec-27 Excitation System Modeling. Automatic Voltage Regulator (Contd.) 54:52
Lec-28 Excitation System Modeling. Automatic Voltage Regulator (Simulation) 55:58
Lec-29 Excitation System Modeling. Automatic Voltage Regulator (Simulation) – Contd. 56:52
Lec-30 Excitation System Modeling. Automatic Voltage Regulator. Linearized Analysis 37:20
Lec-31 Load Modeling 57:16
Lec-32 Induction Machines, Transmission Lines 56:24
Lec-33 Transmission Lines. Prime Mover Systems 58:46
Lec-34 Transmission Lines (Contd.). Prime Mover Systems 51:44
Lec-35 Prime Mover Systems. Stability in Integrated Power System 54:39
Lec-36 Stability in Integrated Power System: Two Machine Example 56:38
Lec-37 Two Machine System (Contd.) 55:34
Lec-38 Stability in Integrated Power System: Large Systems 55:57
Lec-39 Frequency/Angular Stability Programs. Stability Phenomena: Voltage Stability Example 55:32
Lec-40 Voltage Stability Example (Contd.). Fast Transients: Tools and Phenomena 53:42
Lec-41 Torsional Transients: Phenomena of Sub-Synchronous Resonance 1:02:29
Lec-42 Sub-Synchronous Resonance. Stability Improvement 55:27
Lec-43 Stability Improvement 56:24
Lec-44 Stability Improvement. Power System Stabilizers 1:02:50
Lec-45 Stability Improvement (Large Disturbance Stability) 1:02:17

Nonlinear Dynamical Systems by Harish K. Pillai & Madhu N. Belur (IIT Bombay)

# click the upper-left icon to select videos from the playlist

source: nptelhrd    2014年12月15日
Electrical - Nonlinear Dynamical Systems by Prof. Harish K. Pillai and Prof. Madhu N.Belur, Department of Electrical Engineering, IIT Bombay. For more details on NPTEL visit http://nptel.ac.in

01 Introduction 47:51
02 First Order systems 51:22
03 Classification of Equilibrium points 52:53
04 Lipschitz Functions 55:18
05 Existence uniqueness theorems 53:04
06 Existence uniqueness of solutions to differential equations 41:49
07 Lyapunov theorem on stability 54:35
08 Extension of Lyapunov's Theorem in different contexts 55:56
09 LaSalle's Invariance principle, Barbashin and Krasovski theorems, periodic orbits 54:59
10 Bendixson criterion and Poincare-Bendixson criterion.Ex:Lotka Volterra predator prey 57:22
11 Bendixson and Poincare-Bendixson criteria van-der-Pol Oscillator 36:32
12 Scilab simulation of Lotka Volterra predator prey model, van-der-Pol Oscillator 42:43
13 Signals, operators 56:18
14 Norms of signals, systems (operators), Finite gain L2 stable 52:19
15 Nyquist plots and Nyquist criterion for stability 50:41
16 Interconnection between linear system & non-linearity, passive filters 52:13
17 Passive filters, Dissipation equality, positive real lemma 47:38
18 Positive real lemma proof 52:28
19 Definition for positive realness and Kalman Yakubovich-Popov Theorem 51:43
20 Kalman-Yakubovich-Popov Lemma/theorem and memoryless nonlinearities 54:30
21 Loop transformations and circle criterion 49:23
22 Nonlinearities based on circle criterion 56:26
23 Limit cycles 50:13
24 Popov criterion continuous, frequency-domain theorem 50:09
25 Popov criterion continuous, frequency-domain theorem 51:03
26 Describing function method 1:02:40
27 Describing Function :2 58:06
28 Describing : optimal gain 50:34
29 Describing : optimal gain 59:25
30 Describing function : Jump Hysteresis 58:47
31 Describing functions:sufficient conditions for existence of periodic orbits 52:34
32 Describing functions for nonlinearities 49:21
33 Ideal relay with Hysteresis and dead zone 52:28
34 Dynamical systems on manifolds-1 53:15
35 Dynamical systems on manifolds-2 42:48

Digital VLSI System Design by S. Srinivasan (IIT Madras)

# click the upper-left icon to select videos from the playlist

source: nptelhrd     2007年12月11日
Electronics - Digital VLSI System Design by Prof S. Srinivasan, Dept of Electrical Engineering, IIT Madras

Lecture-1-Introduction to VLSI Design 54:03
Lecture 2 - Combinational Circuit Design 52:16
Lecture 3 - Programmable Logic Devices 54:13
Lecture 4 - Programmable Array Logic 54:25
Lecture 5 - Review of Flip-Flops 54:14
Lecture 6 - Sequentional Circuits 52:02
Lecture 7 - Sequentional Circuits Design 54:01
Lecture 8 - MSI Implementation of Sequential Circuits 52:33
Lecture 9 - Design of Sequentional Circuits 55:10
Lecture 10 - Verilog Modeling of Combinational Circuits 54:36
Lecture 11 - Modeling of Verilog Sequential Circuits 53:23
Lecture 12 - Modeling of Verilog Sequential Circuits(contd) 54:14
Lecture 13 - RTL CODING GUIDELINES 55:19
Lecture 14 - Coding Organization - Complete Realization 55:47
Lecture 15 - Coding Organization Complete Realization(Contd) 54:06
Lecture 16 - Writing a Test Bench 53:44
Lecture 17 - System Design Using ASM Chart 53:22
Lecture 18 - Examples System Design Using ASM Chart 54:03
Lecture 19 Examples of System Design Using Sequentional Circ 49:50
Lecture 20 Examples of System Design Using Sequentional (Co) 51:10
Lecture 21 - Microprogrammed Design 53:56
Lecture 22 - Microprogrammed Design(Contd) 53:52
Lecture 23 - Design Flow of VLSI Circuits 53:48
Lecture 24 - Simulation of Combinational Circuits 50:15
Lecture 25 Simulation of Combinational Circuits and Sequenti 55:50
Lecture 26 - Analysis of Waveforms Using Modelsim 54:00
Lecture 27 - Analysis of Waveforms Using Modelsim(Contd) 50:45
Lecture 28 - Modelsim Simulation Tool 54:07
Lecture 29 - Synthesis Tool 52:15
Lecture 30 - Synthesis Tool(Contd) 54:45
Lecture-31-Synplify Tool - Schematic Circuit Diagram 53:22
Lecture 32 - Technology View using Synplify Tool 52:51
Lecture 33 - Synopsys Full and Parallel Cases 55:50
Lecture 34 - Xilink Place & Route Tool 53:15
Lecture 35 Xilink Place & Route Tool(Contd) 56:30
Lecture 36 - PCI Arbiter Design Using ASM Chart 54:03
Lecture 37 - Design of Memories - ROM 55:22
Lecture 38 - Design of Memories -RAM 54:46
Lecture 39 - Design of External RAM 52:12
Lecture 40 - Design of Arithmetic Circuits 54:19
Lecture 41 - Design of Arithmetic Circuits(Contd..) 54:06
Lecture 42 - Design of Arithmetic Circuits(Contd..) 53:32
Lecture 43 - System Design Examples 54:42
Lecture 44 - System Design Examples(Contd..) 52:41
Lecture 45 - System Design Examples(Contd..) 55:29
Lecture 46 - System Design Examples(Contd..) 53:36
Lecture 47 - System Design Examples(Contd..) 53:24
Lecture 48 - System Design Examples Using FPGA Board 53:30
Lecture 49 - System Design Examples Using FPGA Board 53:52
Lecture-50-Advanced Features of Xilink Project Navigator 54:45
Lecture-51-System Design Examples Using FPGA Board(Contd) 53:54
Lecture-52-System Design Examples Using FPGA Board(Contd) 53:11
Lecture-53-System Design Examples Using FPGA Board(Contd) 53:56
Lecture-54-System Design Examples Using FPGA Board(Contd) 54:09
Lecture-55-Project Design Suggested for FPGA/ASIC Implementa 59:03

Hilary Putnam on the Philosophy of Science (1977)


source: mehranshargh    2015年11月4日
In this program, world-renowned author and professor Bryan Magee and Hilary Putnam of Harvard examine current philosophical thought that dismisses the primacy and infallibility of mathematical logic and the scientific method. Modern thinkers, such as Einstein, are credited with introducing interpretive logic into their scientific theories.

Becoming Wise | Krista Tippett | RSA Replay


source: The RSA     2016年7月21日
Becoming Wise with Krista Tippett. Join award-winning broadcaster and author Krista Tippett at the RSA to explore the enduring question of what it is to be human, and how we can learn to live with greater, joy, compassion and wisdom, both individually and collectively.
Subscribe to our channel for more live events!

Dr. Gemma Munro: "Creating Successful and Effective Female Leaders" | Ta...


source: Talks at Google    2016年7月20日
Dr Gemma Munro is Founder and CEO of Inkling Women. Inkling Women has the ambitious OKR to to "ensure that 50% of leadership roles worldwide are held by women". Gemma has a PhD in psychology and has worked with over 10,000 women and hundreds of leadership teams worldwide. **In an energizing and interactive session, Dr Munro outlines the three non-negotiables required to ensure more women step into leadership roles — and thrive.

Forgotten Thinkers: Aristophanes


source: Wes Cecil    2016年5月21日
The final lecture in the Forgotten Thinkers series presents the life and thought of Aristophanes. While we remember him rightly as one of the great comedic playwrights, we too often overlook the clarity of his analysis of the challenges of his world. Delivered by Wesley Cecil PhD. at Peninsula College.

How do animals see in the dark? - Anna Stöckl


source: TED-Ed   2016年8月25日
View full lesson: http://ed.ted.com/lessons/how-do-anim...
To human eyes, the world at night is a formless canvas of grey. Many nocturnal animals, on the other hand, experience a rich and varied world, bursting with details, shapes, and colors. What is it, then, that separates moths from men? Anna Stöckl uncovers the science behind night vision.
Lesson by Anna Stöckl, animation by TED-Ed.

Psychology of Redemption in Christianity


source: Jordan B Peterson    2016年1月26日
Twitter: https://twitter.com/jordanbpeterson
Facebook: https://www.facebook.com/drjordanpete...
This is a TVO Big Ideas Lecture from 2012, presented at INPM's Conference on Personal Meaning. It discusses the idea of redemption in Christianity from a psychological perspective, comparing in part to ideas of transformation in psychotherapy.