Hasil Pencarian  ::  Simpan CSV :: Kembali

"UK Colloids 2011, the first multi-day conference on the topic of colloid science held in the UK for many years, jointly organized by the RSC Colloid and Interface Science Group and the SCI Colloid and Surface Science Group. This title collects together a selection of 20 papers, mostly presented during the Conferenc"

"This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications."

"This book constitutes the refereed proceedings of the 6th International Symposium on Intelligence Computation and Applications, ISICA 2012, held in Wuhan, China, in October 2012. The 72 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on artificial life, adaptive behavior, agents, and ant colony optimization, combinatorial and numerical optimization, communications and computer networks, data mining, evolutionary multi-objective and dynamic optimization, intelligent computation, intelligent learning systems, neural networks, and real-world applications."

"This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrücken, Germany, in September 2011. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized and exact computation, and implementation issues of parameterized and exact algorithms."

"This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems, model checking and quantitative extensions thereof, semantics and analysis of modern programming languages, probabilistic models for concurrency, and testing and run-time verification."

"This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier, France, in August 2012 - collocated with the 20th biennial European Conference on Artificial Intelligence, ECAI 2012. The 14 full papers, 8 short papers and 2 track papers presented together with 2 keynote talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as business rules and processes, rule-based event processing and reaction rules, rule-based policies and agents on the pragmatic web, rules and the semantic web, rule markup languages and rule interchange, and rule transformation, extraction and learning."