Page 9
Page 9
Current Trends in High Performance Computing and Its Applications ; Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and software algorithm design and analysis, grid computing advance, adaptive and par- lel algorithm development, distributing debugging tools, computational grid and network environment design, computer simulation and visualization, and computational language study and their applications to science, engineering, and medicine.
Current Developments in Bioerosion
The book opens with papers on the evolutionary significance of bioerosion, and subsequently ventures out to explore the remarkable diversity of bioerosive biota. From microboring bacteria to grazing echinoids, the studies use a variety of techniques ranging from field observations to sophisticated micro-computed tomography to investigate the ecological and environmental role of these organisms, including symbiotic interactions and alteration of non-carbonate substrates.
Current aopics in artificial intelligence ; 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007, Selected Papers
The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects to advanced applications in various fields.
Crypto-Finance, Law and Regulation : Governing an Emerging Ecosystem
Explores the emergence of a decentralised and disintermediated crypto-market and investigates the way in which it can transform the financial markets. It examines three components of the financial market – technology, finance, and the law – and shows how their interrelationship dictates the structure of a crypto-market. It focuses on regulators’ enforcement policies and their jurisdiction over crypto-finance operators and participants. The book also discusses the latest developments in crypto-finance, and the advantages and disadvantages of crypto-currency as an alternative payment product. It also investigates how such a decentralised crypto-finance system can provide access to finance, promote a shared economy, and allow access to justice.
Cross-Business Synergies : A Typology of Cross-Business Synergies and a Mid-range Theory of Continuous Growth Synergy Realization
Sebastian Knoll investigates what cross-business synergies actually are and how they are realized successfully. In a first step, a theory-based typology of cross-business synergies is developed and two new types of synergies are conceptualized: (1) Growth synergies, i.e. profitable growth advantages from recombining complementary operative resources across businesses, and (2) corporate management synergies, i.e. performance advantages from leveraging corporate management capabilities across businesses. In a second step, the author focuses on growth synergies and inducts a framework for their continuous realization from a longitudinal in-depth single case study. He suggests that the successful realization of growth synergies is associated with a selective focus on specific growth opportunities, decentralized cross-business collaboration that motivates productive business unit self-interest, and a corporate management approach that guides and balances this self-interest in an evolutionary fashion.
Cooperation in Primates and Humans : Mechanisms and Evolution
Cooperative behavior has been one of the enigmas of evolutionary theory since the days of Darwin. The contributions to this book examine the many facets of cooperative behavior in primates and humans. Some of the world’s leading experts summarize and review the state of the art of theoretical and empirical studies of cooperation. This is the first attempt to bridge the gap between parallel research activities in primatology and studies of humans. This comparative approach highlights both common principles as well as aspects of human uniqueness with respect to cooperative behavior.
Control Theory in Physics and other Fields of Science : Concepts, Tools, and Applications
This book covers systematically and in a simple language the mathematical and physical foundations of controlling deterministic and stochastic evolutionary processes in systems with a high degree of complexity. Strong emphasis is placed on concepts, methods and techniques for modelling, assessment and the solution or estimation of control problems in an attempt to understand the large variability of these problems in several branches of physics, chemistry and biology as well as in technology and economics. The main focus of the book is on a clear physical and mathematical understanding of the dynamics and kinetics behind several kinds of control problems and their relation to self-organizing principles in complex systems. The book is a modern introduction and a helpful tool for researchers, engineers as well as post-docs and graduate students interested in an application oriented control theory and related topics.
Control of Traffic Systems in Buildings
Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems in buildings focusing primarily on elevator groups. The theory and design of passenger traffic and cargo transport systems are covered, together with actual operational examples and topics of special current interest such as: • noisy, on-line and algorithmic optimization; • simulation-based modeling of passengers and goods; • control of cooperative agent-oriented systems; • proposal for a benchmark to compare new control methods; • deployment and testing of transportation systems.
Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems
Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control Systems. This book is a monograph that covers our recent and original results in this direction.
Conceptual Ecology and Invasion Biology : Reciprocal Approaches to Nature
In this edited volume, global experts in ecology and evolutionary biology explore how theories in ecology elucidate the invasion processes while also examining how specific invasions informs ecological theory. This reciprocal benefit is highlighted in a number of scales of organization: population, community and biogeographic, while employing example invaders in all major groups of organisms and from a number of regions around the globe. The chapters in this volume utilize many of the cutting edge observational, experimental, analytical and computational methods used in modern ecology. Through merging conceptual ecology and invasion biology we can obtain a better understanding of the invasion process while also developing a better understanding of how ecological systems function.
Computer Vision and Internet of Things : Technologies and Applications
Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications areas. Using a series of present and future applications – including business insights, indoor-outdoor securities, smart grids, human detection and tracking, intelligent traffic monitoring, e-health departments, and medical imaging – this book focuses on providing a detailed description of the utilization of IoT with computer vision and its underlying technologies in critical application areas, such as smart grids, emergency departments, intelligent traffic cams, insurance, and the automotive industry.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational Science – ICCS 2007; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data,
Computational Science – ICCS 2007 ; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.
Computational Science – ICCS 2007 ; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.
Computational Science – ICCS 2007 ; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.
Computational Intelligence, Theory and Applications ; International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings
This book constitutes the refereed proceedings of the 9th Dortmund Fuzzy Days, held in Dortmund, Germany, 2006. The Fuzzy Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Computational Intelligence, Theory and Applications ; International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29-Oct. 01, 2004 Proceedings
This book constitutes the refereed proceedings of the 8th Dortmund Fuzzy Days, held in Dortmund, Germany, 2004. The Fuzzy-Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Computational Intelligence in Reliability Engineering : Evolutionary Techniques in Reliability Analysis and Optimization
This book covers the recent applications of computational intelligence techniques in reliability engineering. This volume contains a survey of the contributions made to the optimal reliability design literature in the resent years and chapters devoted to different applications of a genetic algorithm in reliability engineering and to combinations of this algorithm with other computational intelligence techniques. Genetic algorithms are one of the most widely used metaheuristics, inspired by the optimization procedure that exists in nature, the biological phenomenon of evolution.
