الصفحة 173
الصفحة 173
A History of Atmospheric CO2 and Its Effects on Plants, Animals, and Ecosystems
The authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances of various earth science, environmental, and ecological fields into an overall account of global change and the changing dynamics of life on Earth.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
A Dictionary of Electronics and Electrical Engineering
This popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, providing clear, concise, and jargon-free A-Z entries on key terms, theories, and practices in the areas of electronics and electrical science. Topics covered include circuits, power, systems, magnetic devices, control theory, communications, signal processing, and telecommunications, together with coverage of applications areas such as image processing, storage, and electronic materials.
A concise introduction to traffic engineering : theoretical fundamentals and case studies
Covers a selection of fundamental topics of traffic engineering useful for highways facilities design and control. The treatment is concise but it does not neglect to examine the most recent and crucial theoretical aspects which are at the root of numerous highway engineering applications, like, for instance, the essential aspects of highways traffic stream reliability calculation and automated highway systems control.
A Concise Course on Stochastic Partial Differential Equations
Concentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics with stochastic influence in nature or man-made complex systems can be modelled by such equations.
A Comparison of the Dynamical Evolution of Planetary Systems ; Proceedings of the Sixth Alexander von Humboldt Colloquium on Celestial Mechanics Bad Hofgastein (Austria), 21-27 March 2004
The papers in this volume cover a wide range of subjects covering the most recent developments in Celestial Mechanics from the theoretical point of nonlinear dynamical systems to the application to real problems. We emphasize the papers on the formation of planetary systems, their stability and also the problem of habitable zones in extrasolar planetary systems. A special topic is the stability of Trojans in our planetary system, where more and more realistic dynamical models are used to explain their complex motions: besides the important contribution from the theoretical point of view, the results of several numerical experiments unraveled the structure of the stable zone around the librations points. This volume will be of interest to astronomers and mathematicians interested in Hamiltonian mechanics and in the dynamics of planetary systems.
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.
A Changing World : Challenges for Landscape Research
"Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s Landscape Series looks at some of the emerging fields and new challenges in landscape research. These include: the role of value systems in perceiving, appreciating, and managing landscapes / the ‘space’ and ‘place’ concept in landscape research GIS and remote sensing techniques for gathering and processing spatially and temporally explicit land cover, vegetation, and land use data / methods of landscape history / landscape genetics and genetic methods to test landscape connectivity and dispersal of plant and animal species"
50 Years of EU Economic Dynamics : Integration, Financial Markets and Innovations
On the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and new economic challenges for the EU. After a reflection on historical dynamics, the contributors point out the dramatic economic shifts between Europe, Asia and the US. Representatives from major central banks (including the ECB), other leading banks, and academia analyze the dynamics of the Eurozone and financial market integration in the context of globalization and economic growth. Furthermore, the authors discuss the challenges of information and communication technologies by means of various country analyses. Moreover, the Schumpeterian prospects for Europe and the Lisbon Agenda, the long-term challenges of EU pension reforms, emission trading systems in the EU, and options for a new EU constitution are highlighted. At the bottom line of this EU analysis are major implications for investors, managers, policy-makers and the public at large in both the EU and the global economy.
3D Segmentation for medical images (OsteoVision) = التقطيع ثلاثي الأبعاد للصور الطبية
With the increasing integration of AI across various sectors, artificial intelligence (AI) is already playing a significant role in the healthcare industry, and its use is expected to grow further. AI systems used in image processing and computer vision algorithms have shown a significant ability to perform many operations such as segmentation, classification, and detection. This project presents the application of computer vision algorithms in the field of medical imaging for diagnostic, therapeutic, and interventional purposes. This thesis explores the use of several computer vision algorithms to address different pathologies, specifically brain tumors (glioma) (see Appendix A) and knee osteoarthritis (OA), as well as tracking the progression of knee osteoarthritis using the Kellgren and Lawrence (KL) grading system, a common method for classifying the severity of OA into five grades. To achieve the desired impact, the project employs various techniques, including 3D segmentation for brain tumors, 2D segmentation for knee joints, and multinomial classification for determining the severity of knee OA injuries. The primary aims of the project are to enhance diagnostic accuracy, assist in creating treatment plans, provide an assistive tool for healthcare providers to make more informed decisions, leverage AI's capabilities to detect abnormalities that might escape the human eye, and streamline workflow. To facilitate these goals, the project incorporates a user-friendly UI, a website, and a Flutter-based mobile application, enabling healthcare providers to efficiently integrate these tools into their practice and improve patient care.
3D Recording and Interpretation for Maritime Archaeology
Includes recording and analysis of maritime archaeology through emerging technologies, including both practical and theoretical contributions. Topics include photogrammetric recording, laser scanning, marine geophysical 3D survey techniques, virtual reality, 3D modelling and reconstruction, data integration and Geographic Information Systems. This convergence of digital technologies such as underwater photography and photogrammetry, 3D sonar, 3D virtual reality, and 3D printing has highlighted a pressing need for these new methodologies to be considered together, both in terms of defining the state-of-the-art and for consideration of future directions.
3D printing of pharmaceutical and drug delivery devices progress from bench to bedside
Discover the latest, fast-developing technology to help move towards more cost-effective, small-batch, decentralized manufacturing of personalized systems . 3D printing has revolutionized manufacturing. Its precision and flexibility have enabled the large-scale production of materials and devices too complex for conventional industrial manufacturing. This has been particularly revolutionary in the field of pharmaceutical production, where 3D printing is being integrated into the manufacture of both drugs and drug delivery devices. It has never been more important for industry professionals to understand this form of production.
3D cell culture : Methods and protocols
Expands on the previous edition with discussions about the latest organoid models developed for many more organs; new hydrogels and devices for 3D culture; and the organoid systems that have been improved by incorporating more components of tissue microenvironments in the in vitro culture. The chapters in this book are organized into five parts and cover topics such as biofabrication, organoids, microfluidic systems, bioprinting, and image analysis. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.
25 Years of Transformations of Higher Education Systems in Post-Soviet Countries : Reform and Continuity
A result of the first ever study of the transformations of the higher education institutional landscape in fifteen former USSR countries after the dissolution of the Soviet Union in 1991. It explores how the single Soviet model that developed across the vast and diverse territory of the Soviet Union over several decades has evolved into fifteen unique national systems, systems that have responded to national and global developments while still bearing some traces of the past. The book is distinctive as it presents a comprehensive analysis of the reforms and transformations in the region in the last 25 years; and it focuses on institutional landscape through the evolution of the institutional types established and developed in Pre-Soviet, Soviet and Post-Soviet time. It also embraces all fifteen countries of the former USSR, and provides a comparative analysis of transformations of institutional landscape across Post-Soviet systems.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
150 Best New Eco Home Ideas
Features nearly 500 pages of full-color photographs and dozens of inventive and decorative profiles. Architects, designers, and homeowners today looking for comfortable, beautiful dwellings with a minimal carbon footprint will find a cornucopia of ideas in this handsome compendium. A fabulous review of the most forward-thinking eco-friendly house designs being created today, 150 Best New Eco Home Ideas showcases the work of internationally renowned architects and designers who have achieved practical, innovative, and stunning solutions around the globe. From solar paneling and wind energy systems to environmentally-friendly heating and cooling solutions and thermal glazing to trombe walls, 150 Best New Eco Home Ideas covers the latest trends and breakthroughs in eco homes. Inspiring and inventive, this lush sourcebook is essential for architects, designers, interior decorators, and all conscientious homeowners interested in creating warm and inviting homes with only a fraction of the environmental impact of those using conventional methods
14th Nordic-Baltic conference on biomedical engineering and medical physics : NBC 2008 16–20 June 2008 Riga, Latvia
The topics covered by the Conference Proceedings include: Biomaterials and Tissue Engineering; Biomechanics, Artificial Organs, Implants and Rehabilitation; Biomedical Instrumentation and Measurements, Biosensors and Transducers; Biomedical Optics and Lasers; Healthcare Management, Education and Training; Information Technology to Health; Medical Imaging, Telemedicine and E-Health; Medical Physics; Micro and Nanoobjects, Nanostructured Systems, Biophysics
