613 research outputs found
Relative justice : the judicial and non-judicial review of European Union legal acts
Defence date: 10 January 2020Examining Board: Professor Deirdre Curtin, European University Institute (Supervisor); Professor Paola Chirulli, Sapienza Università di Roma; Professor Joana Mendes, Université du Luxembourg; Professor Urška Šadl, European University InstituteThis thesis advances a relative justice approach to the judicial and non-judicial review of EU legal acts. It specifically compares the kind of justice, predominantly procedural in nature, delivered by the action for annulment before the EU Courts; appeal before the Board of Appeal of the European Chemical Agency and complaint to the European Ombudsman. By exploring the practical functioning of these mechanisms, the thesis seeks to determine whether non judicial review mechanisms can fill gaps in the EU system of justice caused by inherent shortcomings of EU judicial review. These shortcomings – the uncertain thoroughness and limited accessibility of judicial review – stem from a constant need to avoid overloading the EU Courts with complex cases and shifting on them too much responsibility for the substance of EU law, rule and decision-making
Organizing sustainable development
The role and meaning of sustainable development have been recognized in the scientific literature for decades. However, there has recently been a dynamic increase in interest in the subject, which results in numerous, in-depth scientific research and publications with an interdisciplinary dimension. This edited volume is a compendium of theoretical knowledge on sustainable development. The context analysed in the publication includes a multi-level and multi-aspect analysis starting from the historical and legal conditions, through elements of the macro level and the micro level, inside the organization. Organizing Sustainable Development offers a systematic and comprehensive theoretical analysis of sustainable development supplemented with practical examples, which will allow obtaining comprehensive knowledge about the meaning and its multi-context application in practice. It shows the latest state of knowledge on the topic and will be of interest to students at an advanced level, academics and reflective practitioners in the fields of sustainable development, management studies, organizational studies and corporate social responsibility
Views from a peak:Generalisations and descriptive set theory
This dissertation has two major threads, one is mathematical, namely descriptive set theory, the other is philosophical, namely generalisation in mathematics. Descriptive set theory is the study of the behaviour of definable subsets of a given structure such as the real numbers. In the core mathematical chapters, we provide mathematical results connecting descriptive set theory and generalised descriptive set theory. Using these, we give a philosophical account of the motivations for, and the nature of, generalisation in mathematics.In Chapter 3, we stratify set theories based on this descriptive complexity. The axiom of countable choice for reals is one of the most basic fragments of the axiom of choice needed in many parts of mathematics. Descriptive choice principles are a further stratification of this fragment by the descriptive complexity of the sets. We provide a separation technique for descriptive choice principles based on Jensen forcing. Our results generalise a theorem by Kanovei.Chapter 4 gives the essentials of a generalised real analysis, that is a real analysis on generalisations of the real numbers to higher infinities. This builds on work by Galeotti and his coauthors. We generalise classical theorems of real analysis to certain sets of functions, strengthening continuity, and disprove other classical theorems. We also show that a certain cardinal property, the tree property, is equivalent to the Extreme Value Theorem for a set of functions which generalize the continuous functions.The question of Chapter 5 is whether a robust notion of infinite sums can be developed on generalisations of the real numbers to higher infinities. We state some incompatibility results, which suggest not. We analyse several candidate notions of infinite sum, both from the literature and more novel, and show which of the expected properties of a notion of sum they fail.In Chapter 6, we study the descriptive set theory arising from a generalization of topology, κ-topology, which is used in the previous two chapters. We show that the theory is quite different from that of the standard (full) topology. Differences include a collapsing Borel hierarchy, a lack of universal or complete sets, Lebesgue’s ‘great mistake’ holds (projections do not increase complexity), a strict hierarchy of notions of analyticity, and a failure of Suslin’s theorem.Lastly, in Chapter 7, we give a philosophical account of the nature of generalisation in mathematics, and describe the methodological reasons that mathematicians generalise. In so doing, we distinguish generalisation from other processes of change in mathematics, such as abstraction and domain expansion. We suggest a semantic account of generalisation, where two pieces of mathematics constitute a generalisation if they have a certain relation of content, along with an increased level of generality
Towards specification formalisms for data warehouse systems design
Text in English with abstracts and keywords in English, Afrikaans and SetswanaSeveral studies have been conducted on formal methods; however, few of these studies
have used formal methods in the data warehousing area, specifically system
development. Many reasons may be linked to that, such as that few experts know how to
use them. Formal methods have been used in software development using mathematical
notations. Despite the advantages of using formal methods in software development,
their application in the data warehousing area has been restricted when compared with
the use of informal (natural language) and semi-formal notations.
This research aims to determine the extent to which formal methods may mitigate failures
that mostly occur in the development of data warehouse systems. As part of this research,
an enhanced framework was proposed to facilitate the usage of formal methods in the
development of such systems. The enhanced framework focuses mainly on the
requirements definition, the Unified Modelling Language (UML) constructs, the Star
model and formal specification. A medium-sized case study of a data mart was
considered to validate the enhanced framework. This dissertation also discusses the
object-orientation paradigm and UML notations.
The requirements specification of a data warehouse system is presented in natural
language and formal notation to show how a formal specification may be drifted from
natural language to UML structures and thereafter to the Z specification using an
established strategy as a guideline to construct a Z specificationAlhoewel verskeie studies oor formele metodes gedoen is, het min hiervan formele
metodes in die databergingarea, spesifiek stelselontwerp, gebruik. Dit kan aan baie redes
toegeskryf word, soos dat min kundiges weet hoe om dit te gebruik. Formele metodes is
in sagtewareontwikkeling gebruik wat wiskundige notasies gebruik. Ten spyte van die
voordele van formele metodes in sagtewareontwikkeling, is die toepassing daarvan in
die databergingarea beperk wanneer dit met die gebruik van informele (natuurlike taal)
en semiformele notasies vergelyk word.
Hierdie navorsing beoog om te bepaal tot watter mate formele metodes foute kan
uitskakel wat hoofsaaklik in die ontwikkeling van databeringstelsels voorkom. As deel
van hierdie navorsing is 'n beter raamwerk voorgestel om die gebruik van formele
metodes in die ontwikkeling van sulke stelsels te fasiliteer. Die beter raamwerk fokus
hoofsaaklik op die definisie van vereistes, die Unified Modelling Language (UML) -
konstukte, die Star-model en formele spesifikasies. Die mediumgrootte gevallestudie van
'n datamark is oorweeg om die beter raamwerk geldig te verklaar. Hierdie verhandeling
bespreek ook die voorwerpgeoriënteerde paradigma en die UML-notasies.
Die vereiste spesifikasie van 'n databergingstelsel word in natuurlike taal en formele
notasie voorgehou om aan te dui hoe 'n formele spesifikasie van natuurlik taal na UML strukture kan verskuif en daarna na die Z-spesifiekasie deur 'n gevestigde strategie as 'n
riglyn te gebruik om 'n Z-spesifikasie te konstrueer.Go nnile le dithutopatlisiso di le mmalwa ka mekgwa e e fomale, fela ga se
dithutopatlisiso tse dintsi tsa tseno tse di dirisitseng mekgwa e e fomale mo karolong ya
bobolokelobogolo jwa data, bogolo segolo mo ntlheng ya thadiso ya ditsamaiso tsa
dikhomphiutha. Go ka nna le mabaka a le mantsi a a ka golaganngwang le seno, go
tshwana le gore ga se baitseanape ba le kalo ba ba itseng go e dirisa. Mekgwa e e fomale
e e dirisitswe mo tlhabololong ya dirweboleta go dirisiwa matshwao a dipalo. Le fa go
na le melemo ya go dirisa mekgwa e e fomale mo tlhabololong ya dirweboleta, tiriso ya
yona mo bobolokelobogolong jwa data e lekanyeditswe fa e tshwantshanngwa le tiriso ya
matshwao a a seng fomale (puo ya tlwaelo) le a a batlang a le fomale.
Patlisiso eno e ikaelela go bona gore a mekgwa e e fomale e ka fokotsa go retelelwa go go
diragalang gantsi mo tlhabololong ya ditsamaiso tsa bobolokelobogolo jwa data. Jaaka
karolo ya patlisiso eno, go tshitshintswe letlhomeso le le tokafaditsweng go bebofatsa
tiriso ya mekgwa e e fomale mo tlhabololong ya ditsamaiso tse di jalo. Letlhomeso le le
tokafaditsweng le tota ditlhokego tsa tlhaloso, megopolo ya Unified Modelling Language
(UML), sekao sa Star le ditlhokego tse di rulaganeng. Go dirisitswe patlisiso ya tobiso e e
magareng ya data mart go tlhomamisa letlhomeso le le tokafaditsweng. Tlhotlhomisi eno
gape e lebelela pharataeme e e totileng sedirwa/selo le matshwao a UML.
Ditlhokego tsa tsamaiso ya polokelokgolo ya data di tlhagisiwa ka puo ya tlholego le matshwao a a fomale go bontsha ka moo tlhagiso e e fomale e ka lebisiwang go tswa kwa
puong ya tlholego go ya kwa dipopegong tsa UML mme morago e lebe kwa tlhalosong
ya ditlhokego ya Z go dirisiwa togamaano e e ntseng e le gona jaaka kaedi ya go aga
tlhaloso ya ditlhokego ya Z.School of ComputingM. Sc. (Computing
Implicit Motivations in Personality Systems Interactions Predictive of Burnout in Mental Health Professionals
Burnout among mental health professionals (MHPs) has been of interest to scholars and practitioners since the 1970s. For MHPs, burnout leads to less effective client treatment outcomes, increased turnover rate, and decreased overall wellbeing. Despite a significant body of literature on MHP burnout, there is little literature on how MHPs’ implicit motivations (IMs) may influence and contribute to their burnout. Understanding how IMs correlate with burnout may help with self-awareness and specific therapeutic treatments, both of which are important in preventing and alleviating burnout. Grounded in motive disposition theory, personality systems interaction theory, and theory on dimensions of burnout, this quantitative study contributes to the understanding of IMs as they relate to MHP burnout, thus addressing the lack of literature on this relationship. The study’s purpose was to examine whether there is a predictive relationship between an MHP’s IMs (nAchievement, nAffiliation/Intimacy, nPower, and nAutonomy) and the dimensions of burnout (Emotional Exhaustion, Depersonalization, and Low Personal Accomplishment). MHPs were given the Operant Motive Test to examine the degree of their IMs and the Maslach Burnout Inventory–Humans Services Survey to examine their degree of burnout on each burnout dimension. Multiple regression analysis was used to examine whether a predictive relationship exists between any of the distinct IMs and the dimensions of burnout. The results may provide MHPs with a framework for self-awareness and specific approaches in the prevention and treatment of burnout. Potential implications for effecting social change include improvement of client treatment outcomes, reduced turnover rate among MHPs, and increased overall well-being of MHPs
Covid Conspiracy Theories in Global Perspective
Covid Conspiracy Theories in Global Perspective examines how conspiracy theories and related forms of misinformation and disinformation about the Covid-19 pandemic have circulated widely around the world.
Covid conspiracy theories have attracted considerable attention from researchers, journalists, and politicians, not least because conspiracy beliefs have the potential to negatively affect adherence to public health measures. While most of this focus has been on the United States and Western Europe, this collection provides a unique global perspective on the emergence and development of conspiracy theories through a series of case studies. The chapters have been commissioned by recognized experts on area studies and conspiracy theories.
The chapters present case studies on how Covid conspiracism has played out (some focused on a single country, others on regions), using a range of methods from a variety of disciplinary perspectives, including history, politics, sociology, anthropology, and psychology. Collectively, the authors reveal that, although there are many narratives that have spread virally, they have been adapted for different uses and take on different meanings in local contexts.
This volume makes an important contribution to the rapidly expanding field of academic conspiracy theory studies, as well as being of interest to those working in the media, regulatory agencies, and civil society organizations, who seek to better understand the problem of how and why conspiracy theories spread
The international economic and financial order after the pandemic and war
The fifth report in The Future of Banking series, part of the Banking Initiative from the IESE Business School, examines the implications of the Covid-19 pandemic and the war in Ukraine for the international economic and financial order. It centres around three major components: the macroeconomic outlook and the changes needed to the economic policy model (fiscal, monetary and regulatory) to preserve economic and financial stability; the consequences for the international monetary system and the position of the US dollar; and the financial architecture needed to ensure sovereign debt sustainability, with special attention to Europe.-- 1. The international economic and financial order after the pandemic and war: Introduction -- 2. Macro times are a-changing: stabilisation policies after Covid-19 and the war in Ukraine – 3. The international monetary landscape: implications of the Russia-Ukraine war, the rise of China and new digital technologies – 5. Sovereign debt after the pandemic and the war – 6. The international economic and financial order after the pandemic and war: discussions – 7. The international economic and financial order after the pandemic and war: discussionPublished online: 20 February 202
- …