Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.

Анализ экспериментальных данных физического моделирования магнитотеллурического поля лля моделей интрузивных тел с применением компьютерной графики

მაგნიტოტელურული ველის ფიზიკური მოდელირების შედეგები, განსაზღვრული ფორმის ინტრუზიული სხეულებისათვის, დამუშავებულია კომპიუტერული გრაფიკის საშუალებით. დადგინდა, რომ მკვეთრად შემოკონტურდება დღიური ზედაპირის იმიტაციით გადაფარული განსაზღვრული ფორმის სხეულების მდებარეობის საზღვრები. განსხვავებული გეომეტრიის მქონე მოდელების, ელექტრომაგნიტური ველის მდგენელების სივრცულ გრაფიკებზე გამოვლენილია მათთვის დამახასიათებელი განსხვავებები.

Экспериментальное исследование с применением компьютерной графики влияния рельефа дневной поверхности на магнитотеллурическое поле

არაერთგვაროვან გარემოში ელექტროდინამიკური პროცესების მოდელირების დანადგარზე გამოკვლეულია მაგნიტოტელურ ველზე სამგანზომილებიანი უსწორმასწორო დღიური ზედაპირის რელიეფის გავლენა. შედეგები დამუშავებულია კომპიუტერული გრაფიკული პროგრამის გამოყენებით.

Analyse und Optimierung von öffentlichen Straßenverkehrsnetzen auf Basis einer objektorientierten, logistischen Betrachtungsweise

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2011

Optimal scheduling with uncertainty in the numerical data on the basis of a stability analysis

Scheduling, job shop, uncertainty, mixed (disjunctive) graph, stability analysis

Steuerung von Innovationsprojekten unter Einbeziehung von Erfolgsfaktoren

Management , innovation project, success factor

Attentionale Modulationen neuronaler Aktivität im primär visuellen Kortex

Visual attention, V1, primary visual cortex, fmri, EEG, MEG, feedback modulation

Formulierung von Nutzerpräferenzen in Multimedia-Retrieval-Systemen

Multimedia, retrieval, multimedia-retrieval-system, multimedia query languages, weighting, preferences

Financial structure choice in owner-managed firms : entrepreneurial characteristics, utility of control, and the competitive context

Magdeburg, Univ., Fak. für Wirtschaftswiss., Diss., 2011

Contracting : ein komplettierendes Finanzierungsinstrument für innovative technische Energieversorgungslösungen

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011

Verteilung der AB0-, Rhesus- und Kell-Merkmale im Großraum Magdeburg. Beurteilung der Bereitstellung immunologisch möglichst kompatibler Konserven unter Berücksichtigung der aktuellen Hämotherapierichtlinien

Magdeburg, Univ., Med. Fak., Diss., 2002

Untersuchungen zum perioperativen Management bei Pankreaskopfresektionen

Magdeburg, Univ., Medizin. Fakultät, Diss., 2009

Entwicklung der Qualitätsindikatoren nach der Einführung eines Qualitäts- und Informationsmanagementsystems an der Klinik für Herz- und Thoraxchirurgie der Otto-von-Guericke-Universität Magdeburg

Magdeburg, Univ., Medizin. Fakultät, Diss., 2009

Bestimmung der Distraktionskräfte an Meniskuskorbhenkelrissen

Magdeburg, Univ., Medizin. Fakultät, Diss., 2007

Einfluss des synthetischen Matrixmetalloproteinasen-Inhibitors Batimastat auf die Wundkontraktion der Haut

Magdeburg, Univ., Medizin. Fakultät, Diss., 2009