الصفحة 20
الصفحة 20
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in production management systems ; International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden
It includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Advances in informatics ; 10th Panhellenic Conference on informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
This volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which took place at the , Greece, Of the submitted papers, 81 were accepted for inclusion in this volume, papers are classi?ed into 17 thematic sections as follows: – data bases and data mining – algorithms and theoretical foundations – cultural and museum information systems – Internet-scale software/information systems – wearable and mobile computing – computer graphics, virtual reality and visualization – AI, machine learning and knowledge bases – languages, text and speech processing – bioinformatics – software engineering – educational technologies – e-business – computer and sensor hardware and architecture – computer security – image and video processing – signal processing and telecommunications – computer and sensor networks
Advances in fuzzy logic systems
Fuzzy logic systems have been a hot topic in the scientific and academic community for more than half a century. The idea of making machines behave and make decisions like humans do is astounding. The development and implementation of fuzzy logic systems can be seen in various real physical applications in daily human life. The methods employed using fuzzy logic have resulted in innovative technologies. This book provides insights into understanding the principles and concepts behind the advances of fuzzy logic systems. It presents ideas concerning fuzzy logic systems and their technological applications. The book is arranged into two sections on theories and foundations of fuzzy logic systems and implementations of fuzzy logic systems in service to the community.
Advances in Discrete Tomography and its Applications
Advances in Discrete Tomography and Its Applications is a unified presentation of new methods, algorithms, and select applications that are the foundations of multidimensional image reconstruction by discrete tomographic methods. The self-contained chapters, written by leading mathematicians, engineers, and computer scientists, present cutting-edge research and results in the field.Three main areas are covered: foundations, algorithms, and practical applications. Following an introduction that reports the recent literature of the field, the book explores various mathematical and computational problems of discrete tomography including new applications.
Advances in conceptual modeling : Foundations and applications ; ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings
Covering data warehouses, security, model transformation, state diagrams development and model quality.
Advances in Assessment and Modeling of Earthquake Loss
Originates from an international workshop organized by Turkish Natural Catastrophe Insurance Pool (TCIP) in November 2019 that gathered renown researchers from academia, representatives of leading international reinsurance and modeling companies as well as government agencies responsible of insurance pricing in Turkey. The book includes chapters related to post-earthquake damage assessment, the state-of-art and novel earthquake loss modeling, their implementation and implication in insurance pricing at national, regional and global levels, and the role of earthquake insurance in building resilient societies and fire following earthquakes. The rich context encompassed in the book makes it a valuable tool not only for professionals and researchers dealing with earthquake loss modeling but also for practitioners in the insurance and reinsurance industry.
Advanced Software Engineering : Expanding the Frontiers of Software Technology ; IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Advanced Quantum Mechanics
Advanced Quantum Mechanics, the second volume on quantum mechanics by Franz Schwabl, discusses nonrelativistic multi-particle systems, relativistic wave equations and relativistic fields. Characteristic of Schwabl’s work, this volume features a compelling mathematical presentation in which all intermediate steps are derived and where numerous examples for application and exercises help the reader to gain a thorough working knowledge of the subject. The treatment of relativistic wave equations and their symmetries and the fundamentals of quantum field theory lay the foundations for advanced studies in solid-state physics, nuclear and elementary particle physics. This text extends and complements Schwabl’s introductory Quantum Mechanics, which covers nonrelativistic quantum mechanics and offers a short treatment of the quantization of the radiation field. New material has been added to this third edition of Advanced Quantum Mechanics on Bose gases, the Lorentz covariance of the Dirac equation, and the ‘hole theory’ in the chapter "Physical Interpretation of the Solutions to the Dirac Equation."
Advanced methods for knowledge discovery from complex data
An overview of the field, looking at the issues and challenges involved is followed by coverage of recent trends in data mining, including descriptions of some currently popular tools like genetic algorithms, neural networks and case-based reasoning. This provides the context for the subsequent chapters on methods and applications. Part I is devoted to the foundations of mining different types of complex data like trees, graphs, links and sequences. A knowledge discovery approach based on problem decomposition is also described. Part II presents important applications of advanced mining techniques to data in unconventional and complex domains, such as life sciences, world-wide web, image databases, cyber security and sensor networks. With a good balance of introductory material on the knowledge discovery process, advanced issues and state-of-the-art tools and techniques, as well as recent working applications this book provides a representative selection of the available methods and their evaluation in real domains. It will be useful to students at Masters and PhD level in Computer Science, as well as practitioners in the field.
Ad-Hoc Networking ; IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Accounting for social and environmental sustainability : A multi-capital approach
Offers an in‑depth examination of multi‑capital accounting, which has already been integrated within the corporate sustainability reporting directive and will follow on from sustainability reporting. the LIFTS model (limits and foundations towards sustainability accounting model) used in this book combines various scientific and practical contributions to develop budgets for environmental impacts and social obligations on an organisational scale. it proposes an accounting mechanism that enables an organization to manage each of its budgets and measure variances between forecast and actual. it provides an introduction to the principles of this model and its conditions of application and describes its implementation in numerous companies.
Access Control Systems : Security, Identity Management and Trust Models
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations of programming systems security, delving into identity management, trust models, and the theory behind access control models. The book details access control mechanisms that are emerging with the latest Internet programming technologies, and explores all models employed and how they work. The latest role-based access control (RBAC) standard is also highlighted.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Abductive Reasoning : Logical Investigations into Discovery and Explanation
Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications.
A treatise of legal philosophy and general jurisprudence: Vol.1 : The law and the right, Vol.2 : Foundations of Law, Vol.3 : Legal Institutions and the Sources of Law, Vol.4 : Scienta Juris, Legal Doctrine as Knowledge of Law and as a Source of Law, Vol.5 : Legal Reasoning, A Cognitive Approach to the Law
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy and general jurisprudence, from both a theoretical and a historical perspective. The work is aimed at jurists as well as legal and practical philosophers. this book is a classical reference work that would be of great interest to legal and practical philosophers as well as to jurists and legal scholar at all levels.
A Theory of Marketing : Outline of a Social Systems Perspective
Marketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical presence, uncountable textbook definitions, and sixty years of scholarly work, a coherent sociological understanding of this powerful concept is still amiss. Drawing on Luhmannian social systems theory, historical analysis, and four qualitative studies, the author theorizes on the marketing function as a self-contained system of communications. It is argued that marketing systems prosper within a host organization if and as long as they successfully influence observers' preferences towards particular brands. On these conceptual foundations a comprehensive brand- and communication-centered theory is developed that fulfills Alderson', Cox' and Bartels' foundational requirements for a general theory of marketing in an unprecedented way.
A Short Course in Soil–Structure Engineering of Deep Foundations, Excavations and Tunnels
A Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical challenges of static soil-structure interaction problems. Deep foundations - piles, barrettes, Multi-propped deep excavations and Bored and open face tunnels beneath cities. This book gives both students and practising civil engineers an authoritative review of the state-of-the-art of designing deep foundations, excavations and tunnels. In addition, the case studies and numerical modelling presented will give valuable insights into the challenges of soil-structure engineering.
A Short Course in Foundation Engineering
Although there are now a large number of computer programmes for solving all sorts of foundation design problems, the need to check these outputs by 'hand-calculation' has become vitally important. This book concentrates on getting the fundamentals right and then using them in practical applications. The book is illustrated with numerous worked examples and with quick-reference tables and charts.
