الصفحة 10
الصفحة 10
Theory of Function Spaces III
Deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments in the last 10–15 years which are closely related to the nowadays numerous applications of the theory of function spaces to some neighbouring areas such as numerics, signal processing and fractal analysis.
Theory and Applications of Satisfiability Testing ; Vol. 3542 ; 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the fields of theoretical and experimental computer science as well as the many relevant application areas.
Theory and Applications of Relational Structures as Knowledge Instruments II ; International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and - plications of Relational Structures as Knowledge Instruments. Relational structures abound in the daily environment: relational databases, data-mining, scaling procedures, preference relations, etc. Reasoning about, and with, relations has a long-standing European tradition, which may be divided into three broad areas: 1. Algebraic Logic: algebras of relations, relational semantics, and algebras and logics derived from information systems. 2. Computational Aspects of Automated Relational Reasoning: decidability and complexity of algorithms, network satisfaction. 3. Applications: social choice, AI, linguistics, psychology, economics, etc. The main objective of the ?rst TARSKI book (LNCS 2929) was to advance the understanding of relational structures and the use of relational methods in applicable object domains.
Theories of Perception in Medieval and Early Modern Philosophy
Sense perception is one of the classical themes in philosophy. It is traditionally considered a necessary preamble to many important topics, such as the mind-body relationship, consciousness, knowledge, and scepticism. Perception is also a phenomenon which itself raises philosophical questions, such as what is perceptible, what the content of perception is, whether this content is conceptual and how perception is related to epistemic attitudes. While the philosophy of mind and philosophical psychology are the main areas in which perception is dealt with in contemporary philosophy, it is also discussed in the theory of knowledge, cognitive science, philosophical aesthetics and metaphysics. In recent years, the rich tradition of various philosophical theories of perception has been increasingly studied by scholars of the history of philosophy of mind.
Theoretical and Practical Advances in Computer-based Educational Measurement
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities. The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and improvements in computerized adaptive testing. Moreover, it also offers examples on the impact of new technology in assessment. By bringing together expertise from this variety of fields, advances in assessment are fostered and stimulated. It discussed, among which are review systems tailored for the evaluation of the quality of computer-based educational tests, the Curie-Weiss model as a paradigm for the analysis of educational data, Bayesian techniques to decide on mastery in formative educational measurement and the comparison of Elo chess ratings as strategies for on-the-fly item calibration in computerized adaptive tests.
Theorem Proving in Higher Order Logics ; 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
Theorem Proving in Higher Order Logics ; 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) held September 10–13, 2007 in Kaiserslautern, Germany. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and verification
Theorem proving in higher order logics ; 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.
Theatres of Architectural Imagination
Imagination is arguably the architect’s most crucial capacity, underpinning memory, invention, and compassion. No simple power of the mind, architectural imagination is deeply embodied, social, and situational. Its performative potential and holistic scope may be best understood through the model of theatre. Theatres of Architectural Imagination examines the fertile relationship between theatre and architecture with essays, interviews and entr’actes arranged in three sections: Bodies, Settings, and (Inter)Actions.
The World of Rhabdoviruses
In this volume the unique and common features of rhabdoviruses, particularly their morphological, molecular, and pathogenic characteristics, and their phylogenetic relationships are reviewed. Rhabdoviruses have a very wide host range and have been isolated from plants, insects, and almost from all vertebrates including fish and primates. The Rhabdoviridae family consists of six genera which have all been associated with diseases. While rhabdoviruses that are etiological agents of human diseases can cause serious public health problems, other members of this family that infect domestic livestock and agricultural plants can also cause enormous economic loss.
The Welfare of Cattle
Animal welfare is attracting increasing interest worldwide, but particularly from those in developed countries, who now have the knowledge and resources to be able to offer the best management systems for their farm animals, as well as potentially being able to offer plentiful resources for companion, zoo and laboratory animals. The increased attention given to farm animal welfare in the West derives largely from the fact that the relentless pursuit of financial reward and efficiency has led to the development of intensive animal production systems that challenge the conscience of many consumers in those countries. In developing countries, human survival is still a daily uncertainty, so that provision for animal welfare has to be balanced against human welfare. Welfare is usually provided for only if it supports the output of the animal, be it food, work, clothing, sport or companionship. In re- ity, there are resources for all if they are properly husbanded in both developing and developed countries. The inequitable division of the world’s riches creates physical and psychological poverty for humans and animals alike in many parts of the world.
The Welfare of Cats
Animal welfare is attracting increasing interest worldwide, but particularly from those in developed countries, who now have the knowledge and resources to be able to offer the best management systems for their farm animals, as well as potentially being able to offer plentiful resources for companion, zoo and laboratory animals. The increased attention given to farm animal welfare in the West derives largely from the fact that the relentless pursuit of financial reward and efficiency has led to the development of intensive animal production systems, that challenge the conscience of many consumers in those countries. In developing countries human survival is still a daily uncertainty, so that provision for animal welfare has to be balanced against human welfare. Welfare is usually provided for only if it supports the output of the animal, be it food, work, clothing, sport or companionship. In reality, there are resources for all if they are properly husbanded in both developing and developed countries. The inequitable division of the world’s riches creates physical and psychological poverty for humans and animals alike in all sectors of the world. Livestock are the world’s biggest land user (FAO, 2002) and the population is increasing rapidly to meet the need of an expanding human population.
The Voice of Breast Cancer in Medicine and Bioethics
This volume offers a discursive analysis of breast cancer. From multiple perspectives—historical, philosophical, psychological, socio-political—these essays explore the competing narratives that have made breast cancer a contested site. It addresses debates about the autonomy of the patient in relation to the authority of the physician, as well as the importance of patient narratives in understanding disease. It analyzes the relation between the community and medical practice, particularly with regard to the effect of breast cancer activists and feminists on the medical understanding and treatment of breast cancer. And, it questions the intersection of medical science with political institutions and agencies of public policy in determining priorities of research and strategies of treatment.
The Vascular Endothelium II
This wide ranging work provides a complete representation of the present state of knowledge of the vascular endothelium. The volume comprises 20 chapters by experts who have made significant contributions to research in the vascular endothelium. The text discusses the structure, development and function of the normal vascular endothelium, considers conditions that lead to the disruption of vascular physiology and provides a comprehensive description of pathologies and their treatment.
The Vascular Endothelium I
This wide ranging work provides a complete representation of the present state of knowledge of the vascular endothelium. The volume comprises 20 chapters by experts who have made significant contributions to research in the vascular endothelium. The text discusses the structure, development and function of the normal vascular endothelium, considers conditions that lead to the disruption of vascular physiology and provides a comprehensive description of pathologies and their treatment.
The University Department of Psychiatry in Munich : From Kraepelin and his predecessors to molecular psychiatry
The building history of the Munich clinic substantiates the developments in psychiatry during the past 100 years; but sole illustration of the constructional aspects would be dull and impersonal. The development of a clinic could be understood as a life story, in which not only the building and organisation structure itself, but also the patientes treated in the clinic and the people working there should be taken into consideration: Doctors from the Munich clinic have always enhanced the development of clinical psychiatry and psychiatric science decisiveley. As such, the names of Emil Kraepelin and Alois Alzheimer are known to all psychiatrists all over the world nowadays - even to those, who do not realize that the scientific work of these names are closely linked to the Munich clinic.
The unity of science in the Arabic tradition : Science, logic, epistemology and their interactions
Reflects the multi-dimensional nature of the interplay between logic, science, philosophy and language in the Arabic tradition. It presents contributions from the worlda (TM)s leading scholars and historians under the headings a Epistemology and Philosophy of Sciencea (TM) and a Logic, Philosophy and Grammara (TM). The contents exemplify the liveliness of modern perspectives on the Arabic tradition. It describes new paths for research and understanding not normally raised in the approaches to this subject. It challenges the rigid distinction between Western and Eastern
The Unity of Mathematics : In Honor of the Ninetieth Birthday of I.M. Gelfand
The invited papers in this volume reflect the unity of mathematics as a whole, with particular emphasis on the many connections among the fields of geometry, physics, and representation theory. Written by leading mathematicians, the text is broadly divided into two sections: the first is devoted to developments at the intersection of geometry and physics, and the second to representation theory and algebraic geometry.
The Turn : Integration of Information Seeking and Retrieval in Context
The Turn analyzes the research of information seeking and retrieval (IS&R) and proposes a new direction of integrating research in these two areas: the fields should turn off their separate and narrow paths and construct a new avenue of research. An essential direction for this avenue is context as given in the subtitle Integration of Information Seeking and Retrieval in Context. Other essential themes in the book include: IS&R research models, frameworks and theories; search and works tasks and situations in context; interaction between humans and machines; information acquisition, relevance and information use; research design and methodology based on a structured set of explicit variables - all set into the holistic cognitive approach. The Turn represents a wide-ranging perspective of IS&R by providing a novel unique research framework, covering both individual and social aspects of information behavior, including the generation, searching, retrieval and use of information.
The theory of the marketing firm : Responding to the imperatives of consumer-orientation
The marketing firm is that business organisation which responds to the imperatives of consumer-orientation. Its style of management is marked by its adherence to the criteria of goal separation, participation in marketing transactions, entrepreneurial sovereignty and reciprocal entrepreneurial management, all of which are explored in this pioneering book. It assumes the proposition, uncontroversial enough to marketing academics and students, that contemporary firms can survive and prosper – achieve their financial goal, be it the maximization of profit or sales or growth – only if they respond appropriately to those imperatives: specifically, the forces that promote consumer discretion and consumer sophistication.
