الصفحة 1
الصفحة 1
img

Marine Anthropogenic Litter

This book describes how man-made litter, primarily plastic, has spread into the remotest parts of the oceans and covers all aspects of this pollution problem from the impacts on wildlife and human health to socio-economic and political issues. Marine litter is a prime threat to marine wildlife, habitats and food webs worldwide. The book illustrates how advanced technologies from deep-sea research, microbiology and mathematic modelling as well as classic beach litter counts by volunteers contributed to the broad awareness of marine litter as a problem of global significance. The authors summarise more than five decades of marine litter research, which receives growing attention after the recent discovery of great oceanic garbage patches and the ubiquity of microscopic plastic particles in marine organisms and habitats.

img

Landscape Ecological Applications in Man-Influenced Areas : Linking Man and Nature Systems

This book also includes several case studies concerning landscape analysis and evaluation using spatial analysis and landscape modelling for establishing sustainable management strategy in urban and agricultural landscapes. The subtitle of the book suggests the integrative and ubiquitous landscape planning considering harmony of man and nature systems in the socio-economic and cultural background.

img

Kinase Drug Discovery : Modern Approaches

Kinase inhibition remains an area of significant interest, and growing importance, across academia and the pharmaceutical industry. There are now many marketed drugs that target kinases and a significant number of compounds are currently in various stages of clinical development. This book is a forward-looking analysis of a number of key areas for kinase inhibition in the coming years and builds on the first volume. This includes topics such as screening approaches to target kinases along with different modes of inhibition such as allosteric and covalent. Novel approaches such as macrocyclisation are considered along with how the properties of kinase inhibitors have evolved, including the potential for brain penetration. Recent areas of great importance also covered include cutting edge molecular modelling approaches and the importance of kinase mutations.

img

Branching Morphogenesis

Branching morphogenesis, the creation of branched structures in the body, is a key feature of animal and plant development. This book brings together, for the first time, expert researchers working on a variety of branching systems to present a state-of-the-art view of the mechanisms that control branching morphogenesis. Systems considered range from single cells, to blood vessel and drainage duct systems to entire body plans, and approaches range from observation through experiment to detailed biophysical modelling. The result is an integrated overview of branching.

img

Biophysical characterization of functional peptides

Presents reproducible and step-by-step procedures for the peptide synthesis, their characterization and applications. The volume includes an introductory section on in silico modelling of new peptide molecules, Molecular Dynamics Simulations, Docking, Electrostatic fingerprinting of peptides, and other modelling tools for peptide designing and optimization. Further, it covers protocols for the solid phase peptide synthesis, chromatographic and mass spectrometric characterization of peptides. Importantly, it covers methods for biophysical characterizations of peptides for their potential applications as drug delivery vehicles, peptide nano-assembly, bionanocatalysis, protein aggregation diseases, and peptide-based anti-bacterial.

img

Bioinformatics drug discovery

Quantitative tools are becoming increasingly important in order to understand complex cascade of signal transduction events, pathways or biochemical reactions. The book showcases how computational techniques and algorithms are applied to biological data analysis, interpretation, and modelling. It covers applications in drug design and discovery, immune systems, phylogenetic analysis and protein structures.

img

Analysing Ecological Data

This book provides a practical introduction to analysing ecological data using real data sets collected as part of postgraduate ecological studies or research projects. The first part of the book gives a largely non-mathematical introduction to data exploration, univariate methods (including GAM and mixed modelling techniques), multivariate analysis, time series analysis (e.g. common trends) and spatial statistics. The second part provides 17 case studies, mainly written together with biologists who attended courses given by the first authors. The case studies include topics ranging from terrestrial ecology to marine biology.

img

Linked Democracy : Foundations, Tools, and Applications

This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic democracy, offering licensed linked data along with information about the rights involved. This model of democracy for the web of data brings new challenges for the social organisation of knowledge, collective innovation, and the coordination of actions. Licensed linked data, licensed linguistic linked data, right expression languages, semantic web regulatory models, electronic institutions, artificial socio-cognitive systems are examples of regulatory and institutional design (regulations by design). The web has been massively populated with both data and services, and semantically structured data, the linked data cloud, facilitates and fosters human-machine interaction. Linked data aims to create ecosystems to make it possible to browse, discover, exploit and reuse data sets for applications. Rights Expression Languages semi-automatically regulate the use and reuse of content.

img

Many-Core Computing : Hardware and software

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; it presents runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing.

img

Machine learning and its application to reacting flows: ml and combustion

These two fields, ML and turbulent combustion, have large body of work and knowledge on their own, and this book brings them together and explain the complexities and challenges involved in applying ML techniques to simulate and study reacting flows. This is important as to the world’s total primary energy supply (TPES), since more than 90% of this supply is through combustion technologies and the non-negligible effects of combustion on environment. Although alternative technologies based on renewable energies are coming up, their shares for the TPES is are less than 5% currently and one needs a complete paradigm shift to replace combustion sources. The book covers the current state of the art in these two topics and outlines the challenges involved, merits and drawbacks of using ML for turbulent combustion simulations including avenues which can be explored to overcome the challenges.

img

Machine Learning : The Basics

Approaches ML as the computational implementation of the scientific principle. This principle consists of continuously adapting a model of a given data-generating phenomenon by minimizing some form of loss incurred by its predictions. Trains readers to break down various ML applications and methods in terms of data, model, and loss, thus helping them to choose from the vast range of ready-made ML methods.

img

Logics of Specification Languages

Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

img

Location, Transport and Land-Use : Modelling Spatial-Temporal Information

Shows the use of statistical tools for forecasting and analyzing implications of land-use decisions. The idea is that la- use on a map is necessarily a consequence of individual, and often conflicting, siting decisions over time.

img

Law and the Semantic Web : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications

As part of this objective, ICT (information and communication technologies) services should become available for every citizen, and for all schools, homes and businesses. The book you have in front of you is about Semantic Web technology and law. Law is something omnipresent; all citizens — at some points in their lives — have to deal with it. In addition, law involves a large group of professionals, and is a mul- billion business world wide. Information technology is important because it that can improve citizens’ interaction with law, as well as improve legal professionals’ work environment. Legal professionals dedicate a significant amount of their time to finding, reading, analyzing and synthesizing information in order to take decisions, and prepare advice and trials, among other tasks. As part of the “Semantic-Based Knowledge and Content Systems” Strategic Objective, the European Commission is funding projects to construct technology to make the Semantic Web vision come true. 1 The articles in this book are related to two current foci of the Strategic Objective : • Knowledge acquisition and modelling, capturing knowledge from raw information and multimedia content in webs and other distributed repositories to turn poorly structured information into machi- processable knowledge.

img

Iterated Function Systems for Real-Time Image Synthesis

Natural phenomena can be visually described with fractal-geometry methods, where iterative procedures rather than equations are used to model objects. With the development of better modelling algorithms, the efficiency of rendering, the realism of computer-generated scenes and the interactivity of visual stimuli are reaching astonishing levels. Iterated Function Systems for Real-Time Image Synthesis gives an explanation of iterated function systems and how to use them in generation of complex objects.

img

Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining

Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod­ els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe­ matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com­ puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter­ net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and modeling, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.

img

Brain and Human Body Modeling : Computational Human Modeling at EMBC 2018

This book describes modern applications of computational human modeling with specific emphasis in the areas of neurology and neuroelectromagnetics, depression and cancer treatments, radio-frequency studies and wireless communications. Special consideration is also given to the use of human modeling to the computational assessment of relevant regulatory and safety requirements. Readers working on applications that may expose human subjects to electromagnetic radiation will benefit from this book’s coverage of the latest developments in computational modelling and human phantom development to assess a given technology’s safety and efficacy in a timely manner.

img

Boundary Representation Modelling Techniques

Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series of developments on which currently available systems are based, full details of which are only partially known. Ian Stroud’s thorough coverage of these developments puts this technology in perspective. Ian Stroud started working with boundary representation solid modelling in 1977. Since then he has researched and is researching a wide variety of topics in and around this field. The information in the book comes from the results of this research.

img

Biologically Inspired Algorithms for Financial Modelling

Then Part I provides a thorough guide to the various bioinspired methodologies – neural networks, evolutionary computing (particularly genetic algorithms and grammatical evolution), particle swarm and ant colony optimization, and immune systems. Part II brings the reader through the development of market trading systems. Finally, Part III examines real-world case studies where BIA methodologies are employed to construct trading systems in equity and foreign exchange markets, and for the prediction of corporate bond ratings and corporate failures.

img

Artificial life models in software

Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual and living forms, written by those who personally design and produce software, hardware and art installations in artificial life, simulated complex systems and virtual worlds. This timely volume offers a nearly exhaustive overview and original analysis of major non-profit artificial life software packages. The carefully selected topics include: · simulation of real and imaginary life forms and their evolution · self-organization · emergent behaviours · swarm intelligence · evolutionary robotics · agent-based simulations · adaptive, complex and biologically inspired ecosystems · creative computer art There has long been a need within the academic and research community for an informal introduction and guidance to modern software tools for modelling and simulation of life-like phenomena – Artificial Life Models in Software fills this gap and provides invaluable information to both professional and amateur readers, offering detailed reviews of contemporary software for artificial life.

عدد النتائج بكل صفحة