MailMind is an application of backpropagation networks to the real world problem of sorting e-mail messages based upon the sender’s address. This paper presents the strategies employed in the project to adapt to the greatly varying properties of datasets in this domain, such as scale and time dependent change of the problem as well as extremes in noisiness and lack of variation. These strategie...

SMACH (Multi-Agent Simulation of Human Activity and Consumption in the Home) is a simulation platform that part EDF’s research development framework. It aims to use anticipate reduce energy consumption at different levels analysis (housing, neighborhood, city, country). The aim this article characterize “course-of-action” technological program by referring several years work. We mainly focus on...

Most model transformation approaches expressed to transform the static model structures of a system, but not involved with the behavioral model. Our previous model transformation [10] also focused on the structural model, especially class diagram, which was restricted to generate a detailed code. To solve this problem, we propose model transformation with both structural and behavioral models, ...

The article points to the need co-apply general principles of administrative proceedings with provisions constituting their concretization. This issue was referred stage initiation procedure. Attention drawn normative nature principles. importance in is presented. procedural steps body taken at initiating procedure are listed. methods were also indicated. Each act this related It has been shown...

Loopfrog is a scalable static analyzer for ANSI-C programs, that combines the precision of model checking and the performance of abstract interpretation. In contrast to traditional static analyzers, it does not calculate the abstract fix-point of a program by iterative application of an abstract transformer. Instead, it calculates symbolic abstract transformers for program fragments (e.g., loop...

recommendation to obtain a program that can be compiled. For this purpose, the Edlib tool [22] is used to compute the sequence alignment of the source-abstraction with recommended-abstraction (that is output by the RNN framework), based on edit distance. This sequence alignment is represented as a cigar string, a compact representation consisting of a chain of operators; primarily Match (=), In...

Abstract Since its independence, Morocco suffered from many economic, social, environmental, and urban challenges. To deal with the existing dysfunctions, State will look towards creating structuring projects, laws, national programs, etc. Except that all, measures taken to remedy this do not integrate population. The objective of study is participatory approach concretization in process sustai...

Abstract This paper presents a design model that supports the systematic steering and operationalization of sustainability in manufacturing industry at all corporate levels. Studies show (e.g. Ramboll Group, Smurfit Kappa) companies are aware both need for opportunities sustainability. Corporate means improving environmental social effects as well conditions, while operating profitably long ter...

Abstract The current rise of populism is often associated with affects. However, the exact relationship between and affects unclear. This article addresses question what distinctive about populist (appeals to) It does so against backdrop a Laclauian conception as political logic that appeals to morally laden frontier two homogenous groups, ‘the people’ ‘those in power’, order establish new hege...

The article aims to reveal the didactic potential of modern educational technologies used within framework fractal approach in teaching stochastics learners, show effectiveness practice experimentally. In course scientific research, authors employed analysis literary sources on philosophical and methodological problems associated with introduction a informatization education; systematization ge...