Three new developments of density functional theory are reported here. First, we have developed a highly efficient first-principles method for excited electronic states, whose computational time scales linearly with the system size. Secondly, Neural Networks is introduced to construct the exchangecorrelation functional of density functional theory; and lastly, a rigorous first-principles formal...

Secondly combining group theory and singularity analysis we obtained some information about the similarity solutions of the fourth order generalized Boussinesq equation GBE4. It has been shown that this equation possess a three dimensional Lie algebra of the point symmetries and the similarity reductions due to these symmetries have been obtained.

This study is intended to inform the construct for teacher-learners’ transfer of technology first to their teaching dogma, secondly to their pedagogical praxis and ultimately for the students’ learning environment.. What evidence does the situated praxis of online discussions in the teaching of teachers offer to further the research of meaningful technology transfer into their classrooms? ABSTRACT

Algorithm research of task scheduling is one of the key techniques in grid computing. This paper firstly describes a DAG task scheduling model used in grid computing environment, secondly discusses generational scheduling (GS) and communication inclusion generational scheduling (CIGS) algorithms. Finally, an improved CIGS algorithm is proposed to use in grid computing environment, and it has be...

This paper I describes a method for chart parsing Lambek g rammars . The method is of part icular interest in two regards. Firstly, it allows efficient processing of g rammars which use necessity operators, mr extension proposed for handling locality phenomena. Secondly, the method is easily adapted to allow incremental proceasing of Lambek grammars , a possibility tha t has hitherto been unava...

languages --e.g., theoretical foundations, syntax, semantics, types, scope of Brief history of programming languages, Syntax, Semantics, Essentials, Paradigms Expression evaluation orders, Types, Recursion, Higher-order programming Programming Distributed Computing Systems: A Foundational Approach. type theory and the foundations of functional programming languages. Secondly, I would like to th...

Steps involved in converting a query into its equivalent internal form include generation of logically equivalent expressions, using equivalence rules, secondly providing enough information for extracting alternate solutions and finally optimizing the query. Queries written in high level languages are transformed into lower level forms by making use of relational algebra.

This paper presents our VolksBot robotic system. VolksBot is a flexible and modular mobile robot construction kit based on high value components. The concept behind the VolksBot system is the Physical Rapid Prototyping of mobile service robots. The paper firstly presents the concept on the Volksbot kit and secondly the current versions and already realized robotic variants and projects.

Identity and collective memory is one of the fascinating subjects in modern sociology. In Iran, it arose again as modern and government-nation discourse emerged, and has been endlessly discussed since then. Such subjects have assumed an increasing importance due to the multi-cultural and multi-ethical existence of Iranian society and recent global developments. Accordingly, the present study ha...

Heat EXchangers (HEX) that are used in City Gate Station (CGS) systems are modeled numerically to recover the exhaust waste heat. It was tried to find the best viscous model to obtain results in accordance with experimental results and to change the heat exchanger design. This HEX is used for recovering heat from exhaust flue gas with a mixture of 40% water and 60% ethylene glycol as the coolin...