亚洲国产区中文,国产精品91高清,亚洲精品中文字幕久久久久,亚洲欧美另类久久久精品能播放

                  詞條 周以真

                  周以真

                  周以真(英文名Jeannette M. Wing,),美國(guó)計(jì)算機(jī)科學(xué)家??▋?nèi)基梅隆大學(xué)教授。美國(guó)國(guó)家自然基金會(huì)計(jì)算與信息科學(xué)工程部助理部長(zhǎng)。ACM和IEEE會(huì)士。

                  她的主要研究領(lǐng)域是形式化方法、可信計(jì)算、分布式系統(tǒng)、編程語(yǔ)言等。1993年她與圖靈獎(jiǎng)得主芭芭拉·利斯科夫合作,提出了著名的Liskov代換原則,是面向?qū)ο蠡驹瓌t之一。

                  1979年6月在麻省理工學(xué)院獲得學(xué)士和碩士學(xué)位,導(dǎo)師中有圖靈獎(jiǎng)得主Ronald Rivest。1983年獲得該校的博士學(xué)位。

                  1983—1985年,在南加州大學(xué)任助理教授。1985年起,任教于卡內(nèi)基梅隆大學(xué)。2004—2007年間,曾擔(dān)任該校計(jì)算機(jī)系主任。

                  2006年3月,在美國(guó)計(jì)算機(jī)權(quán)威期刊《Communications of the ACM》雜志上給出,并定義的計(jì)算思維(Computational Thinking)。 認(rèn)為:計(jì)算思維是運(yùn)用計(jì)算機(jī)科學(xué)的基礎(chǔ)概念進(jìn)行問(wèn)題求解、系統(tǒng)設(shè)計(jì)、以及人類行為理解等涵蓋計(jì)算機(jī)科學(xué)之廣度的一系列思維活動(dòng)。

                  周以真簡(jiǎn)介資料
                  1956 年
                  John Guttag
                  周以真相關(guān)文獻(xiàn)
                  廣東陽(yáng)春通真巖周敦頤留題石刻
                  廣東陽(yáng)春通真巖周敦頤留題石刻,??
                  查看全文
                  周――周姓悠久歷史 文王以國(guó)為氏
                  周――周姓悠久歷史文王以國(guó)為氏,曾經(jīng)統(tǒng)治中國(guó)達(dá)874年之久的周文王、周武王這一家人,究竟是不是現(xiàn)在姓周的最早
                  查看全文
                  北周老臣尉遲迥之亂為何最終以失敗告終?
                  北周老臣尉遲迥之亂為何最終以失敗告終?,公元580年北周皇帝離世之后,尉遲迥和隋文帝楊堅(jiān)為了謀權(quán)而展開(kāi)斗爭(zhēng),史稱尉遲
                  查看全文
                  周以真
                  擔(dān)任學(xué)術(shù)職務(wù)周以真教授曾擔(dān)任卡內(nèi)基—梅隆大學(xué)計(jì)算機(jī)學(xué)院院長(zhǎng)、美國(guó)國(guó)家科學(xué)院計(jì)算機(jī)科學(xué)與通訊部門(mén)主席、美國(guó)國(guó)防部高級(jí)研究計(jì)劃署(DARPA)信息科學(xué)與技術(shù)委員會(huì)、美國(guó)國(guó)家科學(xué)基金科學(xué)顧問(wèn)委員會(huì)以及Sloan研究基金程序委員會(huì)的成員。2007年她出任美國(guó)國(guó)家科學(xué)基金會(huì)(NSF)計(jì)算機(jī)與信息科學(xué)與工程部(CISE)副部長(zhǎng),負(fù)責(zé)管理NSF在信息科學(xué)和計(jì)算機(jī)研究領(lǐng)域的基金。CISE每年的預(yù)算高達(dá)5.27億美元,占整個(gè)美國(guó)聯(lián)邦政府對(duì)計(jì)算機(jī)科學(xué)研究資助經(jīng)費(fèi)的86%。評(píng)價(jià)卡內(nèi)基梅隆大學(xué)的校長(zhǎng)JaredLCohon評(píng)價(jià)說(shuō):“周以真是當(dāng)今世界上最有創(chuàng)新精神、最具原創(chuàng)力的計(jì)算機(jī)科學(xué)家之一。她在科研、教學(xué)和行政上均作出了重大貢獻(xiàn)。NSF不可能找到一個(gè)比周以真更好的人選?!蔽④浲瑯诱J(rèn)為周以真的工作經(jīng)驗(yàn)和文憑“無(wú)可挑剔”。主要著作J.M.Wing,J.C.P.Woodcock,andJ.Davies(eds.),Pr
                  查看全文
                  周以悌
                  生平早年為經(jīng)略使、右威衛(wèi)將軍。依附宗楚客。景龍二年(708年),西突厥首領(lǐng)烏質(zhì)勒之子娑葛與其父的部將阿史那闕啜忠節(jié)不和,雙方時(shí)有沖突,闕啜忠節(jié)由于兵少,漸不能支。安西都護(hù)郭元振請(qǐng)朝廷命忠節(jié)入朝宿衛(wèi),移其部落于瓜、沙等州安置。闕啜率部落行至播仙鎮(zhèn)(今羅布泊南)時(shí),遇到周以悌,周以悌勸他不要入朝,賄賂宰相宗楚客、紀(jì)處訥,聯(lián)合安西軍與吐蕃軍共擊娑葛,既德報(bào)仇,又可以保存部落首領(lǐng)職權(quán),勝于入朝受制于人。闕啜忠節(jié)聽(tīng)從周以悌的建議,遣使厚賄宗楚客、紀(jì)處訥,請(qǐng)求唐廷出兵攻打娑葛。郭元振上書(shū)請(qǐng)斬宗楚客,楚客誣元振隱蓄異志,唐中宗下詔,召回郭元振,下令周以悌接替郭元振任安西都護(hù),并且任命阿史那獻(xiàn)為十姓可汗。郭元振不敢行,以其子郭鴻攜帶奏折從小路赴京申述。周以悌被流放至白州(治今廣西博白)。郭元振復(fù)任安西都護(hù)。延和元年(712年)六月,幽州都督孫儉率左驍衛(wèi)將軍李楷洛、左威衛(wèi)將軍周以悌等,發(fā)兵二萬(wàn)余人,分為三軍
                  查看全文
                  周以真相關(guān)標(biāo)簽
                  生年不詳
                  卡內(nèi)基美隆大學(xué)教師
                  女性科學(xué)家
                  女性計(jì)算機(jī)科學(xué)家
                  IEEE Fellow
                  麻省理工學(xué)院校友
                  美國(guó)計(jì)算機(jī)科學(xué)家
                  在世人物
                  信息技術(shù)科學(xué)家
                  信息技術(shù)科學(xué)家
                  家族譜大覽
                  鎮(zhèn)溪周氏宗譜, 30, 卷30, 23世以能公起, 1933
                  原書(shū): [出版地不詳 : 出版者不詳], 民國(guó)22[1933]年重修. 31冊(cè):插圖, 人像, 世系表. 遠(yuǎn)祖: (唐) 周墀. 為道州管道祖. 始祖: (宋) 周惇頤,謚曰元,封為道國(guó)公. 為墀公10世孫. 生二子: 周壽 ; 周燾. 浦陽(yáng)橫溪祖(1世): (宋) 周缊,號(hào)維濂. 燾公之子. 鎮(zhèn)溪始遷祖(3世): (宋) 周寶,字國(guó)珍,號(hào)復(fù)古,行千一 ; 周茵,字國(guó)寵,行千二. 寶公派下支祖(5世): (宋) 周玙,字朝重,行文十(居蘭溪, 后裔傳數(shù)代后無(wú)記事) ; 周玨,字朝器,行文十四(鎮(zhèn)溪祖) ; 周玩,行文十八(坑塢祖). 茵公派下支祖(5世): (宋) 周珮,字朝用,行文三(塘堘祖) ; 周琚,行通二,又行文八(水塘塢祖) ; 周珛(遷于肖山) ; 周璜(遷于嵊縣安國(guó)寺前) ; 周??(遷居十七都). 此譜為珮公, 琚公后裔世系. 玨公派下支祖(7世): (元明之際) 周文,字善華,行名七(居中央屋) ; 周行,字善景,號(hào)紹麓,行名八(居大明堂) ; 周忠,字善甫,號(hào)襟溪,行名九(居前宅) ; 周信,字善孚,行名十一. 玩公派下支祖(9世): (明) 周榴,行信十三. 珮公派下支祖(9世): (明) 周海,字景瀾,行富十八 ; 周瀾,字景觀,行富四 ; 周淙,字景聲,行富七. 琚公派下支祖(9世): (明) 周高,行義六 ; 周明,行義六九 ; 周遠(yuǎn),行義十一. 鎮(zhèn)溪排行字母(1世起): 賜宜(百)千曾(萬(wàn)) 文生名子 信賢升和 連杰澄清 純俊茂興 洪昭德顯 昌瑞祥禎. 諱字母(13世起): 廷世元良 希其尚邦 益仁以守 用尊家芳. 表字母(13世起): 仕汝惟君 伯爾克新 學(xué)懷思慎 必應(yīng)朝聘. 行字母: 系統(tǒng)相傳 木本水源 碩大且滋 億萬(wàn)斯年. 諱字母: 忠厚開(kāi)基 宗法宜明 若能式則 庸道乃成. 表字母: 品望端隆 儀度溫恭 天秩有禮 所適咸中. 注: 卷2, 影像第45頁(yè)尚有上田派, 水塘周派, 及石廓派排行字母. 散居地: 浙江省浦江縣等地. 書(shū)名據(jù)書(shū)衣題, 版心題, 及卷端題編目.
                  瀏覽:100
                  2.岡邑月峰周氏宗譜, 2, 卷1: 存疑宗系 志亮公1-5世 5世以富公起, 1914
                  原書(shū): [出版地不詳] : 愛(ài)蓮堂, 民國(guó)3[1914]. 10冊(cè) : 插圖, 世系表. 收藏者 : 太原市尋源姓氏文化研究中心. 編譜人員 : 周維縶,字錫侯 ; 周維明,字潤(rùn)珊 ; 周宏清,字潤(rùn)珊 ; 周維藩,字介人. 本宗祖 : (明) 周鼎三. 由江右饒州府遷居黃岡. 生子三 : 周成(居邑東柳樹(shù)河,為本譜之祖) ; 周貴(遷大冶) ; 周亮(居本邑古道鄉(xiāng)周家堡). 月峰始遷祖(一世) : (明) 周志亮. 成公后裔. 由邑東柳樹(shù)河遷居月山,漸次居于月山之下,即今之周氏河也. 志亮公下派祖(6世) : 周寶(老一甲) ; 周琳(老二甲). 老一甲寶公支下房祖(9世) : 周一德 ; 周一成 ; 周一信. 老二甲琳公支下房祖(9世) : 周一品,字相府 ; 周一大 ; 周瑞明,字以寧(一甲) ; 周一廉,字以清 ; 周一章,字以真(三甲). 一廉公下各甲房祖(10世) : 周之禮,字樂(lè)三(二甲) ; 周之鼎,字雨卜(四甲) ; 周之煥,字甲章(六甲) ; 周之干(十甲). 派語(yǔ) : 大在才華國(guó) 宏維德合天 正家恩義重 立位事功全. 散居地 : 湖北省黃岡縣等地. 書(shū)名據(jù)書(shū)衣題, 及書(shū)名頁(yè)題編目. 版心題 : 周氏宗譜 目錄題 : 月峰周氏宗譜
                  瀏覽:100
                  42.周氏宗譜.萬(wàn)一萬(wàn)二萬(wàn)三萬(wàn)五支系, 42, 萬(wàn)五 宗九 以奇 思玉思敬 曰米之子 20世祚英, 1368起
                  收藏者: 浙江省金華市金華成蹊信息發(fā)展有限公司 為能實(shí)時(shí)提供網(wǎng)絡(luò)用戶搜尋, 此書(shū)謹(jǐn)有簡(jiǎn)略訊息, 譜書(shū)影像內(nèi)容未經(jīng)審閱. 如有錯(cuò)誤, 請(qǐng)透過(guò)「意見(jiàn)反饋」反應(yīng).
                  瀏覽:100
                  33.周氏宗譜.萬(wàn)一萬(wàn)二萬(wàn)三萬(wàn)五支系, 33, 萬(wàn)二 習(xí)學(xué) 三策之子 10世四真, 1368起
                  收藏者: 浙江省金華市金華成蹊信息發(fā)展有限公司 為能實(shí)時(shí)提供網(wǎng)絡(luò)用戶搜尋, 此書(shū)謹(jǐn)有簡(jiǎn)略訊息, 譜書(shū)影像內(nèi)容未經(jīng)審閱. 如有錯(cuò)誤, 請(qǐng)透過(guò)「意見(jiàn)反饋」反應(yīng).
                  瀏覽:100
                  真寶李氏世譜 :周村宗派
                  1850年發(fā)行, 1300-1850 韓國(guó)釜山仁濟(jì)大學(xué)中央圖書(shū)館 真寶李氏世譜 卷 2,始祖李碩,周村宗派 9世希顏的子孫錄
                  瀏覽:0
                  真寶李氏世譜 :周村宗派
                  1850年發(fā)行, 1300-1850 韓國(guó)釜山仁濟(jì)大學(xué)中央圖書(shū)館 真寶李氏世譜 卷 2,始祖李碩,周村宗派 9世希顏的子孫錄
                  瀏覽:0