數理科學組 | Scholars Hub of the Academia Sinica

數理科學組 : [0/27216] Browse Statistics

Output in this department

化學研究所 [0/1398]

原子與分子科學研究所 [0/3794]

地球科學研究所 [0/3255]

天文及天文物理研究所 [0/2109]

應用科學研究中心 [0/2268]

數學研究所 [0/1448]

物理研究所 [0/4814]

環境變遷研究中心 [0/1682]

統計科學研究所 [0/1376]

資訊科學研究所 [0/4650]

資訊科技創新研究中心 [0/422]

Recent Submissions

^1.0 ^2.0 ^atom

Real-Time Hydrodynamic-based Obstacle Avoidance for Nonholonomic Mobile Robots with Curvature Constraints

Equational reasoning for non-determinism monad: the case of Spark aggregation

A Prehistoric Calculator

MinProtMaxVP: Generating a minimized number of protein variant sequences containing all possible variant peptides by solving a set covering problem

Calculating a backtracking algorithm: an exercise in monadic program derivation