Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author: Mikołaj Bojańczyk
Publisher: Springer
ISBN: 3030171272
Category:
Page: N.A
View: 916

Continue Reading →

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Author: Christel Baier,Ugo Dal Lago
Publisher: Springer
ISBN: 3319893661
Category: Computers
Page: 583
View: 1646

Continue Reading →

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author: Luís Caires
Publisher: Springer
ISBN: 3030171841
Category:
Page: N.A
View: 8877

Continue Reading →

Artificial Intelligence for the Internet of Everything


Author: William Lawless,Ranjeev Mittu,Donald Sofge,Ira S Moskowitz,Stephen Russell
Publisher: Academic Press
ISBN: 0128176377
Category: Computers
Page: 303
View: 7788

Continue Reading →

Artificial Intelligence for the Internet of Everything considers the foundations, metrics and applications of IoE systems. It covers whether devices and IoE systems should speak only to each other, to humans or to both. Further, the book explores how IoE systems affect targeted audiences (researchers, machines, robots, users) and society, as well as future ecosystems. It examines the meaning, value and effect that IoT has had and may have on ordinary life, in business, on the battlefield, and with the rise of intelligent and autonomous systems. Based on an artificial intelligence (AI) perspective, this book addresses how IoE affects sensing, perception, cognition and behavior. Each chapter addresses practical, measurement, theoretical and research questions about how these “things may affect individuals, teams, society or each other. Of particular focus is what may happen when these “things begin to reason, communicate and act autonomously on their own, whether independently or interdependently with other “things . Considers the foundations, metrics and applications of IoE systems Debates whether IoE systems should speak to humans and each other Explores how IoE systems affect targeted audiences and society Discusses theoretical IoT ecosystem models

Bernhard Riemann 1826–1866

Wendepunkte in der Auffassung der Mathematik
Author: Detlef Laugwitz
Publisher: Springer-Verlag
ISBN: 3034889836
Category: Mathematics
Page: 348
View: 4273

Continue Reading →

Das Riemannsche Integral lernen schon die Schüler kennen, die Theorien der reellen und der komplexen Funktionen bauen auf wichtigen Begriffsbildungen und Sätzen Riemanns auf, die Riemannsche Geometrie ist für Einsteins Gravitationstheorie und ihre Erweiterungen unentbehrlich, und in der Zahlentheorie ist die berühmte Riemannsche Vermutung noch immer offen. Riemann und sein um fünf Jahre jüngerer Freund Richard Dedekind sahen sich als Schüler von Gauss und Dirichlet. Um die Mitte des 19. Jahrhunderts leiteten sie den Übergang zur "modernen Mathematik" ein, der eine in Analysis und Geometrie, der andere in der Algebra mit der Hinwendung zu Mengen und Strukturen. Dieses Buch ist der erste Versuch, Riemanns wissenschaftliches Werk unter einem einheitlichen Gesichtspunkt zusammenzufassend darzustellen. Riemann gilt als einer der Philosophen unter den Mathematikern. Er stellte das Denken in Begriffen neben die zuvor vorherrschende algorithmische Auffassung von der Mathematik, welche die Gegenstände der Untersuchung, in Formeln und Figuren, in Termumformungen und regelhaften Konstruktionen als die allein legitimen Methoden sah. David Hilbert hat als Riemanns Grundsatz herausgestellt, die Beweise nicht durch Rechnung, sondern lediglich durch Gedanken zu zwingen. Hermann Weyl sah als das Prinzip Riemanns in Mathematik und Physik, "die Welt als das erkenntnistheoretische Motiv..., die Welt aus ihrem Verhalten im un- endlich kleinen zu verstehen."

Logische Untersuchungen


Author: Gottlob Frege,Günther Patzig
Publisher: Vandenhoeck & Ruprecht
ISBN: 9783525340318
Category: History
Page: 172
View: 8544

Continue Reading →

1089 oder das Wunder der Zahlen

eine Reise in die Welt der Mathematik
Author: David J. Acheson
Publisher: N.A
ISBN: 9783866470200
Category:
Page: 189
View: 5715

Continue Reading →

Das Buch beginnt mit einem alten Zaubertrick - Man nehme eine 3-stellige Zahl, etwa 782, kehre sie um, ziehe die kleinere von der größeren ab und addiere dazu die Umkehrung. Also - 782 - 287 = 495, dann 495 + 594. Und schon ist man mitten in der Wunderwelt der Mathematik, denn das Ergebnis ist immer - 1089. Mit solchen und vielen weiteren Beispielen aus Alltag, Geschichte und Wissenschaft gelingt es David Acheson, die faszinierende Welt der Mathematik zu erschließen - ein geistreicher Überblick, eine für jeden verständliche Einführung.

Spectral Synthesis


Author: John J. Benedetto
Publisher: Springer-Verlag
ISBN: 3322966615
Category: Technology & Engineering
Page: 281
View: 9472

Continue Reading →

Pi

Algorithmen, Computer, Arithmetik
Author: Jörg Arndt,Christoph Haenel
Publisher: Springer-Verlag
ISBN: 366209360X
Category: Computers
Page: 264
View: 8507

Continue Reading →

Embedded Intelligent Systems


Author: Peter Nauth
Publisher: Walter de Gruyter
ISBN: 3486593285
Category: Technology & Engineering
Page: 208
View: 2828

Continue Reading →

Das Buch vermittelt Kenntnisse zur Technologie und dem Design von Embedded Intelligent Systems. Dazu werden neben der Kernproblematik von Embedded Intelligent Systems (Architektur, Eigenschaften und Leistungsmerkmale verschiedener Mikrocontroller, Peripherieankopplung, Programmierung in Assembler und C) auch Embedded Intelligence Algorithmen zur Signalauswertung (z.B. Mustererkennungsverfahren) näher erläutert. Beispiele zur Entwicklung von intelligenten embedded Sensoren (Spracherkennung, Smart Sensors, integrierte Abstandswarnsysteme, intelligente Kameras) vertiefen die Theorie und beschreiben Managementmethoden bei der Entwicklung kompletter Embedded Intelligent Systems. Erläuternde Beispiele sowie zahlreiche Übungsbeispiele zur Programmierung eines Prozessors veranschaulichen den Aufbau und die Theorie der Embedded Intelligent Systems. Viele dieser Beispiele finden sich auf der CD zum Lehrbuch.

Agilität durch ARIS Geschäftsprozessmanagement

Jahrbuch Business Process Excellence 2006/2007
Author: August-Wilhelm Scheer,Helmut Kruppke,Wolfram Jost,Herbert Kindermann
Publisher: Springer Science & Business Media
ISBN: 3540333584
Category: Business & Economics
Page: 293
View: 7819

Continue Reading →

Geschäftsprozesse optimieren: Die IDS Scheer AG, führendes IT- und Beratungshaus, steht für einen ganzheitlichen Ansatz. Geschäftsprozessmanagement versteht sie als betriebswirtschaftlich motivierten Zyklus von Strategie über Design und Implementierung bis hin zum Controlling. Das Buch widmet sich dieser Theorie und Praxis aus technischer wie aus betriebswirtschaftlicher Sicht. Wertvolle Anregung für Unternehmen mit zahlreichen Fallbeispielen.

Mathematisches Denken

Vom Vergnügen am Umgang mit Zahlen
Author: T.W. Körner
Publisher: Springer-Verlag
ISBN: 3034850018
Category: Science
Page: 719
View: 3887

Continue Reading →

Dieses Buch wendet sich zuallererst an intelligente Schüler ab 14 Jahren sowie an Studienanfänger, die sich für Mathematik interessieren und etwas mehr als die Anfangsgründe dieser Wissenschaft kennenlernen möchten. Es gibt inzwischen mehrere Bücher, die eine ähnliche Zielstellung verfolgen. Besonders gern erinnere ich mich an das Werk Vom Einmaleins zum Integral von Colerus, das ich in meiner Kindheit las. Es beginnt mit der folgenden entschiedenen Feststellung: Die Mathematik ist eine Mausefalle. Wer einmal in dieser Falle gefangen sitzt, findet selten den Ausgang, der zurück in seinen vormathematischen Seelenzustand leitet. ([49], S. 7) Einige dieser Bücher sind im Anhang zusammengestellt und kommen tiert. Tatsächlich ist das Unternehmen aber so lohnenswert und die Anzahl der schon vorhandenen Bücher doch so begrenzt, daß ich mich nicht scheue, ihnen ein weiteres hinzuzufügen. An zahlreichen amerikanischen Universitäten gibt es Vorlesungen, die gemeinhin oder auch offiziell als ,,Mathematik für Schöngeister'' firmieren. Dieser Kategorie ist das vorliegende Buch nicht zuzuordnen. Statt dessen soll es sich um eine ,,Mathematik für Mathematiker'' handeln, für Mathema tiker freilich, die noch sehr wenig von der Mathematik verstehen. Weshalb aber sollte nicht der eine oder andere von ihnen eines Tages den Autor dieses 1 Buches durch seine Vorlesungen in Staunen versetzen? Ich hoffe, daß auch meine Mathematikerkollegen Freude an dem Werk haben werden, und ich würde mir wünschen, daß auch andere Leser, bei denen die Wertschätzung für die Mathematik stärker als die Furcht vor ihr ist, Gefallen an ihm finden mögen.

Die Grundlagen der Mathematik


Author: David Hilbert
Publisher: Springer-Verlag
ISBN: 3663161021
Category: Mathematics
Page: 29
View: 5038

Continue Reading →

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.