Primary links

Academic spring: how an angry maths blog sparked a scientific revolution

Academic spring: how an angry maths blog sparked a scientific revolution
Alok Jha reports on how a Cambridge mathematician's protest has led to demands for open access to scientific knowledge

http://www.guardian.co.uk/science/2012/apr/09/frustrated-blogpost-boycot...

Jong

胡老師從2012年始學年度的開課資訊

我未來在系上開課的規劃如下: 上學期:計算機概論(資科大一必修、應用數學系必選)、電腦科學與邏輯基礎(資科大三、大四群修,資科所選修) 下學期:資訊系統與網路安全(必須要先修過電腦科學與邏輯基礎課,僅開設給資科所碩博生)、語意網與資訊網服務(必須要先修過電腦科學與邏輯基礎課,僅開設給資科所碩博生) 相關的入門資訊介紹: 電腦科學與邏輯基礎 (Logic Foundation for Computer Science): http://sw.cs.nccu.edu.tw/?q=node/2989 資訊

預告2013春季班研究所的一門課:資訊系統與網路安全

幾年前我在系上開設了「網際網路安全」的課程( http://sw.cs.nccu.edu.tw/?q=forum/16 )。因為用的課本Cryptography and Network Security: Principles and Practices, 4th William Stallings, Pearson (參考:http://www.amazon.com/Cryptography-Network-Security-William-Stallings/dp/0131873164 )主要的內容都是密碼學演算法,但是欠缺了我想要以邏輯(logic)為導向的知識庫系統與安全元素的整合。

2012秋季班大學部高年級群修與研究所的選修課:Logic Foundation for Computer Science

我不太確定同學們在大學時候是否有修過電腦邏輯這一門課,這裡指的是logic program,涵蓋有propositional logic (calculus), predicate logic (calculus), logic programming。最後再到description logic。而不是指電腦架構與組織的邏輯線路設計。我未來將在下學期開設大學部高年級群修課「電腦科學邏輯基礎」。邏輯基礎知識在西方已經發展很久。因此已經出版的書汗牛充棟。切入點有可能從數學的角度,我記得我在大學時候修課的名稱叫做「理則學」。

徵求101年度新學期資科所碩士生(含碩專班生)與博士生

幾天前政治大學碩士生榜單揭曉之後,陸陸續續有本資科所正取與備取的准新生和我聯繫想要理解有關於ENT Lab.的資訊安全與資料保護的研究方向,並且表達有興趣加入的意願。在此非常歡迎這些准碩士生(含碩專班生)與博士生。其他(她)同學如果有興趣也請儘早和我聯繫,以免因為本人收學生的名額有限,而錯失加入的機會。

Email: hu at cs.nccu.edu.tw or jong at cs.nccu.edu.tw

毓忠

Call for Papers: RuleML2012@ECAI - 6th International Symposium on Rules

====================================================================*
* RuleML2012@ECAI - 6th International Symposium on Rules: *
* Research Based and Industry Focused *
* Montpellier, France, August 27-29, 2012. *
* http://2012.ruleml.org *
====================================================================*

The International Symposium on Rules, RuleML, has evolved from an annual series
of international workshops since 2002, international conferences in 2005 and

Stanford Offers More Free Online Classes for the World Stanford Report (CA) (03/06/12) Jamie Beckett

Stanford University is introducing five free online classes in March as the next step in a university initiative to use new technologies to improve education. The classes follow the launch of pilot classes last fall, which drew more than 350,000 participants. "Stanford has been a pioneer in online education for many years, and we are pleased to continue expanding and refining our online offerings to benefit both our own students and students around the world," says Stanford University provost John Etchemendy.

Cloud Will Create 14 Million Jobs, Study Says InformationWeek (03/05/12) Paul McDougall

Cloud computing technologies will help create nearly 14 million technology-related jobs worldwide by 2015, resulting in $1.1 trillion in revenue annually, according to a Microsoft and IDC report. "For most organizations, cloud computing should be a no-brainer, given its ability to increase [information technology (IT)] innovation and flexibility, lower capital costs, and help generate revenues that are multiples of spending," says IDC's John Gantz.

Stuxnet: Computer Worm Opens New Era of Warfare CBS News (03/04/12) Steve Kroft

The Stuxnet computer worm demonstrates the ability of a cyberattack to inflict significant physical damage, and leading U.S. military, intelligence, and law enforcement officials warn that its emergence heralds a coming cyberattack on the U.S.'s critical infrastructure. "We have entered into a new phase of conflict in which we use a cyberweapon to create physical destruction, and in this case, physical destruction in someone else's critical infrastructure," says former U.S. Central Intelligence Agency director Gen. Michael Hayden.

2012秋季班大學部高年級群修課與研究所的選修課:Logic Foundation for Computer Science

我不太確定同學們在大學時候是否有修過電腦邏輯這一門課,這裡指的是logic program,涵蓋有propositional logic (calculus), predicate logic (calculus), logic programming。最後再到description logic。而不是指電腦架構與組織的邏輯線路設計。我未來將在下學期開設大學部高年級群修課「電腦科學邏輯基礎」。邏輯基礎知識在西方已經發展很久。因此已經出版的書汗牛充棟。切入點有可能從數學的角度,我記得我在大學時候修課的名稱叫做「理則學」。

RSS feed

Powered by Drupal 5.5 and copyright © 新趨勢網路科技實驗室 ( Emerging Network Technology Laboratory ), Some Rights Reserved
This work is licensed under a Creative Commons License.