2016-08-31
Existentialism Talk by Jordan B Peterson (University of Toronto)
source: Jordan B Peterson 2016年8月28日
University of Toronto PSY
Course Information: http://jordanbpeterson.com/Psy230H
On Human Values - Interpreting Non-Violence: “A conversation with Judith Butler, Paul North, and Jason Stanley”
source: Yale University 2016年6月30日
Tanner Lectures on Human Values - Interpreting Non-Violence
A conversation with Judith Butler, University of California Berkeley; Paul North (Yale University); and Jason Stanley (Yale University)
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.
Scott Milner | New Polymers for Solar Power || Radcliffe Institute
source: Harvard University 2016年2月23日
As part of the 2015–2016 Fellows’ Presentation Series at the Radcliffe Institute for Advanced Study, Scott T. Milner RI ’16 discusses current trends in solar power, how solar cells work, and how polymer-based materials may offer an attractive alternative to silicon.
Hacking Consciousness (Spring 2014 at Stanford University)
# click the up-left corner to select videos from the playlist
source: Stanford 2014年8月1日
Renowned quantum physicist, John Hagelin (PhD, Harvard), presents the thesis that consciousness is a unified field that contains nature's programming code and transcending through meditation is a pathway to hack / access consciousness.
Recordings of the Hacking Consciousness course at Stanford University, Spring 2014.
Consciousness, a Quantum Physics Perspective 1:15:24
Consciousness & Physiology I 1:40:02
Consciousness & Physiology II 1:47:47
Consciousness & Architecture 1:26:58
The Hacked and Highjacked Body 2:20:49
We Create Our Reality 1:19:48
source: Stanford 2014年8月1日
Renowned quantum physicist, John Hagelin (PhD, Harvard), presents the thesis that consciousness is a unified field that contains nature's programming code and transcending through meditation is a pathway to hack / access consciousness.
Recordings of the Hacking Consciousness course at Stanford University, Spring 2014.
Consciousness, a Quantum Physics Perspective 1:15:24
Consciousness & Physiology I 1:40:02
Consciousness & Physiology II 1:47:47
Consciousness & Architecture 1:26:58
The Hacked and Highjacked Body 2:20:49
We Create Our Reality 1:19:48
K. C. Sivakumar: Linear Algebra (IIT Madras)
# playlist of the 52 videos (click the up-left corner of the video)
source: nptelhrd 2015年2月5日
Mathematics - Linear Algebra by Dr. K. C. Sivakumar, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.ac.in
Mod-01 Lec-01 Introduction to the Course Contents. 26:47
Mod-01 Lec-02 Linear Equations 35:10
Mod-01 Lec-03a Equivalent Systems of Linear Equations I: Inverses of Elementary Row-operations 40:48
Mod-01 Lec-03b Equivalent Systems of Linear Equations II: Homogeneous Equations, Examples 43:58
Mod-01 Lec-04 Row-reduced Echelon Matrices 48:23
Mod-01 Lec-05 Row-reduced Echelon Matrices and Non-homogeneous Equations 47:19
Mod-01 Lec-06 Elementary Matrices, Homogeneous Equations and Non-homogeneous Equations 49:14
Mod-01 Lec-07 Invertible matrices, Homogeneous Equations Non-homogeneous Equations 50:58
Mod-02 Lec-08 Vector spaces 34:43
Mod-02 Lec-09 Elementary Properties in Vector Spaces. Subspaces 48:16
Mod-02 Lec-10 Subspaces (continued), Spanning Sets, Linear Independence, Dependence 43:25
Mod-03 Lec-11 Basis for a vector space 48:48
Mod-03 Lec-12 Dimension of a vector space 48:31
Mod-03 Lec-13 Dimensions of Sums of Subspaces 52:11
Mod-04 Lec-14 Linear Transformations 50:10
Mod-04 Lec-15 The Null Space and the Range Space of a Linear Transformation 51:04
Mod-04 Lec-16 The Rank-Nullity-Dimension Theorem. Isomorphisms Between Vector Spaces 41:45
Mod-04 Lec-17 Isomorphic Vector Spaces, Equality of the Row-rank and the Column-rank I 47:34
Mod-04 Lec-18 Equality of the Row-rank and the Column-rank II 36:08
Mod-05 Lec19 The Matrix of a Linear Transformation 40:27
Mod-05 Lec-20 Matrix for the Composition and the Inverse. Similarity Transformation 47:04
Mod-06 Lec-21 Linear Functionals. The Dual Space. Dual Basis I 49:20
Mod-06 Lec-22 Dual Basis II. Subspace Annihilators I 38:53
Mod-06 Lec-23 Subspace Annihilators II 50:08
Mod-06 Lec-24 The Double Dual. The Double Annihilator 47:34
Mod-06 Lec-25 The Transpose of a Linear Transformation. Matrices of a Linear 45:22
Mod-07 Lec-26 Eigenvalues and Eigenvectors of Linear Operators 40:11
Mod-07 Lec-27 Diagonalization of Linear Operators. A Characterization 47:01
Mod-07 Lec-28 The Minimal Polynomial 42:38
Mod-07 Lec-29 The Cayley-Hamilton Theorem 47:21
Mod-08 Lec-30 Invariant Subspaces 39:19
Mod-08 Lec-31 Triangulability, Diagonalization in Terms of the Minimal Polynomial 51:30
Mod-08 Lec-32 Independent Subspaces and Projection Operators 48:42
Mod-09 Lec-33 Direct Sum Decompositions and Projection Operators I 48:49
Mod-09 Lec-34 Direct Sum Decomposition and Projection Operators II 46:40
Mod-10 Lec-35 The Primary Decomposition Theorem and Jordan Decomposition 38:51
Mod-10 Lec-36 Cyclic Subspaces and Annihilators 50:49
Mod-10 Lec-37 The Cyclic Decomposition Theorem I 49:56
Mod-10 Lec-38 The Cyclic Decomposition Theorem II. The Rational Form 46:12
Mod-11 Lec-39 Inner Product Spaces 44:44
Mod-11 Lec-40 Norms on Vector spaces. The Gram-Schmidt Procedure I 53:21
Mod-11 Lec-41 The Gram-Schmidt Procedure II. The QR Decomposition. 43:09
Mod-11 Lec-42 Bessel's Inequality, Parseval's Indentity, Best Approximation 41:53
Mod-12 Lec-43 Best Approximation: Least Squares Solutions 50:37
Mod-12 Lec-44 Orthogonal Complementary Subspaces, Orthogonal Projections 50:01
Mod-12 Lec-45 Projection Theorem. Linear Functionals 47:24
Mod-13 Lec-46 The Adjoint Operator 48:21
Mod-13 Lec-47 Properties of the Adjoint Operation. Inner Product Space Isomorphism 52:37
Mod-14 Lec-48 Unitary Operators 48:17
Mod-14 Lec-49 Unitary operators II. Self-Adjoint Operators I. 42:11
Mod-14 Lec-50 Self-Adjoint Operators II - Spectral Theorem 41:08
Mod-14 Lec-51 Normal Operators - Spectral Theorem 46:09
source: nptelhrd 2015年2月5日
Mathematics - Linear Algebra by Dr. K. C. Sivakumar, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.ac.in
Mod-01 Lec-01 Introduction to the Course Contents. 26:47
Mod-01 Lec-02 Linear Equations 35:10
Mod-01 Lec-03a Equivalent Systems of Linear Equations I: Inverses of Elementary Row-operations 40:48
Mod-01 Lec-03b Equivalent Systems of Linear Equations II: Homogeneous Equations, Examples 43:58
Mod-01 Lec-04 Row-reduced Echelon Matrices 48:23
Mod-01 Lec-05 Row-reduced Echelon Matrices and Non-homogeneous Equations 47:19
Mod-01 Lec-06 Elementary Matrices, Homogeneous Equations and Non-homogeneous Equations 49:14
Mod-01 Lec-07 Invertible matrices, Homogeneous Equations Non-homogeneous Equations 50:58
Mod-02 Lec-08 Vector spaces 34:43
Mod-02 Lec-09 Elementary Properties in Vector Spaces. Subspaces 48:16
Mod-02 Lec-10 Subspaces (continued), Spanning Sets, Linear Independence, Dependence 43:25
Mod-03 Lec-11 Basis for a vector space 48:48
Mod-03 Lec-12 Dimension of a vector space 48:31
Mod-03 Lec-13 Dimensions of Sums of Subspaces 52:11
Mod-04 Lec-14 Linear Transformations 50:10
Mod-04 Lec-15 The Null Space and the Range Space of a Linear Transformation 51:04
Mod-04 Lec-16 The Rank-Nullity-Dimension Theorem. Isomorphisms Between Vector Spaces 41:45
Mod-04 Lec-17 Isomorphic Vector Spaces, Equality of the Row-rank and the Column-rank I 47:34
Mod-04 Lec-18 Equality of the Row-rank and the Column-rank II 36:08
Mod-05 Lec19 The Matrix of a Linear Transformation 40:27
Mod-05 Lec-20 Matrix for the Composition and the Inverse. Similarity Transformation 47:04
Mod-06 Lec-21 Linear Functionals. The Dual Space. Dual Basis I 49:20
Mod-06 Lec-22 Dual Basis II. Subspace Annihilators I 38:53
Mod-06 Lec-23 Subspace Annihilators II 50:08
Mod-06 Lec-24 The Double Dual. The Double Annihilator 47:34
Mod-06 Lec-25 The Transpose of a Linear Transformation. Matrices of a Linear 45:22
Mod-07 Lec-26 Eigenvalues and Eigenvectors of Linear Operators 40:11
Mod-07 Lec-27 Diagonalization of Linear Operators. A Characterization 47:01
Mod-07 Lec-28 The Minimal Polynomial 42:38
Mod-07 Lec-29 The Cayley-Hamilton Theorem 47:21
Mod-08 Lec-30 Invariant Subspaces 39:19
Mod-08 Lec-31 Triangulability, Diagonalization in Terms of the Minimal Polynomial 51:30
Mod-08 Lec-32 Independent Subspaces and Projection Operators 48:42
Mod-09 Lec-33 Direct Sum Decompositions and Projection Operators I 48:49
Mod-09 Lec-34 Direct Sum Decomposition and Projection Operators II 46:40
Mod-10 Lec-35 The Primary Decomposition Theorem and Jordan Decomposition 38:51
Mod-10 Lec-36 Cyclic Subspaces and Annihilators 50:49
Mod-10 Lec-37 The Cyclic Decomposition Theorem I 49:56
Mod-10 Lec-38 The Cyclic Decomposition Theorem II. The Rational Form 46:12
Mod-11 Lec-39 Inner Product Spaces 44:44
Mod-11 Lec-40 Norms on Vector spaces. The Gram-Schmidt Procedure I 53:21
Mod-11 Lec-41 The Gram-Schmidt Procedure II. The QR Decomposition. 43:09
Mod-11 Lec-42 Bessel's Inequality, Parseval's Indentity, Best Approximation 41:53
Mod-12 Lec-43 Best Approximation: Least Squares Solutions 50:37
Mod-12 Lec-44 Orthogonal Complementary Subspaces, Orthogonal Projections 50:01
Mod-12 Lec-45 Projection Theorem. Linear Functionals 47:24
Mod-13 Lec-46 The Adjoint Operator 48:21
Mod-13 Lec-47 Properties of the Adjoint Operation. Inner Product Space Isomorphism 52:37
Mod-14 Lec-48 Unitary Operators 48:17
Mod-14 Lec-49 Unitary operators II. Self-Adjoint Operators I. 42:11
Mod-14 Lec-50 Self-Adjoint Operators II - Spectral Theorem 41:08
Mod-14 Lec-51 Normal Operators - Spectral Theorem 46:09
How smart are orangutans? - Lu Gao
source: TED-Ed 2016年8月30日
View full lesson: http://ed.ted.com/lessons/how-smart-a...
Along with humans, orangutans belong to the Hominidae family tree, which stretches back 14 million years. But it’s not just their striking red hair that makes orangutans unique among our great ape cousins. Lu Gao shares some amazing facts about these incredibly intelligent great apes from Asia.
Lesson by Lu Gao, animation by Anton Bogaty.
Richard Rorty on the Compatibility of Science & Religion
source: Philosophical Overdose 2013年5月2日
In this talk, Richard Rorty discusses the ethics of belief and the apparent conflict between religion and science. Unsurprisingly, Rorty, following both James and Dewey, provides a pragmatist or relativist account. He argues that because science and religion are not actually competing to describe the one true way the world "really" is in itself, apart from all human needs and interests, there's no real underlying logical inconsistency. Rorty suggests that we give up on the realist's correspondence theory of truth and instead take the pragmatist route, where science and religion are simply understood as tools which have different purposes: one involves predicting and controlling nature, the other with finding meaning. In the process, Rorty discusses other attempts to reconcile science and religion, including Paul Tillich's distinction between literal and symbolic truth (i.e. scientific beliefs are literally true, while religious beliefs are only symbolically true), as well as William James' infamous pragmatist lecture The Will to Believe, which itself was a response to William K. Clifford's evidentialist epistemology which maintained that it's always wrong and intellectually irresponsible to believe something upon insufficient evidence.
This lecture was given at West Valley College.
Mary Roach: "Grunt: The Curious Science of Humans at War" | Talks at Google
source: Talks at Google 2016年7月21日
Bestselling science writer Mary Roach visited Google's office in Cambridge, MA to discuss her book "Grunt: The Curious Science of Humans at War".
In "Grunt", Roach tackles the science behind some of a soldier's most challenging adversaries―panic, exhaustion, heat, noise―and introduces us to the scientists who seek to conquer them. She dodges hostile fire with the USMC Paintball Team as part of a study on hearing loss and survivability in combat. She visits the fashion design studio of U.S. Army Natick Labs and learns why a zipper is a problem for a sniper. She visits a repurposed movie studio where amputee actors help prepare Marine Corps medics for the shock and gore of combat wounds. In east Africa, we learn how diarrhea can be a threat to national security. Roach samples caffeinated meat, sniffs an archival sample of a World War II stink bomb, and stays up all night with the crew tending the missiles on a nuclear submarine. She answers questions not found in any other book on the military: Why is DARPA interested in ducks? How is a wedding gown like a bomb suit? Why are shrimp more dangerous to sailors than sharks?
Mary Roach is also the author of "Packing for Mars: The Curious Science of Life in the Void", "Bonk: The Curious Coupling of Science and Sex", "Spook: Science Tackles the Afterlife", "My Planet: Finding Humor in the Oddest Places", and "Stiff: The Curious Lives of Human Cadavers". Her writing has appeared in Outside, Wired, National Geographic, and the New York Times Magazine, among others.
Jim Gaffigan: Self-Awareness Is Essential in Comedy and in Life
source: Big Think 2016年7月18日
Whether you're on stage or just meeting new people, comedian Jim Gaffigan believes that self-awareness is the key to winning over your audience. The "Jim Gaffigan Show" plays on TV LAND (http://goo.gl/5m8uKB).
Read more at BigThink.com: http://bigthink.com/videos/jim-gaffig...
What does it mean to be a migrant in your own country?
source: University of Oxford 2016年7月20日
Dr Indrajit Roy studies the lives of circular and internal migrants, people who move around their own countries usually in search of work. Such internal migrants do not move permanently, but instead are coming and going constantly. So their patterns of movement change what we think about the nature of the city as an entity. In places where citizenship rights like the right to vote or social entitlements are tied to place of birth, they are often denied such rights. The aim of this project is to understand the lives of internal migrants and to encourage governments to think about local service provisioning for people who are mobile.
Dr Roy is an ESRC Future Research Leader in Oxford University’s Department of International Development and a member of the International Migration Institute.
www.imi.ox.ac.uk
An Introduction to Thinking
source: Wes Cecil 2015年8月12日
I delivered this lecture for a local group this summer. A reflection on some of the factors that form our thought processes and why, on average, we find thinking so difficult.
Image is "Procynosuchus BW" by Nobu Tamura
Differential Geometry for Computer Science (Spring 2013) by Justin Solomon and Adrian Butscher at Stanford U
# click the upper-left icon to select videos from the playlist
source: Justin Solomon 2013年4月2日
CS 468: Differential Geometry for Computer Science
Slides: http://graphics.stanford.edu/courses/...
Lecture 1: Introduction (camera died 19 minutes in!) 18:51
Lecture 2: Differential Geometry of Curves 1:18:17
Lecture 3: Discrete Curves 1:18:05
Lecture 4: Surfaces I 1:16:29
Lecture 5: Surfaces II 1:13:41
Lecture 6: Discrete Surfaces 1:12:06
Lecture 7: Extrinsic Curvature 1:10:29
Lecture 8: Computing Curvature 1:18:21
Lecture 10: Geodesic Computation 1:17:40
Lecture 9: Intrinsic Geometry of Surfaces 1:14:55
Lecture 11: Covariant Differentiation 1:15:06
Lecture 12: Finite Elements and the Laplacian 1:16:53
Lecture 13: Exterior Calculus 1:14:35
Lecture 14: Discrete Exterior Calculus 1:19:06
Lecture 15: Isometries, Rigidity, and Curvature 1:15:16
Lecture 16: Isometry invariance and spectral techniques 1:19:07
Lecture 17: Surface deformation: Theory 1:13:29
Lecture 18: Surface Deformation: Practice 1:17:55
Lecture 19: Conformal Geometry 1:15:16
source: Justin Solomon 2013年4月2日
CS 468: Differential Geometry for Computer Science
Slides: http://graphics.stanford.edu/courses/...
Lecture 1: Introduction (camera died 19 minutes in!) 18:51
Lecture 2: Differential Geometry of Curves 1:18:17
Lecture 3: Discrete Curves 1:18:05
Lecture 4: Surfaces I 1:16:29
Lecture 5: Surfaces II 1:13:41
Lecture 6: Discrete Surfaces 1:12:06
Lecture 7: Extrinsic Curvature 1:10:29
Lecture 8: Computing Curvature 1:18:21
Lecture 10: Geodesic Computation 1:17:40
Lecture 9: Intrinsic Geometry of Surfaces 1:14:55
Lecture 11: Covariant Differentiation 1:15:06
Lecture 12: Finite Elements and the Laplacian 1:16:53
Lecture 13: Exterior Calculus 1:14:35
Lecture 14: Discrete Exterior Calculus 1:19:06
Lecture 15: Isometries, Rigidity, and Curvature 1:15:16
Lecture 16: Isometry invariance and spectral techniques 1:19:07
Lecture 17: Surface deformation: Theory 1:13:29
Lecture 18: Surface Deformation: Practice 1:17:55
Lecture 19: Conformal Geometry 1:15:16
Rajiv Tiwari: Theory & Practice of Rotor Dynamics (IIT Guwahati)
# playlist of the 42 videos (click the up-left corner of the video)
source: nptelhrd 2014年4月9日
Mechanical - Theory & Practice of Rotor Dynamics by Prof. Rajiv Tiwari, Department of Mechanical Engineering, IIT Guwahati. For more details on NPTEL visit http://nptel.ac.in
Mod-01 Lec-01 Introduction 50:29
Mod-01 Lec-02 A Brief History of Rotor Dynamics 51:34
Mod-01 Lec-03 The State of the Art of Rotor Dynamics 53:49
Mod-02 Lec-01 Simple Rotor Models with Rigid Bearings 53:05
Mod-02 Lec-02 Jeffcott Rotor Model 46:56
Mod-02 Lec-03 Variant of Jeffcott Rotor Model 50:31
Mod-03 Lec-01 Rigid Rotor Mounted on Simple Anistropic Springs as Bearings 51:56
Mod-03 Lec-02 Rigid Rotor Mounted on Complex Anisotropic Bearings 50:22
Mod-03 Lec-03 Flexible Shaft with a Rigid Disc Mounted on Anistropic Supports 54:44
Mod-04 Lec-01 Gyroscopic Effects : Synchronous whirl of a Rotor Systems with a thin Disc 51:20
Mod-04 Lec-02 Gyroscopic Effects : Synchronous and Asynchronous pure wobbling motions 46:14
Mod-04 Lec-03 Gyroscopic Effects : Asynchronous whirl of a Rotor system with a thin Disc 57:15
Mod-04 Lec-04 Gyroscopic Effects : Asynchronous whirl analysis with Dynamic Approach 49:25
Mod-05 Lec-01 Torsional Vibrations: Simple Rotor Systems 51:08
Mod-05 Lec-02 Three Disc Rotor System 46:48
Mod-05 Lec-03 Transfer Matrix Approach I 50:53
Mod-05 Lec-04 Transfer Matrix Approach II 43:36
Mod-05 Lec-05 Transfer Matrix Approach III 51:39
Mod-05 Lec-06 Geared and Branched Systems 52:07
Mod-05 Lec-07 Continuous System and Finite Element Method 51:12
Mod-05 Lec-08 Finite Element Method 1:39:14
Mod-05 Lec-09 Finite Element Analysis 52:19
Mod-05 Lec-10 Finite Element Analysis III 53:00
Mod-06 Lec-01 Influence Coefficient Method 50:22
Mod-06 Lec-02 Transfer Matrix Method I 50:04
Mod-06 Lec-03 Transfer Matrix Method II 48:38
Mod-06 Lec-04 Transfer Matrix Method III 56:11
Mod-06 Lec-05 Continuous System Approach 50:06
Mod-06 Lec-06 Finite Element Method I 52:15
Mod-06 Lec-07 Finite Element Method II 52:12
Mod-06 Lec-08 Finite Element Method III 53:36
Mod-07 Lec-01 Instability in Rotor Systems: Bearings 1:12:09
Mod-07 Lec-02 Fluid-Film Bearings 47:25
Mod-07 Lec-03 Internal Damping & Asymmetrical Shaft 50:48
Mod-07 Lec-04 Steam Whirl and Seals 50:15
Mod-07 Lec-05 Subcritical Speed Whirl 51:29
Mod-08 Lec-01 Introduction to Rigid Rotor Balancing 49:13
Mod-08 Lec-02 Dynamic Balancing of Rotors: Rigid Rotor Balancing 52:52
Mod-08 Lec-03 Dynamic Balancing of Rotors:Flexible Rotor Model Balancing 50:42
Mod-08 Lec-04 Dynamic Balancing of Rotors:Influence Coefficient Method for Flexible Rotor 55:53
Mod-09 Lec-01 Common Faults & Vibration signatures 49:08
Mod-09 Lec-02 Condition Based Monitiring 45:25
source: nptelhrd 2014年4月9日
Mechanical - Theory & Practice of Rotor Dynamics by Prof. Rajiv Tiwari, Department of Mechanical Engineering, IIT Guwahati. For more details on NPTEL visit http://nptel.ac.in
Mod-01 Lec-01 Introduction 50:29
Mod-01 Lec-02 A Brief History of Rotor Dynamics 51:34
Mod-01 Lec-03 The State of the Art of Rotor Dynamics 53:49
Mod-02 Lec-01 Simple Rotor Models with Rigid Bearings 53:05
Mod-02 Lec-02 Jeffcott Rotor Model 46:56
Mod-02 Lec-03 Variant of Jeffcott Rotor Model 50:31
Mod-03 Lec-01 Rigid Rotor Mounted on Simple Anistropic Springs as Bearings 51:56
Mod-03 Lec-02 Rigid Rotor Mounted on Complex Anisotropic Bearings 50:22
Mod-03 Lec-03 Flexible Shaft with a Rigid Disc Mounted on Anistropic Supports 54:44
Mod-04 Lec-01 Gyroscopic Effects : Synchronous whirl of a Rotor Systems with a thin Disc 51:20
Mod-04 Lec-02 Gyroscopic Effects : Synchronous and Asynchronous pure wobbling motions 46:14
Mod-04 Lec-03 Gyroscopic Effects : Asynchronous whirl of a Rotor system with a thin Disc 57:15
Mod-04 Lec-04 Gyroscopic Effects : Asynchronous whirl analysis with Dynamic Approach 49:25
Mod-05 Lec-01 Torsional Vibrations: Simple Rotor Systems 51:08
Mod-05 Lec-02 Three Disc Rotor System 46:48
Mod-05 Lec-03 Transfer Matrix Approach I 50:53
Mod-05 Lec-04 Transfer Matrix Approach II 43:36
Mod-05 Lec-05 Transfer Matrix Approach III 51:39
Mod-05 Lec-06 Geared and Branched Systems 52:07
Mod-05 Lec-07 Continuous System and Finite Element Method 51:12
Mod-05 Lec-08 Finite Element Method 1:39:14
Mod-05 Lec-09 Finite Element Analysis 52:19
Mod-05 Lec-10 Finite Element Analysis III 53:00
Mod-06 Lec-01 Influence Coefficient Method 50:22
Mod-06 Lec-02 Transfer Matrix Method I 50:04
Mod-06 Lec-03 Transfer Matrix Method II 48:38
Mod-06 Lec-04 Transfer Matrix Method III 56:11
Mod-06 Lec-05 Continuous System Approach 50:06
Mod-06 Lec-06 Finite Element Method I 52:15
Mod-06 Lec-07 Finite Element Method II 52:12
Mod-06 Lec-08 Finite Element Method III 53:36
Mod-07 Lec-01 Instability in Rotor Systems: Bearings 1:12:09
Mod-07 Lec-02 Fluid-Film Bearings 47:25
Mod-07 Lec-03 Internal Damping & Asymmetrical Shaft 50:48
Mod-07 Lec-04 Steam Whirl and Seals 50:15
Mod-07 Lec-05 Subcritical Speed Whirl 51:29
Mod-08 Lec-01 Introduction to Rigid Rotor Balancing 49:13
Mod-08 Lec-02 Dynamic Balancing of Rotors: Rigid Rotor Balancing 52:52
Mod-08 Lec-03 Dynamic Balancing of Rotors:Flexible Rotor Model Balancing 50:42
Mod-08 Lec-04 Dynamic Balancing of Rotors:Influence Coefficient Method for Flexible Rotor 55:53
Mod-09 Lec-01 Common Faults & Vibration signatures 49:08
Mod-09 Lec-02 Condition Based Monitiring 45:25
Discrete Mathematical Structures by Kamala Krithivasan (IIT Madras)
# click the upper-left icon to select videos from the playlist
source: nptelhrd 2007年12月4日
Computer Sc - Discrete Mathematical Structures by Prof. Kamala Krithivasan,
Department of Computer Science and Engineering, IIT Madras
Lecture 1 - Propositional Logic 56:48
Lecture 2 - Propositional Logic (Contd.) 57:36
Lecture 3 - Predicates & Quantifiers 57:55
Lecture 4 - Predicates & Quantifiers (Contd.) 59:25
Lecture 5 -Logical Inference 59:16
Lecture 6 -Resolution Principles & Application to PROLOG 54:30
Lecture 7 - Methods of Proof 54:58
Lecture 8 - Normal Forms 58:09
Lecture 9 - Proving programs correct 54:09
Lecture 10 - Sets 55:13
Lecture 11 - Induction 53:20
Lecture 12 - Set Operations on Strings Over an Alphabet 58:22
Lecture 13 - Relations 57:58
Lecture 14- Graphs 55:37
Lecture 15 - Graphs (Contd.) 55:47
Lecture 16 - Trees 57:23
Lecture 17 - Trees and Graphs 56:46
Lecture 18 - Special Properties of Relations 57:04
Lecture -19 - Closure of Relations 56:51
Lecture 20 - Closure of Relations (Contd.) 57:01
Lecture 21 - Order Relations 55:53
Lecture 22 - Order and Relations and Equivalence Relations 57:13
Lecture 23 - Equivalence relations and partitions 56:20
Lecture 24 - Functions 55:02
Lecture 25 - Functions (Contd.) 56:09
Lectures 26 - Functions (Contd.) 57:50
Lecture 27-Pigeonhole Principle 56:59
Lecture 28 - Permutations and combinations 57:18
Lecture 29 - Permutations and Combinations(Contd...) 59:52
Lecture 30 - Generating Functions 58:13
Lecture 31- Generating Functions 56:19
Lecture 32 - Recurrence Relations 57:21
Lecture 33 - Recurrence Relations 55:58
Lecture 34-Recurrence Relations(contd..) 54:19
Lecture 35-Algebras 57:08
Lecture 36-Algebras(contd...) 57:27
Lecture 37-Algebras(contd...) 55:42
Lecture 38-Finite State Automaton 57:18
Lecture 39-Finite State Automaton(contd....) 56:45
Lecture 40-Lattices 57:04
source: nptelhrd 2007年12月4日
Computer Sc - Discrete Mathematical Structures by Prof. Kamala Krithivasan,
Department of Computer Science and Engineering, IIT Madras
Lecture 1 - Propositional Logic 56:48
Lecture 2 - Propositional Logic (Contd.) 57:36
Lecture 3 - Predicates & Quantifiers 57:55
Lecture 4 - Predicates & Quantifiers (Contd.) 59:25
Lecture 5 -Logical Inference 59:16
Lecture 6 -Resolution Principles & Application to PROLOG 54:30
Lecture 7 - Methods of Proof 54:58
Lecture 8 - Normal Forms 58:09
Lecture 9 - Proving programs correct 54:09
Lecture 10 - Sets 55:13
Lecture 11 - Induction 53:20
Lecture 12 - Set Operations on Strings Over an Alphabet 58:22
Lecture 13 - Relations 57:58
Lecture 14- Graphs 55:37
Lecture 15 - Graphs (Contd.) 55:47
Lecture 16 - Trees 57:23
Lecture 17 - Trees and Graphs 56:46
Lecture 18 - Special Properties of Relations 57:04
Lecture -19 - Closure of Relations 56:51
Lecture 20 - Closure of Relations (Contd.) 57:01
Lecture 21 - Order Relations 55:53
Lecture 22 - Order and Relations and Equivalence Relations 57:13
Lecture 23 - Equivalence relations and partitions 56:20
Lecture 24 - Functions 55:02
Lecture 25 - Functions (Contd.) 56:09
Lectures 26 - Functions (Contd.) 57:50
Lecture 27-Pigeonhole Principle 56:59
Lecture 28 - Permutations and combinations 57:18
Lecture 29 - Permutations and Combinations(Contd...) 59:52
Lecture 30 - Generating Functions 58:13
Lecture 31- Generating Functions 56:19
Lecture 32 - Recurrence Relations 57:21
Lecture 33 - Recurrence Relations 55:58
Lecture 34-Recurrence Relations(contd..) 54:19
Lecture 35-Algebras 57:08
Lecture 36-Algebras(contd...) 57:27
Lecture 37-Algebras(contd...) 55:42
Lecture 38-Finite State Automaton 57:18
Lecture 39-Finite State Automaton(contd....) 56:45
Lecture 40-Lattices 57:04
Biometrics by Phalguni Gupta (IIT Kanpur)
# click the upper-left icon to select videos from the playlist
source: nptelhrd 2013年5月23日
Computer - Biometrics by Prof. Phalguni Gupta, Department of Computer Science and Engineering, IIT Kanpur. For more details on NPTEL visit http://nptel.iitm.ac.in
Lecture-01 Biometrics 53:28
Lecture-02 Biometrics 57:46
Lecture-03 Biometrics 48:47
Lecture-04 Biometrics 43:35
Lecture-05 Biometrics 51:37
Lecture-06 Biometrics 1:02:26
Lecture-07 Biometrics 45:27
Lecture-08 Biometrics 1:07:03
Lecture-09 Biometrics 54:26
Lecture-10 Biometrics 56:24
Lecture-11 Biometrics 56:16
Lecture-12 Biometrics 1:03:12
Lecture-13 Biometrics 56:45
Lecture-14 Biometrics 47:34
Lecture-15 Biometrics 44:07
Lecture-16 Biometrics 55:10
Lecture-17 Biometrics 47:32
Lecture-18 Biometrics 49:24
Lecture-19 Biometrics 29:42
Lecture-20 Biometrics 42:38
Lecture-21 Biometrics 53:09
Lecture-22 Biometrics 1:02:15
Lecture-23 Biometrics 1:32:02
Lecture-24 Biometrics 1:20:11
Lecture-25 Biometrics 1:08:36
Lecture-26 Biometrics 1:26:51
source: nptelhrd 2013年5月23日
Computer - Biometrics by Prof. Phalguni Gupta, Department of Computer Science and Engineering, IIT Kanpur. For more details on NPTEL visit http://nptel.iitm.ac.in
Lecture-01 Biometrics 53:28
Lecture-02 Biometrics 57:46
Lecture-03 Biometrics 48:47
Lecture-04 Biometrics 43:35
Lecture-05 Biometrics 51:37
Lecture-06 Biometrics 1:02:26
Lecture-07 Biometrics 45:27
Lecture-08 Biometrics 1:07:03
Lecture-09 Biometrics 54:26
Lecture-10 Biometrics 56:24
Lecture-11 Biometrics 56:16
Lecture-12 Biometrics 1:03:12
Lecture-13 Biometrics 56:45
Lecture-14 Biometrics 47:34
Lecture-15 Biometrics 44:07
Lecture-16 Biometrics 55:10
Lecture-17 Biometrics 47:32
Lecture-18 Biometrics 49:24
Lecture-19 Biometrics 29:42
Lecture-20 Biometrics 42:38
Lecture-21 Biometrics 53:09
Lecture-22 Biometrics 1:02:15
Lecture-23 Biometrics 1:32:02
Lecture-24 Biometrics 1:20:11
Lecture-25 Biometrics 1:08:36
Lecture-26 Biometrics 1:26:51
2016-08-30
The paradox of value - Akshita Agarwal
source: TED-Ed 2016年8月29日
View full lesson: http://ed.ted.com/lessons/the-paradox...
Imagine you’re on a game show and you can choose between two prizes: a diamond … or a bottle of water. It’s an easy choice – the diamonds are more valuable. But if given the same choice when you were dehydrated in the desert, after wandering for days, would you choose differently? Why? Aren’t diamonds still more valuable? Akshita Agarwal explains the paradox of value.
Lesson by Akshita Agarwal, animation by Qa'ed Mai.
The Possibility of Telepathy in Robots with Ben Goertzel
source: New Thinking Allowed 2016年5月30日
Ben Goertzel, PhD, is author of many books on artificial intelligence including Ten Years to the Singularity if We Really Really Try; Engineering General Intelligence, Vols. 1 and 2; The Hidden Pattern: A Patternist Philosophy of Mind; and The Path to Posthumanity. He is also editor (with Damien Broderick) of an anthology about parapsychology titled, Evidence for Psi: Thirteen Empirical Research Reports. He is chief scientific officer for Hanson Robotics in Hong Kong.
Here he points out that, while the question of consciousness in robots is problematic, there are similar problems when exploring the question of consciousness in humans. He postulates that AI machines will develop some forms of awareness; and suggests thought experiments involving plugging the human brain directly into computers. He discusses credible research on extrasensory perception and suggests that people working in artificial intelligence and cognitive science will need to confront this data. He then speculates about the prospects for telepathic robots.
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 April 29, 2016)
K. M. Singh: Computational Fluid Dynamics (IIT Roorkee)
# playlist of the 43 videos (click the up-left corner of the video)
source: nptelhrd 2014年4月2日
Mechanical - Computational Fluid Dynamics by Dr. K. M. Singh, Department of Mechanical Engineering, IIT Roorkee. For more details on NPTEL visit http://nptel.ac.in
Mod-01 Lec-01 General Introduction: Historical Background and Spectrum of Applications 54:48
Mod-01 Lec-02 CFD: Simulation Process and Course Outline 45:46
Mod-02 Lec-01 Conservation Laws and Mathematical Preliminaries 46:42
Mod-02 Lec-02 Mass Conservation: Continuity Equation 1:03:20
Mod-02 Lec-03 Momentum Equation: Newton's 2nd Law 49:43
Mod-02 Lec-04 Momentum Equation: Navier-Stokes Equations 52:10
Mod-02 Lec-05 Navier-Stokes Equation and its Simplified Forms 38:08
Mod-02 Lec-06 Energy and Scalar Transport Equations 45:20
Mod-02 Lec-07 Scalar Transport, Mathematical Classification and Boundary Conditions 52:57
Mod-03 Lec-01 Finite Difference Method: Methodology and Grid Notation 49:32
Mod-03 Lec-02 Finite Difference Approximation of First Order Derivatives 1:01:09
Mod-03 Lec-03 Finite Difference Approximation of Second Order Derivatives 53:50
Mod-03 Lec-04 Finite Difference Approximation of Second Order Derivatives-2 52:04
Mod-03 Lec-05 Approximation of Mixed Derivatives and Multi-Dimensional F.D. Formulae 54:35
Mod-03 Lec-06 Implementation of Boundary Conditions and Finite Difference Algebraic System 48:25
Mod-03 Lec-07 Applications of FDM to Scalar Transport Problems-1 43:24
Mod-03 Lec-08 Applications of FDM to Scalar Transport Problems-2 50:59
Mod-03 Lec-09 Application of FDM to Advection-Diffusion and Computer Implementation Aspects 56:17
Mod-03 Lec-10 Computer Implementation of FDM for Steady State Heat Diffusion Problems 50:22
Mod-03 Lec-11 Computer Implementation of FDM for Steady State Heat Diffusion Problems -2 49:29
Mod-03 Lec-12 Computer Implementation of FDM for Steady State Heat Diffusion Problems -3 45:24
Mod-04 Lec-01 Solution of Discrete Algebraic Systems 54:09
Mod-04 Lec-02 Direct and Basic Iterative Methods for Linear Systems 56:12
Mod-04 Lec-03 Accelerated Iterative Methods for Linear Systems 1:05:10
Mod-05 Lec-01 Two Level and Multi-Level Methods for First Order IVPs 52:45
Mod-05 Lec-02 Two Level and Multi-Level Methods for First Order IVPs-2 51:39
Mod-05 Lec-03 Application to Unsteady Transport Problems 42:11
Mod-06 Lec-01 Introduction to Finite Volume Method 51:16
Mod-06 Lec-02 Finite Volume Interpolation Schemes 51:53
Mod-06 Lec-03 Application of FVM to Scalar Transport 55:08
Mod-07 Lec-01 Introduction to Finite Element Method 1:00:20
Mod-07 Lec-02 Finite Element Shape Functions and Numerical Integration 48:00
Mod-07 Lec-03 Finite Element Shape Functions and Numerical Integration-2 1:01:06
Mod-07 Lec-04 Application of FEM to Scalar Transport 56:34
Mod-08 Lec-01 Special Features of Navier-Stokes Equations 57:44
Mod-08 Lec-02 Time Integration Techniques for Navier-Stokes Equations 47:53
Mod-08 Lec-03 Implicit Pressure Correction Methods 43:26
Mod-08 Lec-04 SIMPLEC, SIMPLER and Fractional Step Methods 49:12
Mod-09 Lec-01 Turbulent Flows: Features and Simulation Strategies 1:03:46
Mod-09 Lec-02 Reynolds Averaging and RANS Simulation Models 46:33
Mod-09 Lec-03 RANS Turbulence Models and Large Eddy Simulation 50:03
Mod-10 Lec-01 Introduction to Grid Generation 51:00
Mod-10 Lec-02 Aspects of Practical CFD Analysis 51:45
source: nptelhrd 2014年4月2日
Mechanical - Computational Fluid Dynamics by Dr. K. M. Singh, Department of Mechanical Engineering, IIT Roorkee. For more details on NPTEL visit http://nptel.ac.in
Mod-01 Lec-01 General Introduction: Historical Background and Spectrum of Applications 54:48
Mod-01 Lec-02 CFD: Simulation Process and Course Outline 45:46
Mod-02 Lec-01 Conservation Laws and Mathematical Preliminaries 46:42
Mod-02 Lec-02 Mass Conservation: Continuity Equation 1:03:20
Mod-02 Lec-03 Momentum Equation: Newton's 2nd Law 49:43
Mod-02 Lec-04 Momentum Equation: Navier-Stokes Equations 52:10
Mod-02 Lec-05 Navier-Stokes Equation and its Simplified Forms 38:08
Mod-02 Lec-06 Energy and Scalar Transport Equations 45:20
Mod-02 Lec-07 Scalar Transport, Mathematical Classification and Boundary Conditions 52:57
Mod-03 Lec-01 Finite Difference Method: Methodology and Grid Notation 49:32
Mod-03 Lec-02 Finite Difference Approximation of First Order Derivatives 1:01:09
Mod-03 Lec-03 Finite Difference Approximation of Second Order Derivatives 53:50
Mod-03 Lec-04 Finite Difference Approximation of Second Order Derivatives-2 52:04
Mod-03 Lec-05 Approximation of Mixed Derivatives and Multi-Dimensional F.D. Formulae 54:35
Mod-03 Lec-06 Implementation of Boundary Conditions and Finite Difference Algebraic System 48:25
Mod-03 Lec-07 Applications of FDM to Scalar Transport Problems-1 43:24
Mod-03 Lec-08 Applications of FDM to Scalar Transport Problems-2 50:59
Mod-03 Lec-09 Application of FDM to Advection-Diffusion and Computer Implementation Aspects 56:17
Mod-03 Lec-10 Computer Implementation of FDM for Steady State Heat Diffusion Problems 50:22
Mod-03 Lec-11 Computer Implementation of FDM for Steady State Heat Diffusion Problems -2 49:29
Mod-03 Lec-12 Computer Implementation of FDM for Steady State Heat Diffusion Problems -3 45:24
Mod-04 Lec-01 Solution of Discrete Algebraic Systems 54:09
Mod-04 Lec-02 Direct and Basic Iterative Methods for Linear Systems 56:12
Mod-04 Lec-03 Accelerated Iterative Methods for Linear Systems 1:05:10
Mod-05 Lec-01 Two Level and Multi-Level Methods for First Order IVPs 52:45
Mod-05 Lec-02 Two Level and Multi-Level Methods for First Order IVPs-2 51:39
Mod-05 Lec-03 Application to Unsteady Transport Problems 42:11
Mod-06 Lec-01 Introduction to Finite Volume Method 51:16
Mod-06 Lec-02 Finite Volume Interpolation Schemes 51:53
Mod-06 Lec-03 Application of FVM to Scalar Transport 55:08
Mod-07 Lec-01 Introduction to Finite Element Method 1:00:20
Mod-07 Lec-02 Finite Element Shape Functions and Numerical Integration 48:00
Mod-07 Lec-03 Finite Element Shape Functions and Numerical Integration-2 1:01:06
Mod-07 Lec-04 Application of FEM to Scalar Transport 56:34
Mod-08 Lec-01 Special Features of Navier-Stokes Equations 57:44
Mod-08 Lec-02 Time Integration Techniques for Navier-Stokes Equations 47:53
Mod-08 Lec-03 Implicit Pressure Correction Methods 43:26
Mod-08 Lec-04 SIMPLEC, SIMPLER and Fractional Step Methods 49:12
Mod-09 Lec-01 Turbulent Flows: Features and Simulation Strategies 1:03:46
Mod-09 Lec-02 Reynolds Averaging and RANS Simulation Models 46:33
Mod-09 Lec-03 RANS Turbulence Models and Large Eddy Simulation 50:03
Mod-10 Lec-01 Introduction to Grid Generation 51:00
Mod-10 Lec-02 Aspects of Practical CFD Analysis 51:45
Philosophical Naturalism (Moving Naturalism Forward Sessions)
# click the up-left corner to select videos from the playlist
source: Sean Carroll 2012年12月10日
A number of well known philosophers & scientists discuss the project of naturalism & some of the issues which arise regarding consciousness, free will, emergence, reductionism, meaning, morality, reality, & the relation between science & philosophy.
http://preposterousuniverse.com/natur...
The participants included:
Daniel Dennett, Philosophy
Sean Carroll, Physics
Massimo Pigliucci, Philosophy
Steven Weinberg, Physics
Owen Flanagan, Philosophy
Richard Dawkins, Biology
Alex Rosenberg, Philosophy
Terrence Deacon, Anthropology
Rebecca Goldstein, Philosophy/Lit
Simon DeDeo, Complex Systems
Janna Levin, Physics/Literature
David Poeppel, Neuroscience
Don Ross, Economics/Philosophy
Jerry Coyne, Biology
Moving Naturalism Forward: Day 1, Morning, 1st Session Introduction 1:18:15
Moving Naturalism Forward: Day 1, Morning, 2nd Session "What is Real?" 1:32:50
Moving Naturalism Forward: Day 1, Afternoon, 1st Session Emergence & Reduction 1:27:03
Moving Naturalism Forward, Day 1, Afternoon, 2nd Session Emergence & Reduction (cont) 1:42:37
Moving Naturalism Forward: Day 2, Morning, 1st Session Morality 1:35:02
Moving Naturalism Forward: Day 2, Morning, 2nd Session Meaning 1:31:33
Moving Naturalism Forward: Day 2, Afternoon, 1st Session Free Will 1:29:21
Moving Naturalism Forward: Day 2, Afternoon, 2nd Session Consciousness 2:07:20
Moving Naturalism Forward: Day 3, 1st Session Philosophy & Science 1:22:35
Moving Naturalism Forward: Day 3, 2nd Session Final Thoughts 1:03:08
source: Sean Carroll 2012年12月10日
A number of well known philosophers & scientists discuss the project of naturalism & some of the issues which arise regarding consciousness, free will, emergence, reductionism, meaning, morality, reality, & the relation between science & philosophy.
http://preposterousuniverse.com/natur...
The participants included:
Daniel Dennett, Philosophy
Sean Carroll, Physics
Massimo Pigliucci, Philosophy
Steven Weinberg, Physics
Owen Flanagan, Philosophy
Richard Dawkins, Biology
Alex Rosenberg, Philosophy
Terrence Deacon, Anthropology
Rebecca Goldstein, Philosophy/Lit
Simon DeDeo, Complex Systems
Janna Levin, Physics/Literature
David Poeppel, Neuroscience
Don Ross, Economics/Philosophy
Jerry Coyne, Biology
Moving Naturalism Forward: Day 1, Morning, 1st Session Introduction 1:18:15
Moving Naturalism Forward: Day 1, Morning, 2nd Session "What is Real?" 1:32:50
Moving Naturalism Forward: Day 1, Afternoon, 1st Session Emergence & Reduction 1:27:03
Moving Naturalism Forward, Day 1, Afternoon, 2nd Session Emergence & Reduction (cont) 1:42:37
Moving Naturalism Forward: Day 2, Morning, 1st Session Morality 1:35:02
Moving Naturalism Forward: Day 2, Morning, 2nd Session Meaning 1:31:33
Moving Naturalism Forward: Day 2, Afternoon, 1st Session Free Will 1:29:21
Moving Naturalism Forward: Day 2, Afternoon, 2nd Session Consciousness 2:07:20
Moving Naturalism Forward: Day 3, 1st Session Philosophy & Science 1:22:35
Moving Naturalism Forward: Day 3, 2nd Session Final Thoughts 1:03:08
S. H. Kulkarni: Real Analysis (IIT Madras)
# playlist of the 52 videos (click the up-left corner of the video)
source: nptelhrd 2016年1月18日
Mathematics - Real Analysis by Prof. S. H. Kulkarni, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
Mod-01 Lec-1 Introduction 52:45
Mod-01 Lec-02 Functions and Relations 51:36
Mod-01 Lec-3 Finite and Infinite Sets 51:34
Mod-01 Lec-4 Countable Sets 50:09
Mod-01 Lec-5 Uncountable Sets, Cardinal Numbers 50:05
Mod-02 Lec-06 Real Number System 52:16
Mod-02 Lec-7 LUB Axiom 51:41
Mod-02 Lec-08 Sequences of Real Numbers 52:36
Mod-02 Lec-09 Sequences of Real Numbers - continued 52:23
Mod-02 Lec-10 Sequences of Real Numbers - continued... 50:59
Mod-02 Lec-11 Infinite Series of Real Numbers 51:53
Mod-02 Lec-12 Series of nonnegative Real Numbers 53:26
Mod-02 Lec-13 Conditional Convergence 53:44
Mod-03 Lec-14 Metric Spaces: Definition and Examples 52:56
Mod-03 Lec-15 Metric Spaces: Examples and Elementary Concepts 52:09
Mod-03 Lec-16 Balls and Spheres 52:03
Mod-03 Lec-17 Open Sets 51:29
Mod-03 Lec-18 Closure Points, Limit Points and isolated Points 52:20
Mod-03 Lec-19 Closed sets 51:14
Mod-04 Lec-20 Sequences in Metric Spaces 51:44
Mod-04 Lec-21 Completeness 49:20
Mod-04 Lec-22 Baire Category Theorem 53:38
Mod-05 Lec-23 Limit and Continuity of a Function defined on a Metric space 53:27
Mod-05 Lec-24 Continuous Functions on a Metric Space 54:19
Mod-05 Lec-25 Uniform Continuity 51:01
Mod-06 Lec-26 Connectedness 40:05
Mod-06 Lec-27 Connected Sets 54:53
Mod-06 Lec-28 Compactness 51:22
Mod-06 Lec-29 Compactness - Continued 51:59
Mod-06 Lec-30 Characterizations of Compact Sets 56:29
Mod-06 Lec-31 Continuous Functions on Compact Sets 53:20
Mod-06 Lec-32 Types of Discontinuity 54:44
Mod-07 Lec-33 Differentiation 52:41
Mod-07 Lec-34 Mean Value Theorems 50:19
Mod-07 Lec-35 Mean Value Theorems - Continued 51:35
Mod-07 Lec-36 Taylor's Theorem 50:13
Mod-07 Lec-37 Differentiation of Vector Valued Functions 50:59
Mod-08 Lec-38 Integration 51:02
Mod-08 Lec-39 Integrability 50:43
Mod-08 Lec-40 Integrable Functions 51:23
Mod-08 Lec-41 Integrable Functions - Continued 52:33
Mod-08 Lec-42 Integration as a Limit of Sum 52:25
Mod-08 Lec-43 Integration and Differentiation 54:25
Mod-08 Lec-44 Integration of Vector Valued Functions 51:51
Mod-08 Lec-45 More Theorems on Integrals 52:35
Mod-09 Lec-46 Sequences and Series of Functions 51:34
Mod-09 Lec-47 Uniform Convergence 53:24
Mod-09 Lec-48 Uniform Convergence and Integration 52:50
Mod-09 Lec-49 Uniform Convergence and Differentiation 52:06
Mod-09 Lec-50 Construction of Everywhere Continuous Nowhere Differentiable Function 53:42
Mod-09 Lec-51 Approximation of a Continuous Function by Polynomials: Weierstrass Theorem 50:58
Mod-09 Lec-52 Equicontinuous family of Functions: Arzela - Ascoli Theorem 53:24
source: nptelhrd 2016年1月18日
Mathematics - Real Analysis by Prof. S. H. Kulkarni, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
Mod-01 Lec-1 Introduction 52:45
Mod-01 Lec-02 Functions and Relations 51:36
Mod-01 Lec-3 Finite and Infinite Sets 51:34
Mod-01 Lec-4 Countable Sets 50:09
Mod-01 Lec-5 Uncountable Sets, Cardinal Numbers 50:05
Mod-02 Lec-06 Real Number System 52:16
Mod-02 Lec-7 LUB Axiom 51:41
Mod-02 Lec-08 Sequences of Real Numbers 52:36
Mod-02 Lec-09 Sequences of Real Numbers - continued 52:23
Mod-02 Lec-10 Sequences of Real Numbers - continued... 50:59
Mod-02 Lec-11 Infinite Series of Real Numbers 51:53
Mod-02 Lec-12 Series of nonnegative Real Numbers 53:26
Mod-02 Lec-13 Conditional Convergence 53:44
Mod-03 Lec-14 Metric Spaces: Definition and Examples 52:56
Mod-03 Lec-15 Metric Spaces: Examples and Elementary Concepts 52:09
Mod-03 Lec-16 Balls and Spheres 52:03
Mod-03 Lec-17 Open Sets 51:29
Mod-03 Lec-18 Closure Points, Limit Points and isolated Points 52:20
Mod-03 Lec-19 Closed sets 51:14
Mod-04 Lec-20 Sequences in Metric Spaces 51:44
Mod-04 Lec-21 Completeness 49:20
Mod-04 Lec-22 Baire Category Theorem 53:38
Mod-05 Lec-23 Limit and Continuity of a Function defined on a Metric space 53:27
Mod-05 Lec-24 Continuous Functions on a Metric Space 54:19
Mod-05 Lec-25 Uniform Continuity 51:01
Mod-06 Lec-26 Connectedness 40:05
Mod-06 Lec-27 Connected Sets 54:53
Mod-06 Lec-28 Compactness 51:22
Mod-06 Lec-29 Compactness - Continued 51:59
Mod-06 Lec-30 Characterizations of Compact Sets 56:29
Mod-06 Lec-31 Continuous Functions on Compact Sets 53:20
Mod-06 Lec-32 Types of Discontinuity 54:44
Mod-07 Lec-33 Differentiation 52:41
Mod-07 Lec-34 Mean Value Theorems 50:19
Mod-07 Lec-35 Mean Value Theorems - Continued 51:35
Mod-07 Lec-36 Taylor's Theorem 50:13
Mod-07 Lec-37 Differentiation of Vector Valued Functions 50:59
Mod-08 Lec-38 Integration 51:02
Mod-08 Lec-39 Integrability 50:43
Mod-08 Lec-40 Integrable Functions 51:23
Mod-08 Lec-41 Integrable Functions - Continued 52:33
Mod-08 Lec-42 Integration as a Limit of Sum 52:25
Mod-08 Lec-43 Integration and Differentiation 54:25
Mod-08 Lec-44 Integration of Vector Valued Functions 51:51
Mod-08 Lec-45 More Theorems on Integrals 52:35
Mod-09 Lec-46 Sequences and Series of Functions 51:34
Mod-09 Lec-47 Uniform Convergence 53:24
Mod-09 Lec-48 Uniform Convergence and Integration 52:50
Mod-09 Lec-49 Uniform Convergence and Differentiation 52:06
Mod-09 Lec-50 Construction of Everywhere Continuous Nowhere Differentiable Function 53:42
Mod-09 Lec-51 Approximation of a Continuous Function by Polynomials: Weierstrass Theorem 50:58
Mod-09 Lec-52 Equicontinuous family of Functions: Arzela - Ascoli Theorem 53:24
數位聲訊分析與合成--劉奕汶 / 清大
# 播放清單 (請按影片左上角選取影片)
source: NTHUOCW 2016年8月25日
[清華大學 10410 劉奕汶教授 數位聲訊分析與合成開放式課程]
http://ocw.nthu.edu.tw/ocw/index.php?...
訊號處理的藝術：分析與合成 Ad L1 C 15:35
數位訊號是什麼？Ad L1 B 17:11
數位聲訊分析與合成 介紹Ad L1 A 36:43
聆聽的理性層面：基本樂理Ad L9multi E 31:12
從古典音樂看機器聽覺的若干難題Ad L9multi D 25:47
論文導讀 Ad L9multi C 24:07
論文導讀 Ad L9multi B 16:54
論文導讀Ad L9multi A 17:36
費希爾訊息 (2)Ad L7multi F 33:20
費希爾訊息 (2)Ad L7multi E 11:19
費希爾訊息 (1)Ad L7multi D 25:58
訊號模型在估計學上的解釋Ad L7multi C 24:57
[私人影片]
頻譜峰值的取法以及心理聲學的屏蔽效應Ad L7multi B 28:59
頻譜估計與二次曲線內插的快速傅立葉轉換Ad L7multi A 21:10
論文導讀 Human Time-Frequency Acuity Beats the 24:14
測不準不等式 (1) Ad L6Mulic E 22:13
音高之聽覺生理基礎 (3)Ad L6Mulic D 27:48
音高之聽覺生理基礎 (2) Ad L6Mulic C 30:16
測不準不等式 (2)Ad L6Mulic B 24:18
測不準不等式 (1) Ad L6Mulic A 23:01
常見問題及作業一講解Ad L5 multi E 34:28
頻譜估計 (2)Ad L5 multi D 29:02
Ad L5 multi C
詮釋短時間傅立葉轉換：濾波組系統的總和Ad L5 multi B 27:36
回顧短時間傅立葉轉換：為什麼需要窗函數？ Ad L5 multi A 26:36
Lab4: FIR filtering using FFT and overlap-addAd L4 multi F 14:36
短時間處理：時域混疊與補零法Ad L4 multi E 13:17
短時間處理：重疊相加合成Ad L4 multi D 30:57
窗函數在頻域分析上的效應：翰氏窗Ad L4 multi C 23:42
窗函數在頻域分析上的效應：方窗Ad L4 multi B 26:41
短時間傅立葉轉換及窗函數 Ad L4 multi A 18:43
[私人影片]
離散傅立葉轉換的帕斯瓦定理Ad L3 multi D 17:20
[私人影片]
#實作3：頻譜圖Ad L3 multi F 20:11
#實作3：頻譜圖Ad L3 multi E 21:49
短時間傅立葉轉換及窗函數Ad L3 multi E 4320 58681 0:11
離散傅立葉轉換：矩陣表示式Ad L3 multi C 20:48
短時間傅立葉轉換及離散傅立葉轉換Ad L3 multi B 20:34
帕斯瓦定理Ad L3 multi A 27:20
source: NTHUOCW 2016年8月25日
[清華大學 10410 劉奕汶教授 數位聲訊分析與合成開放式課程]
http://ocw.nthu.edu.tw/ocw/index.php?...
訊號處理的藝術：分析與合成 Ad L1 C 15:35
數位訊號是什麼？Ad L1 B 17:11
數位聲訊分析與合成 介紹Ad L1 A 36:43
聆聽的理性層面：基本樂理Ad L9multi E 31:12
從古典音樂看機器聽覺的若干難題Ad L9multi D 25:47
論文導讀 Ad L9multi C 24:07
論文導讀 Ad L9multi B 16:54
論文導讀Ad L9multi A 17:36
費希爾訊息 (2)Ad L7multi F 33:20
費希爾訊息 (2)Ad L7multi E 11:19
費希爾訊息 (1)Ad L7multi D 25:58
訊號模型在估計學上的解釋Ad L7multi C 24:57
[私人影片]
頻譜峰值的取法以及心理聲學的屏蔽效應Ad L7multi B 28:59
頻譜估計與二次曲線內插的快速傅立葉轉換Ad L7multi A 21:10
論文導讀 Human Time-Frequency Acuity Beats the 24:14
測不準不等式 (1) Ad L6Mulic E 22:13
音高之聽覺生理基礎 (3)Ad L6Mulic D 27:48
音高之聽覺生理基礎 (2) Ad L6Mulic C 30:16
測不準不等式 (2)Ad L6Mulic B 24:18
測不準不等式 (1) Ad L6Mulic A 23:01
常見問題及作業一講解Ad L5 multi E 34:28
頻譜估計 (2)Ad L5 multi D 29:02
Ad L5 multi C
詮釋短時間傅立葉轉換：濾波組系統的總和Ad L5 multi B 27:36
回顧短時間傅立葉轉換：為什麼需要窗函數？ Ad L5 multi A 26:36
Lab4: FIR filtering using FFT and overlap-addAd L4 multi F 14:36
短時間處理：時域混疊與補零法Ad L4 multi E 13:17
短時間處理：重疊相加合成Ad L4 multi D 30:57
窗函數在頻域分析上的效應：翰氏窗Ad L4 multi C 23:42
窗函數在頻域分析上的效應：方窗Ad L4 multi B 26:41
短時間傅立葉轉換及窗函數 Ad L4 multi A 18:43
[私人影片]
離散傅立葉轉換的帕斯瓦定理Ad L3 multi D 17:20
[私人影片]
#實作3：頻譜圖Ad L3 multi F 20:11
#實作3：頻譜圖Ad L3 multi E 21:49
短時間傅立葉轉換及窗函數Ad L3 multi E 4320 58681 0:11
離散傅立葉轉換：矩陣表示式Ad L3 multi C 20:48
短時間傅立葉轉換及離散傅立葉轉換Ad L3 multi B 20:34
帕斯瓦定理Ad L3 multi A 27:20
The New Naturalism I: Cognitive Machinery by Barbara Herrnstein Smith
source: Yale University 2014年12月12日
Dwight H. Terry Lectureship October 17, 2006 The New Naturalism I: Cognitive Machinery
Barbara Herrnstein Smith is Braxton Craven Professor of Comparative Literature and English and director of the Center for Interdisciplinary Studies in Science and Cultural Theory at Duke University. She also holds the position of Distinguished Professor of English at Brown University.
After initially training in biology, experimental psychology, and philosophy at City College in New York, Smith attended Brandeis University, where she received her doctorate in English and American Literature. Before joining the faculty at Duke in 1987, she taught at Bennington College and at the University of Pennsylvania, where she held the position of University Professor. Her current teaching and research focus on twentieth century reconceptions of knowledge and science, contemporary accounts of language and cognition, the relations between the sciences and the humanities, and the naturalistic tradition in the study of religion.
Professor Smith has authored and edited a number of books and articles on language, literature, and critical theory, including Poetic Closure: A Study of How Poems End (1968), On the Margins of Discourse: The Relation of Literature to Language (1978), and Contingencies of Value: Alternative Perspectives for Critical Theory (1988). Her most recent books are Belief and Resistance: Dynamics of Contemporary Intellectual Controversy (1997) and Scandalous Knowledge: Science, Truth and the Human (2006).
She is a past president of the Modern Language Association and a member of the American Academy of Arts and Sciences. In 2001, she was named an honorary fellow of the American Association for the Advancement of Science "for distinguished contributions to…a common scientific and humanistic understanding of knowledge and its advancement."
The New Naturalism II: Evolutionary Riddles by Barbara Herrnstein Smith
source: Yale University 2014年12月12日
Dwight H. Terry Lectureship October 19, 2006 The New Naturalism II: Evolutionary Riddles
Barbara Herrnstein Smith is Braxton Craven Professor of Comparative Literature and English and director of the Center for Interdisciplinary Studies in Science and Cultural Theory at Duke University. She also holds the position of Distinguished Professor of English at Brown University.
After initially training in biology, experimental psychology, and philosophy at City College in New York, Smith attended Brandeis University, where she received her doctorate in English and American Literature. Before joining the faculty at Duke in 1987, she taught at Bennington College and at the University of Pennsylvania, where she held the position of University Professor. Her current teaching and research focus on twentieth century reconceptions of knowledge and science, contemporary accounts of language and cognition, the relations between the sciences and the humanities, and the naturalistic tradition in the study of religion.
Professor Smith has authored and edited a number of books and articles on language, literature, and critical theory, including Poetic Closure: A Study of How Poems End (1968), On the Margins of Discourse: The Relation of Literature to Language (1978), and Contingencies of Value: Alternative Perspectives for Critical Theory (1988). Her most recent books are Belief and Resistance: Dynamics of Contemporary Intellectual Controversy (1997) and Scandalous Knowledge: Science, Truth and the Human (2006).
She is a past president of the Modern Language Association and a member of the American Academy of Arts and Sciences. In 2001, she was named an honorary fellow of the American Association for the Advancement of Science "for distinguished contributions to…a common scientific and humanistic understanding of knowledge and its advancement."
Interview with Hilary Putnam
source: Moscow Center for Consciousness Studies 2014年8月28日
The Moscow Center for Consciousness Studies arranged an interview with Hilary Putnam on April 21, 2010. The interview was conducted by Vadim Vasilyev and Dmitry Volkov.
Improving Access to Psychological Therapies: Using evidence to change policy
source: University of Oxford 2016年6月29日
Prof David Clark and his team have tirelessly worked with successive governments, using evidence to demonstrate how the NHS can better tackle depression and social anxiety.
Find out more about the Improving Access to Psychological Therapies programme here:http://www.iapt.nhs.uk/
If you have been affected by any of the issues raised in this video, please visit: www.talkingspaceplus.org.uk or http://www.healthymindsbucks.nhs.uk
Hannah Song & Joseph Kim: "Liberty in North Korea" | Talks At Google
source: Talks at Google 2016年7月21日
Hannah Song, CEO and President of Liberty in North Korea, and Joseph Kim, author of "Under the Same Sky: From starvation in North Korea to salvation in America" and Ted Talk speaker, come to Google to discuss the human rights violations in North Korea and how you can help. A searing story of starvation and survival in North Korea, followed by a dramatic escape, rescue by activists and Christian missionaries, and success in the United States thanks to newfound faith and courage.
If you'd like to donate, go to: http://www.libertyinnorthkorea.org/do... or use the donate ability in the upper right of the video.
Climate Change Formula: Rising Sea Levels + Coastal Megacities = Forced Migration | Parag Khanna
source: Big Think 2016年7月28日
If global temperatures rise by just four degrees celsius, the forecast is cloudy with a chance of obliteration. Khanna’s latest book is Connectography: Mapping the Future of Global Civilization (http://goo.gl/fUVuXR).
Read more at BigThink.com: http://bigthink.com/videos/parag-khan...
Introduction to Computer Programming with MATLAB by Mike Fitzpatrick (Vanderbilt University)
# click the upper-left icon to select videos from the playlist
source: Fitzle LLC 2015年6月13日
Check out the companion website and textbook: http://cs103.net
Lesson 1: 1. Introduction (Old version) 13:17
Lesson 1.2 The MATLAB Environment 20:41
Lesson 1.4: MATLAB as a Calculator 14:32
Lesson 1.5: Syntax and Semantics 5:01
Lesson 1.6:The MATLAB Help System 8:37
Lesson 1.7: Introduction to Plotting in MATLAB 19:07
Lesson 2.1 Introduction to Matrices and Operators 11:26
Lesson 2.2: The Colon Operator 8:46
Lesson 2.3: Accessing Parts of Matrix 21:34
Lesson 2.4 Combining and Transforming Matrices 10:07
Lesson 2.5: Arithmetic Part 1 (Old Version) 17:50
Lesson 2.6: Arithmetic Part 2 11:53
Lesson 2.7: Operator Precedence 13:32
Lesson 3.1: Introduction to Functions 5:40
Lesson 3.2: Function Input/Output 22:16
Lesson 3.3: Formal Definition of Functions 2:52
Lesson 3.4: Sub-functions 6:18
Lesson 3.5: Scope 5:25
Lesson 3.6: Advantages of Functions 2:40
Lesson 3.7: Scripts 4:28
Lesson 4.1: Introduction to the Programmer's Toolbox 7:07
Lesson 4.2: Matrix Building 15:12
Lesson 4.3: Input/Output 20:48
Lesson 4.4: Plotting 17:48
Lesson 4.5: Debugging 22:18
Lesson 5.1: Selection (Branching) in MATLAB 11:54
Lesson 5.2: If-Statement cont'd. 8:33
Lesson 5.3: Relational and Logical Operators 34:52
Lesson 5.4: Nested If-statements 2:13
Lesson 5.5: Variable Number of Arguments 6:41
Lesson 5.6: Robustness 8:38
Lesson 5.7: Persistent Variables 6:55
Lesson 6.1 for-loops in MATLAB 36:51
Lesson 6.2 while-loops in MATLAB 20:17
Lesson 6.3: Break-statement in MATLAB 29:32
Lesson 6.4: Logical indexing in MATLAB 37:30
Lesson 6.5: Preallocation 9:00
Lesson 7.1: Introduction to data types 20:28
Lesson 7.2: Strings (old version) 29:04
Lesson 7.3 Structs 14:52
Lesson 7.4: Cells 21:48
Lesson 8.1: Introduction to files in MATLAB 15:01
Lesson 8.2: Excel files in MATLAB 9:13
Lesson 8.3: Text Files 12:18
Lesson 8.4 Binary Files (old version) 25:13
source: Fitzle LLC 2015年6月13日
Check out the companion website and textbook: http://cs103.net
Lesson 1: 1. Introduction (Old version) 13:17
Lesson 1.2 The MATLAB Environment 20:41
Lesson 1.4: MATLAB as a Calculator 14:32
Lesson 1.5: Syntax and Semantics 5:01
Lesson 1.6:The MATLAB Help System 8:37
Lesson 1.7: Introduction to Plotting in MATLAB 19:07
Lesson 2.1 Introduction to Matrices and Operators 11:26
Lesson 2.2: The Colon Operator 8:46
Lesson 2.3: Accessing Parts of Matrix 21:34
Lesson 2.4 Combining and Transforming Matrices 10:07
Lesson 2.5: Arithmetic Part 1 (Old Version) 17:50
Lesson 2.6: Arithmetic Part 2 11:53
Lesson 2.7: Operator Precedence 13:32
Lesson 3.1: Introduction to Functions 5:40
Lesson 3.2: Function Input/Output 22:16
Lesson 3.3: Formal Definition of Functions 2:52
Lesson 3.4: Sub-functions 6:18
Lesson 3.5: Scope 5:25
Lesson 3.6: Advantages of Functions 2:40
Lesson 3.7: Scripts 4:28
Lesson 4.1: Introduction to the Programmer's Toolbox 7:07
Lesson 4.2: Matrix Building 15:12
Lesson 4.3: Input/Output 20:48
Lesson 4.4: Plotting 17:48
Lesson 4.5: Debugging 22:18
Lesson 5.1: Selection (Branching) in MATLAB 11:54
Lesson 5.2: If-Statement cont'd. 8:33
Lesson 5.3: Relational and Logical Operators 34:52
Lesson 5.4: Nested If-statements 2:13
Lesson 5.5: Variable Number of Arguments 6:41
Lesson 5.6: Robustness 8:38
Lesson 5.7: Persistent Variables 6:55
Lesson 6.1 for-loops in MATLAB 36:51
Lesson 6.2 while-loops in MATLAB 20:17
Lesson 6.3: Break-statement in MATLAB 29:32
Lesson 6.4: Logical indexing in MATLAB 37:30
Lesson 6.5: Preallocation 9:00
Lesson 7.1: Introduction to data types 20:28
Lesson 7.2: Strings (old version) 29:04
Lesson 7.3 Structs 14:52
Lesson 7.4: Cells 21:48
Lesson 8.1: Introduction to files in MATLAB 15:01
Lesson 8.2: Excel files in MATLAB 9:13
Lesson 8.3: Text Files 12:18
Lesson 8.4 Binary Files (old version) 25:13
Professor and the Madman 2
source: Wes Cecil 2016年6月26日
Another in an occasional series wherein Milo Redwood and Wes Cecil discuss random philosophical ideas. Hosted by Tim Quackenbush. Correction: Wes Cecil stated that the goal of the Stoics is "Ataraxia". That was the goal of the Epicureans, the Stoics pursued "Apatheia" which is equanimity or indifference to the passions and the triumph of reason. Ataraxia was a kind of joyful calm that come from the absence of pain and the moderation of desire.
Design Verification & Test of Digital VLSI Circuits by Jatindra Kumar Deka & Santosh Biswas (IIT Guwahati)
# click the upper-left icon to select videos from the playlist
source: nptelhrd 2013年2月14日
Computer-Design Verification & Test of Digital VLSI Circuits by Prof. Jatindra Kumar Deka, Dr. Santosh Biswas, Department of Computer Science and Engineering, IIT Guwahati. For more details on NPTEL visit http://nptel.iitm.ac.in
Mod-01 Lec-01 Introduction to Digital VLSI Design Flow 1:11:21
Mod-01 Lec-02 High Level Design Representation 57:35
Mod-01 Lec-03 Transformations for High Level Synthesis 57:37
Mod-02 Lec-01 Introduction to HLS: Scheduling, Allocation and Binding Problem 1:01:16
Mod-02 Lec-02 Scheduling Algorithms-1 57:38
Mod-02 Lec-03 Scheduling Algorithms-2 1:10:10
Mod-02 Lec-04 Binding and Allocation Algorithms 1:07:01
Mod-03 Lec-01 Two level Boolean Logic Synthesis-1 1:08:11
Mod-03 Lec-02 Two level Boolean Logic Synthesis-2 1:04:16
Mod-03 Lec-03 Two level Boolean Logic Synthesis-3 1:23:50
Mod-03 Lec-04 Heuristic Minimization of Two-Level Circuits 1:16:37
Mod-03 Lec-05 Finite State Machine Synthesis 1:13:42
Mod-03 Lec-06 Multilevel Implementation 1:03:52
Mod-04 Lec-01 Introduction to formal methods for design verification 53:09
Mod-04 Lec-02 Temporal Logic: Introduction and Basic Operators 55:20
Mod-04 Lec-03 Syntax and Semantics of CTL 59:34
Mod-04 Lec-04 Syntax and Semantics of CTL -- Continued 1:08:58
Mod-04 Lec-05 Equivalence between CTL Formulas 1:00:35
Mod-05 Lec-01 Introduction to Model Checking 1:02:56
Mod-05 Lec-02 Model Checking Algorithms I 55:36
Mod-05 Lec-03 Model Checking Algorithms II 56:45
Mod-05 Lec-04 Model Checking with Fairness 57:27
Mod-06 Lec-01 Binary Decision Diagram: Introduction and construction 1:03:22
Mod-06 Lec-02 Ordered Binary Decision Diagram 1:01:43
Mod-06 Lec-03 Operation on Ordered Binary Decision Diagram 1:00:53
Mod-06 Lec-04 Ordered Binary Decision Diagram for State Transition Systems 1:01:14
Mod-06 Lec-05 Symbolic Model Checking 1:01:51
Mod-07 Lec-01 Introduction to Digital VLSI Testing 54:46
Mod-07 Lec-02 Functional and Structural Testing 1:00:21
Mod-07 Lec-03 Fault Equivalence 57:13
Mod-08 Lec-01 Fault Simulation-1 52:25
Mod-08 Lec-02 Fault Simulation-2 1:02:11
Mod-08 Lec-03 Fault Simulation-3 1:08:10
Mod-08 Lec-04 Testability Measures (SCOAP) 59:51
Mod-09 Lec-01 Introduction to Automatic Test Pattern Generation (ATPG) and ATPG Algebras 54:35
Mod-09 Lec-02 D-Algorithm-1 56:43
Mod-09 Lec-03 D-Algorithm-2 1:05:33
Mod-10 Lec-01 ATPG for Synchronous Sequential Circuits 1:09:08
Mod-10 Lec-02 Scan Chain based Sequential Circuit Testing-1 52:45
Mod-10 Lec-03 Scan Chain based Sequential Circuit Testing-2 52:11
Mod-11 Lec-01 Built in Self Test-1 59:46
Mod-11 Lec-02 Built in Self Test-2 54:19
Mod-11 Lec-03 Memory Testing-1 57:07
Mod-11 Lec-04 Memory Testing-2 1:12:39
source: nptelhrd 2013年2月14日
Computer-Design Verification & Test of Digital VLSI Circuits by Prof. Jatindra Kumar Deka, Dr. Santosh Biswas, Department of Computer Science and Engineering, IIT Guwahati. For more details on NPTEL visit http://nptel.iitm.ac.in
Mod-01 Lec-01 Introduction to Digital VLSI Design Flow 1:11:21
Mod-01 Lec-02 High Level Design Representation 57:35
Mod-01 Lec-03 Transformations for High Level Synthesis 57:37
Mod-02 Lec-01 Introduction to HLS: Scheduling, Allocation and Binding Problem 1:01:16
Mod-02 Lec-02 Scheduling Algorithms-1 57:38
Mod-02 Lec-03 Scheduling Algorithms-2 1:10:10
Mod-02 Lec-04 Binding and Allocation Algorithms 1:07:01
Mod-03 Lec-01 Two level Boolean Logic Synthesis-1 1:08:11
Mod-03 Lec-02 Two level Boolean Logic Synthesis-2 1:04:16
Mod-03 Lec-03 Two level Boolean Logic Synthesis-3 1:23:50
Mod-03 Lec-04 Heuristic Minimization of Two-Level Circuits 1:16:37
Mod-03 Lec-05 Finite State Machine Synthesis 1:13:42
Mod-03 Lec-06 Multilevel Implementation 1:03:52
Mod-04 Lec-01 Introduction to formal methods for design verification 53:09
Mod-04 Lec-02 Temporal Logic: Introduction and Basic Operators 55:20
Mod-04 Lec-03 Syntax and Semantics of CTL 59:34
Mod-04 Lec-04 Syntax and Semantics of CTL -- Continued 1:08:58
Mod-04 Lec-05 Equivalence between CTL Formulas 1:00:35
Mod-05 Lec-01 Introduction to Model Checking 1:02:56
Mod-05 Lec-02 Model Checking Algorithms I 55:36
Mod-05 Lec-03 Model Checking Algorithms II 56:45
Mod-05 Lec-04 Model Checking with Fairness 57:27
Mod-06 Lec-01 Binary Decision Diagram: Introduction and construction 1:03:22
Mod-06 Lec-02 Ordered Binary Decision Diagram 1:01:43
Mod-06 Lec-03 Operation on Ordered Binary Decision Diagram 1:00:53
Mod-06 Lec-04 Ordered Binary Decision Diagram for State Transition Systems 1:01:14
Mod-06 Lec-05 Symbolic Model Checking 1:01:51
Mod-07 Lec-01 Introduction to Digital VLSI Testing 54:46
Mod-07 Lec-02 Functional and Structural Testing 1:00:21
Mod-07 Lec-03 Fault Equivalence 57:13
Mod-08 Lec-01 Fault Simulation-1 52:25
Mod-08 Lec-02 Fault Simulation-2 1:02:11
Mod-08 Lec-03 Fault Simulation-3 1:08:10
Mod-08 Lec-04 Testability Measures (SCOAP) 59:51
Mod-09 Lec-01 Introduction to Automatic Test Pattern Generation (ATPG) and ATPG Algebras 54:35
Mod-09 Lec-02 D-Algorithm-1 56:43
Mod-09 Lec-03 D-Algorithm-2 1:05:33
Mod-10 Lec-01 ATPG for Synchronous Sequential Circuits 1:09:08
Mod-10 Lec-02 Scan Chain based Sequential Circuit Testing-1 52:45
Mod-10 Lec-03 Scan Chain based Sequential Circuit Testing-2 52:11
Mod-11 Lec-01 Built in Self Test-1 59:46
Mod-11 Lec-02 Built in Self Test-2 54:19
Mod-11 Lec-03 Memory Testing-1 57:07
Mod-11 Lec-04 Memory Testing-2 1:12:39
Performance Evaluation of Computer Systems by Krishna Moorthy Sivalingam (IIT Madras)
# click the upper-left icon to select videos from the playlist
source: nptelhrd 2012年7月25日
Computer - Performance Evaluation of Computer Systems by Prof. Krishna Moorthy Sivalingam, Department of Computer Science and Engineering, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
01 Introduction to performance evaluation of computer systems 30:54
02 How to avoid common mistakes 58:19
03 Selection of techniques and metrics 56:16
04 Case study: Selection of techniques and metrics 34:04
05 Random Variables and probability distributions 47:25
06 Probability distributions-I 37:28
07 Probability distributions-II 38:24
08 Probability distributions-III 56:01
09 Stochastic process 44:38
10 Markov Chain 1:07:10
11 Slotted Aloha protocol model and discrete-time birth death process 1:05:03
12 Continuous time Markov chain and queuing theory-I 53:05
12b Queuing theory -- I (Continued) 53:21
13 Queuing theory -- II 1:02:26
14 Queuing theory-III 31:52
15 Queuing theory-IV 59:21
16 Queuing theory-IV 46:07
17 Queuing theory-V 1:00:50
18 Queuing theory-VI 48:07
19 Queuing networks-I 46:26
20 Slotted Aloha Markov model 43:50
21 Simulations-I 49:58
22 Simulations-II 41:02
23 Simulations-III 54:45
24 Operational laws-I 1:07:07
25 Operational laws-II 32:33
26 Open and closed queuing networks 1:02:52
27 Approximate MVA 36:52
28 Convolution algorithm-I 34:38
29 Convolution algorithm-I 30:05
30 Load-dependent service centers 39:00
31 Hierarchical decomposition 1:03:38
32 Balanced Job Bounds 22:40
33 Confidence interval for propotions and introduction to experimental design 46:50
34 2k factorial design 32:24
35 2k r factorial design and 2k-p fractional factorial design 31:17
36 Programming aspects of discrete-event simulations-I 51:02
37 Programming aspects of discrete-event simulations-II 49:27
38 Discrete-event simulations-III 25:01
39 PetriNets-I 1:05:10
40 PetriNets-II 1:01:35
41 PetriNets-III 25:16
source: nptelhrd 2012年7月25日
Computer - Performance Evaluation of Computer Systems by Prof. Krishna Moorthy Sivalingam, Department of Computer Science and Engineering, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
01 Introduction to performance evaluation of computer systems 30:54
02 How to avoid common mistakes 58:19
03 Selection of techniques and metrics 56:16
04 Case study: Selection of techniques and metrics 34:04
05 Random Variables and probability distributions 47:25
06 Probability distributions-I 37:28
07 Probability distributions-II 38:24
08 Probability distributions-III 56:01
09 Stochastic process 44:38
10 Markov Chain 1:07:10
11 Slotted Aloha protocol model and discrete-time birth death process 1:05:03
12 Continuous time Markov chain and queuing theory-I 53:05
12b Queuing theory -- I (Continued) 53:21
13 Queuing theory -- II 1:02:26
14 Queuing theory-III 31:52
15 Queuing theory-IV 59:21
16 Queuing theory-IV 46:07
17 Queuing theory-V 1:00:50
18 Queuing theory-VI 48:07
19 Queuing networks-I 46:26
20 Slotted Aloha Markov model 43:50
21 Simulations-I 49:58
22 Simulations-II 41:02
23 Simulations-III 54:45
24 Operational laws-I 1:07:07
25 Operational laws-II 32:33
26 Open and closed queuing networks 1:02:52
27 Approximate MVA 36:52
28 Convolution algorithm-I 34:38
29 Convolution algorithm-I 30:05
30 Load-dependent service centers 39:00
31 Hierarchical decomposition 1:03:38
32 Balanced Job Bounds 22:40
33 Confidence interval for propotions and introduction to experimental design 46:50
34 2k factorial design 32:24
35 2k r factorial design and 2k-p fractional factorial design 31:17
36 Programming aspects of discrete-event simulations-I 51:02
37 Programming aspects of discrete-event simulations-II 49:27
38 Discrete-event simulations-III 25:01
39 PetriNets-I 1:05:10
40 PetriNets-II 1:01:35
41 PetriNets-III 25:16
2016-08-29
Understanding Hypnosis with Stanley Krippner
source: New Thinking Allowed 2016年6月30日
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 he was inspired to learn hypnosis as a child by reading the “Mandrake the Magician” comic books. He describes how trickery can be used to augment the efficacy of hypnosis. He notes that hypnosis is a powerful tool that can be used to improve study habits, overcome addictive behaviors, help heal diseases, and even improve ESP performance. He differentiates between hypnosis and suggestion as well as between hypnosis and meditation. He also points out that there is a spectrum of hypnotic trance states.
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 12, 2016)
Subscribe to:
Posts (Atom)