You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research.
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and Gödel centenary: Gödel's legacy for computability.
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.
Because the original and essential value of spatial data ' data that refer to specific geographical locations or areas ' lies in environmental decision-making, such data mostly originate in the public sector and are made available to people,
Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional ...
Revised papers originally presented at the "International Conference on Narrative Revisited: Telling a Story in the Age of New Media," held in July 2007, and sponsored by the Department of English Linguistics at the University of Augsburg, in honor of WolframBublitz .
This handbook provides a comprehensive overview of the pragmatics of social media, i.e. of digitally mediated and Internet-based platforms which are interactively used to share and edit self- and other-generated textual and audio-visual messages. Its five parts offer state-of-the-art reviews and critical evaluations in the light of on-going developments: Part I The Nature of Social Media sets up the conceptual groundwork as it explores key concept such as social media, participation, privacy/publicness. Part II Social Media Platforms focuses on the pragmatics of single platforms such as YouTube, Facebook. Part III Social Media and Discourse covers the micro-and macro-level organization of social media discourse, while Part IV Social Media and Identity reveals the multifarious ways in which users collectively (re-)construct aspects of their identities. Part V Social Media and Functions/Speech Acts surveys pragmatic studies on speech act functions such as disagreeing, complimenting, requesting. Each contribution provides a state-of-the-art review together with a critical evaluation of the existing research.
In this paper one generalizes the classical probability and imprecise probability to the notion of “neutrosophic probability” in order to be able to model Heisenberg’s Uncertainty Principle of a particle’s behavior, Schrödinger’s Cat Theory, and the state of bosons which do not obey Pauli’s Exclusion Principle (in quantum physics).
This timely volume reviews key issues and developments in the controversial area of public sector information (PSI). It addresses the fundamental themes, challenges and conflicts surrounding the access to, and use of, PSI in the new digital era. Using detailed empirical analyses and case studies from across Europe and the USA, the authors focus on the crucial policy, economic, legal and social issues. The public sector is the biggest single producer and holder of information including administrative and government documents, regulatory texts, political data and public registers. The authors demonstrate that this huge store of information is a key resource for a broad range of stakeholders such as citizens, civic organisations, private businesses and public sector agencies. They argue that charging the marginal cost of dissemination, a policy favoured in the US, will lead to optimal economic growth in society and will far outweigh the immediate perceived benefits of aggressive cost recovery.
Collected papers and short articles on different mathematical topics.