الصفحة 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.
One Hundred Years of Chemical Warfare : Research, Deployment, Consequences
On April 22, 1915, the German military released 150 tons of chlorine gas at Ypres, Belgium. Carried by a long-awaited wind, the chlorine cloud passed within a few minutes through the British and French trenches, leaving behind at least 1,000 dead and 4,000 injured. This chemical attack, which amounted to the first use of a weapon of mass destruction, marks a turning point in world history. The preparation as well as the execution of the gas attack was orchestrated by Fritz Haber, the director of the Kaiser Wilhelm Institute for Physical Chemistry and Electrochemistry in Berlin-Dahlem. During World War I, Haber transformed his research institute into a center for the development of chemical weapons (and of the means of protection against them).
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 Moon : The Apollo Journals
This book explains how the Apollo crews learned to work on the lunar surface. Its lively and informative text draws heavily on transcripts and photographs to illustrate points. It puts the reader on the lunar surface with the astronauts, sharing their observations, excitement, and frustrations.
On The Interpretation of Treaties : The Modern International Law as Expressed in the 1969 Vienna Convention on the Law of Treaties
This book investigates the contents and structure of this system. By importing knowledge from linguistics, and pragmatics in particular, a model is established giving representation to the concept of a rule of interpretation. Drawing on this model, the book then proceeds to reconstruct the contents of the various rules of interpretation. To facilitate reference, the conclusions suggest a list of 44 rules, all of which can be invoked by appliers citing VCLT Articles 31-33.
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 Communication : An interdisciplinary and mathematical approach
This book offers a radical new approach for the understanding of communication. By using the theoretical framework of complex systems theory communication is defined as the interplay of social and cognitive dynamics: communicators are modelled as complex cognitive systems who interact according to social rules and generate communicative systems. Messages generate meaning, which is understood as an attractor in the cognitive system of the receiver. Information is measured via the difference between a factual message and the message expected by the receiver.
Old and New Perspectives on Mortality Forecasting
This book describes methods of mortality forecasting and discusses possible improvements. It contains a selection of previously unpublished and published papers, which together provide a state-of-the-art overview of statistical approaches as well as behavioural and biological perspectives. The different parts of the book provide discussions of current practice, probabilistic forecasting, the linearity in the increase of life expectancy, causes of death, and the role of cohort factors.
Ocean Waves Breaking and Marine Aerosol Fluxes
This book presents a comprehensive study on the breaking of surface waves induced by wind and the relationship of breaking rate with marine aerosol fluxes. The book draws attention to the theoretical and experimental achievements in the study of wave breaking phenomena in deep water seas. In particular, it deals with the important problems of energy dissipation and the estimation of energy loss due to wave breaking in deep waters. The rationale behind existing methods and practical outcomes for the estimation of whitecap coverage of the sea surface and energy dissipation rate are given in detail.The book also focuses on the fundamentals of marine aerosols and their generation. The text provides a comprehensive overview of the currently available experimental data on marine aerosol fluxes and presents theoretical methodology of the estimation of the intensity of sea aerosol production. The systematic analysis leads to a novel approach in the development of links between aerosol production with sea state parameters and its seasonal variation in deep water seas.
Observing the Sun with Coronado™ Telescopes
At around the turn of the millennium, the introduction of the Coronado range of solar telescopes and filters heralded the ‘coming of age’ of amateur solar astronomy. Before then, solar astronomy was mostly white-light only. Hydrogen-alpha systems were expensive and difficult to use, but today even the budget-priced Coronado PST (Personal Solar Telescope) provides a band pass of one Angstrom and is thermally stable. That means that today’s amateur solar observers can see – and image – sunspots, flares, prominences, plage, filaments, and active regions of the Sun, all in amazing detail.
Observing justice : Digital transparency, openness and accountability in criminal courts
Examines how major but often under-scrutinised legal, social, and technological developments have affected the transparency and accountability of the criminal justice process. The book proposes a framework for open justice which prioritises public legal education and justice system accountability
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.
Number Story : From Counting to Cryptography
Numbers have fascinated people for centuries. They are familiar to everyone, forming a central pillar of our understanding of the world, yet the number system was not presented to us "gift-wrapped" but, rather, was developed over millennia. Today, despite all this development, it remains true that a child may ask a question about numbers that no one can answer. Many unsolved problems surrounding number matters appear as quirky oddities of little account while others are holding up fundamental progress in mainstream mathematics.
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.
Nuclear Law : The Global Debate
This open access book traces the journey of nuclear law: its origins, how it has developed, where it is now, and where it is headed. As a discipline, this highly specialized body of law makes it possible for us to benefit from the life-saving applications of nuclear science and technology, including diagnosing cancer as well as avoiding and mitigating the effects of climate change. This book seeks to give readers a glimpse into the future of nuclear law, science and technology. It intends to provoke thought and discussion about how we can maximize the benefits and minimize the risks inherent in nuclear science and technology. This compilation of essays presents a global view in discipline as well as in geography.
Novepernove : Sudoku : segreti e strategie di gioco = Novepernove : Sudoku : game secrets and strategies
The game of Sudoku has exploded in the Western world since 2005 and has since continued to expand, to gather new followers, to proliferate specialized magazines on newsstands and dedicated sites on the Internet. Sudoku success shows no signs of slowing down. All the major newspapers offer daily some patterns to be solved; associations and federations were born; local tournaments, various national championships and even an annual world championship are organized; the proposals for variants of the classic Sudoku multiply; many university professors have launched graduate theses on the subject; various software products have been written on PCs, on dedicated hardware and on the main interactive game consoles.
Non-University Higher Education in Europe
This book represents the first-of-its-kind comprehensive discussion of the non-university higher education sector in Europe. Higher education throughout the world is facing rapid change. Despite the enormous attention devoted to that reality, this volume fills an important void. It describes and offers critical comparisons between the systems in 10 European countries. The book brings together the thinking of leading scholars on the non-university sectors in Austria, Belgium, Finland, Germany, Ireland, the Netherlands, Norway, Portugal, Spain, and the United Kingdom, with a chapter devoted to each country. National case studies are presented for the non-university sector in these countries that address issues such as historical developments, policy changes, governance structures, levels of institutional autonomy and future trends.
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 Fokker-Planck Equations : Fundamentals and Applications
Providing an introduction to the theory of nonlinear Fokker-Planck equations, this book discusses fundamental properties of transient and stationary solutions, emphasizing the stability analysis of stationary solutions by means of self-consistency equations, linear stability analysis, and Lyapunov's direct method. Also treated are Langevin equations and correlation functions. Nonlinear Fokker-Planck Equations addresses various phenomena such as phase transitions, multistability of systems, synchronization, anomalous diffusion, cut-off solutions, travelling-wave solutions and the emergence of power law solutions. A nonlinear Fokker-Planck perspective to quantum statistics, generalized thermodynamics, and linear nonequilibrium thermodynamics is given. Theoretical concepts are illustrated where possible by simple examples. The book also reviews several applications in the fields of condensed matter physics, the physics of porous media and liquid crystals, accelerator physics, neurophysics, social sciences, population dynamics, and computational physics.
