Foundations of Information and Knowledge Systems

Foundations of Information and Knowledge Systems
Author: Thomas Eiter
Publisher: Springer
Total Pages: 299
Release: 2003-07-31
Genre: Computers
ISBN: 3540457585

This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr ́ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.

Distributed Energy Management of Electrical Power Systems

Distributed Energy Management of Electrical Power Systems
Author: Yinliang Xu
Publisher: John Wiley & Sons
Total Pages: 352
Release: 2021-01-13
Genre: Science
ISBN: 1119534887

Go in-depth with this comprehensive discussion of distributed energy management Distributed Energy Management of Electrical Power Systems provides the most complete analysis of fully distributed control approaches and their applications for electric power systems available today. Authored by four respected leaders in the field, the book covers the technical aspects of control, operation management, and optimization of electric power systems. In each chapter, the book covers the foundations and fundamentals of the topic under discussion. It then moves on to more advanced applications. Topics reviewed in the book include: System-level coordinated control Optimization of active and reactive power in power grids The coordinated control of distributed generation, elastic load and energy storage systems Distributed Energy Management incorporates discussions of emerging and future technologies and their potential effects on electrical power systems. The increased impact of renewable energy sources is also covered. Perfect for industry practitioners and graduate students in the field of power systems, Distributed Energy Management remains the leading reference for anyone with an interest in its fascinating subject matter.

Distributed Computing and Networking

Distributed Computing and Networking
Author: Marcos K. Aguilera
Publisher: Springer
Total Pages: 434
Release: 2011-01-10
Genre: Computers
ISBN: 3642176798

This book constitutes the refereed proceedings of the 12th International Conference on Distributed Computing and Networking, ICDCN 2011, held in Bangalore, India, during January 2-5, 2011. The 31 revised full papers and 3 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 140 submissions. The papers address all current issues in the field of distributed computing and networking. Being a leading forum for researchers and practitioners to exchange ideas and share best practices, ICDCN also serves as a forum for PhD students to share their research ideas and get quality feedback from the well-renowned experts in the field.

Advances in Conceptual Modeling - Challenging Perspectives

Advances in Conceptual Modeling - Challenging Perspectives
Author: Carlos A. Heuser
Publisher: Springer
Total Pages: 375
Release: 2009-11-14
Genre: Computers
ISBN: 3642049478

This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. Topics addressed by the workshops are active conceptual modeling of learning (ACM-L), conceptual modeling in the large (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint international workshop on metamodels, ontologies, semantic technologies, and information systems for the semantic web (MOST-ONISW), quality of information systems (QoIS), requirements, Intentions and goals in conceptual modeling ( RIGiM) and semantic and conceptual issues in geographic information systems (SeCoGIS).

Bits and Bugs

Bits and Bugs
Author: Thomas Huckle
Publisher: SIAM
Total Pages: 264
Release: 2019-03-08
Genre: Mathematics
ISBN: 1611975557

In scientific computing (also known as computational science), advanced computing capabilities are used to solve complex problems. This self-contained book describes and analyzes reported software failures related to the major topics within scientific computing: mathematical modeling of phenomena; numerical analysis (number representation, rounding, conditioning); mathematical aspects and complexity of algorithms, systems, or software; concurrent computing (parallelization, scheduling, synchronization); and numerical data (such as input of data and design of control logic). Readers will find lists of related, interesting bugs, MATLAB examples, and ?excursions? that provide necessary background, as well as an in-depth analysis of various aspects of the selected bugs. Illustrative examples of numerical principles such as machine numbers, rounding errors, condition numbers, and complexity are also included. ?

MFDBS 89

MFDBS 89
Author: Janos Demetrovics
Publisher: Springer Science & Business Media
Total Pages: 438
Release: 1989-05-30
Genre: Computers
ISBN: 9783540512516

This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory.

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning
Author: Miki Hermann
Publisher: Springer Science & Business Media
Total Pages: 599
Release: 2006-10-23
Genre: Computers
ISBN: 3540482814

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.

Multimedia Software Engineering

Multimedia Software Engineering
Author: Shi-Kuo Chang
Publisher: Springer Science & Business Media
Total Pages: 272
Release: 2000-01-31
Genre: Computers
ISBN: 9780792377368

Multimedia has two fundamental characteristics that can be expressed by the following formula: Multimedia = Multiple Media + Hypermedia. How can software engineering take advantage of these two characteristics? Will these two characteristics pose problems in multimedia systems design? These are some of the issues to be explored in this book. The first two chapters will be of interest to managers, software engineers, programmers, and people interested in gaining an overall understanding of multimedia software engineering. The next six chapters present multimedia software engineering according to the conceptual framework introduced in Chapter One. This is of particular use to practitioners, system developers, multimedia application designers, programmers, and people interested in prototyping multimedia applications. The next three chapters are more research-oriented and are mainly intended for researchers working on the specification, modeling, and analysis of distributed multimedia systems, but will also be relevant to scientists, researchers, and software engineers interested in the systems and theoretical aspects of multimedia software engineering. Multimedia Software Engineering can be used as a textbook in a graduate course on multimedia software engineering or in an undergraduate course on software design where the emphasis is on multimedia applications. It is especially suitable for a project-oriented course.