الصفحة 59
الصفحة 59
A Practical Programming Model for the Multi-Core Era ; 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP 2007, held in Beijing, China, in June 2007.The 14 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 28 submissions. The papers address all topics related to OpenMP, such as OpenMP performance analysis and modeling, OpenMP performance and correctness tools and proposed OpenMP extensions, as well as applications in various domains, e.g., scientific computation, video games, computer graphics, multimedia, information retrieval, optimization, text processing, data mining, finance, signal and image processing, and numerical solvers.
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.
A History of Abstract Algebra
This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories of abstract algebra.The development of abstract algebra was propelled by the need for new tools to address certain classical problems that appeared unsolvable by classical means. A major theme of the approach in this book is to show how abstract algebra has arisen in attempts to solve some of these classical problems, providing context from which the reader may gain a deeper appreciation of the mathematics involved.
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 handful of happiness herbs
Depression is a multifactorial disorder that affects millions of people worldwide, and none of the currently available therapeutics can completely cure it. Thus, there is a need for developing novel, potent, and safer agents. Recent medicinal chemistry findings on the structure and function of the serotonin 2A (5-HT2A) receptor facilitated design and discovery of novel compounds with antidepressant action. The consumption of cocoa-based products rich in bioactive compounds can be related to decreased risk in coronary heart problems, hypertension, diabetes, and depression...
A Handbook of Sustainable Building Design and Engineering : An Integrated Approach to Energy, Health and Operational Performance
Equips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The book looks at how to design, engineer and monitor energy efficient buildings, how to adapt buildings to climate change, and how to make buildings healthy, comfortable and secure. New material for this edition includes sections on environmental masterplanning, renewable technologies, retrofitting, passive house design, thermal comfort and indoor air quality. With chapters and case studies from a range of international, interdisciplinary authors, the book is essential reading for students and professionals in building engineering, environmental design, construction and architecture
A Guide to Lead-free Solders : Physical Metallurgy and Reliability
While tin/lead solders have dominated the electronics industry for many years, environmental considerations and new legislation are forcing change. Backed by more than ten years of research in Pb-free solders, many electronics manufacturers are poised for conversion. A Guide to Lead-free Solders is intended as a tool to help industry as it moves into a new era in the production and use of solders. An overview of the principles of soldering technology is provided beginning with the theory underlying each concept. Focusing on the most up-to-date methods for testing and characterization, these theories are then reinforced by experimental examples and industrial applications.
A First Course in Differential Equations
This text is designed for the standard post-calculus course in elementary differential equations. It is a brief, one-semester treatment of the basic ideas, models, and solution methods. The book, which serves as an alternative to existing texts for instructors who want more concise coverage, emphasizes graphical, analytical, and numerical approaches, and is written with clear language in a user-friendly format. It provides students with the tools to continue on to the next level in applying differential equations to problems in engineering, science, and applied mathematics.
A Customer-oriented Manager for B2B Services : Principles and Implementation
A Customer-oriented Manager for B2B Services provides managers with the knowledge and tools necessary to implement customer orientation themselves, with the involvement of their extended team. To this end, this book presents a four-step approach: understand the fundamentals of customer orientation in B2B services, know the customer, make the most of the offer and deliver the service.
A Computer Scientists Guide to Cell Biology
Provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist with the tools necessary to read and understand current literature in the field.After a brief introduction to cell biology, the text focuses on the principles behind the most-widely used experimental procedures and mechanisms, relating them to well-understood concepts in computer science. The presentation of the material has been prepared for the reader’s quick grasp of the topic: comments on nomenclature and background notes can be ascertained at a glance, and essential vocabulary is boldfaced throughout the text for easy identification.
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.
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.
3D Manufacturing Innovation : Revolutionary Change in Japanese Manufacturing with Digital Data
3D Manufacturing Innovation introduces the best practices developed by Toyota, Sony, Nikon, Casio and other pioneers in the global engineering scene, providing the reader with invaluable tips for manufacturing innovation.
25 Years of P53 Research
Communication, awareness and access to information: Given the complexity of the field and the fact that data pertaining to each particular aspects of p53 biology or deregulation are scattered in many different publications, it is extremely difficult to access the full scale of relevant information of any specific p53-related topic. This book may help in this task by putting into perspective both general considerations on the p53 pathway and more specific information on various aspects of p53. In the longer term, however, open access to p53 complexity will require the development of knowledge bases accessible through the web and using simple navigation tools to guide users towards the specific information they need. Several efforts are currently being developed in that direction. They need to be strenghtened and better integrated within the rapidly growing galaxy of web-based information sources on molecular and individual variations in cancer. 2. Reference functional assays and structural analysis: Given the huge diversity of cellular and animal models for wild-type or mutant p53 functions, it will be important to set up standard, universally accepted assays to measure critical p53 protein functions.
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.
17th International Conference on Information Technology–New Generations (ITNG 2020)
This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles an annual event on state of the art technologies for digital information and communications. The application of advanced information technology to such domains as astronomy, biology, education, geosciences, security, and healthcare are among the themes explored by the ITNG proceedings. Visionary ideas, theoretical and experimental results, as well as prototypes, designs, and tools that help information flow to end users are of special interest. Specific topics include Machine Learning, Robotics, High Performance Computing, and Innovative Methods of Computing. The conference features keynote speakers; a best student contribution award, poster award, and service award; a technical open panel, and workshops/exhibits from industry, government, and academia.
