This paper is concerned with the implementation of Prediction Theories. Rather than developing an then attempting to implement a proof theory, it aims instead to implement their model theory by building computational counterparts of their relevant models. Prediction Theories are outlined and a working example is given. The basic model-building algorithm is then presented and its completeness an...

Massachusetts Institute of Technology 1.

Accurate and reliable protein structure prediction PSP eludes researchers primar ily because the search for the minimum energy conformer is computationally intractable This research discusses the application of several distinct genetic algorithms GAs as optimum seeking techniques for PSP problems The e ectiveness and e ciency of each algorithm is studied empirically The speci c algorithmic desi...

Finding defects in software is a challenging and time and budget consuming task. Minimizing these adverse effects using software defect prediction models via guiding testers with defective parts of software system is an attractive research area. Previous research emphasized the value of these tools with a mean probability of detection of 71 percent and mean false alarm rates of 25 percent. This...

Protein structure comparison is important for elucidation of evolutionary relationships, function and functionally important amino acid residues. We propose Geometric Invariant based Protein Structure Comparison (GIPSCo), an approach that compares a protein pair by using geometric invariants of local geometry of the backbone structures. The geometric invariants capture enough structural informa...

Mihai Pop May 28, 1996 Abstract We review several results related to the protein folding problem. We start by analyzing the nature of the interactions among protein atoms and their in uence on folding. We then examine several approaches to solve the folding problem, or restricted versions thereof. We conclude with a survey of results related to the computational complexity of the protein foldin...

The pest catastrophe prediction in ecology catastrophe is one of important part in expert system of intelligence agriculture for prevent and control pest catastrophe occurrence efficiently. The paper introduces the basic principles and methods of current catastrophe prediction in ecology. By modeling for the dynamic process of population, up-grown and amount of spawn, the paper finds out the tr...

There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumenta...

Computerized adaptive testing (CAT) is a mode of testing which has gained increasing popularity over the past years. It selects the next question to ask to the examinee in order to evaluate her level efficiently, by using her answers to the previous questions. Traditionally, CAT systems have been relying on item response theory (IRT) in order to provide an effective measure of latent abilities ...

This paper investigates a method for the real-time reconstruction of normal speech from whispers. This system could be used by aphonic individuals as a voice prosthesis. It could also provide improved verbal communication when normal speech is not appropriate. The normal speech is synthesized using the mixed excitation linear prediction model. Differences between whispered and phonated speech a...