Refine
Year of publication
Document Type
- Monograph/Edited Volume (1181) (remove)
Language
- English (1181) (remove)
Is part of the Bibliography
- yes (1181) (remove)
Keywords
- Hasso-Plattner-Institut (9)
- Forschungskolleg (8)
- Hasso Plattner Institute (8)
- Klausurtagung (8)
- Service-oriented Systems Engineering (8)
- Forschungsprojekte (5)
- Future SOC Lab (5)
- In-Memory Technologie (5)
- Modellierung (5)
- Multicore Architekturen (5)
- Ph.D. retreat (5)
- cloud computing (5)
- cyber-physical systems (5)
- quantitative analysis (5)
- service-oriented systems engineering (5)
- Cloud Computing (4)
- Research School (4)
- multicore architectures (4)
- nested graph conditions (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (4)
- research projects (4)
- research school (4)
- Curriculum Framework (3)
- Datenintegration (3)
- European values education (3)
- Europäische Werteerziehung (3)
- Graphtransformationen (3)
- In-Memory technology (3)
- Lehrevaluation (3)
- Model Synchronisation (3)
- Model Transformation (3)
- Ph.D. Retreat (3)
- Sicherheit (3)
- Smalltalk (3)
- Studierendenaustausch (3)
- Tripel-Graph-Grammatik (3)
- Unterrichtseinheiten (3)
- Verifikation (3)
- Virtualisierung (3)
- curriculum framework (3)
- graph transformation (3)
- graph transformation systems (3)
- lesson evaluation (3)
- machine learning (3)
- maschinelles Lernen (3)
- openHPI (3)
- privacy (3)
- security (3)
- student exchange (3)
- teaching units (3)
- virtual machines (3)
- AUTOSAR (2)
- BPMN (2)
- Betriebssysteme (2)
- Bounded Model Checking (2)
- Cloud-Sicherheit (2)
- Cloud-Speicher (2)
- Data Integration (2)
- Design Thinking (2)
- Digitalisierung (2)
- East Germany (2)
- Governance (2)
- Graphentransformationssysteme (2)
- Graphtransformationssysteme (2)
- Identitätsmanagement (2)
- Innovation (2)
- Java (2)
- Live-Programmierung (2)
- Lively Kernel (2)
- Model Synchronization (2)
- Model-Driven Engineering (2)
- Modeling (2)
- Modellprüfung (2)
- Privacy (2)
- Process Modeling (2)
- Prozessmodellierung (2)
- Psycholinguistik (2)
- Ressourcenoptimierung (2)
- Slumming (2)
- Social Sciences (2)
- Sprachkontakt (2)
- Syntax (2)
- SysML (2)
- Telekommunikation (2)
- Versionsverwaltung (2)
- Verwaltung (2)
- Virtuelle Maschinen (2)
- Werkzeuge (2)
- artifical intelligence (2)
- bounded model checking (2)
- cloud (2)
- continuous integration (2)
- cyber-physische Systeme (2)
- data profiling (2)
- debugging (2)
- digitalization (2)
- graph constraints (2)
- identity management (2)
- in-memory technology (2)
- incremental graph pattern matching (2)
- information structure (2)
- k-inductive invariant checking (2)
- kontinuierliche Integration (2)
- live programming (2)
- model checking (2)
- modeling (2)
- modellgetriebene Entwicklung (2)
- operating systems (2)
- probabilistische gezeitete Systeme (2)
- probabilistische zeitgesteuerte Systeme (2)
- slumming (2)
- smalltalk (2)
- syntax (2)
- township tourism (2)
- triple graph grammars (2)
- typed attributed graphs (2)
- verification (2)
- verschachtelte Graphbedingungen (2)
- version control (2)
- virtualization (2)
- virtuelle Maschinen (2)
- 17th century (1)
- ACINQ (1)
- ARCH (1)
- ARIMA Models (1)
- ARMA Processes (1)
- ASIC (1)
- Abhängigkeiten (1)
- Absolute Advantage (1)
- Absoluter Kostenvorteil (1)
- Abstraktion von Geschäftsprozessmodellen (1)
- Adam Smith (1)
- Agile (1)
- Agilität (1)
- Akan (1)
- Aktienmarkt (1)
- Aktivitäten (1)
- Albania (1)
- Alexander von Humboldt (1)
- Alte Geschichte (1)
- Alterung (1)
- Ambiguity (1)
- Ambiguität (1)
- Analog-zu-Digital-Konvertierung (1)
- Ancient Rome (1)
- Andrei Konchalovsky (1)
- Andrej Končalovskij (1)
- Angola (1)
- Antike Literatur (1)
- Apriori (1)
- Arbeitsethik (1)
- Architektur (1)
- Armed Conflicts (1)
- Armenia ; Human Rights ; Minorities ; Education (1)
- Armut (1)
- Artem Erkomaishvili (1)
- Aspect-oriented Programming (1)
- Aspektorientierte Softwareentwicklung (1)
- Association Rule Mining (1)
- Assoziationsregeln (1)
- Asynchrone Schaltung (1)
- Asynchronous circuit (1)
- Attribut-Merge-Prozess (1)
- Attribute Merge Process (1)
- Aufgabenerfüllung (1)
- Aufsatzsammlung (1)
- Ausführung von Modellen (1)
- Australia (1)
- Australian securities exchange (1)
- Auswirkungen (1)
- Authentizität (1)
- Autocorrelation (1)
- Autokorrelation (1)
- Außenhandel (1)
- BCCC (1)
- BPM (1)
- BTC (1)
- Bahnwesen (1)
- Batchprozesse (1)
- Bayes'sche Netze (1)
- Bayesian networks (1)
- Bedingte Inklusionsabhängigkeiten (1)
- Behavior change (1)
- Beschränkungen und Abhängigkeiten (1)
- Beveridge-Nelson Decomposition (1)
- Bisimulation (1)
- BitShares (1)
- Bitcoin (1)
- Bitcoin Core (1)
- Blockchain (1)
- Blockchain Auth (1)
- Blockchain-Konsortium R3 (1)
- Blockkette (1)
- Blockstack (1)
- Blockstack ID (1)
- Blumix-Plattform (1)
- Blöcke (1)
- Bottom-up (1)
- Bounded Backward Model Checking (1)
- Built Environment (1)
- Byzantine Agreement (1)
- Bürokratisierung (1)
- CEP (1)
- CSC (1)
- CSCW (1)
- Cape Town (1)
- Case studies (1)
- Celtic languages (1)
- Central Banking Policy (1)
- Change Management (1)
- Christlich-jüdische Beziehung (1)
- Cloud (1)
- Co-Regulation (1)
- Cold War (1)
- Colombia (1)
- Colored Coins (1)
- Comparative Advantage (1)
- Comparative Public Administration (1)
- Conditional Inclusion Dependency (1)
- Conformance Überprüfung (1)
- Constraints (1)
- Consumption (1)
- Context-oriented Programming (1)
- Continental Celtic (1)
- Contracts (1)
- Controller-Resynthese (1)
- Creative (1)
- Cyber-Physical Systems (1)
- Cyber-Physical-Systeme (1)
- Cyber-physical-systems (1)
- Cyber-physikalische Systeme (1)
- DAO (1)
- DPoS (1)
- DaZ (1)
- Data Dependency (1)
- Data Modeling (1)
- Data Profiling (1)
- Data Quality (1)
- Data Warehouse (1)
- Database Cost Model (1)
- Datenabhängigkeiten (1)
- Datenanalyse (1)
- Datenbank-Kostenmodell (1)
- Datenflusskorrektheit (1)
- Datenmodellierung (1)
- Datenqualität (1)
- Datensatz (1)
- Datenvertraulichkeit (1)
- Datenvisualisierung (1)
- Deadline-Verbreitung (1)
- Debugging (1)
- Decentralization (1)
- Decentralization in government (1)
- Dekubitus (1)
- Delegated Proof-of-Stake (1)
- Demokratie (1)
- Demokratisierung (1)
- Denkweise (1)
- Deutsch (1)
- Deutschunterricht (1)
- Dezentralisation (1)
- Dezentralisierung (1)
- Diaspora (1)
- Differential Privacy (1)
- Discrimination Networks (1)
- Distributed Proof-of-Research (1)
- Distributed-Ledger-Technologie (DLT) (1)
- Domänen (1)
- Duplicate Detection (1)
- Duplikaterkennung (1)
- Dynamic Type System (1)
- Dynamische Typ Systeme (1)
- E-Learning (1)
- E-Wallet (1)
- ECDSA (1)
- EEG (1)
- EHR (1)
- EPA (1)
- EU (1)
- Echtzeit (1)
- Echtzeitsysteme (1)
- Effectiveness (1)
- Effektivität (1)
- Einnahmenautonomie (1)
- Elektronische Patientenakte (1)
- Energie (1)
- Environment and Sustainability (1)
- Ereignisse (1)
- Erfüllbarkeitsanalyse (1)
- Eris (1)
- Erkennen von Meta-Daten (1)
- Estonia (1)
- Ether (1)
- Ethereum (1)
- Europe (1)
- European Immigration Policies (1)
- European Union (1)
- Europäische Union (1)
- Evidentialität (1)
- Evolution (1)
- Evolution in MDE (1)
- Expenditure Assignment (1)
- Experimentelle Linguisitk (1)
- Extract-Transform-Load (ETL) (1)
- FRP (1)
- Fallstudie (1)
- Familie (1)
- Family (1)
- Federated Byzantine Agreement (1)
- Feedback Loops (1)
- Fehlersuche (1)
- Fehlertoleranz (1)
- Festschrift (1)
- Filmgeschichte (1)
- Finanzielle Performance (1)
- Finanzzuweisungen (1)
- Fiscal Federalism (1)
- Fiskalischer Föderalismus (1)
- FollowMyVote (1)
- Fork (1)
- Formale Verifikation (1)
- Frequenz (1)
- Friedensforschung (1)
- Functional Lenses (1)
- GARCH (1)
- GDR (1)
- Gas (1)
- Generalized Discrimination Networks (1)
- Genre Eastern (1)
- Geography (1)
- Georgian chant (1)
- Georgische liturgische Gesänge (1)
- German (1)
- German lessons (1)
- Germany (1)
- Geschichte 1600-1700 (1)
- Geschichte der Sprachwissenschaft (1)
- Geschichtsschreibung (1)
- Geschäftsprozesse (1)
- Geschäftsprozessmanagement (1)
- Gesetze (1)
- GitHub (1)
- Global History (1)
- Grammatikalisation (1)
- Graph-Constraints (1)
- Graph-basierte Suche (1)
- Graphbedingungen (1)
- Graphdatenbanken (1)
- Graphreparatur (1)
- Graphtransformation (1)
- Great Britain (1)
- Gridcoin (1)
- Großbritannien (1)
- HENSHIN (1)
- HPI Schul-Cloud (1)
- Hard Fork (1)
- Hashed Timelock Contracts (1)
- Hasso-Plattner-Institute (1)
- Hauptspeicherdatenbank (1)
- Hebrew (1)
- Heuristiken (1)
- Historiography (1)
- History (1)
- Homomorphe Verschlüsselung (1)
- Human Rights (1)
- Human-Animal Studies (1)
- Häkeln (1)
- Ideation (1)
- Ideenfindung (1)
- Ideologien und Kino (1)
- Impact (1)
- Implementation in Organizations (1)
- Implementierung in Organisationen (1)
- In-Memory Database (1)
- In-Memory Datenbank (1)
- In-Memory-Datenbank (1)
- Individuen (1)
- Infinite State (1)
- Inflation (1)
- Information Extraction (1)
- Information Systems (1)
- Informationsextraktion (1)
- Informationsstruktur (1)
- Informationssysteme (1)
- Inkrementelle Graphmustersuche (1)
- Innovationsmanagement (1)
- Innovationsmethode (1)
- Inselkeltisch (1)
- Insular Celtic (1)
- Integration Policy (1)
- Interdisciplinary Teams (1)
- Intergovernmental transfers (1)
- International trade (1)
- Internet Content Regulation (1)
- Internet der Dinge (1)
- Internet of Things (1)
- Interpreter (1)
- Interval Timed Automata (1)
- Invariant-Checking (1)
- Invarianten (1)
- Invariants (1)
- Investment (1)
- IoT (1)
- Iroquoian languages (1)
- JCop (1)
- Japanese Blockchain Consortium (1)
- Japanisches Blockchain-Konsortium (1)
- Kapstadt (1)
- Katutura (1)
- Kausalität (1)
- Kette (1)
- Kind (1)
- Ko-Regulierung (1)
- Kognitionswissenschaften (1)
- Kollaborationen (1)
- Kolumbien (1)
- Komparativer Kostenvorteil (1)
- Konsensalgorithmus (1)
- Konsensprotokoll (1)
- Konsensprotokolle (1)
- Konsistenzrestauration (1)
- Kontinentalkeltisch (1)
- Konvergenzrate (1)
- Kooperation (1)
- Korpuslinguistik (1)
- Kreativität (1)
- Kunstanalyse (1)
- Kunststofflichtwellenleiter (1)
- Künstliche Intelligenz (1)
- Labor Migration (1)
- Langzeitverhalten (1)
- Lateinamerika (1)
- Lateinische Literatur (1)
- Latin America (1)
- Latin literature (1)
- Laufzeitanalyse (1)
- Laufzeitmodelle (1)
- Leadership (1)
- Leistungsmodelle von virtuellen Maschinen (1)
- Lesen (1)
- Lexikalisierung (1)
- Lichtwellenleiter (1)
- Lightning Network (1)
- Linguistik (1)
- Link Discovery (1)
- Link-Entdeckung (1)
- Linked Data (1)
- Linked Open Data (1)
- Local Civil Society Networks (1)
- Local Governance (1)
- Lock-Time-Parameter (1)
- Länder (1)
- Lösungsraum (1)
- MDE Ansatz (1)
- MDE settings (1)
- MERLOT (1)
- MOOC (1)
- MOOCs (1)
- Management (1)
- Mandarin (1)
- Markov processes (1)
- Markovprozesse (1)
- Measurement (1)
- Megamodell (1)
- Megamodels (1)
- Mehrkernsysteme (1)
- Mehrsprachigkeit (1)
- Membran (1)
- Menschenrechte (1)
- Messung (1)
- Metadata Discovery (1)
- Metadatenentdeckung (1)
- Metadatenqualität (1)
- Micropayment-Kanäle (1)
- Microsoft Azur (1)
- Middleware (1)
- Migration (1)
- Migration Policy (1)
- Mikrofinanzinstitutionen (1)
- Mikrokredite (1)
- Mindset (1)
- Ministerialverwaltung (1)
- Mission-Drift (1)
- Missionarsgrammatik (1)
- Mobile Application Development (1)
- Modalität (1)
- Model Execution (1)
- Modeling Languages (1)
- Modell-getriebene Softwareentwicklung (1)
- Modelle mit mehreren Versionen (1)
- Modellerzeugung (1)
- Modellgetriebene Softwareentwicklung (1)
- Modellierungssprachen (1)
- Modellreparatur (1)
- Modelltransformationen (1)
- Models at Runtime (1)
- Money Supply (1)
- Morphic (1)
- Morphologie (1)
- Mozambique (1)
- Multi-Instanzen (1)
- Multicore architectures (1)
- Multidisciplinary Teams (1)
- Muster (1)
- Musterabgleich (1)
- NASDAQ (1)
- NameID (1)
- Namecoin (1)
- Namibia (1)
- Neoliberalismus (1)
- Nested Graph Conditions (1)
- Network Enforcement Act (1)
- Netzwerkdurchsetzungsgesetz (1)
- Netzwerkprotokolle (1)
- Newspeak (1)
- Ngizim (1)
- Object Constraint Programming (1)
- Object-Oriented Programming (1)
- Objekt-Constraint Programmierung (1)
- Objekt-Orientiertes Programmieren (1)
- Objekt-orientiertes Programmieren mit Constraints (1)
- Objektlebenszyklus-Synchronisation (1)
- Off-Chain-Transaktionen (1)
- Onename (1)
- Online Course (1)
- Online-Learning (1)
- Online-Lernen (1)
- Onlinekurs (1)
- Open access (1)
- OpenBazaar (1)
- Oracles (1)
- Organisationsveränderung (1)
- Orinoco River system (1)
- Orphan Block (1)
- P2P (1)
- POF (1)
- PRISM Modell-Checker (1)
- PRISM model checker (1)
- PTCTL (1)
- Paradoxographie (1)
- Paradoxography (1)
- Pattern Matching (1)
- Patterns (1)
- Peace Studies (1)
- Peer-to-Peer Netz (1)
- Peercoin (1)
- Persistenz (1)
- Petri net Mapping (1)
- Petri net mapping (1)
- Petrinetz (1)
- Phonologie (1)
- PoB (1)
- PoS (1)
- PoW (1)
- Polen (1)
- Politics & International Relations (1)
- Politisierung (1)
- Posenabschätzung (1)
- Principal agent relation (1)
- Privatsphäre (1)
- Problem Solving (1)
- Problemlösung (1)
- Process (1)
- Process Enactment (1)
- Process Mining (1)
- Programmiererlebnis (1)
- Programmierung (1)
- Programming Languages (1)
- Proof-of-Burn (1)
- Proof-of-Stake (1)
- Proof-of-Work (1)
- Propagation von Aktivitätsinstanzzuständen (1)
- Property Prices (1)
- Prototyping (1)
- Prozess (1)
- Prozessausführung (1)
- Prozesserhebung (1)
- Prozessinstanz (1)
- Prozessoren (1)
- Psychologie (1)
- Psychology (1)
- Public Debt (1)
- Public-Private Partnerships (1)
- Python (1)
- Quanten-Computing (1)
- Quantitative Analysen (1)
- Raumkonstruktion (1)
- Regenerierung (1)
- Regressionstests (1)
- Regulierung (1)
- Regulierung von Internetinhalten (1)
- Religion (1)
- Republicanism (1)
- Republikanismus (1)
- Research Methods (1)
- Research Projects (1)
- Revenue Autonomy (1)
- Reverse Engineering (1)
- Ripple (1)
- Rohstoffe (1)
- Romanische Sprachen (1)
- Ruby (1)
- Runtime Binding (1)
- Runtime-monitoring (1)
- Russia (1)
- Russland (1)
- SCP (1)
- SHA (1)
- SPV (1)
- SQL (1)
- STG decomposition (1)
- STG-Dekomposition (1)
- Sammlungsdatentypen (1)
- Savanne (1)
- Schemaentdeckung (1)
- Schlüsselentdeckung (1)
- Schreiben (1)
- Schreibfähigkeit (1)
- Schriftartgestaltung (1)
- Schriftrendering (1)
- Schriftsprache (1)
- Schriftspracherwerb (1)
- Schwierigkeitsgrad (1)
- Scrollytelling (1)
- Second World (1)
- Self-Adaptive Software (1)
- Sequenzeigenschaften (1)
- Sequenzen von s/t-Pattern (1)
- Serialisierung (1)
- Service-Oriented Architecture (1)
- Service-Orientierte Architekturen (1)
- Service-orientierte Systme (1)
- Sierra Leone (1)
- Signalflankengraph (SFG oder STG) (1)
- Simplified Payment Verification (1)
- Simulation (1)
- Skalierbarkeit der Blockchain (1)
- Slock.it (1)
- Slovakia (1)
- Slowakei (1)
- Slumtourismus (1)
- SoaML (1)
- Socialism (1)
- Soft Fork (1)
- Software/Hardware Co-Design (1)
- Softwarearchitektur (1)
- Softwareproduktlinien (1)
- Softwaretests (1)
- Solution Space (1)
- South Africa (1)
- Soziale Ziele (1)
- Sozialen Medien (1)
- Soziologie (1)
- Spectral Density (1)
- Speicheroptimierungen (1)
- Spektraldichte (1)
- Spezifikation von gezeiteten Graph Transformationen (1)
- Spitzenbeamte (1)
- Sprachförderung (1)
- Sprachspezifikation (1)
- Sprachverarbeitung (1)
- Squeak (1)
- Standardisierung (1)
- Standards (1)
- Stationary Stochastic Processes (1)
- Stationärer Prozess (1)
- Steemit (1)
- Stellar Consensus Protocol (1)
- Stimulus-Onset Asynchrony (1)
- Stock Prices (1)
- Storj (1)
- Streuung (1)
- Studie (1)
- Sub-national Autonomy (1)
- Synchronisation (1)
- System of Systems (1)
- Systemsoftware (1)
- Südafrika (1)
- Tableaumethode (1)
- Tacitus (1)
- Tele-Lab (1)
- Tele-Teaching (1)
- Telemedizin (1)
- Temperatur (1)
- Temporallogik (1)
- Testergebnisse (1)
- Testpriorisierungs (1)
- The Bitfury Group (1)
- The DAO (1)
- Third World (1)
- Threshold Cryptography (1)
- Time Series Analysis (1)
- Timed Automata (1)
- Tools (1)
- Top-down (1)
- Tourismus (1)
- Township (1)
- Township Tourismus (1)
- Townshiptourismus (1)
- Trajektorien (1)
- Transaktion (1)
- Transformation (1)
- Transformationsebene (1)
- Transformationssequenzen (1)
- Transitional Justice (1)
- Transitions (1)
- Transparency (1)
- Transparenz (1)
- Transtional Justice (1)
- Travis CI (1)
- Tripel-Graph-Grammatiken (1)
- Triple Graph Grammar (1)
- Triple Graph Grammars (1)
- Triple-Graph-Grammatiken (1)
- Turkish (1)
- Two-Way-Peg (1)
- Türkisch (1)
- Unbegrenzter Zustandsraum (1)
- United Nations (1)
- Unspent Transaction Output (1)
- Unveränderlichkeit (1)
- Urban Studies (1)
- VUCA-World (1)
- Variationslinguistik (1)
- Vector Error Correction Model (1)
- Verbindungsnetzwerke (1)
- Verbkomplexe (1)
- Verbsyntax (1)
- Verbzweit (1)
- Vereinte Nationen (1)
- Vergleich Filmkulturen (1)
- Verhaltensabstraktion (1)
- Verhaltensbewahrung (1)
- Verhaltensverfeinerung (1)
- Verhaltensänderung (1)
- Verhaltensäquivalenz (1)
- Verification (1)
- Verlässlichkeit (1)
- Versöhnung (1)
- Verteilungsalgorithmen (1)
- Verteilungsalgorithmus (1)
- Verträge (1)
- Verwaltungsreform (1)
- Verzögerungs-Verbreitung (1)
- Vesikel (1)
- Vietnamese (1)
- Virtual machines (1)
- Visualisierung (1)
- Visualisierungskonzept-Exploration (1)
- Vorhersagbarkeit (1)
- Warlpiri (1)
- Wartung von Graphdatenbanksichten (1)
- Watson IoT (1)
- Web applications (1)
- Web-Anwendungen (1)
- Wicked Problems (1)
- Wikipedia (1)
- Windhoek (1)
- Wissenszirkulation (1)
- Worterkennung (1)
- Wüstenbildung (1)
- Zeitgenössisches Judentum (1)
- Zeitreihenanalyse (1)
- Zielvorgabe (1)
- Zookos Dreieck (1)
- Zookos triangle (1)
- Zugriffskontrolle (1)
- Zweitsprache (1)
- academic leadership (1)
- acceptability study (1)
- access control (1)
- activity instance state propagation (1)
- adaptive Systeme (1)
- adaptive systems (1)
- administration (1)
- adoption (1)
- agil (1)
- agricultural policy (1)
- altchain (1)
- alternative chain (1)
- alumni work (1)
- analog-to-digital conversion (1)
- andean geology (1)
- apriori (1)
- architecture (1)
- art analysis (1)
- asset management (1)
- atomic swap (1)
- ausführbare Semantiken (1)
- authenticity (1)
- batch processing (1)
- behavior preservation (1)
- behavioral abstraction (1)
- behavioral equivalenc (1)
- behavioral refinement (1)
- benutzergenerierte Inhalte (1)
- beschreibende Feldstudie (1)
- bewaffnete Konflikte (1)
- bicameralism (1)
- bidirectional payment channels (1)
- big data services (1)
- bilingualism (1)
- biogeography (1)
- bisimulation (1)
- bitcoin (1)
- bitcoins (1)
- blockchain (1)
- blockchain consortium (1)
- blockchain-übergreifend (1)
- blocks (1)
- blumix platform (1)
- bottom-up (1)
- bounded backward model checking (1)
- buraucratisation (1)
- business process management (1)
- business process model abstraction (1)
- business processes (1)
- capacity building (1)
- case study (1)
- causality (1)
- chain (1)
- change management (1)
- child (1)
- circulation of knowledge (1)
- climate time series analysis (1)
- cloud security (1)
- cloud storage (1)
- cognitive sciences (1)
- collaboration (1)
- collection types (1)
- comparative urban studies (1)
- compositional analysis (1)
- computational ethnomusicology (1)
- computational geosciences (1)
- computer vision (1)
- computer-aided design (1)
- computergestützte Musikethnologie (1)
- confidentiality (1)
- confirmation period (1)
- conflict management (1)
- conformance checking (1)
- congruence (1)
- consensus algorithm (1)
- consensus protocol (1)
- consensus protocols (1)
- consistency restoration (1)
- constitutional design (1)
- contest period (1)
- contestation (1)
- continuous testing (1)
- contracts (1)
- control resynthesis (1)
- controlled experiment (1)
- convolutional neural networks (1)
- cooperation (1)
- core executive (1)
- corporate governance (1)
- crochet (1)
- cross-chain (1)
- cultural heritage (1)
- cyber-physikalische Systeme (1)
- data center management (1)
- data flow correctness (1)
- data integration (1)
- data set (1)
- data visualization (1)
- deadline propagation (1)
- decentral identities (1)
- decentralized autonomous organization (1)
- decubitus (1)
- deep learning (1)
- delay propagation (1)
- democracy (1)
- democratic theory (1)
- demografische Informationen (1)
- demographic information (1)
- dependability (1)
- dependable computing (1)
- dependencies (1)
- desertification (1)
- design thinking (1)
- dezentrale Identitäten (1)
- dezentrale autonome Organisation (1)
- differential privacy (1)
- difficulty (1)
- difficulty target (1)
- diffusion (1)
- digital education (1)
- digital elevation models (1)
- digital enlightenment (1)
- digital learning platform (1)
- digital picture archive (1)
- digital sovereignty (1)
- digitale Aufklärung (1)
- digitale Bildung (1)
- digitale Lernplattform (1)
- digitale Souveränität (1)
- digitales Bildarchiv (1)
- direct manipulation (1)
- direkte Manipulation (1)
- discrete-event model (1)
- discrimination networks (1)
- diskretes Ereignismodell (1)
- distributed performance monitoring (1)
- distribution algorithm (1)
- domains (1)
- doppelsemigroup (1)
- doppelter Hashwert (1)
- double hashing (1)
- dynamic typing (1)
- dynamic programming languages (1)
- dynamic systems (1)
- dynamische Programmiersprachen (1)
- dynamische Sprachen (1)
- dynamische Systeme (1)
- early modern manuscript culture (1)
- earth system sciences (1)
- econometric modelling (1)
- economic disparities (1)
- economy (1)
- eindeutig (1)
- electronic health record (1)
- energy (1)
- environmentalism (1)
- ereigniskorrelierte Potentiale (1)
- erfahrbare Medien (1)
- ergodic rates (1)
- europäische Sprachen (1)
- event-related potentials (1)
- events (1)
- evolution in MDE (1)
- evolutionary economics (1)
- executable semantics (1)
- executive personalism (1)
- expedition (1)
- exploratives Programmieren (1)
- exploratory programming (1)
- fault tolerance (1)
- federated voting (1)
- feedback loops (1)
- fehlende Daten (1)
- festschrift (1)
- film cultures in comparison (1)
- financial performance (1)
- firm behaviour (1)
- fiscal policy (1)
- fluctuation (1)
- focus particle (1)
- focus sensitive expressions (1)
- font engineering (1)
- font rendering (1)
- foreign direct investment (1)
- formal semantics (1)
- formal verification (1)
- formal verification methods (1)
- formale Verifikation (1)
- free algebra (1)
- frequency (1)
- frühneuzeitliche Manuskriptkultur (1)
- functional dependency (1)
- functional lenses (1)
- functional programming (1)
- funktionale Abhängigkeit (1)
- funktionale Programmierung (1)
- future SOC lab (1)
- gas (1)
- gefaltete neuronale Netze (1)
- generalized discrimination networks (1)
- geoinformatics (1)
- geomodeling (1)
- geostatistics (1)
- gesture (1)
- getypte Attributierte Graphen (1)
- global model management (1)
- globales Modellmanagement (1)
- globalization (1)
- governance (1)
- government (1)
- grammaticalization (1)
- graph databases (1)
- graph queries (1)
- graph repair (1)
- graph transformations (1)
- hashrate (1)
- heuristics (1)
- higher education management (1)
- historical geography (1)
- history of cinema (1)
- history of linguistics (1)
- homomorphic encryption (1)
- human language processing (1)
- human-centered (1)
- hybrid graph-transformation-systems (1)
- hybride Graph-Transformations-Systeme (1)
- ideologies and cinema (1)
- immutable values (1)
- in-memory database (1)
- individuals (1)
- inductive invariant checking (1)
- induktives Invariant Checking (1)
- inkrementelles Graph Pattern Matching (1)
- innovation (1)
- innovation capabilities (1)
- innovation management (1)
- integrated development environments (1)
- integrierte Entwicklungsumgebungen (1)
- intelligente Verträge (1)
- inter-chain (1)
- interactive media (1)
- interaktive Medien (1)
- interassociativity (1)
- interconnect (1)
- intercultural understanding (1)
- interdisciplinarity (1)
- interdisziplinäre Teams (1)
- interest group (1)
- interface between grammar and information structure (1)
- international law (1)
- international legal order (1)
- international relations (1)
- international trade (1)
- interpreters (1)
- interval probabilistic timed systems (1)
- interval probabilistische zeitgesteuerte Systeme (1)
- interval timed automata (1)
- intuitive Benutzeroberflächen (1)
- intuitive interfaces (1)
- invariant checking (1)
- investment climate (1)
- irokesische Sprachen (1)
- juridical recording (1)
- k-Induktion (1)
- k-induction (1)
- k-inductive invariants (1)
- k-induktive Invarianten (1)
- k-induktive Invariantenprüfung (1)
- k-induktives Invariant-Checking (1)
- keltische Sprachen (1)
- key discovery (1)
- kompositionale Analyse (1)
- kontinuierliches Testen (1)
- kontrolliertes Experiment (1)
- kulturelles Erbe (1)
- künstliche Intelligenz (1)
- language contact (1)
- language specification (1)
- law (1)
- leadership (1)
- lebenslanges Lernen (1)
- lebenszentriert (1)
- ledger assets (1)
- left periphery (1)
- left recursion (1)
- legal change (1)
- lexical databases (1)
- lexikalische Datenbanken (1)
- life-centered (1)
- lifelong learning (1)
- linguistics (1)
- local autonomy (1)
- local government (1)
- local jurisdictions (1)
- location-based (1)
- long-time behaviour (1)
- management (1)
- many-core (1)
- maschinelles Sehen (1)
- mathematical geology (1)
- mehrdimensionale Belangtrennung (1)
- mehrsprachige Ausführungsumgebungen (1)
- membrane (1)
- memory optimization (1)
- menschenzentriert (1)
- menschliche Sprachverarbeitung (1)
- merged mining (1)
- merkle root (1)
- metadata discovery (1)
- metadata quality (1)
- metamorphosis of international law (1)
- methodology (1)
- metric temporal logic (1)
- metric termporal graph logic (1)
- metrisch temporale Graph Logic (1)
- metrische Temporallogik (1)
- micro loans (1)
- microfinance institutions (1)
- micropayment (1)
- micropayment channels (1)
- middleware (1)
- migration (1)
- miner (1)
- mining (1)
- mining hardware (1)
- mining sciences (1)
- ministry of agriculture (1)
- minting (1)
- missing data (1)
- mission drift (1)
- missionary grammar (1)
- modality (1)
- model generation (1)
- model repair (1)
- model transformation (1)
- model-driven engineering (1)
- modelling optical fibres waveguides pof scattering temperature aging ageing (1)
- monitoring (1)
- morphic (1)
- morphology (1)
- multi-core (1)
- multi-dimensional separation of concerns (1)
- multi-instances (1)
- multi-version models (1)
- multidisziplinäre Teams (1)
- multiethnolect (1)
- multilingualism (1)
- multiperspective reception of AvH (1)
- musical scales (1)
- musikalische Tonleitern (1)
- nested application conditions (1)
- network protocols (1)
- neue Institutionentheorie (1)
- new institutional theory (1)
- new public management (1)
- non-manuals (1)
- nonce (1)
- norm change (1)
- object life cycle synchronization (1)
- object-constraint programming (1)
- object-oriented programming (1)
- objektorientiertes Programmieren (1)
- off-chain transaction (1)
- optische Fasern (1)
- organizational change (1)
- orts-basiert (1)
- packrat parsing (1)
- parallel and sequential independence (1)
- parallel computing (1)
- parallele und Sequentielle Unabhängigkeit (1)
- paralleles Rechnen (1)
- parliament (1)
- parliamentary government (1)
- parsing expression grammars (1)
- partial application conditions (1)
- partielle Anwendungsbedingungen (1)
- patterns of democracy (1)
- peer-to-peer network (1)
- pegged sidechains (1)
- performance models of virtual machines (1)
- periodic tasks (1)
- periodische Aufgaben (1)
- persistence (1)
- petri net (1)
- planning (1)
- policy (1)
- political opportunism (1)
- politicisation (1)
- polyglot execution environments (1)
- pose estimation (1)
- poverty (1)
- predictability (1)
- presidential government (1)
- probabilistic timed automata (1)
- probabilistische zeitbehaftete Automaten (1)
- process elicitation (1)
- process instance (1)
- process mining (1)
- processor hardware (1)
- professionalization (1)
- profiling (1)
- programming (1)
- programming experience (1)
- prototyping (1)
- psycholinguistics (1)
- public sector reform (1)
- qualitative model (1)
- qualitatives Modell (1)
- quantum computing (1)
- quorum slices (1)
- railways (1)
- random point processes (1)
- reactive (1)
- reading (1)
- reaktive Programmierung (1)
- real-time (1)
- real-time systems (1)
- rechnerunterstütztes Konstruieren (1)
- reconciliation (1)
- regional development (1)
- regional integration (1)
- regions (1)
- regression testing (1)
- relational model transformation (1)
- relationale Modelltransformationen (1)
- religion (1)
- resource optimization (1)
- resources (1)
- reverse engineering (1)
- rootstock (1)
- runtime adaptations (1)
- runtime monitoring (1)
- s/t-pattern sequences (1)
- satisfiabilitiy solving (1)
- savanna (1)
- scalability of blockchain (1)
- scarce tokens (1)
- schema discovery (1)
- schrumpfende Städte (1)
- scrollytelling (1)
- second language (1)
- selbstbestimmte Identitäten (1)
- self-governance (1)
- self-sovereign identity (1)
- semantic fieldwork (1)
- semantics preservation (1)
- semi-parliamentary government (1)
- semigroup (1)
- separation of powers (1)
- sequence properties (1)
- serialization (1)
- service-oriented systems (1)
- shareholders (1)
- sidechain (1)
- sign languages (1)
- signal transition graph (1)
- simulation (1)
- slum tourism (1)
- small talk (1)
- smart contracts (1)
- social goals (1)
- software architecture (1)
- software product lines (1)
- software tests (1)
- software/hardware co-design (1)
- spatial construction (1)
- specification of timed graph transformations (1)
- speed independent (1)
- squeak (1)
- standardization (1)
- standards (1)
- state and local budgets (1)
- static analysis (1)
- static source-code analysis (1)
- statische Analyse (1)
- statische Quellcodeanalyse (1)
- statistical mechanics (1)
- stimulus-onset asynchrony (1)
- stochastic Petri nets (1)
- stochastic analysis (1)
- stochastische Petri Netze (1)
- stock market (1)
- study (1)
- sustainable development (1)
- symbolic analysis (1)
- symbolic graphs (1)
- symbolische Analyse (1)
- symbolische Graphen (1)
- synchronization (1)
- system of property rights (1)
- system of systems (1)
- systems software (1)
- t.BPM (1)
- tableau method (1)
- tangible media (1)
- tax distribution (1)
- tele-TASK (1)
- telemedicine (1)
- temporal logic (1)
- test case prioritization (1)
- test results (1)
- threshold cryptography (1)
- tiefes Lernen (1)
- timed automata (1)
- tools (1)
- top bureaucrats (1)
- top-down (1)
- tourism (1)
- township (1)
- traditional Georgian music (1)
- traditionelle Georgische Musik (1)
- trajectories (1)
- transaction (1)
- transaction costs (1)
- transformation (1)
- transformation level (1)
- transformation sequences (1)
- transformative justice (1)
- transitional justice (1)
- typed graph transformation systems (1)
- typisierte attributierte Graphen (1)
- typology (1)
- understudied languages (1)
- unique (1)
- urban decline (1)
- urban regeneration (1)
- user-generated content (1)
- value change (1)
- vergleichende Stadtforschung (1)
- verifiable credentials (1)
- verschachtelte Anwednungsbedingungen (1)
- verschachtelte Anwendungsbedingungen (1)
- verteilte Leistungsüberwachung (1)
- verzwickte Probleme (1)
- vesicle (1)
- view maintenance (1)
- visual language (1)
- visual word recognition (1)
- visualization (1)
- visualization concept exploration (1)
- visuelle Sprache (1)
- visuelle Worterkennung (1)
- web-applications (1)
- web-based development (1)
- web-based development environment (1)
- web-basierte Entwicklungsumgebung (1)
- webbasierte Entwicklung (1)
- word recognition (1)
- work ethics (1)
- writing ability (1)
- written language acquisition (1)
- zuverlässige Datenverarbeitung (1)
- zuverlässigen Datenverarbeitung (1)
- Öffentlich-Privater-Partnershaften (1)
- Übergangsjustiz (1)
- Übergangsprozesse (1)
- Überwachung (1)
- überprüfbare Nachweise (1)
Institute
- Institut für Mathematik (350)
- Wirtschaftswissenschaften (187)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (84)
- Institut für Informatik und Computational Science (82)
- Institut für Anglistik und Amerikanistik (45)
- Department Linguistik (43)
- Sozialwissenschaften (39)
- Institut für Physik und Astronomie (35)
- Hasso-Plattner-Institut für Digital Engineering GmbH (33)
- Department Psychologie (24)
Zimzum
(2023)
The Hebrew word zimzum originally means “contraction,” “withdrawal,” “retreat,” “limitation,” and “concentration.” In Kabbalah, zimzum is a term for God’s self-limitation, done before creating the world to create the world. Jewish mystic Isaac Luria coined this term in Galilee in the sixteenth century, positing that the God who was “Ein-Sof,” unlimited and omnipresent before creation, must concentrate himself in the zimzum and withdraw in order to make room for the creation of the world in God’s own center. At the same time, God also limits his infinite omnipotence to allow the finite world to arise. Without the zimzum there is no creation, making zimzum one of the basic concepts of Judaism.
The Lurianic doctrine of the zimzum has been considered an intellectual showpiece of the Kabbalah and of Jewish philosophy. The teaching of the zimzum has appeared in the Kabbalistic literature across Central and Eastern Europe, perhaps most famously in Hasidic literature up to the present day and in philosopher and historian Gershom Scholem’s epoch-making research on Jewish mysticism. The Zimzum has fascinated Jewish and Christian theologians, philosophers, and writers like no other Kabbalistic teaching. This can be seen across the philosophy and cultural history of the twentieth century as it gained prominence among such diverse authors and artists as Franz Rosenzweig, Hans Jonas, Isaac Bashevis Singer, Harold Bloom, Barnett Newman, and Anselm Kiefer.
This book follows the traces of the zimzum across the Jewish and Christian intellectual history of Europe and North America over more than four centuries, where Judaism and Christianity, theosophy and philosophy, divine and human, mysticism and literature, Kabbalah and the arts encounter, mix, and cross-fertilize the interpretations and appropriations of this doctrine of God’s self-entanglement and limitation
ZAS papers in linguistics
(1997)
Writing-between-worlds
(2016)
Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999
(1999)
Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment
(2013)
The World Wide Web as an application platform becomes increasingly important. However, the development of Web applications is often more complex than for the desktop. Web-based development environments like Lively Webwerkstatt can mitigate this problem by making the development process more interactive and direct. By moving the development environment into the Web, applications can be developed collaboratively in a Wiki-like manner. This report documents the results of the project seminar on Web-based Development Environments 2010. In this seminar, participants extended the Web-based development environment Lively Webwerkstatt. They worked in small teams on current research topics from the field of Web-development and tool support for programmers and implemented their results in the Webwerkstatt environment.
Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking.
Dynamics in urban environments encompasses complex processes and phenomena such as related to movement (e.g.,traffic, people) and development (e.g., construction, settlement). This paper presents novel methods for creating human-centric illustrative maps for visualizing the movement dynamics in virtual 3D environments. The methods allow a viewer to gain rapid insight into traffic density and flow. The illustrative maps represent vehicle behavior as light threads. Light threads are a familiar visual metaphor caused by moving light sources producing streaks in a long-exposure photograph. A vehicle’s front and rear lights produce light threads that convey its direction of motion as well as its velocity and acceleration. The accumulation of light threads allows a viewer to quickly perceive traffic flow and density. The light-thread technique is a key element to effective visualization systems for analytic reasoning, exploration, and monitoring of geospatial processes.
Information and its individual interpretations are highly discussed in social media. Their use and misuse is an important subject for cultural and media studies. The theoretical framework of this volume is based on a synopsis of socio-constructivist and semiotic paradigms, which permit insight into ongoing adjustments of the social perception of reality and the thereby changing benchmarks. The assembled micro-studies concentrate primarily on right-wing Internet populism in Germany, France and Italy and allow a more precise idea of the effects the disseminated myths, metaphors and memes can have: Becoming viral, they can have an influence on a society’s semiosphere, i.e.on common sense and social life.
Vienna
(2022)
This book explores and debates the urban transformations that have taken place in Vienna over the past 30 years and their consequences in policy fields such as labour and housing, political and social participation and the environment. Historically, European cities have been characterised by a strong association between social cohesion, quality of life, economic ambition and a robust State. Vienna is an excellent example for that. In more recent years, however, cities were pressured to change policy principles and mechanisms in the context of demographic shifts, post-industrial transformations and welfare recalibration which have led to worsened social conditions in many cities. Each chapter in this volume discusses Vienna's responses to these pressures in key policy arenas, looking at outcomes from the context-specific local arrangements. Against a theoretical framework debating the European city as a model of inclusion and social justice, authors explore the local capacity to innovate urban policies and to address new social risks, while paying attention to potential trade-offs.
The book questions and assesses the city's resilience using time series and an institutional analysis of four key dimensions that characterise the European city model within the context of post-industrial transition: redistribution, recognition, representation and sustainability. It offers a multiscalar perspective of urban governance through labour, housing, participatory and environmental policies, bringing together different levels and public policy types.
Contents: 1. Capitalist societies as market-bargaining societies on the basis of resources of action: The idealtypical bargain between capital and labour; an alternative to Marx' theory of exploitation - Discussion of the model 2. A general typology of paths of societies in history and a characterisation of state socialism - People's capitalisms as perspective of development - What remains from Marx' ideas? 3. Variations of welfare capitalism after the decline of state socialism 3.1 National differences of welfare capitalism 3.2 Overall inequality of income and overall class consciousness 3.3 Explaining income inequality and variation in class consciousness by class and gender 3.3.1 A test of different class models in the FRG 3.3.2 Developing an international model of gendered occupational and employment status as bundles of resources of action 4. Summary
Urban neo-liberalisation
(2020)
The contributions to Urban neo- liberalisation bring together critical analyses of the dynamics and processes neo- liberalism has facilitated in urban contexts. Recent developments, such as intensified economic investment and exposure to aggressive strategies of banks, hedge- funds and investors, and long- term processes of market- and state- led urban restructuration, have produced uneven urban geographies and new forms of exclusion and marginality. These strategies have no less transformed the governance of cities by subordinating urban social life to rationalities and practices of competition within and between cities, and they also heavily impact on city inhabitants’ experience of everyday life. Against the backdrop of recent austerity politics and a marketisation of cities, this volume discusses processes of urban neo- liberalisation with regard to democracy and citizenship, inclusion and exclusion, opportunities, and life- chances. It addresses pressing issues of commodification of housing and home, activation of civil society, vulnerability, and the right to the city.
United in Diversity
(2023)
What are the future perspectives for Jews and Jewish networks in contemporary Europe? Is there a new quality of relations between Jews and non-Jews, despite or precisely because of the Holocaust trauma? How is the memory of the extermination of 6 million European Jews reflected in memorial events and literature, film, drama, and visual arts media? To what degree do European Jews feel as integrated people, as Europeans per see, and as safe citizens? An interdisciplinary team of historians, cultural anthropologists, sociologists, and literary theorists answers these questions for Poland, Hungary, the Czech Republic, Slovakia, and Germany. They show that the Holocaust has become an enduring topic in public among Jews and non-Jews. However, Jews in Europe work self-confidently on their future on the "old continent," new alliances, and in cooperation with a broad network of civil forces. Non-Jewish interest in Jewish history and the present has significantly increased over decades, and networks combatting anti-Semitism have strengthened.
Extract-Transform-Load (ETL) tools are used for the creation, maintenance, and evolution of data warehouses, data marts, and operational data stores. ETL workflows populate those systems with data from various data sources by specifying and executing a DAG of transformations. Over time, hundreds of individual workflows evolve as new sources and new requirements are integrated into the system. The maintenance and evolution of large-scale ETL systems requires much time and manual effort. A key problem is to understand the meaning of unfamiliar attribute labels in source and target databases and ETL transformations. Hard-to-understand attribute labels lead to frustration and time spent to develop and understand ETL workflows. We present a schema decryption technique to support ETL developers in understanding cryptic schemata of sources, targets, and ETL transformations. For a given ETL system, our recommender-like approach leverages the large number of mapped attribute labels in existing ETL workflows to produce good and meaningful decryptions. In this way we are able to decrypt attribute labels consisting of a number of unfamiliar few-letter abbreviations, such as UNP_PEN_INT, which we can decrypt to UNPAID_PENALTY_INTEREST. We evaluate our schema decryption approach on three real-world repositories of ETL workflows and show that our approach is able to suggest high-quality decryptions for cryptic attribute labels in a given schema.
Unavailable
(2023)
Two Papers on Clitics
(2000)
Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In the case of model-driven software engineering, employed versioning approaches also have to handle situations where different artifacts, that is, different models, are linked via automatic model transformations.
In this report, we propose a technique for jointly handling the transformation of multiple versions of a source model into corresponding versions of a target model, which enables the use of a more compact representation that may afford improved execution time of both the transformation and further analysis operations. Our approach is based on the well-known formalism of triple graph grammars and a previously introduced encoding of model version histories called multi-version models. In addition to showing the correctness of our approach with respect to the standard semantics of triple graph grammars, we conduct an empirical evaluation that demonstrates the potential benefit regarding execution time performance.
Transmorphic
(2016)
Defining Graphical User Interfaces (GUIs) through functional abstractions can reduce the complexity that arises from mutable abstractions. Recent examples, such as Facebook's React GUI framework have shown, how modelling the view as a functional projection from the application state to a visual representation can reduce the number of interacting objects and thus help to improve the reliabiliy of the system. This however comes at the price of a more rigid, functional framework where programmers are forced to express visual entities with functional abstractions, detached from the way one intuitively thinks about the physical world.
In contrast to that, the GUI Framework Morphic allows interactions in the graphical domain, such as grabbing, dragging or resizing of elements to evolve an application at runtime, providing liveness and directness in the development workflow. Modelling each visual entity through mutable abstractions however makes it difficult to ensure correctness when GUIs start to grow more complex. Furthermore, by evolving morphs at runtime through direct manipulation we diverge more and more from the symbolic description that corresponds to the morph. Given that both of these approaches have their merits and problems, is there a way to combine them in a meaningful way that preserves their respective benefits?
As a solution for this problem, we propose to lift Morphic's concept of direct manipulation from the mutation of state to the transformation of source code. In particular, we will explore the design, implementation and integration of a bidirectional mapping between the graphical representation and a functional and declarative symbolic description of a graphical user interface within a self hosted development environment. We will present Transmorphic, a functional take on the Morphic GUI Framework, where the visual and structural properties of morphs are defined in a purely functional, declarative fashion. In Transmorphic, the developer is able to assemble different morphs at runtime through direct manipulation which is automatically translated into changes in the code of the application. In this way, the comprehensiveness and predictability of direct manipulation can be used in the context of a purely functional GUI, while the effects of the manipulation are reflected in a medium that is always in reach for the programmer and can even be used to incorporate the source transformations into the source files of the application.
Transitional Justice
(2022)
This publication deals with the topic of transitional justice. In six case studies, the authors link theoretical and practical implications in order to develop some innovative approaches. Their proposals might help to deal more effectively with the transition of societies, legal orders and political systems.
Young academics from various backgrounds provide fresh insights and demonstrate the relevance of the topic. The chapters analyse transitions and conflicts in Sierra Leone, Argentina, Nicaragua, Nepal, and South Sudan as well as Germany’s colonial genocide in Namibia. Thus, the book provides the reader with new insights and contributes to the ongoing debate about transitional justice.
International law is constantly navigating the tension between preserving the status quo and adapting to new exigencies. But when and how do such adaptation processes give way to a more profound transformation, if not a crisis of international law? To address the question of how attacks on the international legal order are changing the value orientation of international law, this book brings together scholars of international law and international relations. By combining theoretical and methodological analyses with individual case studies, this book offers readers conceptualizations and tools to systematically examine value change and explore the drivers and mechanisms of these processes. These case studies scrutinize value change in the foundational norms of the post-1945 order and in norms representing the rise of the international legal order post-1990. They cover diverse issues: the prohibition of torture, the protection of women’s rights, the prohibition of the use of force, the non-proliferation of nuclear weapons, sustainability norms, and accountability for core international crimes. The challenges to each norm, the reactions by norm defenders, and the fate of each norm are also studied. Combined, the analyses show that while a few norms have remained surprisingly robust, several are changing, either in substance or in legal or social validity. The book concludes by integrating the conceptual and empirical insights from this interdisciplinary exchange to assess and explain the ambiguous nature of value change in international law beyond the extremes of mere progress or decline.
When realizing a programming language as VM, implementing behavior as part of the VM, as primitive, usually results in reduced execution times. But supporting and developing primitive functions requires more effort than maintaining and using code in the hosted language since debugging is harder, and the turn-around times for VM parts are higher. Furthermore, source artifacts of primitive functions are seldom reused in new implementations of the same language. And if they are reused, the existing API usually is emulated, reducing the performance gains. Because of recent results in tracing dynamic compilation, the trade-off between performance and ease of implementation, reuse, and changeability might now be decided adversely.
In this work, we investigate the trade-offs when creating primitives, and in particular how large a difference remains between primitive and hosted function run times in VMs with tracing just-in-time compiler. To that end, we implemented the algorithmic primitive BitBlt three times for RSqueak/VM. RSqueak/VM is a Smalltalk VM utilizing the PyPy RPython toolchain. We compare primitive implementations in C, RPython, and Smalltalk, showing that due to the tracing just-in-time compiler, the performance gap has lessened by one magnitude to one magnitude.
Since the end of the Apartheid international tourism in South Africa has increasingly gained importance for the national economy. The centre of this PKS issue’s attention is a particular form of tourism: Township tourism, i.e. guided tours to the residential areas of the black population. About 300,000 tourists per year visit the townships of Cape Town. The tours are also called Cultural, Social, or Reality Tours. The different aspects of township tourism in Cape Town were subject of a geographic field study, which was undertaken during a student research project of Potsdam University in 2007. The text at hand presents the empirical results of the field study, and demonstrates how townships are constructed as spaces of tourism.
Version control is a widely used practice among software developers. It reduces the risk of changing their software and allows them to manage different configurations and to collaborate with others more efficiently. This is amplified by code sharing platforms such as GitHub or Bitbucket. Most version control systems track files (e.g., Git, Mercurial, and Subversion do), but some programming environments do not operate on files, but on objects instead (many Smalltalk implementations do). Users of such environments want to use version control for their objects anyway. Specialized version control systems, such as the ones available for Smalltalk systems (e.g., ENVY/Developer and Monticello), focus on a small subset of objects that can be versioned. Most of these systems concentrate on the tracking of methods, classes, and configurations of these. Other user-defined and user-built objects are either not eligible for version control at all, tracking them involves complicated workarounds, or a fixed, domain-unspecific serialization format is used that does not equally suit all kinds of objects. Moreover, these version control systems that are specific to a programming environment require their own code sharing platforms; popular, well-established platforms for file-based version control systems cannot be used or adapter solutions need to be implemented and maintained.
To improve the situation for version control of arbitrary objects, a framework for tracking, converting, and storing of objects is presented in this report. It allows editions of objects to be stored in an exchangeable, existing backend version control system. The platforms of the backend version control system can thus be reused. Users and objects have control over how objects are captured for the purpose of version control. Domain-specific requirements can be implemented. The storage format (i.e. the file format, when file-based backend version control systems are used) can also vary from one object to another. Different editions of objects can be compared and sets of changes can be applied to graphs of objects. A generic way for capturing and restoring that supports most kinds of objects is described. It models each object as a collection of slots. Thus, users can begin to track their objects without first having to implement version control supplements for their own kinds of objects. The proposed architecture is evaluated using a prototype implementation that can be used to track objects in Squeak/Smalltalk with Git. The prototype improves the suboptimal standing of user objects with respect to version control described above and also simplifies some version control tasks for classes and methods as well. It also raises new problems, which are discussed in this report as well.
Towards computer science
(1998)
The correctness of model transformations is a crucial element for the model-driven engineering of high quality software. A prerequisite to verify model transformations at the level of the model transformation specification is that an unambiguous formal semantics exists and that the employed implementation of the model transformation language adheres to this semantics. However, for existing relational model transformation approaches it is usually not really clear under which constraints particular implementations are really conform to the formal semantics. In this paper, we will bridge this gap for the formal semantics of triple graph grammars (TGG) and an existing efficient implementation. Whereas the formal semantics assumes backtracking and ignores non-determinism, practical implementations do not support backtracking, require rule sets that ensure determinism, and include further optimizations. Therefore, we capture how the considered TGG implementation realizes the transformation by means of operational rules, define required criteria and show conformance to the formal semantics if these criteria are fulfilled. We further outline how static analysis can be employed to guarantee these criteria.
Touring Katutura!
(2016)
Guided sightseeing tours of the former township of Katutura have been offered in Windhoek since the mid-1990s. City tourism in the Namibian capital had thus become, at quite an early point in time, part of the trend towards utilising poor urban areas for purposes of tourism – a trend that set in at the beginning of the same decade. Frequently referred to as “slum tourism” or “poverty tourism”, the phenomenon of guided tours around places of poverty has not only been causing some media sensation and much public outrage since its emergence; in the past few years, it has developed into a vital field of scientific research, too. “Global Slumming” provides the grounds for a rethinking of the relationship between poverty and tourism in world society.
This book is the outcome of a study project of the Institute of Geography at the School of Cultural Studies and Social Science of the University of Osnabrueck, Germany. It represents the first empirical case study on township tourism in Namibia. It focuses on four aspects:
1. Emergence, development and (market) structure of township tourism in Windhoek
2. Expectations/imaginations, representations as well as perceptions of the township and its inhabitants from the tourist’s perspective
3. Perception and assessment of township tourism from the residents’ perspective
4. Local economic effects and the poverty-alleviating impact of township tourism
The aim is to make an empirical contribution to the discussion around the tourism-poverty nexus and to an understanding of the global phenomenon of urban poverty tourism.
Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.
In this study we examine the tonal organization of a series of recordings of liturgical chants, sung in 1966 by the Georgian master singer Artem Erkomaishvili. This dataset is the oldest corpus of Georgian chants from which the time synchronous F0-trajectories for all three voices have been reliably determined (Müller et al. 2017). It is therefore of outstanding importance for the understanding of the tuning principles of traditional Georgian vocal music.
The aim of the present study is to use various computational methods to analyze what these recordings can contribute to the ongoing scientific dispute about traditional Georgian tuning systems. Starting point for the present analysis is the re-release of the original audio data together with estimated fundamental frequency (F0) trajectories for each of the three voices, beat annotations, and digital scores (Rosenzweig et al. 2020). We present synoptic models for the pitch and the harmonic interval distributions, which are the first of such models for which the complete Erkomaishvili dataset was used. We show that these distributions can be very compactly be expressed as Gaussian mixture models, anchored on discrete sets of pitch or interval values for the pitch and interval distributions, respectively. As part of our study we demonstrate that these pitch values, which we refer to as scale pitches, and which are determined as the mean values of the Gaussian mixture elements, define the scale degrees of the melodic sound scales which build the skeleton of Artem Erkomaishvili’s intonation. The observation of consistent pitch bending of notes in melodic phrases, which appear in identical form in a group of chants, as well as the observation of harmonically driven intonation adjustments, which are clearly documented for all pure harmonic intervals, demonstrate that Artem Erkomaishvili intentionally deviates from the scale pitch skeleton quite freely. As a central result of our study, we proof that this melodic freedom is always constrained by the attracting influence of the scale pitches. Deviations of the F0-values of individual note events from the scale pitches at one instance of time are compensated for in the subsequent melodic steps. This suggests a deviation-compensation mechanism at the core of Artem Erkomaishvili’s melody generation, which clearly honors the scales but still allows for a large degree of melodic flexibility. This model, which summarizes all partial aspects of our analysis, is consistent with the melodic scale models derived from the observed pitch distributions, as well as with the melodic and harmonic interval distributions. In addition to the tangible results of our work, we believe that our work has general implications for the determination of tuning models from audio data, in particular for non-tempered music.
Toeplitz operators, and ellipticity of boundary value problems with global projection conditions
(2003)
This paper studies the persistence of daily returns of 21 German stocks from 1960 to 2008. We apply a widely used test based upon the modified R/S-Method by Lo [1991]. As an extension to Lux [1996] and Carbone et al. [2004] and in analogy to moving average or moving volatility, the statistics is calculated for moving windows of length 4, 8, and 16 years for every time series. Periods of persistence or long memory in returns can be found in some but not all time series. Robustness of results is verified by investigating stationarity and short memory effects.
Time series analysis
(2004)
This volume offers new arguments and perspectives in the ongoing debate about the optimal analysis of verb movement, mainly, but not exclusively, in German. Fanselow and Meinunger deal with verb second (V2) movement in German main clauses. Fanselow argues that head movement of the substitution type follows the standard minimalist conceptions of Merge and Move and is therefore not subject to the same objections as head movement as head adjunction which violates Chomsky's minimalist extension condition, operates countercyclically, and fails to let the moved head c-command its trace. Fanselow argues for V2 movement as head movement of the substitution type. Meinunger discusses a restriction on V2 movement imposed by phrases like "mehr als" ('more than'), as in "Der Wert hat sich weit mehr als verdreifacht" ('the value has far more than tripled') where V2 movement is ruled out (cf. *"Der Wert verdreifachte sich mehr als"). Meinunger claims that this restriction is best analysed in phonological terms: the preposition/complementiser "als" acts as a prefixal clitic to its host, the finite verb, which therefore may not move without it. With respect to the V2 debate, Meinunger argues for an interface perspective. He shows that V2 is restricted from both the conceptual and the phonological interface. Vogel, finally, discusses the syntax of clause-final verbal complexes and their dialectal variation in German. He compares three different syntactic analyses, a minimalist head movement analysis, a minimalist XP movement analysis, and an Optimality theoretic PF movement analysis. The three accounts are evaluated relative to the additional assumptions they have to make, the complications they face and how they fit the observations. Vogel argues in favour of the phonologically oriented OT analysis because of its ability to create a direct link between the coming about of a particular word order pattern and its basically phonological trigger. Each of the three papers recognises the relevance of surface forms in the analysis of German verb movement. They differ, however in the extent to which phonological aspects take part in the explanations they offer.
Theories and concepts
(2020)
Urban Change and Citizenship in Times of Crisis addresses the fact that in the beginning of the twenty-first century the majority of the world’s population is urbanised, a social fact that has turned cities more than ever into focal sites of social change. Multiple economic and political strategies, employed by a variety of individual and collective actors, on a number of scales, constitute cities as contested spaces that hold opportunities as well as restrictions for their inhabitants. While cities and urban spaces have long been of central concern for the social sciences, today, classical sociological questions about the city acquire new meaning: Can cities be spaces of emancipation, or does life in the modern city entail a corrosion of citizenship rights? Is the city the focus of societal transformation processes, or do urban environments lose importance in shaping social reality and economic relationships? Furthermore, new questions urgently need to be asked: What is the impact of different historical phenomena such as neo-liberal restructuring, financial and economic crises, or migration flows, as well as their respective counter-movements, on the structure of contemporary cities and on the citizenship rights of city inhabitants? The three volumes address such crucial questions thereby opening up new spaces of debate on both the city and new developments of urbanism.
The contributions to Theories and Concepts offer new theoretical reflections on the city in a philosophical and historical perspective as well as fresh empirical analyses of social life in urban contexts. Chapters not only critically revisit classical and modern philosophical considerations about the nature of cities but no less discuss normative philosophical reflections of urban life and the role of religion in historical processes of the emergence of cities. Composed around the question whether there can be such a thing as a ‘successful city’, this volume addresses issues of urban political subjectivities by considering the city’s role in historical processes of emancipation, the fight for citizenship rights, and today’s challenges and opportunities with regard to promoting social justice, integration, and diversity. Consequentially, theory-driven empirical analyses offer new insight into ways of solving problems in urban contexts and a genuine approach to analyse the Social Quality in cities.
Theoretical Fluid Dynamics
(2019)
“The UN Peacebuilding Commission – Lessons from Sierra Leone” by political scientist Andrea Iro is an assessment of the United Nations Peacebuilding Commission (PBC) and the United Nations Peacebuilding Fund (PBF) by analysing their performance over the last two years in Sierra Leone, one of the first PBC focus countries. The paper explores the key question of how the PBC/PBF’s mandate has been translated into operational practice in the field. It concludes that though the overall impact has been mainly positive and welcomed by the country, translating the general mandate into concrete activities remains a real challenge at the country level.
Contents: Artem Polyvanny, Sergey Smirnow, and Mathias Weske The Triconnected Abstraction of Process Models 1 Introduction 2 Business Process Model Abstraction 3 Preliminaries 4 Triconnected Decomposition 4.1 Basic Approach for Process Component Discovery 4.2 SPQR-Tree Decomposition 4.3 SPQR-Tree Fragments in the Context of Process Models 5 Triconnected Abstraction 5.1 Abstraction Rules 5.2 Abstraction Algorithm 6 Related Work and Conclusions
The Tetrarchy as Ideology
(2023)
The 'Tetrarchy', the modern name assigned to the period of Roman history that started with the emperor Diocletian and ended with Constantine I, has been a much-studied and much-debated field of the Roman Empire. Debate, however, has focused primarily on whether it was a true 'system' of government, or rather a collection of ad-hoc measures undertaken to stabilise the empire after the troubled period of the 3rd century CE. The papers collected here aim to go beyond this question and to present an innovative approach to a fascinating period of Roman history by understanding the Tetrarchy not as a system of government, but primarily as a political language. Their focus thus lies on the language and ideology of the imperial college and court, on the performance of power in imperial ceremonies, the representation of the emperors and their enemies in the provinces of the Roman world, as well as on the afterlife of Tetrarchic power in the Constantinian period.
Like in all countries in transition, the tax as well as the transfer system have been under serious reform pressures. The socialistic systems were not able to fulfill the necessary functions in providing a certain degree of redistribution and social security, which are inevitable for social oriented market economies. Increasing income and wage differentiation is one of the most important prerequisites for a market oriented ability to pay tax system. But in the transformation period, numerous quasi-legal or even illegal property transactions have taken place, thus leading to wealth concentrations on the one hand while as consequence of the bankruptcy of socialism, enormous poverty problems have arisen on the other. For the political acceptance of the transformation process it is of utmost importance that an efficient and fair tax system is implemented and social security is organised by the state on a level which secures at least the physical minimum of subsistence or – if economically possible – even a social-cultural minimum. Whether the state should go further in providing compulsory social insurance systems has been a hotly debated topic for decades even in the welfare and social states of the Western type. Whereas the basic security systems have to be financed by general tax revenue, for a compulsory social insurance system – due to the insurance character – special earmarked social security contribution are held necessary. Both public goods and services as well as at least basic security have to be financed by total tax revenue. For the acceptance and fairness of the whole system the total redistributive effect of both sides of the budget – the tax system as well as the expenditure system – are decisive. In this paper we will concentrate on the revenue side, e.g. on the taxes as well as on the social security contributions. Adam Smith had already formulated some very simple tax norms which have been transformed in modern tax theory. The equivalence as well as the ability-topay principle are basic yardsticks for every tax system in a democratic oriented market system, not to forget tax fairness. In the historical development process equity-oriented measures have often produced an enormous complexity of the single taxes as well as of the whole tax system. Therefore, reconsidering the Smithian principles of simplicity and of minimum compliance costs for the tax payer would even press many Western European tax systems to undergo serious reform processes which often are delayed because of intense interest group influence. Hence, a modern tax system is a simple one which consists only of a few single taxes which are easy to administer. Such a system consists of two main taxes, the income and the value added tax. Consequently in all countries of transition both taxes have been implemented, while the implementation was fostered by the fact that both also constitute the typical components of the EU member states systems. Therefore such a harmonising tax reform is the most important prerequisite to become a membership candidate. Bulgaria also tried to follow this general pattern in reforming the income tax system starting in 1992 and replacing the old socialistic turnover tax and excise duty system by the value added tax (VAT) in 1994. Especially with regard to the income tax system the demand for simplicity has not been met yet. Complex rules to define the tax base as well as a steeply progressive tax schedule have led to behavioral adaptations which are even strengthened by the effects of a high social contribution burden which is predominantly laid on the employers. In the following some concise descriptions of the tax and social contribution system are given; the paper closes with a summary, in which the impacts of the system are evaluated and some political recommendations for further reforms are presented.