Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."

"This book constitutes the proceedings of the Third International Conference of the CLEF Initiative, CLEF 2012, held in Rome, Italy, in September 2012. The 14 papers and 3 poster abstracts presented were carefully reviewed and selected for inclusion in this volume. Furthermore, the books contains 2 keynote papers. The papers are organized in topical sections named, benchmarking and evaluation initiatives, information access, and evaluation methodologies and infrastructure."

"This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits."

"This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters presented together with the summaries of 3 invited papers were carefully reviewed and selected from 62 submissions. The papers cover the analysis of biological systems, networks, and data ranging from intercellular to multiscale. Topics included high-performance computing, and for the first time papers on synthetic biology."

"This book constitutes the refereed proceedings of the 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2012, held in Cambgridge, UK, in April 2012. The 41 papers, presented together with 2 invited talks, were carefully reviewed and selected from 195 submissions. The papers are organized in topical sections on index calculus, symmetric constructions, secure computation, protocols, lossy trapdoor functions, tools, symmetric cryptanalysis, fully homomorphic encryption, asymmetric cryptanalysis, efficient reductions, public-key schemes, security models, and lattices."

"The 13 revised full papers presented together with 26 extended abstracts were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in disciplines related to genetic and epigenetic networks, transcriptomics and gene regulation, signalling pathways and responses, protein structure and metabolic networks, patterning and rhythm generation, neural modelling and neural networks, biomedical modelling and signal processing, information processing and representation, and algorithmic approaches in computational biology."

"This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis, qualitative and timed systems, behavioural equivalences, temporal logics, session types, abstraction, mobility and space in process algebras, stochastic systems, probabilistic systems, Petri nets and non-sequential semantics, verification, and decidability."

"This book constitutes the refereed proceedings of the 13th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, CMS 2012, held in Canterbury, UK, in September 2012. The 6 revised full papers presented together with 8 short papers, 8 extended abstracts describing the posters that were discussed at the conference, and 2 keynote talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on image and handwriting analysis, authentication and performance, biometrics, forensics and watermarking, and communications security."

"This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2012, held in Warsaw, Poland, in September 2012. The 89 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on computer graphics, computer vision and visual surveillance."