18,099 research outputs found

    One Small Step for Generative AI, One Giant Leap for AGI: A Complete Survey on ChatGPT in AIGC Era

    Full text link
    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

    Get PDF
    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

    Full text link
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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
    • 

    corecore