الصفحة 1
الصفحة 1
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.
On color
Investigates color from numerous perspectives: literary, historical, cultural, anthropological, philosophical, art historical, political, and scientific. In ten lively and wide-ranging chapters, each devoted to a different color, they examine the various ways colors have shaped and continue to shape our social and moral imaginations. Each individual color becomes the focal point for a consideration of one of the extraordinary ways in which color appears and matters in our lives. Beautifully produced in full color, this book is a remarkably smart, entertaining, and fascinating guide to this elusive topic.
On Bypass : Advanced Perfusion Techniques
With the introduction of cardiac surgery more than five decades ago and the use of the heart-lung machine for open heart surgical procedures granting the surgeon unlimited time in which to operate inside the heart, a complex task has been given to the Perfusionist. With a pairing of a perfusionist and a surgeon for each chapter, On Bypass: Advanced Perfusion Techniques is an essential collection of techniques and protocols to aid in the difficult and immediate decision making in the operating room. Among the topics covered in this comprehensive text are pediatric perfusion techniques for complex congenital, separation from cardiopumonary bypass, blood flow during cardiopumonary bypass, and minimally invasive perfusion techniques. Also covered is ultrafiltration in cardiac surgery, echocardiography and cardiopulmonary bypass, and advances in long-term pulmonary support.
omputational science and its applications - ICCSA 2005 ; Vol. 3480 ; International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Oceans and Health: Pathogens in the Marine Environment
The importance of combating infectious diseases has received international attention, p- viding the opportunity for a multidisciplinary approach that combines medicine with other scientist candtechnological capabilities,notably information technology,nanotechnology,and biotechnology. In fact, it has been predicted that the future will bring a merging of these te- nologies with the cognitive and behavioral sciences.. The connection between infectious diseases and the oceans provides a paradigm for this perspective. A stark global context indisputably frames all human health issues in the twenty century: the world wide movement of people and goods. Throughout the past half century, international travel has skyrocketed; there are more than 500 million international arrivals per year. The greatest increase has taken place since the mid-1990s. The world has become integrated and global; consequently, the notion that it is possible to successfully eradicate a disease from the face of the planet has become simplistic. Infectious disease is a moving target and climate shifts will affect any disease that has an environmentally sensitive stage or vector.
Obesity and Diabetes
The increasing prevalence of diabetes and obesity in western societies today makes these two diseases the leading epidemics of the 21st century. Closely linked with the development of serious complications, including cardiovascular disease and several malignancies, the morbidity and mortality associated with obesity and diabetes will continue to escalate as the population ages and becomes more sedentary. In Obesity and Diabetes, international experts from world-renowned medical schools comprehensively review for practicing clinicians and scientists alike the latest understanding of the epidemiology, causation, and consequences of diabetes and obesity.
Nutrigenomics and nutraceuticals
Provides an authoritative and comprehensive overview of the field of nutraceuticals and genomics—also called nutrigenomics, a rapidly growing field. It discusses both nutrigenomic and nutrigenetic techniques to investigate the nutritional basis of several health disorders because scientists have found that diet can affect gene expression. The book covers the nutrigenomic tools for the prevention of disease conditions such as cancer, viral infection, microbial infection, COVID-19, HIV/AIDS, tuberculosis, hypertension, neurodegenerative disease, obesity, baldness, and anemia. Some nutrigenomic tools that can also be used for brain health, weight loss, human nutrition, skin care, and maintaining health during pregnancy are also explored.
Numerical Solution of Partial Differential Equations on Parallel Computers
The scientific fields of Ma- ematics and Physics provide a powerful vehicle for such descriptions in terms of Partial Differential Equations (PDEs). Formulated as such equations, physical laws can become subject to computational and analytical studies. In the computational setting, the equations can be discreti ed for ef?cient solution on a computer, leading to valuable tools for simulation of natural and man-made processes. Numerical so- tion of PDE-based mathematical models has been an important research topic over centuries, and will remain so for centuries to come. In the context of computer-based simulations, the quality of the computed results is directly connected to the model’s complexity and the number of data points used for the computations. Therefore, computational scientists tend to ?ll even the largest and most powerful computers they can get access to, either by increasing the si e of the data sets, or by introducing new model terms that make the simulations more realistic, or a combination of both. Today, many important simulation problems can not be solved by one single computer, but calls for parallel computing.
Numerical Optimization
Numerical Optimization presents a comprehensive and up-to-date description of the most effective methods in continuous optimization. It responds to the growing interest in optimization in engineering, science, and business by focusing on the methods that are best suited to practical problems.The book has been thoroughly updated throughout. There are new chapters on nonlinear interior methods and derivative-free methods for optimization, both of which are used widely in practice and the focus of much current research. Because of the emphasis on practical methods, as well as the extensive illustrations and exercises.
Numerical Methods for Nonsmooth Dynamical Systems : Applications in Mechanics and Electronics
This book concerns the numerical simulation of dynamical systems whose trajectories may not be differentiable everywhere. They are named nonsmooth dynamical systems. They make an important class of systems, firstly because of the many applications in which nonsmooth models are useful, secondly because they give rise to new problems in various fields of science. Usually nonsmooth dynamical systems are represented as differential inclusions, complementarity systems, evolution variational inequalities, each of these classes being itself split into several subclasses.
Numerical Methods for Controlled Stochastic Delay Systems
The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems in continuous time. This book extends the methods to stochastic systems with delays. Because such problems are infinite-dimensional, many new issues arise in getting good numerical approximations and in the convergence proofs. Useful forms of numerical algorithms and system approximations are developed in this work, and the convergence proofs are given. All of the usual cost functions are treated as well as singular and impulsive controls. A major concern is on representations and approximations that use minimal memory.
Numerical Mathematics
Numerical mathematics is the branch of mathematics that proposes, develops, analyzes and applies methods from scientific computing to several fields including analysis, linear algebra, geometry, approximation theory, functional equations, optimization and differential equations. Other disciplines, such as physics, the natural and biological sciences, engineering, and economics and the financial sciences frequently give rise to problems that need scientific computing for their solutions. As such, numerical mathematics is the crossroad of several disciplines of great relevance in modern applied sciences, and can become a crucial tool for their qualitative and quantitative analysis.
Nucleic Acids Hybridization : Modern Applications
Several approaches, such as microarray hybridization, have become extremely popular tools for specialists in biochemistry and biomedicine, while the potential of many other advantageous techniques seems to be underestimated. Written by an international team of authors, this book details the current state-of-art in hybridization techniques. Coverage includes experimental protocols along with comprehensive and detailed method descriptions.
Nuclear Medicine Technology : Review Questions for the Board Examinations
Nuclear medicine technology has been a fascinating subject ever since the early rectilinear scanner produced images, and is becoming ever more interesting (and demanding) with the growth of positron emission tomography and other molecular imaging. Taking and passing the exam offered by the Nuclear Medicine Technology Certi? cation Board (NMTCB), or that offered by the American Registry of Radiologic Techno- gists (ARRT), is the ? nal step in reaching the status of Nuclear M edicine Technologist. These exams are both challenging and the breadth of knowledge that they cover mean that a th- ough review is in order before attempting either exam. This book was created to assist in preparation for those exams. In addition to recalling information, the questions require application of information, and analysis of situations.
Nuclear fusion research : Understanding plasma-Surface interactions
It became clear in the early days of fusion research that the effects of the containment vessel (erosion of "impurities") degrade the overall fusion plasma performance. Progress in controlled nuclear fusion research over the last decade has led to magnetically confined plasmas that, in turn, are sufficiently powerful to damage the vessel structures over its lifetime. This book reviews current understanding and concepts to deal with this remaining critical design issue for fusion reactors. It reviews both progress and open questions, largely in terms of available and sought-after plasma-surface interaction data and atomic/molecular data related to these "plasma edge" issues.
Nonsmooth Mechanics and Analysis : Theoretical and Numerical Advances
Nonsmooth mechanics concerns mechanical situations with possible nondifferentiable relationships, eventually discontinuous, as unilateral contact, dry friction, collisions, plasticity, damage, and phase transition. The basis of the approach consists in dealing with such problems without resorting to any regularization process. Indeed, the nonsmoothness is due to simplified mechanical modeling; a more sophisticated model would require too large a number of variables, and sometimes the mechanical information is not available via experimental investigations. Therefore, the mathematical formulation becomes nonsmooth; regularizing would only be a trick of arithmetic without any physical justification. Nonsmooth analysis was developed, especially in Montpellier, to provide specific theoretical and numerical tools to deal with nonsmoothness. It is important not only in mechanics but also in physics, robotics, and economics.
Non-Native Language Teachers : Perceptions, Challenges and Contributions to the Profession
Now that non-natives are increasingly found teaching languages, and particularly English, both in ESL and EFL contexts, the identification of their specific contributions and their main strengths has become more relevant than ever.As a result, there has recently been a surge of interest in the role of non-native teachers but little empirical research has been published so far. This volume is particularly rich in providing different approaches to the study of non-native teachers: NNS teachers as seen by students, teachers, graduate supervisors, and by themselves. It also contributes little explored perspectives, like classroom discourse analysis, or a social-psychological framework to discuss conceptions of NNS teachers.
Nonlinear Finite Element Methods
Finite element methods have become ever more important to engineers as tools for design and optimization, now even for solving non-linear technological problems. However, several aspects must be considered for finite-element simulations which are specific for non-linear problems: These problems require the knowledge and the understanding of theoretical foundations and their finite-element discretization as well as algorithms for solving the non-linear equations. This book provides the reader with the required knowledge covering the complete field of finite element analyses in solid mechanics.
Non-Equilibrium Phase Transitions ; Vol. I : Absorbing Phase Transitions
This book describes two main classes of non-equilibrium phase-transitions: (a) static and dynamics of transitions into an absorbing state, and (b) dynamical scaling in far-from-equilibrium relaxation behaviour and ageing. The first volume begins with an introductory chapter which recalls the main concepts of phase-transitions, set for the convenience of the reader in an equilibrium context. The extension to non-equilibrium systems is made by using directed percolation as the main paradigm of absorbing phase transitions and in view of the richness of the known results an entire chapter is devoted to it, including a discussion of recent experimental results. Scaling theories and a large set of both numerical and analytical methods for the study of non-equilibrium phase transitions are thoroughly discussed.
Non-destructive testing and evaluation of civil engineering structures
The non-destructive evaluation of civil engineering structures in reinforced concrete is becoming an increasingly important issue in this field of engineering. This book proposes innovative ways to deal with this problem, through the characterization of concrete durability indicators by the use of non-destructive techniques. It presents the description of the various non-destructive techniques and their combination for the evaluation of indicators. The processing of data issued from the combination of NDE methods is also illustrated through examples of data fusion methods.
