Hasil Pencarian  ::  Simpan CSV :: Kembali

"Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems. "

"Infertilitas merupakan penyakit yang kompleks dan dapatdisebabkan oleh faktor laki-laki dan perempuan. Etiologi darikedua faktor infertilitas tersebut perlu ditelusuri lebih lanjut.Terdapat beberapa pendekatan untuk memahami infertilitas,salah satunya adalah epigenetik. Modifikasi epigenetik terdiridari metilasi DNA, modifikasi histon, dan pembentukankromatin. Sel germinal laki-laki dan perempuan mengalamimodifikasi epigenetik secara dinamis dan membentuk sel spermadan oosit yang matang. Pada laki-laki, perubahan metilasi DNApada spermatogenesis dapat menyebabkan kelainan berupaoligo/astenozoospermia. Selain itu, metilasi dan asetilasi histonserta modifikasi histon lainnya dapat menyebabkan spermatidak mampu untuk membuahi oosit. Serupa dengan laki-laki,pada perempuan pun dapat terjadi perubahan metilasi DNAdan modifikasi histon yang dapat mempengaruhi oogenesis,menciptakan anueploidi pada oosit yang terbuahi, danmengakibatkan kematian janin di uterus. Perubahan pada polamodifikasi epigenetik dapat mengakibatkan infertilitas, baikpada laki-laki maupun perempuan."