检索结果-内蒙古大学图书馆

8th IFIP World Conference on computers in Education, WCCE 2005

作者： Van Der Westhuizen, D. Henning, E. Department of Mathematics Science Technology and Computer Teaching University of Johannesburg South Africa Department of Education Studies University of Johannesburg South Africa

ISBN: (纸本)1920017119

In this paper we argue for the serious need for research on the theme of not so much "the professor at risk", but "the student at risk" in online learning. Our aim is thus not to try to save the professor and the lectern from extinction. We are more seriously pleading the case for research in online learning to explore the learning dynamic of the student masses that are now 'multimediated' learners. The type of research that we are advocating is inquiry into the thinking that grounds online learning itself. The theoretical framework of online learning draws on a wide range of theoretical substance: theory of media and of semiotics (Tomaselli & Sheperson, 1996;Ryder, 1998), theory of distributed cognition (Brown, 2000;Brown, Collins & Duguid, 1989;Salomon, 1999;Saljö,1999), theory of activity (Engeström, 1991) and theory of learning and of knowledge (Bransford, Brown & Cocking (eds.) 2000;Vygotsky, 1992;Kozulin, 1990;Rogoff, 1990;Phillips, 2000). Our concern regarding research is thus not so much with issues of access, course delivery and 'packaging' and of management of all of these enterprises, but about learning design, about the shifting epistemologies that are grounding online learning (Henning & Van Rensburg, 2002;Henning & Van Der Westhuizen, 2003), about issues of design of learning contents and the student engagement with and use of learning objects as raw asset data, issues of content as metadata, and issues of knowledge content and the place in the hierarchy/network of knowledge pools in a domain of learning. We are less motivated to look at products, of learning, although in randomised experiments, for example, as part of a whole plethora of mixed methods, we would advocate comparisons of learning outcomes, both off- and online. Nothing less, we argue, would be viable to address the complexities of learning of the new student population in its exciting multimedia environment. We make the claim that the field of online learning is still largely under-resea

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

teaching communication skills in software engineering courses

Teaching communication skills in software engineering course...

引用

2005 ASEE Annual Conference and Exposition: The Changing Landscape of Engineering and Technology Education in a Global World

作者： Liu, Chang Sandell, Karin Welch, Lonnie Ohio University Athens OH 45701 United States Department of Electrical Engineering and Computer Science United States Center for Teaching Excellence Ohio University United States Department of Electrical Engineering and Computer Science Ohio University United States

Communication skills are important to software engineers. Yet, this topic is sometimes overlooked in computer science and software engineering curricula. To address this problem, we attempted to explicitly teach communication skills in a software engineering course. We experimented with a number of approaches, including lectures by the instructor, student presentations, mini-lectures mixed with in-class discussions, and other in-class activities such as student-designed scenarios. The results of these approaches were mixed. There were approaches that clearly worked better than one or more other approaches;there were also approaches to which students with different backgrounds responded differently. Overall, after taking this course, students communicated better and were more self-confident in team environments. Our experience shows that with careful planning and innovative pedagogy, we can help our students become both technically competent software engineers or computer scientists, and good team players in the same time.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

A new penalty based genetic algorithm for constrained optimization problems

A new penalty based genetic algorithm for constrained optimi...

引用

International Conference on Machine Learning and Cybernetics, ICMLC 2005

作者： Hu, Yi-Bo Wang, Yu-Ping Guo, Fu-Ying Department of Mathematics Science Xidian University Xi'an 710071 China School of Computer Xidian University Xi'an 710071 China Computer Basic Teaching and Experiment Center School of Computer Xidian University Xi'an 710071 China

ISBN: (纸本)078039092X

Penalty functions are often used to handle constraints for constrained optimization problems in evolutionary algorithms. However it is difficult to control penalty parameters. To overcome this shortcoming, a new penalty function with easily-controlled penalty parameters is designed in this paper. The fitness function defined by this penalty function can distinguish feasible and infeasible solutions effectively. Meanwhile, the orthogonal design is used to generate initial population and design crossover operator. Based on these, a new genetic algorithm for constrained optimization problems is proposed. The simulations are made on five widely used benchmark problems, and the results indicate the proposed algorithm is effective. © 2005 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Formal communication semantics of SystemCdouble-struck F sign double-struck L sign

Formal communication semantics of SystemCdouble-struck F sig...

引用

DSD'2005: 8th Euromicro Conference on Digital System Design

作者： Man, K.L. Formal Methods Group Department of Mathematics and Computer Science Eindhoven University of Technology P.O.Box 513 5600 MB Eindhoven Netherlands

ISBN: (纸本)0769524338

In this paper, we define a formal communication semantics for SystemCdouble-struck F sign double-struck L sign that deals with concurrency and interaction. The communication semantics of SystemCdouble-struck F sign double-struck L sign is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemCdouble-struck F sign double-struck L sign is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemCdouble-struck F sign double-struck L sign. © 2005 IEEE.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

SystemCdouble struck F sign double struck L sign: A formalism for hardware/software co-design

SystemCdouble struck F sign double struck L sign: A formalis...

引用

2005 European Conference on Circuit Theory and Design

作者： Man, K.L. Formal Methods Group Department of Mathematics and Computer Science Eindhoven University of Technology P.O.Box 513 5600 MB Eindhoven Netherlands

ISBN: (纸本)0780390660

SystemCdouble struck F sign double struck L sign is a formal language for hardware/software co-design. Principally, SystemCdouble struck F sign double struck L sign;is the formalization of SystemC based on classical process algebra ACP. The language Is aimed to give formal specification of SystemC designs and perform formal analysis of SystemC processes. This paper, designed for the first-time user of SystemCdouble struck F sign double struck L sign;, guides the reader through modeling, analyzing and verifying designs using SystemCdouble struck F sign double struck L sign;. This paper Illustrates the use of SystemCdouble struck F sign double struck L sign;with two case studies taken from literature.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

An overview of systemCdouble-struck F signdouble-struck L sign

An overview of systemCdouble-struck F signdouble-struck L si...

引用

2005 PhD Research in Microelectronics and Electronics Conference

作者： Man, K.L. Formal Methods Group Department of Mathematics and Computer Science Eindhoven University of Technology P.O.Box 513 5600 MB Eindhoven Netherlands

ISBN: (纸本)0780393457

This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemC double-struck F signdouble-struck L sign, for the specification and analysis of SystemC designs. The semantics of SystemC double-struck F signdouble-struck L sign is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition transition system with a SystemC double-struck F signdouble-struck L sign process. In this paper, we first provide an overview of the current status of SystemC double-struck F signdouble-struck L sign and show some practical applications of SystemCdouble-struck F signdouble-struck L sign, as well as some key features and results of SystemC double-struck F signdouble-struck L sign. Then, we give an out-line for the latest developments of SystemC double-struck F signdouble-struck L sign and point out the direction for future work.

关键词： Systems engineering

来源：评论

学校读者我要写书评

暂无评论

ONE-TO-ONE TECHNOLOGY-ENHANCED LEARNING: AN OPPORTUNITY FOR GLOBAL RESEARCH COLLABORATION

引用

Research and Practice in Technology Enhanced Learning 2006年第1期1卷 3-29页

作者： TAK-WAI CHAN JEREMY ROSCHELLE SHERRY HSI KINSHUK MIKE SHARPLES TOM BROWN CHARLES PATTON JOHN CHERNIAVSKY ROY PEA CATHIE NORRIS ELLIOT SOLOWAY NICOLAS BALACHEFF MARLENE SCARDAMALIA PIERRE DILLENBOURG CHEE-KIT LOOI MARCELO MILRAD ULRICH HOPPE Research Center for Science and Technology for Learning National Central University 300 Jhongda Road Jhongli City 32001 Taiwan ROC Center for Technology in Learning SRI International 333 Ravenswood Ave BN-376 Menlo Park California 94025 USA Center for Learning and Teaching The Exploratorium 3601 Lyon Street San Francisco California 94123 USA Advanced Learning Technologies Research Centre Massey University Private Bag 11-222 Palmerston North New Zealand Learning Sciences Research Institute Nottingham University Jubilee Campus Wollaton Road Nottingham NG8 1BB UK University of Pretoria Telematic Learning & Education Innovation Lynnwood Road Hillcrest Pretoria South Africa 0002 South Africa National Science Foundation 4201 Wilson Boulevard Arlington Virginia 22230 USA Stanford Center for Innovations in Learning Stanford University Wallenberg Hall Building 160 450 Serra Mall Stanford CA 94305-205 USA Department of Cognition and Technology University of North Texas Matthews Hall 316-D PO Box 311337 Denton TX 76203-1337 USA Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109 USA Laboratoire Leibniz 46 Avenue Félix Viallet 38031 Grenoble Cedex France Institute for Knowledge Innovation and Technology OISE/University of Toronto 252 Bloor Street West Toronto Ontario M5S 1V6 Canada Swiss Federal Institute of Technology Ecole Polytechnique Fédérale de Lausanne 1015 Lausanne Switzerland Learning Sciences Lab National Institute of Education Nanyang Technological University 1 Nanyang Walk Singapore 637616 Singapore Center for Learning and Knowledge Technologies Växjö University MSI Växjö University Vejdes plats 6 och 7 351 95 Växjö Sweden Institute for Computer Science and Interactive Systems University Duisburg-Essen Building LF Lotharstr. 63/65 47048 Duisburg Germany

Over the next 10 years, we anticipate that personal, portable, wirelessly-networked technologies will become ubiquitous in the lives of learners — indeed, in many countries, this is already a reality. We see that ready-to-hand access creates the potential for a new phase in the evolution of technology-enhanced learning (TEL), characterized by "seamless learning spaces" and marked by continuity of the learning experience across different scenarios (or environments), and emerging from the availability of one device or more per student ("one-to-one"). One-to-one TEL has the potential to "cross the chasm" from early adopters conducting isolated design studies to adoption-based research and widespread implementation, with the help of research and evaluation that gives attention to the digital divide and other potentially negative consequences of pervasive computing. We describe technology-enhanced learning and the affordances of one-to-one computing and outline a research agenda, including the risks and challenges of reaching scale. We reflect upon how this compares with prior patterns of technology innovation and diffusion. We also introduce a community, called "G1:1," that brings together leaders of major research laboratories and one-to-one TEL projects. We share a vision of global research, inviting other research groups to collaborate in ongoing activities.

关键词： Technology-enhanced learning research collaboration pervasive computing wireless technologies

来源：评论

学校读者我要写书评

暂无评论

Adaptive control of nonlinear discrete-time system by least square support vector machine

Adaptive control of nonlinear discrete-time system by least ...

引用

International Conference on Machine Learning and Cybernetics, ICMLC 2005

作者： Xu, Jian-Qiang Wang, Jian-Jun Zhu, Jun Chen, Shu-Zhong Center of Mathematics and Physics Teaching Shanghai Institute of Technology Shanghai 200233 China Department of Computer Science and Technology East China Normal University Shanghai 200062 China

ISBN: (纸本)078039092X

In this paper we introduce the use of recurrent least square support vector machine algorithm for the adaptive control of a class of nonlinear discrete-time systems. The curse of dimensionality is avoided by using the finite time window. Advantage of the newly designed algorithm is that the computation of inverse matrix is avoided. Simulation results also verify the effectiveness of the algorithm. © 2005 IEEE.

关键词： Adaptive control systems

来源：评论

学校读者我要写书评

暂无评论

Work in progress - The WSU model for engineering mathematics education

Work in progress - The WSU model for engineering mathematics...

引用

Frontiers in Education - 35th Annual Conference 2005, FIE' 05

作者： Klingbeil, Nathan Mercer, Richard Rattan, Kuldip Raymer, Michael Reynolds, David Wright State University Dayton OH 45435 Department of Teaching Department of Mechanical and Materials Engineering Department of Mathematics and Statistics Department of Electrical Engineering Department of Computer Science and Engineering Department of Biomedical Industrial and Human Factors Engineering

ISBN: (纸本)0780390776

This paper summarizes progress to date on the WSU model for engineering mathematics education, an NSF funded curriculum reform initiative at Wright State University. The WSU model seeks to increase student retention, motivation and success in engineering through application-driven, just-in-time engineering math instruction. The WSU approach involves the development of a novel freshman-level engineering mathematics course EGR 101, as well as a large-scale restructuring of the engineering curriculum. By removing traditional math prerequisites and moving core engineering courses earlier in the program, the WSU model shifts the traditional emphasis on math prerequisite requirements to an emphasis on engineering motivation for math, with a just-in-time structuring of the new math sequence. This paper summarizes the development to date of the WSU model for engineering mathematics education, including a preliminary assessment of student performance and perception during the initial implementation of EGR 101. In addition, an assessment of first-year retention results is anticipated in time for the conference. © 2005 IEEE.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Formal communication semantics of SystemC/sup FL/

Formal communication semantics of SystemC/sup FL/

引用

Euromicro Symposium on Digital System Design

作者： K.L. Man Formal Methods Group Department of Mathematics and Computer Science Eindhovan University of Technology Netherlands

In this paper, we define a formal communication semantics for SystemC/sup FL/ that deals with concurrency and interaction. The communication semantics of SystemC/sup FL/ is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC/sup FL/ is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC/sup FL/.

关键词： Algebra Concurrent computing Formal verification Hardware design languages Formal languages Mathematics computer science Communication standards Protocols Equations

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：