18,099 research outputs found
One Small Step for Generative AI, One Giant Leap for AGI: A Complete Survey on ChatGPT in AIGC Era
OpenAI has recently released GPT-4 (a.k.a. ChatGPT plus), which is
demonstrated to be one small step for generative AI (GAI), but one giant leap
for artificial general intelligence (AGI). Since its official release in
November 2022, ChatGPT has quickly attracted numerous users with extensive
media coverage. Such unprecedented attention has also motivated numerous
researchers to investigate ChatGPT from various aspects. According to Google
scholar, there are more than 500 articles with ChatGPT in their titles or
mentioning it in their abstracts. Considering this, a review is urgently
needed, and our work fills this gap. Overall, this work is the first to survey
ChatGPT with a comprehensive review of its underlying technology, applications,
and challenges. Moreover, we present an outlook on how ChatGPT might evolve to
realize general-purpose AIGC (a.k.a. AI-generated content), which will be a
significant milestone for the development of AGI.Comment: A Survey on ChatGPT and GPT-4, 29 pages. Feedback is appreciated
([email protected]
Technical Dimensions of Programming Systems
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of possibilities lacks a common structure for navigation. Work on programming systems fails to form a coherent body of research, making it hard to improve on past work and advance the state of the art.
In computer science, much has been said and done to allow comparison of programming languages, yet no similar theory exists for programming systems; we believe that programming systems deserve a theory too.
We present a framework of technical dimensions which capture the underlying characteristics of programming systems and provide a means for conceptualizing and comparing them.
We identify technical dimensions by examining past influential programming systems and reviewing their design principles, technical capabilities, and styles of user interaction. Technical dimensions capture characteristics that may be studied, compared and advanced independently. This makes it possible to talk about programming systems in a way that can be shared and constructively debated rather than relying solely on personal impressions.
Our framework is derived using a qualitative analysis of past programming systems. We outline two concrete ways of using our framework. First, we show how it can analyze a recently developed novel programming system. Then, we use it to identify an interesting unexplored point in the design space of programming systems.
Much research effort focuses on building programming systems that are easier to use, accessible to non-experts, moldable and/or powerful, but such efforts are disconnected. They are informal, guided by the personal vision of their authors and thus are only evaluable and comparable on the basis of individual experience using them. By providing foundations for more systematic research, we can help programming systems researchers to stand, at last, on the shoulders of giants
Evaluating the Code Quality of AI-Assisted Code Generation Tools: An Empirical Study on GitHub Copilot, Amazon CodeWhisperer, and ChatGPT
Context: AI-assisted code generation tools have become increasingly prevalent
in software engineering, offering the ability to generate code from natural
language prompts or partial code inputs. Notable examples of these tools
include GitHub Copilot, Amazon CodeWhisperer, and OpenAI's ChatGPT.
Objective: This study aims to compare the performance of these prominent code
generation tools in terms of code quality metrics, such as Code Validity, Code
Correctness, Code Security, Code Reliability, and Code Maintainability, to
identify their strengths and shortcomings.
Method: We assess the code generation capabilities of GitHub Copilot, Amazon
CodeWhisperer, and ChatGPT using the benchmark HumanEval Dataset. The generated
code is then evaluated based on the proposed code quality metrics.
Results: Our analysis reveals that the latest versions of ChatGPT, GitHub
Copilot, and Amazon CodeWhisperer generate correct code 65.2%, 46.3%, and 31.1%
of the time, respectively. In comparison, the newer versions of GitHub CoPilot
and Amazon CodeWhisperer showed improvement rates of 18% for GitHub Copilot and
7% for Amazon CodeWhisperer. The average technical debt, considering code
smells, was found to be 8.9 minutes for ChatGPT, 9.1 minutes for GitHub
Copilot, and 5.6 minutes for Amazon CodeWhisperer.
Conclusions: This study highlights the strengths and weaknesses of some of
the most popular code generation tools, providing valuable insights for
practitioners. By comparing these generators, our results may assist
practitioners in selecting the optimal tool for specific tasks, enhancing their
decision-making process
Implementing Health Impact Assessment as a Required Component of Government Policymaking: A Multi-Level Exploration of the Determinants of Healthy Public Policy
It is widely understood that the public policies of ânon-healthâ government sectors have greater impacts on population health than those of the traditional healthcare realm. Health Impact Assessment (HIA) is a decision support tool that identifies and promotes the health benefits of policies while also mitigating their unintended negative consequences. Despite numerous calls to do so, the Ontario government has yet to implement HIA as a required component of policy development. This dissertation therefore sought to identify the contexts and factors that may both enable and impede HIA use at the sub-national (i.e., provincial, territorial, or state) government level.
The three integrated articles of this dissertation provide insights into specific aspects of the policy process as they relate to HIA. Chapter one details a case study of purposive information-seeking among public servants within Ontarioâs Ministry of Education (MOE). Situated within Ontarioâs Ministry of Health (MOH), chapter two presents a case study of policy collaboration between health and ânon-healthâ ministries. Finally, chapter three details a framework analysis of the political factors supporting health impact tool use in two sub-national jurisdictions â namely, QuĂ©bec and South Australia.
MOE respondents (N=9) identified four components of policymaking âdue diligenceâ, including evidence retrieval, consultation and collaboration, referencing, and risk analysis. As prospective HIA users, they also confirmed that information is not routinely sought to mitigate the potential negative health impacts of education-based policies. MOH respondents (N=8) identified the bureaucratic hierarchy as the brokering mechanism for inter-ministerial policy development. As prospective HIA stewards, they also confirmed that the ministry does not proactively flag the potential negative health impacts of non-health sector policies. Finally, âlessons learnedâ from case articles specific to QuĂ©bec (n=12) and South Australia (n=17) identified the political factors supporting tool use at different stages of the policy cycle, including agenda setting (âpolicy elitesâ and âpolitical cultureâ), implementation (âjurisdictionâ), and sustained implementation (âinstitutional powerâ).
This work provides important insights into âreal lifeâ policymaking. By highlighting existing facilitators of and barriers to HIA use, the findings offer a useful starting point from which proponents may tailor context-specific strategies to sustainably implement HIA at the sub-national government level
An investigation of the relationship between perioperative characteristics and perioperative anaesthesia on the postoperative systemic inflammatory response and clinical outcome in patients undergoing surgery for colorectal cancer
In UK, colorectal cancer (CRC) is the fourth most common cancer and the second most common cause of cancer death. Until now, surgical resection remains the cornerstone for the management of CRC in all stages, however, stress response elicit from surgery may cause different changes through multiple systems in human body including neural, endocrine, metabolic, inflammatory, and immunological changes. In addition, other perioperative factors such as volatile anaesthetic and opioids may induce the immunosuppression. There is a proportional correlation between the stress response and the magnitude of the inflammatory immune response, invasiveness, and duration of surgery. The pre-operative and post-operative status of patients are important when considering the prognosis. The systemic inflammatory response (SIR) has been recognised to correlate with tumour progression and the prognosis of CRC. An exaggerated postoperative SIR is associated with postoperative infective complications and poor survival. Several predictive markers of the SIR have been used, such as the neutrophil to lymphocyte ratio (NLR), serum C-reactive protein (CRP) level, and Glasgow prognostic score (GPS). Some evidence reported that general anaesthesia (GA) combined with regional anaesthesia (RA) are better than the single use of general anaesthesia in reducing the post-operative immuno-suppression in some degrees. Furthermore, the peri-operative inflammatory process may be affected by the choice of anaesthetic technique, with propofol reported to have anti-inflammatory effect by targeting neutrophil activity. Up to now, there is insufficient evidence to recommend any specific anaesthetic or analgesic technique for patients undergoing surgery for tumour resection based on inflammatory response, recurrence, and metastasis. The work presented in this thesis further examines the relationship between the perioperative characteristics, perioperative anaesthesia, and the postoperative systemic inflammatory response following surgery for colorectal cancer. Several preoperative medications along with anaesthesia might influence the postoperative systemic inflammatory response but the question is whether the post-operative systemic inflammatory response affected by the administration of different types of anaesthesia or not following surgery for colorectal cancer. Chapter 1 discusses the epidemiology, aetiology, carcinogenesis, risk factors of colorectal cancer, pro-carcinogenic factors, anti-carcinogenic agents, inflammation and cancer, the post-operative systemic inflammatory response, tumour staging, screening, and diagnosis of colorectal cancer. Chapter 2 discusses the treatment of colorectal cancer. Chapter 3 discusses different anaesthetic techniques and agents. Chapter 4 provides summary and aims of the thesis. Chapter 5 represents findings from a systematic review and meta-analysis about the effect of anaesthesia on the postoperative systemic inflammatory response in patients undergoing surgery. The results conclude that there was some evidence that anaesthetic regimens may reduce the magnitude of the post-operative SIR. However, the studies identified in this systematic review were heterogeneous and generally of low quality. Chapter 6 represents a retrospective cohort study about the relationship between anaesthetic technique, clinicopathological characteristics and the magnitude of the postoperative systemic inflammatory response in patients undergoing elective surgery for colon cancer. The results show that the type of anaesthesia varied over time and appears to influence the magnitude of the postoperative SIR on post-operative day 2 for those patients who underwent for open surgery but not laparoscopic surgery. Chapter 7 represents a prospective cohort study about the effect of anaesthesia on the magnitude of the postoperative systemic inflammatory response in patients undergoing elective surgery for colorectal cancer in the context of an enhanced recovery pathway. The results show that there was a modest but an independent association between regional anaesthesia (RA) and a lower magnitude of the postoperative SIR. Chapter 8 represents the relationship between pre-operative medications, the type of anaesthesia and post-operative sequelae in patients undergoing surgery for colorectal cancer. The results show that there was no association between the preoperative administration of aspirin, statins and ACE inhibitors and anaesthesia. Chapter 9 represents the relationship between nutritional status, anaesthetic approach, and peri-operative characteristics of patients undergoing surgery for colorectal cancer. The results show that there was no significant association between measures of nutritional status and anaesthetic approach. Chapter 10 represents the relationship between opioid administration, type of anaesthesia and clinicopathological characteristics in patients undergoing surgery for colorectal cancer. The results show that opioid administration was independently associated with both anaesthetic and operative factors. Chapter 11 represents the main findings of the thesis and some recommendation for a future work
The Logic of Sequence Frames
This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction
A narrative study of how shame features in the lives of women living with HIV
Once classed as a devastating virus that resulted in a guaranteed premature death, HIV can be treated successfully with lifelong medication and importantly its transmissibility is eliminated for individuals on effective medication. However, the psychosocial burden of HIV remains for many and despite this advancement in biomedical treatment, HIV remains a highly stigmatised virus and condition.
This study explores how shame features in the experiences of women living with HIV in Ireland. There is an absence of womenâs narratives in the overall discourse on HIV in Ireland, therefore little is known about their lives. Research on shame tells us that prolonged unacknowledged shame can impact on mental well-being if unaddressed.
The studyâs sample comprised twelve women living with HIV who were based in Ireland. Their narratives based on semi-structured interviews have been analysed using Clandinin and Connellyâs (2000) three-dimensional narrative inquiry tool, which explores from the interactional, chronological and situational elements of a story. A cross-case analysis was adopted to explore dominant themes across the twelve narratives.
Findings from this study portray how shame stemmed from an absence of a woman centred HIV narrative and the ongoing presence of stigmatising HIV discourse. Shame featured as three dimensions of the exposed self: anticipated exposure, exposure avoidance and felt exposure. Finally, many of the participants managed to grow through their HIV-related shame and move past it by discovering a shared experience with other women, to reduce emotional isolation.
This study concludes that HIV-related shame can have negative implications for womenâs health and general well-being, thus compromising womenâs ability to live well with HIV. HIV-related shame must be addressed with the appropriate intervention. The study contributes to the development of a women-centred HIV discourse. This can help increase visibility of WLHIV and enable potential mitigation of the onset of HIV-related shame, which is crucial in this era of HIV normalisation
Aspects of the topological dynamics of sparse graph automorphism groups
We examine sparse graph automorphism groups from the perspective
of the Kechris-Pestov-TodorÄeviÄ (KPT) correspondence. The sparse
graphs that we discuss are Hrushovski constructions: we consider the
'ab initioâ Hrushovski construction M_0, the FraĂŻssĂ© limit of the class of 2-sparse graphs with self-sufficient closure; M_1, a simplified version
of M_0; and the Ï-categorical Hrushovski construction M_F. We prove
a series of results that show that the automorphism groups of these
Hrushovski constructions demonstrate very different behaviour to previous classes studied in the KPT context. Extending results of Evans,
HubiÄka and NeĆĄetĆil, we show that Aut(M_0) has no coprecompact
amenable subgroup. We investigate the fixed points on type spaces
property, a weakening of extreme amenability, and show that for a
particular choice of control function F, Aut(M_F) does not have any
closed oligomorphic subgroup with this property. Next we consider the
Aut(M_1)-flow of linear orders on M_1, and show that minimal subflows
of this have all Aut(M_1)-orbits meagre. We give partial analogous results for the Aut(M_0)-flow of linear orders on M_0, and find the universal
minimal flow of the automorphism group of the âdimension 0â part of
M_0.Open Acces
Foundations for programming and implementing effect handlers
First-class control operators provide programmers with an expressive and efficient
means for manipulating control through reification of the current control state as a first-class object, enabling programmers to implement their own computational effects and
control idioms as shareable libraries. Effect handlers provide a particularly structured
approach to programming with first-class control by naming control reifying operations
and separating from their handling.
This thesis is composed of three strands of work in which I develop operational
foundations for programming and implementing effect handlers as well as exploring
the expressive power of effect handlers.
The first strand develops a fine-grain call-by-value core calculus of a statically
typed programming language with a structural notion of effect types, as opposed to the
nominal notion of effect types that dominates the literature. With the structural approach,
effects need not be declared before use. The usual safety properties of statically typed
programming are retained by making crucial use of row polymorphism to build and
track effect signatures. The calculus features three forms of handlers: deep, shallow,
and parameterised. They each offer a different approach to manipulate the control state
of programs. Traditional deep handlers are defined by folds over computation trees,
and are the original con-struct proposed by Plotkin and Pretnar. Shallow handlers are
defined by case splits (rather than folds) over computation trees. Parameterised handlers
are deep handlers extended with a state value that is threaded through the folds over
computation trees. To demonstrate the usefulness of effects and handlers as a practical
programming abstraction I implement the essence of a small UNIX-style operating
system complete with multi-user environment, time-sharing, and file I/O.
The second strand studies continuation passing style (CPS) and abstract machine
semantics, which are foundational techniques that admit a unified basis for implementing deep, shallow, and parameterised effect handlers in the same environment. The
CPS translation is obtained through a series of refinements of a basic first-order CPS
translation for a fine-grain call-by-value language into an untyped language. Each refinement moves toward a more intensional representation of continuations eventually
arriving at the notion of generalised continuation, which admit simultaneous support for
deep, shallow, and parameterised handlers. The initial refinement adds support for deep
handlers by representing stacks of continuations and handlers as a curried sequence of
arguments. The image of the resulting translation is not properly tail-recursive, meaning some function application terms do not appear in tail position. To rectify this the
CPS translation is refined once more to obtain an uncurried representation of stacks
of continuations and handlers. Finally, the translation is made higher-order in order to
contract administrative redexes at translation time. The generalised continuation representation is used to construct an abstract machine that provide simultaneous support for
deep, shallow, and parameterised effect handlers. kinds of effect handlers.
The third strand explores the expressiveness of effect handlers. First, I show that
deep, shallow, and parameterised notions of handlers are interdefinable by way of typed
macro-expressiveness, which provides a syntactic notion of expressiveness that affirms
the existence of encodings between handlers, but it provides no information about the
computational content of the encodings. Second, using the semantic notion of expressiveness I show that for a class of programs a programming language with first-class
control (e.g. effect handlers) admits asymptotically faster implementations than possible in a language without first-class control
Digital asset management via distributed ledgers
Distributed ledgers rose to prominence with the advent of Bitcoin, the first provably secure protocol to solve consensus in an open-participation setting. Following, active research and engineering efforts have proposed a multitude of applications and alternative designs, the most prominent being Proof-of-Stake (PoS). This thesis expands the scope of secure and efficient asset management over a distributed ledger around three axes: i) cryptography; ii) distributed systems; iii) game theory and economics. First, we analyze the security of various wallets. We start with a formal model of hardware wallets, followed by an analytical framework of PoS wallets, each outlining the unique properties of Proof-of-Work (PoW) and PoS respectively. The latter also provides a rigorous design to form collaborative participating entities, called stake pools. We then propose Conclave, a stake pool design which enables a group of parties to participate in a PoS system in a collaborative manner, without a central operator. Second, we focus on efficiency. Decentralized systems are aimed at thousands of users across the globe, so a rigorous design for minimizing memory and storage consumption is a prerequisite for scalability. To that end, we frame ledger maintenance as an optimization problem and design a multi-tier framework for designing wallets which ensure that updates increase the ledgerâs global state only to a minimal extent, while preserving the security guarantees outlined in the security analysis. Third, we explore incentive-compatibility and analyze blockchain systems from a micro and a macroeconomic perspective. We enrich our cryptographic and systems' results by analyzing the incentives of collective pools and designing a state efficient Bitcoin fee function. We then analyze the Nash dynamics of distributed ledgers, introducing a formal model that evaluates whether rational, utility-maximizing participants are disincentivized from exhibiting undesirable infractions, and highlighting the differences between PoW and PoS-based ledgers, both in a standalone setting and under external parameters, like market price fluctuations. We conclude by introducing a macroeconomic principle, cryptocurrency egalitarianism, and then describing two mechanisms for enabling taxation in blockchain-based currency systems
- âŠ