The Second International Workshop on automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by ...
详细信息
ISBN:
(数字)9783540479970
ISBN:
(纸本)9783540666721
The Second International Workshop on automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.
Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only th...
详细信息
ISBN:
(纸本)9789881925367
Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only theoretically explains the reasons why MOOCs exceed all the previous education models, but also empirically proves it with voluminous facts and data. The author conducts this research in the hope of enlightening the online education platform of other types. Besides, this paper provides the model framework and strategy to multidimensional educational review based on MOOCs. The model and strategy are applicable not only to MOOCs, the large-scale online education, but also to various online education platforms.
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in...
详细信息
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in the above loop is not linear, the loop is called nonlinear. In this paper, we investigate how to solve the termination of the above loop by deciding whether a fixed point exists, when the constraints are the union of intervals and the updating functions are polynomials. Furthermore, when all fixed points are on the boundaries of the union of intervals, we also establish a corresponding necessary and sufficient condition of nontermination.
With the latest development in deep learning, today's models can easily reach or even exceed the human level in many downstream tasks. However, when it comes to estimating the probability of persistent events, tra...
详细信息
暂无评论