2,536 research outputs found

    HR: A System for Machine Discovery in Finite Algebras

    Get PDF
    We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory

    Framing of the Texas Snowstorm on Twitter

    Get PDF
    This study investigates Framing Theory as it pertains to Twitter as the modern social sphere for communication and acquisition of news. There isn’t much work examining how the news frames the cause of global climate change on Twitter. This paper aims to study how five notable news publishers of different media political biases communicate through Twitter about the Texas Snowstorm that occurred in February, 2021. Through a content analysis of 119 tweets regarding a climate change induced storm of record-breaking, freezing temperatures; this study reveals the news’s fixation on the effects of the issue instead of the causes

    "Oxide-free" tip for scanning tunneling microscopy

    Get PDF
    We report a new tip for scanning tunneling microscopy and a tip repair procedure that allows one to reproducibly obtain atomic images of highly oriented pyrolytic graphite with previously inoperable tips. The tips are shown to be relatively oxide-free and highly resistant to oxidation. The tips are fabricated with graphite by two distinct methods

    The Use of Classification in Automated Mathematical Concept Formation

    Get PDF
    Concept formation programs aim to produce a high yield of concepts which are considered interesting. One intelligent way to do this is to base a new concept on one or more concepts which are already known to be interesting. This requires a concrete notion of the `interestingness' of a particular concept. Restricting the concepts formed to mathematical definitions in finite group theory, we derive three measures of the importance of a concept. These measures are based on how much the concept improves a classification of finite groups. Introduction One approach to automatic mathematical concept formation is to perform a heuristic search through a space of sentences which define mathematical concepts. In the space, there will be some sentences which are rubbish, some which are plausible but not very exciting, and some which are important. In order to be able to do an effective search, reducing the number of rubbish sentences, and increasing the yield of important concepts, it is..

    Active Exterior Cloaking

    Full text link
    A new method of cloaking is presented. For two-dimensional quasistatics it is proven how a single active exterior cloaking device can be used to shield an object from surrounding fields, yet produce very small scattered fields. The problem is reduced to finding a polynomial which is approximately one within one disk and zero within a second disk, and such a polynomial is constructed. For the two-dimensional Helmholtz equation, it is numerically shown that three active exterior devices placed around the object suffice to produce very good cloaking.Comment: 4 pages, 3 figures, submitted to Physical Review Letter

    Chapter 9- A New Normal in Inclusive, Usable Online Learning Experiences

    Get PDF
    The most obvious consequence of the COVID-19 pandemic in higher education has been more students accessing their classes remotely without having the technology and other resources readily available on their local campuses. Students from underrepresented groups have been disproportionately affected as a result of COVID-19, particularly students of color (Alvarez, 2020) and students with disabilities (Hill, 2020; National Center, 2020). This neglect of underrepresented groups in higher education is not unique to the pandemic, of course, and sadly is nothing new to higher education, but COVID-19 has made this problem more apparent

    Automatic Invention of Integer Sequences

    Get PDF
    We report on the application of the HR program (Colton, Bundy, & Walsh 1999) to the problem of automatically inventing integer sequences. Seventeen sequences invented by HR are interesting enough to have been accepted into the Encyclopedia of Integer Sequences (Sloane 2000) and all were supplied with interesting conjectures about their nature, also discovered by HR. By extending HR, we have enabled it to perform a two stage process of invention and investigation. This involves generating both the definition and terms of a new sequence, relating it to sequences already in the Encyclopedia and pruning the output to help identify the most surprising and interesting results

    Generating Music with Extreme Passages using GPT-2

    Get PDF
    Volume with the Late-Breaking Abstracts submitted to the Evo* 2021 Conference, held online from 7 to 9 of April 2021. These papers present ongoing research and preliminary results investigating on the application of different approaches of Bioinspired Methods (mainly Evolutionary Computation) to different problems, most of them real world ones

    Public Inducement of Local Economic Development: Legal Constraints on Government Equity Funding Programs

    Get PDF
    The purpose of this Article is three-fold. First, it will develop a taxonomy of venture capital programs that local governments use. Second, it will examine those programs in light of state constitutional restrictions on the use of the public\u27s finances. Finally, it will examine whether the federal antitrust immunity traditionally accorded state actions is likely to extend to these programs
    • …
    corecore