c***y
发帖数: 286 | 1 our year-end rally formally starts today. |
|
k****n
发帖数: 1334 | 2 year-end rally 之前的调整formally start |
|
b**********i
发帖数: 1059 | 3 今天老板搞突然袭击。给了个formal warning，说我利用他去开会是候不去上班。理由
是他检查我的电脑没有见到那一天我有任何工作的记录（new file, new modified
date). 还说他知道我以前有时候也这样。我确实有过他说的情况，他不在的时候去的
晚点。不过这一天我确实去了，还有证人，但锁在自己办公室上网闲逛确实没怎么工作
。不过他对我的performance还是认可的，以前也总夸我。这份工作一直干的没劲，老
板又mcro-management，很多次都不想干了，但对自己没有自信，看在能让我苟延活命
（还有身份，perm都没批）的份上还是忍下来了。压抑的结果是老板不在的时候确实不
想去上班。当时觉得反正我的credibility也完蛋了，就说了两次不相干了。当时在场
的另外一人说让我周末好好回去想想，老板也是这个态度。后来跟老板请了假今天提早
回来了。老板问我周一去不去，我说周一也请假（因为老板周一又不在）。
现在很纠结，知道自己有错，所以也没有怎么辩解。现在是想下周二去是怎么说. 1)直
接辞了； 2）。跟老板说我不喜欢这份工作，但是我愿意帮老板把手头重要的p |
|
I******T
发帖数: 671 | 4 unfortunately, the company has evidence to fire LZ, not layoff.
And usually formal warning is the step before firing. |
|
q*****n
发帖数: 195 | 5 看样子我等不及formal letter了，打算用email notice递交我的485，这种会不会造成
RFE？ |
|
g*****n
发帖数: 239 | 6 Have searched a lot, didn't see a clear definition. Anyone help me on what
shall I wear for this smart formal (men) dress code? Thanks a lot! |
|
p***y
发帖数: 18037 | 7 Formal dress就是男的要打领带女的最好穿裙子。不过冬天那麽冷，你穿dress pants
也没人抱怨的。 |
|
i*****g
发帖数: 2564 | 8 Here is the formal apology from ABC and Jimmy Kimmel Live show:
http://www.abcmedianet.com/web/dnr/dispDNR.aspx?id=pr62214
Good work to everyone that had done their parts in these protests.
Here is part of the Chinese translation:
“那个节目环节本不应该被播出。我们的审查制度在处理这次节目内容上出现问题，我
们已吸取教训...‘儿童圆桌会’这个节目环节将被永久取消。吉米·基梅尔本人也在
电视上，及用书面形式诚恳道歉。他也与对此事关切的民众见面，当面表达了歉意。” |
|
j****y
发帖数: 60 | 9 Beautiful formal dining room set with 1 table, 4 chairs, 2 arm chairs, 1
hutch. Table length is adjustable.
Table size is: width=42", height=30" length=78" with leave, 60" without
leave
Hutch size is: width=51" , depth=17" height=79"
Ask for $450, Call: 858-880-5685 for more details |
|
A***o
发帖数: 2783 | 10 Formal Dining大概到谁家里就一摆设。。。我老板俄国移民，以前说他家的
桌子，买的时候好几千，他老婆舍不得不让他动，怕弄坏了啥的，结果一年
也用不上一次半次。。。这不跟老中们的情形狠类似么。。。LOL。。。 |
|
D*****E
发帖数: 9352 | 11 formal, no need black tie. |
|
A***a
发帖数: 3603 | 12 看船公司发的手册上怎么写吧.
我上次去的那个formal night 要求领带西服的. 不是每个人都tuxedo.但是全都穿西装
的.光衬衫的人没见过(除了casual night). |
|
s******x
发帖数: 15232 | 13 实际上，formal night里面美国人穿汗衫短裤拖鞋进去的我也见过，waiter也没有说什
么。虽然船公司也许不会拒绝服装不符合场合的客人，我们还是不鼓励大家这样乱来。 |
|
s*******n
发帖数: 60 | 14 【 以下文字转载自 Boston 讨论区 】
发信人: stillryan (arron), 信区: Boston
标 题: 周六5/8晚John Hancock Formal 舞会！！！
关键字: dance performance 舞会
发信站: BBS 未名空间站 (Thu Apr 29 16:27:55 2010, 美东)
Seize this unique opportunity to support and dance with Boston's Ballroom
Stars! Feature a spectacular 5 dance showcase by Andre' & Agnieszka who are
representing the U.S. at the 2010 British Open this May. This is the top
level professional Latin performance in the beautiful John Hancock theatre.
There will be dance party after t |
|
a****e
发帖数: 1662 | 15 formal reception, 女生如何着装？谢谢先 |
|
E**********T
发帖数: 7949 | 16 在屋子里。。有暖气的。。不冷。。。FORMAL DRESS，。。比较好看华丽，大方，高贵
。。。ETC的就成了啊。。怕冷，加个披肩啥的。。。
为啥我觉得现在纽约没比三藩冷多少啊。。。。。。。。。
那年圣诞去三藩。。把我给冻坏了。。。以至于，我宁死再也不去三藩。。。 |
|
|
d****d
发帖数: 241 | 18 谢谢你噢，一直回答我的问题：）
其实，我非常怕冷，所以总是围绕一个薄厚的问题。。。我已经有formal dress and coat了，只是都比较薄（全是在bay area穿的），所以，我在想去ＮＹＣ要买加厚的。。。。
我再搜搜吧～～ |
|
d****d
发帖数: 241 | 19 formal dress也可以是短裙吗？我还以为一定要拖地。。。 |
|
q******3
发帖数: 1765 | 20 可以啊，看设计。
领口比较高，下面露腿的算formal dress.
不过我个人比较偏向领口低一点，下面拖地的那种。保险。 |
|
|
y********m
发帖数: 1981 | 22 可以啊，感觉这裙就是semi-formal的典范了～～～
中、高跟的满口鞋、bootie都行呢～
冷的话搭件cardigan. |
|
s*s
发帖数: 521 | 23 马上要去cruise,第一次，有两个晚上需要穿formal dress,不知道什么样的可以
请有经验的mm指点一下，谢谢~ |
|
L******g
发帖数: 1038 | 24 3.
上次坐RCL, 它的formal night穿的都不是那么正式的,很多男式领带都没有打. |
|
m********c
发帖数: 13337 | 25 formal dinner其实有一大堆人还是穿牛仔裤、圆领衫、旅游鞋。
所以压力别太大了。 |
|
D*******1
发帖数: 439 | 26
其实女生formal dress就行对吧~~还有一个问题就是男生是不是只有西装，能不能不要
外套，就是穿衬衣和西裤？
谢过谢过 |
|
w******x
发帖数: 2769 | 27 【 以下文字转载自 Style_and_the_Man 俱乐部 】
发信人: willacox (William), 信区: Style_and_the_Man
标 题: WIWT #2, hybrid business formal/business casual
发信站: BBS 未名空间站 (Wed Jan 30 02:50:14 2013, 美东)
Not enough gentlemen here, I think ladies like better dressed men as well,
besides luxury handbags.
1/28
Suit: Banana Republic monogram line
Shirt: BR
Tie: Hugo Boss
Cardigan: BR
Shoes: BR
1/29
Sorry did not take full body pic
Suit: BR monogram line
Shirt: Hugo Boss
Tie: Marc New York
Cardigan: BR
Shoes: Hugo Boss sin... 阅读全帖 |
|
G****S
发帖数: 46 | 28 stephen shore 更多的是被称为"color photography"的先锋吧. 至于他的流派
我还没有听人说过是"formalism", documentary 之类的定义还是比较让大众接受吧。 |
|
k******n
发帖数: 1740 | 29 【 以下文字转载自 Joke 讨论区 】
发信人: kiloogan (天正在等烟雨), 信区: Joke
标 题: 学术版请问smart formal是什么意思？
发信站: BBS 未名空间站 (Fri Mar 21 03:42:29 2014, 美东)
是一定要穿西服吗？还是说可以不穿西服只穿衬衫也可以？如果穿衬衫需要系领带吗？ |
|
k******n
发帖数: 1740 | 30 我GOOGLE smart formal的图片大多数都没有穿西服呀
不是参加婚礼，只是一个晚宴 |
|
h****t
发帖数: 93 | 31 我个人感觉, realtime checking应该是非常有用的,只是formalism和
checking太复杂了. |
|
c****e
发帖数: 1453 | 32 大家可以讨论一下，.这个和testing 相比那个将来更好一些.
formal verification paper不少.不知道工业界的情况.Combinational equivalence
checking没什么作的八.
sequential的太难,没什么突破.很多人发BMC方面的东西，好像这个工业界开始用了。微
软好像对于软件的
verification很感兴趣，有不少人在做 software verification. |
|
T********r
发帖数: 6210 | 33 cannot agree more. formal method is always a good thing in academia. it is
computer *science*, not computer *engineering*. the more I get into it, the
more I appreciate it. |
|
r*******n
发帖数: 3020 | 34 有没有好的入门书给推荐？ 多谢
下面这本如何，amazon上评价很高，适合初学
Understanding Formal Methods (FACIT) by Jean-Francois Monin and M.G. Hinchey
(Paperback - Jan 17, 2003) |
|
r*******n
发帖数: 3020 | 35 中肯。 正好图书管有understanding formal methods, 先看看
and
的。 |
|
A**********t
发帖数: 9 | 36 本人比较迷惘，对研究方向摇摆不定。有人邀请我跟他一起搞formal methods。。。
我想问一下，这个东西好入门吗？学了/做了好找工作吗？教职呢？
谢谢! |
|
a*****e
发帖数: 1700 | 37 Theory of Computation? 和 formal language 不沾边吧 |
|
d*****u
发帖数: 62 | 38 我用过的书里面我觉得Ronnie Cann 的 Formal Semantics最好，这本书从一开始很简
单直观的东西讲起来，慢慢地建立一个越来越完备的语义系统。这本书是以蒙太古的语
义学为内容的，而且是英国人写的，所以有很多的地方和美国这边以Semantics in
Generative Grammar的符号什么不是很一样，但是这两本书比较起来我觉得初学者更应
该看Cann的书。很多人搞了半天语义学都有同样的问题，就是语义学到底做什么的？
Cann的书就讲得很清楚，semantics in generative grammar一上来就从语义解释规则
和语义组合原则上手，有点让人在技术细节里面迷失方向的感觉。
还有一本备受推崇的教科书，就是荷兰人Gamut写的两卷本的Logic, Language, and
Meaning，大概比Cann的书深一些，但是系统性很好。也是很多人强烈推荐的。
Chierchia and McConnell-Ginet的教科书也值得一看。但是这本书有点散，有的地方
比较罗索，不过这本书讲了一些语用学的东西以及一些别的书不讲的内容，适合作为一个主要的参考书。 |
|
k*****r
发帖数: 1435 | 39 今天听了一个seminar，不得不来感叹一下。
搞formal semantics的一般就算没大的贡献也是规规矩矩的，至少对他们的结论很好评
价。
搞syntax的，嘿嘿，很多人简直就是想怎么说就怎么说，搬别人的理论被challenge，
就直接说你可以去找他本人问，好像他借用就不需要自己先动动脑筋一样。还有很多乱
用syntactic principles说明自己做的东西对路的，用也不用到地方。不怎么懂syntax
的人要么很反感这些，要么盲目崇拜他们。
当然这是我周围的情况啦，美国应该好一些，嗯。 |
|
k***g
发帖数: 7244 | 40 呵呵，我对Formal
Model也挺感兴趣的，从今年秋天开始，要花一年的时间去读一个Mathematical Methods
for Social Science (MMSS)program，
可以拿到一个Master的学位，然后再回系里准备Prelim考试……今后也想做一些这方面的
研究~~
这个学期选了一门Positive Political Theory, 挺有趣的，关于collective
preference等等的东东…… |
|
x****x
发帖数: 87 | 41 我可以告诉formal model到底里面是社么工具，社么内容么
collective preference是不是关于集体偏好，集体理性的么，和arrow的social choic
e 有关啊， 另外我再高级微观经济学里面学过一点GARP ，general axiom of reveale
d preference，也是和集体偏好有关的吧，其实这个也是微观经济学的基础。 应为效用
函数的存在性是微观经济分析的基础，而GARP是效用函数存在性的基础，^_^，好像再搞
的都是外国人，比如yale 的cowels中心的一些人，
Methods
的 |
|
I*S
发帖数: 203 | 42 【 以下文字转载自 Physics 讨论区 】
发信人: IAS (memory of 8), 信区: Physics
标 题: Formal structure of electromagnetics
发信站: BBS 未名空间站 (Thu Apr 26 15:05:51 2007), 转信
有没有人有着本电子书？
可以共享一下吗？
谢谢！ |
|
l******c
发帖数: 445 | 43 formal dinner也看场合的。如果是professional association之类的不合适。如果是
社交类型的还可以，朋友间的就更没问题了。 |
|
t******n
发帖数: 2939 | 44 ☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:34:22 2013, 美东) 提到:
假设素数只有有限个, 记为 p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
由素数的定义:
a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除
可知: N是素数
这与素数只有p_1,p_2,...,p_k矛盾.
故假设不成立.
所以素数有无穷多个.
☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:37:03 2013, 美东) 提到:
在承认素数的这个等价定义 (即 a是素数 <=> a是大于1的自然数, 且a不被任何小于a
的素数整除) 的前提下, 居然有人会认为这个证明是错的, 或者是不完备的.
我实在不能理解.
求问一下大家, 是不是有的人的脑子天生有缺陷, 根本怎么教都不会明白... 阅读全帖 |
|
l******h
发帖数: 2 | 45 Highly reputational company with very competitive compensation for all
positions.
Please send in your resume and position/positions you like to apply to my
email address below.
h*******[email protected]
All resumes will be deliver to hiring manager directly. Act fast!
Thanks!
Silicon Engineering Group
Sr. Physical Design Timing Engineer
Timing (STA) Manager
Senior Physical Design Engineer
CAD Manager - Front-End Design and Verification
Sr. CAD Engineer - Place & Route / Physical Design Engineer
Sr. CA... 阅读全帖 |
|
l******h
发帖数: 2 | 46 Highly reputational company with very competitive compensation for all
positions.
Please send in your resume and position/positions you like to apply to my
email address below.
h*******[email protected]
All resumes will be deliver to hiring manager directly. Act fast!
Thanks!
Silicon Engineering Group
Sr. Physical Design Timing Engineer
Timing (STA) Manager
Senior Physical Design Engineer
CAD Manager - Front-End Design and Verification
Sr. CAD Engineer - Place & Route / Physical Design Engineer
Sr. CA... 阅读全帖 |
|
t******n
发帖数: 2939 | 47 ☆─────────────────────────────────────☆
xiongyp (dreamrain) 于 (Fri May 24 08:41:56 2013, 美东) 提到:
我们假设不知道什么叫素数，我们对正整数集合进行如下的定义来定义素数。（这是从
链接上取下来的，也是I63的定义）
(1) 1不是素数 (base case)
(2) a是素数当且仅当a不能被任何小于它的素数整除。
我曾经多次指出，这个定义在用素数定义素数，是不正确的。但看到很多的反驳如下。
1不是素数, 我们考察2，发现小于2的素数集合为空集，于是2为素数。以此再往下递归
，得出所有素数的定义。我想昨天深入讨论此内容的人，都不会反对我的总结吧。关于
"小于2的素数集合为空集"推出"2为素数"，因我的不慎，还做出过郑重道歉。
好，我们仿造这种递归定义，来定义偶数。
我们假设不知道什么叫偶数，我们对非负整数集合进行如下的定义来定义偶数。
(1) 0不是偶数 (base case)
(2) a是偶数当且仅当a与任何小于它的偶数之差为2的倍数。
我从base case开始。0不是偶数。我们考察... 阅读全帖 |
|
s**********8
发帖数: 25265 | 48 Design Controls
INTRODUCTION
Coverage
QUALITY SYSTEM
Personnel Training
DESIGN AND DEVELOPMENT PLANNING
Interface
Structure of Plans
DESIGN INPUT
Input Checklists
DESIGN REVIEW
Combination Devices
Preparation For Reviews
Why Design Reviews
Types Of Design Review Meetings
Design Review Requirements
End Of Initial Design
DESIGN OUTPUT
Documenting Design Output
Acceptance Criteria
Design Output Approval
DESIGN VERIFICATION AND VA... 阅读全帖 |
|
t******l
发帖数: 10908 | 49 这个可能是个不错的例子，说明 prealgebra 阶段的 overly emphasize clear
explanation 可能反而会阻碍从 concrete thinking 进入 formal thinking。
具体而言，围棋哥的 explanation，是 arithmetic 阶段的 clear concrete thinking
w/ structure。没啥问题。
nonpp 的 explanation，是 formal thinking，虽然有些默认的属性，比如正交所以相
乘，没有详细解释，但对中小学普通娃而言，intuitional formal thinking 可能是一
个必经的阶段。(日常生活中没有多少 formal thinking，所以即使是 formal
thinking 的 intuition，很可能也需要在做题时建立。)
而 jxp 的 prealgebra 的阶段的 half-concrete thinking, half-formal thinking
的
explanation，其 explanation 本身很清晰、很明了、也无二义。
但... 阅读全帖 |
|
r******s
发帖数: 925 | 50 ☆─────────────────────────────────────☆
AprilSummer (但盼守得云开见日月) 于 (Tue Mar 8 22:14:48 2011, 美东) 提到:
大家知道，在美国申请永久居留权有以下几种方式，1)Asylum2) Immigrant Visa
3) Adjustment of Status 4) Cancellation of Removal 5) Special Legislation.
我们这个版上基本上集中在职业移民和家庭移民两种。吃包子的注意了，问题就是：
职业移民包括哪几类？请具体写出来。
家庭移民又包括哪几类，请具体写出来。
第一个答对的给包子15个，其他答对的每个人包子5个。不要反复回帖，不要灌水，不要起混砸场子，违者罚包子5个。光re的没包子，得答对问题。
现在开始！！！！
家庭移民
第一类是Immediate Relative （IR)，IRs没有排期，没有移民名额限制。
IR包括以下几种情况，公民的配偶和未成年子女，绿卡持有者在海外旅行出生的子女，公民的父母。
（Spouses and minor c... 阅读全帖 |
|
