Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailBürgschaft (§§ 765-778), in Erman, BGB
Zetzsche, Dirk Andreas UL

in Erman (Ed.) Bürgschaft (§§ 765-778), in Erman, BGB (in press)

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailVerwahrung (§§ 688-700), in Erman, BGB
Zetzsche, Dirk Andreas UL

in Erman (Ed.) Verwahrung (§§ 688-700), in Erman, BGB (in press)

Detailed reference viewed: 5 (0 UL)
Full Text
See detailThe Future of Data-Driven Finance and RegTech
Zetzsche, Dirk Andreas UL; Buckley, Ross; Arner, Douglas et al

in Journal of Law and Policy (in press)

Detailed reference viewed: 23 (1 UL)
Full Text
Peer Reviewed
See detailThe effect of risk disclosure on analyst following
Derouiche, Imen UL; Muessig, Anke UL; Weber, Véronique UL

in European Journal of Finance (in press)

Prior research shows that financial analysts play an important information intermediary role in France. This study extends earlier research to examine the effect of risk disclosure on the number of ... [more ▼]

Prior research shows that financial analysts play an important information intermediary role in France. This study extends earlier research to examine the effect of risk disclosure on the number of analysts following listed firms. Using a unique dataset of French firms on the 120 SBF index over 2007−2015, the results show a positive and significant relation between risk disclosure and analyst following, suggesting that firms having greater risk disclosure attract more financial analysts. These findings provide empirical support to the argument that analysts incur lower costs of information gathering in firms with greater risk disclosure. The demand for analyst services is also more valuable in these firms, given their potentially high exposure to risks, implying greater analyst following. Overall, our results are in line with prior literature highlighting that analysts’ activities complement annual report disclosures and, generally, corporate disclosures. [less ▲]

Detailed reference viewed: 37 (6 UL)
Full Text
Peer Reviewed
See detailOn Rational Entailment for Propositional Typicality Logic
Booth, Richard; Casini, Giovanni UL; Meyer, Thomas et al

in Artificial Intelligence (in press)

Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor capturing the most typical (alias normal or ... [more ▼]

Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor capturing the most typical (alias normal or conventional) situations in which a given sentence holds. The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferen- tial reasoning and therefore KLM-style rational consequence relations can be embedded in PTL. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate in many contexts. Our first important result is an impossibil- ity theorem showing that a set of proposed postulates that at first all seem appropriate for a notion of entailment with regard to typicality cannot be satisfied simultaneously. Closer inspection reveals that this result is best interpreted as an argument for advocating the development of more than one type of PTL entailment. In the spirit of this interpretation, we in- vestigate three different (semantic) versions of entailment for PTL, each one based on the definition of rational closure as introduced by Lehmann and Magidor for KLM-style conditionals, and constructed using different notions of minimality. [less ▲]

Detailed reference viewed: 32 (0 UL)
Peer Reviewed
See detailPolitical Food Communication. Contrasting Food Governance Claims via Labelling Schemes and priorities of private and professional consumers
Reckinger, Rachel UL; Kapgen, Diane UL; Korjonen, Maria Helena UL

in Godeman, Jasmin; Bartelmeß (Eds.) Handbuch Ernährungskommunikation. Interdisziplinäre Perspektiven im Kontext von Nachhaltigkeit (in press)

Political food communication may take many forms, including direct recommendations to public institutions and private households (cf. Reckinger/Régnier 2017), or more indirect labelling schemes that ... [more ▼]

Political food communication may take many forms, including direct recommendations to public institutions and private households (cf. Reckinger/Régnier 2017), or more indirect labelling schemes that certify various types of quality – from sustainable via nutritious to ethical. The underlying governance claims differ in those cases: in the first one, priority is given to analytical, top-down information to procurement actors and to individuals of a given population; in the second one, action is rather taken in the direction of food production and transformation, be it top-down or participatory, with an associated effort to make the communicated guarantees transparent to consumers. In this article, we will analyse in a praxeological perspective the contrasting governance claims that structure a selection of labelling schemes in contemporary Luxembourg: official ones (such as organic produce, among others), voluntary and regional ones, international ones, as well as supermarket brands blurring boundaries and using overlaps of several labels. We will compare the guarantees and transparency that labels tend to offer in the socio-ecological, socioeconomic, sociocultural and socio-political dimensions of food certification, viewed as a potentially enabling or disabling form of food communication. At the same time, we will examine the potential of these aids for individual consumers’ priorities and public procurement actors’ legal framework in selecting foodstuffs with added sustainable or ethical value, asking the question if such certifications are efficient tools of food communication and ultimately of an enhanced food literacy in an arena of potentially conflicting and crowded messages. [less ▲]

Detailed reference viewed: 20 (1 UL)
Full Text
Peer Reviewed
See detailThe EU Administrative Institutions, Their Law and Legal Scholarship
Mendes, Joana UL

in Cane, Peter; Hoffman, Herwig; Lindseth, Peter (Eds.) Oxford Handbook on Comparative Administrative Law (in press)

The chapter approaches the EU administrative institutions as catalysts of the development of administrative law of the European Union. As a chapter of the Oxford Handbook on Comparative Administrative Law ... [more ▼]

The chapter approaches the EU administrative institutions as catalysts of the development of administrative law of the European Union. As a chapter of the Oxford Handbook on Comparative Administrative Law, it explains the main traits of those institutions, how legal scholarship has portrayed them and how it has addressed the core aspects of their legal regimes. Furthermore, it traces the emergence and current state of EU administrative law, characterising the different roles comparative administrative law has had at different stages. It highlights the initial dissonance between the specificities of the EU administrative institutions and the state-matrix of general principles that were developed on the basis of functional comparison; the role of legal scholarship in shaping EU administrative law, in its efforts to give effect to an “utopia” (Chiti, 2007) of an integrated administration constitutionally framed by general principles and fundamental rights; the limits of resorting to comparative administrative law in the context of EU integration and, briefly, the crossroads at which EU administrative law currently stands. [less ▲]

Detailed reference viewed: 71 (0 UL)
Full Text
Peer Reviewed
See detailIntegrating Topological Proofs with Model Checking to Instrument Iterative Design
Menghi, Claudio UL; Rizzi, Alessandro Maria; Bernasconi, Anna

in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 (in press)

System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirable that continuous ... [more ▼]

System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirable that continuous verification can be performed after each refinement or revision step. To achieve practical adoption, formal verification must accommodate continuous verification efficiently and effectively. Model checking provides developers with information useful to improve their models only when a property is not satisfied, i.e., when a counterexample is returned. However, it is desirable to have some useful information also when a property is instead satisfied. To address this problem we propose TOrPEDO, an approach that supports verification in two complementary forms: model checking and proofs. While model checking is typically used to pinpoint model behaviors that violate requirements, proofs can instead explain why requirements are satisfied. In our work, we introduce a specific notion of proof, called Topological Proof. A topological proof produces a slice of the original model that justifies the property satisfaction. Because models can be incomplete, TOrPEDO supports reasoning on requirements satisfaction, violation, and possible satisfaction (in the case where satisfaction depends on unknown parts of the model). Evaluation is performed by checking how topological proofs support software development on 12 modeling scenarios and 15 different properties obtained from 3 examples from literature. Results show that: (i) topological proofs are ≈60% smaller than the original models; (ii) after a revision, in ≈78% of cases, the property can be re-verified by relying on a simple syntactic check. [less ▲]

Detailed reference viewed: 116 (14 UL)
Full Text
See detailReinforcing citizens’ participation by reforming European commission public consultations
Kies, Raphaël UL

in Alemanno, Alberto; Oregan, James (Eds.) Democratic Participation in a Citizen's Europe: What next for the EU? (in press)

In this chapter, I would like to draw some lessons from the failed attempts of democratization of the EU by proposing some guidelines that should be followed in order to envision a realistic deliberative ... [more ▼]

In this chapter, I would like to draw some lessons from the failed attempts of democratization of the EU by proposing some guidelines that should be followed in order to envision a realistic deliberative and inclusive transformation of the EU-decision making process. By following their spirits, I will propose an ambitious renovation of the public consultation regime of the EU Commission, the only institutionalized system of public consultation enshrined in the EU Treaties that however most of the citizens are not aware of. This is an idea that I first presented in at the conference at the World Bank (Kies 2016) and that has since then been discussed and presented in the report commissioned by the European Economic and Social Committee (Lironi and Peta 2017), the European Parliament (Korthagen et al. 2018) and is presently discussed within the European Court of Auditors. [less ▲]

Detailed reference viewed: 23 (1 UL)
Full Text
See detailThe Principle of Transparency and Access to Documents in the EU: for what, for whom, and of what?
Mendes, Joana UL

in Auby, Jean-Bernard; Jacqueline, Dutheil de la Rochère (Eds.) Traité de Droit Administratif (in press)

Written as a chapter for the third edition of the Traité de Droit Administratif Européen, directed by Jacqueline Dutheil de la Rochère and Jean Bernard Auby (Bryulant, forthcoming), this paper ... [more ▼]

Written as a chapter for the third edition of the Traité de Droit Administratif Européen, directed by Jacqueline Dutheil de la Rochère and Jean Bernard Auby (Bryulant, forthcoming), this paper characterizes transparency as an ambivalent principle of EU law and governance, serving both a functional and a democratic rationale. The analysis focuses on the right of access to documents, a right whose scope and democratic function very much depend on who requests and on the interpretation of the exceptions to access. While the former is a matter of practice, the latter is essentially the result of the main approaches that the Court of Justice of the European Union (CJEU) has followed hitherto: strict interpretation and application of the exceptions, on the one hand, and general presumptions of non-disclosure, on the other. The paper presents both. It argues that, while much criticized in the literature as contrary to the democratic function of the regulation on access to documents, general presumptions of non-disclosure merit a more nuanced analysis. They can be, under restricted circumstances, a way to protect the democratic function of the citizen’s right to access. Yet, the uncertain and evolving criteria for the establishment of a general presumption of non-disclosure have effectively carved out whole categories of documents from the possibility of access, insulating significant sections of EU public action from the pressure of democratic claims. Overall, the right of access to documents, as ancillary to a principle of democracy, has a limited capacity to change the nature of the polity and of the system of governance in which it is embedded. [less ▲]

Detailed reference viewed: 57 (0 UL)
Full Text
Peer Reviewed
See detailThe Foundations of the Duty to Give Reasons and a Normative Reconstruction
Mendes, Joana UL

in Fisher, Elizabeth; King, Jeff; Young, Alison (Eds.) The Foundations and Future of Public Law (in press)

Despite operating in highly constrained legal environments, executive actors may act in a constitutive capacity. This observation prompts a critical assessment of the role of procedural principles in EU ... [more ▼]

Despite operating in highly constrained legal environments, executive actors may act in a constitutive capacity. This observation prompts a critical assessment of the role of procedural principles in EU administrative law. As norms of conduct deployed by executive bodies during the process of norm concretization, procedural principles may have legal dimensions that, while constitutionally relevant, may not come to the fore in judicial review. The chapter develops this argument with regard to the multifaceted character of the duty to give reasons. It argues that, as a norm of conduct, the duty to give reasons ought to ensure the constitutional embeddedness of the constitutive action of EU executive bodies. Such role is consistent both with the original relevance of the duty to give reasons to the law of integration (in the context of the European Coal and Steel Community) and with the current EU constitutional framework. The latter justifies reinstituting the original constitutional function of the duty to give reasons, irrespective of its current scope in the context of judicial review. [less ▲]

Detailed reference viewed: 59 (0 UL)
Full Text
Peer Reviewed
See detailModel Checking MITL formulae on Timed Automata: a Logic-Based Approach
Menghi, Claudio UL; Bersani, Marcello; Rossi, Matteo et al

in ACM Transactions on Computational Logic (in press)

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for ... [more ▼]

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for checking whether the behaviours of a system satisfy a set of properties of interest. Even if efficient model-checkers for Timed Automata exist, these tools are not easily configurable. First, they are not designed to easily allow adding new Timed Automata constructs, such as new synchronization mechanisms or communication procedures, but they assume a fixed set of Timed Automata constructs. Second, they usually do not support the Metric Interval Temporal Logic (MITL) and rely on a precise semantics for the logic in which the property of interest is specified which cannot be easily modified and customized. Finally, they do not easily allow using different solvers that may speed up verification in different contexts. This paper presents a novel technique to perform model checking of Metric Interval Temporal Logic (MITL) properties on TA. The technique relies on the translation of both the TA and the MITL formula into an intermediate Constraint LTL over clocks (CLTLoc) formula which is verified through an available decision procedure. The technique is flexible since the intermediate logic allows the encoding of new semantics as well as new TA constructs, by just adding new CLTLoc formulae. Furthermore, our technique is not bound to a specific solver as the intermediate CLTLoc formula can be verified using different procedures. [less ▲]

Detailed reference viewed: 79 (7 UL)
See detailUsing cross-border mobility in vocational education and training in the Greater Region SaarLorLux region
Nienaber, Birte UL; Dörrenbächer, H. Peter; Funk, Ines et al

in Cairns, David (Ed.) The Palgrave Handbook of Youth Mobility (in press)

High unemployment rates on one side of a border and training opportunities on the other, the lack of training programmes for specialised jobs on the one side of the border and well defined vocational ... [more ▼]

High unemployment rates on one side of a border and training opportunities on the other, the lack of training programmes for specialised jobs on the one side of the border and well defined vocational programmes on the other side: cross-border vocational education and training (VET) is an increasingly used tool to accommodate the differing needs inside the European Union in recent years. This paper will present, explain and analyse the diverse approaches and concepts of tailor-made as well as more standardized cross-border VET programmes in the Greater Region SaarLorLux (DE, FR, LUX, BE) and explain the different mobility types (from short-time exchange programmes, to internships as well as a formalised division of mobility between days of apprenticeship in one country and days of practical training in another country). This cross-border region is the largest transboundary commuting area and therefore the largest transboundary labour market in the EU. [less ▲]

Detailed reference viewed: 64 (6 UL)
Full Text
See detailLearning in transition: Erasmus+ as an opportunity for internationalization
Samuk, Sahizer UL; Nienaber, Birte UL; Kmiotek, Emilia Alicja UL et al

in Cairns, David (Ed.) The Palgrave Handbook of Youth Mobility (in press)

Erasmus+ has diversified its benefits for young people to learn and thrive via mobility in the last 30 years. How does Erasmus+ serve young people? We conducted 10 semi-structured interviews with young ... [more ▼]

Erasmus+ has diversified its benefits for young people to learn and thrive via mobility in the last 30 years. How does Erasmus+ serve young people? We conducted 10 semi-structured interviews with young people (aged between 18-29) in Luxembourg, Norway and Romania. Firstly, these young people feel that their identity changes as they internationalise and they travel more after the Erasmus+ experience. Hence, Erasmus+ is an eye opener. Secondly, employment, volunteering or training activities under Erasmus+ become a door-opener increasing young people’s chances of finding jobs. Thirdly, Erasmus+ does not end when the mobility ends: a new life style is adopted and nostalgia with the Erasmus+ leads to feeling at “home” in international environments. All these three aspects can be defined as Erasmus-isation encapsulated within a life-long perspective. [less ▲]

Detailed reference viewed: 54 (3 UL)
Full Text
Peer Reviewed
See detailEpistemological, critical and reflexive gymnastics: constructing research in "former Yugoslavia" in the face of the coloniality of knowledge
Blondel, Cyril UL

in Aiken, Gerald Taylor; Button, Cat (Eds.) Over-researched places (in press)

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and ... [more ▼]

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and Reconciliation Injunctions” (Ph.D. thesis, Tours, Université François-Rabelais, 2016). Using auto-ethnographic methods, this article demonstrates a conviction, the necessity to engage with a reflexive and critical approach, before, during, and after the production of research. I show first how I built the thesis’ epistemological approach, by progressively deconstructing classical theoretical frameworks (nationalist, postsocialist, post-Yugoslav). I expose and discuss then the outcomes of such a reflexivity, in particular how I gradually became conscious of the coloniality of (my) knowledge. These mental gymnastics allowed me to occasionally overcome – but regularly report on – the limits of my research, but also to recognize the unsurpassibility of certain aspects of my work connected to the situation in which I stated and conducted it. Reflecting on epistemological reflexivity contributes to clarifying scientific (in)validity of research, and better situates researcher’s arguments, their position and positionality. [less ▲]

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailOn the Spectral and Energy Efficiencies of Full-Duplex Cell-Free Massive MIMO
Nguyen, Hieu V.; Nguyen, van Dinh UL; Dobre, Octavia A. et al

in IEEE Journal on Selected Areas in Communications (in press)

In-band full-duplex (FD) operation is practically more suited for short-range communications such as WiFi and small-cell networks, due to its current practical limitations on the self-interference ... [more ▼]

In-band full-duplex (FD) operation is practically more suited for short-range communications such as WiFi and small-cell networks, due to its current practical limitations on the self-interference cancellation. In addition, cell-free massivemultiple-input multiple-output (CF-mMIMO) is a new and scalable version of MIMO networks, which is designed to bring service antennas closer to end user equipments (UEs). To achieve higher spectral and energy efficiencies (SE-EE) of a wireless network, it is of practical interest to incorporate FD capability into CF-mMIMO systems to utilize their combined benefits. We formulate a novel and comprehensive optimization problem for the maximization of SE and EE in which power control, access point-UE (AP-UE) association and AP selection are jointly optimized under a realistic power consumption model, resulting in a difficult class of mixed-integer nonconvex programming. To tackle the binary nature of the formulated problem, we propose an efficient approach by exploiting a strong coupling between binary and continuous variables, leading to a more tractable problem. In this regard, two low-complexity transmission designs based on zero-forcing (ZF) are proposed. Combining tools from inner approximation framework and Dinkelbach method, we develop simple iterative algorithms with polynomial computational complexity in each iteration and strong theoretical performance guaranteed. Furthermore, towards a robust design for FD CFmMIMO, a novel heap-based pilot assignment algorithm is proposed to mitigate effects of pilot contamination. Numerical results show that our proposed designs with realistic parameters significantly outperform the well-known approaches (i.e., smallcell and collocated mMIMO) in terms of the SE and EE. Notably, the proposed ZF designs require much less execution time than the simple maximum ratio transmission/combining. [less ▲]

Detailed reference viewed: 74 (9 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Highlight paper)
Steen, Alexander UL; Benzmüller, Christoph UL

in Proceedings of the 24th European Conference on Artificial Intelligence (in press)

Detailed reference viewed: 22 (0 UL)
Full Text
Peer Reviewed
See detailBlockchain Governance: An Overview and Prediction of Optimal Strategies Using Nash Equilibrium
Khan, Nida UL; Ahmad, Tabrez; Patel, Anass et al

in 3rd AUE International Research Conference (in press)

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this ... [more ▼]

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this nascent technology. In this paper, the position of blockchain governance within the hierarchy of Institutional governance is discussed. Blockchain governance is analyzed from the perspective of IT governance using Nash equilibrium to predict the outcome of different governance decisions. A payoff matrix for blockchain governance is created and simulation of different strategy profiles is accomplished for computation of all Nash equilibria. We also create payoff matrices for different kinds of blockchain governance, which were used to propose novel mathematical formulae usable to predict the best governance strategy that minimizes the occurrence of a hard fork as well as predicts the behavior of the majority during protocol updates. [less ▲]

Detailed reference viewed: 153 (10 UL)
Peer Reviewed
See detailWüllner, Adolf
Krebs, Stefan UL; Tschacher, Werner UL

in Neue Deutsche Biographie, Bd. 28 (in press)

Detailed reference viewed: 14 (0 UL)