Transport and mobility in cities are important factors the sustainability of urbanized world. This article investigates one type intra-urban transport: railway transport surrounding areas along railway, i.e., whether corridors can be a factor sustainable development 21st century. The aim is to determine specific characteristics identify problems cultural-historical specifics related industrial ...

The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads to the need of methodologies that support reusability not only at the code level but also at higher (semantic) levels, in order to minimize the effort of proving correctness of the analyses. Abstract interpretation may be the m...

The relevance of the problem presented in this study is conditioned by fact that multifactorial nature qualities technological culture individual requires a search for paradigms, an identification range approaches aimed at developing not only technological, professional, but also cultural competences students multiparadigmatic viewpoint. purpose article to theoretically substantiate polyparadig...

Introduction. Current trends in the development of sports dance indicate impact modern knowledge science on system improving functional support special performance dancers. The lack a systematic approach to management training loads significantly affects formation specific methodological approaches dancers, taking into account characteristics inherent that combine and art. aim is develop aimed ...

The quest for sustainable urban development requires innovative planning approaches more apt to cater transformative action. Based on a case study approach, this aims explore the potential local develop practical able accelerate transition towards development. To guide spatial sustainability, analysis of results shows that planners need envision process design as advance understanding how site ...

The issue of controversial assessment the use medical terminology in professional communication is considered. It noted that terms between a doctor and an adult patient can trigger emotional tension mistrust doctor’s recommendations. At same time, it was established patients who are familiar with consider by doctors to be significant factor indicating quality services provided. question arises ...

The purpose of the paper is to consider methodological issues in works Soviet historian Grigoriy Samoylovich Fridlyand. Based on material his journal publications, a number topics are traced that represent an original development provisions historical materialism relation science and specific problems research. influence participation philosophical discussions 1920s could have G.S. Fridlyands c...

The digital economy is increasingly replacing the everyday economy. continued rapid pace oftechnology development and its use in business presents exciting opportunities for entrepreneurs andchallenges tax authorities. In economy, traditional correspondences, dependencies, andproportions inherent industrial-market are no longer effective. Traditional methods ofregulation new effective, especial...

The conceivable development of information and communication technology will enable mechatronic systems with inherent partial intelligence. We refer to this by using the term “self-optimization”. Self-Optimizing systems react autonomously and flexibly on changing operation conditions. They are able to learn and optimize their behavior at runtime. The development of mechatronic and especially se...

Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions generated by automatic techniques such as predicate abstraction. Indeed, for the same cost, model checking three-valued abstractions, also called may/must abstractions, can be used to both prove and disprove any tempora...