13 results
Search Results
2. Functions Realizable with Word-Parallel Logical and Two's-Complement Addition Instructions.
- Author
-
Warren, Jr., Henry S.
- Subjects
- *
MATHEMATICAL programming , *BINARY-coded decimal system , *CODING theory , *MATHEMATICAL logic , *MATHEMATICAL analysis , *MATHEMATICAL functions - Abstract
This article presents information about a research paper which examines the functions realizable with word-parallel logical and two's complement addition instructions. H. Tim Gladwin has shown a number of programming tricks involving binary numbers, some of which are represented in this paper. It was assumed that two's complement (or unsigned) arithmetic is used, and that overflow may be ignored. Gladwin's motivation is to provide simple tests to determine whether or not a number is of a certain binary form. Leslie Lamport gives similar tricks for comparison of integers when several are packed in a single word. In the discussed paper, a theorem is described from which one may easily deduce whether or not a coding trick of this general class exists for computing a given function, followed by an efficient implementation of sign propagation that does not use shifting instructions or branching instructions. In this theorem, sign propagation means considering a certain bit position in a word to be the sign bit in the two's complement representation of a number.
- Published
- 1977
- Full Text
- View/download PDF
3. Acm forum.
- Author
-
Lamport, Leslie, Ashenhurst, R. L., Ammeraal, L., Smoliar, Stephen W., Cerf, Vinton G., Diffie, Whitfield, and Hellman, Martin E.
- Subjects
- *
MATHEMATICAL programming , *COMPUTER software , *CYBERNETICS , *PROGRAMMING languages , *COMPUTER programming - Abstract
Presents comments and suggestions for the publication the journal "Communications of the ACM." Proposition for the publication of papers; Criticisms on the article of Peter Naur in the December 1975 issue entitled "Programming Languages, Natural Languages, and Mathematics"; Comments on the contribution of Wallace E. Lin in the January 1976 issue.
- Published
- 1976
4. Algorithm 457 Finding All Cliques of an Undirected Graph [ H ].
- Author
-
Bron, Coen, Kerbosch, Joep, Roy, Mohit Kumar, Lawrence, E. E., and Williamson, Hugh
- Subjects
- *
ALGORITHMS , *GRAPH theory , *BRANCH & bound algorithms , *MATHEMATICAL programming , *ALGEBRA , *MATHEMATICS - Abstract
The article reports on finding all subgraphs of an undirected graph [H]. A maximal complete subgraph is also called clique which refers to a complete subgraph that is not included in any other complete subgraph. According to the authors, a research paper was released wherein descriptions of techniques to find maximal complete subgraphs are provided. The authors discussed two algorithms using a branch-and-bound technique so that there will be no clique. The first algorithm produces cliques in lexicographic order while the second is derived from the first algorithm.
- Published
- 1973
- Full Text
- View/download PDF
5. Computation Beyond Turing Machines.
- Author
-
Wegner, Peter and Goldin, Dina
- Subjects
- *
MATHEMATICAL programming , *COMPUTER science - Abstract
This article presents information about contributions of Alan Turing in the field of computer science. Turing was a brilliant mathematician who showed that computers could not completely prove mathematical assertions. This connection between computers and mathematics was later used to develop a mathematical foundation for computer science, comparable to mathematical foundations for physics and other sciences. Born in 1912, Turing was accepted by Cambridge University, Cambridge, England in 1930 to study mathematics, and became a Fellow in 1934 at the age of 22, completing a dissertation that extended the group theory models of Von Neumann. After its beginning with Turing's pioneering paper in 1936, computer science emerged as a mature discipline in the 1960s, when universities nationwide started offering it as an undergraduate program of study. The new discipline of computer science viewed computation as information processing, a transformation of input to output--where the input is completely defined before the start of computation, and the output provides a solution to the problem at hand.
- Published
- 2003
- Full Text
- View/download PDF
6. COMING EVENTS.
- Subjects
- *
COMPUTER engineering , *HIGH technology industries , *COMPUTER programming , *COMPUTER training , *COMPUTER industry , *ELECTRONIC data processing , *MATHEMATICAL programming , *CONFERENCES & conventions - Abstract
The article provides information on the upcoming symposiums related to the computer engineering in 1966. A one-day symposium will be sponsored by ACM, SIAM and Florida State University on March 14 on "The Recommended Impact of Computer Applications on the Undergraduate Mathematics Curriculum." The four New York Metropolitan Area chapters will hold a one-day symposium in New York City on March 18. A session of invited papers will be devoted to "The Application of Computers to the Problems of a Metropolitan Society." In addition, a session of contributed papers on any topics in the computer field is now in the process of being organized . Automatic Data Processing exhibits and workshops headline the Federal Government Accountants Association 15th National Symposium, in Minneapolis, June 15-17. Topics include "Case Studies in ADP," "Programming: The Modern Budget Officer's Tool," and "The Future of Computers in the Federal Government." The Instrument Society of America (ISA) has invited papers for presentation at the 21st Annual ISA Conference and Exhibit, to be conducted October 24-27 in New York City. Theme of the meeting is "Instrumentation for an Urban Society."
- Published
- 1966
7. An Updated Survey of GA-Based Multiobjective Optimization Techniques.
- Author
-
Coello Coello, Carlos A.
- Subjects
- *
MATHEMATICAL optimization , *MATHEMATICAL programming , *ALGORITHMS , *ARTIFICIAL intelligence , *GENETIC algorithms , *RESEARCH - Abstract
After using evolutionary techniques for single-objective optimization during more than two decades, the incorporation of more than one objective in the fitness function has finally become a popular area of research. As a consequence, many new evolutionary-based approaches and variations of existing techniques have recently been published in the technical literature. The purpose of this paper is to summarize and organize the information on these current approaches, emphasizing the importance of analyzing the operations research techniques in which most of them are based, in an attempt to motivate researchers to look into these mathematical programming approaches for new ways of exploiting the search capabilities of evolutionary algorithms. Furthermore, a summary of the main algorithms behind these approaches is provided, together with a brief criticism that includes their advantages and disadvantages, degree of applicability, and some known applications. Finally, future trends in this area and some possible paths for further research are also addressed. [ABSTRACT FROM AUTHOR]
- Published
- 2000
- Full Text
- View/download PDF
8. A Survey of Resource Directive Decomposition in Mathematical Programming.
- Author
-
Molina, Francisco Walter
- Subjects
- *
MATHEMATICAL programming , *ALGORITHMS , *DECOMPOSITION method , *SYSTEM analysis , *OPERATIONS research , *PROGRAM transformation , *COMPUTER science - Abstract
Because of the natural way in which subsystems are cast into subproblems, resource- directive decomposition methods of mathematical programming problems have attracted considerable attention in recent years. A review of the specialized literature is presented in this paper, where the features and drawbacks of the most representative resource-directive methods are analyzed. To give an appropriate chronological and technical perspective, early general methods, such as the ones of Dantzig-Wolfe and Benders, are also included in the survey. [ABSTRACT FROM AUTHOR]
- Published
- 1979
- Full Text
- View/download PDF
9. Further Evidence for the Analysis of Algorithms for the Zero-One Programming Problem.
- Author
-
Proll, L. G.
- Subjects
- *
ALGORITHMS , *DYNAMIC programming , *LINEAR programming , *MATHEMATICAL programming , *PRODUCTION scheduling , *VECTOR analysis - Abstract
The purpose of this note is to report computational experience additional to that recently summarized by Gue et al., with two algorithms for the zero-one linear programming problem. An error in Gue's paper is corrected. The utility of one of the algorithms as a suboptimizer is indicated. [ABSTRACT FROM AUTHOR]
- Published
- 1971
- Full Text
- View/download PDF
10. JACM Abstracts.
- Subjects
- *
COMPUTER training , *COMPUTER programming , *NUMERICAL integration , *RECURSION theory , *INFORMATION science , *MATHEMATICAL programming - Abstract
The article presents abstracts of some of the papers that were published in the "Journal of the Association for Computing Machinery." A number of observations and comments are directed toward suggesting that more than the usual engineering flavor be given to computer science. The engineering aspect is important because most present difficulties in this field do not involve the theoretical question of whether certain things can be done, bat rather the practical question of how can they be accomplished well and simply. The teaching of computer science could be made more effective by various alterations, for example, the inclusion of a laboratory course in programming, the requirement for a strong minor in something other than mathematics, and more practical coding and less abstract theory, as well as more seriousness and less game playing. Recursive formulas for the numerical evaluation of the real convolution integral are derived for the case in which the impulse response is given analytically. These formulas require considerably less computation time and memory space than the general time series formulas and can be effectively applied for digital simulation of continuous physical systems.
- Published
- 1969
11. Exploring Design Oriented Mathematical Practices in School and Work Settings.
- Author
-
Hall, Rogers
- Subjects
- *
SYSTEMS design , *MATHEMATICAL programming , *MATHEMATICAL optimization , *REAL estate development , *CIVIL engineering , *PUBLIC spaces , *COMPUTER simulation - Abstract
The article explores design-oriented mathematical practices in school and work settings. The article represents two scenes that show people working on design problems in very different places. In the first scene, a group of seventh graders have decided that separate space for tubs and wash basins in a dormitory floorplan for college students in Seattle, Washington. With savings from the redesigned bathrooms, they propose a better insulated dormitory for the colder climate of Duluth, Minnesota. The second scene shows a civil engineer leaning over paper space views of a housing development project proposed for a hilly region of California. People in both scenes combine different representations to model space and its intended use. To understand how mathematical reasoning develops to support this activity a research team compares settings at three levels of analysis. The practical goal of the article is to improve learning and teaching mathematics in grades 6, 7, and 8. This involves developing curriculum units that package together simulation environments.
- Published
- 1995
- Full Text
- View/download PDF
12. The File Assignment Problem.
- Author
-
Kollias, J. (Yiannis) G. and Hatzopoulos, Michalis
- Subjects
- *
MATHEMATICAL programming , *MODELS & modelmaking , *MATHEMATICAL optimization , *COST , *FUNCTIONAL equations - Abstract
The survey paper "Comparative Models of the File Assignment Problem" by researchers L. A. Dowdy and D. V. Foster, published in the June 1982 issue of the periodical Computing Surveys, defines a number of parameters which are considered important for the File Assignment Problem (FAP). It subsequently utilizes the parameters to formulate mathematically and assess capabilities of 12 distinct models appearing in the literature. A closer look at the first three models reveals that they are expressed as mathematical programming problems concerned with the optimization of the minimum operation cost which is measured in dollars and that no timing parameters like response, access, execution and transfer appear either in the FAP objective function or constraints. With reference to these three models, we wish to make four observations related to further models and studies of FAP that are not pointed out in the paper. The first model considers the number and placement of copies of a single file when the anticipated file usage is static.
- Published
- 1983
- Full Text
- View/download PDF
13. A Note on Cheney's Nonrecursive List-Compacting Algorithm.
- Author
-
Walden, David C.
- Subjects
- *
COMPACTING , *SANITATION workers , *ISOSTATIC pressing , *MATHEMATICAL programming , *MATHEMATICS - Abstract
Presents a note on author C.J. Cheney's paper 'Nonrecursive List-Compacting Algorithm,' which appeared in the November 1970 issue of the periodical 'Communications of the ACM.' Effect of circular list consisting exclusively of non-items on the flow of the list-compacting algorithm; Structural meaning of the list-compacting algorithm.
- Published
- 1972
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.