Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (7226)
- China Simulation Federation (3382)
- TÜBİTAK (3020)
- Selected Works (2644)
- Wright State University (2602)
-
- Purdue University (2057)
- Old Dominion University (1456)
- Missouri University of Science and Technology (1360)
- Edith Cowan University (1172)
- Air Force Institute of Technology (1108)
- University of Texas at El Paso (1094)
- Dartmouth College (1017)
- San Jose State University (995)
- University of Nebraska - Lincoln (979)
- Embry-Riddle Aeronautical University (853)
- City University of New York (CUNY) (818)
- Technological University Dublin (792)
- Washington University in St. Louis (785)
- Brigham Young University (759)
- California Polytechnic State University, San Luis Obispo (731)
- Kennesaw State University (713)
- University for Business and Technology in Kosovo (626)
- University of Texas at Arlington (614)
- Nova Southeastern University (535)
- Portland State University (529)
- Western University (524)
- SelectedWorks (522)
- New Jersey Institute of Technology (511)
- Syracuse University (501)
- University of Nebraska at Omaha (484)
- Keyword
-
- Machine learning (1332)
- Deep learning (799)
- Artificial intelligence (653)
- Machine Learning (650)
- Computer Science (638)
-
- Security (620)
- Computer science (435)
- Cybersecurity (410)
- Privacy (408)
- Simulation (377)
- Classification (367)
- Technical Reports (358)
- UTEP Computer Science Department (356)
- Data mining (349)
- Deep Learning (346)
- Algorithms (336)
- Optimization (333)
- Neural networks (307)
- Artificial Intelligence (299)
- Computer vision (291)
- College for Professional Studies (253)
- Education (253)
- Software engineering (253)
- Clustering (251)
- Cloud computing (244)
- Department of Computer Science and Engineering (243)
- Applied sciences (236)
- School of Computer & Information Science (236)
- Visualization (236)
- Social media (230)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (6878)
- Journal of System Simulation (3382)
- Turkish Journal of Electrical Engineering and Computer Sciences (3020)
- Theses and Dissertations (2498)
- Department of Computer Science Technical Reports (1721)
-
- Computer Science & Engineering Syllabi (1312)
- Departmental Technical Reports (CS) (881)
- Master's Projects (845)
- Electronic Theses and Dissertations (735)
- Computer Science Faculty Publications (724)
- All Computer Science and Engineering Research (683)
- Computer Science Technical Reports (673)
- Computer Science Faculty Research & Creative Works (595)
- Faculty Publications (585)
- Kno.e.sis Publications (543)
- Journal of Digital Forensics, Security and Law (536)
- Computer Science Faculty Publications and Presentations (507)
- Dissertations (500)
- CCE Theses and Dissertations (488)
- All Works (478)
- Walden Dissertations and Doctoral Studies (467)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (463)
- Masters Theses (402)
- Computer Science and Engineering Theses (356)
- Theses (334)
- Electronic Thesis and Dissertation Repository (333)
- Computer Science and Software Engineering (332)
- USF Tampa Graduate Theses and Dissertations (320)
- Computer Science: Faculty Publications (316)
- Mathematics, Statistics and Computer Science Faculty Research and Publications (315)
- Publication Type
Articles 56791 - 56820 of 57951
Full-Text Articles in Physical Sciences and Mathematics
A Study Of Automated Reasoning In A Brain Tumor Diagnosis Expert System, Aung Zaw Maung
A Study Of Automated Reasoning In A Brain Tumor Diagnosis Expert System, Aung Zaw Maung
Masters Theses
The objective of this study is to survey various theorem-proving methods and to evaluate how these methods can be applied as inference engines in a brain tumor diagnosis expert system.
Various applications of automated reasoning based on the resolution principle are discussed. Knowledge representations and inference mechanisms used in expert systems are also surveyed.
An actual application of this method for a medical diagnosis problem is implemented and explained, and the limitations of this approach and possible future enhancements are discussed.
A Characterization Of Digital Search Trees From The Average Complexity Viewpoint, Wojciech Szpankowski
A Characterization Of Digital Search Trees From The Average Complexity Viewpoint, Wojciech Szpankowski
Department of Computer Science Technical Reports
No abstract provided.
Protran Ii: Preliminary Report, H. S. Mcfaddin, John R. Rice
Protran Ii: Preliminary Report, H. S. Mcfaddin, John R. Rice
Department of Computer Science Technical Reports
No abstract provided.
Convex Hull Of Objects Bounded By Algebraic Curves, Chanderjit Bajaj, Myung-Soo Kim
Convex Hull Of Objects Bounded By Algebraic Curves, Chanderjit Bajaj, Myung-Soo Kim
Department of Computer Science Technical Reports
No abstract provided.
Computing About Physical Objects, Chanderjit Bajaj, Christoph M. Hoffmann, Elias N. Houstis, John T. Korb, John R. Rice
Computing About Physical Objects, Chanderjit Bajaj, Christoph M. Hoffmann, Elias N. Houstis, John T. Korb, John R. Rice
Department of Computer Science Technical Reports
No abstract provided.
Sorting With Efficient Use Of Special-Purpose Sorters, Mikhail J. Atallah, Greg N. Frederickson, S. Rao Kosaraju
Sorting With Efficient Use Of Special-Purpose Sorters, Mikhail J. Atallah, Greg N. Frederickson, S. Rao Kosaraju
Department of Computer Science Technical Reports
No abstract provided.
Algorithms And Data Structures For An Expanded Family Of Matroid Intersection Problems, Greg N. Frederickson, Mandayam A. Srinivas
Algorithms And Data Structures For An Expanded Family Of Matroid Intersection Problems, Greg N. Frederickson, Mandayam A. Srinivas
Department of Computer Science Technical Reports
No abstract provided.
Theory Of Modules, J. D. Gannon, Richard G. Hamlet, Harlan D. Mills
Theory Of Modules, J. D. Gannon, Richard G. Hamlet, Harlan D. Mills
The Harlan D. Mills Collection
No abstract provided.
Can Programmers Reuse Software?, Scott N. Woodfield, David W. Embley, Del T. Scott
Can Programmers Reuse Software?, Scott N. Woodfield, David W. Embley, Del T. Scott
Faculty Publications
An experiment asked programmers untrained in reuse to evaluate component reusability. They did poorly. Are reusability's promises hollow? Or are there some answers?
Reliability And Throughput Analysis Of A Concatenated Coding System, Robert H. Deng, Daniel J. Costello
Reliability And Throughput Analysis Of A Concatenated Coding System, Robert H. Deng, Daniel J. Costello
Research Collection School Of Computing and Information Systems
The performance of a concatenated coding scheme for error control in ARQ systems is analyzed for both random error and burst-error channels. In particular, the probability of undetected error and the system throughput are calculated. In this scheme, the inner code is used for both error correction and error detection, and the outer code is used for error detection only. Interleaving/deinterleaving of the outer code is assumed. A retransmission is requested if either the inner code or the outer code detects the Presence of errors. Various coding examples are considered. The results show that concatenated coding can provide extremely high …
Matching Multiple Patterns From Right To Left, Samuel W. Bent, M A. Sridhar
Matching Multiple Patterns From Right To Left, Samuel W. Bent, M A. Sridhar
Computer Science Technical Reports
We address the problem of matching multiple pattern strings against a text string. Just as the Aho-Corasick algorithm generalizes the Knuth-Morris-Pratt single-pattern algorithm to handle multiple patterns, we exhibit two generalizations of the Boyer-Moore algorithm to handle multiple patterns. In order to obtain worst-case time bounds better than quadratic, our algorithms remember some of the previous history of the matching.
An Experimental Analysis Of Replicated Copy Control During Site Failure And Recovery, Bharat Bhargava, Paul Noll, Donna Sabo
An Experimental Analysis Of Replicated Copy Control During Site Failure And Recovery, Bharat Bhargava, Paul Noll, Donna Sabo
Department of Computer Science Technical Reports
No abstract provided.
An Expert System Controlling An Adaptable Distributed Data Base System, Bharat Bhargava, John Riedl, Detlef M. Weber
An Expert System Controlling An Adaptable Distributed Data Base System, Bharat Bhargava, John Riedl, Detlef M. Weber
Department of Computer Science Technical Reports
No abstract provided.
Piplined Iterative Methods For Shared Memory Machines, John P. Bonomo, Wayne R. Syksen
Piplined Iterative Methods For Shared Memory Machines, John P. Bonomo, Wayne R. Syksen
Department of Computer Science Technical Reports
No abstract provided.
Concurrent Checkpointing And Recovery In Distributed Systems, Pei-Jyun Leu, Bharat Bhargava
Concurrent Checkpointing And Recovery In Distributed Systems, Pei-Jyun Leu, Bharat Bhargava
Department of Computer Science Technical Reports
No abstract provided.
Domains For Logic Programming, I. Filippenko, F. L. Morris
Domains For Logic Programming, I. Filippenko, F. L. Morris
Electrical Engineering and Computer Science - Technical Reports
We construct Scott domains well suited to use in an abstract implementation of logic programming, and perhaps to the modelling of other first-order data structures. The domain elements, which we call ‘grafts’, are in effect a sort of directed graphs. The approximation order in the domains corresponds to the relation between tuples of terms, “has a substitution instance”; the price to be paid is that one equivalence class of (tuples of) terms under renaming of variables is represented by many grafts. Graft domains come in two flavors—plain and ‘acyclic’—for modelling on an equal footing logic programming without and with the …
Prodb: An Experimental Generalized Database System User's Manual, Guillermo R. Simari
Prodb: An Experimental Generalized Database System User's Manual, Guillermo R. Simari
All Computer Science and Engineering Research
The following notes document in a succinct manner the use of the system PRODB. The system is still evolving and several new features are in the process of being added. PRODB is a prototype system that is being used as an exploration vehicle of the possible extensions to the relational model through logic programming. The system consists of a relational database system having a relational algebra type language as a query language. It is written in Prolog and it extends the capabilities of Prolog predicates with the relational algebra operators for handling the database structure. The database system currently provides …
Reduced Coproducts Of Compact Hausdorff Spaces, Paul Bankston
Reduced Coproducts Of Compact Hausdorff Spaces, Paul Bankston
Mathematics, Statistics and Computer Science Faculty Research and Publications
By analyzing how one obtains the Stone space of the reduced product of an indexed collection of Boolean algebras from the Stone spaces of those algebras, we derive a topological construction, the "reduced coproduct", which makes sense for indexed collections of arbitrary Tichonov spaces. When the filter in question is an ultrafilter, we show how the "ultracoproduct" can be obtained from the usual topological ultraproduct via a compactification process in the style of Wallman and Frink. We prove theorems dealing with the topological structure of reduced coproducts (especially ultracoproducts) and show in addition how one may use this construction to …
The Evolution Of Text Formatting Languages, Dirk Herr-Hoyman
The Evolution Of Text Formatting Languages, Dirk Herr-Hoyman
Masters Theses
Text, as seen in books and magazines, can take on three forms: string, graphic (two-dimensional), and image (digitized pictures). Text formatting processes text into a representation suitable for printing. Since a printer is really a computer, this representation is machine code for the printer. ASCII is one such code.
Six historically significant text formatting languages are surveyed: Runoff, Troff, TeX, Bravo, Scribe, and Postscript. The emphasis is on the text types available and the code generated. The main evolutionary forces are the changes in printers. Comparisons are made with programming languages.
Each of the six languages has ASCII as its …
Riesz Spaces And Their Applications In Economics, Calvin E. Piston
Riesz Spaces And Their Applications In Economics, Calvin E. Piston
ACMS Conference Proceedings 1987
We will examine an economic model of pure exchange and some results concerning different notions of equilibrium. In particular, we will focus on the role played by the theory of Riesz space.
Logic And Proof For Mathematics: A Twentieth Century Perspective, Calvin Jongsma
Logic And Proof For Mathematics: A Twentieth Century Perspective, Calvin Jongsma
ACMS Conference Proceedings 1987
This talk reports on the author's experience in teaching college mathematics students the basics of logic and proof in preparation for their transitioning to upper-level proof-based mathematics courses, following that up with a philosophical and historical analysis of mathematicians' attitudes toward such a project going back to nineteenth- and twentieth-century developments in logic and foundations (De Morgan, Boole, Frege, Russell, and Hilbert). The natural deduction approach to logic and inference developed in the mid-twentieth century by Jaskowski and Fitch is recommended as a much better focused approach for learning how to do proofs in mathematics. This idea is systematically developed …
Mathematical Reflections: Standing On The Shoulders Of Giants, Karl J. Smith
Mathematical Reflections: Standing On The Shoulders Of Giants, Karl J. Smith
ACMS Conference Proceedings 1987
The layperson's response to mathematics is often that of desperation. When we tell people our occupation, do we more often than not hear about their unpleasant experiences with mathematics. They often tell us, "I studied algebra in high school and haven't used it since!" Indeed, that may be true. However, we can reply, "How many times has algebra been used on you?" We are all restricted, and protected, by the formulas of mathematics. In the mysterious metaphors we have agreed to cal mathematics, all creation is involved, from the symbol-happy logician down to the cunning geometers, the bees. When I …
Observations On Mathematics And The Christian Faith, W. David Laverell, Carl J. Sinke
Observations On Mathematics And The Christian Faith, W. David Laverell, Carl J. Sinke
ACMS Conference Proceedings 1987
There is little doubt that mathematicians are becoming more concerned with the foundations on which their discipline rests, the meaning of their work, and the philosophical stance implicit in what they do. This concern is prompted by serious questions which have been raised in recent years, questions dealing with the nature of mathematical truth, the nature of proof, certainty (or lack thereof) in mathematics, and the relationship of mathematics to the physical world. This has been particularly true for those of us involved in teaching since it is apparent that good mathematics education cannot ignore these issures.
Variations On A Theme, Robert Creighton Buck
Variations On A Theme, Robert Creighton Buck
ACMS Conference Proceedings 1987
An autobiographical narration by Robert Creighton Buck, detailing his experiences in the field of mathematics, and the various questions and themes reoccurring in the mathematical sciences.
Proof And Intution, Michael Detlefsen
Proof And Intution, Michael Detlefsen
ACMS Conference Proceedings 1987
This paper discusses various perspectives on proof and intuition by examing two epistemic systems, Intuition Intensive and Logic Intensive, and Jules Henri Poincaré's objections to the latter.
Another Look At Pick's Theorem, Dale Varberg
Another Look At Pick's Theorem, Dale Varberg
ACMS Conference Proceedings 1987
In this paper, the author discusses his experience building a proof for Pick's Theorem and theorem's history.
Designing Networks With Compact Routing Tables Available In A Journal, Greg N. Frederickson, Ravi Janardan
Designing Networks With Compact Routing Tables Available In A Journal, Greg N. Frederickson, Ravi Janardan
Department of Computer Science Technical Reports
No abstract provided.
Introduction (1987), Paul Zwier
Introduction (1987), Paul Zwier
ACMS Conference Proceedings 1987
A Sixth Conference on Mathematics from a Christian Perspective
Edited by Robert L. Brabenec
Table Of Contents (1987), Association Of Christians In The Mathematical Sciences
Table Of Contents (1987), Association Of Christians In The Mathematical Sciences
ACMS Conference Proceedings 1987
A Sixth Conference on Mathematics from a Christian Perspective
Edited by Robert L. Brabenec
A Model For Adaptable Concurrency Control, Bharat Bhargava, John Riedl
A Model For Adaptable Concurrency Control, Bharat Bhargava, John Riedl
Department of Computer Science Technical Reports
No abstract provided.