الصفحة 241
الصفحة 241
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 healthcare professionals training system
The Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed to test clinical skill performance and competence in a range of skills. It is a practical, real-world approach to learning and assessment. Comprises a circuit of short (5-10 minutes) stations, in which each candidate is examined on a one-to-one basis with one or two impartial examiner(s) and patients who are either real or simulated (actors or electronic patient simulators). Each station has a different examiner; in comparison, the traditional method of clinical examination is when a candidate is assigned to an examiner for the entire examination.
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
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 Dressing Method in Mathematical Physics
The monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations (both linear and nonlinear) of mathematical physics. The essence of the dressing method consists in a generation of new non-trivial solutions of a given equation from (maybe trivial) solution of the same or related equation.
A Distributed Coordination Approach to Reconfigurable Process Control
A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, via developing a new distributed framework that will enable the building of a process control system that is capable of reconfigurability.
A dictionary of law
A Dictionary of Law' is an essential reference work, described by leading university lecturers as 'the best law dictionary' and favoured by law students and legal professionals alike. The tenth edition features over 4,900 clear and concise definitions on major terms, concepts, and processes within the English legal system, and is a useful source of information for any of the many countries that base their legal system on English law.
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 Clinician's guide to systemic effects of periodontal diseases
Serves as an ideal, easy-to-use reference for the practicing health professional. It summarizes the latest research on the systemic effects of periodontal diseases, discusses how the results of this research will impact on clinical practice, and aims to help the clinician to answer questions that may be posed by patients, medical colleagues, and the media.
A Climate of Justice : An Ethical Foundation for Environmentalism
This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: environmental survival. In A Climate of Justice, Marvin Brown connects the environmental crisis to basic questions of economic, social, and racial justice. Brown shows how our current social climate maintains systemic injustices, and he uncovers resources for change through a civic ethics of repair and reciprocity.
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 City in Blue and Green : The Singapore Story
Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, social and political aspects have been harnessed and cultivated into a liveable sustainable way of life. It is also a story about a unique and thoroughgoing approach to large-scale and potentially transferable water sustainability, within largely urbanized circumstances, which can be achieved, along with complementary roles of environmental conservation, ecology, public open-space management and the greening of buildings, together with infrastructural improvements.
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"
A beginner's guide to urban design and development : the ABC of quality, sustainable design
Provides invaluable guidance to all those with an interest in placemaking and the built environment, from those with no experience to those who have worked for many years in industry, illustrating key principles that will secure higher quality, more sustainable design in accessible, jargon-free language. Explains the design process in a straightforward way, exploring the different roles and highlighting the opportunities and limitations different agencies have to influence design over the various stages of the process. Examples from the UK and worldwide look at how the system operates and how best practice can make a real difference on the ground. Case studies examine situations where quality or sustainability fell short – and how this could have been avoided. This book also showcases a variety of evaluation tools, explaining how they operate, and giving guidance on how to create project-specific tools to drive schemes forward. With community empowerment at its core, the book explains technical language and shares bountiful knowledge to broaden place democracy and make influencing design accessible to many, not just a few.
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-groundwater modeling with PMWIN : A simulation system for modeling groundwater flow and transport processes
Along with a companion full-version software (PMWIN), this text offers an integrated simulation system. PMWIN comes with a professional graphical user-interface, supported models and programs and several other useful modeling tools. The graphical user-interface allows one to create and simulate models.
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.
