SOFSEM 2002: Theory and Practice of Informatics

29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
Author: William I. Grosky,Frantisek Plasil
Publisher: Springer Science & Business Media
ISBN: 9783540001454
Category: Computers
Page: 287
View: 8780

Continue Reading →

This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.

SOFSEM 2004: Theory and Practice of Computer Science

30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004
Author: Peter Van Emde Boas,Jaroslav Pokorny,Maria Bielikova,Julius Stuller
Publisher: Springer
ISBN: N.A
Category: Computers
Page: 385
View: 2512

Continue Reading →

This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Merín, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.

IUTAM Symposium on Evolutionary Methods in Mechanics

Proceedings of the IUTAM Symposium held in Cracow, Poland, 24–27 September, 2002
Author: Tadeusz Burczynski,Andrzej Osyczka
Publisher: Springer Science & Business Media
ISBN: 1402022670
Category: Science
Page: 366
View: 6183

Continue Reading →

Proceedings of the IUTAM Symposium held in Cracow, Poland, 24-27 September 2002

SOFSEM 2001: Theory and Practice of Informatics

28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings
Author: Leszek Pacholski,Peter Ruzicka
Publisher: Springer
ISBN: 3540456279
Category: Computers
Page: 350
View: 7186

Continue Reading →

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H ́ajek).

Integrated Region-Based Image Retrieval


Author: James Z. Wang
Publisher: Springer Science & Business Media
ISBN: 9780792373506
Category: Computers
Page: 178
View: 3135

Continue Reading →

The need for efficient content-based image retrieval has increased tremendously in areas such as biomedicine, military, commerce, education, and Web image classification and searching. In the biomedical domain, content-based image retrieval can be used in patient digital libraries, clinical diagnosis, searching of 2-D electrophoresis gels, and pathology slides. Integrated Region-Based Image Retrieval presents a wavelet-based approach for feature extraction, combined with integrated region matching. An image in the database, or a portion of an image, is represented by a set of regions, roughly corresponding to objects, which are characterized by color, texture, shape, and location. A measure for the overall similarity between images is developed as a region-matching scheme that integrates properties of all the regions in the images. The advantage of using this "soft matching" is that it makes the metric robust to poor segmentation, an important property that previous research has not solved. Integrated Region-Based Image Retrieval demonstrates an experimental image retrieval system called SIMPLIcity (Semantics-sensitive Integrated Matching for Picture LIbraries). This system validates these methods on various image databases, proving that such methods perform much better and much faster than existing ones. The system is exceptionally robust to image alterations such as intensity variation, sharpness variation, intentional distortions, cropping, shifting, and rotation. These features are extremely important to biomedical image databases since visual features in the query image are not exactly the same as the visual features in the images in the database. Integrated Region-Based Image Retrieval is an excellent reference for researchers in the fields of image retrieval, multimedia, computer vision and image processing.

SPS-Programmierung mit IEC 1131–3

Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
Author: Karl-Heinz John,Michael Tiegelkamp
Publisher: Springer-Verlag
ISBN: 366209990X
Category: Technology & Engineering
Page: 397
View: 2341

Continue Reading →

Für die kurzfristig erfolgte Neuauflage wurde der Text dieses praxisorientierten Werks an einigen Stellen verbessert und thematisch abgerundet. Es führt umfassend in die Konzepte der internationalen IEC 1131-3-Norm für Programmiersysteme von speicherprogrammierbaren Steuerungen ein. Mit zahlreichen Beispielen, Abbildungen und übersichtlichen Tabellen werden auch schwierige Inhalte leicht verständlich dargestellt. Ein Einkaufsberater und reduzierte, doch funktionstüchtige Versionen von Programmiersystemen auf CD-ROM vergrößern noch den Nutzen des Buches für SPS-Programmierer und diejenigen, die in Industriebetrieben über die Beschaffung von Software entscheiden müssen.

S3-Leitlinie Methamphetamin-bezogene Störungen


Author: Drogenbeauftragte der Bundesregierung,Bundesministerium für Gesundheit (BMG),Bundesärztekammer (BÄK),DGPPN
Publisher: Springer-Verlag
ISBN: 3662535416
Category: Medical
Page: 212
View: 8362

Continue Reading →

Bislang lagen in Deutschland keine evidenzbasierten medizinischen Behandlungskonzepte für Patienten mit einer Methamphetamin-bezogenen Störung vor. In Fachgesprächen der Bundesdrogenbeauftragten mit Vertretern aus der Sucht- und Drogenpolitik, der Forschung und der Versorgungspraxis wurde deutlich, dass ein Bedarf an differenzierten evidenzbasierten therapeutischen Optionen für Betroffene besteht. Dies führte dazu, dass mit einem Expertenpanel eine S3-Leitlinie „Methamphetamin-bezogene Störungen“ entwickelt wurde. Damit soll eine bessere Versorgung von Betroffenen und mehr Handlungssicherheit für therapeutisch tätiges Personal in der Praxis ermöglicht werden durch: · Empfehlungen zur angemessenen Diagnostik · Evidenzbasierte Aussagen zur Wirksamkeit von medikamentösen und psychotherapeutischen Interventionen – auch bei speziellen Patientengruppen wie Schwangeren · Verzicht auf wirkungslose oder riskante Therapien · Eine bessere Vernetzung der verschiedenen Akteure in der suchtmedizinischen Versorgung Die Leitlinie richtet sich an in der Suchthilfe tätige Ärztinnen und Ärzte aller Versorgungssektoren, ärztliche und psychologische Psychotherapeuten, alle Berufsgruppen in der ambulanten und stationären Suchthilfe wie Psychologen, Sozialarbeiter und Pflegepersonal, Mitarbeiter im Bereich Nachsorge und Rehabilitation, Selbsthilfeorganisationen und die Kooperationspartner der Ärzteschaft wie zum Beispiel Kostenträger.

Theoretische Informatik

Eine algorithmenorientierte Einführung
Author: N.A
Publisher: Springer-Verlag
ISBN: 3322940047
Category: Computers
Page: 238
View: 8709

Continue Reading →

Das Neue an dieser Einführung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einführung in die zentralen Gebiete der Theoretischen Informatik, wie sie in einer Einführungsvorlesung an deutschen Universitäten vorgesehen ist.

Taschenbuch der Algorithmen


Author: Berthold Vöcking,Helmut Alt,Martin Dietzfelbinger,Rüdiger Reischuk,Christian Scheideler,Heribert Vollmer,Dorothea Wagner
Publisher: Springer-Verlag
ISBN: 3540763945
Category: Computers
Page: 448
View: 8926

Continue Reading →

Hinter vielen Computer-Programmen stecken intelligente Verfahren, die man als Algorithmen bezeichnet. Algorithmen lösen nicht nur mathematische Zahlen-Aufgaben, sondern auch ganz alltägliche Probleme: Wie ermittle ich den kürzesten Weg zwischen zwei Orten? Oder, wie kann ich einen Kuchen gerecht aufteilen? In diesem Buch erklären Informatiker 43 besonders elegante Algorithmen und illustrieren die Grundprinzipien des Algorithmendesigns anhand von interessanten Anwendungen, ohne dabei vom Leser spezielle Vorkenntnisse zu erwarten.

R/3-Einführung

Methoden und Werkzeuge
Author: Hans-Jürgen Appelrath,Jörg Ritter
Publisher: Springer
ISBN: 9783540655930
Category: Business & Economics
Page: 210
View: 1218

Continue Reading →

Before use, standard ERP systems such as SAP R/3 need to be customized to meet the concrete requirements of the individual enterprise. This book provides an overview of the process models, methods, and tools offered by SAP and its partners to support this complex and time-consuming process. It begins by characterizing the foundations of the latest ERP systems from both a conceptual and technical viewpoint, whereby the most important components and functions of SAP R/3 are described. The main part of the book then goes on to present the current methods and tools for the R/3 implementation based on newer process models (roadmaps).

Visionäre der Programmierung

die Sprachen und ihre Schöpfer
Author: Federico Biancuzzi,Shane Warden
Publisher: O'Reilly Germany
ISBN: 3897219344
Category: Computer algorithms
Page: 485
View: 6067

Continue Reading →

In Visionare der Programmierung - Die Sprachen und ihre Schopfer werden exklusive Interviews mit den Entwicklern von historischen wie auch von hoch aktuellen Programmiersprachen veroffentlicht. In dieser einzigartigen Zusammenstellung erfahren Sie uber die Hintergrunde, die zu den spezifischen Design-Entscheidungen in den Programmiersprachen gefuhrt haben und uber die ursprungliche Ziele, die die Entwickler im Kopf hatten, als sie eine neue Programmiersprache entwarfen. Ebenso konnen Sie lesen, wieso Abweichungen zum ursprunglichen Design entstanden und welchen Einflu die jeweilige Sprache auf die heutige Softwareentwicklung noch besitzt. Adin D. Falkoff: APL Thomas E. Kurtz: BASIC Charles H. Moore: FORTH Robin Milner: ML Donald D. Chamberlin: SQL Alfred Aho, Peter Weinberger und Brian Kernighan: AWK Charles Geschke und John Warnock: PostScript Bjarne Stroustrup: C++ Bertrand Meyer: Eiffel Brad Cox und Tom Love: Objective-C Larry Wall: Perl Simon Peyton Jones, Paul Hudak, Philip Wadler und John Hughes: Haskell Guido van Rossum: Python Luiz Henrique de Figueiredo und Roberto Ierusalimschy: Lua James Gosling: Java Grady Booch, Ivar Jacobson und James Rumbaugh: UML Anders Hejlsberg: Delphi-Entwickler und fuhrender Entwickler von C#

Einführung in die mathematische Logik


Author: Heinz-Dieter Ebbinghaus,Jörg Flum,Wolfgang Thomas
Publisher: Springer Spektrum
ISBN: 9783662580288
Category: Mathematics
Page: 367
View: 387

Continue Reading →

Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben: Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe. Die Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.

Corporate Semantic Web

Wie semantische Anwendungen in Unternehmen Nutzen stiften
Author: Börteçin Ege,Bernhard Humm,Anatol Reibold
Publisher: Springer-Verlag
ISBN: 3642548865
Category: Computers
Page: 403
View: 4057

Continue Reading →

Corporate Semantic Web – hierbei geht es um semantische Anwendungen, deren Einsatz für Kunden und Mitarbeiter von Unternehmen konkret Nutzen stiftet. Die Autoren, namhafte Experten aus Industrie und Wissenschaft, berichten über ihre Erfahrungen bei der Entwicklung solcher Anwendungen. Sie gehen auf Software-Architektur, Methodik, Linked Open Data Sets, Lizenzfragen und Technologieauswahl ein und präsentieren auch eine Marktstudie. Vorgestellt werden Anwendungen für die Branchen Telekommunikation, Logistik, verarbeitende Industrie, Energie, Medizin, Tourismus, Bibliotheks- und Verlagswesen sowie Kultur. Der Leser erhält so einen umfassenden Überblick über die Einsatzbereiche des Semantic Web sowie konkrete Umsetzungshinweise für eigene Vorhaben.

Diskrete Strukturen 2

Wahrscheinlichkeitstheorie und Statistik
Author: Thomas Schickinger,Angelika Steger
Publisher: Springer-Verlag
ISBN: 3642568386
Category: Mathematics
Page: 249
View: 5144

Continue Reading →

Dieses zweibändige Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist. Bei der Darstellung wird neben der mathematischen Exaktheit besonderer Wert darauf gelegt, auch das intuitive Verständnis zu fördern, um so das Verstehen und Einordnen des Stoffs zu erleichtern. Unterstützt wird dies durch zahlreiche Beispiele und Aufgaben, vorwiegend aus dem Bereich der Informatik. Das Lehrbuch basiert auf Vorlesungen, die seit mehreren Jahren an der Technischen Universität München gehalten werden. Themen des zweiten Bandes: Endliche und unendliche Wahrscheinlichkeitsräume, Markov-Ketten, Warteschlangen, Induktive Statistik.

SAP® ERP - Praxishandbuch Projektmanagement

SAP® ERP als Werkzeug für professionelles Projektmanagement - aktualisiert auf ECC 6.0
Author: Holger Gubbels
Publisher: Springer-Verlag
ISBN: 3834821608
Category: Computers
Page: 315
View: 3470

Continue Reading →

Projekte rücken vor allem im IT-Sektor immer mehr in den Hauptfokus der Unternehmen. Viele Aufgaben des Projektmanagements lassen sich durch Werkzeuge wie SAP® ERP professionell unterstützen. Das Buch erläutert praxisorientiert die Anwendung von SAP® ERP als effizientes Werkzeug für das Projektmanagement. Ein praktisches Beispiel begleitet den Leser durch das gesamte Buch. Um die Nachvollziehbarkeit zu gewährleisten, werden für die verwendete Beispielfirma exemplarisch alle notwendigen Organisationsstrukturen vorgestellt und angelegt.

Diskrete Strukturen 1

Kombinatorik, Graphentheorie, Algebra
Author: Angelika Steger
Publisher: Springer-Verlag
ISBN: 3662081334
Category: Mathematics
Page: 256
View: 4812

Continue Reading →

Dieses Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist. Bei der Darstellung wird neben der mathematischen Exaktheit besonderer Wert darauf gelegt, auch das intuitive Verständnis zu fördern, um so das Verstehen und Einordnen des Stoffs zu erleichtern. Unterstützt wird dies durch zahlreiche Beispiele und Aufgaben, vorwiegend aus dem Bereich der Informatik. Das Lehrbuch basiert auf Vorlesungen, die seit mehreren Jahren an der Technischen Universität München gehalten werden. Themen: Kombinatorik, Graphentheorie, Algorithmische Grundprinzipien, Rekursionsgleichungen, Algebra.

Constraint-Programmierung

Grundlagen und Anwendungen
Author: Thom Frühwirth,Slim Abdennadher
Publisher: Springer-Verlag
ISBN: 3642591159
Category: Mathematics
Page: 165
View: 2314

Continue Reading →

Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direkt zu formulieren und effizient zu lösen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schließen und Rechnen mit ungenauer oder unvollständiger Information (z.B. Kostenschätzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch für Forscher und Praktiker von Nutzen.