Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series
Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.
This article devoted the complex analysis governing modern independent codifications of private international law in the countries of South East Asia. As part of this article conducted the detailed analysis of national-legal regulation of laws in the field of private international law in China and Japan. The analysis of the basic institutes of private international law, and also questions concerning hereditary, family, tort, real and a liability law is also carried out.
The paper proposes morphological models for the analysis of complex electronic systems quality criterion. The reason for resorting to morphological models is the need to increase attention to improving the quality and reliability of electronic systems in the early design stages. At the same time, many difficulties of mathematical modeling of the investigated heterogeneous physical processes occurring in electronic systems are solved. In this paper, the unification of the notation and the image of components based on analogies of mathematical descriptions. In linear synthesis morphological models in the form of connection of multipolar systems are offered. But they allow you to explore the electrical, mechanical and thermal processes only in linear approximation. In contrast to this representation, the paper also proposes unified view of morphological models in the form of a hypergraph, which will cover nonlinear cases.
This book is a collection of articles written on the results of the international scientific seminar "Legal aspects of the BRICS", organized by the University of Rome "Tor Vergata" in May 2013. Lawyers - researchers from Italy, Brazil, Russia, India, China and South Africa Republic took part in the discussion on the harmonization of the legal systems of the BRICS and prepared their works, which have been published in 2015.
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018, to be held at the City University of New York, New York City, USA, is the 43rd meeting in this series. The series has been held annually since 1981. ISSAC is sponsored by the Association for Computing Machinery (ACM) and its Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM), and is generously supported by several other institutions and organizations, which are listed in the following pages.
This year's meeting takes place from the 16th to the 19th of July 2018. The ISSAC meeting is a showcase for original research contributions on all aspects of computer algebra and symbolic mathematical computation, including:
Algorithmic aspects Exact and symbolic linear, polynomial, and differential algebra Symbolic-numeric, homotopy, perturbation, and series methods Computational algebraic geometry, group theory, number theory, quantifier elimination, and logic Computer arithmetic Summation, recurrence equations, integration, and solution of ODEs and PDEs Symbolic methods in other areas of pure and applied mathematics Complexity of algebraic algorithms and algebraic complexity Software aspects Design of symbolic computation packages and systems Language design and type systems for symbolic computation Data representation Considerations for modern hardware Algorithm implementation and performance tuning Mathematical user interfaces Use with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation Application aspects Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact
The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations, and vendor exhibits, with its centerpiece being peer-reviewed research papers.
The ISSAC program committee has adhered to the highest standards and practices in the evaluation of submitted papers, producing three or more referee reports per submission. All papers submitted iv to ISSAC were judged, and accepted or rejected, based solely on their scientific novelty, importance, non-triviality, and rigor. The program committee selected 47 papers for publication in these proceedings. We gratefully acknowledge the thorough and important work of the program committee members and external reviewers, whose names appear in the following pages, and thank all the authors of all the submitted papers, tutorials, and invited talks for their contributions.
This article is devoted to the analysis of contemporary trends of reforming of York- Antwerp Rules on general average, about what in the literature, both Russian and foreign, is currently little information. In the study of international organization documents in the field of maritime trade were identified those problematic issues, on which new amendments to the York-Antwerp Rules on general average are planned. It is concluded that despite the growth of the abolition of the position of supporters of general average as an anachronism and a full transition to the marine insurance practice shows how countries and individuals are really interested in maintaining and further improving the York-Antwerp Rules as a source of law, applicable to international maritime transport of cargo.
This article is devoted to the major trends of regulate relations associated with such basic institutions of private international sea law as a maritime lien, rescue ships and other property at sea. These legal institutions not only have special significance in terms of their theoretical study and scientific analysis, but also play an important role in merchant shipping, which increases many times in international trade relations. In this paper, using the method of comparative law study, authors conducted a detailed analysis of the legal framework of the main institutes of private international sea law ( such as maritime lien, rescue ships and other property at sea) which serve as sources of domestic and external rules (international treaties, customs of merchant shipping). Authors touches the diversity and abundance of sources of the institutes of international private sea law due to the specifics of relations connected with the foreign rule of law. The urgency of the problem under consideration is also confirmed by the presence of contemporary international trends in reform and unification of the mentioned institutions, the private maritime law, as evidenced by the adoption of the international maritime community of new conventions, international organizations, the development of new instruments that are widely used in merchant shipping known as a «soft law», and the implementation by states international norms into national legislation.
Thus book is a collection of articles written on the results of the international scientific seminar "Legal aspects of the BRICS", organized by the University of Rome "Tor Vergata" in May 2013. Lawyers -researchers from Italy, Brazil, Russia, India, China and South Africa Republic took part in the discussion on the harmonization of the legal systems of the BRICS and prepared their works, which have been published in 2015.
A model for organizing cargo transportation between two node stations connected by a railway line which contains a certain number of intermediate stations is considered. The movement of cargo is in one direction. Such a situation may occur, for example, if one of the node stations is located in a region which produce raw material for manufacturing industry located in another region, and there is another node station. The organization of freight traﬃc is performed by means of a number of technologies. These technologies determine the rules for taking on cargo at the initial node station, the rules of interaction between neighboring stations, as well as the rule of distribution of cargo to the ﬁnal node stations. The process of cargo transportation is followed by the set rule of control. For such a model, one must determine possible modes of cargo transportation and describe their properties. This model is described by a ﬁnite-dimensional system of diﬀerential equations with nonlocal linear restrictions. The class of the solution satisfying nonlocal linear restrictions is extremely narrow. It results in the need for the “correct” extension of solutions of a system of diﬀerential equations to a class of quasi-solutions having the distinctive feature of gaps in a countable number of points. It was possible numerically using the Runge–Kutta method of the fourth order to build these quasi-solutions and determine their rate of growth. Let us note that in the technical plan the main complexity consisted in obtaining quasi-solutions satisfying the nonlocal linear restrictions. Furthermore, we investigated the dependence of quasi-solutions and, in particular, sizes of gaps (jumps) of solutions on a number of parameters of the model characterizing a rule of control, technologies for transportation of cargo and intensity of giving of cargo on a node station.
Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a full-fledged implementation. This paper describes an ROLAP-based method of multidimensional event logs storage for process mining. The result of the analysis of the journal is visualized as directed graph representing the union of all possible event sequences, ranked by their occurrence probability. Our implementation allows the analyst to discover process models for sublogs defined by ad-hoc selection of criteria and value of occurrence probability
The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.
Existing approaches suggest that IT strategy should be a reflection of business strategy. However, actually organisations do not often follow business strategy even if it is formally declared. In these conditions, IT strategy can be viewed not as a plan, but as an organisational shared view on the role of information systems. This approach generally reflects only a top-down perspective of IT strategy. So, it can be supplemented by a strategic behaviour pattern (i.e., more or less standard response to a changes that is formed as result of previous experience) to implement bottom-up approach. Two components that can help to establish effective reaction regarding new initiatives in IT are proposed here: model of IT-related decision making, and efficiency measurement metric to estimate maturity of business processes and appropriate IT. Usage of proposed tools is demonstrated in practical cases.