This volume constitutes the refereed proceedings of the 19th International Symposium on Graph Drawing, GD 2010, held in Eindhoven, The Netherlands, during September 2011.;The 34 revised full papers presented together ...
详细信息
ISBN:
(数字)9783642258787
ISBN:
(纸本)9783642258770
This volume constitutes the refereed proceedings of the 19th International Symposium on Graph Drawing, GD 2010, held in Eindhoven, The Netherlands, during September 2011.;The 34 revised full papers presented together with 3 revised short and 6 poster papers were carefully reviewed and selected from 88 submissions. Furthermore, the proceedings contain the abstracts of two invited talks and to commemorate Kozo Sugiyama and his pioneering research in graph drawing, the proceedings include an obituary. A unique and fun part of the symposium is the Graph Drawing Contest, which is part of the Graph Drawing Challenge. This year was the 18th edition. A report on the contest is included at the end of the proceedings.
Die mathematik ist eine der Grundlagen des Ingenieurwesens . Wegen der großen Bedeutung des physikalischen Verhaltens von Ingenieurwerken steht die Infinite simalrechnung traditionell im Mittelpunkt der mat...
详细信息
ISBN:
(数字)9783642570131
ISBN:
(纸本)9783540605010;9783642629396
Die mathematik ist eine der Grundlagen des Ingenieurwesens . Wegen der großen Bedeutung des physikalischen Verhaltens von Ingenieurwerken steht die Infinite simalrechnung traditionell im Mittelpunkt der mathematischen Ausbildung von Ingenieuren ; sie wird zur mathematischen Formulierung der physikalischen Aufgaben eingesetzt. Diese Formulierung hat wesentlich zur Systematisierung des Ingenieurwesens und zur Beherrschung der Ingenieurwerke beigetragen. Vor der Einführung des computers in das Ingenieurwesen war es schwierig , numerische Lösungen der mathematischen Formulierungen physikalischer Ingenieuraufgaben mit unregelmäßiger Geometrie , unterschiedlichen Material eigenschaften , vielfältigen Einwirkungen und komplexen Herstellungsverfahren zu bestimmen . Die Verstärkung des menschlichen Denkvermögens durch den computer um einen Faktor, der bezüglich der Rechengeschwindigkeit, der 9 Speicherkapazität und der Kommunikationsgeschwindigkeit heute bei 10 liegt, hat völlig neue Möglichkeiten für die Lösung der mathematisch formulierten phy sikalischen Aufgaben eröffnet. Neue Wissenschaftsgebiete, beispielsweise Computational Mechanics , und weit verbreitete neue Berechnungsverfahren, beispielsweise die Finite-Element-Methode , sind entstanden. Zeitgleich mit der Einführung des computers hat sich der Charakter des Ingenieurwesens tiefgreifend verändert. Lag der Kern der Wettbewerbsfäh igkeit früher vorwiegend im Einsatz besserer Werkstoffe, in der Entwicklung neuer Konstruktionsverfahren und im Entwurf neuer Ingenieursysteme, so haben Organisation und Management heute einen vergleichbar großen Einfluß auf den Erfolg. Einige der Gründe für diese Veränderungen sind die ganzheitliche Betrachtung von Markt, Produkt, Wirtschaft und Gesellschaft, die Bedeutung von Organisation und Management im globalen Wettbewerb sowie die gestiegene Komplexität der Umwelt, der Technik und der Wechselwirkungen zwischen den an Planung und Produktion im Ingenieurwesen Beteiligten.
Dieses Buch bietet neben einem kompakten Theorieteil eine Vielzahl an Aufgaben und Lösungen, die inhaltlich auf eine Einführung in die Analysis für Informatiker zugeschnitten sind. Die Aufgaben zu den &...
详细信息
ISBN:
(数字)9783662553992
ISBN:
(纸本)9783662553985
Dieses Buch bietet neben einem kompakten Theorieteil eine Vielzahl an Aufgaben und Lösungen, die inhaltlich auf eine Einführung in die Analysis für Informatiker zugeschnitten sind. Die Aufgaben zu den üblichen Themen der eindimensionalen Analysis werden abgerundet durch solche zu den mathematischen Grundkompetenzen, über die jeder Studierende der Informatik verfügen *** ausführlichen Lösungen ermöglichen dem Leser, Arbeitsmethoden der Analysis verstehen zu lernen und den eigenen Wissensstand selbst zu überprüfen. Somit eignet sich diese Aufgabensammlung hervorragend zur Prüfungsvorbereitung und als Begleitbuch zur Vorlesung und den Übungen.;Auch für Studierende anderer Fächer stellt diese Beispielsammlung eine ausgezeichnete Ergänzung zu ihren Lehrbüchern und Skripten dar.
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital mathematics Libraries, DML 2014, mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Po...
详细信息
ISBN:
(数字)9783319084343
ISBN:
(纸本)9783319084336
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital mathematics Libraries, DML 2014, mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent computermathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the mathe...
详细信息
ISBN:
(数字)9781461203254
ISBN:
(纸本)9780817636906;9781461267089
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the mathematical sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computerscience. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.
This book constitutes the thoroughly refereed proceedings of the 8th Theory of Cryptography Conference, TCC 2011, held in Providence, Rhode Island, USA, in March 2011. The 35 revised full papers are presented together...
详细信息
ISBN:
(数字)9783642195716
ISBN:
(纸本)9783642195709
This book constitutes the thoroughly refereed proceedings of the 8th Theory of Cryptography Conference, TCC 2011, held in Providence, Rhode Island, USA, in March 2011.
The 35 revised full papers are presented together with 2 invited talks and were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on hardness amplification, leakage resilience, tamper resilience, encryption, composable security, secure computation, privacy, coin tossing and pseudorandomness, black-box constructions and separations, and black box separations.
Die speziellen Funktionen, insbesondere die elliptischen Funktionen, hatten in Physik und Technik stets ungeheure Bedeutung und wurden in den Vorlesungen der Hochschulen im 19. und be ginnenden 20. Jahrhundert e...
详细信息
ISBN:
(数字)9783663139065
ISBN:
(纸本)9783528042165
Die speziellen Funktionen, insbesondere die elliptischen Funktionen, hatten in Physik und Technik stets ungeheure Bedeutung und wurden in den Vorlesungen der Hochschulen im 19. und be ginnenden 20. Jahrhundert entsprechend berücksichtigt. Später sind die speziellen Funktionen aus den Vorlesungen verschwunden, und es traten die strukturellen Gesichtspunkte der mathematik in den Vordergrund. Dies hat zu einer gewissen Entfremdung zwischen Anwendungen und theoretischer Ausbildung im Vorlesungsbetrieb geführt. Allerdings haben im angelsächsischen Sprachraum die speziellen Funktionen stets durch Bücher und Tafelwerke Berücksichtigung gefunden, entsprechend ihrer Bedeutung sowohl für Anwendungen der mathematik wie auch für theoretische Begriffsbildungen. Durch den computer (bzw. seinen kleinen Bruder, den Taschenrechner) ist die Freude am numerischen Rechnen ganz bedeutend gestiegen. Wegen erhöhter Genauigkeitsansprüche in Physik· und Technik kann man sich heute nicht mehr mit linearen Näherungen begnügen (berühmtes Beispiel: das Pendel); dadurch braucht auch der Ingenieur und Physiker die speziellen Funktionen, im besonderen die elliptischen Funktionen. Es ist zu begrüßen, daß der Autor P. Kahlig, von dem schon analoge Veröffentlichungen vorliegen, einen Band über die elliptischen Funktionen und die Theta-Funktionen herausbringt, deren Bedeutung auch für die Wärmeleitung und Diffusion ja wohlbekannt ist. Genaue Funktionswerte sind somit jedem Anwender schnell und leicht zugänglich. Es ist diesem Band weite Verbreitung zu wünschen. Univ. Prof. Dr. Dr. h.c. Edmund Hlawka, Institut für Analysis, Technische mathematik und Versicherungs mathematik der Technischen Universität sowie Institut für mathematik der Universität Wien. Wirkl. Mitglied derÖsterr. Akademie der Wissenschaften, Mitglied der Deutschen Akademie der Naturforscher, korrespond.
暂无评论