Refine
Year of publication
Document Type
- Monograph/Edited Volume (1206) (remove)
Language
- English (1206) (remove)
Keywords
- Hasso-Plattner-Institut (9)
- Forschungskolleg (8)
- Hasso Plattner Institute (8)
- Klausurtagung (8)
- Service-oriented Systems Engineering (8)
- Forschungsprojekte (6)
- Future SOC Lab (6)
- In-Memory Technologie (6)
- Multicore Architekturen (6)
- cloud computing (6)
- Cloud Computing (5)
- Modellierung (5)
- Ph.D. retreat (5)
- cyber-physical systems (5)
- multicore architectures (5)
- quantitative analysis (5)
- research projects (5)
- service-oriented systems engineering (5)
- Research School (4)
- nested graph conditions (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (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)
- in-memory technology (3)
- information structure (3)
- lesson evaluation (3)
- machine learning (3)
- maschinelles Lernen (3)
- openHPI (3)
- privacy (3)
- security (3)
- student exchange (3)
- syntax (3)
- teaching units (3)
- virtual machines (3)
- AUTOSAR (2)
- BPMN (2)
- Betriebssysteme (2)
- Bounded Model Checking (2)
- Cape Town (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)
- Kapstadt (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)
- South Africa (2)
- Sprachkontakt (2)
- Syntax (2)
- SysML (2)
- Südafrika (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)
- focus sensitive expressions (2)
- graph constraints (2)
- identity management (2)
- incremental graph pattern matching (2)
- k-inductive invariant checking (2)
- kontinuierliche Integration (2)
- live programming (2)
- methodology (2)
- model checking (2)
- modeling (2)
- modellgetriebene Entwicklung (2)
- operating systems (2)
- probabilistische gezeitete Systeme (2)
- probabilistische zeitgesteuerte Systeme (2)
- prosody (2)
- semantic fieldwork (2)
- slumming (2)
- smalltalk (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)
- Adverbial Quantification (1)
- Adverbs of Frequency (1)
- Adverbs of Quantity (1)
- Agile (1)
- Agilität (1)
- Akan (1)
- Aktienmarkt (1)
- Aktivitäten (1)
- Albania (1)
- Alexander von Humboldt (1)
- Alterung (1)
- Ambiguity (1)
- Ambiguität (1)
- Analog-zu-Digital-Konvertierung (1)
- Andrei Konchalovsky (1)
- Andrej Končalovskij (1)
- Angola (1)
- Antike Literatur (1)
- Antipersistence (1)
- Apriori (1)
- Arbeitsethik (1)
- Architektur (1)
- Armed Conflicts (1)
- Armenia ; Human Rights ; Minorities ; Education (1)
- Armut (1)
- Arnos Padiri (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)
- 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)
- Diffusionsprozess (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)
- Energieerzeugung (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 2003-2006 (1)
- Geschichte der Sprachwissenschaft (1)
- Geschäftsprozesse (1)
- Geschäftsprozessmanagement (1)
- Gesetze (1)
- Gibbs field (1)
- GitHub (1)
- Global History (1)
- Governance and Government (1)
- Grammatica (1)
- Grammatikalisation (1)
- Grandonica (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)
- Hanxleden (1)
- Hard Fork (1)
- Hashed Timelock Contracts (1)
- Hasso-Plattner-Institute (1)
- Hauptspeicherdatenbank (1)
- Hebrew (1)
- Heuristiken (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)
- Investitionspolitik (1)
- Investment (1)
- IoT (1)
- Irak (1)
- Iroquoian languages (1)
- JCop (1)
- Japanese (1)
- Japanese Blockchain Consortium (1)
- Japanisches Blockchain-Konsortium (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)
- Latin America (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)
- Minderheit (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)
- Monte Carlo testing (1)
- Morphic (1)
- Morphologie (1)
- Mozambique (1)
- Multi-Instanzen (1)
- Multicore architectures (1)
- Multidisciplinary Teams (1)
- Muster (1)
- Musterabgleich (1)
- NASDAQ (1)
- Nachhaltigkeit (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)
- PLS (1)
- POF (1)
- PRISM Modell-Checker (1)
- PRISM model checker (1)
- PTCTL (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)
- Political science (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 administration (1)
- Public-Private Partnerships (1)
- Python (1)
- Quanten-Computing (1)
- Quantitative Analysen (1)
- Raumkonstruktion (1)
- Reflektierende Randbedingungen (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)
- Sanskrit (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)
- Situations (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)
- 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)
- Tableaumethode (1)
- Tele-Lab (1)
- Tele-Teaching (1)
- Telemedizin (1)
- Temperatur (1)
- Temporallogik (1)
- Tense Semantics (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)
- accelerated life time model (1)
- acceptability study (1)
- access control (1)
- activity instance state propagation (1)
- adaptive Systeme (1)
- adaptive systems (1)
- administration (1)
- adoption (1)
- afro-asiatic (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)
- argument / adjunct focus (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)
- capital and ownership structure (1)
- case study (1)
- causality (1)
- censoring (1)
- chain (1)
- change management (1)
- child (1)
- circulation of knowledge (1)
- climate time series analysis (1)
- cloud security (1)
- cloud storage (1)
- cluster expansion (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)
- diffusion process (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 models (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)
- efficient market hypothesis (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)
- experimental linguistics (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 asymmetries (1)
- focus particle (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)
- goodness-of-fit testing (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 situ upgrading (1)
- in-memory database (1)
- individuals (1)
- inductive invariant checking (1)
- induktives Invariant Checking (1)
- infinite-dimensional Brownian diffusion (1)
- informal settlements (1)
- informelle Siedlungen (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 (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 memory (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)
- mergers and acquisitions (1)
- merkle root (1)
- metadata discovery (1)
- metadata quality (1)
- metamorphosis of international law (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)
- nonparametric regression estimation (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)
- path models (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)
- reflecting boundary (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)
- 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)
- social housing (1)
- software architecture (1)
- software product lines (1)
- software tests (1)
- software/hardware co-design (1)
- sozialer Wohnungsbau (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)
- stochastic differential equations (1)
- stochastische Differentialgleichungen (1)
- stochastische Petri Netze (1)
- stock market (1)
- stock returns (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 (353)
- Wirtschaftswissenschaften (191)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (89)
- Institut für Informatik und Computational Science (82)
- Department Linguistik (47)
- Institut für Anglistik und Amerikanistik (46)
- Sozialwissenschaften (39)
- Institut für Physik und Astronomie (35)
- Hasso-Plattner-Institut für Digital Engineering GmbH (33)
- Department Psychologie (25)
The business problem of having inefficient processes, imprecise process analyses and simulations as well as non-transparent artificial neuronal network models can be overcome by an easy-to-use modeling concept. With the aim of developing a flexible and efficient approach to modeling, simulating and optimizing processes, this paper proposes a flexible Concept of Neuronal Modeling (CoNM). The modeling concept, which is described by the modeling language designed and its mathematical formulation and is connected to a technical substantiation, is based on a collection of novel sub-artifacts. As these have been implemented as a computational model, the set of CoNM tools carries out novel kinds of Neuronal Process Modeling (NPM), Neuronal Process Simulations (NPS) and Neuronal Process Optimizations (NPO). The efficacy of the designed artifacts was demonstrated rigorously by means of six experiments and a simulator of real industrial production processes.
Motivation and Emotion in Learning and Teaching across Educational Contexts brings together current theoretical and methodological perspectives as well as examples of empirical implementations from leading international researchers focusing on the context specificity and situatedness of their core theories in motivation and emotion.
The book is compiled of two main sections. Section I covers theoretical reflections and perspectives on the main theories on emotion and motivation in learning and teaching and their transferability across different educational contexts illustrated with empirical examples. Section II addresses the methodological reflections and perspectives on the methodology that is needed to address the complexity and context specificity of motivation and emotion. In addition to general reflections and perspectives regarding methodology, concrete empirical examples are provided. All cutting-edge chapters include current empirical studies on emotions and motivation in learning and teaching across different contexts (age groups, domains, countries, etc.) making them applicable and relevant to a wide range of contexts and settings.
This high-quality volume with contributions from leading international experts will be an essential resource for researchers, students and teacher trainers interested in the vital role that motivation and emotions can play in education.
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
So Many Things are Yours
(2023)
The poet and Talmud scholar examines Jewish texts, sexuality, and human vulnerability in poems that brim with wonder, sadness, sensuality, and humor.
Kosman’s second volume in English explores Jewish texts ―Bible, Talmud, midrash ― alongside bodies, physical desires, military experiences, even a refrigerator. Demons and fantasy enter these poems; so do politics, so does God. These are not religious poems in a conventionally liturgical, “inspirational” sense; yet they point to the big questions that religion asks: about love, hate, desire, violence, transgression, disappointment.
SNS Democracy Council 2023
(2023)
Transboundary problems such as climate change, military conflicts, trade barriers, and refugee flows require increased collaboration across borders. This is to a large extent possible using existing international organizations. In such a case, however, they need to be considerably strengthened – while current trends take us in the opposite direction, according to the researchers in the SNS Democracy Council 2023.
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.
This book compares local self-government in Europe. It examines local institutional structures, autonomy, and capacities in six selected countries - France, Italy, Sweden, Hungary, Poland, and the United Kingdom - each of which represents a typical model of European local government. Within Europe, an overall trend towards more local government capacities and autonomy can be identified, but there are also some counter tendencies to this trend and major differences regarding local politico-administrative settings, functional responsibilities, and resources. The book demonstrates that a certain degree of local financial autonomy and fiscal discretion is necessary for effective service provision. Furthermore, a robust local organization, viable territorial structures, a professional public service, strong local leadership, and well-functioning tools of democratic participation are key aspects for local governments to effectively fulfill their tasks and ensure political accountability. The book will appeal to students and scholars of Public Administration and Public Management, as well as practitioners and policy-makers at different levels of government, in public enterprises, and in NGOs.
Scholarship on German Idealism typically couches the systems of Idealism in terms of a rejection of or departure from Kant's critical philosophy. The few accounts that do look to the positive influence of Kant on the Idealists typically focus on the perceived need among the Idealists to revise Kant's system due to various shortcomings arising from his dualism. This volume seeks to reverse this norm. It does this by bringing together an original set of critical reflections on the ways in which the German Idealists maintain specific and fundamental Kantian qualities in their own systems. At the same time, the aim of this volume is not a reduction of German Idealism to Kant's thought. Instead, this volume highlights a set of core ways in which the German Idealists retain specific, fundamentally Kantian principles and qualities. To that extent, this volume paves the way for new interpretations by laying the ground for identifying those significant components of German Idealism that can defensibly be called "Kantian.
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.
This technical report presents the results of student projects which were prepared during the lecture “Operating Systems II” offered by the “Operating Systems and Middleware” group at HPI in the Summer term of 2020. The lecture covered ad- vanced aspects of operating system implementation and architecture on topics such as Virtualization, File Systems and Input/Output Systems. In addition to attending the lecture, the participating students were encouraged to gather practical experience by completing a project on a closely related topic over the course of the semester. The results of 10 selected exceptional projects are covered in this report.
The students have completed hands-on projects on the topics of Operating System Design Concepts and Implementation, Hardware/Software Co-Design, Reverse Engineering, Quantum Computing, Static Source-Code Analysis, Operating Systems History, Application Binary Formats and more. It should be recognized that over the course of the semester all of these projects have achieved outstanding results which went far beyond the scope and the expec- tations of the lecture, and we would like to thank all participating students for their commitment and their effort in completing their respective projects, as well as their work on compiling this report.