الصفحة 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 the path to AI : Law’s prophecies and the conceptual foundations of the machine learning age
This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century.
On the history of the idea of law
On the History of the Idea of Law is the first book ever to trace the development of the philosophical theory of law from its first appearance in Plato's writings to today. Professor Letwin finds important and positive insights and tensions in the theories of Plato
On Law and Reason
This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.’ These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about the nature of the law which emphasises the role of reason in the law and which refuses to limit the role of reason to the application of deductive logic. This book was ground breaking for several reasons. It provided a rationalistic theory of the law in the language of analytic philosophy and based on a thorough understanding of the results, including technical ones, of analytic philosophy.
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.
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.
Obstetric life support manual
A comprehensive review in normal and abnormal pregnancy physiology, the most common etiologies of maternal medical emergencies, recognition of maternal deterioration and pending cardiopulmonary arrest, modifications to cardiopulmonary resuscitation in pregnant and postpartum patients, special procedures that can assist in diagnosing and treating maternal medical emergencies tailored to the setting (e.g., point-of-care ultrasound, resuscitative cesarean delivery, extracorporeal cardiopulmonary resuscitation), treatment of trauma/stroke in pregnancy, and postpartum maternal medical emergencies. There are streamlined algorithms and cognitive aids designed to improve a team’s ability to successfully implement techniques unique to treating maternal medical emergencies and car..
Obsessed by a Dream: The Physicist Rolf Widerøe – a Giant in the History of Accelerators
This biography chronicles the life and achievements of the Norwegian engineer and physicist Rolf Widerøe. Readers who meet him in the pages of this book will wonder why he isn't better known.
Nutraceuticals and obesity strategies for weight management
his comprehensive volume explores the role that nutraceuticals can play in addressing obesity, shedding light on their potential as tools to promote sustainable weight management strategies as well as addressing associated health risks. Delving into the intricate interplay between nutrition, health, and obesity, the book provides a compelling account that illustrates how nutraceutical interventions can be incorporated into holistic obesity management strategies. It begins with an account of the mechanisms by which nutraceuticals function before featuring chapters on their efficacy and safety, how they can be integrated with other therapeutic interventions, and how they can be tailored for individuals with comorbidities. Offering a global perspective on the issue, there is also coverage of the various regulatory contexts in which nutraceuticals are sold and used.
Numerical solution of Variational Inequalities by Adaptive Finite Elements
Franz-Theo Suttmeier describes a general approach to a posteriori error estimation and adaptive mesh design for finite element models where the solution is subjected to inequality constraints. This is an extension to variational inequalities of the so-called Dual-Weighted-Residual method (DWR method) which is based on a variational formulation of the problem and uses global duality arguments for deriving weighted a posteriori error estimates with respect to arbitrary functionals of the error. In these estimates local residuals of the computed solution are multiplied by sensitivity factors which are obtained from a numerically computed dual solution. The resulting local error indicators are used in a feed-back process for generating economical meshes which are tailored according to the particular goal of the computation.
Nuel Belnap on Indeterminism and Free Action
Seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action.
Nonlinear dynamics in complex systems via fractals and fractional calculus
Current advances in the knowledge of nonlinear dynamical networks, systems and processes, as well as their unified repercussions, allow us to include some typical complex natural phenomena, from the nanoscale to an extra-galactic scale, in an unitarian comprehensive manner. In other words, the physical, biological and financial data, as well as technological ones (mechanical or electronic devices), of complex systems available today can be managed by the same unique conceptual approach, both analytically and through a computer simulation, using effective nonlinear dynamics procedures. This volume collected some important advances in the fields of fractal curves, fractal analysis and fractional calculus, as well as new solutions of fractal differential equations.
No Truth Without Beauty : God, the Qur’an, and Women's Rights
In this comprehensive book, written for readers from any or no religious background, Leena El-Ali does something remarkable. Never before has anyone taken on every last claim relating to Islam and women and countered it not just with Qur’anic evidence to the contrary, but with easy-to-use tools available to all.
Nexus Network Journal 9,1 : Architecture and Mathematics
This issue is dedicated to various kinds of patterns in architecture. Buthayna Eilouti and Amer Al-Jokhadar address patterns in shape grammars in the ground plans of Mamluk madrasas, religious schools. Giulio Magli goes back further in history, to the age of Greek colonies in Italy before they were conquered by the Romans, to examine patterns in urban design. In Traditional Patterns in Pyrgi of Chios: Mathematics and Community Charoula Stathopoulou examines the geometric patterns that decorate the buildings of the town of Pyrgi, on the Greek island of Chios. Curve Fitting is a study of ways to construct a function so that its graph most closely approximates the pattern given by a set of points.
New Frontiers in Banking Services : Emerging Needs and Tailored Products for Untapped Markets
This book is devoted to an issue that is the subject of growing interest amongst policy makers, financial providers and academics. That issue is the problem of unbanking or underbanking in developed countries. The issue has arisen because, faced with an ever more sophisticated and efficient financial system, an increasing number of people have found themselves in danger of being excluded from it. The goal of the papers that follow is to draw attention, both through a theoretical framework and through field study, to the need for banks, financial institutions, public authorities and non profit associations to increase their efforts to understand the process of financial exclusion, so that they can develop approaches to help people on low to moderate incomes to gain access to the whole range of financial services, from payment to savings, and from loans to investment.
New Design for Old Buildings
Explores design, materials and technical considerations in creating the best low energy, ecological and sustainable retrofits. It has never been more important to understand how old buildings can be adapted to make them useful and sustainable in the future. Showcasing the best examples of imaginative design and best practice, this book illustrates how old buildings can be made sustainable through the best new design and puts these design exemplars into a historical and philosophical context. With illustrative case studies and interviews throughout, including formal buildings, churches, domestic buildings, commercial, industrial and agricultural from all periods in the UK, New Design for Old Buildings provides essential guidance on good, imaginative new design for old buildings.
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s allegedly new paradigms. The remaining material covers traditional topics in computability theory such as relative computability, theory of numberings, and domain theory, in addition to topics on the relationships between proof theory, computability, and complexity theory.
Neutron Stars 1 : Equation of State and Structure
The book gives an extended review of theoretical and observational aspects of neutron star physics. With masses comparable to that of the Sun and radii of about ten kilometres, neutron stars are the densest stars in the Universe. This book describes all layers of neutron stars, from the surface to the core, with the emphasis on their structure and equation of state.
Neuromarketing e Processi Decisionali : Le evidenze di un test di memorizzazione condotto per la prima volta in Italia = Neuromarketing and decision-making processes: Evidence from a memory test conducted for the first time in Italy
Il libro fornisce alcuni strumenti scientifici per affrontare il problema di come il nostro cervello genera delle scelte in campo economico, in un linguaggio piano e non specialistico. Vengono descritti i risultati del primo studio italiano relativo all’osservazione di filmati commerciali televisivi, analizzati mediante l’elettroencefalografia ad alta risoluzione spaziale. La neuroeconomia è una nuova scienza che si sta sviluppando rapidamente nei paesi anglosassoni. Questo libro spiega i concetti di neuroeconomia e neuromarketing anche al pubblico italiano.
Neuroeconomia, neuromarketing e processi decisionali = Neuroeconomics, neuromarketing and decision-making processes
The book covers a sector, that of the application of modern neuroscience techniques to the fields of economics and marketing, recently born and of great interest to the public, to advertisers as well as to neuroscience scholars. The book presents, in plain language and not for experts in the field, the structure and functioning of the brain (as it is known today) during human decision-making processes. Of interest is the analysis of how the different neuronal systems within the brain can cooperate with each other in generating decisions. All this simple physiological treatment is inserted in the context of the analysis of brain activity while watching commercial clips. In the original study presented in this book, the variables involved were those related to the recall of television advertising in a sample of normal young subjects. This study is simply the first that is carried out of this type in Italy and will be intended to be a reference point for subsequent studies in the sector.
