Refine
Year of publication
Document Type
- Monograph/Edited Volume (1208) (remove)
Language
- English (1208) (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)
- 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)
- 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)
- Economic restructuring (1)
- Effectiveness (1)
- Effektivität (1)
- Einnahmenautonomie (1)
- Electoral geography (1)
- Elektronische Patientenakte (1)
- Energie (1)
- Energieerzeugung (1)
- Environment and Sustainability (1)
- Environmental quality (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)
- Geschichtsschreibung (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)
- 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)
- 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)
- Labour market policies (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)
- 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)
- 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)
- 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)
- Social housing innovation (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)
- Tacitus (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)
Das Werk analysiert umfassend das Verbrechen der Aggression im Sinne des Römischen Statuts. Ausgehend von der Rechtsgeschichte, werde die einschlägigen Artikel 8bis, 15bis und 15ter des Römischen Statuts, also die Definition des Verbrechens der Aggression, analysiert.
Ebenso behandelt das Buch weiterführende Entwicklungen des Verbrechens der Aggression über das Jahr 2017 hinaus – das Jahr, in dem es, wahrscheinlich, zu einer Entscheidung über die Aktivierung der Gerichtsbarkeit kommt
A doppelalgebra is an algebra defined on a vector space with two binary linear associative operations. Doppelalgebras play a prominent role in algebraic K-theory. We consider doppelsemigroups, that is, sets with two binary associative operations satisfying the axioms of a doppelalgebra. Doppelsemigroups are a generalization of semigroups and they have relationships with such algebraic structures as interassociative semigroups, restrictive bisemigroups, dimonoids, and trioids.
In the lecture notes numerous examples of doppelsemigroups and of strong doppelsemigroups are given. The independence of axioms of a strong doppelsemigroup is established. A free product in the variety of doppelsemigroups is presented. We also construct a free (strong) doppelsemigroup, a free commutative (strong) doppelsemigroup, a free n-nilpotent (strong) doppelsemigroup, a free n-dinilpotent (strong) doppelsemigroup, and a free left n-dinilpotent doppelsemigroup. Moreover, the least commutative congruence, the least n-nilpotent congruence, the least n-dinilpotent congruence on a free (strong) doppelsemigroup and the least left n-dinilpotent congruence on a free doppelsemigroup are characterized.
The book addresses graduate students, post-graduate students, researchers in algebra and interested readers.
The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners.
The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies.
This technical report presents results of research projects executed in 2017. Selected projects have presented their results on April 25th and November 15th 2017 at the Future SOC Lab Day events.
The XI international conference Stochastic and Analytic Methods in Mathematical Physics was held in Yerevan 2 – 7 September 2019 and was dedicated to the memory of the great mathematician Robert Adol’fovich Minlos, who passed away in January 2018.
The present volume collects a large majority of the contributions presented at the conference on the following domains of contemporary interest: classical and quantum statistical physics, mathematical methods in quantum mechanics, stochastic analysis, applications of point processes in statistical mechanics. The authors are specialists from Armenia, Czech Republic, Denmark, France, Germany, Italy, Japan, Lithuania, Russia, UK and Uzbekistan.
A particular aim of this volume is to offer young scientists basic material in order to inspire their future research in the wide fields presented here.
As Albania is accelerating its preparations towards the European Union candidate status, numerous areas of public policy and practices undergo intensive development processes. Regional development policy is a very new area of public policy in Albania, and needs research and development. This study focuses on the process of sustainable development in Albania, by analyzing and comparing the regional development of regions of Tirana, Shkodra and Kukes. The methodology used consists of a literature/desk review; analytical and comparative approach; qualitative interviews; quantitative data collection; analysis. The research is organized in five chapters. First chapter provides an overview of the study framework. The second outlines the theory and scientific framework for sustainable and regional development in relation with geography. The third chapter presents the picture of the regional development in Albania, analyzing the disparities and regional development in the light of EU requirements and NUTS division. Chapter 4 continues by analyzing and comparing the regional development of the regions: Tirana – driver for change, Shkodra – the North in Development and Kukes – the “shrinking” region. Chapter 5 presents the conclusions and recommendations. This research comes to the conclusions that if growth in Albania is to be increased and sustained, a regional development policy needs to be established.
An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise. In this report, we formulate research questions with the focus of modeling interactions between system parts inside a SoS. Furthermore, we define our notion of important system types and terms by retrieving the current state of the art from literature. Having a common understanding of SoS, we discuss a set of typical SoS characteristics and derive general requirements for a collaboration modeling language. Additionally, we retrieve a broad spectrum of real scenarios and frameworks from literature and discuss how these scenarios cope with different characteristics of SoS. Finally, we discuss the state of the art for existing modeling languages that cope with collaborations for different system types such as SoS.
Local asymptotic types
(2002)
Asymptotic algebras
(2001)
STG decomposition is a promising approach to tackle the complexity problems arising in logic synthesis of speed independent circuits, a robust asynchronous (i.e. clockless) circuit type. Unfortunately, STG decomposition can result in components that in isolation have irreducible CSC conflicts. Generalising earlier work, it is shown how to resolve such conflicts by introducing internal communication between the components via structural techniques only.
This paper deals with Kiezdeutsch, a way of speaking that emerged among adolescents in multiethnic urban neighbourhoods of Germany. We show that, in Kiezdeutsch, we find evidence for both grammatical reduction and new developments in the domain of information structure, and hypothesise that this points to a systematic interaction between grammar and information structure, between weakened grammatical constraints and a more liberal realisation of information-structural preferences. We show that Kiezdeutsch can serve as an interesting test case for such an interaction, that this youth language is a multiethnolect, that is, a new variety that is spoken by speakers from a multitude of ethnic backgrounds, including German, and forms a dynamic linguistic system of its own, thus allowing for systematic developments on grammatical levels and their interfaces with extragrammatical domains.
Perspectives on English Revolutionary Republicanism takes stock of developments in the scholarship of seventeenth-century English republicanism by looking at the movements and schools of thought that have shaped the field over the decades: the linguistic turn, the cultural turn and the religious turn. While scholars of seventeenth-century republicanism share their enthusiasm for their field, they have approached their subject in diverse ways. The contributors to the present volume have taken the opportunity to bring these approaches together in a number of case studies covering republican language, republican literary and political culture, and republican religion, to paint a lively picture of the state of the art in republican scholarship.
The volume begins with three chapters influenced by the theory and methodology of the linguistic turn, before moving on to address cultural history approaches to English republicanism, including both literary culture and (practical) political culture. The final section of the volume looks at how religion intersected with ideas of republican thought. Taken together the essays demonstrate the vitality and diversity of what was once regarded as a narrow topic of political research.
Developing large software projects is a complicated task and can be demanding for developers. Continuous integration is common practice for reducing complexity. By integrating and testing changes often, changesets are kept small and therefore easily comprehensible. Travis CI is a service that offers continuous integration and continuous deployment in the cloud. Software projects are build, tested, and deployed using the Travis CI infrastructure without interrupting the development process. This report describes how Travis CI works, presents how time-driven, periodic building is implemented as well as how CI data visualization can be done, and proposes a way of dealing with dependency problems.
Small and medium-sized companies in economic growth : theory and policy implications for Germany
(1996)
Technological Competition, Employment and innovation policies in OECD countries : with 20 tables
(1998)
European monetary union and exchange rate dynamics : new approaches and application to the Euro
(2001)
Internet market dynamics in Germany : from a small market towards a strategic sector of the economy
(1999)
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.
According to resource allocation theory, animals face a trade off between the allocation of resources into reproduction and into individual growth/maintenance. This trade off is reinforced when food conditions decline. It is well established in biological research that many animals increase their life span when food is in suboptimal supply for growth and/or reproduction. Such a situation of reduced food availability is called dietary restriction. An increase in life span under dietary restricted conditions is seen as a strategy to tolerate periods of food shortage so that the animals can start reproduction again when food is in greater supply. In this study, the effect of dietary restriction on life span and reproduction in two rotifer species, Cephalodella sp. and Elosa worallii, was investigated using life table experiments. The food concentration under dietary restricted conditions was below the threshold for population growth. It was (1) tested whether the rotifers start reproduction again after food replenishment, and (2) estimated whether the time scale of dietary restricted conditions is relevant for the persistence of a population in the field. Only E. worallii responded to dietary restriction with an increase in life span at the expense of reproduction. After replenishment of food, E. worallii started to reproduce again within I day. With an increase in the duration of dietary restricted conditions of up to 15 days, which is longer than the median life span of E. worallii under food saturation, the life span increased and the life time reproduction decreased. These results suggest that in a temporally (or spatially) variable environment, some rotifer populations can persist even during long periods of severe food deprivation.
The value concept of traditional resource economics is welfare. Therefore, sustainability of welfare is often taken to characterise our obligations to future generations. This paper argues that this view is inappropriate because it leaves no room for future generations autonomy. Future generations should be free to make their own decisions. Consequently freedom of choice is the appropriate value concept on which resource economics should be based. The concept of sustainability receives a new interpretation. Sustainability is a principle of intertemporal distributive justice which requires equitable opportunities across generations.
In modern political philosophy social contract theory is the most prominent approach to individual rights and fair institutions. According to social contract theory the system of rights in a society ought to be justified by reconstructing its basic features as a contract between the mutually unconcerned members of society. This paper explores whether social contract theory can successfully be applied to justify rights of future generations. Three competing views are analysed: Rawls's theory of justice, Hobbes's radical liberalism and Gauthier's bargaining framework based on the Lockean proviso.
The paper is an enquiry into dynamic social contract theory. The social contract defines the rules of resource use. An intergenerational social contract in an economy with a single exhaustible resource is examined within a framework of an overlapping generations model. It is assumed that new generations do not accept the old social contract, and access to resources will be renegotiated between any incumbent generation and their successors. It turns out that later generations will be in an unfortunate position regardless of their bargaining power.
This paper opens a series of discussion papers which report about the findings of a research project within the Phare-ACE Programme of the European Union. We, a group of Bulgarian, German, Greek, Polish and Scottish economists and agricultural economists, undertake this research to provide An Integrated Analysis of Industrial Policies and Social Security Systems in Countries in Transition.1 This paper outlines the basic motivation for such study.
Of Rawls's two principles of justice only the second has received attention from economists. The second principle is concerned with the social and economic conditions in a just society. The first principle, however, has largely been neglected. It claims, that all people in society should have equal basic liberties. In this paper Rawls's first principle is characterised in a freedom of choice framework. The analysis reveals conceptual problems of the Rawlsian approach to justice.
Decubitus is one of the most relevant diseases in nursing and the most expensive to treat. It is caused by sustained pressure on tissue, so it particularly affects bed-bound patients. This work lays a foundation for pressure mattress-based decubitus prophylaxis by implementing a solution to the single-frame 2D Human Pose Estimation problem.
For this, methods of Deep Learning are employed. Two approaches are examined, a coarse-to-fine Convolutional Neural Network for direct regression of joint coordinates and a U-Net for the derivation of probability distribution heatmaps.
We conclude that training our models on a combined dataset of the publicly available Bodies at Rest and SLP data yields the best results. Furthermore, various preprocessing techniques are investigated, and a hyperparameter optimization is performed to discover an improved model architecture.
Another finding indicates that the heatmap-based approach outperforms direct regression.
This model achieves a mean per-joint position error of 9.11 cm for the Bodies at Rest data and 7.43 cm for the SLP data.
We find that it generalizes well on data from mattresses other than those seen during training but has difficulties detecting the arms correctly.
Additionally, we give a brief overview of the medical data annotation tool annoto we developed in the bachelor project and furthermore conclude that the Scrum framework and agile practices enhanced our development workflow.
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.
Ceremonial-Acta
(2009)
The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamodel is a specific runtime model whose elements are runtime models and adaptation activities. Thus, a megamodel captures the interplay between multiple models and between models and activities as well as the activation of the activities. In this article, we go one step further and present a modeling language for ExecUtable RuntimE MegAmodels (EUREMA) that considerably eases the development of adaptation engines by following a model-driven engineering approach. We provide a domain-specific modeling language and a runtime interpreter for adaptation engines, in particular for feedback loops. Megamodels are kept explicit and alive at runtime and by interpreting them, they are directly executed to run feedback loops. Additionally, they can be dynamically adjusted to adapt feedback loops. Thus, EUREMA supports development by making feedback loops, their runtime models, and adaptation activities explicit at a higher level of abstraction. Moreover, it enables complex solutions where multiple feedback loops interact or even operate on top of each other. Finally, it leverages the co-existence of self-adaptation and off-line adaptation for evolution.