Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
- Keyword
- Publication
- Publication Type
Articles 1 - 4 of 4
Full-Text Articles in Other Computer Sciences
Solving The Protein Structure Prediction Problem With Fast Messy Genetic Algorithms (Scaling The Fast Messy Genetic Algorithm To Medium-Sized Peptides By Detecting Secondary Structures), Steven R. Michaud
Theses and Dissertations
The ability to accurately predict a polypeptide's molecular structure given its amino acid sequence is important to numerous scientific, medical, and engineering applications. Studies have been conducted in the application of Genetic Algorithms (GAs) to this problem with promising initial results. In this thesis report, we use the fast messy Genetic Algorithm (fmGA) to attempt to find the minimization of an empirical CHARMM energy model and generation of the associated conformation. Previous work has shown that the fmGA provided favorable results, at least when applied to the pentapeptide Met-Enkephalin. We extend these results to a larger Polyalinine peptide by utilizing …
Modal Rules Are Co-Implications, Alexander Kurz
Modal Rules Are Co-Implications, Alexander Kurz
Engineering Faculty Articles and Research
In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.
The Partial Evaluation Approach To Information Personalization, Naren Ramakrishnan, Saverio Perugini
The Partial Evaluation Approach To Information Personalization, Naren Ramakrishnan, Saverio Perugini
Computer Science Faculty Publications
Information personalization refers to the automatic adjustment of information content, structure, and presentation tailored to an individual user. By reducing information overload and customizing information access, personalization systems have emerged as an important segment of the Internet economy. This paper presents a systematic modeling methodology— PIPE (‘Personalization is Partial Evaluation’) — for personalization. Personalization systems are designed and implemented in PIPE by modeling an information-seeking interaction in a programmatic representation. The representation supports the description of information-seeking activities as partial information and their subsequent realization by partial evaluation, a technique for specializing programs. We describe the modeling methodology at a …
Pembelajaran C++ Di Web (Pc++), Muda Mohd Norhadi
Pembelajaran C++ Di Web (Pc++), Muda Mohd Norhadi
Student Works (2000-2009)
Dewasa ini, perkembangan teknologi maklumat pesat membangun dan pantas berubah. Dalam bidang pendidikan wajar menggunaknn teknologi maklumat supaya bidang pendidikan tidak ketinggalan dalam perkembangan teknologi maklumat. Oleh itu, pembangunan web dan sistem yang melibatkan pendidikan adalah satu perkara penting bagi menggantikan sistem manual atau sebagai satu altenatif mempelajari sesuatu pelajaran. Pembelajaran C++ di web ini merupakan satu sistem yang membolehkan pengaturcara yang bahru dan pelajar mempelajari C++. Sistem ini dibangun dengan menggunakan Visual Script. Front Page, Avtive Server Pages (ASP) dan perisian yang berkaitan. Dalam bab I menceritakan tentang pengenalan kepada pembelajaran berkomputer (computer aided learning). Dalam bab II pula …