數理科學組 | The Academia Sinica Institutional Repository

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

Output in this department

化學研究所 [0/1400]

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

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

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

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

數學研究所 [0/1448]

物理研究所 [0/4817]

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

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

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

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

Recent Submissions

^1.0 ^2.0 ^atom

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

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

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

A Prehistoric Calculator