الصفحة 13
الصفحة 13
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.
The Universe of General Relativity
Topics discussed include the prehistory of special relativity, early attempts at a relativistic theory of gravitation, the beginnings of general relativity, the problem of motion in the context of relativity, conservation laws, the axiomatization of relativity, classical and contemporary cosmology, gravitation and electromagnetism, quantum gravity, and relativity as seen through the eyes of the public and renowned relativists.
The Theory of the Moiré Phenomenon ; Vol. II : Aperiodic Layers
Since The Theory of the Moiré Phenomenon was published it became the main reference book in its field. It provided for the first time a complete, unified and coherent theoretical approach for the explanation of the moiré phenomenon, starting from the basics of the theory, but also going in depth into more advanced research results. However, it is clear that a single book cannnot cover the full breadth of such a vast subject, and indeed, this original volume admittently concentrated on only some aspects of the moiré theory, while other interesting topics had to be left out.
The sustainable sites handbook : A complete guide to the principles, strategies, and best practices for sustainable landscapes
Transforming land design, development, and management practices across the United States with the first national rating system for sustainable landscapes. The Sustainable Sites Handbook features comprehensive and detailed information on principles, strategies, technologies, tools, and best practices for sustainable site design. Contributors to this book are some of the same experts that carefully shaped the SITES rating tool, ensuring thorough coverage of the broad range of topics related to sustainable site design.
The Sun and Space Weather
This book presents comprehensive coverage of the Sun and space weather, two rapidly evolving topics. This second edition is a great enhancement of literature which will help the reader get deeper into the specific topics. There are new sections included.
The Statistical Analysis of Interval-censored Failure Time Data
This book collects and unifies statistical models and methods that have been proposed for analyzing interval-censored failure time data. It provides the first comprehensive coverage of the topic of interval-censored data and complements the books on right-censored data.
The Standard Model and Beyond ; Proceedings of the 2nd International Summer School in High Energy Physics, Muğla, 25–30 September 2006
This volume collects the edited tutorial lectures given at The Second International Summer School in High Energy Physics in Mgla, Turkey, in September 2006 - an annual event with international participation and a special focus on work done in the regions of central Asia. With emphasis on the standard model and beyond, lectures were devoted to presenting an introduction and update to many of the relevant topics, such as chiral perturbation theory, the Higgs mechanism, heavy flavour and b physics, CP violation, the AdS/CFT correspondence, ideas on grand unification and neutrino physics and astrophysics
The Stability of Matter : From Atoms to Stars Selecta of Elliott H. Lieb
This collection of papers -- starting with a brilliant article by one of the masters of the field -- gives an excellent current review of our knowledge of matter. Partially basing his own work on a variational formulation of quantum mechanics, E.H. Lieb links the difficult question of the stability of matter with important problems in functional analysis. Here the reader will find general results together with deep insights into quantum systems combined with papers on the structure of atoms and molecules, the thermodynamic limit, and stellar structures. The book is suitable as an accompanying text or recommended reading for a graduate course in quantum mechanics. In the third edition, two new sections were added: one contains papers on quantum electrodynamics, and the other on Boson systems. In this fourth edition, these topics have been further developed, extending the book by approximately 120 pages.
The Sociology of Community Connections
Intervention to bring about beneficial social change is the theme of this second edition of Sociological Practice. Written for upper division and graduate students interested in careers in sociological practice or applied sociology, the authors show how sociological theories and methods can be used in intervening to solve or prevent current social problems.The books include Applications, Tables, and Figures to expand upon and illustrate the narrative text. Changes to this edition include up to date coverage of all topics including a new chapter on multifactor multilevel problem solving.
The Semantic Web: Research and Applications ; 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational issues, learning, ontologies and natural language, ontology alignment, query processing, search, semantic Web services, storage and retrieval of semantic Web data, as well as user interfaces and personalization.
The Semantic Web ; 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
Address the latest results in the research and applications of Semantic Web technologies and cover topics including: scalable reasoning and logic, ontology mapping, ontology modelling and management, ontologies and tags, human language technologies and machine learning, querying, semantic Web services and semantic Web applications.
The Semantic Web ; 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings
Carefully reviewed and selected from 166 submissions. The papers were submitted to three tracks: the research track, the resource track and the in-use track. These tracks showcase research and development activities, services and applications, and innovative research outcomes making their way into industry. The research track caters for both long standing and emerging research topics in the form of the following subtracks: ontologies and reasoning; natural language processing and information retrieval; semantic data management and data infrastructures; social and human aspects of the Semantic Web; machine learning; distribution and decentralization; science of science; security, privacy, licensing and trust; knowledge graphs; and integration, services and APIs.
The Semantic Web – ASWC 2006 ; 1st Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
This book constitutes the refereed proceedings of the First Asian Semantic Web Conference, ASWC 2006, held in Beijing, China, in September 2006. The 36 revised full papers and 36 revised short papers presented together with three invited contributions were carefully reviewed and selected from 208 full paper submissions. The papers are organized in topical sections
The Science of Phototherapy : An Introduction
Phototherapy exemplifies scientific medicine. The major advances have resulted from effective collaborations between basic researchers and clinicians. This book is directed to clinicians and basic researchers who are interested in current and emerging implementations of phototherapy. It can serve as an introductory reference and a textbook for advanced undergraduate and graduate courses in medical physics and biomedical engineering. The emphasis is on the science underlying the various phototherapy procedures, which encompasses aspects of classical and molecular photophysics, biological photochemistry, photobiology and biophotonics. Topics that do not usually appear in other general sources include the theory and applications of tissue optics, Monte Carlo simulation, light dosimetry, and analytical modeling of laser surgery. Many illustrative problems with answers are provided to exemplify the more quantitative aspects of each topic.
The SAGES Manual of Strategic Decision Making : Case Studies in Minimal Access Surgery
The SAGES Manual of Strategic Decision Making: Case Studies in Minimal Access Surgery is an excellent resource and clinical decision-making tool for general surgeons and residents. While other SAGES manuals simply discuss core topics in minimally-invasive surgery and GI endoscopy, this unique book explores fifty scenarios with a focus on the decision process that leads to an optimal treatment plan. The case-based format creates a quick and easy-to-read text that is rooted in real life scenarios in general and laparoscopic surgery and the strategic decisions every surgeon must learn to make. Each of the fifty thought-provoking cases is concisely presented with illustrated surgical techniques and an evidence-based review of related literature.
The routledge companion to consumer behavior
Shows a micro to macro structure, dividing each topic into three parts: One reflecting foundational work, one focused on emerging trends, and one covering practical applications. Each part examines the relationship between consumer behaviour and motivation, including well-being, gender, social class, and more, and concludes with practitioner perspectives on the challenges and opportunities that come with understanding customers. Readers will gain insight into how drives that are constantly in flux relate to other aspects of human cognition and behavior, Allowing them to reach customers successfully, and to meet their needs.
The Role of VLBI in Astrophysics, Astrometry and Geodesy
A masterly survey of the last 13 years of Very Long Baseline Interferometry, reviewed in light of the most advanced astronomical observations. Topics covered include: Nonthermal emission from extragalactic radio sources; Principles of synchrotron emission in relation to astrophysics; Theory of relativistic jets; Young, powerful radio sources and their evolution; Scintillation in extragalactic radio sources; Radio and optical interferometry; Radio polarimetry; Unified schemes; Deep fields; Tropospheric and ionospheric phase calibration; Supernovae; VLBI for geodesy and geodynamics.
The Role of Microtubules in Cell Biology, Neurobiology, and Oncology
Written by leading anti-cancer researchers, this groundbreaking volume collects the most current microtubule research available. Among the topics examined in this volume are compounds that interact with tubulin, mechanisms and regulation by microtubule-associated proteins and drugs, MAPs, the tubulin superfamily its isotopes, peptides and depsipeptides, and neurodegenerative diseases. Microtubule Targets in Cancer Therapy contributes to this new knowledge, and the text will be an invaluable resource for cancer researchers, oncologists, pharmacologists, and medical chemists.
The Role of Management Accounting Systems in Strategic Sensemaking
Marcus Heidmann explores the role of management accounting systems (MAS) in strategic sensemaking. Based on cognitive theories, the author defines strategic sensemaking as a learning process with observation, interpretation, and communication as the relevant process steps on the individual level. He illustrates the impact of MAS on these cognitive processes by an exploratory multiple-case study design. He shows that managers do not primarily use MAS to identify strategic topics but to search for additional information that helps them to make sense of these issues. In particular, the interactive use of MAS contributes to strategic sensemaking by providing directions and facilitating interactions that help to resolve equivocality of strategic issues.
