We warmly welcome you to the proceedings of the 16th IEEE Conference on Business Informatics (CBI 2014). The CBI series (www.cbi-series.org) started in 1998 as a workshop on Dependable and Real-Time E-Commerce Systems (DARE) and then continued as a Workshop on Advanced Issues of EC-ommerce and Web-based Information Systems (WECWI) that in 2003 evolved into a conference named IEEE Conference on e-Commerce and Enterprise Computing (CEC). In 2013, the CEC, in its turn, enlarged its scope and became the IEEE Conference on Business Informatics (CBI). Today, the CBI conference brings together different research domains related to Business Informatics and offers a venue to researchers and practitioners in this field to stimulate discussions, synergy and integration of their respective research results and activities. Business Informatics is a scientific discipline targeting information processes and related phenomena in their socio-economical business context, including companies, organisations, administrations and society in general. Business Informatics is a fertile ground for research with the potential for immense and tangible impact. As a field of study, it endeavours to take a systematic and analytic approach in aligning core concepts from management science, organisational science, economics information science, and informatics into an integrated engineering science. The field of Business Informatics involves a broad spectrum of more specific research domains that focus on important aspect of informatics in the context of organizations, ecosystems and society at large. These domains include: Business Model Innovation, Business Process Engineering, Empowering & Enabling Technologies, Enterprise Architecture, Enterprise Engineering, Enterprise Modelling, Enterprise & Business Transformation, Method Engineering, Service Innovation & Engineering, Social & Frontier Technologies, Business Data Engineering and Analytics, Model-driven Engineering, Industrial Services and Decision Support Systems. The CBI conferences use a format that enables in depth discussions amongst researchers in their respective domains during the conference. In addition, the best contributions and fruitful discussions among the different domains are channelled towards a book series dedicated to Advances in Business Informatics. This year, CBI is organized from July 14-17 in Geneva, Switzerland, and continues the already well established CBI tradition. The conference received 102 submissions, 28 of which have been selected for the main conference and 9 recommended to the collocated workshops. Each submission was reviewed by three Program Committee members and received a recommendation from the corresponding Domain Coordinator. This two level review process allowed us to select the most relevant and highest quality papers and to offer the audience an exciting program including 11 technical sessions. In addition to the paper presentations, the program of CBI 2014 features seven keynote presentations. We would like to thank Ron Tolido for his industrial keynote on The Black Swans Of Digital Transformation. We are also grateful to the presenters of the domain-specific keynotes: Jean Bezivin for the presentation on “Towards Cross-Disciplinary Practices: Software Modeling for Enterprise, Business and other Domain Engineering Fields”, Ralf Gitzel for the presentation on “Industrial Service as a Research Discipline”, Chris Stary for the presentation on “S-BPM (Subject-oriented Business Process Management) Revisited”, Henk Sol for the presentation on “Enhancing Issues that Matter: Providing COLLAGEN for Ennovations”, K.-J. Lin for his presentation on “Informatics Driven Business: Exploring New Frontiers Created by IT” and Jolita Ralyté for her presentation on “Fundamentals and Challenges of Situational Method Engineering”. One of the aims of the CBI series is to bring the different domains within the Business Informatics scope together. This year, four CBI domain coordinators took the lead in providing an integrated perspective across domains. We would therefore also like to thank Stephan Aier, Antonia Albani, Eng Chew, Henderik A. Proper, Jorge Sanz, José Tribolet and Robert Winter for their (joint) domain keynote on “Engineering for Value Co- Creation: A Research Roadmap”. For the first time, with the support of CUSO, CBI 2014 hosts a Summer School on Business Informatics, which aims at providing doctoral students with lectures broadening the horizon towards selected domains identified as cornerstone of the IEEE Conference on Business Informatics. The programme of this school features lectures by prominent professors: Antonia Albani (HSG, Switzerland), Eric Dubois (CRP Henri Tudor, Luxembourg), Ulrich Frank (University of Duisburg- Essen, Germany), Jan Mendling (Vienna University of Economics and Business, Austria) and Alain Wegmann (EPFL, Switzerland). We would like to thank Birgit Hofreiter, Stephane Marchand-Maillet and Jaques Savoy for their successful efforts on enriching CBI with a summer school. The program of CBI is further complemented by six co-located workshops all of them aiming to attract participants from both industry and academia. The 8th TEE Workshop: Transformation & Engineering of Enterprises promotes the use of methods and techniques from business process management, business engineering, organizational change management, enterprise architecture, enterprise modelling, and information systems engineering, and offers a forum to present related industrial practices. The workshop on Lowering Adoption Barriers to Enterprise Modeling (LABEM) aims to raise the awareness on human dimensions immanent to enterprise modelling, and to underline the need for their better support by modelling technologies. The workshop on Cross-organizational and Cross-company BPM (XOC-BPM) claims that coordinating stakeholders belonging to different organizations needs corresponding methods and tools. Therefore, the workshop explores multiple approaches allowing to improve participation, collaboration and social interaction for managing cross-organizational and cross-company business processes. The workshop on Capability-oriented Business Informatics (CoBI) investigates the use of the notion of capability in the context of business-IT alignment, and in particular, in enterprise modelling and architectures as a foundation for sustainable Information System planning and management in the presence of varying social and business contexts. The Workshop on Web 3.0 and Smart Commerce (W3SC) is about business transformation according to Web 3.0 and its definitions, about new types of services and innovative business models stemming from the high impact of Web 3.0 and Smart Commerce as the next step in globalization. Finally, the Workshop on Enterprise Engineering Theories and Methods (WEETM) seeks to develop a foundation of sound theories over which methodologies can be built and used to effectively engineer and manage enterprises. We thank Sybren de Kinderen for taking care of the workshops at CBI 2014 and we appreciate all the efforts of the workshop chairs: Wolfgang Molnar and Henderik A. Proper for TEE, Jean-Sébastien Sottet and Marija Bjeković for LABEM, Albert Fleischmann, Lutz Heuser, Andreas Oberweis, Werner Schmidt, Frank Schönthaler, Christian Stary, and Gottfried Vossen for XOC-BPM, Pericles Loucopoulos, Oscar Pastor and Jelena Zdravkovic for CoBI, Svetlana V. Maltseva and Mikhail M. Komarov for W3SC, and Artur Caetano and David Aveiro for WEETM. The organization and successful running of CBI 2014 would not be possible without the valuable help and energy of a large number of highly motivated people. We would like to express our gratitude to the Program Committee members, the Domain Coordinators and additional reviewers for their valuable work in selecting the papers for the scientific program of the conference; to the authors of the papers for submitting their work to CBI 2014; and to the Session Chairs for making this conference going smoothly. For the proceedings, we are grateful to our Publication Chair Birgit Hofreiter and the production manager Lisa O’Conner from IEEE. Our special thanks goes to all members of the local Organizing Committee at the University of Geneva for their hospitality and the organization of scientific and social events. Finally, we thank all participants both from academia and industry and we hope that you enjoy IEEE CBI 2014 in Geneva and that you find these proceedings a valuable source of information on business informatics. Henderik A. Proper, CRP Henri Tudor, Luxembourg Jolita Ralyté, University of Geneva, Switzerland Program Co-Chairs Stéphane Marchand-Maillet, University of Geneva, Switzerland, K.-J. Lin, University of California, Irvine, USA General Co-Chairs
The volume contains proceedings of the XIII International symposium on problems of redundancy in information and control systems.
Session 1. The uncertainty in the measurements and calculations. Probabilistic methods in the processing of information. The Bayesian approach Session 2. Systems simulation. Complex objects control in the condition of uncertainty Session 3. Neurocomputing networks, genetic algorithms and their applications Session 4. Methods and tools for the design of expert systems and decision support systems Session 5. Intelligent measurements systems. New approaches in measurements: intellectual, soft and fuzzy measurements Session 6. Environmental information systems Session 7. Application of decision support systems in the economy and the social sphere
The book prepared for the purposes of The 2nd World Congress on Logic and Religion, organised by the Institute of Philosophy of the University of Warsaw.
The book contains the final version of the abstracts submitted by majority of speakers.
The volume consists of scientific and research papers of the Fifth International Con- ference “Actual Problems of System and Software Engineering” (APSSE-2017), which took place with the support of the Russian Foundation for Basic Research (RFBR) (Project No17-07-20565). The Conference was held at the National Research University “Higher School of Economics” from November 14 to November 16, 2017 in Moscow, Russia. The conference was devoted to the analysis of the status, contemporary trends, re- search issues and practical results obtained by national and foreign scientists and ex- perts in the system and software engineering area, as well as information and analyti- cal systems development area using Big Data technologies. The target audience of the conference came to be the experts, students and post- graduates working in the area of ordering, designing, development, implementation, operation, and maintenance of information and analytical systems for various applica- tions and their software, also working on custom software development. Plenary papers were delivered by the leading domestic and foreign specialists and were aimed at developing the views on the most important and fundamental aspects of the information technology development. The Conference hosted 13 invited reports. There were submitted 77 articles, 51 from which were selected for publication. All the submitted articles were reviewed by the members of the Program Committee as well as by the independent reviewers.
Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of “modes of truth” with the two most common modes being “necessarily true” and “possibly true”. Research in modal logic now spans the spectrum from philosophy, computer science and mathematics using techniques from relational structures, universal algebra, topology, and proof theory. These proceedings record the papers presented at the 2016 conference on Advances in Modal Logic, a biennial conference series with an aim to report on important new developments in pure and applied modal logic. As indicated above, there are new developments in using modal logic to reason about obligations, about programs, about time, about combinations of modal logics and even about negation itself.
This book constitutes the proceedings of the Fourth International Conference on Analysis of Images, Social Networks and Texts, AIST 2015, held in Yekaterinburg, Russia, in April 2015. The 24 full and 8 short papers were carefully reviewed and selected from 140 submissions. The papers are organized in topical sections on analysis of images and videos; pattern recognition and machine learning; social network analysis; text mining and natural language processing.
This book constitutes the proceedings of the 5th International Conference on Analysis of Images, Social Networks and Texts, AIST 2016, held in Yekaterinburg, Russia, in April 2016. The 23 full papers, 7 short papers, and 3 industrial papers were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on machine learning and data analysis; social networks; natural language processing; analysis of images and video.
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.
This book constitutes the proceedings of the Third International Conference on Analysis of Images, Social Networks and Texts, AIST 2014, held in Yekaterinburg, Russia, in April 2014. The 11 full and 10 short papers were carefully reviewed and selected from 74 submissions. They are presented together with 3 short industrial papers, 4 invited papers and tutorials. The papers deal with topics such as analysis of images and videos; natural language processing and computational linguistics; social network analysis; machine learning and data mining; recommender systems and collaborative technologies; semantic web, ontologies and their applications; analysis of socio-economic data.
The main research subject of this book is the phenomenon of the "positive deviation" in Sabaic epigraphy, i.e. the use of the plural in the places where one would expect the singular or dual. The quantitative analysis of this phenomenon undertaken in this book leads me to the supposition that its main causes are social and not purely linguistic, though the linguistic trend towards the supplanting of the dual by the plural observed in Middle Sabaic epigraphy can partly (but only partly) explain the positive deviation from the dual. Hence, the study of this phenomenon leads me to the following suppositions with respect to the social history of ancient Yemen: (1.) Clan organization seems to have played an important role in the social life of Middle Sabaean society (= the Middle Sabaean cultural-political area = the Northern part of the area of the Middle Sabaic epigraphy, the 1st century BC - the 4th century AD): (1.a.) All the main types of immovable property (fields, vineyards, houses, irrigation structures, wells &c) were considered as a rule almost without exceptions to be the property of clan groups, but not of the individuals. (1.b.) Clan groups (not individuals) were considered to be chiefs of the tribes.
1.c. Clan groups were often considered to be both objects of the client dependence, and the patrons of the clients ('dm).
1.d. Tribes were often considered to consist of clan groups (not of individuals).
2. In the Ancient Sabaean cultural-political area (the 1st millennium BC) the role of the clan organization was remarkably less important.
2.a. It is impossible to say that almost all kinds of immovable property were considered here to be in the possession of clans. In the majority of the cases individual (not clan) possessions are mentioned in the Ancient Sabaean inscriptions. Though private ownership might not have become completely universal in the Ancient Period, it is quite evident that the process of the formation and proliferation of this form of ownership went quite far in this Period.
2.b. In the Ancient Period the individual forms of cliental dependence seem to have played a much more important role than the clan ones. In the majority of the cases individual persons (not clients) were considered to be both "patrons" and "clients".
2.c. Individual persons (not clans) were usually considered to be leaders of tribes and communities in the Ancient Period.
2.d. Tribes were always considered to consist of individuals (not clans) in this period.
3. One may suppose that the process of the formation of the state and civilization in the Lowlands went far enough in the Ancient Period to cause a considerable decline of the clan organization and the ejecting of it to the periphery (both in the spatial and social senses of this word) of the social system.
4. Hence, it is possible to suppose that with the transition from the Ancient to Middle Period the clan organisation in the "North" significantly consolidated, its social importance considerably grew.
5. The "archaization" of the social life in the Southern (Himyarite-Radmanite) part of the area of the Middle Sabaic epigraphy (most of which was a part of the Qatabanian cultural-political area in the Ancient Period) was less strong than in the Northern ("Sabaean") part. The Ancient "individualized" tradition survived in the South to some extent, and the positions of the clan organization were not so solid here as they were in the North.
6.The above-mentioned social changes fit quite well in the general picture of the Pre-Islamic Yemeni history.
6.a. Several factors described in Chapter 4 caused a significant decline of the Sabaean state and civilization by the end of the 1st millennium BC. The weakening state organization seems to have become incapable of providing guarantees of life and property to individuals, and it was the clan organization that took on these functions to a considerable extent. As a result we can see by the Middle Period the consolidation of the clan organization which acted as a partial substitute for the weak state. This process can be also considered as quite an adequate social adaptation to the new situation which appeared in the Sabaean cultural-political area by the end of the 1st millennium BC with the relative decline of the Sabaean Lowlands (caused by the above-mentioned factors) and the rise of the importance of the "Sabaean" Highlands. Indeed, the Middle "Sabaean" political system, which was much less like a regular state than the Ancient one which included strong clan and tribal structures as its integral elements, turned out to be a really effective form of socio-political organization for a complex society in the Northern Highlands. Most political entities which appeared in this region from that time till the present have showen evident similarities to the Middle "Sabaean" socio-political organization.
6.b. The Middle Sabaean political system may be also characterized as consisting of a weak state in its centre and strong chiefdoms on its periphery. However, there is no doubt that this was a real system, i.e. it had some integrative properties which could not be reduced to the characteristics of its elements. It should be also taken into consideration that the state and chiefdoms were not the only elements of this political system. It included as well e.g. a sub-system of temple centres and the civil community of M_rib, as well as some true tribes (not chiefdoms) in the area of the Sabaean Lowlands, primarily the tribes of the Amirite confederation. With the transition from the Ancient to Middle Period the Sabaean political system was essentially transformed, becoming as a whole very different from the "state", but remaining, however, on basically the same level of political complexity. Without losing any political complexity and sophistication, the Middle "Sabaeans" managed to solve in quite different ways the problems which in complex societies are normally solved by states, such as the mobilization of resources for the functioning of the governing sub-system, the territorial organization of a vast space and the provision of guarantees of life and property. The Middle "Sabaean" experience seems to demonstrate that a large, complex, highly developed (in comparison with for example an average chiefdom) and integrated territorial entity need not necessarily be organized politically as a state. This appears to show that for the "early state" the transition to the "mature state" or complete "degeneration" into "tribes" and "chiefdoms" were not the only ways of possible evolution. One of the possible alternatives was its transformation into a "political system of the Middle Sabaean type". The real processes of political evolution seem to have been actually much less "unilinear" than is sometimes supposed. A significant transformation appears to have occurred in the area in the Early Islamic Period, and by the late Middle Ages the political system of the former "Sabaean" region seems to have consisted mainly of a stronger state in its centre and true tribes (not chiefdoms) on its periphery, whereas regular state structures persisted in the Southern (former Himyarite) cultural-political area.
6.c. The decline of the Ancient Qatabanian state took place significantly later than that of the Ancient Sabaean one. As a result the social continuity between the Ancient and the Middle Period in the Qatabanian cultural-political area was stronger, and the social transformation in the "South" turned out to be less dramatic. As a result in the Middle Period the state organization in the "South" appears considerably stronger than in the "North"; whereas the clan organization seems to have been much weaker. Quite an impressive feature of Yemeni history is that we find a more or less similar picture in 20th century Yemen: very strong clan-tribal structures and very weak state ones in the Yemeni Uplands to the north of Naq_l Yili (in the "Sabaean Highlands") and relatively weak clan-tribal structures and relatively strong state ones to the south of it, in the "Himyarite Highlands". Thus the above described picture appears as almost invariable in Yemeni history since the first centuries AD. This fact leads one to the supposition that there must be some fundamental basis for such a stable difference between the "North" and the "South". Its main objective factor is evident: the significant difference in the geographical conditions. It is really remarkable to find that the Highland territories of the two Middle Period cultural-political areas are practically identical with two main ecological zones of the Yemeni uplands.
7. The clan organization was not universal, even in the Middle Sabaean cultural-political area. The dense network of the clan relations was considerably weaker near the king and, perhaps, the most important temple centres, as they stood outside the clan organization and above it. In spatial dimensions, the zone of the weaker clan relations could be localized in the area of Marib and, perhaps, Nashq, Nashshan and San'a'.
This book aims to identify promising future developmental opportunities and applications for Tech Mining. Specifically, the enclosed contributions will pursue three converging themes:The increasing availability of electronic text data resources relating to Science, Technology & Innovation (ST&I) The multiple methods that are able to treat this data effectively and incorporate means to tap into human expertise and interests Translating those analyses to provide useful intelligence on likely future developments of particular emerging S&T targets.
Tech Mining can be defined as text analyses of ST&I information resources to generate Competitive Technical Intelligence (CTI). It combines bibliometrics and advanced text analytic, drawing on specialized knowledge pertaining to ST&I. Tech Mining may also be viewed as a special form of “Big Data” analytics because it searches on a target emerging technology (or key organization) of interest in global databases. One then downloads, typically, thousands of field-structured text records (usually abstracts), and analyses those for useful CTI. Forecasting Innovation Pathways (FIP) is a methodology drawing on Tech Mining plus additional steps to elicit stakeholder and expert knowledge to link recent ST&I activity to likely future development. A decade ago, we demeaned Management of Technology (MOT) as somewhat selfsatisfied and ignorant. Most technology managers relied overwhelmingly on casual human judgment, largely oblivious of the potential of empirical analyses to inform R&D management and science policy. CTI, Tech Mining, and FIP are changing that.
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
This book constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2014, held in Varna, Bulgaria in September 2014. The 14 revised full papers and 9 short papers presented were carefully reviewed and selected from 53 submissions. The range of topics is almost equally broad, from traditional areas such as computer vision and natural language processing to emerging areas such as mining the behavior of Web-based communities.
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.