Informatik (15.821 Artikel)

This volume constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, in November 2008. The 106 revised full papers presented were carefully ...

Optimal Control, Stabilization and Nonsmooth Analysis

Advanced computational methods are often employed for the solution of modelling and decision-making problems. This book addresses issues associated with the interface of computing, optimisation, ec...

Organic Computing has emerged as a challenging vision for future information processing systems. Its basis is the insight that we will increasingly be surrounded by and depend on large collections ...

The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is one of the preeminent international conferences on artificial intelligence (AI). PRICAI 2008 ( was the tenth in this ...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, PPAM 2007, held in Gdansk, Poland, in S...

Foundation of logic historically dates back to the times of Aristotle, who pioneered the concept of truth/falsehood paradigm in reasoning. Mathematical logic of propositions and predicates, which a...

There has been considerable interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in the works of Rotem, Rogers, and Knuth in the 1970...

There has been considerable interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in the works of Rotem, Rogers, and Knuth in the 1970...

Applications to Music Information Retrieval and Psychophysiology of Hearing

Preferences and Similarities

Preferences and Similarities

26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings

Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)

17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5-8, 2020, Revised Selected Papers