基於最弱初始條件與分離邏輯的程式推導與驗證整合環境
- 國家科學及技術委員會資訊工程學門專題計畫補助清冊 @ 國家科學及技術委員會

計畫中文名稱基於最弱初始條件與分離邏輯的程式推導與驗證整合環境的機關名稱是中央研究院資訊科學研究所, 學門是E40-資訊工程(資訊), 年度是112, 執行期限(起)是1120801, 執行期限(迄)是1131130.

年度112
學門E40-資訊工程(資訊)
計畫中文名稱基於最弱初始條件與分離邏輯的程式推導與驗證整合環境
計畫英文名稱An Integrated Environment for Program Derivation and Verification Based on Weakest Precondition and Separation Logic
機關名稱中央研究院資訊科學研究所
執行期限(起)1120801
執行期限(迄)1131130

年度

112

學門

E40-資訊工程(資訊)

計畫中文名稱

基於最弱初始條件與分離邏輯的程式推導與驗證整合環境

計畫英文名稱

An Integrated Environment for Program Derivation and Verification Based on Weakest Precondition and Separation Logic

機關名稱

中央研究院資訊科學研究所

執行期限(起)

1120801

執行期限(迄)

1131130

根據名稱 中央研究院資訊科學研究所 找到的相關資料

(以下顯示 8 筆) (或要:直接搜尋所有 中央研究院資訊科學研究所 ...)

國民身分識別、戶籍管理與身分證的晶片數位化

creator: 邱文聰 | date: 2020-07-29 | contributor: 法律學研究所 | language: zh | description.note: 已出版;沒有審查制度 | relation: 數位世代下的國民身分證與身分識別研討會 (台北:中央研究院 : 中央研究院法律學研究所資訊法中心、中央研究院資訊科學研究所、中央研究院社會學研究所、中央研究院資訊科技創新研究中心、台灣人權促進會、開放... | type: conference

@ 中央研究院研討會論文目錄

自我核心完整網絡:由接觸觀點整合社會網絡分析兩大研究傳承

計畫主持人(中): 傅仰止 | 黃景祥 | 計畫編號: AS-TP-109-H02 | 計畫主持人所屬單位(中): 中研院社會學研究所 | 參與研究人員所屬單位(中): 中央研究院社會學研究所 | 中央研究院統計科學研究所 | 中央研究院人文社會科學研究中心 | 中央研究院資訊科學研究所 | 美國加州大學戴維斯分校計算機科學系 | 西元年: 2019 | 執行期間(起): 2020-01-01 | 執行期間(迄): 2022-12-31 | 備註: NULL

@ 中央研究院主題研究計畫核定通過名單

Sharing of Survey Data in Taiwan

creator: 于若蓉 | date: 2016-12-08 | publisher: | contributor: 人文社會科學研究中心 | language: en | description.note: 已出版;沒有審查制度;具代表性 | relation: 2016 資料協作專案工作坊 (中央研究院資訊科學研究所 新館 106 演講廳 : 中央研院資訊科學研究所、資訊科技創新研究中心及法律學研究所) | type: conference

@ 中央研究院期刊論文目錄

普通型高中數理及資訊學科能力競賽 培養明日之星

刊登日期: 2025-01-07 | 書籤: 政策 | 內容: 為了提高學生對基礎科學及資訊研究的興趣,教育部國教署舉辦「113學年度普通型高級中等學校數理及資訊學科能力競賽」,決賽已於去年12月陸續在北、中、南共4所大學舉辦完畢,全國共有299位學生參與決賽,各...

@ 國立教育廣播電臺文教新聞(即時)

第30屆組合數學與計算理論研討會論文集

出版日期: 2013-04 | 出版單位: 國立東華大學 | 作者資訊: 國立東華大學資訊工程系 | ISBN: 9789860366167 | 語言: 中文 | 適用對象: 成人(學術性) | 主題分類: 教育文化 | 書籍介紹: 組合數學與計算理論研討會於1989年在中央研究院舉行首屆研討會至今,已邁入半甲子,對我國演算法及相關理論研究發展有長期之卓越貢獻。本研討會每年定期舉辦一次,由國內各大學或中央研究院資訊科學研究所輪流主... | 授權資訊: 聯絡處室:國立東華大學資訊工程系;姓名:葉子綺;電話:03-8634012;地址:97401 花蓮縣壽豐鄉大學路二段1號

@ 出版書目資料

李德財

公司名稱: 鑽石投資 | 職稱: 獨立董事 | 就任日期: 1130801 | 公司代號: 6901 | 出表日期: 1140522 | 主要現職: 中央研究院資訊科技創新研究中心客座講座教授 | 主要經歷: 美國伊利諾大學香檳分校電腦科學博士 國立中興大學校長 中央研究院資訊科學研究所特聘研究員 美國西北大學電機電腦科學系教授 | 目前兼任其他公司名稱: | 其他公司職稱: | 備註:

@ 上市公司獨立董監事兼任情形彙總表

【新聞稿】民眾可上傳防疫照片及故事 臺史博再推出防疫資料蒐集2.0

上版日期: 2020/6/11 上午 12:00:00 | 圖文模式頁面網址: https://www.nmth.gov.tw/News_Content.aspx?n=4233&s=134834 | 內容: 臺史博在5月初於臉書公告「COVID-19(武漢肺炎)防疫物件蒐集計畫」獲得民眾熱烈迴響,已蒐集近百件物件。防疫陸續解禁之時,臺史博再推出「COVID-19圖片蒐集網」,邀請政府與民間各界,從物件、圖...

@ 臺史博最新消息

【新聞稿】臺史博COVID-19記事 看見世界中的臺灣

上版日期: 2023/5/3 上午 08:30:00 | 圖文模式頁面網址: https://www.nmth.gov.tw/News_Content.aspx?n=4233&s=135500 | 內容:     隨著4月17日口罩解禁、5月1日嚴重特殊傳染性肺炎中央流行疫情指揮中心的解編,回想這3年的防疫生活,彷彿經歷了一段「異世界」生活。然而,這3年來防疫的日常與非日常,國立臺灣...

@ 臺史博最新消息

國民身分識別、戶籍管理與身分證的晶片數位化

creator: 邱文聰 | date: 2020-07-29 | contributor: 法律學研究所 | language: zh | description.note: 已出版;沒有審查制度 | relation: 數位世代下的國民身分證與身分識別研討會 (台北:中央研究院 : 中央研究院法律學研究所資訊法中心、中央研究院資訊科學研究所、中央研究院社會學研究所、中央研究院資訊科技創新研究中心、台灣人權促進會、開放... | type: conference

@ 中央研究院研討會論文目錄

自我核心完整網絡:由接觸觀點整合社會網絡分析兩大研究傳承

計畫主持人(中): 傅仰止 | 黃景祥 | 計畫編號: AS-TP-109-H02 | 計畫主持人所屬單位(中): 中研院社會學研究所 | 參與研究人員所屬單位(中): 中央研究院社會學研究所 | 中央研究院統計科學研究所 | 中央研究院人文社會科學研究中心 | 中央研究院資訊科學研究所 | 美國加州大學戴維斯分校計算機科學系 | 西元年: 2019 | 執行期間(起): 2020-01-01 | 執行期間(迄): 2022-12-31 | 備註: NULL

@ 中央研究院主題研究計畫核定通過名單

Sharing of Survey Data in Taiwan

creator: 于若蓉 | date: 2016-12-08 | publisher: | contributor: 人文社會科學研究中心 | language: en | description.note: 已出版;沒有審查制度;具代表性 | relation: 2016 資料協作專案工作坊 (中央研究院資訊科學研究所 新館 106 演講廳 : 中央研院資訊科學研究所、資訊科技創新研究中心及法律學研究所) | type: conference

@ 中央研究院期刊論文目錄

普通型高中數理及資訊學科能力競賽 培養明日之星

刊登日期: 2025-01-07 | 書籤: 政策 | 內容: 為了提高學生對基礎科學及資訊研究的興趣,教育部國教署舉辦「113學年度普通型高級中等學校數理及資訊學科能力競賽」,決賽已於去年12月陸續在北、中、南共4所大學舉辦完畢,全國共有299位學生參與決賽,各...

@ 國立教育廣播電臺文教新聞(即時)

第30屆組合數學與計算理論研討會論文集

出版日期: 2013-04 | 出版單位: 國立東華大學 | 作者資訊: 國立東華大學資訊工程系 | ISBN: 9789860366167 | 語言: 中文 | 適用對象: 成人(學術性) | 主題分類: 教育文化 | 書籍介紹: 組合數學與計算理論研討會於1989年在中央研究院舉行首屆研討會至今,已邁入半甲子,對我國演算法及相關理論研究發展有長期之卓越貢獻。本研討會每年定期舉辦一次,由國內各大學或中央研究院資訊科學研究所輪流主... | 授權資訊: 聯絡處室:國立東華大學資訊工程系;姓名:葉子綺;電話:03-8634012;地址:97401 花蓮縣壽豐鄉大學路二段1號

@ 出版書目資料

李德財

公司名稱: 鑽石投資 | 職稱: 獨立董事 | 就任日期: 1130801 | 公司代號: 6901 | 出表日期: 1140522 | 主要現職: 中央研究院資訊科技創新研究中心客座講座教授 | 主要經歷: 美國伊利諾大學香檳分校電腦科學博士 國立中興大學校長 中央研究院資訊科學研究所特聘研究員 美國西北大學電機電腦科學系教授 | 目前兼任其他公司名稱: | 其他公司職稱: | 備註:

@ 上市公司獨立董監事兼任情形彙總表

【新聞稿】民眾可上傳防疫照片及故事 臺史博再推出防疫資料蒐集2.0

上版日期: 2020/6/11 上午 12:00:00 | 圖文模式頁面網址: https://www.nmth.gov.tw/News_Content.aspx?n=4233&s=134834 | 內容: 臺史博在5月初於臉書公告「COVID-19(武漢肺炎)防疫物件蒐集計畫」獲得民眾熱烈迴響,已蒐集近百件物件。防疫陸續解禁之時,臺史博再推出「COVID-19圖片蒐集網」,邀請政府與民間各界,從物件、圖...

@ 臺史博最新消息

【新聞稿】臺史博COVID-19記事 看見世界中的臺灣

上版日期: 2023/5/3 上午 08:30:00 | 圖文模式頁面網址: https://www.nmth.gov.tw/News_Content.aspx?n=4233&s=135500 | 內容:     隨著4月17日口罩解禁、5月1日嚴重特殊傳染性肺炎中央流行疫情指揮中心的解編,回想這3年的防疫生活,彷彿經歷了一段「異世界」生活。然而,這3年來防疫的日常與非日常,國立臺灣...

@ 臺史博最新消息

[ 搜尋所有 中央研究院資訊科學研究所 ... ]

在『國家科學及技術委員會資訊工程學門專題計畫補助清冊』資料集內搜尋:


與基於最弱初始條件與分離邏輯的程式推導與驗證整合環境同分類的國家科學及技術委員會資訊工程學門專題計畫補助清冊

基於邊緣人工智慧技術與邊緣物聯網閘道器之現場農業感測器校正機制

機關名稱: 國立陽明交通大學智慧與綠能產學研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

設計與實作巨量即時串流資料分析之物聯網平台及聯邦式深度學習系統

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1140228

CATtalk-IoT: CATtalk的物聯網機制

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

以合成複雜度探究三層電路下界問題

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

威脅行為演化技術與可解釋性之序列式威脅監測方法與技術

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

基於可程式化資料層之 5G 物聯網安全性架構研究

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

結合軟硬體解決方案以求解組合最佳化問題之易辛機系統

機關名稱: 國立陽明交通大學電機工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

量子程式驗證的關鍵技術

機關名稱: 中央研究院資訊科學研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

求解多元多項式系統

機關名稱: 中央研究院資訊科學研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

EfficientAI - 低功耗AI模型壓縮技術與硬體加速器開發

機關名稱: 國立成功大學電機工程學系(所) | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

具隱私保護之邊緣智慧運算與學習的空中物聯網佈建規劃

機關名稱: 國立臺灣科技大學資訊工程系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

區塊鏈技術在犯罪偵防中之整合應用

機關名稱: 中央警察大學資訊管理系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

適用於個人健康照護與精準醫學研究之新型態加密協定與基因區塊鏈的資料分享平台以確保社會更健康

機關名稱: 輔仁大學學校財團法人輔仁大學人工智慧與資訊安全學士學位學程 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130831

人工智慧物聯網應用於睡眠呼吸音辨識與居家照護

機關名稱: 淡江大學學校財團法人淡江大學電機工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

深度殘差網路優化與物聯網支援的智慧醫療保健系統

機關名稱: 淡江大學學校財團法人淡江大學人工智慧學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

基於邊緣人工智慧技術與邊緣物聯網閘道器之現場農業感測器校正機制

機關名稱: 國立陽明交通大學智慧與綠能產學研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

設計與實作巨量即時串流資料分析之物聯網平台及聯邦式深度學習系統

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1140228

CATtalk-IoT: CATtalk的物聯網機制

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

以合成複雜度探究三層電路下界問題

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

威脅行為演化技術與可解釋性之序列式威脅監測方法與技術

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

基於可程式化資料層之 5G 物聯網安全性架構研究

機關名稱: 國立陽明交通大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

結合軟硬體解決方案以求解組合最佳化問題之易辛機系統

機關名稱: 國立陽明交通大學電機工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

量子程式驗證的關鍵技術

機關名稱: 中央研究院資訊科學研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

求解多元多項式系統

機關名稱: 中央研究院資訊科學研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

EfficientAI - 低功耗AI模型壓縮技術與硬體加速器開發

機關名稱: 國立成功大學電機工程學系(所) | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

具隱私保護之邊緣智慧運算與學習的空中物聯網佈建規劃

機關名稱: 國立臺灣科技大學資訊工程系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

區塊鏈技術在犯罪偵防中之整合應用

機關名稱: 中央警察大學資訊管理系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

適用於個人健康照護與精準醫學研究之新型態加密協定與基因區塊鏈的資料分享平台以確保社會更健康

機關名稱: 輔仁大學學校財團法人輔仁大學人工智慧與資訊安全學士學位學程 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130831

人工智慧物聯網應用於睡眠呼吸音辨識與居家照護

機關名稱: 淡江大學學校財團法人淡江大學電機工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

深度殘差網路優化與物聯網支援的智慧醫療保健系統

機關名稱: 淡江大學學校財團法人淡江大學人工智慧學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

 |