ppxscal/embedding_network huggingface dataset:
Simulation of an epidemic: Development of control strategies of schistosomiasis
Authors: Keh-Lon Lee
Venue: Proceedings of the 6th conference on Winter simulation (1973)

Schistosomiasis is a vector-borne parasitic epidemic currently affecting about 250 million people and constitutes a serious public health problem in many countries. In Egypt alone, the estimated annual loss due to this disease is about &dollar;560 million dollars. The life-cycle of schistosomes involves two incubation periods, one in human beings, another in snails. We found that in this case, it is most appropriate to use a newly developed modeling technique - the Delay-Line Model approach for the population dynamics. Our model can easily and naturally handle the time delays inherent in this system. It is easy to simulate and easy to modify on SNAP - a conversational drawing program that enables a user to create topological network using a light pen and CRT. Data for simulation are taken from field work study results in Khuzestan, Iran. Certain control measures are available. Such measures include chemotherapy, pesticides for vector control, environmental engineering measures, and sanitary engineering measures. However, as pointed out by expert researchers in this disease, application of a single method cannot lead to eradication, and the greatest need now appears to be the considered implementation of different combinations of control measures based upon well founded data, and their proper evaluation. Based on our model and using theoretical stability considerations as well as some heuristics derived from simulations, a set of combinations of control measures is presented.
Optical scanning at the University of Missouri - ST. Louis
Authors: Elmer C. Smith
Venue: Proceedings of the 5th annual ACM SIGUCCS conference on User services (1977)

Optical Scanning began on the University of Missouri - St. Louis (UMSL) campus in 1971 with the installation of an OpScan 100 optical reader at the Campus Computer Center. Having started as an exam scoring service in an operational capacity, optical scanning has since developed into a self sufficient section within the Computer Center with a programming and operations staff of its own. This paper is a description of the existing Optical Scanning system and the services it provides to the campus and the community, as well as a report on the current general trends in the optical scanning industry.
The Fifth Generation grail: A survey of related research
Authors: Lubomir Bic
Venue: Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge (1984)

Five areas of computer science - logic programming, database technology, knowledge representation using semantic nets, natural language processing, and dataflow architectures - are related to the goals of the Fifth Generation Computer Project. In this paper we present a number of recent research projects found in the intersection of two or more of the above areas. It is argued that, while much of the research began before the initiation of the Japanese national project, the explicit call for a new generation of computer systems will have a beneficial impact on current research throughout the world and will bring together traditionally very distinct areas of computer science.
A logic to reason about likelihood
Authors: Joseph Y. Halpern, Michael O. Rabin
Venue: Proceedings of the fifteenth annual ACM symposium on Theory of computing (1983)

We present a logic LL which uses a modal operator L to help capture the notion of likely. Despite the fact that no use is made of numbers, LL can capture many of the properties of likelihood in an intuitively appealing way. Using standard techniques of modal logic, we give a complete axiomatization for LL and show that satisfiability of LL formulas can be decided in exponential time. We discuss how the logic might be used in areas where decision making is crucial, such as management and medical diagnosis, and conclude by using LL to give a formal proof of correctness of a protocol for exchanging secrets.
Human factors analysis of a Delphi forecast of computer display technology
Authors: Linda Tetzlaff
Venue: Proceedings of the eighteenth annual computer personnel research conference (1981)

A demographic analysis was made of a Delphi forecast of advanced computer display technology to determine factors influencing the projections of feasibility and desirability. The study was performed on a data processing human factors class of 54 students. It was hypothesized that years of technical experience would correlate with a positive outlook on technical advances, and that respondents would favor developments related to their preferred mode of communication (visual or aural). While neither hypothesis was supported by the data, other more subtle effects were observed. Among these are: 1. A conservative view of technological advance increases with years of experience, although not with chronological age. 2. In some cases, the effects of experience are cumulative, while in others they cause a quantum change in perception. 3. The media, or the extent to which one avails oneself of them, influence one's view of technical developments in a consistent direction. 4. The use of home computers and networking correlate strongly with one's self-rated sense of expertise. 5. Self-rated experts appear to be more optimistic than non-experts about both feasibility and desirability of proposed functions. 6. While there was expected Delphi convergence on feasibility, it was not evident on desirability. 7. There was more concurrence among the experts on desirability than on feasibility.
Reliability considerations in centralized computer networks
Authors: E. Hänsler, G. K. McAuliffe, R. S. Wilkov
Venue: Proceedings of the ACM second symposium on Problems in the optimizations of data communications systems (1971)

This paper deals with a heuristic procedure for optimizing the reliability of computer networks consisting of clusters of terminals connected to remote concentrators which are connected to a data processing center. The expected percentage of terminals connected to the processing center is used as a measure of network reliability. It is shown that configurations other than the frequently used star are often considerably more reliable and less expensive.
Concept notion for automatic and dynamic thesaurus updating.
Authors: M. F. Bruandet
Venue: Proceedings of the 1st annual international conference on Systems documentation (1982)

We study a methodology for automatic thesaurus construction in order to help the search of documents relevant to a query. This paper aims at presenting how the word-meaning can be analysed automatically, statistically and empirically from discourse data and formally represented as fuzzy subsets of vocabulary, fuzzy relations and classes for thesaurus.
APL approaches to time-phased financial modelling logic
Authors: Ralph L. Fox,  Jr.
Venue: ACM SIGAPL APL Quote Quad (1984)

This paper presents several techniques for deriving scan-based APL algorithms for commonly occurring financial modelling relationships where the projected values of a time series depend on some combination of previous values and other computations. Benchmark results are included that show the degree of improvement over traditional looping algorithms.
A sequence of structured subsets of PL/I
Authors: Richard C. Holt, David B. Wortman
Venue: Proceedings of the fourth SIGCSE technical symposium on Computer science education (1974)

This paper gives a brief introduction to a sequence of subsets of the PL/I language that has been designed for the purpose of teaching introductory computer, programming. The six subsets, called SP/1, SP/2, ..., SP/6, restrict PL/I to language features which the authors feel encourage good programming habits. Each subset introduces new language features while retaining features introduced in earlier subsets.
Towards a practical specification language
Authors: Anne-Marie G. Discepolo
Venue: Proceedings of the ACM '81 conference (1981)

Recognition of the value of formal specifications in the design and verification of large software systems is becoming more widespread. Specification languages themselves, however, are difficult to develop in part because of the inherent conflict between the goals of clarity and formalism required by these languages. This paper discusses the role of specification languages, examples of specifications in two currently implemented languages, AFFIRM and SPECIAL, and makes some suggestions towards a more practical specification language.
A report on computer science certification for secondary school teachers in Wisconsin (Panel Discussion)
Authors: Timothy Fossum, Donald Chambers
Venue: Proceedings of the tenth SIGCSE technical symposium on Computer science education (1979)

In 1977, the Wisconsin Certification Standards listed a secondary level teaching certificate in computer science for the first time. While at least 97 (out of 436) school districts in Wisconsin were offering courses in computer science, only five teachers were certified to teach it. A computerized audit of teachers, courses, and licenses conducted in the spring of 1978 turned up a large number of violations involving courses identified as computer science. Consequently, many teachers throughout Wisconsin were notified that they were not properly certified and could not continue to teach computer science. As a result of discussions between representatives of the Bureau for Teacher Education and Certification and the Department of Public Instruction's Mathematics Supervisor, an agreement was reached on May 3, 1978. The agreement contained the following provision: Licensed mathematics teachers who have taught computer science courses for two semesters prior to July 1, 1982, may be issued a computer science license upon the Department's receipt of an application and the administrator's verification of teaching.
Survey of analytic queueing network models of computer systems
Authors: Martin G. Kienzle, K. C. Sevcik
Venue: ACM SIGSIM Simulation Digest (1979)

A number of case studies involving the use of queueing network models to investigate actual computer systems are surveyed. After suggesting a framework by which case studies can be classified, we contrast various parameter estimation methods for specifying model parameters based on measurement data. A tabular summary indicates the relationships among nineteen case studies.
Acoustic radar graphic input device
Authors: P. de Bruyne
Venue: Proceedings of the 7th annual conference on Computer graphics and interactive techniques (1980)

Accurate X,Y position determining digitizers presently require a precision array of wires embedded in the tablet. In rear-projection tablets these wires tend to limit the optical quality of images projected on the screen. Principles of acoustic radar are applied in a device which achieves better resolution, at a lower cost and without the use of wires, either in a tablet or a cursor. The function of acoustic reflectors for automatic calibration is described, achieving an accuracy of + mn; 0.01% of the distance to the sensors. In the case of small tablets, a hand-held stylus may be tracked at the rate of 900 locations a second.
FORMS: a flexible object recognition and modelling system
Authors: S. C. Zhu, A. L. Yuille
Venue: Proceedings of the Fifth International Conference on Computer Vision (1995)

We briefly describe a generic statistical framework for representing the shapes of animate objects using principal component analysis and stochastic shape grammars. Such a representation scheme gives a formalism for solving the inverse problem-object recognition. Then we show: how these representations can be extracted from 2D silhouettes by a novel method for skeleton extraction and shape segmentation; how a similarity metric can be defined on this shape space; and how we can perform recognition in a bottom up/top down loop. The system is demonstrated to be stable in the presence of noise, the absence of parts, the presence of additional parts, and considerable variations in articulation and viewpoint. Successful categorization is demonstrated on a dataset of seventeen categories of animate objects.
Document structure and modularity in mentor
Authors: V. Donzeau-Gouge, G. Kahn, B. Lang, B. Mélèse
Venue: ACM SIGPLAN Notices (1984)

Mentor is a structured document manipulation system. It has been used for several years as a program development and maintenance environment. Its main characteristics are: it is both interactive and programmable, it is parameterized by the language to be manipulated, it can manipulate several languages at the same time, as well as multi-lingual documents. it is open to and from the outer system, it is extensible. The current development of Mentor reflects our belief that a major component of programming is the maintenance of large documents of a varied nature: specifications, programs, manuals, progress reports, documentation, etc... In addition, information of various kinds, and in different languages, is often mixed in a single document, and one may have to extract this information selectively upon request (e.g. text, examples and formal specification in a manual, or instructions, comments and assertions in a program).
TTL circuits for a 4-valued bus a way to reduce package and interconnections
Authors: Daniel Etiemble
Venue: Proceedings of the eighth international symposium on Multiple-valued logic (1978)

This paper presents voltage mode multi-valued circuits to define a 4-valued bus. Two different versions are presented: TTL circuits for a 4-valued open collector bus, and TTL circuits for a 4-valued &plus; high impedance bus. Some dynamic characteristics are shown. With usual load of a bus, the supplementary delay is less than 55 ns.
Amtran, a remote-terminal, conversational-mode computer system
Authors: Juris Reinfelds, L. A. Flenker, R. N. Seitz, P. L. Clem,  Jr.
Venue: Proceedings of the 1966 21st national conference (1966)

The development of efficient, reliable and inexpensive microelectronics has brought about a drastic reduction in the cost of computing time so that the programmer's time spent on a problem is no longer an insignificant part of the total cost. Furthermore, the rapid development of faster, larger and less expensive computers will soon make more computing capacity available than we can program for, even if every available programmer works two shifts a day, seven days a week. The obvious way out of this dilemma is to eliminate the need for a specialist programmer from a larger class of routine problems. For the last 18 months we have endeavored to develop such a system called AMTRAN (for Automatic Mathematical TRANslation) and this paper will review our progress so far. AMTRAN was inspired by a similar on-line system developed by Culler and Fried 1 and it shares many basic principles with the Klerer 2 May system. The development of AMTRAN was initiated by Seitz 3 and it is at present carried on by several of us in Huntsville 4,5.
Petri nets are good for protocols
Authors: J. P. Courtiat, J. M. Ayache, B. Algayres
Venue: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials symposium (1984)

This paper is intended to survey the applicability of Petri nets for protocol, as well as for service specification and validation. At the specification level, different classes of nets are introduced, and emphasis is given to the modular specification of a protocol layer. At the validation level, the analysis techniques implemented in the CAD package OGIVE/OVIDE are presented, and are used in order to prove safety and progress properties of a protocol layer. Finally, the specification and validation of the ISO Transport protocol is chosen as a significant example of the proposed design methodology.
A micro signal processing module
Authors: David M. Bell, Larry E. Hand
Venue: Proceedings of the 11th annual workshop on Microprogramming (1978)

A small, high-speed programmable digital signal processing module utilizing bit slice microprocessor techniques is described. The processor is designed to provide low-cost, modular implementations of digital signal processing tasks, such as fast Fourier transforms, data compression, digital filtering, etc. The module demonstrates the use of recent LSI technology in a small compact design for both single and multiple processor implementation of signal processing algorithms.
Job shop scheduling by means of simulation and an optimum-seeking search
Authors: James C. Emery
Venue: Proceedings of the third conference on Applications of simulation (1969)

The paper discusses a job shop simulator designed for use in the scheduling of a set of jobs. The simulator has been implemented in the form of a Fortran program. The simulator can be used in conjunction with a search program that adjusts priority rule parameters in seeking an improved schedule.
Conceptual prototyping
Authors: Anne C. Steele, Barbara J. Nowell
Venue: Proceedings of the 1983 annual conference on Computers : Extending the human resource (1983)

Requirements engineering involves three processes: (1) problem recognition; (2) problem understanding; (3) solution space specification. [5] This paper focuses on problem recognition and problem understanding&mdash;the needs determination component of requirements engineering. During needs determination effective communication between information system users and information system designers is critical&mdash;creative exploration of the problem environment is imperative.
Animations of computers as teaching aids
Authors: Thomas R. Leap
Venue: Proceedings of the fifteenth SIGCSE technical symposium on Computer science education (1984)

This paper discusses several programs which are used as teaching aids for teaching computer science students. The programs are animations of the internal workings of a central processing unit. They should be particularly useful in assembly language and computer organization courses or to give introductory students a more tangible example of what is going on inside the computer. The animation techniques use only the capabilities of common dumb conversational computer terminals and can easily be implemented on many different computer systems.
Planning of production and material flow systems by inter-interactive computer graphics simulation
Authors: Werner Großeschallau, Robert Heinzel
Venue: Proceedings of the 17th annual symposium on Simulation (1984)

The INSIMAS (Interactive Simulation of Material Flow-Systems) simulation system is described. The systems-concept corresponds to the four planning steps design, analysis, simulation and evaluation. Each step is supported by interactive computer graphics procedures. The simulation run can be represented on a graphics screen by moving of objects (vehicles) through the simulated network. Main application areas of INSIMAS are automated material flow systems like AGVS and electric monorails. The modular architecture allows simple handling based on a network lay-out-plan, descriptions of systems load and dispatching and control strategies.
Nested arrays as an extension for APL
Venue: Proceedings of the international conference on APL: part 1 (1979)

This workshop will be held to inform interested members of the APL community about current research on adding nested arrays to APL. The Chairman will present a brief summary of current research in the area, indicating the issues that are yet unresolved, and presenting a set of criteria for deciding them. Each panel member will speak briefly to the issues and then an open discussion will follow.
A comparative evaluation of the cost effectiveness of computer systems (Paper Session)
Authors: Dileep P. Bhandarkar, J. Egil Juliussen
Venue: Proceedings of the 1975 annual conference (1975)

Over the last decade, continuing advancement in semiconductor technology has resulted in significant improvement in the cost-performance ratio of microcomputer processors and the consequent proliferation of minicomputers in evidence today in an ever-widening sphere of application. Figure 1 shows the minicomputer processor pricing trends over a decade [cf. 1]. Large computers exhibit an economy of scale, evidenced by the IBM 360 series which spans two orders of mangitude in processing power [cf.2]. This paper attempts to compare the cost and performance of currently available computers. The cost of computer systems can vary widely with configurations. Typical small, medium and large configurations are defined in the GML Corporation's Computer Characteristics Review [cf. 3]. It is very difficult to characterize the performance of a wide variety of computer architectures by a single number. Meaningful comparisons can be obtained by comparing the execution times for a benchmark program that typifies the problem environment. For the purpose of a general study, a simpler performance index has to be used. The register-memory add time is widely accepted for such comparisons [3]. A comparison of this performance index with some benchmark results shows it to be a reasonable measure for high level comparisons.
An evaluation of required element testing strategies
Authors: Simeon C. Ntafos
Venue: Proceedings of the 7th international conference on Software engineering (1984)

In this paper we discuss required element testing strategies and present some experimental evaluations of their effectiveness. These strategies use data flow analysis as a basis for developing test cases. The basic strategy (required pairs) is compared with random and branch testing using mutation analysis as a measure of test set effectiveness. Extensions of the basic strategy are also studied.
Simulation in education: Modeling for the future
Authors: Tuncer Oren, Bernard Ziegler, Richard V Houska, Richard Kopka
Venue: Proceedings of the 15th conference on Winter simulation - Volume 1 (1983)

The field of simulation is, however, not a part of the core curriculum of many of the newly-budded computer science programs being offered nor is it a major part of those institutions which are firmly-rooted in computer science. Several questions must be discussed in order to try to resolve which paths educational institutions might take toward implementing computer simulation as a basic part of their programs. Should the emphasis be on discrete or continuous systems - or doesn't it matter as long as the techniques and logic of construction of a computer model are discussed? Should analog and hybrid simulation be discussed as well as digital simulation? The panel today brings together several outstanding individuals to discuss these points The panel will discuss whether the field of simulation should, indeed, take place in the core curriculum and whether this approach - or the traditional methods - is most feasible for all fields. There should be time for members of the audience to ask questions or, perhaps, voice opinions or additional approaches to the place of computer simulation and modeling in the educational process of the future.
Implementing a software management discipline
Authors: R. Loesh, B. Larman, P. Molko, D. Reifer
Venue: Proceedings of the 5th international conference on Software engineering (1981)

The paper did not arrive prior to press time.
A Data-Model Interface for modular dynamic simulation
Authors: Friedhelm Drepper
Venue: Proceedings of the 10th conference on Winter simulation - Volume 1 (1978)

As an alternative to simulation languages like Dynamo a Fortran based simulation aid is presented which offers more flexibility at the cost of some conceptual guidance. This tool is essentially a Data-Model Interface (DMI). It supports a modular model structure and is especially suited for the simulation of large dynamic systems with a simple event structure. Its simulation concept allows unsorted statements as well as coupled equation systems extending over several modules.