Ditemukan 26 dokumen yang sesuai dengan query
"
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured ...
"
Berlin: Springer-Verlag, 2012
e20409380
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and knowledge engineering, business process modelling, analysis and design, formal analysis and design methods, information and software systems engineering, information technology applications and computer networks, information ...
"
Berlin: Springer-Verlag , 2012
e20409381
eBooks Universitas Indonesia Library
Guohui Lin, editor
"
This book constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012. The 33 revised papers including one invited talk and one keynote talk were carefully reviewed and selected from 57 submissions. The papers are focused to theoretical results and also on recent works on experimental and applied research of general algorithmic interest ...
"
Berlin: [Springer-Verlag, Springer-Verlag], 2012
e20410155
eBooks Universitas Indonesia Library
Nick Bezhanishvili, editor
"
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest, language and computation, language and logic, and logic and ...
"
Berlin: [, Springer-Verlag], 2012
e20410243
eBooks Universitas Indonesia Library
Daniel Lassiter, editor
"
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. ...
"
Berlin : [Springer-Verlag, ], 2012
e20410419
eBooks Universitas Indonesia Library
Dirk Pattinson, editor
"
his book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras ...
"
Berlin: Springer-Verlag , 2012
e20406358
eBooks Universitas Indonesia Library
Andrew M. Dienstfrey, editor
"
This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections : UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of ...
"
Heidelberg : Springer, 2012
e20406417
eBooks Universitas Indonesia Library
Michael J. Dinneen, editor
"
The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely, algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three ...
"
Berlin: [Springer-Verlag, ], 2012
e20408844
eBooks Universitas Indonesia Library
Florent Domenach, editor
"
This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012. The 20 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 68 submissions. The topics covered in this volume range from recent advances in machine learning and data mining, mining terrorist networks and revealing criminals, concept-based process mining, to scalability issues in FCA and rough ...
"
Berlin: [, Springer-Verlag], 2012
e20409047
eBooks Universitas Indonesia Library
"
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the ...
"
Berlin: Springer-Verlag, 2012
e20409217
eBooks Universitas Indonesia Library
