![]() Biewers, Sandra ![]() Report (2008) Detailed reference viewed: 36 (1 UL)![]() Powell, Justin J W ![]() Report (2008) Detailed reference viewed: 92 (0 UL)![]() Freyermuth, Sylvie ![]() Report (2008) Detailed reference viewed: 40 (0 UL)![]() ; ; Hermann, Frank ![]() Report (2008) Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and ... [more ▼] Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and finally to implementation code. This paper presents model transformation and model integration as specific problem within bidirectional model transformation, which has shown to support various purposes, such as analysis, optimization, and code generation. The main purpose of model integration is to establish correspondence between various models, especially between source and target models. From the analysis point of view, model integration supports correctness checks of syntactical dependencies between different views and models. The overall concept is based on the algebraic approach to triple graph grammars, which are widely used for model transformation. The main result shows the close relationship between model transformation and model integration. For each model transformation sequence there is a unique model integration sequence and vice versa. This is demonstrated by a quasi-standard example for model transformation between class models and relational data base models. [less ▲] Detailed reference viewed: 39 (2 UL)![]() Zetzsche, Dirk Andreas ![]() Report (2008) Detailed reference viewed: 93 (0 UL)![]() Joachim, Patrice ![]() Report (2008) Detailed reference viewed: 41 (0 UL)![]() Willems, Helmut ![]() Report (2008) Detailed reference viewed: 40 (0 UL)![]() ; ; Rothmüller, Barbara ![]() Report (2008) Detailed reference viewed: 24 (0 UL)![]() Sagrillo, Damien ![]() Report (2008) Detailed reference viewed: 42 (0 UL)![]() Berg, Charles ![]() ![]() ![]() Report (2008) Detailed reference viewed: 100 (4 UL)![]() Affolderbach, Julia ![]() Report (2008) Detailed reference viewed: 39 (1 UL)![]() Biesta, Gert ![]() Report (2008) Detailed reference viewed: 118 (0 UL)![]() Affolderbach, Julia ![]() Report (2008) Detailed reference viewed: 32 (0 UL)![]() Limbach-Reich, Arthur ![]() Report (2008) Detailed reference viewed: 95 (0 UL)![]() ; ; Hermann, Frank ![]() Report (2008) Triple graph grammars have been applied and implemented as a formal basis for model transformations in a variety of application areas. They convince by special abilities in automatic derivation of forward ... [more ▼] Triple graph grammars have been applied and implemented as a formal basis for model transformations in a variety of application areas. They convince by special abilities in automatic derivation of forward backward and several other transformations out of just one specified set of rules for the integrated model defined by a triple of graphs. While many case studies and all implementations, which state that they are using triple graph grammars, do not use triples of graphs this paper presents the justification for many of them. It shows a one to one correspondence between triple graph grammars and suitable plain graph grammars, thus results and benefits of the triple case can be transferred to the plain case. Main results show the relationship between both graph transformation approaches, syntactical correctness of model transformations based on triple graph grammars and a sound and complete condition for functional behaviour. Theoretical results are elaborated on an intuitive case study for a model transformation from class diagrams to database models. [less ▲] Detailed reference viewed: 30 (2 UL)![]() Poncin, Norbert ![]() Report (2008) Detailed reference viewed: 54 (3 UL)![]() ; ; et al Report (2008) Detailed reference viewed: 25 (2 UL)![]() Hoffmann, Martine ![]() ![]() Report (2008) Detailed reference viewed: 39 (4 UL)![]() ; Schumacher, Anette ![]() Report (2008) Detailed reference viewed: 20 (0 UL)![]() Hermann, Frank ![]() Report (2008) E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in a strict way. Hence, it is of main ... [more ▼] E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in a strict way. Hence, it is of main interest that developers can analyze their modularized models of actual systems and that they can detect critical patterns. For this purpose, we present a general and formal framework for critical pattern detection and user-driven correction as well as possibilities for automatic analysis and verification at meta-model level. The technique is based on the formal theory of graph transformation, which we extend to transformations of type graphs with inheritance within a type graph hierarchy. We apply the framework to specify relevant security requirements. The extended theory is shown to fulfil the conditions of a weak adhesive HLR category allowing us to transfer analysis techniques and results shown for this abstract framework of graph transformation. In particular, we discuss how confluence analysis and parallelization can be used to enable parallel critical pattern detection and elimination. [less ▲] Detailed reference viewed: 34 (2 UL)![]() Irmen, Andreas ![]() Report (2008) This paper develops a new open-economy endogenous growth model where technology diffusion allows for a stable and non-degenerate world income distribution. In accordance with the empirical literature, I ... [more ▼] This paper develops a new open-economy endogenous growth model where technology diffusion allows for a stable and non-degenerate world income distribution. In accordance with the empirical literature, I find that country characteristics such as the social infrastructure, the degree of openness, the investment rate, population growth, the level of human capital, or growth policies such as subsidies to innovation investments explain a country’s position in the eventual world income distribution. Club convergence in growth rates can be traced back to a country’s openness and to a minimum required level of human capital. [less ▲] Detailed reference viewed: 62 (0 UL)![]() Francis, Olivier ![]() Report (2007) Detailed reference viewed: 55 (2 UL)![]() Heinen, Andreas ![]() ![]() Report (2007) Detailed reference viewed: 62 (10 UL)![]() Biewers, Sandra ![]() ![]() Report (2007) Detailed reference viewed: 46 (20 UL)![]() ; Houssemand, Claude ![]() Report (2007) Detailed reference viewed: 28 (1 UL)![]() Schumacher, Anette ![]() Report (2007) Detailed reference viewed: 35 (2 UL)![]() ; Houssemand, Claude ![]() Report (2007) Detailed reference viewed: 39 (0 UL)![]() ; Schumacher, Anette ![]() Report (2007) Detailed reference viewed: 33 (0 UL)![]() Biewers, Sandra ![]() Report (2007) Detailed reference viewed: 25 (0 UL)![]() Pavlik, Jennifer ![]() Report (2007) Detailed reference viewed: 38 (3 UL)![]() Pignault, Anne ![]() Report (2007) Detailed reference viewed: 24 (0 UL)![]() ; Pignault, Anne ![]() Report (2007) Detailed reference viewed: 48 (0 UL)![]() Schumacher, Anette ![]() Report (2007) Detailed reference viewed: 24 (0 UL)![]() Meyers, Raymond ![]() ![]() Report (2007) Detailed reference viewed: 61 (1 UL)![]() ; Biesta, Gert ![]() Report (2007) Detailed reference viewed: 21 (0 UL)![]() Silga, Janine ![]() Report (2007) Detailed reference viewed: 47 (1 UL)![]() ; ; et al Report (2007) Detailed reference viewed: 36 (0 UL)![]() Poncin, Norbert ![]() Report (2007) Detailed reference viewed: 41 (2 UL)![]() Poncin, Norbert ![]() Report (2007) Abstracts of the ESF Conference 'Algebraic Aspects in Geometry' chaired by Norbert Poncin Detailed reference viewed: 62 (16 UL)![]() Keller, Ulrich ![]() ![]() ![]() Report (2007) Detailed reference viewed: 37 (2 UL)![]() Pelt, Véronique ![]() ![]() ![]() Report (2007) Detailed reference viewed: 107 (11 UL)![]() Margherita, Antonia ![]() Report (2007) The direct investment pocketbook provides users with analytical aspects of foreign direct investment stocks, flows and income for the European Union. The pocketbook has a simple objective: to provide ... [more ▼] The direct investment pocketbook provides users with analytical aspects of foreign direct investment stocks, flows and income for the European Union. The pocketbook has a simple objective: to provide political and corporate decision-makers with high quality statistical information on direct investment. [less ▲] Detailed reference viewed: 78 (5 UL)![]() Dumont, Patrick ![]() ![]() ![]() Report (2007) Detailed reference viewed: 56 (2 UL)![]() ; ; et al Report (2007) Detailed reference viewed: 22 (0 UL)![]() ; ; et al Report (2007) Detailed reference viewed: 35 (0 UL)![]() ; Hoenig, Barbara ![]() Report (2007) Detailed reference viewed: 19 (1 UL)![]() ; ; et al Report (2007) Detailed reference viewed: 31 (0 UL)![]() Biesta, Gert ![]() Report (2007) Detailed reference viewed: 91 (0 UL)![]() ; ; et al Report (2007) Detailed reference viewed: 25 (0 UL)![]() ; Schiltz, Jang ![]() Report (2007) Detailed reference viewed: 35 (0 UL)![]() Berg, Charles ![]() ![]() Report (2007) Detailed reference viewed: 81 (4 UL)![]() ; JUNG ép. PRELLER, Bérénice ![]() Report (2007) Detailed reference viewed: 88 (12 UL)![]() Joachim, Patrice ![]() Report (2007) Detailed reference viewed: 47 (5 UL)![]() ; ; et al Report (2007) Detailed reference viewed: 62 (6 UL)![]() Blondel, Cyril ![]() Report (2007) Detailed reference viewed: 33 (0 UL)![]() Zetzsche, Dirk Andreas ![]() Report (2007) The present Anglo-American system of corporate control is said to be a random result of market forces, the strong influence of which resulted from a weak state, and undefined principles in the state's ... [more ▼] The present Anglo-American system of corporate control is said to be a random result of market forces, the strong influence of which resulted from a weak state, and undefined principles in the state's economic policy until the 1930s. In contrast, in Continental Europe, strong states with a tendency to interfere with market forces were established. The events resulting in these two divergent systems must be analysed in order to understand what predominant factors catalyzed the development of the current corporate governance structures. Though values other than religious principles are likely to prevail today, this paper posits that religious foundations provide a sound explanation for the developmental path of corporate governance in Anglo-America and Continental Europe. Further, it assesses the impact of such an ethical theory of corporate governance history on contemporary convergence debate. In particular, it asserts that ethical restraints may explain path dependency, and that such an ethical path dependency is more likely in times of economic decline than in times of economic growth. Finally, it holds that, in homogeneous societies, ethics can in many respects substitute for good law. [less ▲] Detailed reference viewed: 89 (2 UL)![]() ; ; Reichert, Monique ![]() Report (2007) Detailed reference viewed: 46 (4 UL)![]() ; ; et al Report (2006) Detailed reference viewed: 93 (3 UL)![]() Francis, Olivier ![]() Report (2006) Detailed reference viewed: 58 (1 UL)![]() Bernard, Nicolas ![]() Report (2006) Datagram Transport Layer Security (DTLS) is a recent prococol. It provides a cryptographical layer on the top of UDP. This protocol is implemented in the OpenSSL library but its use is not documented ... [more ▼] Datagram Transport Layer Security (DTLS) is a recent prococol. It provides a cryptographical layer on the top of UDP. This protocol is implemented in the OpenSSL library but its use is not documented. This document aims to show how to use this implementation, by providing examples. [less ▲] Detailed reference viewed: 70 (1 UL)![]() Francis, Olivier ![]() Report (2006) Detailed reference viewed: 55 (2 UL)![]() Biewers, Sandra ![]() Report (2006) Detailed reference viewed: 33 (0 UL)![]() Biewers, Sandra ![]() ![]() ![]() Report (2006) Detailed reference viewed: 41 (0 UL)![]() ; de Saint-Georges, Ingrid ![]() Report (2006) Detailed reference viewed: 71 (1 UL)![]() ; ; et al Report (2006) Detailed reference viewed: 53 (3 UL)![]() ; Willems, Helmut ![]() Report (2006) Detailed reference viewed: 106 (3 UL)![]() Koulovatianos, Christos ![]() Report (2006) We study how learning affects an uninformed monopolist's supply and investment decisions under multiplicative uncertainty in demand. The monopolist is uninformed because it does not know one of the ... [more ▼] We study how learning affects an uninformed monopolist's supply and investment decisions under multiplicative uncertainty in demand. The monopolist is uninformed because it does not know one of the parameters defining the distribution of the random demand. Observing prices reveals this information slowly. We first show how to incorporate Bayesian learning into dynamic programming by focusing on sufficient statistics and conjugate families of distributions. We show their necessity in dynamic programming to be able to solve dynamic programs either analytically or numerically. This is important since it is not true that a solution to the infinite-horizon program can be found either analytically or numerically for any kinds of distributions. We then use specific distributions to study the monopolist?s behavior. Specifically, we rely on the fact that the family of normal distributions with an unknown mean is a conjugate family for samples from a normal distribution to obtain closed- form solutions for the optimal supply and investment decisions. This enables us to study the effect of learning on supply and investment decisions, as well as the steady state level of capital. Our findings are as follows. Learning affects the monopolist's behavior. The higher the expected mean of the demand shock given its beliefs, the higher the supply and the lower the investment. Although learning does not affect the steady state level of capital since the uninformed monopolist becomes informed in the limit, it reduces the speed of convergence to the steady state. [less ▲] Detailed reference viewed: 65 (2 UL)![]() May, Patrick ![]() Report (2006) During the last few years more and more functionalities of RNA have been discovered that were previously thought of being carried out by proteins alone. One of the most striking discoveries was the de ... [more ▼] During the last few years more and more functionalities of RNA have been discovered that were previously thought of being carried out by proteins alone. One of the most striking discoveries was the de tection of microRNAs, a class of noncoding RNAs that play an important role in post-transcriptional gene regulation. Large-scale analyses are needed for the still increasingly growing amount of sequen ce data derived from new experimental technologies. In this paper we present a framework for the detection of the distinctive precursor structure of microRNAS that is based on the well-known Smith-Wat erman algorithm and various filtering steps. We conducted experiments on real genomic data and we found several new putative hits for microRNA precursor structures. [less ▲] Detailed reference viewed: 61 (4 UL)![]() May, Patrick ![]() Report (2006) THESEUS, the ZIB threading environment, is a parallel implementation of a protein threading based on a multi-queued branch-and-bound optimal search algorithm to find the best sequence-to-structure ... [more ▼] THESEUS, the ZIB threading environment, is a parallel implementation of a protein threading based on a multi-queued branch-and-bound optimal search algorithm to find the best sequence-to-structure alignment through a library of template structures. THESEUS uses a template core model based on secondary structure definition and a scoring function based on knowledge-based potentials reflecting pairwise interactions and the chemical environment, as well as pseudo energies for homology detection, loop alignment, and secondary structure matching. The threading core is implemented in C++ as a SPMD parallization architecture using MPI for communication. The environment is designed for generic testing of different scoring functions, e.g. different secondary structure prediction terms, different scoring matrices and information derived from multiple sequence alignments. A validaton of the structure prediction results has been done on the basis of standard threading benchmark sets. THESEUS successfully participated in the 6th Critical Assessment of Techniques for Protein Structure Prediction (CASP) 2004. [less ▲] Detailed reference viewed: 72 (8 UL)![]() Hermann, Frank ![]() Report (2006) Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and ... [more ▼] Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and finally to implementation code. This paper presents model transformation and model integration as specific problem within bidirectional model transformation, which has shown to support various purposes, such as analysis, optimization, and code generation. The main purpose of model integration is to establish correspondence between various models, especially between source and target models. From the analysis point of view, model integration supports correctness checks of syntactical dependencies between different views and models. The overall concept is based on the algebraic approach to triple graph grammars, which are widely used for model transformation. The main result shows the close relationship between model transformation and model integration. For each model transformation sequence there is a unique model integration sequence and vice versa. This is demonstrated by a quasi-standard example for model transformation between class models and relational data base models. [less ▲] Detailed reference viewed: 70 (4 UL)![]() ; Irmen, Andreas ![]() Report (2006) A common perception about the neoclassical growth model is that an economy devoid of capital cannot evolve to strictly positive levels of output if capital is essential. We challenge this view by positing ... [more ▼] A common perception about the neoclassical growth model is that an economy devoid of capital cannot evolve to strictly positive levels of output if capital is essential. We challenge this view by positing a broad class of production functions, encompassing the neoclassical production function, that—surprisingly—show that a take-off is possible even though the initial capital stock is zero and capital is essential. Since the marginal product of capital is initially infinite, the “trivial” steady state becomes so unstable that the solution to the equation of motion involves the possibility of a take-off. When it happens, the take-off is spontaneous: there is no causality, not even randomness. [less ▲] Detailed reference viewed: 57 (1 UL)![]() ; Schiltz, Jang ![]() Report (2006) Detailed reference viewed: 29 (0 UL)![]() ; Pignault, Anne ![]() Report (2006) Detailed reference viewed: 25 (0 UL)![]() Pignault, Anne ![]() Report (2006) Detailed reference viewed: 27 (0 UL)![]() Biesta, Gert ![]() Report (2006) Detailed reference viewed: 742 (26 UL)![]() Schumacher, Anette ![]() ![]() Report (2006) Detailed reference viewed: 34 (3 UL)![]() Meyers, Christiane ![]() Report (2006) Detailed reference viewed: 50 (14 UL)![]() ; ; et al Report (2006) Detailed reference viewed: 113 (0 UL)![]() Schumacher, Anette ![]() ![]() Report (2006) Detailed reference viewed: 37 (1 UL)![]() Blondel, Cyril ![]() Report (2006) Detailed reference viewed: 34 (0 UL)![]() Reichert, Monique ![]() ![]() ![]() Report (2006) Detailed reference viewed: 67 (0 UL)![]() Koulovatianos, Christos ![]() Report (2006) Different family types may have a fixed flow of consumption costs, related to subsistence needs. We use a survey method in order to identify and estimate such a fixed component of spending for different ... [more ▼] Different family types may have a fixed flow of consumption costs, related to subsistence needs. We use a survey method in order to identify and estimate such a fixed component of spending for different families. Our method involves making direct questions about the linkup between aggregate disposable family income and well-being for different family types. Conducting our survey in six countries, Germany, France, Cyprus, China, India and Botswana, we provide evidence that fixed costs of consumption are embedded in welfare evaluations of respondents. More precisely, we find that the formalized relationship between welfare-retaining aggregate family incomes across different family types, suggested by Donaldson and Pendakur (2005) and termed “Generalized Absolute Equivalence Scale Exactness,” is prevalent and robust in our data. We use this relationship to identify subsistence needs of different family types and to calculate income inequality. [less ▲] Detailed reference viewed: 100 (2 UL)![]() ; Margherita, Antonia ![]() Report (2006) The direct investment pocketbook provides users with analytical aspects of foreign direct investment stocks, flows and income for the European Union. The pocketbook has a simple objective: to provide ... [more ▼] The direct investment pocketbook provides users with analytical aspects of foreign direct investment stocks, flows and income for the European Union. The pocketbook has a simple objective: to provide political and corporate decision-makers with high quality statistical information on direct investment. [less ▲] Detailed reference viewed: 57 (4 UL)![]() Dumont, Patrick ![]() ![]() ![]() Report (2006) Detailed reference viewed: 70 (3 UL)![]() Willems, Helmut ![]() Report (2006) Detailed reference viewed: 206 (1 UL)![]() Berg, Charles ![]() ![]() ![]() Report (2006) Detailed reference viewed: 41 (1 UL)![]() Varrette, Sébastien ![]() Report (2005) Detailed reference viewed: 32 (0 UL)![]() Varrette, Sébastien ![]() Report (2005) Detailed reference viewed: 54 (0 UL)![]() Varrette, Sébastien ![]() Report (2005) Detailed reference viewed: 19 (0 UL)![]() Reuter, Robert ![]() ![]() ![]() Report (2005) Detailed reference viewed: 46 (1 UL)![]() Zetzsche, Dirk Andreas ![]() Report (2005) This paper analyses the rules regarding the internet-based exercise of shareholder rights for public corporations incorporated in Canada, France, Germany, the U.S. (DelGCL & RMBCA), the UK and Switzerland ... [more ▼] This paper analyses the rules regarding the internet-based exercise of shareholder rights for public corporations incorporated in Canada, France, Germany, the U.S. (DelGCL & RMBCA), the UK and Switzerland. The traditional doctrine associates information, communication and voting with shareholder meetings. In addition, shareholder meetings regularly prompt reviews of management's activities exercised on behalf of shareholders by accountants or the judiciary. The analysis reveals that the current regimes of shareholder meetings merely provide for voting and information in the context of a digital environment, while communication and review is usually not replicated. The lack of all functions of traditional shareholder meetings is one reason of why exclusively virtual shareholder meetings have not gained widely spread acceptance across jurisdictions. Another reason is that a well-fitting design for the web-based exercise of shareholder rights does not yet exist. Thus, the paper develops an advisable design of Virtual Shareholder Meetings that replicates all for functions of traditional shareholder meetings, while it is likely to reduce shareholder apathy at the same time. It argues that enabling more frequent opportunities for voting is the logical consequence of the developments of continuous disclosure requirements and continuous buy/hold/sell-decisions by market participants. Therefore, the virtual exercise of shareholder rights should be achieved through (1) liberalizing currently existing legislative and practical barriers, and in particular, time and place restrictions on shareholder meetings; (2) re-integrating analyst and institutional investor meetings in the process of shareholder meetings, and (3) substituting for the traditional face-to-face accountability of managers to shareholders through specific electronic means. The latter involves, specifically, the use of RSS-Feed and XBRL-technologies for gathering and evaluating information, the use of the company's website as the central communication platform for management to shareholders and shareholders to shareholders, and the election of an independent shareholder rights manager (firm) by the shareholder body with procedural, technical, and organizational authority for organizing the exercise of shareholder rights. Ideally, the blueprint presented herein achieves the harmonization of voting behavior and market reactions, thereby furthering market efficiency. [less ▲] Detailed reference viewed: 106 (3 UL)![]() Varrette, Sébastien ![]() Report (2005) Detailed reference viewed: 16 (0 UL)![]() Reuter, Robert ![]() ![]() ![]() Report (2005) Detailed reference viewed: 47 (1 UL)![]() Juffermans, Kasper ![]() Report (2005) Detailed reference viewed: 36 (0 UL)![]() Joachim, Patrice ![]() Report (2005) Detailed reference viewed: 155 (9 UL)![]() ; Powell, Justin J W ![]() Report (2005) This expert report summarizes recent social science research literature on school-to-work transitions, emphasizing the opportunity, experience and performance gaps between the highly skilled and low ... [more ▼] This expert report summarizes recent social science research literature on school-to-work transitions, emphasizing the opportunity, experience and performance gaps between the highly skilled and low skilled. Questions addressed in this report include: which youth have a higher risk of failing to transition successfully from school to vocational training, and what are the pathways that lead to a higher probability of low education attainment? Which solutions to these difficulties have been proposed? Which factors may contribute to low qualified youth’s successful entry into work? To answer such questions, the report reviews current international research results and shows how these studies can be used in evaluating the situations faced by at-risk youth. Where possible, the findings for Germany are embedded within a broader international comparison to illustrate a variety of approaches to the study of transitions from the world of schooling and training to the world of work, including training schemes and programs designed to serve at-risk youth. [less ▲] Detailed reference viewed: 81 (0 UL) |
||