Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming."

"This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows, types, compiling, paralelelism and distribution, data structures, and miscellaneous."

"This book constitutes the refereed proceedings of the International Symposium on Bioinformatics Research and Applications, ISBRA 2012, held in Dallas, Texas, USA, in May 2012. The 26 revised full papers presented together with five invited talks were carefully reviewed and selected from 66 submissions. The papers address issues on various aspects of bioinformatics and computational biology and their applications."

"BIS workshops give researchers the opportunity to share their preliminary ideas and first experimental results, and discuss research hypotheses with a highly focused audience. The 24 papers were carefully reviewed and selected from 63 submissions and were revised and extended after the event. The workshop topics covered applications and economics of knowledge-based technologies (AKTB), business and IT alignment (BITA), enterprise systems for higher education (ESHE), and formal semantics for future enterprises (FSFE). In addition, one invited paper from BITA is also included in this volume."

"This book constitutes the refereed proceedings of the 6th International Conference on Convergence and Hybrid Information Technology, ICHIT 2012, held in Daejeon, Korea, in August 2012. The 102 revised full papers presented were carefully reviewed and selected from 196 submissions. The papers are organized in topical sections on communications and networking, soft computing and intelligent systems, medical information and bioinformatics, security and safety systems, HCI and data mining, software and hardware engineering, image processing and pattern recognition, robotics and RFID technologies, convergence in information technology, and workshop on advanced smart convergence (IWASC)."

"This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism), trade-offs between computational models and/or operations, succinctness of description of (finite) objects, state explosion-like phenomena, circuit complexity of Boolean functions and related measures, resource-bounded or structure-bounded environments, frontiers between decidability and undecidability, universality and reversibility, structural complexity, formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages), nature-motivated (bio-inspired) architectures and unconventional models of computing, and Kolmogorov complexity."

"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."

"This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints."