2016-10-03

ZuriHac 2016

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

source: GoogleTechTalks    2016年9月6日
A Google TechTalk, July 23, 2016, presented by Alexander Thiemann
ABSTRACT: This talk will give an insight on web development using the Haskell web framework «Spock» (https://www.spock.li ). It will give a short overview of the possibilities like type-safe routing, hyperlinks, sessions, database queries, templates and JSON parsing/generation and then we will also look at a technique to build a full stack application with Spock and GHCJS as used in production in TramCloud.
https://wiki.haskell.org/ZuriHac2016

ZuriHac 2016: Spock - Powerful Elegant Web Applications 33:11
ZuriHac 2016: Functional Programming at LumiGuide 44:05
ZuriHac 2016: Monad Homomorphisms 1:10:07
ZuriHac 2016 - Low-level Haskell: An Interactive Tour Through the STG 1:03:29
ZuriHac 2016: Generic (and type-level) Programming with Generics-sop 1:10:24
ZuriHac 2016 - Meet Hadrian: A New Build System for GHC 36:47
ZuriHac 2016: Parallelizing and Distributing Scientific Software in Haskell 29:24

William G. Harter: 2016 Honors Physics Colloquium at U. of Arkansas

# click the up-left corner to select videos from the playlist

source: U. of Arkansas, Physics Dept. - William Harter 2016年1月19日
2016 Spring Honors Physics Colloquia from the University of Arkansas - Fayetteville, AR. These videos are a component of the undergraduate honors course PHYS 3923H using the text "A Classical Mechanical Road to Relativity and Quantum Theory", both developed by Prof. William G. Harter. The class provides a geometric approach to classical mechanics. Geometry helps to clarify the calculus and physics of mechanics and shows that the symmetry principles behind classical theory also underlie quantum theory.
Course Web site: http://www.uark.edu/ua/modphys/markup...
Lecture #6 "slide" presentation (pdf) file: http://www.uark.edu/ua/modphys/pdfs/H...

Honors Physics Colloquium (2016Sp) - Lecture #1 1:25:29
Honors Physics Colloquium (2016Sp) - Lecture #2 1:15:17
Honors Physics Colloquium (2016Sp) - Lecture #3 53:25
Honors Physics Colloquium (2016Sp) - Lecture #3-4 A 1:15:51
Honors Physics Colloquium (2016Sp) - Lecture #3-4 ex 1:15:29
Honors Physics Colloquium (2016Sp) - Lecture #5-6 1:12:12
Honors Physics Colloquium (2016Sp) - Lecture #5-6 b 1:16:03
Honors Physics Colloquium (2016Sp) - Lecture #7 1:15:23

Scientific Realism by Kane B

# click the up-left corner to select videos from the playlist  

source: Kane B    2016年6月23日
This series explores scientific realism, the view that our best scientific theories accurately describe the world and that we should believe in the entities and properties postulated by them. In the video, I first define scientific realism more precisely; then I outline various alternatives to realism; and I finally I briefly discuss two popular variations on realism, entity realism and structural realism.

1 - Introduction 28:42
2 - The No-Miracles Argument 43:14
3 - Pessimistic Induction 45:06
4 - Underdetermination 53:36
5 - Unconceived Alternatives 29:04
6 - Observation 48:59
7 - Entity Realism 46:55
8 - Structural Realism 50:08
9 - The Natural Ontological Attitude 45:22
10 38:19 Perspectivism
11 43:05 Models and Fictions

Lines of Thought: Understanding Anatomy


source: Cambridge University    2016年9月9日
A hand-coloured copy of Vesalius’ 1543 Epitome – one of the most influential works in western medicine – and the first written record of a dissection carried out in England are among the objects in our latest film celebrating Lines of Thought at Cambridge University Library.
Since March, some of the world’s most valuable books and manuscripts have been on display as Cambridge University Library celebrates its 600th birthday with a once-in-a-lifetime free exhibition of its greatest treasures.
The objects in Lines of Thought: Discoveries that Changed the World, which will close to the public on September 30, communicate 4,000 years of human thought through the Library’s unique and irreplaceable collections. More than 70 per cent of the exhibits are displayed to the public for the first time.
The exhibition investigates through six distinct themes how Cambridge University Library’s eight million books and manuscripts have transformed our understanding of life here on earth and our place among the stars.

The Philosophy of Mathematics (Elucidations) by Daniel Sutherland


source: Philosophical Overdose    2016年9月11日
What is mathematics about and how do we acquire mathematical knowledge? Is mathematics something discovered or invented? Daniel Sutherland discusses such issues in the philosophy of mathematics, explaining some of the basic difficulties involved in trying to say what numbers are and how we come to know them.
Elucidations is a philosophy podcast from the University of Chicago.

Magic and Initiatory Practices of Ancient Egypt with Normandi Ellis


source: New Thinking Allowed    2016年4月14日
Normandi Ellis is coauthor, with Nicki Scully, of The Union of Isis and Thoth: Magic and Initiatory Practices of Ancient Egypt. Her other books include Imagining the World into Existence: an Ancient Egyptian Manual of Consciousness; Invoking the Scribes of Ancient Egypt; and Awakening Osiris: The Egyptian Book of the Dead.
Here she describes ancient teaching associated with awakening the body of light. The pharaohs, who were considered gods, were given instruction in how to commune with the divine realms. She distinguishes between the shadow body (khaibet) and the light body (sahu). She describes the esoteric process by which she and Nicki Scully created an imaginal temple as a home for the Egyptian neteru – or deities. She vividly explains how the neteru have become living presences within her mind.

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 teaches parapsychology for ministers in training with the Centers for Spiritual Living through the Holmes Institute. He has served as vice-president of the Association for Humanistic Psychology, and is the recipient of its Pathfinder Award for outstanding contributions to the field of human consciousness. 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 March 18, 2016)

R. Sundaravadivelu: Port and Harbour Structures (IIT Madras)

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

source: nptelhrd    2014年4月1日
Ocean - Port and Harbour Structures by Prof. R. Sundaravadivelu, Department of Ocean Engineering, IIT Madras. For more details on NPTEL visit http://nptel.ac.in

01 Layout of ports 29:57
02 Continuation of layout of ports 40:40
03 Visakhapatnam port 40:27
04 Ships and size of ships 39:00
05 Port planning 46:17
06 Harbour layout 36:34
07 Site characteristics & navigation channel 43:01
08 Bathymetric survey 38:48
09 Tide, surge, tsunami and wave 36:02
10 Wave rose diagram 23:45
11 Breakwater 37:04
12 Design of breakwater --part-1 42:20
13 Design of breakwater --part-2 41:09
14 Berm breakwater 43:50
15 Dredging & methods of disposal 32:29
16 Berthing structures modelling 33:17
17 Berthing structures --analyses 43:01
18 Loads 30:57
19 Types of berthing structures 45:56
20 Design of berthing , structures-1 40:27
21 Design of offshore berthing , structures-1 40:31
22 Estimation of mooring, berthing and seismic forces 32:04
23 Estimation seismic forces 32:58
24 Active and passive earth pressure and differential water pressure 34:24
25 Load combinations and design 29:29
26 Fenders 33:28
27 Mechanical handling system 40:26
28 Single buoy mooring and open sea jetty-part1 33:10
29 Single buoy mooring and open sea jetty-part 2 36:43
30 Slipway, drydock,floating dock,shiplift 33:37
31 Soil structure interaction 34:06
32 Calculation of fixity depth 35:32
33 Pile load test 32:50
34 Ground improvement techniques 36:37
35 Analysis of pile with spring support 43:09
36 UPV,Half cell potential, Low high Integrity Test 51:09
37 Mooring Dolphin at KPT 1:13:48
38 Coastal structures and environmental management 1:10:34
39 BOQ and Cost Estimate 45:31
40 Proposed Mega Terminal Chennai 1:00:45
41 Preliminary Project Report on Shipyard 46:47
42 Procedures & clearances before implementation of a project 20:17
43 Detailed project report 39:01
44 Environmental studies of a project - 47:34
45 Design of pile 41:21
46 Design and construction of diaphragm wall 43:49
47 Empirical relationship between spt and several soil properties 42:23
48 Model studies for a deep water port_case study 35:40

Advanced Metallurgical Thermodynamics by B. S. Murty (IIT Madras)

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

source: nptelhrd    2013年4月1日
Metallurgy - Advanced Metallurgical Thermodynamics by Prof. B. S. Murty, Department of Metallurgy and Material Science, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in

01 Basic definitions 15:00
02 Free energy, Stability, equilibrium in a unary system 51:50
03 Effect of Pressure on equilibrium transformations 52:21
04 Free energy of solutions, free energy-composition diagrams 50:35
05 Solution models, chemical potential 52:04
06 Phase rule, free energy-composition diagrams and phase diagrams 50:57
07 Evolution of phase diagrams 50:37
08 Evolution of phase diagrams, miscibility gap 51:54
09 T(o) concept, partition less solidification 51:05
10 T(o) concept, partition less solidification (cond...) 51:33
11 Eutectic solidification, glass formation 50:18
12 Kauzmann paradox, order of a transformation, glass forming ability 54:27
13 Eutectic solidification, coupled growth, heterogeneous nucleation 50:35
14 Peritectic solidification, metastable phase diagrams 50:32
15 Errors in drawing phase diagrams 52:07
16 Free energy of undercooled liquid, shape of nucleus 53:44
17 Solid state phase transformations - Precipitation 50:43
18 Precipitation 52:53
19 Precipitation -- quasicrystals 51:36
20 Precipitate coarsening, stability of a phase, spinodal decomposition 51:09
21 Spinodal decomposition 54:22
22 Eutectioid reaction 51:12
23 Eutectioid reaction (cond...) 49:42
24 Bainitic transformation 46:29
25 Kinetics of eutectoid transformations 50:34
26 Martensitic Transformation 53:14
27 Martensitic transformation, order-disorder transformation 50:38
28 Miscibility gap in phase diagrams 39:18
29 Phase diagram calculations 51:28
30 Thermodynamics of heterogeneous systems 50:43
31 Thermodynamics of heterogeneous systems (cond...) 49:50

Principles of Physical Metallurgy by R. N. Ghosh (IIT Kharagpur)

# click the upper-left icon to select videos from the playlist
source: nptelhrd   2014年1月5日
Metallurgy - Principles of Physical Metallurgy by Prof. R. N. Ghosh, Department of Metallurgy and Material Science, IIT Kharagpur. For more details on NPTEL visit http://nptel.ac.in

01 Introduction 53:49
02 Atomic Bond and Crystal Structure 56:58
03 Atomic Bond and Crystal Structure (Contd...1) 56:10
04 Atomic Bond and Crystal Structure (Contd...2) 50:19
05 Experimental Tools & Techniques 58:04
06 Experimental Tools & Techniques (Contd.) 57:02
07 Solidification of Pure Metal 56:30
08 Plastic Deformation of Pure Metal 56:09
09 Plastic Deformation of Pure Metal (Contd.) 56:43
10 Crystal Defects in Metals 57:16
11 Crystal Defects in Metals (Contd...1) 57:05
12 Crystal Defects in Metals (Contd...2) 58:13
13 Crystal Defects in Metals (Contd...3) 58:03
14 Crystal Defects in Metals (Contd...4) 57:36
15 Diffusion in Solids 56:46
16 Diffusion in Solids (Contd.) 58:07
17 Numerical Examples in Diffusion 52:24
18 Solidification of Binary Alloys 54:24
19 Solidification of Binary Alloys (Contd...1) 57:47
20 Solidification of Binary Alloys (Contd...2) 52:08
21 Solidification of Binary Alloys (Contd...3) 57:09
22 Solidification of Binary Alloys (Contd...4) 54:13
23 Iron-Carbon Phase Diagram 55:33
24 Iron-Carbon Phase Diagram (Contd.) 55:59
25 Ternary Phase Diagram 56:10
26 Common Binary Alloys 54:19
27 Metal Working : Deformation Processing 53:55
28 Metal Working : Deformation Processing (Contd.) 56:42
29 Precipitation for Solid Solution 53:49
30 Precipitation for Solid Solution (Contd.) 56:33
31 Heat Treatment of Steel 56:30
32 Heat Treatment of Steel (Contd...1) 57:20
33 Heat Treatment of Steel (Contd...2) 57:02
34 Heat Treatment of Steel (Contd...3) 56:16
35 Heat Treatment of Steel (Contd...4) 56:41
36 Heat Treatment of Steel (Contd...5) 58:37
37 Surface Hardening 57:56
38 Structural Steel 57:44
39 Structural Steel (Contd.) 56:49
40 Ultra High Strength Steel 58:55
41 Preferred Orientation: Application 56:23
42 Metal Joining 57:40

The Psychology of Money | Claudia Hammond


source: The RSA    2016年8月30日
The Psychology of Money with Claudia Hammond. Why don’t money and friendship mix? Can money buy happiness? Why does money have such a hold on us? The surprising psychology of money reveals that our relationship with it is more complex than we might think. BBC Radio 4 broadcaster Claudia Hammond explores the latest research in psychology, neuroscience, biology and behavioral economics, and offers some simple yet effective advice that can help us improve our relationship with money.

Break Anxiety and Addiction By Examining Your Patterns | Michael Puett


source: Big Think    2016年8月28日
Who are you? Good question. Harvard professor Michael Puett explores the idea of the "self", and how what you believe to be your true nature may actually just be patterns you've fallen into. Puett's latest book is "The Path: What Chinese Philosophers Can Teach Us About the Good Life" (http://goo.gl/Sltm1b).
Read more at BigThink.com: http://bigthink.com/videos/michael-pu...

Transcript - If we often ask ourselves okay, who am I? What’s my true self? What am I gifted at? What am I bad at? Oftentimes we’ll answer that assuming this one authentic self. So I’m just the sort of person who gets angry at little things but I’m also the sort of person who’s very good at tackling big problems. So that’s me. And then we’ll think through okay, what’s a good career for me? What are good relationships for me based on who I am? Now again suppose that’s all wrong. Suppose those are all simply patterns we’ve fallen into. So it may be empirically right to say right now on someone who gets angry at little things and good at thinking big. But that’s just because I’ve fallen into these patterns. That doesn’t mean that’s essentially me, that’s just who I’ve become. Now if that’s right the question you should be posing to yourself is not who am I. The question you should pose to yourself is what are these patterns I’m falling into? Why do I get angry at these little things all the time? Why do I seem to be what I think is at my best when I’m tackling big problems? And you begin to look at those little things you do on a daily basis that are sort of defining how we’re responding to the world. Why these little things make us angry. And you begin to alter those. Why for something we think is good, thinking big, tackling big problems. Well what is it that I think I’m good at there and what am I doing that I think draws me out of my more negative sides, my angers and resentments and getting angry at little things. Read Full Transcript Here:http://goo.gl/mgyicm.

About MIT OpenCourseWare

source: MIT OpenCourseWare     2016年9月22日
Learn about MIT OpenCourseWare's beginnings, mission, and what you can do with free and open MIT educational materials.
License: Creative Commons BY-NC-SA
More information at http://ow.ly/litf304uOWy
We'd like to recognize SapientNitro who filmed and produced this video. We thank them for their work and support for MIT OPENCOURSEWARE'S 15th anniversary.
SapientNitro (http://www.sapientnitro.com/en-us.html)

Mara Prentiss, "Energy Revolution"


source: Harvard University  2016年8月31日
We can launch an energy revolution that drastically decreases CO2 emission and other deleterious consequences associated with fossil fuel burning. Energy extraction can be cut by more than 50% by converting fossil fuel burning engines to electric motors and replacing fossil fuel burning power plants with renewable sources. In addition, energy efficient systems and improvements in computation and connectivity can significantly reduce energy consumption and lower energy costs. These goals can be achieved using commercially available technologies. New technologies may offer even greater opportunities.

Otto Scharmer: "Ego System to Eco System Economies" | Talks At Google


source: Talks at Google 2   016年8月29日
Otto Scharmer is a Senior Lecturer at MIT, co-founder of the Presencing Institute. He also chairs the MIT IDEAS program for cross-innovation and co-founded the Global Wellbeing Lab. Otto introduced the concept of “presencing” — learning from the emerging future — in his bestselling books Theory U and Presence.
Using his experience working with some of the world's most accomplished leaders and innovators, Otto Scharmer shows in Theory U how groups and organizations can develop seven leadership capacities in order to create a future that would not otherwise be possible.

Our Time is Now
We have entered an age of disruption. Financial collapse, climate change, resource depletion, and a growing gap between rich and poor are but a few of the signs. Otto Scharmer asks, why do we collectively create results nobody wants? Meeting the challenges of this century requires updating our economic logic and operating system from an obsolete “ego-system” focused entirely on the well-being of oneself to an eco-system awareness that emphasizes the well-being of the whole. Filled with real-world examples, this thought-provoking guide presents proven practices for building a new economy that is more resilient, intentional, inclusive, and aware.
Otto Scharmer is a Senior Lecturer at MIT, a Thousand Talents Program Professor at Tsinghua University, and co-founder of the Presencing Institute. He also chairs the MIT IDEAS program for cross-innovation in China and Indonesia. Otto introduced the concept of “presencing” — learning from the emerging future — in his bestselling books Theory U and Presence (the latter co-authored with P. Senge et al.). His book Leading From the Emerging Future: From Ego-system to Eco-system Economies (co-authored with K. Kaufer) applies the concept of mindfulness to the transformation of capitalism.
In 2015 he co-founded the MITx u.lab, a massive open online course (MOOC) that pioneers a blended o2o (online-to-offline) learning platform to enable transformational leadership learning for tens of thousands of participants in self-organized communities across 185 countries.
Otto earned his diploma (with distinction) and PhD (summa cum laude) from Witten/Herdecke University in Germany. In 2015 he received the Jamieson Prize for Excellence in Teaching at MIT.
For more information: www.presencing.com
Huffpost blog: www.huffingtonpost.com/otto-scharmer

中級西班牙文 / 西班牙文酷二 en DIRECTO (II) (2009 / 共 156 集): 李靜枝 /國立教育懬播電台

中級西班牙文 / 西班牙文酷二 en DIRECTO (II) (2009 / 共 156 集): 李靜枝
source: 國立教育廣播電台

初級西班牙語: 李靜枝 / 國立教育廣播電台

初級西班牙語 / 生活西語一 Vocabulario, elemental A1-A2 (2014 / 共 156 集): 李靜枝
初級西班牙語 / 遨遊西班牙-開始遊西班牙說西語 (2010 / 共 100 集): 李靜枝
初級西班牙語 / 西班牙文酷 en DIRECTO (2009 / 共 190 集): 李靜枝
source: 國立教育廣播電台