feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • UB Potsdam  (49)
  • Informationszentrum DGAP
  • Meinel, Christoph  (49)
  • Licensed  (49)
Type of Medium
Language
Region
Library
Subjects(RVK)
Access
  • 1
    UID:
    almafu_BV043208876
    Format: 1 Online Ressource (XVII, 321 Seiten 56 Abb).
    Edition: 6. Auflage
    ISBN: 978-3-658-09886-5
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-658-09885-8
    Language: German
    Subjects: Computer Science , Mathematics
    RVK:
    RVK:
    Keywords: Mathematische Logik ; Beweis ; Mengenlehre ; Boolesche Algebra ; Graphentheorie ; Informatik ; Mathematik
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Meinel, Christoph 1954-
    Author information: Mundhenk, Martin 1961-2024
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almafu_BV035993791
    Format: 1 Online-Ressource.
    Edition: 4., überarb. Aufl.
    ISBN: 978-3-8348-9310-9
    Series Statement: Studium
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-8348-0666-6
    Language: German
    Subjects: Computer Science , Mathematics
    RVK:
    RVK:
    Keywords: Mathematische Logik ; Beweis ; Mengenlehre ; Boolesche Algebra ; Graphentheorie ; Informatik ; Mathematik
    Author information: Meinel, Christoph 1954-
    Author information: Mundhenk, Martin 1961-2024
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Berlin, Heidelberg : Springer Berlin Heidelberg
    UID:
    b3kat_BV042431499
    Format: 1 Online-Ressource (XLII, 1178 S.)
    ISBN: 9783642189630 , 9783642623844
    Series Statement: Xpert.press
    Note: Dieses Handbuch bietet für alle Nutzer und Entwickler des World Wide Web einen fundierten Einblick in dessen Aufbau und Funktionsweise. Die Autoren stellen die Internet-Technologie ausführlich dar und geben einen umfassenden Überblick über die relevanten Teilbereiche des WWW. Neben den allgemeinen theoretischen und praktischen Grundlagen der Netzwerktechnik und einer Darstellung der TCP/IP-Protokolle werden auch die vielfältigen Medientypen und deren Kodierung im WWW erläutert. Darauf aufbauend wird auf spezielle Web-Technologien im WWW wie HTTP, HTML, CSS, XML/XSL, aber auch Skriptsprachen und CGI-Programmierung eingegangen. Dabei werden die allgemeinverständlich angelegten Kapitel punktuell durch relevante Schwerpunktthemen technischer Natur ergänzt und vertieft. Zahlreiche Abbildungen sowie Index und Glossar zu jedem Kapitel erhöhen den praktischen Nutzen des Handbuchs
    Language: German
    Keywords: World Wide Web ; Internetworking ; Internet
    URL: Volltext  (lizenzpflichtig)
    Author information: Meinel, Christoph 1954-
    Author information: Sack, Harald 1965-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    b3kat_BV042430462
    Format: 1 Online-Ressource (300S.)
    Edition: 2., durchgesehene Auflage
    ISBN: 9783322918895 , 9783519129493
    Series Statement: Leitfäden der Informatik
    Note: Ziel dieser Einführung ist es, die für die Informatik typischen und grundlegenden mathematischen Denkweisen zu vermitteln. Der Leser wird mit den mathematischen Grundlagen der Informatik vertraut gemacht - auch ohne eine traditionell vorausgesetzte mathematische Grundausbildung
    Language: German
    Keywords: Informatik ; Mathematik ; Mengenlehre ; Graphentheorie ; Beweis ; Mathematische Logik ; Boolesche Algebra
    URL: Volltext  (lizenzpflichtig)
    Author information: Meinel, Christoph 1954-
    Author information: Mundhenk, Martin 1961-2024
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Berlin [u.a.] : Springer
    UID:
    gbv_595129552
    Format: Online-Ressource (VI, 132 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540461982
    Series Statement: Lecture notes in computer science 370
    Content: Preliminaries -- Branching programs and their computational power -- Nondeterministic branching programs -- ?=branching programs and theirs computational power.
    Content: Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for evaluating certain elementary Boolean functions and are suited for characterizing space-bounded complexity classes. By means of these characterizations the author demonstrates the separation of some restricted complexity classes. In the appendix a number of extremely restricted graph-accessibility problems are given, which are, due to the branching program descriptions in chapters 1-3, p-projection complete in the classes under consideration.
    Note: Literaturverz. S. [127] - 130
    Additional Edition: ISBN 354051340X
    Additional Edition: ISBN 9783540513407
    Additional Edition: Erscheint auch als Druck-Ausgabe Meinel, Christoph, 1954 - Modified branching programs and their computational power Berlin : Springer, 1989 ISBN 354051340X
    Additional Edition: ISBN 038751340X
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Verzweigendes Programm ; Berechnungskomplexität
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_101127082X
    Format: Online Ressource (251 Seiten, 38118 KB) , Illustrationen, Diagramme
    Series Statement: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 111
    Content: Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns.The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment. Der Entwurf und die Realisierung dienstbasierender Architekturen wirft eine Vielzahl von Forschungsfragestellungen aus den Gebieten der Softwaretechnik, der Systemmodellierung und -analyse, sowie der Adaptierbarkeit und Integration von Applikationen auf. Komponentenorientierung und WebServices sind zwei Ansätze für den effizienten Entwurf und die Realisierung komplexer Web-basierender Systeme. Sie ermöglichen die Reaktion auf wechselnde Anforderungen ebenso, wie die Integration großer komplexer Softwaresysteme. Heute übliche Technologien, wie J2EE und .NET, sind de facto Standards für die Entwicklung großer verteilter Systeme. Die Evolution solcher Komponentensysteme führt über WebServices zu dienstbasierenden Architekturen. Dies manifestiert sich in einer Vielzahl von Industriestandards und Initiativen wie XML, WSDL, UDDI, SOAP. All diese Schritte führen letztlich zu einem neuen, vielversprechenden Paradigma für IT Systeme, nach dem komplexe Softwarelösungen durch die Integration vertraglich vereinbarter Software-Dienste aufgebaut werden sollen."Service-Oriented Systems Engineering" repräsentiert die Symbiose bewährter Praktiken aus den Gebieten der Objektorientierung, der Komponentenprogrammierung, des verteilten Rechnen sowie der Geschäftsprozesse und berücksichtigt auch die Integration von Geschäftsanliegen und Informationstechnologien. Die Klausurtagung des Forschungskollegs "Service-oriented Systems Engineering" findet einmal jährlich statt und bietet allen Kollegiaten die Möglichkeit den Stand ihrer aktuellen Forschung darzulegen. Bedingt durch die Querschnittstruktur des Kollegs deckt dieser Bericht ein weites Spektrum aktueller Forschungsthemen ab. Dazu zählen unter anderem Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for rvice-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; sowie Services Specification, Composition, and Enactment.
    Note: gesehen am 05.01.2018
    Additional Edition: ISBN 9783869563909
    Additional Edition: Erscheint auch als Druck-Ausgabe Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering (10. : 2017 : Potsdam) Proceedings of the 10th Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering Potsdam : Universitätsverlag Potsdam, 2017 ISBN 9783869563909
    Language: English
    Keywords: Serviceorientierte Architektur ; Programmierung ; Systemtechnik ; Serviceorientierte Architektur ; Konferenzschrift
    Author information: Meinel, Christoph 1954-
    Author information: Plattner, Hasso 1944-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_101772539X
    Format: 1 Online-Ressource (xviii, 148 Seiten, 8355 KB) , Illustrationen, Diagramme
    Content: In this era of high-speed informatization and globalization, online education is no longer an exquisite concept in the ivory tower, but a rapidly developing industry closely relevant to people's daily lives. Numerous lectures are recorded in form of multimedia data, uploaded to the Internet and made publicly accessible from anywhere in this world. These lectures are generally addressed as e-lectures. In recent year, a new popular form of e-lectures, the Massive Open Online Courses (MOOCs), boosts the growth of online education industry and somehow turns "learning online" into a fashion. As an e-learning provider, besides to keep improving the quality of e-lecture content, to provide better learning environment for online learners is also a highly important task. This task can be preceded in various ways, and one of them is to enhance and upgrade the learning materials provided: e-lectures could be more than videos. Moreover, this process of enhancement or upgrading should be done automatically, without giving extra burdens to the ...
    Note: Dissertation Universität Potsdam, Digital Engineering Fakultät 2018
    Additional Edition: Erscheint auch als Druck-Ausgabe Che, Xiaoyin E-lecture material enhancement based on automatic multimedia analysis Potsdam, 2017
    Language: English
    Keywords: E-Learning ; Massive Open Online Course ; Integrierte Software ; Automatische Spracherkennung ; Hochschulschrift
    Author information: Meinel, Christoph 1954-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_803256396
    Format: Online-Ressource (PDF-Datei: II, 118 S., 12.144 KB) , Ill., graph. Darst.
    Series Statement: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 85
    Content: The "HPI Future SOC Lab" is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard- and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2012. Selected projects have presented their results on June 18th and November 26th 2012 at the Future SOC Lab Day events.
    Additional Edition: ISBN 9783869562766
    Additional Edition: Druckausg. Hasso-Plattner-Institut für Softwaresystemtechnik HPI Future SOC Lab Potsdam : Univ.-Verl. Potsdam, 2014 ISBN 9783869562766
    Language: English
    Keywords: Hochleistungsrechnen ; Parallelverarbeitung ; Leistungsbewertung ; Konferenzschrift ; Forschungsbericht
    Author information: Meinel, Christoph 1954-
    Author information: Oswald, Gerhard
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_789315092
    Format: Online-Ressource (PDF-Datei: II, 206 S., 23.594 KB) , Ill., graph. Darst.
    Series Statement: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 83
    Content: Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the Research Scholl, this technical report covers a wide range of research topics. These include but are not limited to: Self-Adaptive Service-Oriented Systems, Operating System Support for Service-Oriented Systems, Architecture and Modeling of Service-Oriented Systems, Adaptive Process Management, Services Composition and Workflow Planning, Security Engineering of Service-Based IT Systems, Quantitative Analysis and Optimization of Service-Oriented Systems, Service-Oriented Systems in 3D Computer Graphics sowie Service-Oriented Geoinformatics.
    Additional Edition: ISBN 9783869562735
    Additional Edition: Druckausg. Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering Potsdam : Univ.-Verl., 2013 ISBN 9783869562735
    Language: English
    Keywords: Konferenzschrift ; Forschungsbericht
    Author information: Meinel, Christoph 1954-
    Author information: Weske, Mathias 1963-
    Author information: Naumann, Felix 1971-
    Author information: Giese, Holger 1970-
    Author information: Plattner, Hasso 1944-
    Author information: Hirschfeld, Robert 1969-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_789505711
    Format: Online-Ressource (PDF-Datei: XVIII, 190 S., 9379 KB) , graph. Darst.
    Content: Im Vergleich zu einer stichwortbasierten Suche ermöglicht die semantische Suche ein präziseres und anspruchsvolleres Durchsuchen von (Web)-Dokumenten, weil durch die explizite Semantik Mehrdeutigkeiten von natürlicher Sprache vermieden und semantische Beziehungen in das Suchergebnis einbezogen werden können. Eine semantische, Entitäten-basierte Suche geht von einer Anfrage mit festgelegter Bedeutung aus und liefert nur Dokumente, die mit dieser Entität annotiert sind als Suchergebnis. Die wichtigste Voraussetzung für eine Entitäten-zentrierte Suche stellt die Annotation der Dokumente im Archiv mit Entitäten und Kategorien dar. Textuelle Informationen werden analysiert und mit den entsprechenden Entitäten und Kategorien versehen, um den Inhalt semantisch erschließen zu können. Eine manuelle Annotation erfordert Domänenwissen und ist sehr zeitaufwendig. Die semantische Annotation von Videodokumenten erfordert besondere Aufmerksamkeit, da inhaltsbasierte Metadaten von Videos aus verschiedenen Quellen stammen, verschiedene Eigenschaften und Zuverlässigkeiten besitzen und daher nicht wie Fließtext behandelt werden können. Die vorliegende Arbeit stellt einen semantischen Analyseprozess für Video-Metadaten vor. Die Eigenschaften der verschiedenen Metadatentypen werden analysiert und ein Konfidenzwert ermittelt. Dieser Wert spiegelt die Korrektheit und die wahrscheinliche Mehrdeutigkeit eines Metadatums wieder. Beginnend mit dem Metadatum mit dem höchsten Konfidenzwert wird der Analyseprozess innerhalb eines Kontexts in absteigender Reihenfolge des Konfidenzwerts durchgeführt. Die bereits analysierten Metadaten dienen als Referenzpunkt für die weiteren Analysen. So kann eine möglichst korrekte Analyse der heterogen strukturierten Daten eines Kontexts sichergestellt werden. Am Ende der Analyse eines Metadatums wird die für den Kontext relevanteste Entität aus einer Liste von Kandidaten identifiziert - das Metadatum wird disambiguiert. Hierfür wurden verschiedene Disambiguierungsalgorithmen entwickelt, die Beschreibungstexte und semantische Beziehungen der Entitätenkandidaten zum gegebenen Kontext in Betracht ziehen. Der Kontext für die Disambiguierung wird für jedes Metadatum anhand der Eigenschaften und Konfidenzwerte zusammengestellt. Der vorgestellte Analyseprozess ist an zwei Hypothesen angelehnt: Um die Analyseergebnisse verbessern zu können, sollten die Metadaten eines Kontexts in absteigender Reihenfolge ihres Konfidenzwertes verarbeitet werden und die Kontextgrenzen von Videometadaten sollten durch Segmentgrenzen definiert werden, um möglichst Kontexte mit kohärentem Inhalt zu erhalten. Durch ausführliche Evaluationen konnten die gestellten Hypothesen bestätigt werden. Der Analyseprozess wurden gegen mehrere State-of-the-Art Methoden verglichen und erzielt verbesserte Ergebnisse in Bezug auf Recall und Precision, besonders für Metadaten, die aus weniger zuverlässigen Quellen stammen. Der Analyseprozess ist Teil eines Videoanalyse-Frameworks und wurde bereits erfolgreich in verschiedenen Projekten eingesetzt.
    Note: Potsdam, Univ., Diss., 2014
    Additional Edition: Druckausg. Steinmetz, Nadine Context-aware semantic analysis of video metadata 2014
    Language: English
    Keywords: Hochschulschrift
    URL: Volltext  (kostenfrei)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages