A simulation study on parallel backtracking with solution memoing for independent and-parallelism

Goal-level Independent and-parallelism (IAP) is exploited by scheduling for simultaneous execution two or more goals which will not interfere with each other at run time. This can be done safely even if such goals can produce multiple answers. The most successful IAP implementations to date have used recomputation of answers and sequentially ordered backtracking. While in principle simplifying the implementation, recomputation can be very inefficient if the granularity of the parallel goals is large enough and they produce several answers, while sequentially ordered backtracking limits parallelism. And, despite the expected simplification, the implementation of the classic schemes has proved to involve complex engineering, with the consequent difficulty for system maintenance and expansion, and still frequently run into the well-known trapped goal and garbage slot problems. This work presents ideas about an alternative parallel backtracking model for IAP and a simulation studio. The model features parallel out-of-order backtracking and relies on answer memoization to reuse and combine answers. Whenever a parallel goal backtracks, its siblings also perform backtracking, but after storing the bindings generated by previous answers. The bindings are then reinstalled when combining answers. In order not to unnecessarily penalize forward execution, non-speculative and-parallel goals which have not been executed yet take precedence over sibling goals which could be backtracked over. Using a simulator, we show that this approach can bring significant performance advantages over classical approaches.

Automatic unrestricted independent and-parallelism in logic programs

We present new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent andparallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator, which makes it possible to generate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The main differences between the algorithms stem from whether the order of the solutions obtained is preserved or not, and on the use of determinacy information. We briefly describe the environment where the algorithms have been implemented and the runtime platform in which the parallelized programs are executed. We also report on an evaluation of an implementation of our approach. We compare the performance obtained to that of previous annotation algorithms and show that relevant improvements can be obtained.

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Wisconsin Library network plan report : recommendations for network development at the area level /

WI docs. no: Ed.3/2:2250

Criminal justice : an upper-level social studies elective /

WI docs. no.: Ed.3/2:0081

Carlisle joint station, and approaches from north, south, east, & west, including Saint Nicholas level crossing and Crown street junction : instructions to signalmen, drivers, guards, breaksmen, & others.

Mode of access: Internet.

Elements of molecular neurobiology:instruction manual to 2r.e

Extensively updated, revised and illustrated this unique introductory text presents a molecular account of the structure, function and development of the brain and nervous systems. This book describes the latest research in neurobiology made possible by modern molecular biology techniques. The author synthesizes this new knowledge and demonstrates how an understanding at the molecular level can contribute towards a theory of the brain in health and disease.

The effective use of implicit parallelism through the use of an object-oriented programming language

This thesis explores translating well-written sequential programs in a subset of the Eiffel programming language - without syntactic or semantic extensions - into parallelised programs for execution on a distributed architecture. The main focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. Model of Concurrency. The concurrency model is designed to be a straightforward target for mapping sequential programs onto, thus making them parallel. It aids the compilation process by providing a high level of abstraction, including a useful model of parallel behaviour which enables easy incorporation of message interchange, locking, and synchronization of objects. Further, the model is sufficient such that a compiler can and has been practically built. Model of Compilation. The compilation-model's structure is based upon an object-oriented view of grammar descriptions and capitalises on both a recursive-descent style of processing and abstract syntax trees to perform the parsing. A composite-object view with an attribute grammar style of processing is used to extract sufficient semantic information for the parallelisation (i.e. code-generation) phase. Programming Principles. The set of principles presented are based upon information hiding, sharing and containment of objects and the dividing up of methods on the basis of a command/query division. When followed, the level of potential parallelism within the presented concurrency model is maximised. Further, these principles naturally arise from good programming practice. Summary. In summary this thesis shows that it is possible to compile well-written programs, written in a subset of Eiffel, into parallel programs without any syntactic additions or semantic alterations to Eiffel: i.e. no parallel primitives are added, and the parallel program is modelled to execute with equivalent semantics to the sequential version. If the programming principles are followed, a parallelised program achieves the maximum level of potential parallelisation within the concurrency model.

Matematikaoktatás a bolognai típusú gazdasági képzésekben (Maths instruction in Bologna-type economics tuition)

A gazdálkodási és közgazdasági alap- és mesterszakok tanterveiben számos matematikai tárgy szerepel. A kétciklusú bolognai képzésre történő áttérés Európa-szerte igényelte a matematikaoktatás szerkezetének, mennyiségének és mélységének újragondolását a gazdálkodási és közgazdasági képzési területeken. Mivel az átállás országonként és intézményenként párhuzamosan és jelentős mértékben egymástól függetlenül ment végbe, egyetemenként számos eltérő megoldással találkozhatunk. Az egyetemek operatív tanterveit és tantárgyi adatlapjait felhasználva, utólagosan már összehasonlítható az egyes egyetemek matematikaoktatása. A tanulmány a matematika közgazdaságtanban betöltött szerepének áttekintése után a vezető európai egyetemek és négy magyar egyetem gazdálkodási és közgazdasági képzésén folyó matematikaoktatásának összehasonlító elemzése alapján arra az alapvető következtetésre jut, hogy Magyarországon a vizsgált képzési területen a matematikaoktatás mennyiségileg és minőségileg kritikus szintre süllyedt. / === / The basic and master's curricula for business and economics include plenty of mathematics subjects. Business and economics courses had to be rethought when the change was made across Europe to the two-cycle Bologna system. This change took place simultaneously but independently in each country and institution, so that notably different solutions can be found in each university. A retrospective comparison of maths instruction in various universities can be made by examining their operative syllabuses and subject data-sheets. The study reviews the part mathematics plays in economics, then uses comparative analysis of the maths teaching in business and economics courses at leading European and four Hungarian universities to reach a general conclusion: maths teaching in Hungary, in the field examined, has sunk to a critical level, in terms of quality and quantity.

The effect of the use of computer assisted instruction (CAI) on attitudes and computational scores of developmental mathematics students at two inner city schools with predominantly Black enrollment

This study examined the effects of computer assisted instruction (CAI) 1 hour per week for 18 weeks on changes in computational scores and attitudes of developmental mathematics students at schools with predominantly Black enrollment. Comparisons were made between students using CAI with differing software--PLATO, CSR or both together--and students using traditional instruction (TI) only.^ This study was conducted in the Dade County Public School System from February through June 1991, at two senior high schools. The dependent variables, the State Student Assessment Test (SSAT), and the School Subjects Attitude Scales (SSAS), measured students' computational scores and attitudes toward mathematics in 3 categories: interest, usefulness, and difficulty, respectively.^ Univariate analyses of variance were performed on the least squares mean differences from pretest to posttest for testing main effects and interactions. A t-test measured significant main effects and interactions. Results were interpreted at the.01 level of significance.^ Null hypotheses 1, 2, and 3 compared versions of CAI with the control group, for changes in mathematical computation scores measured with the SSAT. It could not be concluded that changes in standardized mathematics test scores of students using CAI with differing software 1 hour per week for 18 class hours combined with TI were significantly higher than changes in test scores for students receiving TI only.^ Null hypotheses 4, 5, and 6 tested the effects of CAI for attitudes toward mathematics for experimental groups against control groups measured with the SSAS. Changes in attitudes toward mathematics of students using CAI with differing software 1 hour per week for 18 class hours combined with TI were not significantly higher than attitude changes for students receiving TI only.^ Teacher effect on students' computational scores was a more influential variable than CAI. No interaction was found between gender and learning method on standardized mathematics test scores (null hypothesis 7). ^

An evaluation of English language instruction in universities/colleges in Taiwan

The purpose of this study is about to survey the effectiveness of English teaching in universities/colleges in Taiwan and provide suggestions to the educational authorities for upgrading or improving the English language teaching techniques or methods currently in use. On the one hand, the suggestions of English teachers in universities/colleges are the main concerns in this study. On the other hand, equal attention is given to the opinions and learning attitudes of the students, including the interaction between the teachers and the students.^ A social investigation methodology, consisting of questionnaire and data analysis, is devoted to this evaluation and analysis of teaching effectiveness. Among the significant findings reported in this study is the fact that both students and teachers consider evaluation of teaching effectiveness as a very important aspect of English Language programs at the university/college level. Another significant finding is that students are less concerned about the grades earned or awarded in English Language courses and more concerned about how much they learned in these classes.^ The analysis and suggestions based on the results for English teaching evaluation of universities/colleges in this dissertation can help teachers modify their teaching techniques and methods, the students to adjust their learning attitudes, and the authorities to schematize the English teaching plan that can facilitate the teaching goals to be realized. ^

The usefulness and appropriateness of a federalist perspective as a theoretical construct for the study of government and civics at the secondary level

This dissertation is the formulation of an argument for the incorporation of a liberated federalism perspective as the foundational theoretical construct for the teaching and study of American government and civics at the secondary level. The argument asserts that the history of the nation, in terms of its basic view of government, has developed from a traditional federalist view to a natural rights view. Instruction of government and politics has paralleled that development. The argument further asserts that the current dependence on the natural rights perspective has contributed and helped legitimize, however unintentionally, the excessive levels of individualism, self-absorption, and uncivil behavior that is being experienced in our society today.^ The argumentation follows the dialectic form presented by Hegel of thesis, antithesis, and synthesis. That is, the thesis argues that the traditional federalist perspective would serve as a viable construct for the teaching of government and civics. In this portion of the argument, the republican model of political reality is presented. The antithesis promotes the natural rights perspective and relies on the political systems model for its theoretical approach. Finally, the synthesis argues that a liberated federalism perspective should be the foundational construct. Here, the argument presents its own model as a theoretical construct that is designed to assist teachers and curriculum materials writers in the development of American government and civics lessons and materials. ^

The relationship between the teacher's experience, the teacher's college major, and the teacher's level of education in predicting classroom attitudes in high school science students

A review of the literature reveals few research has attempted to demonstrate if a relationship exists between the type of teacher training a science teacher has received and the perceived attitudes of his/her students. Some of the teacher preparation factors examined in this study include the college major chosen by the science teacher, the highest degree earned, the number of years of teaching experience, the type of science course taught, and the grade level taught by the teacher. This study examined how the various factors mentioned, could influence the behaviors which are characteristic of the teacher, and how these behaviors could be reflective in the classroom environment experienced by the students.^ The instrument used in the study was the Classroom Environment Scale (CES), Real Form. The measured classroom environment was broken down into three separate dimensions, with three components within each dimension in the CES. Multiple Regression statistical analyses examined how components of the teachers' education influenced the perceived dimensions of the classroom environment from the students.^ The study occurred in Miami-Dade County Florida, with a predominantly urban high school student population. There were 40 secondary science teachers involved, each with an average of 30 students. The total number of students sampled in the study was 1200. The teachers who participated in the study taught the entire range of secondary science courses offered at this large school district. All teachers were selected by the researcher so that a balance would occur in the sample between teachers who were education major versus science major. Additionally, the researcher selected teachers so that a balance occurred in regards to the different levels of college degrees earned among those involved in the study.^ Several research questions sought to determine if there was significant difference between the type of the educational background obtained by secondary science teachers and the students' perception of the classroom environment. Other research questions sought to determine if there were significant differences in the students' perceptions of the classroom environment for secondary science teachers who taught biological content, or non-biological content sciences. An additional research question sought to evaluate if the grade level taught would affect the students' perception of the classroom environment. (Abstract shortened by UMI.) ^

The effect of multimedia instruction on achievement of college history students

The purpose of this study was to investigate the effect of multimedia instruction on achievement of college students in AMR 2010 from exploration and discovery to 1865. A non-equivalent control group design was used. The dependent variable was achievement. The independent variables were learning styles, method of instruction, and visual clarifiers (notes). The study was conducted using two history sections from Palm Beach Community College, in Boca Raton, Florida, between August and December, 1998. Data were obtained by means of placement scores, posttests, the Productivity Environmental Preference Survey (PEPS), and a researcher-developed student survey. Statistical analysis of the data was done using SPSS statistical software. Demographic variables were compared using Chi square. T tests were run on the posttests to determine the equality of variances. The posttest scores of the groups were compared using the analysis of covariance (ANCOVA) at the .05 level of significance. The first hypothesis there is a significant difference in students' learning of U.S. History when students receive multimedia instruction was supported, F (1, 52) = 16.88, p < .0005, and F = (1, 53) = 8.52, p < .005 for Tests 2 and 3, respectively. The second hypothesis there is a significant difference on the effectiveness of multimedia instruction based on students' various learning preferences was not supported. The last hypotheses there is a significant difference on students' learning of U.S. History when students whose first language is other than English and students who need remediation receive visual clarifiers were not supported. Analysis of covariance (ANCOVA) indicated no difference between the groups on Test 1, Test 2, or Test 3: F (1, 45) = .01, p < .940, F (1, 52) = .77, p < .385, and F (1, 53) =.17, p < .678, respectively, for language. Analysis of covariance (ANCOVA) indicated no significant difference on Test 1, Test 2, or Test 3, between the groups on the variable remediation: F (1, 45) = .31, p < .580, F (1, 52) = 1.44, p < .236, and F (1, 53) = .21, p < .645, respectively. ^

The effects of using an alternative method for teaching badminton to post secondary level students in Taiwan

The effect of teaching method in physical education is an important issue and has been a concern of the expert teacher. Teachers are expected to create a model of teaching in their field; therefore, it is reasonable to question what is the effect of an alternative teaching method on student performance in physical education. This study explores whether teaching methods with advanced planning, behavior and belief in high enthusiasm, use of instructional strategies and evaluation, together termed a systematic teaching approach, used in a physical education activity would provide an effective environment for learning which supports student achievement in the psychomotor, cognitive, and affective domains. This study also investigated whether there was a difference in performance between students who were taught with a systematic teaching approach and students who were taught with the traditional teaching model. Information was collected using two performance skills, a written test, and one questionnaire. The 68 participants were randomly assigned into either an experimental group or a control group. Two teachers were assigned to either the experimental group or the control group. The teaching experiment took place at Tamsui Oxford University College in Taiwan and lasted eight weeks. ^ Research questions were analyzed using the t-test. Results indicated that a significant difference in students' performance was found between the experimental group and the control group on both the skill tests and the paper test. Analysis of student attitude toward their teacher and their course on the questionnaire indicated a significant difference between the experimental group and the control group. ^ The findings of this study imply that students who were taught with a systematic teaching style were significantly superior to students who were taught with the traditional model on these measures. This finding supports the contention that effective teaching in physical education is related to advanced planning, high enthusiasm, instructional strategy and evaluation and that all physical education teachers should implement these planning elements in the development of the teaching strategies. ^