You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
We study conformal symmetry breaking differential operators which map dif-ferential forms on Rn to differential forms on a codimension one subspace Rn−1. These operators are equivariant with respect to the conformal Lie algebra of the subspace Rn−1. They correspond to homomorphisms of generalized Verma mod-ules for so(n, 1) into generalized Verma modules for so(n+1, 1) both being induced from fundamental form representations of a parabolic subalgebra. We apply the F -method to derive explicit formulas for such homomorphisms. In particular, we find explicit formulas for the generators of the intertwining operators of the re-lated branching problems restricting generalized Verma modules...
This monograph presents the outcome of a GI-Dagstuhl Seminar held in Dagstuhl Castle in November 2005. It gives a first overview of algorithmic results on wireless ad hoc and sensor networks. Many chapters deal with distributed algorithms. Importance is attached to topics that combine both interesting aspects of wireless networks and attractive algorithmic methods. Each chapter provides a survey of some part of the field, while selected results are described in more detail.
View the abstract.
This book constitutes the refereed proceedings of the 4th International Conference on E-Commerce 2003, held in Prague, Czech Republic in September 2003. The 42 revised full papers presented together with an invited paper and a position paper were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on auctions, security, agents and search, ebXML, modeling and technology, XML, design and performance, business processes, and brokering and recommender systems.
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic. Contents: Fine-Grained Theories of Time (P...
"This book reviews issues and trends in security and privacy at an individual user level, as well as within global enterprises, covering enforcement of existing security technologies, factors driving their use, and goals for ensuring the continued security of information systems"--Provided by publisher.
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.
View the abstract.