Hasil Pencarian  ::  Simpan CSV :: Kembali

"The papers in this volume were presented at the Ninteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 20-22, 2008, in San Francisco, California. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory."

"This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all."

"The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory.This volume contains 136 papers that were selected from a field of 491 submissions based on their originality, technical contribution, and relevance. The symposium and the papers focus on research topics related to efficient algorithms and data structures for discrete problems. In addition to the design of such methods and structures, the scope also includes their use, performance analysis, and the mathematical problems related to their development or limitations."

"We were very pleased to choose papers for presentation at the ACM-SIAM Symposium on Discrete Algorithms (SODA), which will take place in Manhattan in January 2009. A total of 550 short abstracts were submitted, later materializing into 458 submissions, of which 135 were selected. The program committee meeting was entirely electronic and the selection process took place in July and August 2008. The Best Student Paper award was given to the paper "Improved Bounds and New Techniques for Davenport?Schinzel Sequences and Their Generalizations" by Gabriel Nivasch, and the Best Paper award was given to the paper "Natural Algorithms" by Bernard Chazelle. There will be three invited presentations: one by Volker Strassen, as the recipient of the ACM-SIGACT 2008 Knuth prize; one by Michael Jordan; and one by Yuval Peres."

"The papers in this volume were presented at the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 7/9, 2007, in New Orleans, Louisiana. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory."

"This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence."

"Synthesis of computational structures for analog signal processing focuses on analysis and design of analog signal processing circuits. The author presents a multitude of design techniques for improving the performances of analog signal processing circuits, and proposes specific implementation strategies that can be used in CMOS technology. The author's discussion proceeds from the perspective of signal processing as it relates to analog. Included are coverage of low-power design, portable equipment, wireless nano-sensors and medical implantable devices."

"This symposium concerned research on the use, design, and analysis of efficient algorithms and data structures, and on the mathematical problems related to the development and analysis of discrete algorithms. The papers are based on the extent to which the results yield new insights for the design, use, or analysis of efficient algorithms. Performance analysis cover analytical and experimental, worst-case and average-case performance. The studies are both theoretical or based on real data sets, and address methodological issues involved in performance analysis. They cover the discrete mathematics and experimental and applied algorithms communities."

"This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various approaches proposed for web service search and composition, highlighting input/output, parameter-based search, and selection of services based on both functional and non-functional parameters. In turn, it examines various types of composite web services and presents an overview of popular fault handling strategies for each of these types. Lastly, it discusses the standards used for implementing web service security on the basis of a case study, and introduces the Web Service Development Life Cycle (WSDLC), which defines co-operation between several industry partners to develop web services in a more structured way. "