the proceedings contain 20 papers. the special focus in this conference is on programming languages: implementations, logics, and programs. the topics include: Narrowing the narrowing space;an object calculus with alg...
ISBN:
(纸本)9783540633983
the proceedings contain 20 papers. the special focus in this conference is on programming languages: implementations, logics, and programs. the topics include: Narrowing the narrowing space;an object calculus with algebraic rewriting;inheritance and selective method dispatching in concurrent Haskell;overriding operators in a mixinbased framework;resolution for logic programming with universal quantifiers;a declarative approach to concurrent programming;transformation of divide & conquer to nested parallel loops;transforming lazy functions using comportment properties;transformations for efficient evaluations in functionalprogramming;inline expansion;higherorder value flow graphs;intuitionistic implication in abstract interpretation;an openended finite domain constraint solver;semantics and compilation of recursive sequential streams in 81/2;implementation of term rewritings withthe evaluation strategy;reflections on reflections;evaluation under lambda abstraction;selective recomputation for handling sideeffects in parallel logic programs;tracing lazy functional computations using redex trails and functionalprogramming and geometry.
In the past years, there was a growing interest in teaching computational thinking in elementary and high school institutions. Although the idea is spread and well accepted among academics, it has been rarely put in p...
详细信息
ISBN:
(纸本)9789897582394
In the past years, there was a growing interest in teaching computational thinking in elementary and high school institutions. Although the idea is spread and well accepted among academics, it has been rarely put in practice in the classrooms. Currently, when a programming-related activity is offered, with some few exceptions, it is usually presented as an extra-curricular (optional) activity. However, it does not need to be disassociated from the common school curriculum. the present work is based on the idea that programming logic can be used transversally with different subjects, such as history, geography, science, literacy, mathematics, among others. the authors envisage to accomplish this goal by enabling programming as a supporting tool for teachers and students, allowing them to create digital interactive books. the tool, named piBook, has its main focus in the production of interactive storytelling using non-linear narratives. Besides, it is also possible to create textual games (such as role-playing games), interactive activities (such as quizzes), tutorials, chatbots and similar applications.
this paper proposes an automatic construction of feature extractor for liver fibrosis detection using a multi objective genetic programming approach in which a constructed feature extractor was measured in different a...
详细信息
ISBN:
(纸本)9781509064779
this paper proposes an automatic construction of feature extractor for liver fibrosis detection using a multi objective genetic programming approach in which a constructed feature extractor was measured in different aspects in which becomes the objectives of the evolutionary run. the result of the evolutionary run is a set of solutions with different strengths and weaknesses. A solution from each experiment is selected and compared with a benchmark handcraft method in by each experiment and top-five manners. One of the best result obtained has 2.09 fibrosis estimation error which is less than the benchmark method with 2.63 fibrosis estimation error.
In recent years, the importance of programming skills is increasing due to advances in information and communication technologies. However, the difficulty involved in learning programming is a major problem for novice...
详细信息
ISBN:
(纸本)9781538658260
In recent years, the importance of programming skills is increasing due to advances in information and communication technologies. However, the difficulty involved in learning programming is a major problem for novices. therefore, we propose a logic error detection algorithm based on structure pattern and error degree. Structure pattern is an index of similarity based on abstract syntax trees, and error degree is a measure of appropriateness for feedback. In the present paper, we define structure pattern and error degree and present the proposed algorithm method. Implementation and experimentation using actual data are also considered.
Providing timely and meaningful feedback of programming assignments to students is very important to ensure a smooth learning curve. However, this can be a time-consuming task for teachers and instructors. there are s...
详细信息
ISBN:
(纸本)9781665443616
Providing timely and meaningful feedback of programming assignments to students is very important to ensure a smooth learning curve. However, this can be a time-consuming task for teachers and instructors. there are some tools that already provide support for grading programming assignments, and some are already integrated with learning management systems that allow teaching staff to manage all this information in a more effective way. In this work, an analysis of tools for automatic grading of programming assignments in Moodie is carried out. A comparison of these tools is presented and one of them is tested and recommended for its future implementation and deployment. Finally, some recommendations for further improvements are described.
With rapid development of information technology, the integration of special disciplines and information technology becomes more and more obvious. As for computer teaching to non-computer majors in universities, it ha...
详细信息
ISBN:
(纸本)9781424441983
With rapid development of information technology, the integration of special disciplines and information technology becomes more and more obvious. As for computer teaching to non-computer majors in universities, it has become the urgent demand to serve different specialties and concentrate on application. In recent years, our university has done a lot of new exploration and reform on computer education, and accumulated some experience, one of which is attempting to introduce case teaching into programming courses. According to the characteristic of object-oriented programming subject and the features of the case-based teaching, the dissertation researches into the case-based teaching in the teaching on object-oriented programming withthe action research method so as to provide experience and suggestion for the program design teaching, which promotes development of the computer teaching and enriches the teaching methods.
Floor storage systems are used in the shoe industry to store fashion products of seasonal collections with low quantity and high variety. Since space is precious and order picking must be sped up, stacking of shoe box...
详细信息
ISBN:
(纸本)9781424447350
Floor storage systems are used in the shoe industry to store fashion products of seasonal collections with low quantity and high variety. Since space is precious and order picking must be sped up, stacking of shoe boxes should be optimized. the problem is modeled by assigning an integer code to each box basing on shoe characteristics (model, material, color, and size) and trying to force similar boxes into near locations to improve pickers' ability of fast order retrieval. the model is encoded in Constraint Logic programming and solved comparing different strategies, also using Large Neighborhood Search.
In this paper, we reformulate the optimization in discriminative training (DT) of HMMs as an ellipsoid constrained quadratic programming (ECQP) problem, where a second order of the nonlinear space is adopted. We show ...
详细信息
ISBN:
(纸本)9781615673780
In this paper, we reformulate the optimization in discriminative training (DT) of HMMs as an ellipsoid constrained quadratic programming (ECQP) problem, where a second order of the nonlinear space is adopted. We show that the unique optimal solution of ECQP can be obtained by an efficient line search and no relaxation is needed as in a general quadratically constrained quadratic programming (QCQP). Moreover, a subspace combination condition is introduced to further simplify it under certain cases. the concrete ECQP form of DT of HMMs is given based on a locality constraint and reasonable assumptions, and the algorithm can be conducted to update Gaussians jointly or separately in either sequential or batch mode. Under the perspective of ECQP, relationships between various popular DT optimization algorithms are discussed. Experimental results on two recognition tasks show that ECQP considerably outperforms other popular algorithms in terms of final recognition accuracy and convergence speed in iterations.
this paper is about a dilemma of an HR manager of an international company. the major problem of HR managers is to minimize their training and development budgets. Making a training budget is not so complex;but the im...
详细信息
ISBN:
(纸本)9789806560598
this paper is about a dilemma of an HR manager of an international company. the major problem of HR managers is to minimize their training and development budgets. Making a training budget is not so complex;but the important, yet often neglected, part of budgeting is the costs of absence of employees. In every kind of training, Whether traditional or e-learning, there is a cost for the time being spent away from work. Some of the managers think that this is an idle time for company, plus the employee is paid during this period. this paper focuses on the costs of the absence and their effect on training budgets. Some scenarios were developed withthe help of an FIR manager of an international firm. the feasibility of these scenarios was studied by using integer programming.
the evolution of cluster computers based on multicores, many cores and GPGPU accelerators is encouraging application developers to write hybrid parallel programs. Hybrid parallel programming is quite complex as it req...
详细信息
ISBN:
(纸本)9781728143927
the evolution of cluster computers based on multicores, many cores and GPGPU accelerators is encouraging application developers to write hybrid parallel programs. Hybrid parallel programming is quite complex as it requires use of multiple programming paradigms such as MPI, OperiMP, CTIDA/OpenCL to exploit the varied computational power available in a system. the paper brings out the challenges faced by application developers desiring to use heterogeneous HPC clusters. It describes a unified development environment which eases the complete development lifecycle of hybrid parallel programs on a HPC cluster. the software is capable of providing access to multiple clusters of different architectures, owing to the modularity of design and web based approach. the paper also serves as a good resource for researchers interested to gain an insight into hybrid parallel programming.
暂无评论