103 Slices
Medium 9781601322401

Content Development for Distance Education in Advanced University Mathematics Using Mizar

Hamid R. Arabnia, Azita Bahrami, Fernando G. Tinetti, Leonidas Deligiannidis, George Jandieri, and Ashu M. G. Solo CSREA Press PDF

Int'l Conf. e-Learning, e-Bus., EIS, and e-Gov. | EEE'13 |

321

Content Development for Distance Education in Advanced

University Mathematics Using Mizar

Takaya IDO1 , Hiroyuki OKAZAKI1 , Hiroshi YAMAZAKI1 , Pauline Naomi KAWAMOTO1 ,

Katsumi WASAKI1 , and Yasunari SHIDAMA1

1 Shinshu University, 4-17-1 Wakasato Nagano-city, Nagano 380-8553, Japan

Abstract— The Mizar project focuses on the formalization of mathematical theorems and their proofs using a formal descriptive language. It is an international joint project concerning the construction of a library system that will make automatic verification possible by a computer. The purpose of this study is to develops contents for distance education programs in advanced university mathematics using Mizar, and here we report on the current situation of this study.

Keywords: Formal Verification, Mizar, Euclidean Algorithm

1. Introduction

When teaching mathematical content to students who have varying levels of knowledge and understanding, making the material perfectly understandable without lapses in logic can be exceedingly difficult. This is not simply limited to the topic of logic algorithms covered in the present study.

See All Chapters
Medium 9781601323149

Session - Late Breaking Papers and Position Papers: E-Learning, E-Business, Enterprise Information Systems, and E-Government

Hamid R. Arabnia, Azita Bahrami, Fernando G. Tinetti, Leonidas Deligiannidis, George Jandieri, and Ashu M. G. Solo CSREA Press PDF
Medium 9781601322401

Automated Quickly Extracting Special Chemical Words for Food Security Problem

Hamid R. Arabnia, Azita Bahrami, Fernando G. Tinetti, Leonidas Deligiannidis, George Jandieri, and Ashu M. G. Solo CSREA Press PDF

198

Int'l Conf. e-Learning, e-Bus., EIS, and e-Gov. | EEE'13 |

Automated Quickly Extracting Special Chemical Words for

Food Security Problem

Liu Jinshuo1 , Yang Nanhai2 , Sun Chaonan2!, Zhang Zhi1 , Yang wei3 , Zhang Yulong1

1. Computer Science School, Wuhan University, P. R. China

2. International School of Software, Wuhan University, P. R. China

3. Hu Bei Institute of Standardization, P. R. China

Abstract: Automated extracting Special Chemical Words (SCWs), is a key procedure of determining the food security problem. This paper proposes an approach combining statistical and our rule-based method, to automatically quickly extract the

Special Chemical Words (SCWs) crawled from the internet. The method includes

Chinese naming rule, pairwise rule, word segmentation, and statistics for Frequency of Likely-Token Comparison (FOLTC). The performance of the approach is evaluated by the real data set crawled from 5 the food-concerned websites. The accuracy is

89%.

Keywords: FOLTC; Chinese naming rule; Food safety;

See All Chapters
Medium 9781601322401

Information Quality Assessment for E-Government Systems

Hamid R. Arabnia, Azita Bahrami, Fernando G. Tinetti, Leonidas Deligiannidis, George Jandieri, and Ashu M. G. Solo CSREA Press PDF

Int'l Conf. e-Learning, e-Bus., EIS, and e-Gov. | EEE'13 |

169

Information Quality Assessment for E-Government Systems

Mona A. Alkhattabi

Assistant Professor

College of Computer Sciences and Information

Imam Mohammad Bin Saud University

P.O.Box 92309 Riyadh11653 Saudi Arabia

Monaalkhattabi@ccis.imamu.edu.sa

Mkhattabi@imamu.edu.sa

Abstract. E-government systems offer a promising solution as an information exchanging channel. Enhanced technology could signify faster and easier access to information but does not of necessity guarantee the quality of this information. Hence it is crucial to develop valid and consistent methods of quality measurement and accomplish careful information quality assessments. Information quality frameworks are developed to appraise the quality of information systems, in general from the designers’ perspective. The latest proliferation of e-services and egovernment mainly, rises the require for a new quality framework in the context of e-government systems. The major contribution of this research is to propose a new information quality framework, we will report the results based on original survey data and factor analysis.

See All Chapters
Medium 9781601322401

An Online Methodology For Individualized Education

Hamid R. Arabnia, Azita Bahrami, Fernando G. Tinetti, Leonidas Deligiannidis, George Jandieri, and Ashu M. G. Solo CSREA Press PDF

118

Int'l Conf. e-Learning, e-Bus., EIS, and e-Gov. | EEE'13 |

An Online Methodology For Individualized Education

Daniel D. Gajski1, Quoc-Viet Dang1, and WenLiang He2

Henry Samueli School of Engineering, University of California, Irvine, CA, United States

2

School of Education, University of California, Irvine, CA, United States

1

Abstract - Online courses have been debated by various sources, including Governor Jerry Brown, the UC regents, and numerous college administrators, faculty, and students.

The motivation behind such discussion is varied. Since there is no standard in online education, it has produced erratic results in terms of student performance and costs to students as well as administration. Online tools, if managed and prepared for properly, have the opportunity to provide the highly regarded individualized learning experience of the small classroom with the lower costs of large lecture halls while decreasing overall overhead costs. This article presents tools and a methodology to provide the small classroom experience in a much larger setting while keeping overall costs and time commitment down as well as improve overall student performance.

See All Chapters

See All Slices