Boolean Function Complexity

Advances and Frontiers

Author: Stasys Jukna

Publisher: Springer Science & Business Media

ISBN: 3642245080

Category: Mathematics

Page: 620

View: 1627

Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering many of the gems of this “complexity Waterloo” that have been discovered over the past several decades, right up to results from the last year or two. Many open problems, marked as Research Problems, are mentioned along the way. The problems are mainly of combinatorial flavor but their solutions could have great consequences in circuit complexity and computer science. The book will be of interest to graduate students and researchers in the fields of computer science and discrete mathematics.

Advances in Network Complexity

Author: Matthias Dehmer,Abbe Mowshowitz,Frank Emmert-Streib

Publisher: John Wiley & Sons

ISBN: 3527670483

Category: Medical

Page: 308

View: 4230

A well-balanced overview of mathematical approaches to complex systems ranging from applications in chemistry and ecology to basic research questions on network complexity. Matthias Dehmer, Abbe Mowshowitz, and Frank Emmert-Streib, well-known pioneers in the fi eld, have edited this volume with a view to balancing classical and modern approaches to ensure broad coverage of contemporary research problems. The book is a valuable addition to the literature and a must-have for anyone dealing with network compleaity and complexity issues.

Computing and Combinatorics

20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Author: Zhipeng Cai,Alexander Zelikovsky,Anu Bourgeois

Publisher: Springer

ISBN: 3319087835

Category: Computers

Page: 692

View: 8776

This book constitutes the refereed proceedings of the 20th International Conference on Computing and Combinatorics, COCOON 2014, held in Atlanta, GA, USA, in August 2014. The 51 revised full papers presented were carefully reviewed and selected from 110 submissions. There was a co-organized workshop on computational social networks (CSoNet 2014) where 8 papers were accepted. The papers cover the following topics: sampling and randomized methods; logic, algebra and automata; database and data structures; parameterized complexity and algorithms; computational complexity; computational biology and computational geometry; approximation algorithm; graph theory and algorithms; game theory and cryptography; scheduling algorithms and circuit complexity and CSoNet.

Fundamentals of Computation Theory

20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Author: Adrian Kosowski,Igor Walukiewicz

Publisher: Springer

ISBN: 3319221779

Category: Computers

Page: 395

View: 3305

This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games.

Descriptional Complexity of Formal Systems

16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Author: Helmut Jürgensen,Juhani Karhumäki,Alexander Okhotin

Publisher: Springer

ISBN: 3319097040

Category: Computers

Page: 366

View: 9034

This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctness of description of objects, state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; complexity aspects of combinatorics on words; Kolmogorov complexity.

Algorithmen und Datenstrukturen im VLSI-Design

OBDD — Grundlagen und Anwendungen

Author: Christoph Meinel,Thorsten Theobald

Publisher: Springer-Verlag

ISBN: 3642587739

Category: Computers

Page: 286

View: 4446

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.

Methoden der Computeranimation

Author: Dietmar Jackèl,Stephan Neunreither,Friedrich Wagner

Publisher: Springer-Verlag

ISBN: 3540334076

Category: Computers

Page: 374

View: 2912

Das Buch richtet sich an eine Leserschaft, die bereits Grundkenntnisse in der Computergrafik hat. Vorwiegend ist hierbei an Studenten der Informatik gedacht, die bereits eine Computeranimationsvorlesung belegt haben oder die ein vertieftes Interesse an diesem Gebiet besitzen. Neben einem Überblick über die relevanten Themen der Computeranimation wurde ein besonderes Schwergewicht auf die physikalisch-basierten Animationsmethoden gelegt. Zum einfacheren Verständnis, speziell der physikalisch-basierten Methoden, sind allerdings Grundkenntnisse in der Physik sowie in der Analysis sehr hilfreich. Das Buch zeichnet sich im Besonderen dadurch aus, dass es auch exemplarisch wichtige Details einiger Animationsmethoden behandelt, die deren Implementierungen erleichtern.

The Second Machine Age

Wie die nächste digitale Revolution unser aller Leben verändern wird

Author: Erik Brynjolfsson,Andrew McAfee

Publisher: Plassen Verlag

ISBN: 3864702224

Category: Political Science

Page: 368

View: 6585

Computer sind mittlerweile so intelligent geworden, dass die nächste industrielle Revolution unmittelbar bevorsteht. Wer profitiert, wer verliert? Antworten auf diese Fragen bietet das neue Buch der Technologie-Profis Erik Brynjolfsson und Andrew McAfee. Seit Jahren arbeiten wir mit Computern - und Computer für uns. Mittlerweile sind die Maschinen so intelligent geworden, dass sie zu Leistungen fähig sind, die vor Kurzem noch undenkbar waren: Sie fahren Auto, sie schreiben eigene Texte - und sie besiegen Großmeister im Schach. Dieser Entwicklungssprung ist nur der Anfang. In ihrem neuen Buch zeigen zwei renommierte Professoren, welch atemberaubende Entwicklungen uns noch bevorstehen: Die zweite industrielle Revolution kommt! Welche Auswirkungen wird das haben? Welche Chancen winken, welche Risiken drohen? Was geschieht dabei mit den Menschen, was mit der Umwelt? Und was werden Gesellschaft und Politik tun, um die Auswirkungen dieser "neuen digitalen Intelligenz" für alle bestmöglich zu gestalten? Dieses Buch nimmt Sie mit auf eine Reise in eine Zukunft, die schon längst begonnen hat.

Untersuchungen über höhere Arithmetik

Author: Carl Friedrich Gauss

Publisher: American Mathematical Soc.

ISBN: 0821842137

Category: Mathematics

Page: 695

View: 6128

In this volume are included all of Gauss's number-theoretic works: his masterpiece, Disquisitiones Arithmeticae, published when Gauss was only 25 years old; several papers published during the ensuing 31 years; and papers taken from material found in Gauss's handwriting after his death. These papers include a fourth, fifth, and sixth proof of the Quadratic Reciprocity Law, researches on biquadratic residues, quadratic forms, and other topics. This reprint of the German translation from Latin of the second edition published in 1889 includes an extensive appendix and concludes with a commentary on the papers (with references, where appropriate, to the relevant pages of the Disquisitiones).

Algorithmen - Eine Einführung

Author: Thomas H. Cormen,Charles E. Leiserson,Ronald Rivest,Clifford Stein

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110522012

Category: Computers

Page: 1339

View: 7806

Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Fünf Minuten Mathematik

100 Beiträge der Mathematik-Kolumne der Zeitung Die Welt

Author: Ehrhard Behrends

Publisher: Springer-Verlag

ISBN: 9783834800824

Category:

Page: 256

View: 3417

Algorithmen für Dummies

Author: John Paul Mueller,Luca Massaron

Publisher: John Wiley & Sons

ISBN: 3527809775

Category: Computers

Page: 320

View: 1190

Wir leben in einer algorithmenbestimmten Welt. Deshalb lohnt es sich zu verstehen, wie Algorithmen arbeiten. Das Buch präsentiert die wichtigsten Anwendungsgebiete für Algorithmen: Optimierung, Sortiervorgänge, Graphentheorie, Textanalyse, Hashfunktionen. Zu jedem Algorithmus werden jeweils Hintergrundwissen und praktische Grundlagen vermittelt sowie Beispiele für aktuelle Anwendungen gegeben. Für interessierte Leser gibt es Umsetzungen in Python, sodass die Algorithmen auch verändert und die Auswirkungen der Veränderungen beobachtet werden können. Dieses Buch richtet sich an Menschen, die an Algorithmen interessiert sind, ohne eine Doktorarbeit zu dem Thema schreiben zu wollen. Wer es gelesen hat, versteht, wie wichtige Algorithmen arbeiten und wie man von dieser Arbeit beispielsweise bei der Entwicklung von Unternehmensstrategien profitieren kann.

Informationssysteme in der Finanzwirtschaft

Author: Christof Weinhardt,Hermann Meyer zu Selhausen,Martin Morlock

Publisher: Springer-Verlag

ISBN: 3642603270

Category: Business & Economics

Page: 517

View: 704

Dieses Buch behandelt an der Schnittstelle von Informationstechnik und Finanzwirtschaft Konzepte und Wege, wie das Potential neuer Medien und neuer Informationstechnologien durch Finanzdienstleister zielgerichtet genutzt werden kann. In den Abschnitten "Virtuelle Geschäftskonzepte und Finanzdienstleistungen im Internet", "Börsen, Handelssysteme und Elektronische Märkte", "Ertrags- und Risikomanagement in Banken, Versicherungen und Industrie" wird anhand von Fallbeispielen und empirischen Studien der aktuelle Stand der Technik referiert und gezeigt, wie diese technischen Möglichkeiten in Zeiten von Globalisierung, Harmonisierung und Firmenzusammenschlüssen von der Finanzwirtschaft erfolgreich umgesetzt werden können.

Selbstorganisation chemischer Strukturen

Arbeiten von Friedlieb Ferdinand Runge, Raphael Eduard Liesegang, Boris Pavlovich Belousov und Anatol Markovich Zhabotinsky

Author: Uwe Niedersen

Publisher: N.A

ISBN: N.A

Category: Chemical structure

Page: 112

View: 5044

Das Geschlecht in der Biologie

Aufforderung zu einem Perspektivwechsel

Author: Mechthild Koreuber,Birthe Aßmann

Publisher: Nomos Verlag

ISBN: 3845239433

Category: Social Science

Page: 342

View: 6435

Geschlechterforschung in und zur Biologie ist notwendiger denn je, um naturalistischen Vorstellungen über Geschlechterdifferenz und Geschlechterverhältnisse entgegenzutreten und die Fragwürdigkeit von Positionen aufzuzeigen, die glauben, sich auf biologische Erkenntnisse beziehen zu können. Dieser Sammelband beleuchtet das Thema Geschlecht in der Biologie aus unterschiedlichen Perspektiven und liefert konkrete Beispiele.

Semimodular Lattices

Author: N.A

Publisher: Springer-Verlag

ISBN: 3663124789

Category: Technology & Engineering

Page: 237

View: 1582

Programmieren mit Ruby

Author: David Thomas,Andrew Hunt

Publisher: Pearson Deutschland GmbH

ISBN: 9783827319654

Category:

Page: 681

View: 8615

Anschauliche Geometrie

Author: David Hilbert,Stephan Cohn-Vossen

Publisher: Springer-Verlag

ISBN: 3642199488

Category: Mathematics

Page: 364

View: 890

1932 erstmals erschienen, hat der Klassiker der Geometrie bis heute nichts von seiner Frische und Kraft eingebüßt. Die weltbekannten Autoren stellen in dem Band zugrundeliegende Leitmotive und verblüffende Zusammenhänge in der Geometrie verständlich dar. David Hilbert, dessen Ziel es war, die Faszination der Geometrie zu vermitteln, schrieb im Vorwort: „Das Buch soll dazu dienen, die Freude an der Mathematik zu mehren, indem es dem Leser erleichtert, in das Wesen der Mathematik einzudringen, ohne sich einem beschwerlichen Studium zu unterziehen".

Deskriptive Statistik

Eine Einführung in Methoden und Anwendungen mit R und SPSS

Author: Helge Toutenburg,Christian Heumann

Publisher: Springer-Verlag

ISBN: 3540777881

Category: Business & Economics

Page: 392

View: 896

Die Statistik gilt als schwieriges Feld, auch wenn statistische Verfahren in vielen Bereichen, in der Wirtschaft aber auch in den Natur- und Sozialwissenschaften eingesetzt werden. Das Buch liefert eine didaktisch ausgefeilte und anwendungsbezogene Einführung in die Methoden der deskriptiven Statistik und Datenanalyse. Das Buch deckt den Stoff Statistik I an deutschsprachigen Universitäten vollständig ab. Neu in dieser Auflage ist der Einsatz des statistischen Softwarepaketes R. Des Weiteren wurde die Einführung in SPSS überarbeitet und ergänzt.