الصفحة 21
الصفحة 21
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
Decision science for future earth : Theory and practice
Provides a theoretical framework and case studies on decision science for regional sustainability by integrating the natural and social sciences. The cases discussed include solution-oriented transdisciplinary studies on the environment, disasters, health, governance and human cooperation.
Decarbonizing Freight Transport: Acceptance and Policy Implications
This Book analyzes the acceptance of sustainable freight transport and suggests a new framework for policy measures to decarbonize freight transport. Despite intense political endeavors, the environmental performance of the transport system has not improved in the previous years. It seems that the existing measures are not sufficient to motivate transport users to implement sustainable freight transport strategies. The case of three different strategies for sustainable freight transport is studied: horizontal collaboration in a Physical Internet network, multimodal freight transport and liquefied natural gas (LNG) as alternative truck fuel.
Databases, Information Systems, and Peer-to-Peer Computing ; International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information systems, endowed with clearly specified and difierential capabilities to negotiate, bargain, coordinate and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, sci- tific or otherwise) and on the emergence and the formation of social communities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity and static and mobile architectures. Wireless connectivity combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.
Databases, information systems, and peer-to-peer computing ; 2nd international workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, revised selected papers
Peer-to-peer (P2P) paradigm lends itself to constructing large-scale complex, adaptive, - tonomous and heterogeneous database and information systems, endowed with clearly speci?ed and di?erential capabilities to negotiate, bargain, coordinate, and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, scienti?c, or otherwise) and on the emergence and the formation of social c- munities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity, and static and mobile architectures. Wireless connectivity c- bined with the increasingly small and powerful mobile devices and sensors pose new challenges to as well as opportunities for the database community. Inf- mation becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, unstable networks with very severe constraints on the information management and processing capabilities.
Data science for economics and finance : Methodologies and applications
The book starts with an introduction on the use of data science technologies in economics and finance and is followed by thirteen chapters showing success stories of the application of specific data science methodologies, touching on particular topics related to novel big data sources and technologies for economic analysis (e.g. social media and news); big data models leveraging on supervised/unsupervised (deep) machine learning; natural language processing to build economic and financial indicators; and forecasting and nowcasting of economic variables through time series analysis.
Data science ; 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part II
This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020 held in Taiyuan, China, in September 2020. The 98 papers presented in these two volumes were carefully reviewed and selected from 392 submissions. The papers are organized in topical sections: database, machine learning, network, graphic images, system, natural language processing, security, algorithm, application, and education.
Data Science ; 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part I
This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020 held in Taiyuan, China, in September 2020. The 98 papers presented in these two volumes were carefully reviewed and selected from 392 submissions. The papers are organized in topical sections: database, machine learning, network, graphic images, system, natural language processing, security, algorithm, application, and education.
Cybercrime in social media : Theory and solutions
Presents the important components for grasping the potential of social computing with an emphasis on concerns, challenges, and benefits of the social platform in depth. It discusses detection of social-cyber issues, including hate speech, cyberbullying, etc. using deep learning, natural language processing, etc.
Current Topics in Innate Immunity
This volume represents a collection of topics on natural killer cells, mast cells, phagocytes, toll like receptors, complement, host defense in plants and invertebrates, evasion strategies of microorganisms, pathophysiology, protein structures, design of therapeutics, and experimental approaches discussed during the conference.
Current aopics in artificial intelligence ; 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.
Curcumin : clinical uses, health effects and potential complications
Curcumin is a natural product with polyphenolic structure. It is used in therapeutic remedies alone or in combination with other natural substances. Many researchers are investigating it because of its biological activities such as: anti-inflammatory, anti-cancer, anti-protozoal, anti-viral, anti-bacterial and has been found to be effective for treatment of Alzheimer, depression, headaches, fibromyalgia, leprosy, fever, menstrual problems, water retention, worms and kidney problems etc. It is an active ingredient in dietary spice, turmeric. It has reactive functional groups: a diketone moiety and two phenolic groups. Despite its unique biological activities, it suffers from some shortcomings which include: gastrointestinal problems, poor bioavailability due to its poor absorption, short half-life, poor solubility in aqueous solutions, rapid systemic elimination and antithrombotic activity which can interfere with blood clotting. The first chapter of this book reviews the different delivery systems used for incorporation of curcumin and its derivatives, release kinetics and up to date in vivo results. Chapter two discusses curcumin nano and microencapsulation and its implications on clinical uses.
Cryogenic Mixed Refrigerant Processes
Cryogenic refrigerators operating with refrigerant mixtures were developed under classified and proprietary programs for many years, and it was only after 1991 that the world realized the importance of the mixed refrigerant systems for cryogenic refrigeration. Mixed refrigerant cryogenic processes are also used in most large base load natural gas liquefaction plants. Hundreds of patents exist on different aspects of mixed refrigerant processes for liquefaction of natural gas, as well as the composition of mixtures for Joule-Thomson and other refrigerators. Still, the fundamental aspects of these processes continued to not receive the attention they deserve in open literature in the view of these commercial interests.
Cryocoolers 13
The last two years have witnessed a continuation in the breakthrough shift toward pulse tube cryocoolers for long-life, high-reliability cryocooler applications. New this year are papers de scribing the development of very large pulse tube cryocoolers to provide up to 1500 watts of cooling for industrial applications such as cooling the superconducting magnets of Mag-lev trains, coolmg superconducting cables for the power mdustry, and liquefymg natural gas. Pulse tube coolers can be driven by several competing compressor technologies. One class of pulse tube coolers is referred to as "Stirling type" because they are based on the linear Oxford Stirling-cooler type compressor; these generally provide coolmg m the 30 to 100 K temperature range and operate ^t frequencies from 30 to 60 Hz. A second type of pulse tube cooler is the so-called "Gifford-McMahon type. " Pulse tube coolers of this type use a G-M type compressor and lower frequency operation (~1 Hz) to achieve temperatures in the 2 to 10 K temperature range. The third type of pulse tube cooler is driven by a thermoacoustic oscillator, a heat engine that functions well in remote environments where electricity is not readily available. All three types are described, and in total, nearly half of this proceedings covers new developments in the pulse tube arena. Complementing the work on low-temperature pulse tube and Gifford-McMahon cryocoolers is substantial continued progress on rare earth regenerator materials.
Crop Biosecurity : Assuring our Global Food Supply
Prevention and preparedness are the two basic approaches to maximize food security against any sort of tampering, whether natural, inadvertent or intentional. The NATO funded project “Tools for crop biosecurity” was designed to strengthen the cooperation among U.S., Europe and Israel in the field of crop biosecurity and to generate awareness on how the psychological, economic and cultural consequences of crop bioterrorism, especially attacks on soft targets such as crop seeds, could have a disproportionate adverse effect on Mediterranean agriculture and, more generally, on society.This book illustrates the achievements of the project originated from the workshops organized during the project itself taking in consideration main microbiological threads posed to crops, the tools to recognize and to control them, the needs for international cooperation and research funds to create networks which can face emerging risks for agriculture.
Critical Phenomena in Natural Sciences : Chaos, Fractals, Selforganization and Disorder : Concepts and Tools
Concepts, methods and techniques of statistical physics in the study of correlated, as well as uncorrelated, phenomena are being applied ever increasingly in the natural sciences, biology and economics in an attempt to understand and model the large variability and risks of phenomena. This is the first textbook written by a well-known expert that provides a modern up-to-date introduction for workers outside statistical physics. The emphasis of the book is on a clear understanding of concepts and methods, while it also provides the tools that can be of immediate use in applications. Although this book evolved out of a course for graduate students, it will be of great interest to researchers and engineers, as well as to post-docs in geophysics and meteorology.
Crisis Reporters, Emotions, and Technology : An Ethnography
This book explores the emotional labour of crisis reporters in an original style that combines fictional and factual narrative. Exploring how journalists make sense of their emotional experience and development in relation to their professional ideology, it illustrates how media professionals learn to think and act within crisis situations. Drawing on in-depth interviews with journalists reporting on wars, terror attacks and natural disasters, the book rethinks traditional concepts in journalistic thought. Finally, it reflects on the specific, contemporary vulnerabilities of industry professionals, including the impact of new technologies, specific forms of precarity, and a particular strain of cynicism central to the industry. Combining comprehensive, empirical research with the fictional narrative of a journalist protagonist, Crisis Reporters, Emotions and Technology establishes an innovative approach to academic storytelling.
Crimean-Congo Hemorrhagic Fever : A Global Perspective
Crimean-Congo hemorrhagic fever (CCHF) is a tick-borne disease associated with severe hemorrhagic manifestations. CCHF has been referred to as the "Asian Ebola." However, in fact, the disease is one of the most widely distributed tick-borne diseases in the world, occurring in Africa, Asia, Europe, and the Middle East. This volume covers major aspects of this important disease and the virus which causes it. Chapters are written by leading experts in their fields and detail historical, public health, epidemiological, and clinical aspects of CCHF and the genetics and molecular biology of the virus. Additional chapters focus on disease control, tick vectors and infection among animals, both natural and experimental.
Cooperative Control : A Post-Workshop Vol., 2003 Block Island Workshop on Cooperative Control
This carefully edited book presents how natural groupings such as fish schools, bird flocks, deer herds etc. coordinate themselves and move so flawlessly, often without an apparent leader or any form of centralized control. It shows how the underlying principles of cooperative control may be used for groups of mobile autonomous agents to help enable a large group of autonomous robotic vehicles in the air, on land or sea or underwater, to collectively accomplish useful tasks such as distributed, adaptive scientific data gathering, search and rescue, or reconnaissance.
Convergence and Applications of Newton-type Iterations
Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical study of iterative methods. This monograph provides a comprehensive study of both basic theory and new results in the area. Each chapter contains new theoretical results and important applications in engineering, modeling dynamic economic systems, input-output systems, optimization problems, and nonlinear and linear differential equations. Several classes of operators are considered, including operators without Lipschitz continuous derivatives, operators with high order derivatives, and analytic operators. Each section is self-contained. Examples are used to illustrate the theory and exercises are included at the end of each chapter.
