Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012. The 28 full papers presented were carefully reviewed and selected for inclusion in this book. One of the main themes of the CASC workshop series, namely polynomial algebra, is represented by contributions devoted to new algorithms for computing comprehensive Gröbner and involutive systems, parallelization of the Gröbner bases computation, the study of quasi-stable polynomial ideals, new algorithms to compute the Jacobson form of a matrix of Ore polynomials, a recursive Leverrier algorithm for inversion of dense matrices whose entries are monic polynomials, root isolation of zero-dimensional triangular polynomial systems, optimal computation of the third power of a long integer, investigation of the complexity of solving systems with few independent monomials, the study of ill-conditioned polynomial systems, a method for polynomial root-finding via eigen-solving and randomization, an algorithm for fast dense polynomial multiplication with Java using the new opaque typed method, and sparse polynomial powering using heaps."

"This book constitutes the refereed proceedings of the 12th International Workshop on Algorithms in Bioinformatics, WABI 2012, held in Ljubljana, Slovenia, in September 2012. WABI 2012 is one of six workshops which, along with the European Symposium on Algorithms (ESA), constitute the ALGO annual meeting and focuses on algorithmic advances in bioinformatics, computational biology, and systems biology with a particular emphasis on discrete algorithms and machine-learning methods that address important problems in molecular biology. The 35 full papers presented were carefully reviewed and selected from 92 submissions. The papers include algorithms for a variety of biological problems including phylogeny, DNA and RNA sequencing and analysis, protein structure, and others."

"This book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics."

"This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Conference on Case-Based Reasoning Research and Development (ICCBR 2012) held in Lyon, France, September 3-6, 2012. The 34 revised full papers presented were carefully selected from 51 submissions. The presentations and posters covered a wide range of CBR topics of interest to both practitioners and researchers, including foundational issues covering case representation, similarity, retrieval, and adaptation; conversational CBR recommender systems; multi-agent collaborative systems; data mining; time series analysis; Web applications; knowledge management; legal reasoning; healthcare systems and planning and scheduling systems."

"This book constitutes the refereed proceedings of the 11th IFIP WG 8.5 International Conference, EGOV 2012, held in Delft, The Netherlands, in September 2012. The 23 revised full papers presented were carefully reviewed and selected from more then 80 submissions. The papers are organized in topical sections on foundations, adoption and diffusion, open government and transformation, infrastructure and technology, evaluation, and citizen perspective, social inclusion, and social media."

"This book constitutes the refereed proceedings of the 14th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2012 held in Vienna, Austria, in September 2012. The 36 revised full papers presented were carefully reviewed and selected from 99 submissions. The papers are organized in topical sections on data warehouse design methodologies, ETL methodologies and tools, multidimensional data processing and management, data warehouse and OLAP extensions, data warehouse performance and optimization, data mining and knowledge discovery techniques, data mining and knowledge discovery applications, pattern mining, data stream mining, data warehouse confidentiality and security, and distributed paradigms and algorithms."

"This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012. The 49 revised full papers presented together with 37 short papers and 2 keynote talks were carefully reviewed and selected from 179 submissions. These papers discuss a range of topics including, database query processing, in particular XML queries, labelling of XML documents, computational efficiency, data extraction, personalization, preferences, and ranking, security and privacy, database schema evaluation and evolution, semantic web, privacy and provenance, data mining, data streaming, distributed systems, searching and query answering, structuring, compression and optimization, failure, fault analysis, and uncertainty, predication, extraction, and annotation, ranking and personalisation, database partitioning and performance measurement, recommendation and prediction systems, business processes, and social networking."

"This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012. The 49 revised full papers presented together with 37 short papers and 2 keynote talks were carefully reviewed and selected from 179 submissions. These papers discuss a range of topics including, database query processing, in particular XML queries, labelling of XML documents, computational efficiency, data extraction, personalization, preferences, and ranking, security and privacy, database schema evaluation and evolution, semantic web, privacy and provenance, data mining, data streaming, distributed systems, searching and query answering, structuring, compression and optimization, failure, fault analysis, and uncertainty, predication, extraction, and annotation, ranking and personalisation, database partitioning and performance measurement, recommendation and prediction systems, business processes, and social networking."

"This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games."

"The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies."