Refine
Has Fulltext
- yes (247) (remove)
Year of publication
Document Type
- Monograph/Edited Volume (247) (remove)
Language
- English (247) (remove)
Keywords
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (87)
- Wirtschaftswissenschaften (48)
- Hasso-Plattner-Institut für Digital Engineering GmbH (34)
- Department Linguistik (16)
- Extern (16)
- Sozialwissenschaften (10)
- Institut für Umweltwissenschaften und Geographie (9)
- Institut für Mathematik (7)
- Sonderforschungsbereich 632 - Informationsstruktur (6)
- Department Psychologie (4)
Public debate about energy relations between the EU and Russia is distorted. These distortions present considerable obstacles to the development of true partnership. At the core of the conflict is a struggle for resource rents between energy producing, energy consuming and transit countries. Supposed secondary aspects, however, are also of great importance. They comprise of geopolitics, market access, economic development and state sovereignty. The European Union, having engaged in energy market liberalisation, faces a widening gap between declining domestic resources and continuously growing energy demand. Diverse interests inside the EU prevent the definition of a coherent and respected energy policy. Russia, for its part, is no longer willing to subsidise its neighbouring economies by cheap energy exports. The Russian government engages in assertive policies pursuing Russian interests. In so far, it opts for a different globalisation approach, refusing the role of mere energy exporter. In view of the intensifying struggle for global resources, Russia, with its large energy potential, appears to be a very favourable option for European energy supplies, if not the best one. However, several outcomes of the strategic game between the two partners can be imagined. Engaging in non-cooperative strategies will in the end leave all stakeholders worse-off. The European Union should therefore concentrate on securing its partnership with Russia instead of damaging it. Stable cooperation would need the acceptance that the partner may pursue his own goals, which might be different from one’s own interests. The question is, how can a sustainable compromise be found? This thesis finds that a mix of continued dialogue, a tit for tat approach bolstered by an international institutional framework and increased integration efforts appears as a preferable solution.
Contents: Production and Applications of Chitin and Chitosan Krill as a promising raw material for the production of chitin in Europe - Containerized plant for producing chitin - Preparation and characterization of chitosan from Mucorales - Chitosan from Absidia orchidis - Scaling up of lactic acid fermentation of prawn wastes in packed-bed column reactor for chitin recovery - Preparation of chitin by acetic acid fermentation - Inter-source reproducibility of the chitin deacetylation process - Comparative analysis of chitosans from insects and crustacea - Effect of the rate of deacetylation on the physico-chemical properties of cuttlefish chitosan - Deacetylation of chitin by fungal enzymes - Production of partially degraded chitosan with desired molecular weight - Chitin-containing materials Mycoton for wounds treatment - Biological activity of selected forms of chitosan - Application of chitosan on the preservation quality of cut flowers - Preparation and characterization of chitosan films: application in cell cultures - Transport phenomena in chitin gels - Symplex membranes of chitosan and sulphoethylcellulose - Preparation and use of chitosan-Ca pectinate pellets - Bioseparation of protein from cheese whey by using chitosan coagulation and ultrafiltration membranes - Preparation of silk fibroin/chitosan fiber - Preparation of paper sheets containing microcrystalline chitosan - Applications of chitosan in textile printing - Permanent modification of fibrous materials with biopolymers - Ion exchanger from chitosan - Chitosan in waste water treatment - The immobilization of tyrosinase on chitin and chitosan and its possible use in wastewater treatment - Utilization of modified chitosan in aqueous system treatment Biomaterials Chemical and preclinical studies on 6-oxychitin - Diverse biological effects of fungal chitin-glucan complex - Effect of concentration of neutralizing agent on chitosan membrane properties - Preliminary investigation of the compatibility of a chitosan-based peritoneal dialysis solution - Influence of chitosan on the growth of several cellular lines - A new chitosan containing phosphonic group with chelating properties - Biocompatibility of chitin materials using cell culture method Oral Administration of Chitosan Recent results in the oral administration of chitosan - Reduction of absorption of dietary lipids and cholesterol by chitosan, its derivatives and special formulations - Chitosan in weight reduction: results from a large scale consumer study - Conformation of chitosan ascorbic acid salt - Trimethylated chitosans as safe absorption enhancers for transmucosal delivery of peptide drugs - Chitosan derivates as intestinal penetration enhancers of the peptide drug buserelin in vivo and in vitro - Chitosan microparticles for oral vaccination: optimization and characterization - Effect of chitosan in enhancing drug delivery across buccal mucosa - Influence of chitosans on permeability of human intestinal epithelial (Caco-2) cells: The effect of molecular weight, degree of deacetylation and exposure time - Oral polymeric N-acetyl-D-glucosamine as potential treatment for patients with osteoarthritis - Clinicoimmunological efficiency of the chitin-containing drug Mycoton in complex treatment of a chronic hepatitis - Interactions of chitin, chitosan, N-laurylchitosan, and N-dimethylaminopropyl chitosan with olive oil - The chitin-containing preparation Mycoton in a pediatric gastroenterology case - Antifungal activity and release behaviour of cross-linked chitosan films incorporated with chlorhexidine gluconate - Release of N-acetyl-D-glucosamine from chitosan in saliva - Physical and Physicochemical Properties Recent approach of metal binding by chitosan and derivatives - As(V) sorption on molybdate-impregnated chitosan gel beads (MICB) - Influence of medium pH on the biosorption of heavy metals by chitin-containing sorbent Mycoton - Comparative studies on molecular chain parameters of polyelectrolyte chains: the stiffness parameter B and temperature coefficient of intrinsic viscosity of chitosans and poly(diallyldimethylammonium chloride) - Crystalline behavior of chitosan - The relationship between the crystallinity and degree of deacetylation of chitin from crab shell - Reversible water-swellable chitin gel: modulation of swellability - Syneresis aspects of chitosan based gel systems - In situ chitosan gelation using the enzyme tyrosinase - Preparation and characterization of controlling pore size chitosan membranes - Fabrication of porous chitin matrices - Changes of polydispersity and limited molecular weight of ultrasonic treated chitosan - A statistical evaluation of IR spectroscopic methods to determine the degree of acetylation of ?-chitin and chitosan - Products of alkaline hydrolysis of dibutyrylchitin: chemical composition and DSC investigation - Chitosan emulsification properties Chemistry of Chitin and Chitosan Chemically modified chitinous materials: preparation and properties - Progress on the modification of chitosan - The graft copolymerization of chitosan with methyl acrylate using an organohalide-manganese carbonyl coinitiator system - Grafting of 4-vinylpyridine, maleic acid and maleic anhydride onto chitin and chitosan - Peptide synthesis on chitosan/chitin - Graft copolymerization of methyl methacrylate onto mercapto-chitin - Thermal depolymerization of chitosan salts - Radiolysis and sonolysis of chitosan - two convenient techniques for a controlled reduction of molecular weight - Thermal and UV degradation of chitosan - Heat-induced physicochemical changes in highly deacetylated chitosan - Chitosan fiber and its chemical N-modification at the fiber state for use as functional materials - Preparation of a fiber reactive chitosan derivative with enhanced microbial activity - Chromatographic separation of rare earths with complexane types of chemically modified chitosan - The effects of detergents on chitosan - Chitosan-alginate PEC films prepared from chitosan of different molecular weights - Enzymology of Chitin and Chitosan Biosynthesis and Degradation Enzymes of chitin metabolism for the design of antifungals - Enzymatic degradation of chitin by microorganisms - Kinetic behaviours of chitinase isozymes - An acidic chitinase from gizzards of broiler (Gallus gallus L.) - On the contribution of conserved acidic residues to catalytic activity of chitinase B from Serratia marcescens - Detection, isolation and preliminary characterisation of a new hyperthermophilic chitinase from the anaerobic archaebacterium Thermococcus chitonophagus - Biochemical and genetic engineering studies on chitinase A from Serratia marcescens - Induction of chitinase production by Serratia marcescens, using a synthetic N-acetylglucosamine derivative - Libraries of chito-oligosaccharides of mixed acetylation patterns and their interactions with chitinases - Approaches towards the design of new chitinase inhibitors - Allosamidin inhibits the fragmentation and autolysis of Penicillium chrysogenum - cDNA encoding chitinase in the midge, Chironomus tentans - Extraction and purification of chitosanase from Bacillus cereus - Substrate binding mechanism of chitosanase from Streptomyces sp. N174 - Chitosanase-catalyzed hydrolysis of 4-methylumbelliferyl ?-chitotrioside - A rust fungus turns chitin into chitosan upon plant tissue colonization to evade recognition by the host - Antibiotic kanosamine is an inhibitor of chitin biosynthesis in fungi - PCR amplification of chitin deacetylase genes - Amplification of antifungal effect of GlcN-6-P synthase and chitin synthase inhibitors - ?-N-Acetylhexosaminidases: two enzyme families, two mechanisms - Purification and characterisation of chitin deacetylase from Absidia orchidis - Effect of aluminium ion on hydrolysis reaction of carboxymethyl- and dihydroxypropyl-chitin with lysozyme - Structure and function relatioship of human N-acetyl-D-glucosamine 2-epimerase (renin binding protein) - Identification of active site residue(s)
This is the first issue of a series in which affiliates of the Institute of Linguistics report the results of their experimental work. Generative linguistics usually rely on the method of native speaker judgements in order to test their hypotheses. If a hypothesis rules out a set of sentences, linguistics can ask native speakers whether they feel these sentences are indeed ungrammatical in their language. There are, however, circumstances where this method is unreliable. In such cases a more elaborate method to test a hypothesis is called. All papes in this series, and hence, all papers in this volume deal with issues that cannot be reliably tested with native speaker judgements. This volume contains 7 papers, all using different methods and finding answers to very different questions. This heterogenity, by the way, reflects the various interests and research programs of the institute. The paper, by Trutkowski, Zugck, Blaszczak, Fanselow, Fischer and Vogel deals with superiority in 10 Indo-European languages. The paper by Schlesewsky, Fanselow and Frisch and by Schlesewsky and Frisch, deal with the role of case in processing German sentences. The paper by Vogel and Frisch deals with resolving case conflicts, as does the paper by Vogel and Zugck. The nature of partitive case is the topic of the paper by Fischer. The paper by K?gler deals with the realization of question intonation in two German dialects. We hope that you enjoy reading the papers!
Developing rich Web applications can be a complex job - especially when it comes to mobile device support. Web-based environments such as Lively Webwerkstatt can help developers implement such applications by making the development process more direct and interactive. Further the process of developing software is collaborative which creates the need that the development environment offers collaboration facilities. This report describes extensions of the webbased development environment Lively Webwerkstatt such that it can be used in a mobile environment. The extensions are collaboration mechanisms, user interface adaptations but as well event processing and performance measuring on mobile devices.
Complexity in software systems is a major factor driving development and maintenance costs. To master this complexity, software is divided into modules that can be developed and tested separately. In order to support this separation of modules, each module should provide a clean and concise public interface. Therefore, the ability to selectively hide functionality using access control is an important feature in a programming language intended for complex software systems.
Software systems are increasingly distributed, adding not only to their inherent complexity, but also presenting security challenges. The object-capability approach addresses these challenges by defining language properties providing only minimal capabilities to objects. One programming language that is based on the object-capability approach is Newspeak, a dynamic programming language designed for modularity and security. The Newspeak specification describes access control as one of Newspeak’s properties, because it is a requirement for the object-capability approach. However, access control, as defined in the Newspeak specification, is currently not enforced in its implementation.
This work introduces an access control implementation for Newspeak, enabling the security of object-capabilities and enhancing modularity. We describe our implementation of access control for Newspeak. We adapted the runtime environment, the reflective system, the compiler toolchain, and the virtual machine. Finally, we describe a migration strategy for the existing Newspeak code base, so that our access control implementation can be integrated with minimal effort.
There are two common approaches to implement a virtual machine (VM) for a dynamic object-oriented language. On the one hand, it can be implemented in a C-like language for best performance and maximum control over the resulting executable. On the other hand, it can be implemented in a language such as Java that allows for higher-level abstractions. These abstractions, such as proper object-oriented modularization, automatic memory management, or interfaces, are missing in C-like languages but they can simplify the implementation of prevalent but complex concepts in VMs, such as garbage collectors (GCs) or just-in-time compilers (JITs). Yet, the implementation of a dynamic object-oriented language in Java eventually results in two VMs on top of each other (double stack), which impedes performance. For statically typed languages, the Maxine VM solves this problem; it is written in Java but can be executed without a Java virtual machine (JVM). However, it is currently not possible to execute dynamic object-oriented languages in Maxine. This work presents an approach to bringing object models and execution models of dynamic object-oriented languages to the Maxine VM and the application of this approach to Squeak/Smalltalk. The representation of objects in and the execution of dynamic object-oriented languages pose certain challenges to the Maxine VM that lacks certain variation points necessary to enable an effortless and straightforward implementation of dynamic object-oriented languages' execution models. The implementation of Squeak/Smalltalk in Maxine as a feasibility study is to unveil such missing variation points.
Roughly every third Wikipedia article contains an infobox - a table that displays important facts about the subject in attribute-value form. The schema of an infobox, i.e., the attributes that can be expressed for a concept, is defined by an infobox template. Often, authors do not specify all template attributes, resulting in incomplete infoboxes. With iPopulator, we introduce a system that automatically populates infoboxes of Wikipedia articles by extracting attribute values from the article's text. In contrast to prior work, iPopulator detects and exploits the structure of attribute values for independently extracting value parts. We have tested iPopulator on the entire set of infobox templates and provide a detailed analysis of its effectiveness. For instance, we achieve an average extraction precision of 91% for 1,727 distinct infobox template attributes.
Language developers who design domain-specific languages or new language features need a way to make fast changes to language definitions. Those fast changes require immediate feedback. Also, it should be possible to parse the developed languages quickly to handle extensive sets of code.
Parsing expression grammars provides an easy to understand method for language definitions. Packrat parsing is a method to parse grammars of this kind, but this method is unable to handle left-recursion properly. Existing solutions either partially rewrite left-recursive rules and partly forbid them, or use complex extensions to packrat parsing that are hard to understand and cost-intensive. We investigated methods to make parsing as fast as possible, using easy to follow algorithms while not losing the ability to make fast changes to grammars.
We focused our efforts on two approaches.
One is to start from an existing technique for limited left-recursion rewriting and enhance it to work for general left-recursive grammars. The second approach is to design a grammar compilation process to find left-recursion before parsing, and in this way, reduce computational costs wherever possible and generate ready to use parser classes.
Rewriting parsing expression grammars is a task that, if done in a general way, unveils a large number of cases such that any rewriting algorithm surpasses the complexity of other left-recursive parsing algorithms. Lookahead operators introduce this complexity. However, most languages have only little portions that are left-recursive and in virtually all cases, have no indirect or hidden left-recursion. This means that the distinction of left-recursive parts of grammars from components that are non-left-recursive holds great improvement potential for existing parsers.
In this report, we list all the required steps for grammar rewriting to handle left-recursion, including grammar analysis, grammar rewriting itself, and syntax tree restructuring. Also, we describe the implementation of a parsing expression grammar framework in Squeak/Smalltalk and the possible interactions with the already existing parser Ohm/S. We quantitatively benchmarked this framework directing our focus on parsing time and the ability to use it in a live programming context. Compared with Ohm, we achieved massive parsing time improvements while preserving the ability to use our parser it as a live programming tool.
The work is essential because, for one, we outlined the difficulties and complexity that come with grammar rewriting. Also, we removed the existing limitations that came with left-recursion by eliminating them before parsing.
Critics argue that there has been a trend among Microfinance Institutions (MFI) to focus on profitability in order to stay financially sustainable. This made some institutions neglect the social mission of microfinancing. In this paper I intend to examine if empirical evidence supports this so called mission drift hypothesis as well as other claims in this context. Using the global panel data set of the MIX (Microfinance Information Exchange), which gathers from 1995 to 2010 and contains up to 1400 institutions with a high variety of organizational forms, I was able to identify a world-wide mission drift effect in their social goal of reaching out the poorest part of the population. Furthermore, I find that, on average, the outreach of an MFI has a significant negative influence on its short and long term financial performance. Despite that, I eventually proved that the probability that an MFI worsens its social performance substantially increases if its profitability has decreased in the previous years.
Fiscal federalism has been an important topic among public finance theorists in the last four decades. There is a series of arguments that decentralization of governments enhances growth by improving allocation efficiency. However, the empirical studies have shown mixed results for industrialized and developing countries and some of them have demonstrated that there might be a threshold level of economic development below which decentralization is not effective. Developing and transition countries have developed a variety of forms of fiscal decentralization as a possible strategy to achieve effective and efficient governmental structures. A generalized principle of decentralization due to the country specific circumstances does not exist. Therefore, decentralization has taken place in different forms in various countries at different times, and even exactly the same extent of decentralization may have had different impacts under different conditions. The purpose of this study is to investigate the current state of the fiscal decentralization in Mongolia and to develop policy recommendations for the efficient and effective intergovernmental fiscal relations system for Mongolia. Within this perspective the analysis concentrates on the scope and structure of the public sector, the expenditure and revenue assignment as well as on the design of the intergovernmental transfer and sub-national borrowing. The study is based on data for twenty-one provinces and the capital city of Mongolia for the period from 2000 to 2009. As a former socialist country Mongolia has had a highly centralized governmental sector. The result of the analysis below revealed that the Mongolia has introduced a number of decentralization measures, which followed a top down approach and were slowly implemented without any integrated decentralization strategy in the last decade. As a result Mongolia became de-concentrated state with fiscal centralization. The revenue assignment is lacking a very important element, for instance significant revenue autonomy given to sub-national governments, which is vital for the efficient service delivery at the local level. According to the current assignments of the expenditure and revenue responsibilities most of the provinces are unable to provide a certain national standard of public goods supply. Hence, intergovernmental transfers from the central jurisdiction to the sub-national jurisdictions play an important role for the equalization of the vertical and horizontal imbalances in Mongolia. The critical problem associated with intergovernmental transfers is that there is not a stable, predictable and transparent system of transfer allocation. The amount of transfers to sub-national governments is determined largely by political decisions on ad hoc basis and disregards local differences in needs and fiscal capacity. Thus a fiscal equalization system based on the fiscal needs of the provinces should be implemented. The equalization transfers will at least partly offset the regional disparities in revenues and enable the sub-national governments to provide a national minimum standard of local public goods.
The concepts of food deficit, hunger, undernourishment and food security are discussed. Axioms and indices for the assessment of nutrition of individuals and groups are suggested. Furthermore a measure for food aid donor performance is developed and applied to a sample of bilateral and multilateral donors providing food aid for African countries.
This thesis deals with two theories of international trade: the theory of comparative advantage, which is connected to the name David Ricardo and is dominating current trade theory, and Adam Smith’s theory of absolute advantage. Both theories are compared and their assumptions are scrutinised. The former theory is rejected on theoretical and empirical grounds in favour of the latter. On the basis of the theory of absolute advantage, developments of free international trade are examined, whereby the focus is on trade between industrial and underdeveloped countries. The main conclusions are that trade patterns are determined by absolute production cost advantages and that the gap between developed and poor countries is not reduced but rather increased by free trade.
Since 2002, keywords like service-oriented engineering, service-oriented computing, and service-oriented architecture have been widely used in research, education, and enterprises. These and related terms are often misunderstood or used incorrectly. To correct these misunderstandings, a deeper knowledge of the concepts, the historical backgrounds, and an overview of service-oriented architectures is demanded and given in this paper.
This article examines the multiple governments of independent Estonia since 1992 referring to their stability. Confronted with the immense problems of democratic transition, the multi-party governments of Estonia change comparatively often. Following the elections of March 2003 the ninth government since 1992 was formed. A detailed examination of government stability and the example of Estonia is accordingly warranted, given that the country is seen as the most successful Central Eastern European transition country in spite of its frequent changes of government. Furthermore, this article questions whether or not internal government stability can exist within a situation where the government changes frequently. What does stability of government mean and what are the varying multi-faceted depths of the term? Before analysing the term, it has to be clarified and defined. It is presumed that government stability is composed of multiple variables influencing one another. Data about the average tenure of a government is not very conclusive. Rather, the deeper political causes for governmental change need to be examined. Therefore, this article discusses the conceptual and theoretical basics of governmental stability first. Secondly, it discusses the Estonian situation in detail up to the elections of 2003, including a short review of the 9th government since independence. In the conclusion, the author explains whether or not the governments of Estonia are stable. In the appendix, the reader finds all election results and also a list of all previous ministers of Estonian governments (all data are as of July 2002).
Grammatica Grandonica
(2013)
In May 2010, Johann Ernst Hanxleden’s Grammatica Grandonica was rediscovered in Montecompatri (Lazio, Rome). Although historiographers attached much weight to the nearly oldest western grammar of Sanskrit, the precious manuscript was lost for several decades. The first aim of the present digital publication is to offer a photographical reproduction of the manuscript. This facsimile is accompanied by a double edition: a facing diplomatic edition with the Sanskrit in Malayāḷam script, followed by a transliterated established text.
Inhalt: Grundgedanken zur Entwicklung von Leitbildern -Leitbilder im Kontext eines Stadtmarketingkonzeptes -Ein Modell zur Entwicklung von Leitbildern -Das Leitbild als ein Element der Entwicklung eines Stadtmarketing- Konzepts -Funktion von Leitbildern -Anforderungen an Leitbilder Beispiele zur Leitbildentwicklung für die Städte Hennigsdorf und Potsdam
The papers in this volume were presented at the workshop Heterogeneity in Linguistic Databases', which took place on July 9, 2004 at the University of Potsdam. The workshop was organized by project D1: Linguistic Database for Information Structure: Annotation and Retrieval', a member project of the SFB 632, a collaborative research center entitled Information Structure: the Linguistic Means for Structuring Utterances, Sentences and Texts'. The workshop brought together both developers and users of linguistic databases from a number of research projects which work on an empirical basis, all of which have to cope with different sorts of heterogeneity: primary linguistic data and annotated information may be heterogeneous, as well as the data structures representing them. The first four papers (by Wagner, Schmidt, Lüdeling, and Witt) address aspects of heterogeneous data from the point of view of database developers; the remaining three papers (by Meyer, Smith, and Teich/Fankhauser) focus on data exploitation by the users.
This book features four essays that illuminate the relationship between American and Soviet film cultures in the 20th century.
The first essay emphasizes the structural similarities and dissimilarities of the two cultures. Both wanted to reach the masses. However, the goal in Hollywood was to entertain (and educate a little) and in Moscow to educate (and entertain a little).
Some films in the Soviet Union as well as in the United States were conceived as clear competition to one another – as the second essay demonstrates – and the ideological opponent was not shown from its most advantageous side.
The third essay shows how, in the 1980s, the different film cultures made it difficult for the Soviet director Andrei Konchalovsky to establish himself in the US, but nevertheless allowed him to succeed.
In the 1960s, a genre became popular that tells the story of the Russian Civil War using stylistic features of the Western: The Eastern. Its rise and decline are analyzed in the fourth essay.
HPI Future SOC Lab
(2014)
The “HPI Future SOC Lab” is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial 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. 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 2014. Selected projects have presented their results on April 9th and September 29th 2014 at the Future SOC Lab Day events.
HPI Future SOC Lab
(2014)
The “HPI Future SOC Lab” is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial 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. 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 2013. Selected projects have presented their results on April 10th and September 24th 2013 at the Future SOC Lab Day events.
HPI Future SOC Lab
(2013)
The “HPI Future SOC Lab” is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial 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. 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 2012. Selected projects have presented their results on June 18th and November 26th 2012 at the Future SOC Lab Day events.
HPI Future SOC Lab
(2013)
Together with industrial partners Hasso-Plattner-Institut (HPI) is currently establishing a “HPI Future SOC Lab,” which will provide a complete infrastructure for research on on-demand systems. The lab utilizes the latest, multi/many-core hardware and its practical implementation and testing as well as further development. The necessary components for such a highly ambitious project are provided by renowned companies: Fujitsu and Hewlett Packard provide their latest 4 and 8-way servers with 1-2 TB RAM, SAP will make available its latest Business byDesign (ByD) system in its most complete version. EMC² provides high performance storage systems and VMware offers virtualization solutions. The lab will operate on the basis of real data from large enterprises. The HPI Future SOC Lab, which will be open for use by interested researchers also from other universities, will provide an opportunity to study real-life complex systems and follow new ideas all the way to their practical implementation and testing. This technical report presents results of research projects executed in 2011. Selected projects have presented their results on June 15th and October 26th 2011 at the Future SOC Lab Day events.
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 “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 2018. Selected projects have presented their results on April 17th and November 14th 2017 at the Future SOC Lab Day events.
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 2019. Selected projects have presented their results on April 9th and November 12th 2019 at the Future SOC Lab Day events.
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.
Pictures are a medium that helps make the past tangible and preserve memories. Without context, they are not able to do so. Pictures are brought to life by their associated stories. However, the older pictures become, the fewer contemporary witnesses can tell these stories.
Especially for large, analog picture archives, knowledge and memories are spread over many people. This creates several challenges: First, the pictures must be digitized to save them from decaying and make them available to the public. Since a simple listing of all the pictures is confusing, the pictures should be structured accessibly. Second, known information that makes the stories vivid needs to be added to the pictures. Users should get the opportunity to contribute their knowledge and memories. To make this usable for all interested parties, even for older, less technophile generations, the interface should be intuitive and error-tolerant.
The resulting requirements are not covered in their entirety by any existing software solution without losing the intuitive interface or the scalability of the system.
Therefore, we have developed our digital picture archive within the scope of a bachelor project in cooperation with the Bad Harzburg-Stiftung. For the implementation of this web application, we use the UI framework React in the frontend, which communicates via a GraphQL interface with the Content Management System Strapi in the backend. The use of this system enables our project partner to create an efficient process from scanning analog pictures to presenting them to visitors in an organized and annotated way. To customize the solution for both picture delivery and information contribution for our target group, we designed prototypes and evaluated them with people from Bad Harzburg. This helped us gain valuable insights into our system’s usability and future challenges as well as requirements.
Our web application is already being used daily by our project partner. During the project, we still came up with numerous ideas for additional features to further support the exchange of knowledge.
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.
Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555–579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.
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.
Industrial policy and social strategy at the corporate level in Poland : questionnaire results
(1999)
This paper presents results from a survey of industrial policy of the state and the social security system at the corporate level in Poland. Previous reports in this area indicated preferable directions of research to be taken in order to prove various hypotheses of the purposefulness of an integral approach to industrial policy and social security in the analysis of economic processes in transition (see Weikard 1997). This paper summarises the results and draws conclusions from a questionnaire study on subsidies, social benefits and economic policy in Polish firms during the process of transformation. Our results and conclusions show the scope and character of the processes in the area of industrial and social policy in the period 1994 to 1997. The paper is divided into five parts. The first part concerns the aims and methodology of the questionnaire; it also gives a brief description of the sample. The second part shows how enterprises dealt with the issues of employment and wages in this period. The third part characterises industrial policy at the corporate level, while the next presents results from the survey of various social schemes pursued. The final part aims at an integral approach in the analysis of various processes taking place in Polish enterprises. The survey was conducted in the period April to June 1998. Its aim was to observe certain phenomena occurring at the corporate level. The questionnaire was distributed among the managers, directors and presidents of large-size enterprises, which had been selected to satisfy the following three criteria. Firstly, the number of employees had to be considerable (over 300 workers). This criterion was applied following the consideration that certain social phenomena are more conspicuous in enterprises with large manpower. Secondly, only operating enterprises were selected, the enterprises which closed down were disregarded. Finally, for the purposes of the survey the units differed as regards their legal situation and form of ownership. Out of over 1800 enterprises 370 units were drawn where we sent the questionnaire. Unfortunately, as many as 51.9% of the respondents refused co-operation, questions to a certain extent puts the representativeness of the sample in question. Finally, 178 questionnaires were subsequently completed and returned for analysis. However, not all of these questionnaires included full answers to all of the 75 questions; therefore, while discussing the results of the survey we have indicated the number of relevant answers we have received.
This volume presents annotation guidelines that have been developed in the context of the SFB 632, a collaborative research center entitled "Information Structure: the Linguistic Means for Structuring Utterances, Sentences and Texts". An important result of the SFB 632 are the SFB corpora from more than 20 typologically different languages, which have been annotated according to the guidelines presented here. The ultimate target of the data and its annotations is to support the study of Information Structure. Information Structure involves all levels of grammar and, hence, the present guidelines cover relevant aspects of all these levels: - Phonology - Morphology - Syntax - Semantics - Information Structure These levels are dealt with in individual chapters, containing tagset declarations with obligatory and optional tags, detailed annotation instructions, and illustrative examples. The volume also presents an evaluation of inter-annotator agreement of Syntax and Information Structural annotation.
This book deals with the inner life of the capitalist firm. There we find numerous conflicts, the most important of which concerns the individual employment relationship which is understood as a principal-agent problem between the manager, the principal, who issues orders that are to be followed by the employee, the agent. Whereas economic theory traditionally analyses this relationship from a (normative) perspective of the firm in order to support the manager in finding ways to influence the behavior of the employees, such that the latter – ideally – act on behalf of their superior, this book takes a neutral stance. It focusses on explaining individual behavioral patterns and the resulting interactions between the actors in the firm by taking sociological, institutional, and above all, psychological research into consideration. In doing so, insights are gained which challenge many assertions economists take for granted.
This research is about local actors' response to problems of uneven development and unemployment. Policies to combat these problems are usually connected to socio-economic regeneration in England and economic and employment promotion (Wirtschafts- und Beschäftigungsförderung) in Germany. The main result of this project is a description of those factors which support the emergence of local socio-economic initiatives aimed at job creation. Eight social and formal economy initiatives have been examined and the ways in which their emergence has been influenced by institutional factors has been analysed. The role of local actors and forms of governance as well as wider regional and national policy frameworks has been taken into account. Socio-economic initiatives have been defined as non-routine local projects or schemes with the objective of direct job creation. Such initiatives often focus on specific local assets for the formal or the social economy. Socio-economic initiatives are grounded on ideas of local economic development, and the creation of local jobs for local people. The adopted understanding of governance focuses on the processes of decision taking. Thus, this understanding of governance is broadly construed to include the ways in which actors in addition to traditional government manage urban development. The applied understanding of governance lays a focus on 'strategic' forms of decision taking about both long term objectives and short term action linked to socio-economic regeneration. Four old industrial towns in North England and East Germany have been selected for case studies due to their particular socio-economic background. These towns, with between 10.000 and 70.000 inhabitants, are located outside of the main agglomerations and bear central functions for their hinterland. The approach has been comparative, with a focus on examining common themes rather than gaining in-depth knowledge of a single case. Until now, most urban governance studies have analysed the impacts of particular forms of governance such as regeneration partnerships. This project looks at particular initiatives and poses the question to what extent their emergence can be understood as a result of particular forms of governance, local institutional factors or regional and national contexts.
Interdisciplinary studies on information structure : ISIS ; working papers of the SFB 632. - Vol. 1
(2004)
Contents: A1: Phonology and syntax of focussing and topicalisation: Gisbert Fanselow: Cyclic Phonology–Syntax-Interaction: Movement to First Position in German Caroline Féry and Laura Herbst: German Sentence Accent Revisited Shinichiro Ishihara: Prosody by Phase: Evidence from Focus Intonation–Wh-scope Correspondence in Japanese A2: Quantification and information structure: Cornelia Endriss and Stefan Hinterwimmer: The Influence of Tense in Adverbial Quantification A3: Rhetorical Structure in Spoken Language: Modeling of Global Prosodic Parameters: Ekaterina Jasinskaja, Jörg Mayer and David Schlangen: Discourse Structure and Information Structure: Interfaces and Prosodic Realization B2: Focussing in African Tchadic languages: Katharina Hartmann and Malte Zimmermann: Focus Strategies in Chadic: The Case of Tangale Revisited D1: Linguistic database for information structure: Annotation and retrieval: Stefanie Dipper, Michael Götze, Manfred Stede and Tillmann Wegst: ANNIS: A Linguistic Database for Exploring Information Structure
Interdisciplinary studies on information structure : ISIS ; Working papers of the SFB 632 - Vol. 5
(2006)
In this paper we compare the behaviour of adverbs of frequency (de Swart 1993) like usually with the behaviour of adverbs of quantity like for the most part in sentences that contain plural definites. We show that sentences containing the former type of Q-adverb evidence that Quantificational Variability Effects (Berman 1991) come about as an indirect effect of quantification over situations: in order for quantificational variability readings to arise, these sentences have to obey two newly observed constraints that clearly set them apart from sentences containing corresponding quantificational DPs, and that can plausibly be explained under the assumption that quantification over (the atomic parts of) complex situations is involved. Concerning sentences with the latter type of Q-adverb, on the other hand, such evidence is lacking: with respect to the constraints just mentioned, they behave like sentences that contain corresponding quantificational DPs. We take this as evidence that Q-adverbs like for the most part do not quantify over the atomic parts of sum eventualities in the cases under discussion (as claimed by Nakanishi and Romero (2004)), but rather over the atomic parts of the respective sum individuals.
Interdisciplinary studies on information structure : ISIS ; Working papers of the SFB 632. - Vol. 10
(2008)
The 10th volume of the working paper series contains two papers contributed by SFB-members. The first paper “Single prosodic phrase sentences” by Caroline Féry (A1) and Heiner Drenhaus (C6, University of Potsdam) investigates the prosody of Wide Focus Partial Fronting in a series of production and perception experiments. The second paper “Focus Asymmetries in Bura” by Katharina Hartmann, Peggy Jacob (B2, Humboldt University Berlin) and Malte Zimmermann (A5, University of Potsdam) explores the strategies of marking focus in Bura (Chadic).
Interdisciplinary studies on information structure : ISIS ; Working papers of the SFB 632. - Vol. 8
(2007)
The 8th volume of the working paper series Interdisciplinary Studies on Information Structure (ISIS) of the SFB 632 contains a collection of eight papers contributed by guest authors and SFB-members. The first paper on “Biased Questions” is an invited contribution by Nicholas Asher (CNRS, Laboratoire IRIT) & Brian Reese (University of Texas at Austin). Surveying English tag questions, negative polar questions, and what they term “focus” questions, they investigate the effects of prosody on discourse function and discourse structure and analyze the interaction between prosody and discourse in SDRT (Segmented Discourse Representation Theory). Stefan Hinterwimmer (A2) explores the interpretation of singular definites and universally quantified DPs in adverbially quantified English sentences. He suggests that the availability of a co-varying interpretation is more constrained in the case of universally quantified DPs than in the case of singular definites, because different from universally quantified DPs, co-varying definites are inherently focus-marked. The existence of striking similarities between topic/comment structure and bimanual coordination is pointed out and investigated by Manfred Krifka (A2). Showing how principles of bimanual coordination influence the expression of topic/comment structure beyond spoken language, he suggests that bimanual coordination might have been a preadaptation of the development of Information Structure in human communication. Among the different ways of expressing focus in Foodo, an underdescribed African Guang language of the Kwa family, the marked focus constructions are the central topic of the paper by Ines Fiedler (B1 & D2). Exploring the morphosyntactic facilities that Foodo has for focalization, she suggests that the two focus markers N and n have developed out of a homophone conjunction. Focus marking in another scarcely documented African tone language, the Gur language Konkomba, is treated by Anne Schwarz (B1 & D2). Comparing the two alleged focus markers lé and lá of the language, she argues that lé is better interpreted as a syntactic device rather than as a focus marker and shows that this analysis is corroborated by parallels in related languages. The reflexes of Information Structure in four different European languages (French, German, Greek and Hungarian) are compared and validated by Sam Hellmuth & Stavros Skopeteas (D2). The production data was collected with selected materials of the Questionnaire on Information Structure (QUIS) developed at the SFB. The results not only allow for an evaluation of the current elicitation paradigms, but also help to identify potentially fruitful venues of future research. Frank Kügler, Stavros Skopeteas (D2) & Elisabeth Verhoeven (University of Bremen) give an account of the encoding of Information Structure in Yucatec Maya, a Mayan tone language spoken on the Yucatecan peninsula in Mexico. The results of a production experiment lead them to the conclusion that focus is mainly expressed by syntax in this language. Stefanie Jannedy (D3) undertakes an instrumental investigation on the expressions and interpretation of focus in Vietnamese, a language of the Mon-Khmer family contrasting six lexical tones. The data strongly suggests that focus in Vietnamese is exclusively marked by prosody (intonational emphasis expressed via duration, f0 and amplitude) and that different focus conditions can reliably be recovered. This volume offers insights into current work conducted at the SFB 632, comprising empirical and theoretical aspects of Information Structure in a multitude of languages. Several of the papers mine field work data collected during the first phase of the SFB and explore the expression of Information Structure in tone and non-tone languages from various regions of the world.
Contents: Targets, Means and Benefits of Social Protection Standard Risks and Possible Institutional Settings for Social Protection -Market Structure for Pension and Health Insurance -Systems of Social Protection and Security -Replacement Ratios and Income Taxation Social Protection in Selected European Countries: Germany, Austria, The Netherlands, United Kingdom -Pension System -Health System -Unemployment Insurance -Accident Insurance -Basic Security System -Taxation of Wages and Profits The Overall Burden of Taxes and Social Protection Expenses Necessary Reforms, Lessons for Russia and a Basic Approach for a Blueprint -Basic Features of the Reform Process -Reforms within the Branches of Social Protection -Integrated Tax and Transfer Reform -Empirical Evaluation of Tax and Transfer Reforms
The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Interval Probabilistic Timed Graph Transformation Systems (IPTGTSs) as a high-level modeling language. This language supports structure dynamics (based on graph transformation), timed behavior (based on clocks, guards, resets, and invariants as in Timed Automata (TA)), and interval probabilistic behavior (based on Discrete Interval Probability Distributions). That is, for the probabilistic behavior, the modeler using IPTGTSs does not need to provide precise probabilities, which are often impossible to obtain, but rather provides a probability range instead from which a precise probability is chosen nondeterministically. In fact, this feature on capturing probabilistic behavior distinguishes IPTGTSs from Probabilistic Timed Graph Transformation Systems (PTGTSs) presented earlier.
Following earlier work on Interval Probabilistic Timed Automata (IPTA) and PTGTSs, we also provide an analysis tool chain for IPTGTSs based on inter-formalism transformations. In particular, we provide in our tool AutoGraph a translation of IPTGTSs to IPTA and rely on a mapping of IPTA to Probabilistic Timed Automata (PTA) to allow for the usage of the Prism model checker. The tool Prism can then be used to analyze the resulting PTA w.r.t. probabilistic real-time queries asking for worst-case and best-case probabilities to reach a certain set of target states in a given amount of time.
The present lecture notes aim for an introduction to the ergodic behaviour of Markov Processes and addresses graduate students, post-graduate students and interested readers.
Different tools and methods for the study of upper bounds on uniform and weak ergodic rates of Markov Processes are introduced. These techniques are then applied to study limit theorems for functionals of Markov processes.
This lecture course originates in two mini courses held at University of Potsdam, Technical University of Berlin and Humboldt University in spring 2013 and Ritsumameikan University in summer 2013.
Alexei Kulik, Doctor of Sciences, is a Leading researcher at the Institute of Mathematics of Ukrainian National Academy of Sciences.
The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether.
In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.
This document is an analysis of the 'Java Language Conversion Assistant'. Itr will also cover a language analysis of the Java Programming Language as well as a survey of related work concerning Java and C# interoperability on the one hand and language conversion in general on the other. Part I deals with language analysis. Part II covers the JLCA tool and tests used to analyse the tool. Additionally, it gives an overview of the above mentioned related work. Part III presents a complete project that has been translated using the JLCA.
While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned. One approach that tries to overcome these limitations is inductive invariant checking. However, the verification of inductive invariants often requires extensive knowledge about the system in question and faces the approach-inherent challenges of locality and lack of context.
To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants. The additional context acquired by taking multiple (k) steps into account is the key difference to inductive invariant checking and is often enough to establish the desired invariants without requiring the iterative development of additional properties.
To analyze possibly infinite systems in a finite fashion, we introduce a symbolic encoding for transformation traces using a restricted form of nested application conditions. As its central contribution, this report then presents a formal approach and algorithm to verify graph constraints as k-inductive invariants. We prove the approach's correctness and demonstrate its applicability by means of several examples evaluated with a prototypical implementation of our algorithm.
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.
Crochet is a popular handcraft all over the world. While other techniques such as knitting or weaving have received technical support over the years through machines, crochet is still a purely manual craft. Not just the act of crochet itself is manual but also the process of creating instructions for new crochet patterns, which is barely supported by domain specific digital solutions. This leads to unstructured and often also ambiguous and erroneous pattern instructions. In this report, we propose a concept to digitally represent crochet patterns. This format incorporates crochet techniques which allows domain specific support for crochet pattern designers during the pattern creation and instruction writing process. As contributions, we present a thorough domain analysis, the concept of a graph structure used as domain specific language to specify crochet patterns and a prototype of a projectional editor using the graph as representation format of patterns and a diagramming system to visualize them in 2D and 3D. By analyzing the domain, we learned about crochet techniques and pain points of designers in their pattern creation workflow. These insights are the basis on which we defined the pattern representation. In order to evaluate our concept, we built a prototype by which the feasibility of the concept is shown and we tested the software with professional crochet designers who approved of the concept.
This book is about inventing successes and good practices of governments that are "closer to the people". Numerous examples throughout Latin America indicate-often despite macroeconomic instability, high inflation, and strong top-down regulation-that subnational actors have repeatedly achieved what their central counterparts preached: sound policymaking, better administration, better services, more participation, and sustained economic development. But what makes some governments change course and move toward innovation? What triggers experimentation and, eventually, turns ordinary practice into good practice? The book answers some of these questions. It goes beyond a mere documentation of good and best practice, which is increasingly provided through international networks and Internet sites. Instead, it seeks a better understanding of the origins and fates of such successes at the micro level. The case studies and analytical chapters seek to explain: How good practice is born at the local level; Where innovative ideas come from; How such ideas are introduced in a new context, successfully implemented, and propagated locally and beyond; What donors can do to effectively assist processes of self-induced and bottom-up change.
Learning from failure
(2022)
Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult.
Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD?
To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure.
Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance.
We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.
Experimental and quantitative research in the field of human language processing and production strongly depends on the quality of the underlying language material: beside its size, representativeness, variety and balance have been discussed as important factors which influence design, analysis and interpretation of experiments and their results. This volume brings together creators and users of both general purpose and specialized lexical resources which are used in psychology, psycholinguistics, neurolinguistics and cognitive research. It aims to be a forum to report experiences and results, review problems and discuss perspectives of any linguistic data used in the field.