This book constitutes the refereed proceedings of the 10th International Symposium on Bioinformatics Research and Applications, ISBRA 2014, held in Zhangjiajie, China, in June 2014. The 33 revised full papers and 31 one-page abstracts included in this volume were carefully revie…
This monograph presents recent and original work of the author on inequalities in real, functional and fractional analysis. The chapters are self-contained and can be read independently, they include an extensive list of references per chapter. The book?s results are expected to…
The book contains reproductions of the most important papers that gave birth to the first developments in nonlinear programming. Of particular interest is W. Karush's often quoted Master Thesis, which is published for the first time. The anthology includes an extensive prelimina…
This textbook provides a rigorous introduction to linear algebra in addition to material suitable for a more advanced course while emphasizing the subject?s interactions with other topics in mathematics such as calculus and geometry. A problem-based approach is used to develop t…
This book is focused on the recent advances in computer vision methodologies and technical solutions using conventional and intelligent paradigms. The Contributions include: ℗ʺ℗ ℗ ℗ ℗ ℗ ℗ ℗ ℗ Morphological Image Analysis for Computer Vision Applications. ℗ʺ℗ ℗ ℗ ℗ ℗ ℗ ℗ ℗ Method…
This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were carefully reviewed and selected from 56 submissions. The selected papers c…
by Sebastiani, Roberto, Cimatti, Alessandro, International Conference on Theory and Applications of Satisfiability Testing, SAT, Trento, Italy)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 pos…
This book constitutes the refereed proceedings of the 13th International Workshop on Algorithms in Bioinformatics, WABI 2014, held in Wroclaw, Poland, in September 2014. WABI 2014 was one of seven conferences that were organized as part of ALGO 2014. WABI is an annual conference…
The book is a benefit for graduate and postgraduate students in the areas of operations research, decision theory, optimization theory, linear algebra, interval analysis, and fuzzy sets. The book will also be useful for the researchers in the respective areas. The first part of …
This book describes the theoretical and computational aspects of the mimetic finite difference method for a wide class of multidimensional elliptic problems, which includes diffusion, advection-diffusion, Stokes, elasticity, magnetostatics and plate bending problems. The modern …
"Meshfree methods for the solution of partial differential equations gained much attention in recent years, not only in the engineering but also in the mathematics community. One of the reasons for this development is the fact that meshfree discretizations and particle models ar…
This book contains an evidence-based pedagogic guide to enable any motivated teaching/training professional to be able to teach effectively and creatively. It firstly summarises the extensive research field on human psychological functioning relating to learning and how this can…
This textbook explores both the theoretical foundation of the Finite Volume Method (FVM) and its applications in Computational Fluid Dynamics (CFD). Readers will discover a thorough explanation of the FVM numerics and algorithms used for the simulation of incompressible and com…
