Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Projects
Explore by
Organizations
Researchers
Research Outputs
Projects
Academic & Publications
Help
Sign in
中文
English
The Academia Sinica Institutional Repository
數理科學組
數理科學組 : [0/27229]
Browse Statistics
Subscribe to this output to receive daily e-mail notification of new additions
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]
Browse
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
Discover
By People
4842
物理研究所
4679
資訊科學研究所
3816
原子與分子科學研究所
3271
地球科學研究所
2714
資訊科技創新研究中心
2310
應用科學研究中心
2135
天文及天文物理研究所
1690
環境變遷研究中心
1449
數學研究所
1409
化學研究所
.
next >
By Type
19954
期刊論文/journal paper
5728
學術會議(研討會)論文/conference paper
550
技術報告/technical report
426
期刊/journal issue
258
專書(論文集)之一章/chapter in book
238
其他類論文/others
37
專書、論文集/book
35
主編之專書(論文集)/book edited
3
article