Mathematics of Large Eddy Simulation of Turbulent Flows
Large eddy simulation (LES) is a method of scientific computation seeking to predict the dynamics of organized structures in turbulent flows by approximating local, spatial averages of the flow. This book focuses on the mathematical foundations of LES and its models and provides a connection between the powerful tools of applied mathematics, partial differential equations and LES. Thus, it is concerned with fundamental aspects not treated so deeply in the other books in the field, aspects such as well-posedness of the models, their energy balance and the connection to the Leray theory of weak solutions of the Navier-Stokes equations.
Mathematics Education in Different Cultural Traditions- A Comparative Study of East Asia and the West : The 13th ICMI Study
The volume covers a very wide field including the contexts of mathematics education, the curriculum, teaching and learning, and teachers’ values and beliefs. Within these broad parameters some of the particular cross-cultural issues that are discussed include intuition and logical reasoning, influences of Confucianism and Ancient Greek traditions, basic skills and process abilities, learners’ perspectives, assessment practices, text books and ICT multimedia.
Mathematics and Politics : Strategy, Voting, Power and Proof
Mathematics and Politics requires no prerequisites in either subject. The underlying philosophy involves minimizing algebraic computations while focusing on the conceptual aspects of mathematics in the context of real-world questions in political science. This new addition has an added co-author, Allison Pacelli, and covers six major topics: social choice, yes-no voting systems, political power, game-theoretic models of international conflict, fairness, and escalation. In addition to having two new chapters (treating apportionment and conflict resolution), the text has been extensively reorganized and the number of exercises increased to over 300.
Isodual theory of antimatter : With applications to antigravity, grand unification and cosmology
Antimatter, already conjectured by A. Schuster in 1898, was actually predicted by P.A.M. Dirac in the late 19-twenties in the negative-energy solutions of the Dirac equation. Its existence was subsequently confirmed via the Wilson chamber and became an established part of theoretical physics. Dirac soon discovered that particles with negative energy do not behave in a physically conventional manner, and he therefore developed his "hole theory". This restricted the study of antimatter to the sole level of second quantization. As a result antimatter created a scientific imbalance, because matter was treated at all levels of study, while antimatter was treated only at the level of second quantization.In search of a new mathematics for the resolution of this imbalance the author conceived what we know today as Santilli’s isodual mathematics, which permitted the construction of isodual classical mechanics, isodual quantization and isodual quantum mechanics. The scope of this monograph is to show that our classical, quantum and cosmological knowledge of antimatter is at its beginning with much yet to be discovered, and that a commitment to antimatter by experimentalists will be invaluable to antimatter science.
Ionospheric Precursors of Earthquakes
Changes included changing my career from the field of space plasma physics to Earth sciences and geophysics, and changes in my personal life giving me h- piness and compliance in my present family.
Ion Implantation and Synthesis of Materials
This book presents the physics and materials science of ion implantation and ion beam modification of materials. It covers ion-solid interactions used to predict ion ranges, ion straggling and lattice disorder. Also treated are shallow-junction formation and slicing silicon with hydrogen ion beams. Topics important for materials modification, such as ion-beam mixing, stresses, and sputtering, are also described.
Investor-State Dispute Settlement and National Courts : Current Framework and Reform Options
This book examines the multiple intersections between national and international courts in the field of investment protection, and suggests possible modes for regulating future jurisdictional interactions between domestic courts and international tribunals.
Investigation and management of soft rock cliffs
Cliff recession and coastal landsliding of soft rock cliffs present significant threats to land use and development. Investigation and management of soft rock cliffs presents state-of-the-art guidance on how eroding cliffs can best be managed, stressing the need to consider both structural and non-structural solutions to cliff recession problems. This authoritative text outlines the investigation approaches, measurement and monitoring techniques, and prediction methods available for obtaining the necessary cliff recession information.
Investigating the Body in the Victorian Asylum : Doctors, Patients, and Practices
This book explores how the body was investigated in the late nineteenth-century asylum in Britain. As more and more Victorian asylum doctors looked to the bodily fabric to reveal the ‘truth’ of mental disease, a whole host of techniques and technologies were brought to bear upon the patient's body. These practices encompassed the clinical and the pathological, from testing the patient's reflexes to dissecting the brain.
Inverse Problems for Partial Differential Equations
The topic of the inverse problems is of substantial and rapidly growing interest for many scientists and engineers. The second edition covers most important recent developments in the field of inverse problems, describing theoretical and computational methods, and emphasizing new ideas and techniques. It also reflects new changes since the first edition, including some corrections. This edition is considerably expanded, with some concepts such as pseudo-convexity, and proofs simplified. New material is added to reflect recent progress in theory of inverse problems.This book is intended for mathematicians working with partial differential equations and their applications, and physicists, geophysicists and engineers involved with experiments in nondestructive evaluation, seismic exploration, remote sensing and tomography.
Introduzione al Calcolo Scientifico : Esercizi e problemi risolti con MATLAB = Introduction to scientific computing : Exercises and problem solved with MATLAB
Introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the classic linear elliptic, parabolic and hyperbolic equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws. Numerous physical examples underlying these equations are provided, their main mathematical properties are studied, then numerical resolution methods based on finite elements, finite differences, finite volumes and spectral methods are proposed and analyzed. In particular, the algorithmic and computer implementation aspects are discussed and some easy-to-use programs in C ++ language are provided. The text does not presuppose an advanced mathematical knowledge of partial differential equations: the strictly indispensable concepts in this regard are reported in the Appendix. THE VOLUME is therefore suitable for students of scientific degree courses (Engineering, Mathematics, Physics, Chemistry, Information Sciences) and recommended for researchers from the academic and extra-academic world who want to approach this interesting branch of applied mathematics.
Introduction to Intelligent Construction Technology of Transportation Infrastructure
Expounds on the related technologies of intelligent transportation infrastructure construction. Based on the essential characteristics of intelligent construction, "perception, analysis, decision-making, and execution," the basic structure of intelligent construction technology (ICT) is established. With the integration of engineering construction technologies, the analyses of the essence of intelligent algorithms and the feasibility of Artificial Intelligence (AI) are provided. The book introduces the essential characteristics of Big Data and the Internet of Things and their relationship with engineering construction. On this basis, the feasibility and implementation plan of intelligent technology applications in design, construction, and maintenance are analyzed and demonstrated with engineering examples.
Introduction to Engineering Statistics and Six Sigma : Statistical Quality Control and Design of Experiments and Systems
Introduction to Engineering Statistics and Six Sigma contains precise descriptions of all of the many related methods and details case studies showing how they have been applied in engineering and business to achieve millions of dollars of savings. Specifically, the methods introduced include many kinds of design of experiments (DOE) and statistical process control (SPC) charting approaches, failure mode and effects analysis (FMEA), formal optimization, genetic algorithms, gauge reproducibility and repeatability (R&R), linear regression, neural nets, simulation, quality function deployment (QFD) and Taguchi methods. A major goal of the book is to help the reader to determine exactly which methods to apply in which situation and to predict how and when the methods might not be effective.
Introduction to C++ : 500+ Difficulty-Scaled Solved Programming Exercises
Includes more than 500 exercises and examples of progressive difficulty to aid the reader in understanding the C++ principles and to see how concepts can materialize in code. The examples are designed to be short, concrete, and substantial, quickly giving the reader the ability to understand how to apply correctly and efficiently the features of the C++ language and to get a solid programming know-how. Rest assured that if you are able to understand this book's examples and solve the exercises, you can safely go on to edit larger programs, you will be able to develop your own applications, and you will have certainly established a solid fundamental conceptual and practical background to expand your knowledge and skills
Internet of things, artificial intelligence and blockchain technology
Explores the concepts and techniques of IoT, AI, and blockchain. Also discussed is the possibility of applying blockchain for providing security in various domains. The specific highlight of this book is focused on the application of integrated technologies in enhancing data models, better insights and discovery, intelligent predictions, smarter finance, smart retail, global verification, transparent governance, and innovative audit systems. Explains how blockchain can significantly increase data privacy and security while boosting accuracy and integrity in IoT generated data and AI processed information; Gives insight into blockchain’s numerous potential applications, starting with recent technologies that give users control over sharing and privacy; Shows readers how to employ blockchain in IoT and AI, helping them to understand what they can and cannot do with blockchain.
Internationalizing Higher Education : Critical Explorations of Pedagogy and Policy
Globalization is a multifaceted phenomenon, and one of its major components is the internationalization of education. The Increasing pace and complexity of global knowledge flows, and the accelerating exchange of educational ideas, practices and policies, are important drivers of globalization. Higher Education is a key site for these flows and exchanges. This book casts a critical eye on the internationalization of higher education. It peels back taken-for-granted practices and beliefs, explores the gaps and silences in current pedagogy and practices, and addresses the ambiguities, tensions and contradictions in internationalization. In this volume, scholars from a range of disciplines and regions critically examine the co modification of higher education, teaching and support for international students, international partnerships for aid and trade, and the impacts on academics’ work.
Internationalisation of European ICT Activities : Dynamics of Information and Communications Technology
The internationalisation of information and communication technologies has accelerated since the 1990s in Europe and worldwide. Taking a close look at the empirical analysis of competitive trade positions, trends in foreign direct investment and the internationalisation of research and development in ICT brings many new insights about the expansion, innovation and adjustment in the EU’s most dynamic sector. Moreover, the analysis discusses case studies on key players in ICT and suggests major policy conclusions for a field considered fundamental in the context of the EU’s Lisbon Agenda. The theoretical and empirical analysis gives a new and differentiated picture of European ICT where the links between telecommunications dynamics, software innovation and digital services are crucial. Outsourcing, insourcing and offshoring are natural elements of a new digital international division of labour which require reforms in both the EU member countries and at the supranational level.
International Prosecution of Human Rights Crimes
It is intended for a wide variety of readers: academics, all kinds of jurists, as well as human rights activists, who sometimes know more about the applicable law than the legal experts. It owes its existence to a paradox: On the one hand, new structures for dealing with the most serious international crimes are being put into place.
International Law Today : New Challenges and the Need for Reform?
th Rüdiger Wolfrum celebrated his 65 birthday on 13 December 2006. On this special occasion, current and former members of the large circle of his PhD and post-doctorate students (Doktoranden und Habilit- den) organized a symposium on the subject of “International Law - day: New Challenges and the Need for Reform?” to honour him and his academic work as a teacher and researcher.the subjects covered by the speakers and commentators reflect the wide variety of issues he worked on in his long and impressive academic career. They extend from a cri- cal evaluation of the new responsibility to protect and the role of the UN Security Council in post-conflict management, thoughts on the proliferation of international tribunals with regard to the unity or fragmentation of international law, marine genetic resources in the deep sea and environmental protection in Antarctica to human rights issues relating to intellectual property rights and the protection of minorities.
International law and litigation
With the increasing jurisdictionalisation of international law, the interest of academics and practitioners in international disputes is growing steadily. However, little attention has been paid to the procedural aspects of international dispute settlement. On the basis of current legal research, this volume examines the role of procedures in the areas of international law, international commercial law, human rights and EU law.



















