This work constitutes the proceedings of the Second International Workshop on Advances in Social Network and Analysis, held in Las Vegas, NV, USA in August 2008.

18,744円

Advances in Social Network M…

This book constitutes the proceedings of the Second Future Internet Symposium, held in Berlin, Germany in September 2009. The ten papers accepted for presentation were carefully reviewed and selected from many submissions.The included papers propose novel ideas and results related to the Future Internet infrastructure and its virtualization, the Internet of services and of things, the problem of accessing the resources available on the Future Internet, the applications that will be available in the Future Internet.

18,744円

Future Internet--FIS 2009

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2009.

18,744円

Coordination, Organizations,…

This book constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning.

18,744円

Computational Logic in Multi…

This book constitutes the thoroughly refereed post-conference proceedings of the Sixth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2009, held in Genova, Italy, in October 2009. The revised 23 full papers presented were carefully reviewed and selected from 57 submissions. The main goal of the CIBB meetings is to provide a forum open to researchers from different disciplines to present and discuss problems concerning computational techniques in tools for bioinformatics, gene expression analysis and new perspectives in bioinformatics together with 4 special sessions on using game-theoretical tools in bioinformatics, combining Bayesian and machine learning approaches in bioinformatics: state of the art and future perspectives, data clustering and bioinformatics (DCB 2009) and on intelligent systems for medical decisions support (ISMDS 2009).

18,744円

Computational Intelligence M…

This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personal tribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri Gurevich 's multiple areas of interest.

37,510円

Fields of Logic and Computat…

This volume contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. The 11 papers presented together with 3 invited talks were carefully revised and selected for inclusion in the book. This third conference is part of the Verified Software Initiative (VSI), which is a 15 year international project that focuses on the scientific and technical challenges of producing verified software. The goal of VSTTE 2010 was to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. The accepted papers represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, software design methods, reusable components, refinement methodologies, and requirements modeling.

18,744円

Verified Software: Theories,…

This book contains selected papers from the e-Commerce and e-Business (SIGeBIZ) track at the 16th Americas Conference on Information Systems, AMCIS 2010, held in Lima, Peru, August 12-15, 2010.The 13 papers presented here were selected from 48 submissions and have been organized into three research lines: e-business models and information systems in financial markets, e-commerce use and design, and e-business research issues and methods.

18,744円

Sustainable e-Business Manag…

This volume constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB 2010, held in Paris and Clos Luc, France, in August 2010.The articles cover all main areas in animat research, including perception and motor control, action selection, motivation and emotion, internal models and representation, collective behavior, language evolution, evolution and learning. The authors focus on well-defined models, computer simulations or robotic models, that help to characterize and compare various organizational principles, architectures, and adaptation processes capable of inducing adaptive behavior in real animals or synthetic agents, the animats.

37,510円

From Animals to Animats 11: …

This book constitutes the refereed proceedings of the International Conference on Brain Informatics, BI 2010, held in Toronto, China, in August 2010.The 60 revised full papers presented were carefully reviewed and selected from 222 submissions. The papers are organized in topical sections on cognitive computing; data brain and analysis; neuronal modeling and brain modeling; perception and information processing; learning; cognition-inspired applications; and WICI perspectives on brain informatics.

18,744円

Brain Informatics: Internati…

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Entertainment Computing, ICEC 2010, held in Seoul, Korea, in August 2010, under the auspices of IFIP. The 19 revised long papers, 27 short papers and 33 poster papers and demos presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover all main domains of entertainment computing, from interactive music to games, taking a wide range of scientific domains from aesthetic to computer science.

37,510円

Entertainment Computing: ICE…

This Handbook brings together the science and technology of growing crystals, defect characterization and techniques, and understanding of the process of defect formation, including defects modeling, and the latest instrumentation and techniques.

136,048円

Springer Handbook of Crystal…

This book constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at the University of Pretoria, South Africa on July 2009. In total 21 papers were submitted and of those papers 13 were accepted as regular papers and a further 6 as extended abstracts. The papers are devoted to computational morphology, natural language processing, finite-state methods, automata, and related formal language theory.

18,744円

Finite-State Methods and Nat…

This book constitutes the refereed proceedings of the 5th InternationalConference on Mathematical Methods, Models, and Architectures forComputer Network Security, MMM-ACNS 2010, held in St. Petersburg, Russiain September 2010.The 16 revised full papers and 6 revised short papers presented togetherwith 5 invited papers were carefully reviewed and selected from a totalof 54 submissions. The papers are organized in topical sections onsecurity modeling and covert channels, security policies and formalanalysis of security properties, authentication, authorization, accesscontrol and public key cryptography, intrusion and malware detection, security of multi-agent systems and software protection, as well as.adaptive security, security analysis and virtualization.

18,744円

Computer Network Security

This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

18,744円

Theoretical Aspects of Compu…

The book constitutes the thoroughly refereed proceedings of the 11th International Workshop on Knowledge Management and Acquisition for Smart Systems and Services, held in Daegue, Korea in August 2010 in conjunction with the Pacific Rim International Conference on Artificial Intelligence, PRICAI 2010. The 26 revised full papers were selected from 94 submissions and are organized in topical sections on Machine Learning, Data Mining, Knowledge Engineering & Ontology, Incremental Knowledge Acquisition, KA Applications in Internet and Mobile Computing and KA Applications in Multimedia and Games.

18,744円

Knowledge Management and Acq…

This book constitutes the refereed proceedings of the 7th International Conference on Data Integration in the Life Sciences, DILS 2010, held in Gothenburg, Sweden, on August 25-27, 2010. The 14 revised papers included in this volume together with 2 invited papers were carefully reviewed and selected. The papers cover the following topics: ontology engineering, web services, data mining and text mining and information management.

18,744円

Data Integration in the Life…

This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010.The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.

37,510円

Mathematical Foundations of …

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010.The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics covered include automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning.

18,744円

Computer Science Logic

This volume constitutes the refereed proceedings of the 11th Pacific Rim Conference on Artificial Intelligence, PRICAI 2010, held in Daegu, Korea, in August/September 2010.The 48 revised full papers presented together with 21 short papers in this volume were carefully reviewed and selected from 191 submissions. The volume concentrates on AI theories, technologies and their applications in the areas of social and economic importance for countries in the Pacific Rim.

37,510円

PRICAI 2010: Trends in Artif…

18,744円

Scandinavian Information Sys…

84,524円

Protein Discovery Technologi…

This volume contains 20 seminal chapters by authors with varying views on the neuroanatomical, neuropathological, neuropsychological, neurological, and molecular aspects of Alzheimer's Disease (AD). This book is an invaluable addition to the study of AD.

57,970円

Current Hypotheses and Resea…

This work describes the Linux API (application programming interface)--the system calls, library functions, and other low-level interfaces that are used, directly or indirectly, by every program that runs on Linux.

19,800円

The Linux Programming Interf…

The systems used to process data streams and provide for the needs of stream-based applications are Data Stream Management Systems (DSMSs). This book presents a new paradigm to meet the needs of these applications, including a detailed discussion of the techniques proposed.

57,970円

Stream Data Processing: A Qu…

Awareness of the importance of nutrition and physical activity for good health has given rise to a multitude of projects with different scopes and methodologies. This variety makes it necessary to bring the results of these activities into a coordinated framework. This book aims to summarize the activities carried out by the EU countries to address these determinants of health. Contributors are drawn from Germany, Italy, Sweden, and United Kingdom.

37,510円

Nutrition and Physical Activ…

There have been numerous books published relating to minority mental health. However, this text utilizes a completely different approach focusing on minority mental health and wellness. Its chapters are authored by national and international experts.

18,744円

Determinants of Minority Men…

This is a cohesive set of contributions from leading experts on the theory and applications of functional and delay differential equations. The book focuses on theory, symbolic, and numerical methods, which show the practical applications of the concepts.

57,970円

Delay Differential Equations…

In cyber-based systems, tasks can be formulated as learning problems and approached as machine-learning algorithms. This book covers applications of machine-learning methods in reliability, security, performance and privacy issues in cyber space.

57,970円

Machine Learning in Cyber Tr…

In this authoritative volume, experts in the field provide a range of classic and cutting-edge laboratory protocols developed for GPCR research. This volume serves to aid all those who wish to further the vital research in their GPCR drug discovery programs.

37,510円

G Protein-Coupled Receptors …

このサイトのデータは 2026/03/05 15:28:58 に楽天APIから取得しました。このサイトで掲載されている情報は shopping.ago-go.org の作成者により運営されています。 価格、販売可能情報は、変更される場合があります。購入時に楽天市場店舗（www.rakuten.co.jp）に表示されている価格が、その商品の販売に適用されます。