A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents

2013 ◽  
pp. 86-96 ◽  
Author(s):  
Abdur Rakib ◽  
Rokan Uddin Faruqui
Keyword(s):  
Context Aware ◽  
Formal Approach

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

THE CHALLENGES OF TEACHING FOREIGN LANGUAGES TO STUDENTS WITH SPECIAL EDUCATIONAL NEEDS

2020 ◽  
pp. 115-122
Author(s):  
Elena N. Gur'yanova ◽  
Keyword(s):  
Learned Helplessness ◽  
Educational Needs ◽  
Point Of View ◽  
Teaching Staff ◽  
Technical Equipment ◽  
Special Educational Needs ◽  
Right To Education ◽  
Formal Approach ◽  
Program Compliance ◽  
Special Health

A modern university answering the challenges of the society does not remain aloof to introduce certain inclusive practices. Currently, the legislation of the Russian Federation clearly distinguishes between the concepts of “Disability”, “Special health opportunities “and” Special educational needs”. However, there is a demand to combine all three terms into one, that is “Special educational needs”. The author considers this substitution to be unlawful. The article attempts to analyze each term from the point of view of prospects for each group of students to get higher education, taking into account the peculiarities of their psychophysical development. In addition, the author reviews some difficulties (insufficient technical equipment of the classrooms, learned helplessness of students, lack of knowledge about various nosological groups of disabled people, etc.) and ways to overcome these and other problems such as development of an adapted educational program, compliance with the principles of health conservation, psychological readiness of the teaching staff to work with such students. The author draws the conclusion that only training of teachers and the creation of a special educational space, the inadmissibility of a formal approach to the integration of students with special educational needs can contribute to the successful provision of their right to education.

Research the Mutual Influence of Indicators in Innovation Planning at Enterprises

2020 ◽  
pp. 192-198
Author(s):  
M. S. Kuz’min
Keyword(s):  
Performance Indicators ◽  
Mutual Influence ◽  
Development Planning ◽  
Current Situation ◽  
Innovation Activity ◽  
Development Programs ◽  
Formal Approach ◽  
Innovation Development ◽  
Target Values ◽  
Innovation Planning

The author analyzes the innovation development programs of 11 Russian companies with state participation and state corporations and compares the achieved results with innovation development plans. The results of the analysis show that the existing relationships between the performance indicators of the companies’ innovation activity for 2014–2016 are not considered or reflected in the programs of innovation development until 2020. This study indicates the causes of the current situation and proposes directions for improving the efficiency of innovation development planning.Aim. The study aims to examine the mutual influence of indicators in innovation planning at enterprises.Tasks. The author analyzes the existing innovation development programs of large state-owned companies and the correlation between the performance indicators of innovation activity, assesses the actual results of the implementation of innovation development programs for 2014–2016 and the validity of the planned indicators of innovation development until 2020.Methods. This study uses the methods of systems and correlation-regression analysis.Results. The analysis shows that the actual relationships between the performance indicators of the companies’ innovation activity for 2014–2016 are not considered or reflected in the programs of innovation development until 2020. This study indicates the causes of the current situation and proposes directions for improving the efficiency of innovation development planning. A matrix for determining problem situations in innovation development planning is developed.Conclusions. The actual relationships between the indicators that characterize many aspects of innovation development at various stages of the innovation life cycle are not fully considered in the planning of innovation development. The conducted study confirms a formal approach to estimating the target values of the examined indicators, which disregards the actual relationships between them. The outcome of this can be seen in the programs of innovation development until 2020 developed by corporations. It is possible to make allowance for the actual relationships in the planning of the target values of innovation development indicators by using the methods and tools of dynamic modeling.

Peculiarities of improving interbudgetary relations in conditions of authorities’ decentralization

2020 ◽  
pp. 46-54
Author(s):  
Zenoviy Siryk
Keyword(s):  
Economic Development ◽  
Social Development ◽  
Social Services ◽  
The State ◽  
Major Objective ◽  
Formal Approach ◽  
Advantages And Disadvantages ◽  
Local Areas ◽  
And Control ◽  
Different Levels

Ukraine is a unitary state, yet historically various regions, oblasts, districts, and local areas have different levels of economic development. To secure sustainable economic and social development and provide social services guaranteed by the state for each citizen according to the Constitution, the mechanism of redistribution between revenues and expenditures of oblasts, regions, and territories through the budgets of a higher level is used. The paper aims to research the peculiarities of improving interbudgetary relations in conditions of authorities’ decentralization. The paper defines the nature of interbudgetary relations. The basic and reverse subsidies to Ukraine and Lvivska oblast are analyzed. The advantages and disadvantages the communities face at changing approaches to balancing local budgets are determined. Regulative documents that cover the interbudgetary relations in Ukraine are analyzed. Special attention is paid to the problem of local finances reforming, including the development of interbudgetary relations. The scheme of the economic interbudgetary relations system in Ukraine is developed. The ways to improve the system of interbudgetary relations in Ukraine are suggested. The negative and positive aspects, advantages, and disadvantages of the system of interbudgetary relations in Ukraine require the following improvements. 1. It is necessary to avoid the complete budget alignment in the process of budgets balancing by interbudgetary transfers as the major objective. 2. The interbudgetary transfers should be distributed based on a formal approach. 3. The changes have to be introduced to the calculation of medical and educational subsidies in terms of financial standard of budget provision to avoid the money deficit for coverage of necessary expenditures. 4. There is a need to improve interbudgetary relations at the levels of districts, villages, towns, and cities of district subordination. 5. Improvement of the mechanism of targeted benefits provision, their real evaluation, and control for the use of funds.

Sign in / Sign up

Export Citation Format

Share Document