ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • bic Book Industry Communication::U Computing & information technology::UY Computer science  (60)
  • thema EDItEUR::N History and Archaeology::NH History  (44)
  • KIT Scientific Publishing  (73)
  • Universitätsverlag Göttingen  (31)
  • Deutsch  (104)
Sammlung
Sprache
Erscheinungszeitraum
  • 1
    facet.materialart.
    Unbekannt
    Universitätsverlag Göttingen
    Publikationsdatum: 2024-04-02
    Schlagwort(e): Mission ; Missionary Movement ; Göttingen Region ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-06
    Beschreibung: The book provides a thorough overview of Estonians and other Estonian-born students who studied at various European universities of technology before the Second World War. In addition to Saint Petersburg and Riga, Gdansk, Karlsruhe, Brno, Warsaw, Moscow, Zurich and a number of other European cities were also places of study for future engineers and architects.
    Schlagwort(e): Geschichte der Technischen Universitäten; ausländische Studenten; Estnische technische Intelligenz; Europäische Hochschulbildung; Bildungsgeschichte; History of the Technical Universities; foreign students; Estonian technical intelligentsia; European higher education; history of education ; thema EDItEUR::N History and Archaeology::NH History
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    facet.materialart.
    Unbekannt
    Universitätsverlag Göttingen
    Publikationsdatum: 2024-04-01
    Schlagwort(e): Göttingen ; 18th century ; biography ; literature ; thema EDItEUR::N History and Archaeology::NH History
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2023-12-20
    Beschreibung: This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
    Schlagwort(e): QA75.5-76.95 ; proof obligations ; encapsulation ; components ; context specification ; deductive verification ; modular proofs ; formal specification ; object-orientation ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    facet.materialart.
    Unbekannt
    Universitätsverlag Göttingen
    Publikationsdatum: 2024-04-04
    Schlagwort(e): History of the Georg-August-University Goettingen ; Private Lecturer Practise ; University Daily Routine ; thema EDItEUR::P Mathematics and Science::PD Science: general issues ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Publikationsdatum: 2023-12-20
    Beschreibung: Benutzungsunterstützung wird heute von jedem Programm verlangt. Aufbauend auf allgemeinen ergonomischen Grundlagen und einem allgemeinen Modell für parallele Algorithmen stellt die vorliegende Arbeit Methoden vor, wie Quelltext paralleler Programme durch den Einsatz dynamisch erzeugter Icons übersichtlicher gestaltet werden kann. Dazu wird eine neu entworfene Entwicklungsumgebung vorgestellt, die neben der Icondarstellung im Quelltext auch Dialogboxen bereitstellt, welche besonders für Aktivierungs- und Kommunikationsaufgaben auf Parallelrechnern angepasst sind.
    Schlagwort(e): QA75.5-76.95 ; Barrierefreiheit ; Parallelrechner ; Qt ; Programmierumgebung ; Softwareergonomie ; Benutzeroberfläche ; Softwarewerkzeug ; SIMD ; Editor ; Quellcode ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Publikationsdatum: 2023-12-20
    Beschreibung: Zielsetzung dieser Arbeit ist die Untersuchung, Entwicklung und Realisierung von Algorithmen zur Planung und Ausführung von Greif- und Manipulationsaufgaben auf humanoiden Robotern. Die hierzu entwickelten Methoden ermöglichen die Planung kollisionsfreier Bewegungen für ein- und zweiarmige Aufgabenstellungen sowie deren sensorgestützte Ausführung.
    Schlagwort(e): QA75.5-76.95 ; Humanoide Roboter ; Greifen ; Bewegungsplanung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-01
    Beschreibung: Die vorliegenden Essays behandeln im Stil der integrierten Bild-Text-Interpretation ausgewählte typische Bildquellen der entwickelten Massenkonsumgesellschaft von Kalenderblättern über Werbung bis Quartettkarten in dem Bemühen, sie durch Fragen nach ihrer Bedeutung für die Identitätskonstruktion ihrer Zielgruppen in den Kontext der Zeit einzuordnen. Es geht darum, den Gesichtspunkt der Massenhaftigkeit in die Deutung einer Quelle einzubeziehen, ihr ,soziales Leben' u.a. durch ein Aufzeigen der Bildroutinen und Genrehaftigkeit der Texte sowie der Strategien von Werbung als Bestandteil der identitätsstiftenden Bedeutung von Technik für uns sichtbar zu machen. Der ausgewählte Zeitraum mit einem Schwerpunkt in den 1920er bis 1960er Jahren spiegelt die technik- wie gesellschaftsgeschichtlich anerkannte Tatsache, dass diese Jahrzehnte eine Achsenzeit insbesondere der Mobilitätstechnik, aber auch auch der ,Demokratisierung' von Technik für alle in der Konsumgesellschaft darstellen. Daher kommt den beiden Mobilitätstechniken Eisenbahn und Auto besondere Bedeutung zu, mit einem deutlichen Schwerpunkt beim Auto als der Identitätsmaschine schlechthin. Der Begriff des Rituals soll auf die Regelmäßigkeit und Dauerhaftigkeit des Auftretens bestimmter Bilder und Aussagen in den befragten Quellen hinweisen, um auf diese Weise zum Verständnis des technikabhängigen sozialen Wandels und der mental formatierenden Wirkung von Bildroutinen beizutragen. Zugleich geht es um die Erschließung von Quellenmaterial, das in der Kulturgeschichte der Technik bislang selten oder jedenfalls nicht mit Blick auf die soziale Konstruktion von Identitäten untersucht worden ist.
    Schlagwort(e): Technikgeschichte ; Technikreflexion ; Technikakzeptanz ; Konsumgesellschaft ; Rituale ; thema EDItEUR::N History and Archaeology::NH History
    Sprache: Deutsch
    Format: image/png
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2023-12-20
    Beschreibung: Automated visual inspection is an integral part in industrial manufacturing processes, but development and setup of such systems is very costly. Machine learning significantly reduces the effort of and speeds up both tasks. This work develops several machine learning methods suitable for automated visual inspection. The methods augment each other and can be used for a wide range of products.
    Schlagwort(e): QA75.5-76.95 ; Mustererkennung ; Schüttgutsortierung ; visual inspection ; optische Inspektion ; maschinelles Lernen ; Pattern recognition ; machine learning ; bulk material soriting ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2023-12-20
    Beschreibung: Humanoide Roboter sind hochkomplexe Systeme. Sie zeichnen sich durch ein sehr heterogenes Sensor- und Aktorsystem aus, welches wiederum sehr hohe und breit gefächerte Anforderungen an die verwendete Architektur stellt. Es wird sowohl der Entwurf einer funktionalen Steuerungsarchitektur, das verwendete Softwarerahmenwerk als auch die Abbildung auf eine dezidierte Hardwarearchitektur beschrieben.
    Schlagwort(e): QA75.5-76.95 ; Humanoide Roboter ; Hardwarearchitektur ; Softwarearchitektur ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...