Search results for “[Subject: programming-algorithms]”

• Author(s): Friedrich Neurauter • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralThis book is concerned with the presentation of a general translation of term rewrite systems to logic prog...

• Author(s): Nils Klimanis • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralTwo topics are in the focus of this book: the generic construction of versatile data structures for numerical lin...

• Author(s): Daniel Wagner • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceIn this book a generic library of efficient metaheuristics for combi-natorial optimization is presented....

• Author(s): Chao Liu • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralRecent years have seen great advances in software engineering and programming languages, but unfortunately, software i...

• Author(s): Martin Nechtelberger • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralA complex and demanding task in control theory is the optimization of the behaviour of systems. But what d...

• Author(s): Fabien Gouyon • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Information TechnologyThis book is about musical rhythm. More precisely, it is concerned with computer programs that aut...

• Author(s): Arndt Mühlenfeld • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceMulti-threaded programs are becoming more common in order to exploit the additional processing power ...

• Author(s): Peter Bohrer • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Business MathematicsThe globalization of trade has lead to an enormous growth in sea transportation over the last years. ...

• Author(s): Ivan Rankenburg • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Physics - GeneralA powerful new search algorithm, the difference map, has had notable success in many fields that invo...

• Author(s): Andreas Wotzlaw • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralA bank of parallel machines is an important setting in computer science. When dealing with parallel machines, t...

• Author(s): Sebastian Dörn • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Algebra - GeneralQuantum computing is an exciting new area between computer science and quantum physics. The computatio...

• Author(s): Bingwen Lu • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Chemistry - GeneralTandem mass spectrometry has emerged to be one of the most powerful techniques for proteomics study. We ...

• Author(s): Mohamed Abdel Maksoud • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralStatic methods are very successful in deriving crucial properties (e.g.timing behaviour) of safety critic...

• Author(s): Igor Böhm • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceBuilding compiler back ends from declarative specifications that map tree structured intermediate representa...

• Author(s): Bernd Burgstaller | Bernhard Scholz | Johann Blieberger • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralStatic program analysis aims to determine the dynamic behavior of progr...

• Author(s): Heni Ben Amor • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralExploration vs. exploitation is a well known issue in Evolutionary Algorithms. Accordingly, an unbalanced search ...

• Author(s): Alexander Hall • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Networking - GeneralRecently the number of applications in the Internet which use data broad-casts, such as pay-per-vie...

• Author(s): Roman Schindlauer • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralThe idea behind the Semantic Web is to add machine-readable meaning to Web pages, enabling the automated inte...

• Author(s): Dominik Schultes • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralThe continuously increasing demand for mobility more and more frequently asks for the best driving directions ...

• Author(s): Xiaoli Tang • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralHyperspectral imaging is a powerful technique and has been used in a large number of applications. However, it gene...

• Author(s): Yingjie Hu • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: BioinformaticsConsistency modeling for gene selection is a new topic emerging from recent cancer bioinformatics research. T...

• Author(s): Michael Felderer • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceThe integration of knowledge bases in classical first-order logic (and in particular of ontologies in...

• Author(s): Joachim Lepping • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: ElectricityIn this book, we present novel methodologies for automatically generating online scheduling strategies with...

• Author(s): Hung V. Nguyen • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceThis book introduces the problem of content-based query replacement. It motivates the term correlation ...

• Author(s): Jan Wloka • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Programming - GeneralAspect-oriented programming (AOP) offers a new concept for improving the modularity of crosscutting con...

• Author(s): Jella Pfeiffer • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceWith the rapid diffusion of the internet, different kinds of market designs for e-commerce have emerged...

• Author(s): Maxim Mozgovoy • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralThis work is dedicated to the problem of computer- aided plagiarism detection, i.e. to the development and the u...

• Author(s): Lajos Nagy • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Computer ScienceThe overarching goal of the current book is to pave the road towards a comprehensive solution to the decade...

• Author(s): László Szirmay-Kalos • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Information TechnologyThis book discusses Monte Carlo algorithms and their application to solve the global illumi...

• Author(s): Praveen Paruchuri | Jonathan P. Pearce | Milind Tambe • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: Public Policy - GeneralThis book is devoted to the development of efficient algo...

• Author(s): John Crabtree • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: GeneralModeling chemical reactions and mechanisms can be of great benefit to the chemical process industry. A typical ch...

• Author(s): Lovekesh Vig • Publisher: VDM Verlag Dr. Mueller E.K. • Publisher Imprint: VDM Verlag Dr. Mueller E.K. • BISAC: RoboticsAs the community strives towards more autonomous multi-robot systems, the complexity of actions expected from a m...