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.
This book presents open optimization problems in graph theory and networks. Each chapter reflects developments in theory and applications based on Gregory Gutin’s fundamental contributions to advanced models and techniques in combinatorial optimization.
Researchers, students, and engineers in computer science, big data, applied mathematics, operations research, algorithm design, artifi cial intelligence, soft ware engineering, data analysis, industrial and systems engineering will benefi t from the state-of-the-art results presented in modern graph theory and its applications to the design of effi cient algorithms for optimization problems. https://www.springer.com/gp/book/9783319948294
Optimization, simulation and control are very powerful tools in engineering and mathematics, and play an increasingly important role. Because of their various real-world applications in industries such as finance, economics, and telecommunications, research in these fields is accelerating at a rapid pace, and there have been major algorithmic and theoretical developments in these fields in the last decade.
This volume brings together the latest developments in these areas of research and presents applications of these results to a wide range of real-world problems.- Collection of selected contributions giving a state-of-the-art account of recent developments in the field - Covers a broad range of topics in optimization and optimal control, including unique applications - Written by an international group of experts in their respective disciplines - Broad audience of researchers, practitioners, and advanced graduate students in applied mathematics and engineering
This book constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. The 65 revised papers presented together with 5 invited talks were carefully reviewed and selected from 140 submissions. The papers are organized in topical sections on pattern recognition and machine learning; image analysis; image and video information retrieval; natural language processing and text and data mining; watermarking, steganography and biometrics; soft computing and applications; clustering and network analysis; bio and chemo analysis; and document image processing.
Dimensionality reduction problem is stated as finding a mapping f:X ∈ R m → Z ∈ R n , where ≪ m while preserving some relevant properties of the data. We formulate topology-preserving dimensionality reduction as finding the optimal orthogonal projection to the lower-dimensional subspace which minimizes discrepancy between persistent diagrams of the original data and the projection. This generalizes the classic projection pursuit algorithm which was originally designed to preserve the number of clusters, i.e. the 0-order topological invariant of the data. Our approach further allows to preserve k-th order invariants within the principled framework. We further pose the resulting optimization problem as the Riemannian optimization problem which allows for a natural and efficient solution.
This book consists of selected papers presented in the framework of the 11th International Conference on Perspectives in Business Informatics Research (BIR 2012), held in Nizhny Novgorod, Russia, September 24–26, 2012. The BIR conference series was established 11 years ago as the initiative of some German and Swedish universities with the aim of supporting the global forum for researchers in business informatics for their collaboration and exchange of results.
The book begins with a discussion of what a performant system is and progresses to measuring performance and setting performance goals. It introduces different classes of queries and optimization techniques suitable to each, such as the use of indexes and specific join algorithms. You will learn to read and understand query execution plans along with techniques for influencing those plans for better performance. The book also covers advanced topics such as the use of functions and procedures, dynamic SQL, and generated queries. All of these techniques are then used together to produce performant applications, avoiding the pitfalls of object-relational mappers.
The International Conference on Information Technology and Quantitative Management is a global forum for exchanging research results and case studies that bridge the latest information technology and quantitative management techniques. It explores how the use of information technology to improve quantitative management techniques and how the development of management tools can reshape the development of information technology.
The main target of the IEEE East-West Design & Test Symposium (EWDTS) is to exchange experiences between scientists and technologies from Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic circuits and systems. The symposium is typically held in countries around East Europe, the Black Sea, the Balkans and Central Asia region. We cordially invite you to participate and submit your contributions to EWDTS 2020 which covers (but is not limited to) the following topics. • Analog, Mixed-Signal and RF Test • ATPG and High-Level TPG • Automotive Reliability & Test • Built-In Self Test • Debug and Diagnosis • Defect/Fault Tolerance and Reliability • Design Verification and Validation • EDA Tools for Design and Test • Embedded Software • Failure Analysis & Fault Modeling • Functional Safely • High-level Synthesis • High-Performance Networks and Systems on a Chip • Internet of Things Design & Test • Low-power Design • Memory and Processor Test • Modeling & Fault Simulation • Network-on-Chip Design & Test • Flexible and Printed Electronics • Applied Electronics Automotive/Mechatronics • Algorithms • Object-Oriented System Specification and Design • On-Line Testing • Power Issues in Design & Test • Real Time Embedded Systems • Reliability of Digital Systems • Scan-Based Techniques • Self-Repair and Reconfigurable Architectures • Signal and Information Processing in Radio and Communication Engineering • System Level Modeling, Simulation & Test Generation • System-in-Package and 3D Design & Test • Using UML for Embedded System Specification • Optical signals in communication and Information Processing • CAD and EDA Tools, Methods and Algorithms • Hardware Security and Design for Security • Logic, Schematic and System Synthesis • Place and Route • Thermal and Electrostatic Analysis of SoCs • Wireless and RFID Systems Synthesis • Sensors and Transducers • Medical Electronics • Design of Integrated Passive Components
In this article, the effectiveness of content services is formalized on the basis of an analysis of the regulatory legal acts regulating the relationship in the market for consuming content services. The use of cloud computing for the widespread introduction of services to assess the consumer quality of content services is considered. The article describes the security aspects and the possibility of implementing security requirements for mobile applications and discusses the proposed circuit-technical options for implementing the principles of building information-safe mobile applications that are reducible to the typical info-communication technological interaction.
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the ninth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, algebraic and logical aspects of programming.
This book constitutes the proceedings of the 7th International Conference on Analysis of Images, Social Networks and Texts, AIST 2018, held in Moscow, Russia, in July 2018.
The 29 full papers were carefully reviewed and selected from 107 submissions (of which 26 papers were rejected without being reviewed). The papers are organized in topical sections on natural language processing; analysis of images and video; general topics of data analysis; analysis of dynamic behavior through event data; optimization problems on graphs and network structures; and innovative systems.
In this volume we have collected papers based on the presentations given at the International Conference on Computer Simulations in Physics and beyond (CSP2015), held in Moscow, September 6-10, 2015. We hope that this volume will be helpful and scientifically interesting for readers.
The Conference was organized for the first time with the common efforts of the Moscow Institute for Electronics and Mathematics (MIEM) of the National Research University Higher School of Economics, the Landau Institute for Theoretical Physics, and the Science Center in Chernogolovka. The name of the Conference emphasizes the multidisciplinary nature of computational physics. Its methods are applied to the broad range of current research in science and society. The choice of venue was motivated by the multidisciplinary character of the MIEM. It is a former independent university, which has recently become the part of the National Research University Higher School of Economics.
Proceedings of the 16th International interdisciplinary scientific multiconference “Information Society”, considering topical technical and social problems of modern information society
SSI-2019PrefaceThis volume contains the papers presented atthe21stConference on Scientific Ser-vices & Internet(SSI-2019)1held on September 23-28, 2019 in Novorossiysk-Abrau, Russia.SSI has been held annually since 1998and has been published in CEUR Workshop Proceedingssince 20182.SSI-2019 was organized jointly by the Keldysh Institute of Applied Mathematics and Kazan Federal University as the leaders in the field of programming and infor-mation processing technologies with organization support by Southern Federal Univer-sity.The issues discussed at the conference include: national bibliographic systems,Se-mantic Web, on-line libraries, and information systems for geology, geochemistry, crystallography, physics of a solid body and nuclear physics.All the collected papers have been reviewed by the programcommittee.The conference was attended by a wide scope of researchers from national and in-ternational science centers and was supported by the Russian Foundation for Basic Re-search, the project #19-07-20059.Last but not least, we are grateful to our program and organizing committees, who made the conference possible
Proceedings of Third Workshop "Computational linguistics and language science"
The issue contains the papers presented at the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012) held in Perm, Russia on 30th and 31st of May, 2012. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the colloquium.
The topics of the colloquium include software development technologies, programming languages, testing and verification of computer systems, analysis of programs, information systems, image and video processing and others.
The issue contains the papers presented at the 7th Spring/Summer Young Researchers' Соllоquium оn Software Engineering (SYRCoSE 2013) held in Kazan, Russia on 30th and З1st оf Мay, 2013. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and reseаrсh-in-рrogrеss papers were соnsidered ассeрtable for the colloquium.
The topics of the colloquium include modeling of computer systems, software testing and verification, parallel and distributed systems, information search and data mining, image and speech processing and others.
This paper provides a comprehensive overview of the gapping dataset for Russian that consists of 7.5k sentences with gapping (as well as 15k relevant negative sentences) and comprises data from various genres: news, fiction, social media and technical texts. The dataset was prepared for the Automatic Gapping Resolution Shared Task for Russian (AGRR-2019) - a competition aimed at stimulating the development of NLP tools and methods for processing of ellipsis. In this paper, we pay special attention to the gapping resolution methods that were introduced within the shared task as well as an alternative test set that illustrates that our corpus is a diverse and representative subset of Russian language gapping sufficient for effective utilization of machine learning techniques.
Workshop concentrates on an interdisciplinary approach to modelling human behavior incorporating data mining and expert knowledge from behavioral sciences. Data analysis results extracted from clean data of laboratory experiments will be compared with noisy industrial datasets from the web e.g. Insights from behavioral sciences will help data scientists. Behavior scientists will see new inspirations to research from industrial data science. Market leaders in Big Data, as Microsoft, Facebook, and Google, have already realized the importance of experimental economics know-how for their business.
In Experimental Economics, although financial rewards restrict subjects preferences in experiments, exclusive application of analytical game theory is not enough to explain the collected data. It calls for the development and evaluation of more sophisticated models. The more data is used for evaluation, the more statistical significance can be achieved. Since large amounts of behavioral data are required to scan for regularities, along with automated agents needed to simulate and intervene in human interactions, Machine Learning is the tool of choice for research in Experimental Economics. This workshop is aimed at bringing together researchers from both Data Analysis and Economics in order to achieve mutually beneficial results.