## Natural Sciences

This book constitutes the refereed proceedings of the 14th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2018, held in Tallinn, Estonia, in June 2018. The main focus of EOMAS is on the role, importance, and application of modeling and simulation within the extended organizational and enterprise context. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections on conceptual modeling, enterprise engineering, and formal methods.

This state-of-the-art survey is dedicated to the memory of Emmanuil Markovich Braverman (1931-1977), a pioneer in developing the machine learning theory. The 12 revised full papers and 4 short papers included in this volume were presented at the conference "Braverman Readings in Machine Learning: Key Ideas from Inception to Current State" held in Boston, MA, USA, in April 2017, commemorating the 40th anniversary of Emmanuil Braverman's decease. The papers present an overview of some of Braverman's ideas and approaches. The collection is divided in three parts. The first part bridges the past and the present. Its main contents relate to the concept of kernel function and its application to signal and image analysis as well as clustering. The second part presents a set of extensions of Braverman's work to issues of current interest both in theory and applications of machine learning. The third part includes short essays by a friend, a student, and a colleague.

This book constitutes extended, revised and selected papers from the 7th International Conference on Optimization Problems and Their Applications, OPTA 2018, held in Omsk, Russia in July 2018. The 27 papers presented in this volume were carefully reviewed and selected from a total of 73 submissions. The papers are listed in thematic sections, namely location problems, scheduling and routing problems, optimization problems in data analysis, mathematical programming, game theory and economical applications, applied optimization problems and metaheuristics.

Information systems in different domains, such as healthcare, tourism, banking, government and others, record operational behavior in the form of event logs. The process mining discipline offers dozens of techniques to discover, analyze, and visualize processes running in information systems, based on their event logs. The representational bias (the language for processes representation) plays an important role in the process discovery. In this work BPMN (Business Process Model and Notation) language was chosen as a representational bias and as a starting point for the process discovery, analysis and enhancement. BPMN is a common process modeling language, widely used by consultants, managers, analysts, and software engineers in various application domains. This work aims to bridge the gap between process mining techniques and BPMN. Existing techniques are often limited to a single perspective, e.g., just the control flow, subprocesses, or just resources. The goal of this work is to fully support the BPMN specification in the context of process mining and suggest a unified and integrated approach allowing for the discovery, analysis and enhancement of hierarchical high-level BPMN models. The approach proposed in this thesis is supported by tools that enable users to analyze discovered processes in BPMN-compliant tools and even automate their executions, using existing BPMN engines.

Control of Discrete-Time Descriptor Systems takes an anisotropy-based approach to the explanation of random input disturbance with an information-theoretic representation. It describes the random input signal more precisely, and the anisotropic norm minimization included in the book enables readers to tune their controllers better through the mathematical methods provided. The book contains numerous examples of practical applications of descriptor systems in various fields, from robotics to economics, and presents an information-theoretic approach to the mathematical description of coloured noise. Anisotropy-based analysis and design for descriptor systems is supplied along with proofs of basic statements, which help readers to understand the algorithms proposed, and to undertake their own numerical simulations. This book serves as a source of ideas for academic researchers and postgraduate students working in the control of discrete-time systems. The control design procedures outlined are numerically effective and easily implementable in MATLAB®

This volume contains proceedings of the first Workshop on Data Analysis in Medicine held in May 2017 at the National Research University Higher School of Economics, Moscow. The volume contains one invited paper by Dr. Svetla Boytcheva, 6 regular contributions and 2 project proposals, carefully selected and reviewed by at least two reviewers from the international program commit- tee. The papers accepted for publication report on different aspects of analysis of medical data, among them treatment of data on particular diseases (Consoli- dated mathematical growth model of Breast Cancer CoMBreC, Artificial neural networks for prediction of final height in children with growth hormone deficiency), methods of data analysis (analysis of rare diseases, methods of machine learning and Big Data, subgroup discovery for treatment optimization), and instrumental tools (explanation-oriented methods of data analysis in medicine, information support features of the medical research process, modeling frame- work for medical data semantic transformations, radiology quality management and peer-review system). Organizers of the workshop would like to thank the reviewers for their careful work and all contributors and participants of the workshop.

The materials of The International Scientific – Practical Conference is presented below.

The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.

It is interesting for a wide range of researchers, teachers, graduate students and professionals in the field of innovation and information technologies.

This is an advanced guide to optimal stopping and control, focusing on advanced Monte Carlo simulation and its application to finance. Written for quantitative finance practitioners and researchers in academia, the book looks at the classical simulation based algorithms before introducing some of the new, cutting edge approaches under development.

This book discusses smart, agile software development methods and their applications for enterprise crisis management, presenting a systematic approach that promotes agility and crisis management in software engineering. The key finding is that these crises are caused by both technology-based and human-related factors. Being mission-critical, human-related issues are often neglected. To manage the crises, the book suggests an efficient agile methodology including a set of models, methods, patterns, practices and tools. Together, these make a survival toolkit for large-scale software development in crises. Further, the book analyses lifecycles and methodologies focusing on their impact on the project timeline and budget, and incorporates a set of industry-based patterns, practices and case studies, combining academic concepts and practices of software engineering.

Sustaining a competitive edge in today’s business world requires innovative approaches to product, service, and management systems design and performance. Advances in computing technologies have presented managers with additional challenges as well as further opportunities to enhance their business models.

Software Engineering for Enterprise System Agility: Emerging Research and Opportunities is a collection of innovative research that identifies the critical technological and management factors in ensuring the agility of business systems and investigates process improvement and optimization through software development. Featuring coverage on a broad range of topics such as business architecture, cloud computing, and agility patterns, this publication is ideally designed for business managers, business professionals, software developers, academicians, researchers, and upper-level students interested in current research on strategies for improving the flexibility and agility of businesses and their systems.

Intended to bridge the gap between the latest methodological developments and cross-cultural research, this interdisciplinary resource presents the latest strategies for analyzing cross-cultural data. Techniques are demonstrated through the use of applications that employ cross-national data sets such as the latest European Social Survey. With an emphasis on the generalized latent variable approach, internationally prominent researchers from a variety of fields explain how the methods work, how to apply them, and how they relate to other methods presented in the book. Syntax and graphical and verbal explanations of the techniques are included. Online resources, available at www.routledge.com/9781138690271, include some of the data sets and syntax commands used in the book.

This book examines how Russia, the world’s most complicated country, is governed. As it resumes its place at the centre of global affairs, the book explores Russia’s overarching strategies, and how it organizes itself (or not) in policy areas ranging from foreign policy and national security to health care, education, immigration, science, sport, agriculture, the environment and criminal justice. The book also discusses the structures and institutions on which Russia relies in order to deliver its goals in these areas of national life, as well as what’s to be done, in policy terms, to improve the country’s performance in its first post-Soviet century. Edited by Irvin Studin, the book includes contributions from a tremendous list of Russia’s leading thinkers and specialists, including Alexei Kudrin, Vladimir Mau, Alexander Auzan, Simon Kordonsky, Fyodor Lukyanov, Natalia Zubarevich and Andrey Melville.

This edited collection presents a range of methods that can be used to analyse linguistic data quantitatively. A series of case studies of Russian data spanning different aspects of modern linguistics serve as the basis for a discussion of methodological and theoretical issues in linguistic data analysis. The book presents current trends in quantitative linguistics, evaluates methods and presents the advantages and disadvantages of each. The chapters contain introductions to the methods and relevant references for further reading.

The Russian language, despite being one of the most studied in the world, until recently has been little explored quantitatively. After a burst of research activity in the years 1960-1980, quantitative studies of Russian vanished. They are now reappearing in an entirely different context. Today we have large and deeply annotated corpora available for extended quantitative research, such as the Russian National Corpus, ruWac, RuTenTen, to name just a few (websites for these and other resources will be found in a special section in the References). The present volume is intended to fill the lacuna between the available data and the methods that can be applied to studying them.

Our goal is to present current trends in researching Russian quantitative linguistics, to evaluate the research methods vis-à-vis Russian data, and to show both the advantages and the disadvantages of the methods. We especially encouraged our authors to focus on evaluating statistical methods and new models of analysis. New findings concern applicability, evaluation, and the challenges that arise from using quantitative approaches to Russian data.

This volume is a tribute to Maxim Kontsevich, one of the most original and influential mathematicians of our time. Maxim’s vision has inspired major developments in many areas of mathematics, ranging all the way from probability theory to motives over finite fields, and has brought forth a paradigm shift at the interface of modern geometry and mathematical physics. Many of his papers have opened completely new directions of research and led to the solutions of many classical problems. This book collects papers by leading experts currently engaged in research on topics close to Maxim’s heart.

These notes have appeared as a result of a one-term course in superfluidity and superconductivity given by the author to fourth-year undergraduate students and first-year graduate students of the Department of Physics, Moscow State University of Education. The goal was not to give a detailed picture of these two macroscopic quantum phenomena with an extensive coverage of the experimental background and all the modern developments, but rather to show how the knowledge of undergraduate quantum mechanics and statistical physics could be used to discuss the basic concepts and simple problems, and draw parallels between superconductivity and superfluidity.

Superconductivity and superfluidity are two phenomena where quantum mechanics, typically constrained to the microscopic realm, shows itself on the macroscopic level. Conceptually and mathematically, these phenomena are related very closely, and some results obtained for one can, with a few modifications, be immediately carried over to the other. However, the student of these notes should be aware of important differences between superconductivity and superfluidity that stem mainly from two facts: (1) electrons in a superconductor carry a charge, therefore one has to take into account interaction with electromagnetic radiation; (2) electrons move in a lattice, therefore phonons play a role not only a mediators of attractive interaction between pairs of electrons, but also as scatterers of charge carriers.

Although these are notes on superfluidity *and *superconductivity, and there are a few cross-references, the two subjects can be studied independently with, perhaps, a little extra work by the student to fill in the gaps resulting from such study. The material of Chapter 1 introduces the method of second quantisation that is commonly used to discuss systems with many interacting particles. It is then applied in Chaper 2 to treat the uniform weakly interacting Bose gas within the approach by N. Bogoliubov, and in Chapter 4 to formulate the theory of the uniform superconducting state put forth by J. Bardeen, L. Cooper and R. Schrieffer. Chapter 3 presents the theory proposed independently by E. Gross and L. Pitaevskii of a non-uniform weakly interacting Bose gas, with a discussion of vortices, rotation of the condensate, and the Bogoliubov equations. In Chapter 5 we discuss the Ginzburd-Landau theory of a non-uniform superconductor near the critical temperature and apply it to a few simple problems such as the surface energy of the boundary between a normal metal and a superconductor, critical current and critical magnetic field, and vortices.

The development and use of Genetically modified organisms (GMOs) has been a contentios subject for the last three decades. while there has been a number of social science analysis of the issues, this is the first book to assess the role of non-governmental organizations (NGOs) in the debate at such wide geographic scale. The various posiotions, for and against GMOs, particularly with regards to trangenic crops, articulated by NGOs in the debate are dissected, classified and juxtaposed to corresponding campaigns. these are discussed in the context of paradigms, including nature fundamentalism and the organic movement, post-colonialism, food sovereignty, anti-globalism, sustainability and feminism. This book also analyses how NGOs interprete the debate and the persuasive communication tactics.

The relationship between crystal structures of three isomeric aminopyridinium iodobismuthates containing one-dimensional [(BiI4)n]n− anions, acidity of aminopyridinium cations and optical properties was revealed

The interaction of iodobismuthate anions and methyl viologen [MV]2+ cations in aqueous solutions led to the formation of three compounds, two of which were identified as [MV][BiI5] and [MV]3[Bi2I11]I. Hybrid iodobismuthates [MV]3[Bi2I11]I and [MV]3[Bi2I9]2(DMF)3(H2O) were isolated from dimethylformamide (DMF). The heating of the latter material (up to 200 o C) resulted in a mixture of products, one of which was identified as [MV][BiI5]. A simple antisolvent precipitation method was proposed to create the [MV] [BiI5]/SiO2 composite material.

Three hybrid 1,1'-(1,n-alkanediyl)bis(4-methylpyridinium) iodobismuthates **1 - 3** were prepared by a facile solution route and showed thermal stability in air up to 230°C. The structures of solid **1** and **3** contain zero-dimensional anions, and the structure of **2** contains one-dimensional linear anionic chains [BiI5]n2n-. Photoluminescence (PL) in the spectral range between 600 and 750 nm was observed for **1 **and **2**. DFT calculations and optical studies confirmed that compounds **1**−**3** are semiconductors with band gaps of 1.73−2.10 eV, which corresponds with their intense black (for **2**) or red (for **1** and **3**) colors. The optical absorption of **2** in the red spectral range is primarily due to charge transfer from the I5*p* orbitals at the top of the valence band to the Bi6*p* orbitals at the bottom of the conduction band.

t is known (from *Counting curves and their projections* by Joachim von zur Gathen, Marek Karpinski, Igor Shparlinski [1, part 4]) that counting the number of points on a curve where is a sparse polynomial over

is #P-complete under randomized reductions.

We give a simple proof of a stronger result: counting roots of a sparse *univariate* polynomial over

is #P-complete under *deterministic* reductions.

Algorithmic statistics looks for models of observed data that are good in the following sense: a model is simple (i.e., has small Kolmogorov complexity) and captures all the algorithmically discoverable regularities in the data. However, this idea can not be used in practice as is because Kolmogorov complexity is not computable. In this paper we develop an algorithmic version of algorithmic statistics that uses space-bounded Kolmogorov complexity. We prove a space-bounded version of a basic result from “classical” algorithmic statistics, the connection between optimality and randomness deficiences. The main tool is the Nisan–Wigderson pseudo-random generator. An extended abstract of this paper was presented at the 12th International Computer Science Symposium in Russia (Milovanov 10).

Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers. In the second part we consider the example of a “web of flops” provided by the Grothendieck resolution associated to a reductive Lie algebra g and study the corresponding schober-type diagram. For g = sl3 we relate this diagram to the classical space of complete triangles studied by Schubert, Semple and others.

Consider the space *M* = *O*(*p*, *q*)/*O*(*p*) × *O*(*q*) of positive *p*-dimensional subspaces in a pseudo-Euclidean space *V* of signature (*p*, *q*), where *p* > 0, *q* > 1 and (p,q)≠(1,2), with integral structure: V=Vℤ⊗ℤ. Let Γ be an arithmetic subgroup in G=O(Vℤ), and R⊂Vℤ a Γ-invariant set of vectors with negative square. Denote by *R*⊥ the set of all positive *p*-planes *W* ⊂ *V* such that the orthogonal complement *W*⊥ contains some *r* ∈ *R*. We prove that either *R*⊥ is dense in *M* or Γ acts on *R* with finitely many orbits. This is used to prove that the squares of primitive classes giving the rational boundary of the Kähler cone (i.e., the classes of “negative” minimal rational curves) on a hyperkähler manifold *X* are bounded by a number which depends only on the deformation class of *X*. We also state and prove the density of orbits in a more general situation when *M* is the space of maximal compact subgroups in a simple real Lie group.

We prove derived equivalence of Calabi–Yau threefolds con- structed by Ito–Miura–Okawa–Ueda as an example of non-birational Calabi– Yau varieties whose difference in the Grothendieck ring of varieties is annihi- lated by the affine line.

Purpose – The purpose of this paper is to demonstrate that process mining techniques can help to discover process models from event logs, using conventional high-level process modeling languages, such as Business Process Model and Notation (BPMN), leveraging their representational bias. Design/methodology/approach – The integrated discovery approach presented in this work is aimed to mine: control, data and resource perspectives within one process diagram, and, if possible, construct a hierarchy of subprocesses improving the model readability. The proposed approach is defined as a sequence of steps, performed to discover a model, containing various perspectives and presenting a holistic view of a process. This approach was implemented within an open-source process mining framework called ProM and proved its applicability for the analysis of real-life event logs. Findings – This paper shows that the proposed integrated approach can be applied to real-life event logs of information systems from different domains. The multi-perspective process diagrams obtained within the approach are of good quality and better than models discovered using a technique that does not consider hierarchy. Moreover, due to the decomposition methods applied, the proposed approach can deal with large event logs, which cannot be handled by methods that do not use decomposition. Originality/value – The paper consolidates various process mining techniques, which were never integrated before and presents a novel approach for the discovery of multi-perspective hierarchical BPMN models. This approach bridges the gap between well-known process mining techniques and a wide range of BPMN-complaint tools.