• A
• A
• A
• ABC
• ABC
• ABC
• А
• А
• А
• А
• А
Regular version of the site
Of all publications in the section: 30 536
Sort:
by name
by year
Book chapter
Milovanov A. In bk.: 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016) Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2016. Ch. 54. P. 1-13.

Algorithmic statistics considers the following problem: given a binary string

x

(e.g., some

experimental data), find a “good” explanation of this data. It uses algorithmic information

theory to define formally what is a good explanation. In this paper we extend this framework in

two directions.

First, the explanations are not only interesting in themselves but also used for prediction: we

want to know what kind of data we may reasonably expect in similar situations (repeating the

same experiment). We show that some kind of hierarchy can be constructed both in terms of

algorithmic statistics and using the notion of a priori probability, and these two approaches turn

out to be equivalent (Theorem 5).

Second, a more realistic approach that goes back to machine learning theory, assumes that

we have not a single data string

x

but some set of “positive examples”

x

1

,...,x

l

that all belong

to some unknown set

A

, a property that we want to learn. We want this set

A

to contain all

positive examples and to be as small and simple as possible. We show how algorithmic statistic

can be extended to cover this situation (Theorem 11)

Book chapter
Vereshchagin N., Shen A. In bk.: Measures of Complexity. Festschrift for Alexey Chervonenkis.. Springer, 2015. P. 235-252.

A survey of main results in algorithmic statistics

Book chapter
Bogoviz A. V., Elykomov V. A. In bk.: Ubiquitous Computing and the Internet of Things: Prerequisites for the Development of ICT. Vol. 826: Studies in Computational Intelligence. Springer, 2019. P. 901-907.

Purpose: The purpose of the article is to determine the perspectives of improving the system of emergency medical aid and services in the conditions of digital economy and to develop the algorithm of this system's work on the basis of the Internet of Things. Methodology: The methods of systematization, logical analysis, and block schemes are used. Results: As a result of studying the peculiarities of the applied universal algorithm of the work of the system of emergency medical aid and services, current problems and their causal connections are determined. It is substantiated that in the conditions of digital economy there's a possibility for full-scale technological modernization of the system of emergency medical aid and services, which allows improving it due to complex solving of all determined topical problems. An algorithm of the work of the system of emergency medical aid and services on the basis of the Internet of Things is developed. Recommendations: The offered algorithm is recommended for practical application, as it ensures the following advantages: Automatic call for emergency medical aid if necessary, substantial reduction of the period of patient's waiting for a transport vehicle for providing emergency medical aid and services, reduction and automatization of organizational procedures that accompany the process of provision of emergency medical aid and services, overcoming the deficit or absence of necessary medication for providing highly-effective emergency medical aid and services, and increase of competence of medical staff that provide emergency medical aid and services due to systemic collection of feedback from patients. These advantages allow guaranteeing timely provision of emergency medical aid and services and insurance payments for compensating the expenditures of medical organizations, thus increasing the effectiveness of work of the system of emergency medical aid and services. © Springer Nature Switzerland AG 2019.

Book chapter
Dubatovka A., Mikhailova E., Zotov M. et al. In bk.: Communications in Computer and Information Science. Vol. 615: Databases and Information Systems - 12th International Baltic Conference. Springer, 2016. P. 113-125.

The paper presents algorithms for automatic detection of non-stationary periods of cardiac rhythm during professional activity. While working and subsequent rest operator passes through the phases of mobilization, stabilization, work, recovery and the rest. The amplitude and frequency of non-stationary periods of cardiac rhythm indicates the human resistance to stressful conditions. We introduce and analyze a number of algorithms for non-stationary phase extraction: the diﬀerent approaches to phase preliminary detection, thresholds extraction and ﬁnal phases extraction are studied experimentally. These algorithms are based on local extremum computation and analysis of linear regression coeﬃcient histograms. The algorithms do not need any labeled datasets for training and could be applied to any person individually. The suggested algorithms were experimentally compared and evaluated by human experts.

Book chapter
Raznometov D.A., Korsakov I.N. In bk.: Innovative Information Technologies: Materials of the International scientific–practical conference. Part 2. Prt. 2. M.: HSE, 2014. P. 438-442.
The aim of this paper is to summarize recent developments in the field of wearable  sensors and systems that are relevant to the field of remote healthcare monitoring. The major  articles focused on the application of wearable technology to monitor elder people and  patients with chronic diseases at home. Currently clinical applications of wearable technology  are undergoing assessment. The home remote monitoring system derives from clinical  monitoring system. The Patient Monitors are expensive and need special knowledge to use it.  Patients need external help just to connect and disconnect from Patient's Monitor. As a result,  wearable and easy to use sensors start to use not only in remote home monitoring, but in  hospitals as well, such as floor sensor pad, chair sensor pad, bed sensor pad with heart rate  detection.  Applications, such as heart rate detection, described in this review papers include those that focus on health and wellness, safety, home rehabilitation, assessment of treatment  efficacy, and early detection of disorders. The integration of wearable and ambient sensors is  discussed in the context of receiving vitals sign and activities of elder people and patients  with chronic diseases. The main problem of home sensor like ECG still have to have  knowledge how and where to put electrode as well as not very clearly the purpose of 1 Lead  ECG sensor, it still complicated, but mostly used for Heart Rate detection. We believe that we  may find easy way, like special algorithms, to get Heart Rate. Additional work is required to  advance medical devices including wearable, portable and ambient sensors in a clinic.
Book chapter
Alexey A. Lifshits, Avdoshin S. M. In bk.: Emerging Trends in Information Systems: Recent Innovations, Result and Experiences. Netherlands: Springer, 2016. Ch. 6. P. 65-77.

The companies that are IT-industry leaders perform from several tens to several hundreds of projects simultaneously. The main problem is to decide whether the project is acceptable to the current strategic goals and resource limits of a company or not. This leads firms to an issue of a project portfolio selection; therefore, the challenge is to choose the subset of all projects which satisfy the strategic objectives of a company in the best way. In this present article we propose the multi-objective mathematical model of the project portfolio selection problem, defined on the fuzzy trapezoidal numbers. We provide an overview of methods for solving this problem, which are a branch and bound approach, an adaptive parameter variation scheme based on the epsilon-constraint method, ant colony optimization method and genetic algorithm. After analysis, we choose ant colony optimization method and SPEA II method, which is a modification of a genetic algorithm. We describe the implementation of these methods applied to the project portfolio selection problem. The ant colony optimization is based on the max min ant system with one pheromone structure and one ant colony. Three modification of our SPEA II implementation were considered. The first adaptation uses the binary tournament selection, while the second requires the rank selection method. The last one is based on another variant of generating initial population. The part of the population is generated by a non-random manner on the basis of solving a one-criterion optimization problem. This fact makes the population more strongly than an initial population, which is generated completely by random.

Book chapter
Lazarev A. A., Kvaratskhelia A. In bk.: European Chapter on Combinatorial Optimization (ECCO 2005). Minsk: 2005. P. 32-33.

We consider NP-hard scheduling problem on a single machine minimizing total tardiness on a single machine. We present a number of polynomial and pseudo-polynomial algorithms for special cases of the problem. Based on these algorithms, we give the algorithm that solves Event-Odd Partition problem in pseudo-polynomial time. This algorithm for Partition problem can handle instances with non-integer parameters.

Book chapter
Anna Presnova, Valery Afanas'ev. In bk.: IFAC-PapersOnLine. Vol. 51. Iss. 32. Editions Elsevier, 2018. Ch. 45. P. 428-433.

The problem of optimal control is formulated for a class of nonlinear objects that can be represented as objects with a linear structure and parameters that depend on the state. The linear structure of the transformed nonlinear system and the quadratic functional of quality allow for the synthesis of optimal control, i.e. parameters of the regulator, move from the need to search for solutions of the Hamilton-Jacobi equation to an equation of the Riccati type with parameters that depend on the state. The main problem of implementing optimal control is related to the problem of finding a solution to such an equation at the pace of object functioning. The paper proposes an algorithmic method of parametric optimization of the regulator. This method is based on the use of the necessary conditions for the optimality of the control system under consideration. The constructed algorithms can be used both to optimize the non-stationary objects themselves, if the corresponding parameters are selected for this purpose, and to optimize the entire managed system by means of the corresponding parametric adjustment of the regulators. The example of drug treatment of patients with HIV is demonstrated the effectiveness of the developed algorithms.

Book chapter
Antonov M. In bk.: Philisophy of Law International Symposium "Rationality in Law". Buenos Aires: Faculty of Law of Buenos Aires University, 2014. P. 21-34.

This paper aims to analyse the philosophical premises on which the idea of unity of law (identity of legal system) is based. In the history of legal philosophy this idea found its main arguments in the presumption of totality of legal regulation. Such totality translated the philosophical tenets of holism according to which law is not limited to the positive-law rules and institutes. To substantiate the idea of systemacity of law, one can turn to the modern debates about logic of social cohesion and construct a legal system identity as a purely intellectual hypothesis necessary for thinking about law. This integrity can be described as a unity of discourse, or as a unity of societal practices. This reconstruction of integrity of law can be extended by appealing to the basic ideas of normative philosophy of law (from Hart and Kelsen to Raz and Dworkin) and is reconcilable with the conception of normative systems of Bulygin–Alchourron.

Book chapter
Kofner J. C. In bk.: EAEU from Lisbon to Vladivostok: Transformations and Perspectives. Berlin: OWC Foreign Publishing Hous, 2018. P. 16-19.

While the number of non-tariff barriers in the world is rising, the EAEU is pursuing a decrease of NTBs – and alignment of technical standards with the EU. However, immediate benefits to European companies have not yet materialised.

Book chapter
Korolev D. In bk.: Information Innovative Technologies: Materials of the International scientific – рractical conference. M.: Association of graduates and employees of AFEA named after prof. Zhukovsky, 2017. P. 36-39.

This paper describes an approach to the architecture of the broadcasting complex for a multi-camera online video live streaming based on a combination of approaches, protocols, and equipment from related fields: IPTV, CCTV, computer networks. The proposed approach is based on the already established commercial service and represents the results of experimental development.

Book chapter
Ospovat K. In bk.: Politics and Aesthetics in European Baroque Tragedy. Leiden: Brill, 2016.

Tragedy as a literary genre and theatrical form was introduced to Russia around 1750 by Aleksandr Sumarokov (1717–1777), a dramatist and stage director active at the courts of Empresses Elizabeth (r. 1741–1761) and Catherine II (r. 1762–1796). In Petersburg, as in other European capitals, theatrical performances were a central element of what Grigorii Gukovskii called the “spectacle of the imperial court”. Richard Wortman elaborates on this concept in his by now standard work, “Scenarios of Power: Myth and Ceremony in Russian Monarchy”.

Book chapter
Chepurenko A. In bk.: Economic Styles in the Process of EU Eastern Enlargement. Baden-Baden: Nomos, 2009. P. 249-255.

One of the most popular statements in the systemic transition literature since the second half of the 1990th is that different experiences of the CEE and Baltic states, on the one hand, and the most of the CIS countries, on the other hand, are embedded in different social norms and values, encouraging efforts in the new EU member states and preventing it in some of CIS countries.

Book chapter
Chanturidze Y. M. In bk.: LATEUM 2015: Research and Practice in Multidisciplinary Discourse. Материалы XII международной конференции Лингвистической ассоциации преподавателей английского языка МГУ им М.В. Ломоносова. M.: Moscow University book, 2015. P. 104-106.

As it follows from the idea of discourse, it is not discussed without its certain usage. Its participants’ social, political and cultural characteristics are reflected in it. At the same time various voices belonging to previous discourse practices can intermingle in it, which creates new senses of meaning. In relation to this the notion of interdiscursivity is spelled out in the present article and is compared with the notion of “intertextuality”. The former is illustrated with the help of examples borrowed from B.Obama’s victory speech (2008). All of them add certain musicality to the address as they present links to songs popular in America.

Book chapter
Fernandez M., Kabatiansky G. A., Moreira J. In bk.: Proceedings of the 2011 IEEE International Simposium on Information Theory. St. Petersburg: 2011. P. 2696-2700.

The theory of separating codes has been applied in several areas of science ranging from automata synthesis to the protection of distribution rights. In this paper, we introduce a relaxed version of separating and secure frameproof codes and show that for the relaxed definitions these two notions are different, as opposed to the original definitions when these notions coincide. Moreover, we also discuss how this new relaxed versions of the codes can be used to construct a family of fingerprinting codes.

Book chapter
Afanasiev A., Putilina E. V. In bk.: Yu. G. Evtushenko, M. Yu. Khachay, O. V. Khamisov, Yu. A. Kochetov, V.U. Malkova, M.A. Posypkin (eds.): Proceedings of the OPTIMA-2017 Conference, Petrovac, Montenegro, 02-Oct-2017, published at http://ceur-ws.org. Sigmaringen: CEUR Workshop Proceedings, 2017. P. 1-6.

An optimal control problem with a nonsmooth objective function defined on a polytope is studied. A scheme reducing the original problem to the problem of maximizing the sum of matrix elements lying above the main diagonal is constructed. Necessary conditions of optimality for this finite-dimensional optimization problem are established. A method of searching for the global maximum is suggested.

Book chapter
Kanovich M., Kuznetsov S., Nigam V. et al. In bk.: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Springer, 2018. P. 228-245.

Abstract

Logical frameworks allow the specification of deductive systems using the same logical machinery. Linear logical frameworks have been successfully used for the specification of a number of computational, logics and proof systems. Its success relies on the fact that formulas can be distinguished as linear, which behave intuitively as resources, and unbounded, which behave intuitionistically. Commutative subexponentials enhance the expressiveness of linear logic frameworks by allowing the distinction of multiple contexts. These contexts may behave as multisets of formulas or sets of formulas. Motivated by applications in distributed systems and in type-logical grammar, we propose a linear logical framework containing both commutative and non-commutative subexponentials. Non-commutative subexponentials can be used to specify contexts which behave as lists, not multisets, of formulas. In addition, motivated by our applications in type-logical grammar, where the weakenening rule is disallowed, we investigate the proof theory of formulas that can only contract, but not weaken. In fact, our contraction is non-local. We demonstrate that under some conditions such formulas may be treated as unbounded formulas, which behave intuitionistically.

Book chapter
Kanovich M., Kuznetsov S., Nigam V. et al. In bk.: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING. Iss. 10900. Springer International Publishing AG, part of Springer Nature 2018, 2018. P. 228-245.

Logical frameworks allow the specification of deductive systems using the same logical machinery. Linear logical frameworks have been successfully used for the specification of a number of computational, logics and proof systems. Its success relies on the fact that formulas can be distinguished as linear, which behave intuitively as resources, and unbounded, which behave intuitionistically. Commutative subexponentials enhance the expressiveness of linear logic frameworks by allowing the distinction of multiple contexts. These contexts may behave as multisets of formulas or sets of formulas. Motivated by applications in distributed systems and in type-logical grammar, we propose a linear logical framework containing both commutative and non-commutative subexponentials. Non-commutative subexponentials can be used to specify contexts which behave as lists, not multisets, of formulas. In addition, motivated by our applications in type-logical grammar, where the weakenening rule is disallowed, we investigate the proof theory of formulas that can only contract, but not weaken. In fact, our contraction is non-local. We demonstrate that under some conditions such formulas may be treated as unbounded formulas, which behave intuitionistically.

Book chapter
Fomichova O. S., Fomichov V. A., Gordeeva S. M. In bk.: Informacijska druzba - IS 2015. Proceedings of the 18th International Scientific Multiconference, October 12th-13th, 2015, Ljubljana, Slovenia. Vol. F: Kognitonika/Cognitonics . Ljubljana: Jozef Stefan Institute, 2015. P. 22-26.

This paper pertains mainly to art cognitonics, it is a significant branch of cognitonics, or the science about the human being in the digital world. The first aim of the paper is to consider a way of achieving cognitive engagement of the adolescents and university students at lectures on art cognitonics. The central idea is to expand the conceptual universe of the learners by means of messages conveyed by outstanding canvases and sculptures. Art cognitonics changes the perception of a work of art by the beholder in comparison with the traditional approach. The second aim is to state a new conception of a sci-fi museum (a science fiction museum), this conception is underpinned by cognitonics. The principal idea of the new conception is the creation of a thought-provoking space aiming at stimulating the process of perception of the power of thought, regarding thought as a value.