Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (2)
- Analysis (1)
- Applied Mathematics (1)
- Applied Statistics (1)
- Artificial Intelligence and Robotics (1)
-
- Bilingual, Multilingual, and Multicultural Education (1)
- Categorical Data Analysis (1)
- Clinical Trials (1)
- Curriculum and Instruction (1)
- Design of Experiments and Sample Surveys (1)
- Education (1)
- Educational Assessment, Evaluation, and Research (1)
- Educational Psychology (1)
- Graphics and Human Computer Interfaces (1)
- International and Comparative Education (1)
- Numerical Analysis and Scientific Computing (1)
- Other Applied Mathematics (1)
- Other Computer Sciences (1)
- Other Education (1)
- Other Physical Sciences and Mathematics (1)
- Other Statistics and Probability (1)
- Quantitative, Qualitative, Comparative, and Historical Methodologies (1)
- Social and Behavioral Sciences (1)
- Sociology (1)
- Software Engineering (1)
- Statistical Methodology (1)
- Statistical Models (1)
- Keyword
-
- Archimedean Fields (1)
- AutoCert (1)
- Axiom (1)
- Completeness (1)
- Computer Science Education (1)
-
- Hypothesis Testing (1)
- Industry Case Study (1)
- Industry Questionnaire (1)
- Industry Survey (1)
- Logic (1)
- Non-Archimedean Fields (1)
- Nonstandard Analysis (1)
- Ordered Fields (1)
- Prover (1)
- Software Engineering Education (1)
- Software Globalization (1)
- Software Internationalization (1)
- Software Localization (1)
- Statistics (1)
- Publication Type
Articles 1 - 3 of 3
Full-Text Articles in Other Mathematics
Completeness Of Ordered Fields, James Forsythe Hall
Completeness Of Ordered Fields, James Forsythe Hall
Mathematics
The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the real numbers, while a couple are not as well known and have to do with other areas of mathematics, such as nonstandard analysis. Continuing, we study the completeness of non-Archimedean fields, and provide several examples of such fields with varying degrees of properties, using nonstandard analysis to produce some relatively "nice" (in particular, they are Cantor complete) final examples. As a small detour, …
Automated Theorem Prover Axiom Management, Ashley T. Holeman, Ewen Denney
Automated Theorem Prover Axiom Management, Ashley T. Holeman, Ewen Denney
STAR Program Research Presentations
Automated Theorem Provers (ATPs), are computer programs that use collections of axioms,which are logical statements assumed to be true, in order to prove conjectures. NASA uses these programs to verify safety and functional requirements in domains like Guidance, Navigation, and Control. There are about 30 axioms on each major topic including the theory of coordinate systems, elementary arithmetic and linear algebra. These axioms have been created over the duration of many projects and combined into a single file. One task is to manage the axioms by arranging them into logical sections, deleting unnecessary ones and rewriting some into a more …
Software Internationalization: A Framework Validated Against Industry Requirements For Computer Science And Software Engineering Programs, John Huân Vũ
Master's Theses
View John Huân Vũ's thesis presentation at http://youtu.be/y3bzNmkTr-c.
In 2001, the ACM and IEEE Computing Curriculum stated that it was necessary to address "the need to develop implementation models that are international in scope and could be practiced in universities around the world." With increasing connectivity through the internet, the move towards a global economy and growing use of technology places software internationalization as a more important concern for developers. However, there has been a "clear shortage in terms of numbers of trained persons applying for entry-level positions" in this area. Eric Brechner, Director of Microsoft Development Training, suggested …