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
Subscribe to:
Posts (Atom)