تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Marine Biodiversity : Patterns and Processes, Assessment, Threats, Management and Conservation
Understanding the functioning of Marine Ecosystems is the first step to measure and predict the influence of Man, and to find solutions for the enormous array of problems we face today. This volume is organised according to the four subthemes of the symposium and to issues commonly perceived as relevant by scientists concerned with the study, protection and management of Marine Biodiversity: patterns and processes, assessment, threats and management and conservation.
Kindling 6
A broad array of themes concerned with research on epilepsy and kindling is covered in the book: Pathogenesis of kindling, including developmental patterns; electrophysiology; anatomy, morphology, and neural circuitry; genes, species, and strains; synaptic pharmacology and neurochemistry ; Behavioral consequences of kindling ; Drugs and interventions against kindling ; Clinical relevance of kindling for our understanding of epilepsy in patients
Cephalopods Present and Past : New Insights and Fresh Perspectives
Cephalopods are diverse, highly developed molluscs capable of swimming and jet propulsion. These animals are an important component of present-day marine ecos- tems throughout the world and comprise approximately 900 species. They also have an extraordinary fossil record, extending back to the Cambrian Period, with as many as 10,000 extinct species. Throughout their long history, they have experienced sp- tacular radiations and near-total extinctions. Because of their superb fossil record, they also serve as ideal index fossils to subdivide geologic time. This book touches on many of these themes, and it treats both fossil and present-day cephalopods.
Carbohydrate-protein interactions : Methods and protocols
Provides new and updated tools for studying protein-carbohydrate interactions ranging from traditional biochemical methods to state-of-the-art techniques. This book focuses on four different research themes detailing methods for screening and quantifying CAZyme activity, investigating the interactions between proteins, carbohydrate ligands, methods for the visualization of carbohydrates, protein-carbohydrate complexes, structural and “omic” approaches for studying systems of CAZymes.
Bioinformatics and systems biology : Collaborative research and resources
Collaborative research in bioinformatics and systems biology is a key element of modern biology and health research. This book highlights and provides access to many of the methods, environments, results and resources involved, including integral laboratory data generation and experimentation and clinical activities. Collaborative projects embody a research paradigm that connects many of the top scientists, institutions, their resources and research worldwide, resulting in first-class contributions to bioinformatics and systems biology. Central themes include describing processes and results in collaborative research projects using computational biology and providing a guide for researchers to access them. The book is also a practical guide on how science is managed. It shows how collaborative researchers are putting results together in a way accessible to the entire biomedical community.
Auditory Trauma, Protection, and Repair
Protection and Repair presents recent developments in auditory research and their potential translation to the clinical setting. In particular the authors address the major entities of peripheral auditory trauma, discuss the underlying mechanisms, the central nervous system consequences, protective interventions and finally explore the possibilities to restore cochlear morphology and function.Two themes run through the chapters in this book: cellular homeostasis and cell death. In the broadest sense, all auditory pathologies are disorders of cellular homeostasis.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Machine Learning and Big Data Analytics Paradigms : Analysis, Applications and Challenges
Intended to present the state of the art in research on machine learning and big data analytics. The accepted chapters covered many themes including artificial intelligence and data mining applications, machine learning and applications, deep learning technology for big data analytics, and modeling, simulation, and security with big data. It is a valuable resource for researchers in the area of big data analytics and its applications.
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006.
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. Mathematically demanding themes are put across to the reader by properly chosen representations with the aid of lots of illustrations.
Beginning Java™ SE 6 Platform : From novice to professional
Beginning Java™ SE 6 Platform: From Novice to Professional steers you through the maze of Java Standard Edition (SE) 6 features. The first chapter sets the stage by introducing Java SE 6 in terms of its name change, themes, an overview, and a sampling of new features. It also briefly discusses the first two Java SE 6 updates.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
Artificial general intelligence
This book focused on engineering general intelligence – autonomous, self-reflective, self-improving, commonsensical intelligence.Each author explains a specific aspect of AGI in detail in each chapter, while also investigating the common themes in the work of diverse groups, and posing the big, open questions in this vital area.
AI and IoT for smart city applications
Provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence (AI) and Internet of things (IoT) perspective. The technical research works presented here are focused on a number of aspects of smart cities: smart mobility, smart living, smart environment, smart citizens, smart government, and smart waste management systems as well as related technologies and concepts. This edited book offers critical insight to the key underlying research themes within smart cities, highlighting the limitations of current developments and potential future directions.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
An Introduction to Soil Mechanics
Offers a superb introduction to theoretical and practical soil mechanics. Special attention is given to the risks of failure in civil engineering, and themes covered include stresses in soils, groundwater flow, consolidation, testing of soils, and stability of slopes. The basic principles of applied mechanics, that are frequently used, are offered in the appendices. The author’s considerable experience of teaching soil mechanics is evident in the many features of the book: it is packed with supportive color illustrations, helpful examples and references.
Adapting the built environment for climate change : Design principles for climate emergencies
Adapting the Built Environment for Climate Change: Design Principles for Climate Emergencies analyzes several scenarios and proposes various adaptation strategies for climate emergencies (heat waves, wildfires, floods, and storms). Divided into three themes, the book offers an organized vision of a complex and multi-factor challenge. It covers climatic resilience and building refurbishment, implications for service life prediction and maintainability, and climate adaptation in the maintenance and management of buildings. Sections cover infrastructure materials, climate emergency adaptation and building adaptation to heat waves, wildfires, floods and storms.
Mass Customization : Challenges and Solutions
Mass Customization: Challenges and Solutions defines the parameters of the emerging business strategy, mass customization. The book will cover the main categories of the area with a systematic examination of the following themes: manufacturing systems and mass customization, supply chain management and mass customization, and information systems and mass customization.
Knowledge Solutions : Tools, Methods, and Approaches to Drive Organizational Performance
Covers topics in knowledge management and competence in strategy development, management techniques, collaboration mechanisms, knowledge sharing and learning, as well as knowledge capture and storage. Presented in accessible “chunks,” it includes more than 120 topics that are essential to high-performance organizations. The extensive use of quotes by respected experts juxtaposed with relevant research to counterpoint or lend weight to key concepts; “cheat sheets” that simplify access and reference to individual articles; as well as the grouping of many of these topics under recurrent themes make this book unique. In addition, it provides scalable tried-and-tested tools, method and approaches for improved organizational effectiveness.
