The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Schelling's model of segregation looks to explain the way in which particles or agents of two types may come to arrange themselves spatially into configurations consisting of large homogeneous clusters, i.e. connected regions consisting of only one type. As one of the earliest agent based models studied by economists and perhaps the most famous model of self-organising behaviour, it also has direct...
In May 1954, a secret military unit (m/u 01168) was established in the USSR Ministry of Defense. This unit was in fact a new military research organization, Computing Center of the USSR Ministry of Defense No 1 (CC number 1 USSR MD, now CRI-27 Russian Federation MD). The founder of the Computing Center number 1 of the USSR Ministry of Defense was a Soviet scientist who from scratch created the basis...
The present paper describes the strategies used to compile and teach an Informatics course developed during last years at Tallinn University of Technology. The strategy is based on the main principles of blended learning and the analysis of the results of experiments with students from different faculties. Various tests were carried out to identify students' levels of knowledge and preferences in...
In this paper a reflection on the relationships among random-walk-with-back step, lazy walk and traditional Page Rank is made. It is demonstrated that though all of them differ semantically, they still can be computed using the very same algorithm.
In previous work we used data collected from studies of school career paths of graduates of Computer Science Faculty in Mazatlan city (FIM), of the Autonomous University of Sinaloa (UAS) in Mexico, to analyze and model those data with mathematical tools and discover information that allows an efficient and effective selection of candidates to enter university, through a prediction of the academic...
In this paper we describe Generalized One-sided Concept Lattices (GOSCL) as facet-like structures. Facet-like structures occur in many computer science disciplines as some hierarchical structures. GOSCL constitute from (objects, properties) pairs known as the formal concepts. The hierarchical structure of formal concepts, ordered by the generalization and specialization among the concepts, forms a...
Replica exchange molecular dynamics (REMD) has been used by researchers to improve sampling rates in molecular dynamics simulations. In traditional t-REMD, individual replicas run in parallel at different temperatures. The neighboring replicas exchange temperature based on a criterion after a time interval. In this research, we implemented REMD on a computational framework, Work Queue, and evaluated...
Creation of models is becoming an important part in the education of informatics besides algorithmization and programming. The L-systems are an appropriate example concerning use of computer science while modeling real world. In this paper we describe a proposal of teaching of plant's growth modeling by the L-systems at a high school. The main idea is an algorithmic creation of model of a real object...
This paper presents an algorithmic tool that was used to create panels of experts for the synoptic assessment of a software engineering project course that is targeted towards fostering innovation and creativity in software engineering students. Synoptic assessments succeed with the ability to formulate expert evaluation panels. Yet many industry experts are busy professionals, and hence, the process...
A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal specification-based development using a web-integrated environment in an undergraduate software engineering course at two institutions at different levels,...
Consider the following process of activation on a directed graph $G(V,E)$. In round zero, a set of vertices, called the seeds, are active. Thereafter, a vertex is activated in a round if at least a $\rho\in(\,0,1\,]$ fraction of its in-neighbors are active in the previous round. Once a vertex is activated, it remains active. Assuming the strong connectivity of $G$, this paper proves the existence...
This special session is organized to provide an interactive forum for the introduction of a set of new curriculum modules developed under IEEE's Real World Engineering Projects (RWEP) program. The modules, which are representative of a larger collection of curriculum modules available to the public via an open-access RWEP web portal, are designed for use in the first-year engineering and computer...
The contribution deals with a multidisciplinary issue of closer connection of Discrete Mathematics in study program Applied Informatics. The main objective is to determine whether and how the students' mathematical knowledge influenced the courses that are taught in the Department of Computer Science. Therefore the one of first tasks of this article is to describe how to propose the methodology which...
Twitter is an online social network service to supply the place to be released the short sentences as free. Recently, this service has a few hundred million users, and we can collect their Tweets easily. In this paper, we propose the climatic hazard detection method by using Twitter as a social sensor and by using neural network as a machine learning method. However the data size of the text classification...
Perfect authentication is unachievable at the scales required for the smart grid, but we continue to design systems as if it had been achieved. Our ongoing research, using a viewpoint inspired by the concept of trust, along with results from decision theory, is attempting to provide a foundation for system design that explicitly addresses uncertainty of authentication. Although progress on the mathematical...
Context-aware e-learning is an educational model that foresees the selection of learning resources to make the e-learning content more relevant and suitable for the learner in his/her situation. The research reported in this paper was purposed to improve an existing system for personalized e-learning with contextualisation features. This has been done by defining a context model, an ontology-based...
This paper deals with the blow-up property of the positive solution for a reaction diffusion system with localized terms ut − Δu = emu(0,t)+nν(x,t), νt − Δν = epu(x,t)+qν(0,t) under null Dirichlet condition. The blow up set and blow up rates are obtained.
In this paper, a stochastic optimal model of the exploration of exhaustible resources has been established with the aim to maximize the profit of extraction and by the assumption that both the price and the reserve of resource following the geometric Brownian motion. The HJB equation of the model and its economics explanation are deduced. Moreover, it is shown that the price of the exhaustible resource...
In computer science and technology specialty, software curriculum hold very important position, while Compile Principle is regarded as one of those key special courses. However, currently many Colleges and some Universities have removed Compile Principle course from their curriculum schedule, while the teaching of computer languages is obviously strengthened, in this way the students graduated from...
In this paper, fuzzy comprehensive evaluation and Matlab combining method is applied to the assessment of cadres, the first divided into four categories based on attributes in each category was divided into four categories, first in the various factors in the implementation of a single judge, and then together to implement a secondary evaluation, and finally given the realization of the Matlab model...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.