28 citations
- Academia SinicaTW3 papers
- National Taiwan UniversityTW2 papers
- Brno University of TechnologyCZ1 paper
- Institute of Biological Chemistry, Academia SinicaTW1 paper
- Institute of Biomedical Sciences, Academia SinicaTW1 paper
- Institute of Information Science, Academia SinicaTW1 paper
- Institute of PhysicsPL1 paper
- Institute of Physics, Academia SinicaTW1 paper
- National Center for Theoretical SciencesTW1 paper
- National Center for Theoretical Sciences, Physics Division1 paper
- National Central UniversityTW1 paper
- National Taiwan Normal UniversityTW1 paper
3 papers
cs.SE2015★ 1 cited
PAC Learning-Based Verification and Model Synthesis
Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál +4
We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a pro…
q-bio.BM2006★ 28 cited
Folding of the Protein Domain hbSBD
Maksim Kouza, Chi-Fon Chang, Shura Hayryan +4
The folding of the alpha-helice domain hbSBD of the mammalian mitochondrial branched-chain alpha-ketoacid dehydrogenase (BCKD) complex is studied by the circular dichroism techniqu…
q-bio.GN2004★ 20 cited
Divergence and Shannon information in genomes
Hong-Da Chen, Chang-Heng Chang, Li-Ching Hsieh +1
Shannon information (SI) and its special case, divergence, are defined for a DNA sequence in terms of probabilities of chemical words in the sequence and are computed for a set of…