953 research outputs found
A foundation for synthesising programming language semantics
Programming or scripting languages used in real-world systems are seldom designed
with a formal semantics in mind from the outset. Therefore, the first step for developing well-founded analysis tools for these systems is to reverse-engineer a formal
semantics. This can take months or years of effort.
Could we automate this process, at least partially? Though desirable, automatically reverse-engineering semantics rules from an implementation is very challenging,
as found by Krishnamurthi, Lerner and Elberty. They propose automatically learning
desugaring translation rules, mapping the language whose semantics we seek to a simplified, core version, whose semantics are much easier to write. The present thesis
contains an analysis of their challenge, as well as the first steps towards a solution.
Scaling methods with the size of the language is very difficult due to state space
explosion, so this thesis proposes an incremental approach to learning the translation
rules. I present a formalisation that both clarifies the informal description of the challenge by Krishnamurthi et al, and re-formulates the problem, shifting the focus to the
conditions for incremental learning. The central definition of the new formalisation is
the desugaring extension problem, i.e. extending a set of established translation rules
by synthesising new ones.
In a synthesis algorithm, the choice of search space is important and non-trivial,
as it needs to strike a good balance between expressiveness and efficiency. The rest
of the thesis focuses on defining search spaces for translation rules via typing rules.
Two prerequisites are required for comparing search spaces. The first is a series of
benchmarks, a set of source and target languages equipped with intended translation
rules between them. The second is an enumerative synthesis algorithm for efficiently
enumerating typed programs. I show how algebraic enumeration techniques can be applied to enumerating well-typed translation rules, and discuss the properties expected
from a type system for ensuring that typed programs be efficiently enumerable.
The thesis presents and empirically evaluates two search spaces. A baseline search
space yields the first practical solution to the challenge. The second search space is
based on a natural heuristic for translation rules, limiting the usage of variables so that
they are used exactly once. I present a linear type system designed to efficiently enumerate translation rules, where this heuristic is enforced. Through informal analysis
and empirical comparison to the baseline, I then show that using linear types can speed
up the synthesis of translation rules by an order of magnitude
Multi-epoch machine learning for galaxy formation
In this thesis I utilise a range of machine learning techniques in conjunction with hydrodynamical cosmological simulations. In Chapter 2 I present a novel machine learning method for predicting the baryonic properties of dark matter only subhalos taken from N-body simulations. The model is built using a tree-based algorithm and incorporates subhalo properties over a wide range of redshifts as its input features. I train the model using a hydrodynamical simulation which enables it to predict black hole mass, gas mass, magnitudes, star formation rate, stellar mass, and metallicity. This new model surpasses the performance of previous models. Furthermore, I explore the predictive power of each input property by looking at feature importance scores from the tree-based model. By applying the method to the LEGACY N-body simulation I generate a large volume mock catalog of the quasar population at z=3. By comparing this mock catalog with observations, I demonstrate that the IllustrisTNG subgrid model for black holes is not accurately capturing the growth of the most massive objects. In Chapter 3 I apply my method to investigate the evolution of galaxy properties in different simulations, and in various environments within a single simulation. By comparing the Illustris, EAGLE, and TNG simulations I show that subgrid model physics plays a more significant role than the choice of hydrodynamics method. Using the CAMELS simulation suite I consider the impact of cosmological and astrophysical parameters on the buildup of stellar mass within the TNG and SIMBA models.
In the final chapter I apply a combination of neural networks and symbolic regression methods to construct a semi-analytic model which reproduces the galaxy population from a cosmological simulation. The neural network based approach is capable of producing a more accurate population than a previous method of binning based on halo mass. The equations resulting from symbolic regression are found to be a good approximation of the neural network
Fictocritical Cyberfeminism: A Paralogical Model for Post-Internet Communication
This dissertation positions the understudied and experimental writing practice of fictocriticism as an analog for the convergent and indeterminate nature of âpost-Internetâ communication as well a cyberfeminist technology for interfering and in-tervening in metanarratives of technoscience and technocapitalism that structure contemporary media. Significant theoretical valences are established between twen-tieth century literary works of fictocriticism and the hybrid and ephemeral modes of writing endemic to emergent, twenty-first century forms of networked communica-tion such as social media. Through a critical theoretical understanding of paralogy, or that countercultural logic of deploying language outside legitimate discourses, in-volving various tactics of multivocity, mimesis and metagraphy, fictocriticism is ex-plored as a self-referencing linguistic machine which exists intentionally to occupy those liminal territories âsomewhere in among/between criticism, autobiography and fictionâ (Hunter qtd. in Kerr 1996). Additionally, as a writing practice that orig-inated in Canada and yet remains marginal to national and international literary scholarship, this dissertation elevates the origins and ongoing relevance of fictocriti-cism by mapping its shared aims and concerns onto proximal discourses of post-structuralism, cyberfeminism, network ecology, media art, the avant-garde, glitch feminism, and radical self-authorship in online environments. Theorized in such a matrix, I argue that fictocriticism represents a capacious framework for writing and reading media that embodies the self-reflexive politics of second-order cybernetic theory while disrupting the rhetoric of technoscientific and neoliberal economic forc-es with speech acts of calculated incoherence. Additionally, through the inclusion of my own fictocritical writing as works of research-creation that interpolate the more traditional chapters and subchapters, I theorize and demonstrate praxis of this dis-tinctively indeterminate form of criticism to empirically and meaningfully juxtapose different modes of knowing and speaking about entangled matters of language, bod-ies, and technologies. In its conclusion, this dissertation contends that the âcreative paranoiaâ engendered by fictocritical cyberfeminism in both print and digital media environments offers a pathway towards a more paralogical media literacy that can transform the terms and expectations of our future media ecology
Mapping the Focal Points of WordPress: A Software and Critical Code Analysis
Programming languages or code can be examined through numerous analytical lenses. This project is a critical analysis of WordPress, a prevalent web content management system, applying four modes of inquiry. The project draws on theoretical perspectives and areas of study in media, software, platforms, code, language, and power structures. The applied research is based on Critical Code Studies, an interdisciplinary field of study that holds the potential as a theoretical lens and methodological toolkit to understand computational code beyond its function. The project begins with a critical code analysis of WordPress, examining its origins and source code and mapping selected vulnerabilities. An examination of the influence of digital and computational thinking follows this. The work also explores the intersection of code patching and vulnerability management and how code shapes our sense of control, trust, and empathy, ultimately arguing that a rhetorical-cultural lens can be used to better understand code\u27s controlling influence. Recurring themes throughout these analyses and observations are the connections to power and vulnerability in WordPress\u27 code and how cultural, processual, rhetorical, and ethical implications can be expressed through its code, creating a particular worldview. Code\u27s emergent properties help illustrate how human values and practices (e.g., empathy, aesthetics, language, and trust) become encoded in software design and how people perceive the software through its worldview. These connected analyses reveal cultural, processual, and vulnerability focal points and the influence these entanglements have concerning WordPress as code, software, and platform. WordPress is a complex sociotechnical platform worthy of further study, as is the interdisciplinary merging of theoretical perspectives and disciplines to critically examine code. Ultimately, this project helps further enrich the field by introducing focal points in code, examining sociocultural phenomena within the code, and offering techniques to apply critical code methods
La traduzione specializzata allâopera per una piccola impresa in espansione: la mia esperienza di internazionalizzazione in cinese di Bioretics© S.r.l.
Global markets are currently immersed in two all-encompassing and unstoppable processes: internationalization and globalization. While the former pushes companies to look beyond the borders of their country of origin to forge relationships with foreign trading partners, the latter fosters the standardization in all countries, by reducing spatiotemporal distances and breaking down geographical, political, economic and socio-cultural barriers. In recent decades, another domain has appeared to propel these unifying drives: Artificial Intelligence, together with its high technologies aiming to implement human cognitive abilities in machinery. The âLanguage Toolkit â Le lingue straniere al servizio dellâinternazionalizzazione dellâimpresaâ project, promoted by the Department of Interpreting and Translation (ForlĂŹ Campus) in collaboration with the Romagna Chamber of Commerce (ForlĂŹ-Cesena and Rimini), seeks to help Italian SMEs make their way into the global market. It is precisely within this project that this dissertation has been conceived. Indeed, its purpose is to present the translation and localization project from English into Chinese of a series of texts produced by Bioretics© S.r.l.: an investor deck, the company website and part of the installation and use manual of the Aliquis© framework software, its flagship product. This dissertation is structured as follows: Chapter 1 presents the project and the company in detail; Chapter 2 outlines the internationalization and globalization processes and the Artificial Intelligence market both in Italy and in China; Chapter 3 provides the theoretical foundations for every aspect related to Specialized Translation, including website localization; Chapter 4 describes the resources and tools used to perform the translations; Chapter 5 proposes an analysis of the source texts; Chapter 6 is a commentary on translation strategies and choices
Synthetic Aperture Radar (SAR) Meets Deep Learning
This reprint focuses on the application of the combination of synthetic aperture radars and depth learning technology. It aims to further promote the development of SAR image intelligent interpretation technology. A synthetic aperture radar (SAR) is an important active microwave imaging sensor, whose all-day and all-weather working capacity give it an important place in the remote sensing community. Since the United States launched the first SAR satellite, SAR has received much attention in the remote sensing community, e.g., in geological exploration, topographic mapping, disaster forecast, and traffic monitoring. It is valuable and meaningful, therefore, to study SAR-based remote sensing applications. In recent years, deep learning represented by convolution neural networks has promoted significant progress in the computer vision community, e.g., in face recognition, the driverless field and Internet of things (IoT). Deep learning can enable computational models with multiple processing layers to learn data representations with multiple-level abstractions. This can greatly improve the performance of various applications. This reprint provides a platform for researchers to handle the above significant challenges and present their innovative and cutting-edge research results when applying deep learning to SAR in various manuscript types, e.g., articles, letters, reviews and technical reports
Information Fusion via Symbolic Regression: A Tutorial in the Context of Human Health
This tutorial paper provides a general overview of symbolic regression (SR)
with specific focus on standards of interpretability. We posit that
interpretable modeling, although its definition is still disputed in the
literature, is a practical way to support the evaluation of successful
information fusion. In order to convey the benefits of SR as a modeling
technique, we demonstrate an application within the field of health and
nutrition using publicly available National Health and Nutrition Examination
Survey (NHANES) data from the Centers for Disease Control and Prevention (CDC),
fusing together anthropometric markers into a simple mathematical expression to
estimate body fat percentage. We discuss the advantages and challenges
associated with SR modeling and provide qualitative and quantitative analyses
of the learned models
Honors Colleges in the 21st Century
Table of Contents
Acknowledgments
Introduction | Richard Badenhausen
Part I: Honors College Contexts: Past and Present
CHAPTER ONE Oxbridge and Core Curricula: Continuing Conversations with the Past in Honors Colleges | Christopher A. Snyder
CHAPTER TWO Characteristics of the 21st-Century Honors College | Andrew J. Cognard-Black and Patricia J. Smith
Part II: Transitioning to an Honors College
CHAPTER THREE Should We Start an Honors College? An Administrative Playbook for Working Through the Decision | Richard Badenhausen
CHAPTER FOUR Beyond the Letterhead: A Tactical Toolbox for Transitioning from Program to College | Sara Hottinger, Megan McIlreavy, Clay Motley, and Louis Keiner
Part III: Administrative Leadership
CHAPTER FIVE âIt Is What You Make Itââ: Opportunities Arising from the Unique Roles of Honors College Deans | Jeff Chamberlain, Thomas M. Spencer, and Jefford Vahlbusch
CHAPTER SIX The Role of the Honors College Dean in the Future of Honors Education | Peter Parolin, Timothy J. Nichols, Donal C. Skinner, and Rebecca C. Bott-Knutson
CHAPTER SEVEN From the Top Down: Implications of Honors College Deansâ Race and Gender | Malin Pereira, Jacqueline Smith-Mason, Karoline Summerville, and Scott Linneman
Part IV: Honors College Operations
CHAPTER EIGHT Something Borrowed, Something New: Honors College Faculty and the Staffing of Honors Courses | Erin E. Edgington and Linda Frost
CHAPTER NINE Telling Your Story: Stewardship and the Honors College | Andrew Martino
Part V: Honors Colleges as Leaders in the Work of Diversity, Equity, Inclusion, and Access
CHAPTER TEN Cultivating Institutional Change: Infusing Principles of Diversity, Equity, and Inclusion into Everyday Honors College Practices | Tara M. Tuttle, Julie Stewart, and Kayla Powell
CHAPTER ELEVEN Positioning Honors Colleges to Lead Diversity and Inclusion Efforts at Predominantly White Institutions | Susan Dinan, Jason T. Hilton, and Jennifer Willford
CHAPTER TWELVE Honors Colleges as Levers of Educational Equity | Teagan Decker, Joshua Kalin Busman, and Michele Fazio
CHAPTER THIRTEEN Promoting the Inclusion of LGBTQ+ Students: The Role of the Honors College in Faith-Based Colleges and Universities | Paul E. Prill
Part VI: Supporting Students
CHAPTER FOURTEEN Who Belongs in Honors? Culturally Responsive Advising and Transformative Diversity | Elizabeth Raisanen
CHAPTER FIFTEEN Fostering Student Leadership in Honors Colleges | Jill Nelson Granger
Part VII: Honors College Curricular Innovation
CHAPTER SIXTEEN Honors Liberal Arts for the 21st Century | John Carrell, Aliza S. Wong, Chad Cain, Carrie J. Preston, and Muhammad H. Zaman
CHAPTER SEVENTEEN Honors Colleges, Transdisciplinary Education, and Global Challenges | 423 Paul Knox and Paul Heilker
Part VIII: Community Engagement
CHAPTER EIGHTEEN Teaching and Learning in the Fourth Space: Preparing Scholars to Engage in Solving Community Problems | Heidi Appel, Rebecca C. Bott-Knutson, Joy Hart, Paul Knox, Andrea Radasanu, Leigh E. Fine, Timothy J. Nichols, Daniel Roberts, Keith Garbutt, William Ziegler, Jonathan Kotinek, Kathy Cooke, Ralph Keen, Mark Andersen, and Jyotsna Kapur
CHAPTER NINETEEN Serving Our Communities: Leveraging the Honors College Model at Two-Year Institutions | Eric Hoffman, Victoria M. Bryan, and Dan Flores
About the Authors
About the NCHC Monograph Serie
- âŠ