Bernhard Thalheim – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
83 produkter
83 produkter
E-bok
PDF, Engelska, 2013734 kr
Läs direkt efter köp
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionally focused on structure-oriented approaches, but it is now widely recognised that problems can be solved more effectively by integrating all three. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. This volume contains selected papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, held in Volkse, Germany, 19-22 October, 1992. This series of international workshops was initiated by the Working Group on Foundations of Information Systems, part of the German Association for Informatics. It provides an international forum for the discussion of current research into database theory and its application to database technology. The theme of this particular workshop was modelling the dynamic behaviour of database systems in formal frameworks. As object-oriented principles are being widely used in current research work, particular emphasis was also given to object dynamics. Among the topics covered in this volume are: specifying the dynamics of complex objects databases; updates in a rule-based language for objects; an order-sorted approach to active objects; non-deterministic aspects of database transformations involving object creation; monitoring temporal permissions using partially evaluated transition graphs; a formalisation of logic databases and integrity constraints; a comparison of approaches for modelling dynamics of databases. Modelling Database Dynamics provides a comprehensive overview of current research into the modelling and use of database dynamics. It will provide invaluable reading for researchers, postgraduate students, and anyone interested in the theoretical foundations of computer science.
E-bok
PDF, Tyska, 20152 001 kr
Läs direkt efter köp
Models are one of the main instruments in scientific research. Disciplines have developed a different understanding of the notion, function and purpose of models. We thus need a systematic approach in order to understand, to build and to use models. This book gives an insight into the disciplinary modelling know-how and is a starting point to develop a general model approach that generalises and combines for an interdisciplinary use.
E-bok
Tyska, 20152 001 kr
Läs direkt efter köp
Models are one of the main instruments in scientific research. Disciplines have developed a different understanding of the notion, function and purpose of models. We thus need a systematic approach in order to understand, to build and to use models. This book gives an insight into the disciplinary modelling know-how and is a starting point to develop a general model approach that generalises and combines for an interdisciplinary use.
Del 64 - Philosophische Analyse / Philosophical Analysis
Wissenschaft und Kunst der Modellierung
Inbunden, Tyska, 2015
1 977 kr
Skickas inom 5-8 vardagar
1 941 kr
Skickas
Information modeling has become an increasingly important topic for researchers, designers and users of information systems. In the course of the last three decades, information modeling and knowledge bases have become essential, not only with regard to information systems and computer science in an academic context, but also with the use of information technology for business purposes.This book presents 29 papers selected and upgraded from those delivered at the 25th International Conference on Information Modelling and Knowledge Bases (EJC 2015), held in Maribor, Slovenia, in June 2015. The aim of the conference is to bring together experts from different areas of computer science and other disciplines, including philosophy and logic, cognitive science, knowledge management, linguistics, and management science, with a view to understanding and solving problems and applying research results to practice. Areas covered by the papers include: conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; environmental modeling and engineering; and multimedia data modeling and systems.The book will be of interest to all those whose work involves the development or use of information modeling and knowledge bases.
2 277 kr
Skickas
Information modeling and knowledge bases have become essential subjects in the last three decades, not only in academic communities related to information systems and computer science, but also in the areas of business where information technology is applied.This book presents the proceedings of the 28th International Conference on Information Modelling and Knowledge Bases (EJC2018), held in Riga, Latvia from 4–8 June 2018. The aim of the conference was to bring together experts with a common interest in the understanding and solving of problems on information modelling and knowledge bases, as well as those from different areas of computer science and other disciplines who apply the results of research to practice. The 39 accepted papers collected here cover a variety of topics, including: conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; multimedia data modeling and systems; and environmental modeling and engineering.The book will be of interest to researchers and practitioners alike, and to anyone wanting a better understanding of current advances in information technology.
2 277 kr
Skickas
Information modeling and knowledge bases have become an important area of academic and industry research in the 21st century, addressing complexities of modeling that reach beyond the traditional borders of information systems and academic computer science research.This book presents 32 reviewed, selected and updated papers delivered at the 29th International Conference on Information Modeling and Knowledge Bases (EJC2019), held in Lappeenranta, Finland, from 3 to 7 June 2019. In addition, two papers based on the keynote presentations and one paper edited from the discussion of the panel session are included in the book. The conference provided a forum to exchange scientific results and experience, and attracted academics and practitioners working with information and knowledge. The papers cover a wide range of topics, ranging from knowledge discovery through conceptual and linguistic modeling, knowledge and information modeling and discovery, cross-cultural communication and social computing, environmental modeling and engineering, and multimedia data modeling and systems to complex scientific problem-solving. The conference presentation sessions: Learning and Linguistics; Systems and Processes; Data and Knowledge Representation; Models and Interface; Formalizations and Reasoning; Models and Modeling; Machine Learning; Models and Programming; Environment and Predictions; and Emotion Modeling and Social Networks reflect the main themes of the conference. The book also includes 2 extended publications of keynote addresses: ‘Philosophical Foundations of Conceptual Modeling’ and ´Sustainable Solid Waste Management using Life Cycle Modeling for Environmental Impact Assessment’, as well as additional material covering the discussion and findings of the panel session.Providing an overview of current research in the field, the book will be of interest to all those working with information systems, information modeling and knowledge bases.
1 847 kr
Skickas
Information modeling and knowledge bases are important technologies for academic and industrial research that goes beyond the traditional borders of information systems and computer science. The amount and complexity of information to be dealt with grows continually, as do the levels of abstraction and the size of databases.This book presents the proceedings of the 30th International Conference on Information Modelling and Knowledge Bases (EJC2020), due to be held in Hamburg, Germany on 8 and 9 June 2020, but instead held as a virtual conference on the same dates due to the Corona-virus pandemic restrictions. The conference provides a research forum for the exchange of scienti?c results and experiences, and brings together experts from different areas of computer science and other disciplines with a common interest in information modeling and knowledge bases. The subject touches on many disciplines, with philosophy and logic, cognitive science, knowledge management, linguistics and management science, as well as the emerging fields of data science and machine learning, all being relevant areas. The 23 reviewed, selected, and upgraded contributions included here are the result of presentations, comments, and discussions from the conference, and reflect the themes of the conference sessions: learning and linguistics; systems and processes; data and knowledge representation; models and interfaces; formalizations and reasoning; models and modeling; machine learning; models and programming; environment and predictions; modeling emotion; and social networks. The book provides an overview of current research and applications, and will be of interest to all those working in the field.
1 698 kr
Skickas
The technology of information modelling and knowledge bases addresses the complexities of modelling in digital transformation and digital innovation, reaching beyond the traditional borders of information systems and academic research in computer science.This book presents 21 papers from the 31st International conference on Information Modeling and Knowledge Bases (EJC 2021), hosted by the Department Informatik of the University of Applied Sciences in Hamburg, Germany, and held as a virtual event from 7 to 9 September 2021 due to restrictions caused by the Corona virus. The conference provides a research forum for academics and practitioners dealing with information and knowledge to exchange scientific results and experiences, and EJC 2021 covered a wide range of themes extending knowledge discovery through conceptual modeling, knowledge and information modeling and discovery, linguistic modeling, cross-cultural communication and social computing, environmental modeling and engineering, and multimedia data modeling and systems. As always, the conference was open to new topics related to its main themes, meaning the content emphasis of the EJC conferences is always able to adapt to the changes taking place in the research field, and the 21 papers included here after rigorous review, selection and upgrading are the result of presentations, comments, and discussions during the conference.Providing an up to the minute overview of the technology of information modeling and knowledge bases, the book will be of interest to all those working in the field.
2 090 kr
Skickas
The amount and complexity of information is continually growing, and information modeling and knowledge bases have become important contributors to technology and to academic and industrial research in the 21st century. They address the complexities of modeling in digital transformation and digital innovation, reaching beyond the traditional borders of information systems and academic computer-science research. This book presents the proceedings of EJC 2022, the 32nd International conference on Information Modeling and Knowledge Bases, held as a hybrid event due to restrictions related to the Corona virus pandemic in Hamburg, Germany, from 30 May to 3 June 2022. The aim of the conference is to bring together experts from different areas of computer science and other disciplines with a common interest in understanding and solving the problems of information modeling and knowledge bases and applying the results of research to practice. The conference has always been open to new topics related to its main themes, and the content emphasis of the conferences have changed through the years according to developments in the research field, so philosophy and logic, cognitive science, knowledge management, linguistics, and management science, as well as machine learning and AI, are also relevant areas. This book presents 19 reviewed and selected papers covering a wide range of topics, upgraded as a result of comments and discussions during the conference.Providing a current overview of recent developments, the book will be of interest to all those using information modeling and knowledge bases as part of their work.
2 090 kr
Skickas
The volume and complexity of information, together with the number of abstraction levels and the size of data and knowledge bases, grow continually. Data originating from diverse sources involves a combination of data from traditional legacy sources and unstructured data requiring backwards modeling, meanwhile, information modeling and knowledge bases have become important contributors to 21st-century academic and industrial research.This book presents the proceedings of EJC 2023, the 33rd International Conference on Information Modeling and Knowledge Bases, held from 5 to 9 June 2023 in Maribor, Slovenia. The aim of the EJC conferences is to bring together experts from different areas of computer science and from other disciplines that share the common interest of understanding and solving the problems of information modeling and knowledge bases and applying the results of research to practice. The conference constitutes a research forum for the exchange of results and experiences by academics and practitioners dealing with information and knowledge bases. The topics covered at EJC 2023 encompass a wide range of themes including conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; environmental modeling and engineering; and multimedia data modeling and systems. In the spirit of adapting to the changes taking place in these areas of research, the conference was also open to new topics related to its main themes. Providing a current overview of progress in the field, this book will be of interest to all those whose work involves the use of information modeling and knowledge bases.
Häftad, Engelska, 2018
257 kr
Skickas inom 5-8 vardagar
Del 909 - Communications in Computer and Information Science
New Trends in Databases and Information Systems
ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings
Häftad, Engelska, 2018
563 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 22th European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.The 20 full and the 4 short workshop papers as well as the 3 doctoral consortium papers were carefully reviewed and selected from 54 submissions to the workshops and 6 submissions to the doctoral consortium. Furthermore, there are 10 short papers included, which were accepted for the main conference. The papers are organized according to the 6 workshops and the doctoral consortium: ADBIS 2018 short papers; First Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018; First International Workshop on New Frontiers on Meta-data Management and Usage, M2U 2018; First Citizen Science Applications and Citizen Databases Workshop, CSADB 2018; First International Workshop onArticial Intelligence for Question Answering, AI*QA 2018; First International Workshop on BIG Data Storage, Processing and Mining for Personalized MEDicine, BIGPMED 2018; First Workshop on Current Trends in Contemporary Information Systems and Their Architectures, ISTREND 2018; Doctoral Consortium.
734 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 22th European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.
The 20 full and the 4 short workshop papers as well as the 3 doctoral consortium papers were carefully reviewed and selected from 54 submissions to the workshops and 6 submissions to the doctoral consortium. Furthermore, there are 10 short papers included, which were accepted for the main conference. The papers are organized according to the 6 workshops and the doctoral consortium: ADBIS 2018 short papers; First Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018; First International Workshop on New Frontiers on Meta-data Management and Usage, M2U 2018; First Citizen Science Applications and Citizen Databases Workshop, CSADB 2018; First International Workshop onArticial Intelligence for Question Answering, AI*QA 2018; First International Workshop on BIG Data Storage, Processing and Mining for Personalized MEDicine, BIGPMED 2018; First Workshop on Current Trends in Contemporary Information Systems and Their Architectures, ISTREND 2018; Doctoral Consortium.
Häftad, Engelska, 2021
563 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and conceptual-model programming and their future developments. The topics of the papers include notions of models that can be understood and used as programs, models-at-runtime, advanced conceptual modelling, conceptual-model programming, modelling foundation, transformation of models to programs, model suites/ensembles for programmers, modelling as the first step to programming and its revisions, advanced model-driven programming and software modernisation, modelling in applications.
E-bok
Engelska, 2021734 kr
Läs direkt efter köp
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and conceptual-model programming and their future developments. The topics of the papers include notions of models that can be understood and used as programs, models-at-runtime, advanced conceptual modelling, conceptual-model programming, modelling foundation, transformation of models to programs, model suites/ensembles for programmers, modelling as the first step to programming and its revisions, advanced model-driven programming and software modernisation, modelling in applications.
Häftad, Engelska, 2021
563 kr
Skickas inom 10-15 vardagar
This book constitutes the post-conference proceedings of the 22nd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2020, held in Voronezh, Russia, in October 2020*.The 16 revised full papers and two keynotes were carefully reviewed and selected from 60 submissions. The papers are organized in the following topical sections: data Integration, conceptual models and ontologies; data management in semantic web; data analysis in medicine; data analysis in astronomy; information extraction from text.* The conference was held virtually due to the COVID-19 pandemic.
E-bok
Engelska, 2021734 kr
Läs direkt efter köp
This book constitutes the post-conference proceedings of the 22nd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2020, held in Voronezh, Russia, in October 2020*.
The 16 revised full papers and two keynotes were carefully reviewed and selected from 60 submissions. The papers are organized in the following topical sections: data Integration, conceptual models and ontologies; data management in semantic web; data analysis in medicine; data analysis in astronomy; information extraction from text.
* The conference was held virtually due to the COVID-19 pandemic.
Häftad, Engelska, 2022
897 kr
Skickas inom 10-15 vardagar
This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*.The 16 revised full papers were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: problem solving infrastructures, experiment organization, and machine learning applications; data analysis in astronomy; data analysis in material and earth sciences; information extraction from text* The conference was held virtually due to the COVID-19 pandemic.
E-bok
Engelska, 20221 108 kr
Läs direkt efter köp
This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*.The 16 revised full papers were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: problem solving infrastructures, experiment organization, and machine learning applications; data analysis in astronomy; data analysis in material and earth sciences; information extraction from text* The conference was held virtually due to the COVID-19 pandemic.
Häftad, Engelska, 2024
619 kr
Skickas inom 10-15 vardagar
This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development.After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts.The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.
E-bok
PDF, Engelska, 2024798 kr
Läs direkt efter köp
This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development.
After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts.
The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.
- Nyhet
Del 16580 - Lecture Notes in Computer Science
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
Häftad, Engelska, 2026
741 kr
Skickas inom 5-8 vardagar
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.Prof. Börger has collaborated with a wide range of scientists and practitioners, their interests and successes are reflected in the papers contributed to this volume.
- Nyhet
E-bok
Engelska, 2026770 kr
Läs direkt efter köp
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.Prof. Börger has collaborated with a wide range of scientists and practitioners, their interests and successes are reflected in the papers contributed to this volume.
Del 8421 - Lecture Notes in Computer Science
Database Systems for Advanced Applications
19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I
Häftad, Engelska, 2014
563 kr
Skickas inom 10-15 vardagar
These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.
E-bok
PDF, Engelska, 2014734 kr
Läs direkt efter köp
These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.
Del 8422 - Lecture Notes in Computer Science
Database Systems for Advanced Applications
19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II
Häftad, Engelska, 2014
563 kr
Skickas inom 10-15 vardagar
These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.
E-bok
PDF, Engelska, 2014734 kr
Läs direkt efter köp
These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.
Inbunden, Engelska, 2015
547 kr
Skickas inom 10-15 vardagar
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.
E-bok
PDF, Engelska, 2015734 kr
Läs direkt efter köp
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.