Home | The Academia Sinica Institutional Repository

[系統維護公告]

本系統於2021年7月29日(週四)，進行系統維護升級作業，後續若有部分功能異常，尚祈見諒!
如有任何問題，請寫信至 asir@gate.sinica.edu.tw 通知我們，造成不便，在此深表歉意。

Recent Submissions

^1.0 ^2.0 ^atom

Equational reasoning for non-determinism monad: the case of Spark aggregation Shin-Cheng Mu
Type technical report 2019

Real-Time Hydrodynamic-based Obstacle Avoidance for Nonholonomic Mobile Robots with Curvature Constraints Pei-Li Kuo; Chung-Hsun Wang; Han-Jung Chou; Jing-Sin Liu
Type technical report 2018

A Prehistoric Calculator Kelly McKennon
Type technical report 2019

Calculating a backtracking algorithm: an exercise in monadic program derivation Shin-Cheng Mu
Type technical report 2019

MinProtMaxVP: Generating a minimized number of protein variant sequences containing all possible variant peptides by solving a set covering problem Wai-Kok Choong; Jen-Hung Wang; Ting-Yi Sung
Type technical report 2019

Most Viewed

Viewed times

Data is loading. Please come back in few minutes

Most Downloaded

Downloaded times

Data is loading. Please come back in few minutes

DSpace CRIS

Browse By

Organizations

Researchers

Research Outputs

People

Repository other entities

Publications, books, articles...

Statistics

Recent Submissions

Most Viewed

Most Downloaded