Narrow your search

Library

KU Leuven (27)

Odisee (27)

Thomas More Kempen (27)

Thomas More Mechelen (27)

VIVES (27)

UCLL (25)

ULiège (24)

ULB (22)

UGent (19)

KBC (5)


Resource type

book (27)


Language

English (27)


Year
From To Submit

2020 (5)

2019 (5)

2018 (3)

2017 (3)

2016 (4)

More...
Listing 1 - 10 of 27 << page
of 3
>>
Sort by

Book
Limits of Computation : From a Programming Perspective
Author:
ISBN: 3319278878 3319278894 Year: 2016 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice's Theorem, Kleene's Recursion Theorem, the Church-Turing Thesis, Hierarchy Theorems, and Cook-Levin's Theorem. Each chapter contains classroom-tested material, including examples and exercises. Links between adjacent chapters provide a coherent narrative. Fundamental results are explained lucidly by means of programs written in a simple, high-level imperative programming language, which only requires basic mathematical knowledge. Throughout the book, the impact of the presented results on the entire field of computer science is emphasised. Examples range from program analysis to networking, from database programming to popular games and puzzles. Numerous biographical footnotes about the famous scientists who developed the subject are also included. "Limits of Computation" offers a thorough, yet accessible, introduction to computability and complexity for the computer science student of the 21st century.


Book
Fundamentals of Parameterized Complexity
Authors: ---
ISBN: 1447155580 1447155599 Year: 2013 Publisher: London : Springer London : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The field of parameterized complexity/multivariate complexity algorithmics is an exciting and vibrant part of theoretical computer science, responding to the vital need for efficient algorithms in modern society. This comprehensive and self-contained textbook presents an accessible overview of the state of the art of multivariate algorithmics and complexity. Increasingly, multivariate algorithmics is having significant practical impact in many application domains, with even more developments on the horizon. The text describes how the multivariate framework allows an extended dialog with a problem, enabling the reader who masters the complexity issues under discussion to use the positive and negative toolkits in their own research. Topics and features: Describes many of the standard algorithmic techniques available for establishing parametric tractability Reviews the classical hardness classes Explores the various limitations and relaxations of the methods Showcases the powerful new lower bound techniques Examines various different algorithmic solutions to the same problems, highlighting the insights to be gained from each approach Demonstrates how complexity methods and ideas have evolved over the past 25 years This classroom-tested and easy-to-follow textbook/reference is essential reading for the beginning graduate student and advanced undergraduate student. The book will also serve as an invaluable resource for the general computer scientist and the mathematically-aware scientist seeking tools for their research.


Book
Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
Authors: --- ---
ISBN: 3319724568 331972455X Year: 2018 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book is a tribute to Professor Ian Hugh Sloan on the occasion of his 80th birthday. It consists of nearly 60 articles written by international leaders in a diverse range of areas in contemporary computational mathematics. These papers highlight the impact and many achievements of Professor Sloan in his distinguished academic career. The book also presents state of the art knowledge in many computational fields such as quasi-Monte Carlo and Monte Carlo methods for multivariate integration, multi-level methods, finite element methods, uncertainty quantification, spherical designs and integration on the sphere, approximation and interpolation of multivariate functions, oscillatory integrals, and in general in information-based complexity and tractability, as well as in a range of other topics. The book also tells the life story of the renowned mathematician, family man, colleague and friend, who has been an inspiration to many of us. The reader may especially enjoy the story from the perspective of his family, his wife, his daughter and son, as well as grandchildren, who share their views of Ian. The clear message of the book is that Ian H. Sloan has been a role model in science and life.


Book
Complexity and Approximation : In Memory of Ker-I Ko
Authors: ---
ISBN: 3030416720 3030416712 Year: 2020 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This Festschrift is in honor of Ker-I Ko, Professor in the Stony Brook University, USA. Ker-I Ko was one of the founding fathers of computational complexity over real numbers and analysis. He and Harvey Friedman devised a theoretical model for real number computations by extending the computation of Turing machines. He contributed significantly to advancing the theory of structural complexity, especially on polynomial-time isomorphism, instance complexity, and relativization of polynomial-time hierarchy. Ker-I also made many contributions to approximation algorithm theory of combinatorial optimization problems. This volume contains 17 contributions in the area of complexity and approximation. Those articles are authored by researchers over the world, including North America, Europe and Asia. Most of them are co-authors, colleagues, friends, and students of Ker-I Ko.


Book
Generalized Rough Sets : Hybrid Structure and Applications
Author:
ISBN: 9788132224587 8132224574 9788132224570 8132224582 Year: 2015 Publisher: New Delhi : Springer India : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The book introduces the concept of “generalized interval valued intuitionistic fuzzy soft sets”. It presents the basic properties of these sets and also, investigates an application of generalized interval valued intuitionistic fuzzy soft sets in decision making with respect to interval of degree of preference. The concept of “interval valued intuitionistic fuzzy soft rough sets” is discussed and interval valued intuitionistic fuzzy soft rough set based multi criteria group decision making scheme is presented, which refines the primary evaluation of the whole expert group and enables us to select the optimal object in a most reliable manner. The book also details concept of interval valued intuitionistic fuzzy sets of type 2. It presents the basic properties of these sets. The book also introduces the concept of “interval valued intuitionistic fuzzy soft topological space (IVIFS topological space)” together with intuitionistic fuzzy soft open sets (IVIFS open sets) and intuitionistic fuzzy soft closed sets (IVIFS closed sets).


Book
Mathematical Models, Methods and Applications
Authors: --- ---
ISBN: 9812879714 9812879730 Year: 2015 Publisher: Singapore : Springer Singapore : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The present volume contains invited talks of 11th biennial conference on “Emerging Mathematical Methods, Models and Algorithms for Science and Technology”. The main message of the book is that mathematics has a great potential to analyse and understand the challenging problems of nanotechnology, biotechnology, medical science, oil industry and financial technology. The book highlights all the features and main theme discussed in the conference. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world.


Book
Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations
Authors: ---
ISBN: 9811090041 9811090033 Year: 2018 Publisher: Singapore : Springer Singapore : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The main theme of this book is recent progress in structure-preserving algorithms for solving initial value problems of oscillatory differential equations arising in a variety of research areas, such as astronomy, theoretical physics, electronics, quantum mechanics and engineering. It systematically describes the latest advances in the development of structure-preserving integrators for oscillatory differential equations, such as structure-preserving exponential integrators, functionally fitted energy-preserving integrators, exponential Fourier collocation methods, trigonometric collocation methods, and symmetric and arbitrarily high-order time-stepping methods. Most of the material presented here is drawn from the recent literature. Theoretical analysis of the newly developed schemes shows their advantages in the context of structure preservation. All the new methods introduced in this book are proven to be highly effective compared with the well-known codes in the scientific literature. This book also addresses challenging problems at the forefront of modern numerical analysis and presents a wide range of modern tools and techniques.


Book
The Developments and the Applications of the Numerical Algorithms in Simulating the Incompressible Magnetohydrodynamics with Complex Boundaries and Free Surfaces
Author:
ISBN: 9811063400 9811063397 Year: 2019 Publisher: Singapore : Springer Singapore : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This thesis presents an accurate and advanced numerical methodology to remedy difficulties such as direct numerical simulation of magnetohydrodynamic (MHD) flow in computational fluid dynamics (CFD), grid generation processes in tokamak fusion facilities, and the coupling between the surface tension force and Lorentz force in the metallurgical industry. In addition, on the basis of the numerical platform it establishes, it also investigates selected interesting topics, e.g. single bubble motion under the influence of either vertical or horizontal magnetic fields. Furthermore, it confirms the relation between the bubble’s path instability and wake instability, and observes the anisotropic (isotropic) effect of the vertical (horizontal) magnetic field on the vortex structures, which determines the dynamic behavior of the rising bubble. The direct numerical simulation of magnetohydrodynamic (MHD) flows has proven difficult in the field of computational fluid dynamic (CFD) research, because it not only concerns the coupling of the equations governing the electromagnetic field and the fluid motion, but also calls for suitable numerical methods for computing the electromagnetic field. In tokamak fusion facilities, where the MHD effect is significant and the flow domain is complex, the process of grid generation requires considerable time and effort. Moreover, in the metallurgical industry, where multiphase MHD flows are usually encountered, the coupling between the surface tension force and Lorentz force adds to the difficulty of deriving direct numerical simulations.


Book
New Developments and Advances in Robot Control
Authors: --- ---
ISBN: 9811322120 9811322112 Year: 2019 Publisher: Singapore : Springer Singapore : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book highlights relevant studies and applications in the area of robotics, which reflect the latest research, from interdisciplinary theoretical studies and computational algorithm development, to representative applications. It presents chapters on advanced control, such as fuzzy, neural, backstepping, sliding mode, adaptive, predictive, diagnosis and fault tolerant control etc. and addresses topics including cloud robotics, cable-driven robots, two-wheeled robots, mobile robots, swarm robots, hybrid vehicle, and drones. Each chapter employs a uniform structure: background, motivation, quantitative development (equations), case studies/illustration/tutorial (simulations, experiences, curves, tables, etc.), allowing readers to easily tailor the techniques to their own applications.


Book
Generalized network improvement and packing problems
Author:
ISBN: 9783658168124 Year: 2016 Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Michael Holzhauser discusses generalizations of well-known network flow and packing problems by additional or modified side constraints. By exploiting the inherent connection between the two problem classes, the author investigates the complexity and approximability of several novel network flow and packing problems and presents combinatorial solution and approximation algorithms. Contents Fractional Packing and Parametric Search Frameworks Budget-Constrained Minimum Cost Flows: The Continuous Case Budget-Constrained Minimum Cost Flows: The Discrete Case Generalized Processing Networks Convex Generalized Flows Target Groups Researchers and students in the fields of mathematics, computer science, and economics Practitioners in operations research and logistics The Author Dr. Michael Holzhauser studied computer science at the University of Kaiserslautern and is now a research fellow in the Optimization Research Group at the Department of Mathematics of the University of Kaiserslautern.

Listing 1 - 10 of 27 << page
of 3
>>
Sort by