This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

Dieser Band dokumentiert eine Reihe von Beitragen der XIX. Internationalen wissenschaftlichen Konferenz Bildungsreform und Lehrerausbildung zum Thema Bildungswissenschaft auf der Suche nach globaler Identitat, die vom Ministerium fur Bildung und Wissenschaft der Republik Litauen, der Litauischen Universitat fur Bildungswissenschaften in Vilnius und der Padagogischen Hochschule Heidelberg - University of Education gemeinsam konzipiert und veranstaltet wurde. Das Hauptthema der Konferenz waren Bildungs- und Qualitatsstandards der Hochschul- und Schulbildung. Dieses Qualitatsmanagement setzt somit den Erwerb interaktiver Kompetenzen im Bildungs-, Erziehungs- und Sozialisationsbereich voraus, gewissermassen als innere Krafte fur Basiskompetenzen, die im Hinblick auf die Herausforderungen der Gesellschaft des kommenden Jahrzehnts die Befahigung zu Identitat ermoeglichen. This volume presents a series of contributions from the XIX. International Scientific Conference on The Reform of Education and Teacher's Training on the topic Educational Sciences in Search of Global Identity which was conceived and organized by the Ministry of Education and Science of the Republic of Lithuania, Lithuanian University of Educational Sciences and Heidelberg University of Education (Germany). Main topics of the conference were educational quality standards of Higher and Secondary Education. This kind of quality management relies on the acquisition of interactive competence in socialization and the educational sector. The development of these basic skills is prerequisite for achieving an identity in order to meet the challenges of our society in the coming decade.

Dieser Band geht auf eine Tagung des Militargeschichtlichen Forschungsamtes zuruck. Uber 30 ausgewiesene Fachleute aus dem In- und Ausland berichten uber neuere Perspektiven der Militargeschichtsschreibung. Sie analysieren die Entwicklung des Faches nach 1945 und gehen anhand der Leitthemen "Raum," "Gewalt" und "Reprasentation" den Ursachen, den Ertragen und den Chancen dieser boomenden Teildisziplin der Geschichtswissenschaft nach. Sie geben Hinweise darauf, wie die militargeschichtliche Grundlagenforschung der historischen Bildung in den Streitkraften sowie der Traditionsstiftung nutzbar gemacht werden kann."

Aktuelle Problembeschreibungen zum Themenfeld "UEbergang Schule/Beruf" nehmen zum einen auf die in ungleichheitstheoretischen Untersuchungen identifizierten 'Risikofaktoren' beim UEbergang von der Schule in den Ausbildungsmarkt Bezug; zum anderen werden unter der Perspektive mangelnder 'Ausbildungsreife' die Kompetenzdefizite von Jugendlichen ohne Ausbildungsplatz beschrieben und darauf abgestimmte Massnahmen entwickelt und dokumentiert. In den Blick genommen werden in beiden Fallen die Jugendlichen selbst, ihre schulischen Leistungen, ihre berufsbezogenen Kompetenzen, ihre sozialen Ressourcen etc. Mit diesem Fokus geht jedoch eine Verkurzung der Perspektive einher, bei der die Ursachen von UEbergangsproblemen den Betroffenen selbst zugeschrieben werden und die strukturellen, bildungs- und arbeitspolitischen und oekonomischen Bedingungen, die die Problematik des UEbergangs von der Schule in den Beruf (und den UEbergang als solchen!) hervorgebracht haben und weiter hervorbringen, zugleich aussen vor bleiben. Beim Lesen der Beitrage in diesem Band wird man feststellen, dass es in der Debatte zum UEbergang von der Schule in den Beruf eine Vielzahl an unterschiedlichen blinden Flecken gibt. Jeder einzelne Beitrag deckt mit seiner spezifischen Perspektive eines oder mehrere Problemfelder auf, die in der Debatte bisher kaum beleuchtet wurden und der zukunftigen Auseinandersetzung und Forschung als Impulse dienen koennen.

Kann die Kritische Theorie im erziehungswissenschaftlichen und bildungspolitischen Diskurs noch Aktualitat beanspruchen? In ihren Beitragen befassen sich die Autorinnen und Autoren mit einzelnen erziehungs- und bildungstheoretischen Aspekten des aktuellen Diskurses sowie mit padagogisch relevanten Themen aus dem gesellschaftspolitischen Bereich. Im Fokus steht die Frage, ob die Denkinstrumente der Kritischen Theorie noch zur Analyse von Entwicklungen und zur Aufklarung uber Widerspruche im erziehungswissenschaftlichen Diskurs beitragen koennen.

Masterarbeit aus dem Jahr 2003 im Fachbereich Elektrotechnik, Note: 1,2, Hochschule fur Technik und Wirtschaft Dresden (Elektrotechnik), Sprache: Deutsch, Abstract: Inhaltsangabe: Zusammenfassung: Mit zunehmender Verbreitung von Wireless Local Area Networks (WLANs) im betrieblichen und industriellen Umfeld wird immer ofter der Wunsch laut, auch herkommliche, leitungsgebundene Netze und Protokolle uber ein wireless LAN zu betreiben. Einen solchen, weit verbreiteten, Standard fur die Vernetzung von Maschinen und Anlagen in industrieller Umgebung stellen die sogenannten Feldbussysteme dar. Bei Feldbussystemen handelt es sich um eine spezielle Klasse lokaler Netzwerke (LANs), die insbesondere industrielle Anwendungen im Blick hat. Diese Anwendungen zeichnen sich durch harte EchtzeitBedingungen aus: es mussen sicherheitskritische Nachrichten, z.B. Alarme, innerhalb einer maximalen Zeit sicher ubertragen werden konnen. Hinzu kommt, dass Feldbussysteme vielfach in rauen Umgebungen mit starken Storungen eingesetzt werden. Viele industrielle Anwendungen haben mobile Subsysteme und konnen somit von aktuellen drahtlosen Netzwerktechnologien profitieren, welche Mobilitat in naturlicher Weise unterstutzen (im Gegensatz zu den bisherigen kabelgebundenen Technologien). Der IEEE 802.11x wireless LAN Standard ist derzeit die fuhrende WLANTechnologie. Der Standard ist ausgereift und fertige Systeme bzw. Komponenten sind kommerziell in grosser Vielfalt kostengunstig erhaltlich. Es ist daher naheliegend zu untersuchen, ob und wie diese Technologie fur drahtlose Feldbussysteme genutzt werden konnte. Eine zentrale Frage dabei ist, wie uber das drahtlose Medium trotz hoher potentieller Fehlerraten und zeitvarianten Fehlerverhaltens eine moglichst gute EchtzeitLeistung (RealtimePerformance) erzielt werden kann. Der Begriff der EchtzeitLeistung fasst dabei gleichzeitig Zeit und Zuverlassigkeitsaspekte der Ubertragung sicherheitskritischer Daten ins Auge. Ein weiterer grosser Bereich