研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援
- 國家科學及技術委員會資訊工程學門專題計畫補助清冊 @ 國家科學及技術委員會

計畫中文名稱研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援的機關名稱是國立中央大學資訊工程學系, 學門是E40-資訊工程(資訊), 年度是112, 執行期限(起)是1120801, 執行期限(迄)是1130731.

年度112
學門E40-資訊工程(資訊)
計畫中文名稱研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援
計畫英文名稱Developing programming support for the immutability check on user-defined typed objects in dynamically typed languages
機關名稱國立中央大學資訊工程學系
執行期限(起)1120801
執行期限(迄)1130731

年度

112

學門

E40-資訊工程(資訊)

計畫中文名稱

研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援

計畫英文名稱

Developing programming support for the immutability check on user-defined typed objects in dynamically typed languages

機關名稱

國立中央大學資訊工程學系

執行期限(起)

1120801

執行期限(迄)

1130731

根據名稱 國立中央大學資訊工程學系 找到的相關資料

(以下顯示 8 筆) (或要:直接搜尋所有 國立中央大學資訊工程學系 ...)

於混合式記憶儲存平台上高效能資料索引系統設計以支援機器學習應用

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

軟體工程知識管理工具 - GeekyNotes

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

虛擬機器容錯系統之時間漂移校正與縮減之機制

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

資訊系統與電子簽核流程之總管理資訊系統

作者: 林琦潔 | 指導教授: 楊鎮華 | 學位類別: 碩士 | 畢業學年度: 105 | 論文名稱(外文): none | 系所名稱: 資訊工程學系在職專班 | 學校名稱: 國立中央大學

@ 國家圖書館臺灣博碩士論文知識加值系統

無檔案惡意程式與勒索軟體的解決方法

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

次世代行動通訊技術之分散式認證、路由暨計費機制

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

於斯格明子為基礎之計算架構上啟用機器學習演算法:概念,挑戰,與 設計

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

使用FPGA的YOLO物件偵測推論硬體加速器設計

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

於混合式記憶儲存平台上高效能資料索引系統設計以支援機器學習應用

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

軟體工程知識管理工具 - GeekyNotes

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

虛擬機器容錯系統之時間漂移校正與縮減之機制

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

資訊系統與電子簽核流程之總管理資訊系統

作者: 林琦潔 | 指導教授: 楊鎮華 | 學位類別: 碩士 | 畢業學年度: 105 | 論文名稱(外文): none | 系所名稱: 資訊工程學系在職專班 | 學校名稱: 國立中央大學

@ 國家圖書館臺灣博碩士論文知識加值系統

無檔案惡意程式與勒索軟體的解決方法

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

次世代行動通訊技術之分散式認證、路由暨計費機制

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

於斯格明子為基礎之計算架構上啟用機器學習演算法:概念,挑戰,與 設計

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

使用FPGA的YOLO物件偵測推論硬體加速器設計

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

@ 國家科學及技術委員會資訊工程學門專題計畫補助清冊

[ 搜尋所有 國立中央大學資訊工程學系 ... ]

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


與研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援同分類的國家科學及技術委員會資訊工程學門專題計畫補助清冊

先進LEO通訊網路之資訊安全技術與應用

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

先進LEO通訊網路之韌性技術與應用

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

於車聯網架構中靜態節點之安全平台設計與強固車輛身分辨識機制設計之研究

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

車聯網異質服務之風險導向存取控制與隱私保護

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

於車聯網架構中具匿名及延展特性下多憑證發放及驗證機制之研究

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

基於Saga、快取和開源軟體的微服務編排程式庫與排程演算法之研究

機關名稱: 國立高雄師範大學軟體工程系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

混合多頻段彈性光網路上多週期漸進式規劃問題

機關名稱: 國立彰化師範大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

一個車聯網之軟體定義路由平台:以整合深度/元強化學習與隨機森林的策略來處理車輛歷史軌跡與即時資訊

機關名稱: 國立彰化師範大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

植基於數個及異質公開金鑰系統之完全連續洩漏存活簽密機制的研究

機關名稱: 國立彰化師範大學數學系暨研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

人工智慧與機器學習於B5G/Pre6G通訊系統之運用與整合

機關名稱: 國立彰化師範大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

Kubernetes微服務應用程式之非侵入式架構分析、服務運行模擬以及品質監控機制研究

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

水下無線感測網路快速資料收集協定設計

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

具空間與時間序列特徵能力之水下數位信號解調深度學習技術

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

圓形圖上「完全支配點問題」與「成對支配點問題」的近似演算法設計

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

水下無線感測網路之數據收集機制與邊緣計算

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

先進LEO通訊網路之資訊安全技術與應用

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

先進LEO通訊網路之韌性技術與應用

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

於車聯網架構中靜態節點之安全平台設計與強固車輛身分辨識機制設計之研究

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

車聯網異質服務之風險導向存取控制與隱私保護

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

於車聯網架構中具匿名及延展特性下多憑證發放及驗證機制之研究

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

基於Saga、快取和開源軟體的微服務編排程式庫與排程演算法之研究

機關名稱: 國立高雄師範大學軟體工程系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

混合多頻段彈性光網路上多週期漸進式規劃問題

機關名稱: 國立彰化師範大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

一個車聯網之軟體定義路由平台:以整合深度/元強化學習與隨機森林的策略來處理車輛歷史軌跡與即時資訊

機關名稱: 國立彰化師範大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1131031

植基於數個及異質公開金鑰系統之完全連續洩漏存活簽密機制的研究

機關名稱: 國立彰化師範大學數學系暨研究所 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

人工智慧與機器學習於B5G/Pre6G通訊系統之運用與整合

機關名稱: 國立彰化師範大學資訊工程學系 | 學門: E40-資訊工程(資訊) | 年度: 112 | 執行期限(起): 1120801 | 執行期限(迄): 1130731

Kubernetes微服務應用程式之非侵入式架構分析、服務運行模擬以及品質監控機制研究

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

水下無線感測網路快速資料收集協定設計

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

具空間與時間序列特徵能力之水下數位信號解調深度學習技術

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

圓形圖上「完全支配點問題」與「成對支配點問題」的近似演算法設計

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

水下無線感測網路之數據收集機制與邊緣計算

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

 |