Primary links

政治大學大學部學生英語畢業門檻設定的論述

 由語言所和法律系教授對於政治大學大學部畢業生英語畢業門檻設定的論述(12/01將舉辦教師公聽會,12/29將舉辦學生公聽會):

教師公聽會

Princeton Computer Scientist Robert E. Tarjan Appointed Chief Scientist at Intertrust Technologies Business Wire (10/29/14)

Intertrust Technologies has named Princeton University professor and 1986 ACM A.M. Turing Award laureate Robert E. Tarjan as chief scientist. Tarjan joins more than 100 researchers and engineers in solving technical problems in trust and security on the Internet. "Dr.

Seminar Info. for Towards Law-Aware Semantic Cloud at Univ. of Bologna, Italy on 02:30-04:00 p.m., June-19th, June-19th-2012

Towards Law-Aware Semantic Cloud Policies with Exceptions for Data Integration and Protection

 

Related info. about my papers, slides and seminar announcement.

Paper (attached) was presented at WIMS'12 and published by ACM Press:

http://dl.acm.org/citation.cfm?id=2254129

Seminar slides are attached. It was enhanced for a 90 minutes seminar talk at CIRSFID, Univ. of Bologna.

Cloud Security Alliance Big Data Work Group Kick-Off Call

你們或許會有興趣參加這個討論會,因為和我們研究興趣有相關。主要是解決和雲端運算有關的security and privacy problems,並且提出可能的相關標準提供業界來遵循。

Conference時間是05/24早上5:00(www.timeanddate.com/worldclock/converted.html )。

毓忠

Artificial Intelligence Could Be on Brink of Passing Turing Test

最近在Wired magazine有一篇報到,提到電腦系統已經可以接近通過Turing Test的考驗,到底什麼是Turing Test?通過Turing Test所代表的意義為何?首先閱讀A. M. Turing (1950) Computing Machinery and Intelligence. Mind 49: 433-460 的一篇文章來瞭解他心目中的Turing Test為何?這一篇論文看起來沒有很多數學技術性的元素,但是我們可以透過閱讀來欣賞Turing的寫作風格。

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。而不是指電腦架構與組織的邏輯線路設計。我未來將在下學期開設大學部高年級群修課「電腦科學邏輯基礎」。邏輯基礎知識在西方已經發展很久。因此已經出版的書汗牛充棟。切入點有可能從數學的角度,我記得我在大學時候修課的名稱叫做「理則學」。

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.