Can the sorption mechanism be proven by fitting an isotherm model to experiment? Such a question arises because (i) multiple models, with different assumptions on mechanisms, often fit experimental equally well, (ii) some models [such as Brunauer–Emmett–Teller (BET) and Guggenheim–Anderson–de Boer (GAB)] isotherms that do not satisfy underlying of model, (iii) (such Oswin Peleg) are empirical e...

Temporale Verifikation von Programmen befasst sich mit der Erstellung von Korrektheitsaussagen über Programmausführungen. Dabei besteht die Hauptherausforderung in der Synthese von geeigneten Hilfsaussagen, welche die Gültigkeit einer temporalen Eigenschaft implizieren. Es existieren bereits Verifikationswerkzeuge, die Sicherheitseigenschaften, d.h. die Abwesenheit von unerwünschten Ereignissen...

Seit Bestehen der GLDV ist es eine ihrer wichtigsten satzungsgemäßen Aufgaben gewesen, die Kommunikation und Kooperation der Wissenschaftler auf diesem Gebiet der maschinellen Sprachverarbeitung zu fördern und zu einer Koordination der jeweiligen Projekte beizutragen. In dieses Aufgabenprofil paßt sich die von Roland Hausser im Rahmen des Arbeitskreises "Parsing in Morphologie und Syntax" einge...

Der LEGO Roboter Mindstorms EV3 sollte in die Informatik Veranstaltung im Studiengang Mechatronik integriert werden, um den Studierenden einen praktischen Einblick zu geben und die Motivation zu erhöhen. Gelehrt werden soll dabei die Programmiersprache C mit der Entwicklungsplattform Eclipse. Da es bisher keine Möglichkeit gab, den Roboter in ANSI-C zu programmieren, wurde mit der Entwicklung e...

Ein Geologe steht in einem unbekannten Höhlensystem. Er startet vier Drohnen, die sich selbstständig ihren Weg suchen. Die zurückgelegte Strecke wird in Echtzeit kartografiert und als dreidimensionales Modell im Hauptquartier angezeigt. Die beschriebene Szene stammt aus dem Film ” Prometheus Dunkle Zeichen“ aus dem Jahr 2012 und gab die Motivation für das hier vorgestellten Framework. Es sollte...

1 Urheberrecht und Technik Mit dem Gesetz zur Regelung des Urheberrechts in der Informationsgesellschaft1 wird ein weiteres Kapitel im Kampf des Urheberrechts gegen die fortschreitende technische Entwicklung vorläufig zu den rechtlichen Akten gelegt.2 In dieser umfassenden Form neu ist der urheberrechtliche Rückgriff auf die Technik zum Schutz der Verwerterinteressen, um die Vervielfältigung un...

Die große Anzahl der verschiedenen Wahlen bei den Hochschulwahl an der TU Darmstadt führt zu einer Vielzahl von verschiedenen Stimmzetteln. Insgesamt gab es 2013 80 Stimmzettelvarianten, die zehn verschiedene Farben hatten. Bei den letz-ten Hochschulwahlen hat sich gezeigt, dass die Auszählungen bis in die frühen Mor-genstunden dauern. Um die Auszählung der abgegebenen Stimmen zu beschleunigen,...

" Was ist denn das für ein Mist, so kommen wir ja nie zum Fußballstadion! " Jogi saß im Auto neben seiner Mutter und wurde langsam unruhig. " Ich kann doch auch nichts dafür, dass alle diese Straße zum Stadion benutzen. Jetzt ist eben Stau " , meinte sie nur. – " Dann dreh' doch einfach um und wir nehmen da hinten die Fordstraße, die Route benutzt keiner. " Jogis Mutter glaubte zwar nicht so re...

Equilibrium Moisture sorption isotherms are very important in drying and storage analysis. Experimental moisture equilibrium data (adsorption desorption) of Aspirin were determined using the static method saturated salt solutions that by exposing material to different conditions temperatures water activities. Three (25, 30, 40Cº) activities range (6.3- 83.6%) used. The results showed content in...