الصفحة 4
الصفحة 4
Axiom of Choice
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This treatise shows paradigmatically that:Disasters happen without AC: Many fundamental mathematical results fail (being equivalent in ZF to AC or to some weak form of AC).Disasters happen with AC: Many undesirable mathematical monsters are being created (e.g., non measurable sets and undeterminate games).Illuminating examples are drawn from diverse areas of mathematics, particularly from general topology, but also from algebra, order theory, elementary analysis, measure theory, game theory, and graph theory.
Automated deduction – CADE-21 ; 21st International Conference on automated deduction, Bremen, Germany, July 17-20, 2007, Proceedings
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Astrophysics : A new approach
For a quantitative understanding of the physics of the universe - from the solar system through the milky way to clusters of galaxies all the way to cosmology - these edited lecture notes are perhaps among the most concise and also among the most critical ones: Astrophysics has not yet stood the redundancy test of laboratory physics, hence should be wary of early interpretations. Special chapters are devoted to magnetic and radiation processes, supernovae, disks, black-hole candidacy, bipolar flows, cosmic rays, gamma-ray bursts, image distortions, and special sources. At the same time, planet earth is viewed as the arena for life, with plants and animals having evolved to homo sapiens during cosmic time. -- This text is unique in covering the basic qualitative and quantitative tools, formulae as well as numbers, needed for the precise interpretation of frontline phenomena in astrophysical research. The author compares mainstream interpretations with new and even controversial ones he wishes to emphasize.
Artificial general intelligence
This book focused on engineering general intelligence – autonomous, self-reflective, self-improving, commonsensical intelligence.Each author explains a specific aspect of AGI in detail in each chapter, while also investigating the common themes in the work of diverse groups, and posing the big, open questions in this vital area.
Antioxidants effects in health : The bright and the dark side ; 1st ed.
Examines the role that antioxidants play in a variety of health and disease situations. The book discusses antioxidants’ historical evolution, their oxidative stress, and contains a detailed approach of 1) endogenous antioxidants, including endogenous sources, mechanisms of action, beneficial and detrimental effects on health, in vitro evidence, animal studies and clinical studies; 2) synthetic antioxidants, including sources, chemistry, bioavailability, legal status, mechanisms of action, beneficial and detrimental effects on health, in vitro evidence, animal studies and clinical studies; and 3) natural antioxidants, including sources, chemistry, bioavailability, mechanisms of action, possible prooxidant activity; beneficial and detrimental effects on health, in vitro evidence, animal studies and clinical studies. Throughout the boo, the relationship of antioxidants with different beneficial and detrimental effects are examined, and the current controversies and future perspectives are addressed and explored. Antioxidants Effects in Health: The Bright and the Dark Side evaluates the current scientific evidence on antioxidant topics, focusing on endogenous antioxidants, naturally occurring antioxidants and synthetic antioxidants. It will be a helpful resource for pharmaceutical scientists, health professionals, those studying natural chemistry, phytochemistry, pharmacognosy, natural product synthesis, and experts in formulation of herbal and natural pharmaceuticals.
Androgen Excess Disorders in Women
The field of androgen excess disorders has advanced substantially since the original publication of this book. The Androgen Excess Society (AES) was founded to bring together investigators in the field. A better understanding of the screening, progression, and molecular genetics of nonclassic adrenal hyperplasia (NCAH) has improved the clinical care and diagnostic accuracy of these patients. New criteria for the diagnosis of the polycystic ovary syndrome (PCOS) were proposed in Rotterdam, criteria that have resulted in controversy and, hopefully, initiation of new studies. The association of insulin resistance with PCOS has been strengthened, and the role of metformin in tre- ing the infertility of the PCOS has been validated. Risks for diabetes and, more cont- versially, cardiovascular disease in women with PCOS have received substantial investigation. Our understanding of the epidemiology and economic impact of these disorders has expanded, emphasizing their critical importance.
Alzheimer's disease : Peptide vaccine and immunotherapy
Peptide vaccines and immunotherapies against aggregating proteins involved in the pathogenesis and progression of Alzheimer's disease (AD) the ẞ-amyloid peptide (Aẞ) and tau are promising therapeutic avenues against AD. Two decades of effort has led to the controversial United States Food and Drug Administration (FDA) approval of the monoclonal antibody Aducamumab (Aduhelm), which has subsequentially sparked the revival and expedited review of promising monoclonal antibody immunotherapies that target Aẞ.
Advertising culture and translation : From colonial to global
A first comprehensive study combining and integrating advertising, culture and translation within the framework of colonial, Commonwealth, and postcolonial studies, and globalization. It addresses a number of controversial issues evident in two relatively young disciplines, as a result of decades of research and teaching in university courses. A cross-cultural approach to translational issues and the translatability of advertising cohesively is adopted here, exploring the dynamics of the conflict between the 'centre' and the 'periphery'. It introduces the concept of advertising English as lingua franca (AELF), marking new trends in the domain of varieties of English around the world (VEAW). The data examined here show the ambivalent polarity conditioning advertising and translation: both have been mutually exclusive, and both have been subject to bans, censorship and ideological control, racism, propaganda, and stereotyping. In their fundamental principles and concepts of theories and applications, however, neither discipline cannot exist outside a free market and total freedom of expression and trust
Advances in cryptology - CRYPTO -87 ; Conference on the theory and applications of cryptographic techniques : Proceedings
Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably secure protocols. Goldwasser, Micali, and Rackoff originally suggested this technique for controlling the knowledge released in an interactive proof of membership in a language, and for classification of languages. In this approach, knowledge is defined in terms of complexity to convey knowledge if it gives a computational advantage to the receiver, theory, and a message is said for example by giving him the result of an intractable computation. The formal model of interacting machines is described in. A proof-system (for a language L) is an interactive protocol by which one user, the prover, attempts to convince another user, the verifier, that a given input x is in L. We assume that the verifier is a probabilistic machine which is limited to expected polynomial-time computation, while the prover is an unlimited probabilistic machine.
3D-Position Tracking and Control for All-Terrain Robots
Rough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level of autonomy for outdoor vehicles. This book demonstrates how the accuracy of 3D position tracking can be improved by considering rover locomotion in rough terrain as a holistic problem. In this work, a mechanical structure allowing smooth motion across obstacles with limited wheel slip is used. In particular, it enables the use of odometry and inertial sensors to improve the position estimation in rough terrain. A method for computing 3D motion increments based on the wheel encoders and chassis state sensors is developed. The algorithm runs online and can be adapted to any kind of passive wheeled rover. Finally, sensor fusion using 3D-Odometry, inertial sensors and visual motion estimation based on stereovision is presented. The experimental results demonstrate how each sensor contributes to increase the accuracy and robustness of the 3D position estimation.
