This paper describes the hardware and software design of the kid size humanoid robot systems of the PERSIA Team in 2009. This year, our developments for the humanoid robot is include: the design and construction of our new humanoid robots structure and implementation a new recurrent hybrid neural network for walking control. The control system consists of two neural network controllers, two standard PD controllers and robot walking planar. The proposed neural network controller has three layers, which are input, hidden and output layers. The project is described in two main parts: Hardware and Software. The hardware section consists of the mechanical structure and the driver circuit board that Each robot is able to walk, fast walk, autonomously get up, kick and dribble when it catches the ball and The software is developed a robot application which consists of motion controller, autonomous motion robot, self localization based on vision system, AI, Trajectory planning and Network. The project is still in progress and some new interesting methods are described in the current report.

In attempt to develop an intelligent agent based model for deadlock detection in Virtual Knowledge Communities (VKC), shadow and detector agents were used to facilitate the detection process in the design. A mathematical model based on the design for deadlock detection and resolution in multi-agent communities was developed. The prototype implementation was carried out using Java platform technology. Experimental result is satisfactory in addressing the issue of deadlock problems in knowledge sharing in agent-based VKC.

We look at a new approach to mathematical constructions. Using GeoGebra, we first do dynamic analysis and exploration. Again with GeoGebra, we then do a strict compass and straightedge constructions. Finally and yet again with GeoGebra, we do dynamic testing and discussion of proof. In this paper, we work through a complete example of construction a triangle and discuss our results of using this method in the classroom.

Today, medical doctors are dealing with more complex diagnostic methodologies, and with increasing volumes of medical information related to delivery of health care in various medical centres and institutions around the world. Modern information technology offers new opportunities in the ability to deliver cost-effective health care to patients, and in addressing the challenges posed by increasingly complex procedures involved in medical diagnostics and investigations.

In this study, I researched three cases of educating mathematics with computer for the gifted students in Korea. The findings show that students were motivated to study math by various reasons (making their beautiful works, searching videos related with math and making materials for others). Students couldn’t these activities without GeoGebra and internet connection. Without GeoGebra, students couldn’t handle mathematical objects easily. Motivation outside mathematics could also help learning mathematics.

In this work we submit the results obtained for the building of a statistical model of the Arabic language, adopting for a word the prefix*-stem-suffix structure based on the lattice. That solution allowed us to keep all the possibilities of word segmentation, which is one of the issues we have met when building the aforementioned model. The language has been evaluated from a corpus made up of 100K words and has been tested on a corpus of 7K words. The results and the analysis are submitted in this document.

Software maintenance effort is playing a very important role for the development of the software. In maintenance phase user request for change and effort required for the maintenance of software is more as compare to the over all development of the software. Enhanced maintenance is very important factor among all factors in the software maintenance. In maintenance effort distribution, about fifty percent (50%) of effort consume by the Enhanced maintenance. To reduce these effort additional requirements manipulation model is used. Additional requirements manipulation model is the modular library of Design, coding and testing of functional, non-functional and the domain requirements. Although additional requirement manipulation is reduce the Enhanced maintenance model effort. But highly risk is involve in addition of a new module or replacement of the module form the existing software on user request to reduce the risk RMMM (Risk Mitigation, Monitoring and Management) Plan as to use for the review of the risk and for the risk planning.

The present paper examines the behavior of Shift-insertion sort (insertion sort with shifting) for normal distribution inputs and is in continuation of our earlier work on this new algorithm for discrete distribution inputs, namely, negative binomial. Shift insertion sort found more sensitive for main effects but not for all interaction effects compared to conventional insertion sort.

Support Vector Machines (SVM) has shown a range of promising applications on classification problems. In this paper, we propose the genetic algorithm that employs Self-Adaptive Mutation Rate (SAMR) to develop kernel functions for SVM classifiers. The proposed SAMR model implemented the hybrid model for three advanced non-linear classification algorithms and shows competitive results in comparing to Grid SVM. Five publicly available datasets, cross validation correctness for Area Under Curve (AUC) have been involved. Improvements achieved may lead to biomarkers results.

The aim of this study is to identify prevalence of drug use and to examine undergraduate students’ perceived risks of substance use in Timis County area. This study is part of a type A grant financed by the National University Research Council. We conducted a cross sectional study using a multistage stratified cluster sample design to produce a representative sample of undergraduate students for Timis County, Romania. A 126-item questionnaire was developed to investigate health-risk behaviours of young adults. Eighteen items regarding illicit drug use suggesting different intensity of use were listed. The response categories were “no risk”, “slight risk”, “moderate risk”, “great risk” and “don’t know”.

The aim of this study is to analyze self-reported driving-related behaviour among undergraduate students studying in Timis County area. This study is part of a type A grant financed by the National University Research Council. We conducted a cross sectional study using a multistage stratified cluster sample design to produce a representative sample of undergraduate students for Timis County, Romania. A 126-item questionnaire was developed to investigate health-risk behaviours of young adults and 6 items were dedicated to driving-related behaviour.

In network systems design, it is often difficult to quantify the impact of network performance brought by the requirement changes because of the complexities and dependencies among the changed and unchanged requirements. In this paper, the relations of these dependencies such as bandwidth size, number of user etc are analyzed and established. The scope of the impact caused by requirement changes is identified using Kraft inequality and the impact was quantified. A minimal closure algorithm developed to quantitatively evaluate the effect of requirement changes is presented. Lastly, the feasibility of this evaluation algorithm is shown through a case study.

A study on the concept of “personalized information filtering” system was carried out. Natural Language Processing (NLP) was used to tag the words, and metrics such as TF-IDF was used to weigh each term in the document. Relevance feedback was used to get users’ judgments. The approach promises to push relevant information directly to the user in a timely and efficient manner.

Cooperative neural networks have been used for the last few decades in a broad variety of applications. If the application is conclusive or decision based, like in classification or clustering problems, then it is suitable to use. While measuring the reliability or the failure aftermaths, it has been proved that essential constituent which assist in enhancing the reliability is having no unitary point of failure in a cooperative neural network. In this paper we have studied the reliability of any cooperative neural network and made a review of the possibility of implementing probabilistic mathematical model to check whether a cooperative neural network is reliable and few general results are provided for the reliability evaluation.

The paper statistically analyzes Gauss Seidel method of solving a system of linear equations AX=B, involving n variables and n independent linear equations, when A and B are filled with random numbers from discrete uniform [1, 2, 3,…k] variates. It is observed that the number of iterations (r) can be predicted by a third degree polynomial in n, independent of k.

The aim of the present paper is to analyze the cinematic unevennesses. Tooth generation by envelope curve inserts profile errors that are independent on tooth charging. It is proposed a mathematic calculus model in order to get the profile error inserted by envelope curve tooth generation. The calculations based on the proposed model demonstrate profile errors with maxim values 53 um.

The main objective of this work is the design and simulation with the math software GeoGebra, of a journey to Mars for a spacecraft launched from Earth, following a Hohmann Transfer Orbit (HOT) to complete the travel. Mars has fascinated mankind since antiquity. We are seeing a resurgence of this interest in the wake of many successful attempts to land on Mars. In this paper we want to harness the power of algebraic and geometric visualizations that GeoGebra offers us to make some constructions of real simulations of the orbit traced by a spacecraft to reach the red planet.

Higher education needs to be conveyed through a certain proper context and presented correctly to students of forthcoming generations. They will have the possibility to choose the faculty/college based on personal preferences and desires such as: quality, tradition, location, general and specifically particularized conditions. The model proposes adding the context to the competences. Competence management and construction is an arduous task and implies high costs. In domains as higher education and companies / establishments recruiting employees are requisite the elevated degree of competence. In literature some specific models were developed for competence construction. Numerous products had been developed for managing and constructing ontology. Also there are some tools that allow the mapping of ontologies, which offer competence management. Based on similarities between the ontology and competence management, we proposed the usage of adequate models in our previous work, a model that manages and allows competence construction in a similar fashion as tools for ontology management. Specific user interface will allow the construction and management of the competence context in order to enrich the capabilities of the model. The proposed model ameliorates competence construction and management by describing the context in which the competence is acquired. Users (the future students) will be able to make a more accurate choice. The work is done under the project PNII 91-047/2007-2010.

Practically, for all real measuring devices the result of a measurement is a convolution of an input signal with a hardware function of a unit φ. We call a spline to be φ-interpolating if the convolution of an input signal with a hardware function of a unit φ coincides with the convolution of the spline with the hardware function. In the following article we consider conditions imposed on the hardware function φ under which a second- and third-order φ-interpolating spline exists and is unique. Algorithms of φ-interpolating splines construction are written out.

This paper presents a new evolutionary algorithm called Quantum Inspired Scatter Search Algorithm (QISSA). This one is new framework relying on Quantum Computing principles and Scatter Search algorithm. The contribution consists in defining an appropriate representation scheme that allows applying successfully on combinatorial optimization problems some quantum computing principles like qubit representation and superposition of states. This representation scheme is embedded within a Scatter Search algorithm leading to an efficient hybrid framework which achieves better balance between exploration and exploitation capabilities of the search process. Experiments on two combinatorial problems show the effectiveness of the proposed framework and its ability to achieve good quality solutions.

The paper presents general information about the CABRI géométrie applications designed by the “Centre National de la Recherche Scientifique” - “Joseph Fourier’’ University, from Grenoble. The last version of the CABRI 3D software has revolutionized in many educational systems the teaching – learning – evaluation process of the Euclidean Geometry in the tridimensional space. For the stimulation of the Mathematic teachers’ interest in the use of this software, the paper shows the application’s possibilities to explore dynamically and interactively the study of the Geometry, possibilities offered both to teachers and students. As well, for the same purpose, there are presented the advantages brought by the use of the CABRI 3D application in the teaching design, in comparison to the traditional didactic approach. There have not been omitted the digital opportunities offered by the software in what regards the achievement of the geometrical constructions, a determining step in facilitating the understanding and acquiring the solving techniques, and that, at the same time leads to the growth in the quality of the learning results.

In this paper, a new fuzzy linear programming (FLP) based methodology using a particular non-linear membership function, called a modified logistic membership function has been developed. The modified logistic membership function is well formulated and its flexibility in capturing the vagueness factor in fuzzy resource variables has been established. The well developed methodology of fuzzy linear programming provides a strong confidence in applying it to real world refinery production problem. In applications, the real refinery model has been developed and a very significant comparative study has been carried out between fuzzy solutions and non-fuzzy classical solutions. Finally, comparing the optimal objective function solutions with a modified logistic membership function and a triangular membership function, one can observe more outstanding performance for the current model developed here than for the classical model.

One of the main issues in designing a good course management system for the Distance Learning is the turnaround time, such as the time consuming in the correction process of the assignments to a course been assign with relatively large number of students. Here, the checking and correction of the homework submitted by the students often takes a lot of time and effort. This is especially true for digital logic design exercises, where a variety of functionally equivalent designs is possible. In this paper we present our vision to solve this problem for the Distance Learning system. We show how to apply a novel signature analysis techniques known as concurrent intermediate checking register CIC to check the circuits designed by the students, at predefined time instants called check points, which have the property that the original signature becomes equal to a function of the circuit responses. As the self test is run on the students’ own workstation, the system provides immediate feedback about whether a circuit is working, and it allows to reduce the number of false solutions submitted by the students. We have verified the desired properties using selected high-level synthesis benchmarks.