Springer
Algorithms from and for Nature and Life
This volume provides approaches and solutions to challenges occurring at the interface of research fields such as, e.g., data analysis, data mining and knowledge discovery, computer science, operations research, and statistics. In addition to theory-oriented contributions various application areas are included. Moreover, traditional classification research directions concerning network data, graphs, and social relationships as well as statistical musicology describe examples for current interest fields tackled by the authors. The book comprises a total of 55 selected papers presented at the Joint Conference of the German Classification Society (GfKl), the German Association for Pattern Recognition (DAGM), and the Symposium of the International Federation of Classification Societies (IFCS) in 2011. ...
This volume provides approaches and solutions to challenges occurring at the interface of research fields such as, e.g., data analysis, data mining and knowledge discovery, computer science, operations research, and statistics. In addition to theory-oriented contributions various application areas are included. Moreover, traditional classification research directions concerning network data, graphs, and social relationships as well as statistical musicology describe examples for current interest fields tackled by the authors. The book comprises a total of 55 selected papers presented at the Joint Conference of the German Classification Society (GfKl), the German Association for Pattern Recognition (DAGM), and the Symposium of the International Federation of Classification Societies (IFCS) in 2011. ...
Transactions on Petri Nets and Other Models of Concurrency VIII
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research. ...
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research. ...
Data Management in Cloud, Grid and P2P Systems
This book constitutes the refereed proceedings of the 6th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2013, held in Prague, Czech Republic, in August 2013 in conjunction with DEXA 2013. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The papers are organized in the following topical sections: data partitioning and consistency; RDF data publishing, querying linked data, and applications; and distributed storage systems and virtualization. ...
This book constitutes the refereed proceedings of the 6th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2013, held in Prague, Czech Republic, in August 2013 in conjunction with DEXA 2013. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The papers are organized in the following topical sections: data partitioning and consistency; RDF data publishing, querying linked data, and applications; and distributed storage systems and virtualization. ...
Calculus for Computer Graphics
Students studying computer animation and computer games have to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces, and as computer graphics software becomes increasingly sophisticated, calculus is also being used to resolve its associated problems. The author draws upon his experience in teaching mathematics to undergraduates to make calculus appear no more challenging than any other branch of mathematics. He introduces the subject by examining how functions depend upon their independent variables, and then derives the appropriate mathematical underpinning and definitions. This gives rise to a function's derivative and its antiderivative, or integral. ...
Students studying computer animation and computer games have to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces, and as computer graphics software becomes increasingly sophisticated, calculus is also being used to resolve its associated problems. The author draws upon his experience in teaching mathematics to undergraduates to make calculus appear no more challenging than any other branch of mathematics. He introduces the subject by examining how functions depend upon their independent variables, and then derives the appropriate mathematical underpinning and definitions. This gives rise to a function's derivative and its antiderivative, or integral. ...
Unifying Theories of Programming and Formal Engineering Methods
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming. ...
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming. ...
Agent-Oriented Software Engineering XIII
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies. ...
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies. ...
Programming Logics
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology. ...
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology. ...
Advanced Network Programming - Principles and Techniques
The field of network programming is so large, and developing so rapidly, that it can appear almost overwhelming to those new to the discipline. Answering the need for an accessible overview of the field, this text/reference presents a manageable introduction to both the theoretical and practical aspects of computer networks and network programming. Clearly structured and easy to follow, the book describes cutting-edge developments in network architectures, communication protocols, and programming techniques and models, supported by code examples for hands-on practice with creating network-based applications. ...
The field of network programming is so large, and developing so rapidly, that it can appear almost overwhelming to those new to the discipline. Answering the need for an accessible overview of the field, this text/reference presents a manageable introduction to both the theoretical and practical aspects of computer networks and network programming. Clearly structured and easy to follow, the book describes cutting-edge developments in network architectures, communication protocols, and programming techniques and models, supported by code examples for hands-on practice with creating network-based applications. ...
Nostradamus 2013
Prediction of behavior of the dynamical systems, analysis and modeling of its structure is vitally important problem in engineering, economy and science today. Examples of such systems can be seen in the world around us and of course in almost every scientific discipline including such “exotic” domains like the earth's atmosphere, turbulent fluids, economies (exchange rate and stock markets), population growth, physics (control of plasma), information flow in social networks and its dynamics, chemistry and complex networks. To understand such dynamics and to use it in research or industrial applications, it is important to create its models. For this purpose there is rich spectra of methods, from classical like ARMA models or Box Jenkins method to such modern ones like evolutionary computation, neural networks, fuzzy logic, fractal geometry, deterministic chaos and more. ...
Prediction of behavior of the dynamical systems, analysis and modeling of its structure is vitally important problem in engineering, economy and science today. Examples of such systems can be seen in the world around us and of course in almost every scientific discipline including such “exotic” domains like the earth's atmosphere, turbulent fluids, economies (exchange rate and stock markets), population growth, physics (control of plasma), information flow in social networks and its dynamics, chemistry and complex networks. To understand such dynamics and to use it in research or industrial applications, it is important to create its models. For this purpose there is rich spectra of methods, from classical like ARMA models or Box Jenkins method to such modern ones like evolutionary computation, neural networks, fuzzy logic, fractal geometry, deterministic chaos and more. ...
SystemVerilog Assertions and Functional Coverage
This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question have we functionally verified everything. ...
This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question have we functionally verified everything. ...
Computer Security - ESORICS 2013
This book constitutes the refereed proceedings of the 18th European Symposium on Computer Security, ESORICS 2013, held in Egham, UK, in September 2013. The 43 papers included in the book were carefully reviewed and selected from 242 papers. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together researchers in this area, by promoting the exchange of ideas with system developers and by encouraging links with researchers in related areas. The papers cover all topics related to security, privacy and trust in computer systems and networks. ...
This book constitutes the refereed proceedings of the 18th European Symposium on Computer Security, ESORICS 2013, held in Egham, UK, in September 2013. The 43 papers included in the book were carefully reviewed and selected from 242 papers. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together researchers in this area, by promoting the exchange of ideas with system developers and by encouraging links with researchers in related areas. The papers cover all topics related to security, privacy and trust in computer systems and networks. ...