How to store and process Big Data: are today's databases sufficient?

Prof. Jaroslav Pokorny, Charles University, Prague, Czech Republic

Abstract

The development and extensive use of highly distributed and scalable systems to process Big Data is without doubts one of the recent key technological trends in data processing. A user has at disposal distributed file systems, simple NoSQL key-value storage systems, as well as more elaborate NewSQL databases that support transactions at scale. Various problems inherent to these tools have influence on their usability in practice. Particularly, the performance of Big Analytics application can suffer, or transaction processing in the case of enterprise systems in web environment may prove inadequate. We focus on formulating these problems and presenting some possible solutions which are now under development. Some research challenges related to this area will be discussed.

Biography

Jaroslav Pokorny received his Ph.D. degree in theoretical cybernetics from Charles University, Prague in 1984. He is a full professor in its Faculty of Mathematics and Physics. He has published more than 300 papers and books on data modeling, relational databases, query languages, XML technologies, Social networks, and data organization. His current research interests include semi-structured data, Web technologies, database architectures, indexing methods, and social networks. Jaroslav Pokorny served as a chair or co-chair in the organization of conferences ADBIS-DASFAA (2000), EDBT (2002), Int. Workshop ClustWeb in conj. with EDBT (2004), Web X.0 a Web Mining Workshop in conj. with IEEE ICDIM (2007), ISD (2010), IDEAS (2012), ADBIS (2013), etc. He is a member of ACM and IEEE. He works also as the representative of Czech Republic in IFIP.

Processing Collective Knowledge – Conflict Resolution and Integration Aspects

Prof. Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland

Abstract

Methods for processing knowledge in collectives are more and more needed because of rapidly increasing of the number of autonomous sources of knowledge, for example in Internet. The knowledge originating from these sources is often inconsistent. Collective intelligence, among others, deals with determining the knowledge of a collective which is consistent and complete in the sense that it should contain all elements not belonging to the knowledge of particular collective members, but can be inferred on the basis of knowledge of them. For this process the methodologies for conflict resolution and knowledge integration seem to be very useful. In this talk we will present a framework for integrating knowledge of a collective and processing the inconsistency. The model for inconsistency of knowledge and knowledge integration using complex hierarchical structures will also be presented and analyzed. We will show that inconsistency plays an important role in the quality of collective knowledge.

Biography

Ngoc Thanh Nguyen is a full Professor of Wroclaw University of Technology, Poland, and is the head of Knowledge Management Systems Division in the Faculty of Computer Science. His scientific interests consist of knowledge integration methods, collective intelligence, inconsistent knowledge processing, multi-agent systems and E-learning methods. He has edited 30 special issues in international journals and 25 conference proceedings. He is the author or editor of 27 books and more than 300 other publications. He is the Editor-in-Chief of 3 international journals: Transactions on Computational Collective Intelligence (Springer), International Journal of Intelligent Information and Database Systems (Inderscience) and Vietnam Journal of Computer Science (Springer). He is also an Associate Editor of 5 prestigious international journals, among others, of IEEE Transactions on Systems, Man and Cybernetics and Neurocomputing. He is the founder of Asian Conference on Intelligent Information and Database Systems (ACIIDS) and International Conference on Computational Collective Intelligence (ICCCI). Prof. Nguyen Ngoc Thanh was selected as the Vice-President of International Society of Applied Intelligence (2009-2012) and Chair of IEEE SMC Technical Committee on Computational Collective Intelligence (from 2010). He is a Distinguished Visitor of IEEE and Distinguished Speaker of ACM. In 2009 Prof. Nguyen has been nominated by ACM of title "Distinguished Scientist".

Alvis - formal language for engineers

Prof. Marcin Szpyrka, AGH University of Science and Technology, Krakow, Poland

Abstract

Alvis language combines possibilities of a formal models verification with flexibility and simplicity of practical programming languages. Alvis provides a graphical modelling of interconnections among agents (subsystems) and a high level programming language used for the description of agents behaviour. Basic concepts of Alvis language are presented and methods of formal verification of Alvis models are discussed.

Biography

Marcin Szpyrka is an associate professor at the Department of Applied Computer Science, AGH University of Science and Technology, Krakow, Poland. Currently, he is the Deputy Head of the Department. Marcin Szpyrka received his Ph.D. and D.Sc. (habilitation) in Computer Science. He is the author of over 100 publications, from the domains of formal methods, software engineering and knowledge engineering. His fields of interest also include theory of concurrency and functional programming. Among other things, he is author of 3 books on Petri nets. Marcin Szpyrka is involved in several conferences and workshops, including CEE-SET, RSTW, FedCSIS, JRSS, CMS and IWBI. He has been lecturing computer science and mathematics courses in number of polish universities. He also took part in a number of curricula preparations, including graduate and postgraduate studies, for several universities. He is a member of IEEE and IRSS.