You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Thirteenth International Conference on Integral Methods in Science and Engineering, held July 21–25, 2014, in Karlsruhe, Germany. A broad range of topics is addressed, from problems of existence and uniqueness for singular integral equations on domain boundaries to numerical integration via finite and boundary elements, conservation laws, hybrid methods, and other quadrature-related approaches. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an essential tool.
This book contains the revised and extended versions of selected papers from the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, which took place virtually during February 3–5, 2022. The conference was originally planned to take place in Vienna, Austria, but had to change to an online format due to the COVID-19 pandemic. The 9 full papers included in this book were carefully reviewed and selected from 302 submissions. They were organized in topical sections as follows: agents; artificial intelligence.
This is the first book to present the law of the Baltic States in one comprehensive and coherent volume in English. The Baltic States region, which was incorporated by the Soviet Union for 50 years and now is the only such territory in the EU, continues to be characterized by a number of unique traits, problems and developmental trends. This book addresses these facets of law – the status quo, problems and trends – by adopting a comparative perspective structure for all three Baltic States (divided into three main parts – Estonia, Latvia and Lithuania). Each of these parts examines similar core aspects: General Frameworks, Public Law, and Private Law. Taking into account the peculiarities of each country, the individual chapters provide analyses of principles, problems and developments in specific legal branches. The authors of the book are recognized academics and professionals in the field of law. Taken together, their contributions offer a valuable tool and resource for anyone interested in the law of the Baltic States: students, legal practitioners, scholars, administrators, etc.
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
Publication of the Global Studies Directory represents an unprecedented project in world practice. Based on the professional assessment by a large international team of experts, the Directory offers information on the most well-known scholars, political and public figures who have made outstanding contributions to the establishment and development of global studies or made a fundamental impact on the formation of global world. The Directory also contains comprehensive information about organizations, periodicals and special literature of direct relevance to the theory and practice of globalization and fully demonstrates the state of affairs in the field of study on a global level. This project is a continuation of many years of research which first resulted in the publication of the Global Studies Encyclopedic Dictionary, the companion publication to the Directory.
This book constitutes the proceedings of the 14th International Conference on Business Process Management, BPM 2016, held in Rio de Janeiro, Brazil, in September 2016. The focus of the conference covers a range of papers focusing on automated discovery, conformance checking, modeling foundations, understandability of process representations, runtime management and predictive monitoring. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, resonated by an equally fast-growing uptake by different industry sectors.
The importance of databases and information systems to the functioning of 21st century life is indisputable. This book presents papers from the 13th International Baltic Conference on Databases and Information Systems, held in Trakai, Lithuania, from 1- 4 July 2018. Since the first of these events in 1994, the Baltic DB&IS has proved itself to be an excellent forum for researchers, practitioners and PhD students to deliver and share their research in the field of advanced information systems, databases and related areas. For the 2018 conference, 69 submissions were received from 15 countries. Each paper was assigned for review to at least three referees from different countries. Following re...
This book constitutes the refereed proceedings of the 17th Nordic Conference on Secure IT Systems, NordSec 2012, held in Karlskrona, Sweden, in October 2012. The 16 revised papers were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on application security, security management, system security, network security, and trust management.