D*****r
发帖数: 6791 | 1 http://www.gutenberg.org/files/37726/37726-h/37726-h.htm
IN GOD'S WAY
SCHOOL-DAYS
I.
In the melting snow on the hill-side by the sea, in the last rays of the
evening sun, stood a boy of fourteen, awestruck. He looked toward the west,
out across the sea; he looked toward the east, over town and shore and the
broad hills; in the background still higher peaks rose far away in the clear
sky.
The storm had lasted a long time; it had been more terrible, too, than any
the old people could remember. In ... 阅读全帖 |
|
l**********t
发帖数: 5754 | 2
sorry i might as well misunderand your train of thoughts.
As to "信仰的时间局限性", God (who we worship) is not limited by time &
space (by faith), what is revealed to us are.
Similiar, the objects of scientific research (the laws that govern the
material world) maintain invariant attributes (by assumption), but what we
learned (human expirical knowledge) thru scientific research expands. |
|
g****m
发帖数: 996 | 3 Religion and Psychiatry
Irvin Yalom
宗教与精神病学
欧文亚隆
The American Psychiatric Association awarded Irvin Yalom the 2000 Oscar
Pfister prize (for important contributions to religion and psychiatry.) Here
is his acceptance speech delivered at the American Psychiatric Association
annual meeting in May 2000 at New Orleans. A version of this lecture has
been published in the American Journal of Psychotherapy (number three –
2002)
美国精神卫生协会将2000年奥斯卡菲斯特奖颁给欧文亚隆，奖励他在宗教与精神病学方
面做出的重要贡献。下面是他在2000年5月新奥尔良举行的美... 阅读全帖 |
|
l*****a
发帖数: 38403 | 4 George Bernard Shaw
The fact that a believer is happier than a sceptic is no more to the point
than the fact that a drunken man is happier than a sober one. The happiness
of credulity is a cheap and dangerous quality.
In your Salvation shelter I saw poverty, misery, cold and hunger. You gave
them bread and treacle and dreams of heaven. I give from thirty shillings a
week to twelve thousand a year. They find their own dreams; but I look after
the drainage.
All the sweetness of religion is conveye... 阅读全帖 |
|
n********n
发帖数: 8336 | 5 多数宗教都讲地狱，不单对信徒能起警惕作用，也能引领新人入教。在各宗教中，佛教
讲地狱最多，活龙活现，对我国人民影响最深最大。本篇内容可看出基佛两教所讲地狱
的不同处何在？
基督教的阴间与地狱
在新旧约全部圣经中，有「阴间」及「地狱」两种用法。希伯来文 Sheol一字，中文译
「阴间」，日文圣经译「黄泉」。古时希伯来人相信人之死去，是由于其灵魂被上帝接
去之故(诗一○四29)。但死人的灵魂未升入天堂，而是在阴间居住。原来，在旧约时代
，尚无确实之天堂与地狱信仰，直到新约时代，启示完全，才有具体的说明。
在希伯来人父祖时代，，称人之死去为归到列祖那里。如「亚伯拉罕寿高年迈，气绝而
死，归到他列祖那里。」再如以撒、以实玛利、雅各等死去，也都是归到列祖之处(参
创廿五8、17，卅五28、29，四九)。摩西死后，虽无人知其坟墓何在，但在临死前，上
帝却许他：「你必死在你所登的山上，归你列祖去，像你哥哥亚伦死在何珥山，归他的
列祖一样。」(申卅二50)
但也不能一概而论，在亚伯拉罕之孙雅各时代，已有阴间信仰。当时，人以为如带着痛
苦死去时，是下到阴间，雅各曾为其幼子约瑟及便雅悯哭泣道：「…我必悲哀... 阅读全帖 |
|
l*****a
发帖数: 38403 | 6 Thomas Jefferson, (1743-1826) 3rd American president, author, scientist,
architect, educator, and diplomat. Deist, avid separationist.
"Millions of innocent men, women, and children, since the introduction of
Christianity, have been burned, tortured, fined, and imprisoned, yet we have
not advanced one inch toward uniformity. What has been the effect of
coercion? To make one half of the world fools and the other half hypocrites.
" [Notes on Virginia]
"I do not find in orthodox Christianity one re... 阅读全帖 |
|
n********n
发帖数: 8336 | 7 But don’t take this to mean that Simeon pulled any punches when expounding
Biblical texts. He is very forthright in teaching what the Bible teaches and
calling error by its real name. But he is jealous of not getting things out
of balance.
He said that his invariable rule was “to endeavor to give to every portion
of the Word of God its full and proper force, without considering what
scheme it favours, or whose system it is likely to advance” (Moule, 79).
“My endeavor is to bring out of Scripture... 阅读全帖 |
|
a*****y
发帖数: 33185 | 8 Philosophical zombie
A philosophical zombie or p-zombie is a hypothetical being that is
indistinguishable from a normal human being except that it lacks conscious
experience, qualia, or sentience. When a zombie is poked with a sharp object
, for example, it does not feel any pain. While it behaves exactly as if it
does feel pain (it may say "ouch" and recoil from the stimulus, or tell us
that it is in intense pain), it does not actually have the experience of
pain as a putative "normal" person d... 阅读全帖 |
|
C********g
发帖数: 9656 | 9 【 以下文字转载自 Military 讨论区 】
发信人: wayofflying (小破熊), 信区: Military
标 题: 人类第一台真空能发动机即将在中国攻关成功
发信站: BBS 未名空间站 (Sat May 14 22:28:25 2011, 美东)
高歌，现任北京航空航天大学能源动力学院动力工程及工程热物理学科一级责任教授，
航空发动机气动热力国防重点实验室副主任，长期从事动力工程、工程热物理及流体力
学领域的教学与科研工作，并在基础科研和多学科的应用技术领域取得了一系列国际领
先水平的创新性科研成果。
他在1984年发明的"沙丘驻涡火焰稳定器"，获国家发明一等奖，钱学森同志称之为"一
项长中国人志气的重要发明"。该成果广泛应用于我国多种军用航空发动机中，取得了
数以亿元计的经济效益，至今仍保有先进水平。本刊记者于今年10月采访了高歌教授，
了解到了他近期从事的一些前沿科研工作的最新进展，尤其是他对龙卷风的研究及其工
程应用价值，让人耳目一新。
高歌教授在采访中提到，传统的航空发动机技术虽然还在不停地改进提高之中，但
受到原理和材料工艺上的限制，已经逐渐逼近了性能发... 阅读全帖 |
|
kx
发帖数: 16384 | 10 【 以下文字转载自 Military2 讨论区 】
发信人: bingchenga2 (hoho), 信区: Military2
标 题: 阿根廷网民沸腾了：中国支持阿根廷对马岛行使主权！！！ (转载)
发信站: BBS 未名空间站 (Mon Jun 25 19:58:13 2012, 美东)
发信人: bingchenga2 (hoho), 信区: Military
标 题: 阿根廷网民沸腾了：中国支持阿根廷对马岛行使主权！！！
发信站: BBS 未名空间站 (Mon Jun 25 19:57:36 2012, 美东)
Shusheng se expresó así durante un encuentro con el presidente de la Cá
mara de Diputados de la Nación, Julián Domínguez, quien lo recibió con
motivo de la asunción de la presidenta de la Nación, Cristina Fernández
de Kirchner, según ... 阅读全帖 |
|
h*d
发帖数: 19309 | 11 发信人: strong (大拿~恭祝清华百年华诞), 信区: TsinghuaCent
标 题: 清华大学的2010
发信站: 水木社区 (Sun Apr 24 14:46:09 2011), 站内
清华大学的2010
注：本文由水木社区BBS世纪清华版（TsinghuaCent）整理，各项资料来自清华大学网
站、清华大学新闻网、北京协和医学院（清华大学医学部）网站和水木社区BBS世纪清
华版等。
正文：
本文系统总结2010年度清华大学、北京协和医学院（清华大学医学部）师生校友荣获的
各类学术和社会荣誉、学科竞赛成绩以及学校在教学科研领域中获得的各类成果和进展
。限于篇幅，在关于各类获奖成果的统计中，本文仅统计获得过一等奖、金奖（国家科
学技术奖除外）以上的成果（绩）。
*********************
一．最高荣誉
●清华大学数学科学中心主任丘成桐教授获得2010年沃尔夫（Wolf）奖，以表彰他在几
何分析领域的贡献，以及在几何和物理的多个领域都产生的“深刻而引人注目的影响”
。这是丘成桐继1982年获得菲尔茨奖后，再... 阅读全帖 |
|
m*********s
发帖数: 482 | 12 right, but it is only a sick way of saying it. We don't know if those
correspondents or reporters want to despise or to compliment those returners
from abroad. As long as a guy return from abroad, they will invariably use
this four characters.
But things might be different. Some guys may honestly return with a lot of
helpful things for our country. I guess there are a lot of examples out there.
Of course, some others may "毅然回国", coz they 毅然 need a lot of helpful
things from our motherland.
Well, |
|
q**w
发帖数: 782 | 13 zz from netbig
INVENTIONES MATHEMATICAE Volume: 172 Issue: 3 Pages: 509-533
Published: JUN 2008
Large derivatives, backward contraction and invariant densities for interval
maps
Bruin H (Bruin, H.), Rivera-Letelier J (Rivera-Letelier, J.), Shen W (Shen,
W.), van Strien S (van Strien, S.)
Abstract: In this paper, we study the dynamics of a smooth multimodal
interval map f with non-flat critical points and all periodic points
hyperbolic repelling. Assuming that vertical bar Df(n)(f(c)) |
|
l*********e
发帖数: 680 | 14 之前没有车载电源的时候用了一下GPS，感觉发热和耗电都很厉害。这次车载电源转接
口装好以后，忍不住试了下边GPS边充电的效果。
Test environment: iPhone 3GS 16GB Black/Subaru 09 Forester iPod Toolkit +
Scosche Charging Adapter
Invariant: roughly 30 minutes driving/iPod on/Push notification on (but
nothing received during the tests).
Test One:
2009.08.13 9am: GPS on (In app Trapster)/Screen off = Power from 55% to 75%
(20%). The unit was very hot at the end of the test.
Test Two:
2009.08.13 6pm: GPS on (In app Trapster)/Screen on all time = Power from 68%
to |
|
w******T
发帖数: 71 | 15 I need the electronic version of the following paper
if you can find it, would you like to send it to
h*********[email protected]? Thanks a lot.
Robert.C. Brigham and Ronald.D.Dutton,
A compilation of Relations between Graph Invariants,
Networks, Vol. 15 (1985) 73-107. |
|
K****n
发帖数: 5970 | 16 你指的盲试是cross validation吗? 这确实是最直白的方法.不过用CV选的model换个
dataset不用重新选啊.
svm 的 kernel optimization 我没琢磨过,不会没人研究过的,好好找找吧.
你可以把kernel画出来, 看看长什么样儿,再想想自己的数据怎么假设比较好. 选
kernel有时候确实是取决于你主观上对data的认识,比如两个data point之间的
covariance倒底是不是spatially invariant,之类的. |
|
s***1
发帖数: 49 | 17 Why is the RBF spatially invariant but the linear and quadratic variant? |
|
s*********l
发帖数: 103 | 18 see Table 2.1 "Geometric properties invariant to commonly occurring planar
transformations" in the book Multiple View Geometry in Computer Vision, 2nd
Edition. |
|
m**********n
发帖数: 285 | 19 stereo，geometry仅是vision的一部分。pattern recognition and machine leaning是Kinect软件的核心部分。建议看看这篇下面的论文摘要。这个论文非常有可能是介绍Kinect怎样work。Machine learning还是能work的。关键是learn什么，怎么learn。
Jamie Shotton, Andrew Fitzgibbon, Mat Cook, and Andrew Blake, Real-Time Human Pose Recognition in Parts from a Single Depth Image, in CVPR (to appear), IEEE, 2011
We propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. We take an object recogniti... 阅读全帖 |
|
C*********e
发帖数: 587 | 20 论文摘要我看了下，single image based human pose estimation，框架是建一个大规
模的labeled数据库，然后来做pixel级别的分类，最后再综合生成3D的model
不过这和你的观点有什么联系？
第一，stereo/geometry是vision中最重要的一个部分
第二，PR&ML在vision中的地位你没有搞清楚。PR&ML在vision中的应用，在大多数时候
（超过90%），都只是应用的工具，方法本身并不是vision的人提出来的；只有10%的时
候，是做vision的人自己提出的ML的方法，比如graph-cut，Robust PCA等。（btw，10
%只是个估算）
你所说的，ML能够work，关键是怎么用，这个对任何领域都是一样的，所有应用ML的领
域，从vision，到speech，到NLP，到web data，全都有这个问题。在绝大多数情况下
，怎么用好ML，需要的关键是domain的knowledge，而不是ML的知识。、
举个简单的例子，CVPR/ICCV的会议上，用到ML的paper估计有50%，但是会议的所有
track里面... 阅读全帖 |
|
k**********g
发帖数: 989 | 21 search for superellipse fitting to partial data
the basic idea is that if the shape is always convex, then use this
technique to find all potential "convex-like objects", then perform
perspective invariant matching. |
|
k**********g
发帖数: 989 | 22 search for superellipse fitting to partial data
the basic idea is that if the shape is always convex, then use this
technique to find all potential "convex-like objects", then perform
perspective invariant matching. |
|
k**********g
发帖数: 989 | 23 请问楼主，公式(2)是要让任何正整数moment (q) 成立，还是只需要其中几个(q)值成
立？(eg. q=1 and q=2 only)
楼主测试时，用了那几个(q)值？能否列出来让买买提的菜鸟看看。
我没数学背景，所以只知道(q=2)的特例。如果楼主真要知道(q!=2)的话最好到
Computation问。
(q=2)可以用两种思路理解。 第一种思路是 intra-class variance vs inter-class
variance. Partition 後， Variance 会符合某恒等式。http://en.wikipedia.org/wiki/Otsu's_method
第二种思路是 2D fourier transform。把图像缩小2X，等於把fourier domain的3/4的
frequency bin 去掉，剩下1/4的frequency bin。 |
|
d******e
发帖数: 7844 | 24 就是correlation和covariance的关系。
correlation是scale-invariant。 |
|
k**********g
发帖数: 989 | 25
Object oriented design / object oriented programming
Namely, how to design and implement objects (classes) correctly in your (
employer's) choice of programming language.
Elementary level: learn the must-follow guidelines in designing objects
* Design of interfaces
* Object Consistency / Invariants (how to ensure the object works
correctly when its methods are called over and over again)
* Visibility (public vs private)
* It is convenient and sometimes necessary to split up a public m... 阅读全帖 |
|
f**r
发帖数: 865 | 26 这么麻烦，不如用google的Preconditions: :-)
Preconditions.checkState(
x > y, "violated invariant x > y: x=%s, y=%s", x, y
); |
|
X****r
发帖数: 3557 | 27 Look again? I think it is. |
|
P*****f
发帖数: 2272 | 28 我这个就绪数组是指原数组得已处理好部分
我觉得这题关键就是找准一个loop invariant
数组不好插入吧,如果是双链表就没问题.但是已经说了不许换空间了. |
|
c******n
发帖数: 145 | 29 If you mean throw...catch, I think all function should throw an exception
when they cannot fulfill the promises.
I guess what you want to say is the "class invariant"??? It is often called
at the end of the CTOR. |
|
e***a
发帖数: 18 | 30 I understand your statement but I want to get to the bottom of it.
I was asked about this during an interview.
They asked me about why mutex perterson implementation will fail in modern
processor.
(check out http://en.wikipedia.org/wiki/Peterson%27s_algorithm).
"Many modern CPUs reorder instruction execution and memory accesses to
improve execution efficiency. Such processors invariably give some way to
force ordering in a stream of memory accesses, typically through a memory
barrier instruction |
|
X****r
发帖数: 3557 | 31 Classify the button states into 4 classes:
0. all buttons are in the same state.
1. two diagonal buttons in one state and other two in the other
state.
2. two button on the same side in one state and other two in
the other state.
3. one button in one state and other three in the other state.
Obviously the above classification is rotation-invariant.
Define the following routines:
@. Do nothing and leave the room.
Push all buttons and leave the room.
This routine resolves state class 0 |
|
y***a
发帖数: 840 | 32 if you only hoist the end() out of the loop and not the "begin()". I think
oftentimes it doesn't make any difference. The reason the hoisting is good
is because after hoisting, it is easier for the compiler to figure out the
upper-bound of the loop is loop-invariant. but you only know the upper-bound
is constant in the loop but don't know the lower-bound, it really doesn't
help much. Unless you knw both bounds are constant, compiler can do soem
tricks for better performance. |
|
p***o
发帖数: 1252 | 33 shared_ptr两次进入自己的dtor没问题，问题是第二次进入的时候ref=-1，
把invariant破坏了，多调了Foo::~Foo()一次。你在那里放个assert就能
发现这个问题。
次进入自己的dtor。 |
|
a****o
发帖数: 686 | 34 The key invariant is to show that after every iteration of the loop, the
heap contains the smallest element in every list. (omit a formal induction
proof, as the question only asked you to devise an algorithm.) Notice that
each EXTRACT-MIN and INSERT operation requires O(lg k) time, since there are
never more than 2k elements in the heap. The loop requires only a constant
amount of other work, and is repeated n times, resulting in O(nlg k) running
time. |
|
M*P
发帖数: 6456 | 35 Just to be on the same page, here is the original post of Linus
From: Linus Torvalds linux-foundation.org>
Subject: Re: [RFC] Convert builin-mailinfo.c to use The Better String
Library.
Newsgroups: gmane.comp.version-control.git
Date: 2007-09-06 17:50:28 GMT (3 years, 27 weeks, 1 day, 17 hours and 5
minutes ago)
On Wed, 5 Sep 2007, Dmitry Kakurin wrote:
>
> When I first looked at Git source code two things struck me as odd:
> 1. Pure C as opposed to C++. No idea why. Please don't ... 阅读全帖 |
|
p***o
发帖数: 1252 | 36 Where did you see the "sudden" interests?
FP was introduced to mainstream languages like C++ since more than
10 years ago, not to mention scripting languages like python and
javascript. It's working but is not the silver bullet.
If you mean CMU's recent drop of OO courses, they actually plan to
teach both imperative and functional, with an emphasis on invariants
and pre/postconditions for verification. BTW, MIT replaced scheme
with python a few years ago. |
|
t****t
发帖数: 6806 | 37 什么样的变换, in other words, what is the invariant here? |
|
g*****g
发帖数: 34805 | 38 找到blaze当年对FP评价的一段。还说没鼓吹呢，事实胜于雄辩。我老是不懂编程语言，
但眼光实在比你强得太多。
Second, I here apologize to make the dogmatical judgment that
you have totally no idea about programming languages. Let me
rephrase: you have almost totally no idea about programming
languages. I just do not understand why you can keep talking
about things that you have very little knowledge about with such
great confidence. If I were you, I would have wisely shut
myself up. Look at your commenting here, none of which is right.
1. How c... 阅读全帖 |
|
p*****2
发帖数: 21240 | 39 Scala's disjoint part has polymorphic sub-typing and implicit dictionaries.
Haskell's disjoint part has first-class type classes, type-level functions,
full type inference, and many other neat little tweaks. The intersection is
a higher-kinded type system with first-class functions.
Scala's part of the intersection, for a list of reasons that include JVM
type erasure, issues combining higher-kinded types with polymorphic sub-
typing, and certain implementation choices, is partially "broken" in t... 阅读全帖 |
|
p*****2
发帖数: 21240 | 40 Scala's disjoint part has polymorphic sub-typing and implicit dictionaries.
Haskell's disjoint part has first-class type classes, type-level functions,
full type inference, and many other neat little tweaks. The intersection is
a higher-kinded type system with first-class functions.
Scala's part of the intersection, for a list of reasons that include JVM
type erasure, issues combining higher-kinded types with polymorphic sub-
typing, and certain implementation choices, is partially "broken" in t... 阅读全帖 |
|
r***s
发帖数: 737 | 41 今天真是见到大大牛的了。您老人家不拿图灵奖
简直就是没天理了。
敢问您对于在lamport之前提出并行同步机制的人
如Dijkstra算法怎么看， 对于lamport在dijkstra
的一系列算法基础上给出的理论证明有什么改进
意见？ lamport开创的用Induction invariant
证明算法正确性的方法同时期还有谁在研究?
他们提出的方法各有什么优劣？
请问在时序逻辑里fairness 的概念是什么意思？
Strong fairness weak fairness 最大的区别是什么，
这些区别在证明safety conditions 和
Liveness conditions 的重要性在哪里.
另外现在时髦的Raft 和 Zookeeper Replication Protocol
和Paxos 区别是什么？ |
|
m******e
发帖数: 201 | 42 跟着这个
https://github.com/reactjs/express-react-views
可以把react和express一起用了，但是加上react-bootstrap的就不行了
比如什么Alert, Button的JSX之类，加上出错
Error: Invariant Violation: Button.render(): A valid ReactComponent must be
returned. You may have returned undefined, an array or some other invalid
object.
也没找到特别好的例子。react除了hello world都很难找到个有css的例子。 |
|
t****n
发帖数: 263 | 43 试图在做一个invariant包括了无数变量的lock free的data structure。而且是分布在
不同的机器上。mission impossible。搞成了cap theorem 算啥？图灵奖是必须的。可
惜全身是洞。 |
|
l**********n
发帖数: 8443 | 44 react比angular恶心一万倍都不止。angular至少还能用jquery操作DOM，到了react，
DOM API被完全禁止了，意味着jquery完全无法使用了，如果mutate DOM using jQuery
，那么就出现这样的bug：
Uncaught Invariant Violation: Unable to find element with ID
而且根本无法debug。 |
|
h**********c
发帖数: 4120 | 45 一点看法，热力学上的东西基本是实验拟合公式。很多问题没有公式还是不行的。
当然我没有物理背景。
首先热力学和物理大概都有invariance的假设。这个大数据什么的当然我不懂。
举个例子，电影牧马人的郭pia子说看热闹的小孩，“去去去，你父母结婚你没见过吗
？”
但是我觉得美国小孩挺多都亲自参加过。 |
|
L****8
发帖数: 3938 | 46 穷尽各种scale
一个scale 一个cnn |
|
|
L****8
发帖数: 3938 | 48 说反了 应该是穷尽各种scale 变化输入 送给一个CNN |
|
|
