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.

Science and technology : 47 video, film, and sound/slide programs for earth sciences, computer sciences, civil engineering, and general science classes.

Shipping list no.: 88-100-P.

Impact of the computer on job analysis in the United States Air Force /

Photocopy.

People with disabilities in our nation's Job Training Partnership Act Programs : program year 1986 /

"Covering ... (July 1, 1986 to June 30, 1987)."

Strong internal controls at service delivery level will help prevent CETA-type fraud and abuse in Job Training Partnership Act programs : report to Senator Sam Nunn, ranking minority member, Permanent Subcommittee on Investigations, Senate Committee on Governmental Affairs /

"B-215774"--Preliminary p.

A methodology for determining the effect of reducing support payments on the participant characteristics and performance of job-training programs /

"March 1983."

Job Training Partnership Act : summer youth programs increase emphasis on education : briefing report to the chairman, Subcommittee on Employment and Productivity, Committee on Labor and Human Resources, United States Senate /

"B-224035"--Prelim. p.

Activity codes, organizational codes and definitions used in extramural programs : A computer-based information system on the extramural programs of NIH.

NIH manual issuance 4101.

Experimental Estimation of Ergonomic Parameters of the Computer Training Programs on Electrotechnical Disciplines

The present research offers the technique of the experimental estimation of the ergonomic parameters of the computer training programs, created on the basis of the method of theoretical images are submitted.

A felsőoktatási képzések munkaerő-piaci szempontból (Higher education programs from point of view of labor market)

A munkaerő-piaci követelményeknek megfelelően kialakított képzések versenyképesebbek a társaiknál. A napjainkban is zajló magyar felsőoktatási reform központi elemét alkotja a képzések ennek megfelelően történő átalakítása. Mindez létjogosultságot ad egy olyan rendszernek, amely a Budapesti Corvinus Egyetem gazdaságinformatikus BSc-képzésének kompetenciaelemeit kívánja vizsgálni az állásajánlatokban megnyilvánuló munkaerő-piaci igények tükrében. Az ontológiaalapú módszertan egy egységes fogalmi kört biztosít a munkaerőpiac eltérő szemléletű oldalán kifejlesztett modellek egységesítésére és összehasonlítására. ____ Tendencies can be observed on international and domestic levels that call for restructuring of higher education according to the needs of labor market. This paper presents an information system that can investigate the compliance of education programs and current labor market needs. Competences serve as a basis for this compliance checking, which is built on ontologybased approach. Having examined the distribution of roles (developer, operator etc.) appeared in IT job offers in time and space, a prototype of this system will be showed, related to Business Informatics degree program at Corvinus University of Budapest.

Munkahelyi tanulást befolyásoló tényezők – humán-számítógép együttműködés vizsgálata (Influencing factors of on-the-job learning – Analysis of human-computer collaboration)

A komplex, dinamikus, tudásalapú társadalomban nemcsak a tanulás formái, hanem a tanulás helyszínei is módosulnak, s a munkahely tanulásban betöltött szerepe felértékelődött. A munkahelyi környezet is számos átalakuláson esett át, az információs és kommunikációs technológiák (IKT) fejlődésével egyidejűleg lehetővé vált többek között a távmunka, jelentősen átformálva a munkavégzés és a munkahelyi interakciók módját. A kutatók arra keresték a választ kutatásukban, hogy a szervezeten belül milyen tényezők támogatják vagy gátolják a munkahelyi tanulást. A kutatás fő üzenete, hogy a tanulás keretrendszere, az egyéni képességek és az észlelt tanulási szituáció együttesen határozza meg a munkahelyi tanulást. A kutatók eredményüket kvalitatív kutatással feltárt három esettanulmányon keresztül ismertetik. ____ In a knowledge-based society not only the forms of learning have been changed but also the places of learning. The role of workplace in the learning process is becoming more important. Meantime, there has been a substantial change in the working conditions as the development in information and communication technologies (ICTs) makes it possible to telecommute transforming remarkably the way of working and the interactions at the workplace. The central question of the research is which intra-organizational factors support or hinder onthe- job learning. The main message of the research is that the learning framework, the individual cognitive competences and the perceived learning situation influence collectively on-the-job learning. Authors present the results of the qualitative research though three case studies.

Self-esteem and job satisfaction of adults with mild mental retardation in sheltered workshops and supported employment programs

A sample of 200 adults with mild mental retardation were assessed on overall job satisfaction and self-esteem using the Vocational Program Evaluation Profile and the Coopersmith Self-esteem Inventory. The subjects worked either in a sheltered workshop or in a supported employment setting. Results indicated that there was a significant relationship between self-esteem and job satisfaction for both groups of subjects. In addition, subjects who worked in supported employment reported significantly higher levels of job satisfaction also. There was also an interaction between place of residence and place of employment when looking at self-esteem; those who live in a semi-independent home and work in supported employment reported the highest levels of self-esteem. These results are discussed in terms of the social validity of supported-employment for persons with mild mental retardation. ^