arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Michael Hardy

29 papers · 1982–2026

1982: 11983: 01984: 01985: 01986: 11987: 01988: 01989: 01990: 01991: 11992: 01993: 11994: 01995: 01996: 01997: 01998: 01999: 02000: 02001: 12002: 42003: 02004: 12005: 02006: 12007: 02008: 02009: 02010: 02011: 12012: 02013: 02014: 02015: 12016: 12017: 02018: 02019: 02020: 02021: 02022: 02023: 12024: 32025: 42026: 7
1982peak 7 in 20262026

Frequent co-authors

Papers

showing 1–25 of 29 RSS

Combinatorics of Partial Derivatives

Michael Hardy

math.CO · · cited 196× · arXiv ↗ · more like this ·

The natural forms of the Leibniz rule for the $k$th derivative of a product and of Faà di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than $d^k/dx^k$, with no assumptions about whether the variables $x_1,...,x_k$ are all distinct, or all identical, or partitioned into several distinguishable classes of indistinguishable variables. Coefficients appearing in forms of these identities in which some variables are indistinguishable are just multiplicities of indistinguishable terms (in particular, if all variables are distinct then all coefficients are 1). The computation of the multiplicities in this generalization of Faà di Bruno's formula is a combinatorial enumeration problem that, although completely elementary, seems to have been neglected. We apply the results to cumulants of probability…

Adverse events temporally associated with immunizing agents.

Philippe Duclos, Robert Pless, Judith Koch +1 more

Health · PubMed · · cited 13× · OpenAlex ↗ · more like this ·

In Canada during 1990, a total of 2832 reports of adverse events temporally associated with the administration of immunizing agents were received by the Childhood Immunization Division of the Laboratory Centre for Disease Control. This paper summarizes the data collected, describes the surveillance system, and demonstrates that, with more than 12,000,000 doses of vaccines distributed during 1990, the incidence of adverse events reported is very low.

The law of the sea and the prospects for deep seabed mining: The position of the European community

Michael Hardy

Sociology and Political Science · Ocean Development & International Law · · cited 10× · DOI ↗ · more like this ·

Abstract The paper outlines the relationship between the Law of the Sea Conference and internal developments within the European Community, notably in regard to fishing. The European Community has signed the Convention, and the Declaration that was made is discussed. European participation in deep seabed mining activities is described in terms of government measures, the formation of consortia, and registration procedures. A fact sheet on the consortia, legislation of EC States, and international arrangements is given. Notes ∗The views expressed are put forward in a personal capacity. An earlier version of this paper was presented at the Twenty‐Sixth Annual Convention of the International Studies Association. Washington, D.C., March 9, 1985.

Division of powers between the European Communities and their Member States in the field of external relations. (Colloquium 30 and 31 May 1980, Amsterdam.) Edited by C. W. A. Timmermans and E. L. M. Völker. Deventer: Kluwer, 1981. Pp. vi, 149. Dfl.55; $27.

Michael Hardy

Political Science and International Relations · American Journal of International Law · · cited 8× · DOI ↗ · more like this ·

Division of powers between the European Communities and their Member States in the field of external relations. (Colloquium 30 and 31 May 1980, Amsterdam.) Edited by C. W. A. Timmermans and E. L. M. Völker. Deventer: Kluwer, 1981. Pp. vi, 149. Dfl.55; $27. - Volume 76 Issue 3

Use and evaluation of the ALEKS interactive tutoring system

Michael Hardy

Artificial Intelligence · Journal of computing sciences in colleges · · cited 7× · DOI ↗ · more like this ·

Instructors of development math have long desired a way to individualize instruction allowing each student to focus on material which he or she does not already know but is ready to learn. Since Fall semester of 2002, many of the developmental math sections at the author's university have used ALEKS, a web based intelligent tutoring program to achieve this end. (ALEKS stands for 'Assessment and LEarning in Knowledge Spaces.') This paper briefly describes the ALEKS system and the data that can be collected from it in order to determine its effectiveness. It describes an analysis of data collected from 135 students who used the program in Intermediate Algebra during the Fall semester of 2002 discusses ways to improve data collection to better answer questions about the effectiveness of the system.

Design and implementation of the Our Health Counts (OHC) methodology for First Nations, Inuit, and Metis (FNIM) health assessment and response in urban and related homelands

Janet Smylie, Cheryllee Bourgeois, Marcie Snyder +9 more

Health · Canadian Journal of Public Health · · cited 4× · DOI ↗ · more like this ·

OBJECTIVES: Methods for enumeration and population-based health assessment for First Nations, Inuit, and Metis (FNIM) living in Canadian cities are underdeveloped, with resultant gaps in essential demographic, health, and health service access information. Our Health Counts (OHC) was designed to engage FNIM peoples in urban centres in "by community, for community" population health assessment and response. METHODS: The OHC methodology was designed to advance Indigenous self-determination and FNIM data sovereignty in urban contexts through deliberate application of Indigenous principles and linked implementation strategies. Three interwoven principles (good relationships are foundational; research as gift exchange; and research as a vehicle for Indigenous community resurgence) provide the framework for linked implementation strategies which include actively building and maintaining…

Agent Evaluation Reliability: More Tasks Won't (Always) Fix An Agent Leaderboard

Michael Hardy, Ruhana Azam, Anka Reuel +2 more

cs.AI · · cited 3× · arXiv ↗ · more like this ·

Agent evaluations are increasingly used to compare LLMs and inform deployment decisions, yet ranks can reflect not only the model but also the effects of the evaluation conditions such as the scaffolds or tasks. This makes reliability claim-dependent: an evaluation that reliably ranks deployed systems may not reliably rank underlying models. We ask which conclusions current agent evaluations reliably support and what additional evaluation would improve them. We develop a Bayesian variance-decomposition framework for sparse, imbalanced agent leaderboards and apply it to 22 benchmarks from the Holistic Agent Leaderboard and Harbor Index. The framework separates signal, performance differences relevant to the intended claim, from noise, irrelevant variation that can still change rankings. We find: (1) Reliability depends on the measurement goal. Fixed model-scaffold systems are ranked…

Unmasking population undercounts, health inequities, and health service access barriers across Indigenous populations in urban Ontario

Marcie Snyder, Stephanie McConkey, Raman Brar +9 more

Health · Canadian Journal of Public Health · · cited 3× · DOI ↗ · more like this ·

OBJECTIVES: Our Health Counts (OHC) methods are designed to address gaps in urban-based Indigenous health information. In partnership with local Indigenous health service providers, we have successfully implemented OHC in six Ontario cities. The aim of this study is to summarize findings regarding Indigenous population undercount, health inequities, and health service access barriers across study sites. METHODS: We estimated Indigenous population size using OHC census participation survey responses and a multiplier approach. Health inequities between Indigenous populations and overall populations in each city were examined using respondent-driven sampling (RDS), adjusted OHC survey results, and existing public data. Measures included health status outcomes; determinants of health; barriers to health service access, including discrimination by health service providers; and unmet health…

The Rearrangement Number

Andreas Blass, Jörg Brendle, Will Brian +3 more

math.LO · · cited 3× · arXiv ↗ · more like this ·

How many permutations of the natural numbers are needed so that every conditionally convergent series of real numbers can be rearranged to no longer converge to the same sum? We define the \emph{rearrangement number}, a new cardinal characteristic of the continuum, as the answer to this question. We compare the rearrangement number with several natural variants, for example one obtained by requiring the rearranged series to still converge but to a new, finite limit. We also compare the rearrangement number with several well-studied cardinal characteristics of the continuum. We present some new forcing constructions designed to add permutations that rearrange series from the ground model in particular ways, thereby obtaining consistency results going beyond those that follow from comparisons with familiar cardinal characteristics. Finally, we deal briefly with some variants concerning…

“All that Glitters”: Techniques for Evaluations with Unreliable Model and Human Annotations

Michael Hardy

Artificial Intelligence · · cited 2× · DOI ↗ · more like this ·

Gold" and "ground truth" human-mediated labels have error.This error can escape commonly reported metrics of label quality or obscure questions of accuracy, bias, fairness, and usefulness during model evaluation.This study demonstrates methods for answering such questions even in the context of very low reliabilities from expert humans.We analyze human labels, GPT model ratings, and transformer encoder model ratings of the quality of classroom teaching from two LLM architecture familiesencoders and GPT decoders.First, we demonstrate that using standard metrics in the presence of poor labels can mask both label and model quality.The encoder family of models achieve state-of-the-art, even "super-human", results across all classroom annotation tasks using standard metrics.However, evaluation techniques accounting for unreliable labels reveal important flaws, including spurious correlations…

The Basic Principle of Calculus?

Michael Hardy

Theoretical Computer Science · PRIMUS · · cited 2× · DOI ↗ · more like this ·

Abstract A simple partial version of the Fundamental Theorem of Calculus can be presented on the first day of the first-year calculus course, and then relied upon repeatedly in assigned problems throughout the course. With that experience behind them, students can use the partial version to understand the full-fledged Fundamental Theorem, with further assigned problems leading them through that process.

Our Health Counts: Examining associations between colonialism and ever being incarcerated among First Nations, Inuit, and Métis people in London, Thunder Bay, and Toronto, Canada

Nicole M. Muir, Michael Rotondi, Raman Brar +6 more

Health · Canadian Journal of Public Health · · cited 1× · DOI ↗ · more like this ·

OBJECTIVES: Indigenous peoples have a disproportionately high prevalence of incarceration in the Canadian justice system. However, there is limited Indigenous-driven research examining colonialism and the justice system, specifically associations between racism, externally imposed family disruptions, and history of ever being incarcerated. Therefore, this study examined the association between the proportion of previous incarceration and family disruption, experiences of racism, and victimization for Indigenous adults in London, Thunder Bay, and Toronto, Ontario, Canada. The three communities expressed that they did not want comparison between the communities; rather, they wanted analysis of their community to understand where more supports were needed. METHODS: Indigenous community partners used respondent-driven sampling (RDS) to collect data from First Nations, Inuit, and Métis…

Stereographic Trigonometric Identities

Michael Hardy

Geometry and Topology · American Mathematical Monthly · · cited 1× · DOI ↗ · more like this ·

AbstractWe show that trigonometric identities arising from the most well known alternative to the arc-length parametrization of the circle share some of the same elaborate nature as the more famili...

Scaled Boolean Algebras

Michael Hardy

math.PR · · cited 1× · arXiv ↗ · more like this ·

Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but rather as degrees of belief in uncertain propositions. This paper separates the study of these objects from that not-entirely-mathematical problem that motivated them. That motivating problem is explicated in the first section, and the application of scaled Boolean algebras to it is explained in the last section. The intermediate sections deal only with the mathematics. It is hoped that this isolation of the mathematics from the motivating problem makes the mathematics clearer.

"All that Glitters": Approaches to Evaluations with Unreliable Model and Human Annotations

Michael Hardy

cs.CL · · cited 0× · arXiv ↗ · more like this ·

"Gold" and "ground truth" human-mediated labels have error. The effects of this error can escape commonly reported metrics of label quality or obscure questions of accuracy, bias, fairness, and usefulness during model evaluation. This study demonstrates methods for answering such questions even in the context of very low reliabilities from expert humans. We analyze human labels, GPT model ratings, and transformer encoder model annotations describing the quality of classroom teaching, an important, expensive, and currently only human task. We answer the question of whether such a task can be automated using two Large Language Model (LLM) architecture families--encoders and GPT decoders, using novel approaches to evaluating label quality across six dimensions: Concordance, Confidence, Validity, Bias, Fairness, and Helpfulness. First, we demonstrate that using standard metrics in the…

Combinatorial structures in cryptography

Seth Michael Hardy

Computational Theory and Mathematics · Digital WPI · · cited 0× · OpenAlex ↗ · more like this ·

Error correcting codes, such as Reed-Solomon codes, can be used to create authentication codes based on orthogonal arrays. These codes are provably secure up to a certain number of uses; however, as the number of desired uses goes up, so does the keylength. This project researches the security of a code whose messages (which function as private keys) have specific form that allows them to be represented in a more compact fashion. Specifically, messages with low Hamming weight are considered.

n ∑ (

Michael Hardy, Xi X, Xi X

Statistics and Probability · · cited 0× · OpenAlex ↗ · more like this ·

Suppose that X1,..., Xn are independent random variables with a normal (or “Gaussian”) distribution with expectation µ and variance σ 2. A statistician who has observed the values of X1,..., Xn must guess the values of µ and σ 2. Among the statistically naive, it is sometimes asserted that S 2 = 1 n − 1

Burgers, Graphs, and Combinations

Michael Hardy

Geometry and Topology · Mathematics Teaching in the Middle School · · cited 0× · DOI ↗ · more like this ·

One warm friday night, A friend and I decided to pop into a Steak 'n Shake for a burger. We noticed an interesting claim on the place mat. According to the restaurant chain, a customer could order from the sandwich platter menu for a year without ordering the same meal twice. Wondering aloud whether the claim was true, my friend and I decided to have some fun and determine the answer. We arrived at a solution, quickly, but I also thought that this question would give middle school students an interesting opportunity to build connections between mathematical concepts and realistic situations.

Ada and the X Window System

Kirk Beitz, Christopher Byrnes, Michael Hardy +2 more

Computer Vision and Pattern Recognition · · cited 0× · DOI ↗ · more like this ·

Article Free Access Share on Ada and the X Window System Authors: Kirk Beitz Intermetrics IntermetricsView Profile , Christopher Byrnes MITRE MITREView Profile , Michael Hardy Calspan Corp. Calspan Corp.View Profile , Rich Hilliard Intermetrics IntermetricsView Profile , Craig Warsaw Century Computing, Inc. Century Computing, Inc.View Profile , Chairman: Stu Lewin Lockheed Sanders, Inc., Ada Projects Leader, P.O. Box 868, MER24-1583C, Signal Processing Center of Technology, Nashua, NH Lockheed Sanders, Inc., Ada Projects Leader, P.O. Box 868, MER24-1583C, Signal Processing Center of Technology, Nashua, NHView Profile Authors Info & Claims TRI-Ada '91: Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectationsDecember 1991Pages 327–332https://doi.org/10.1145/126551.126585Published:01 December 1991Publication History 0citation109DownloadsMetricsTotal…

Evaluation Cards: An Interpretive Layer for AI Evaluation Reporting

Avijit Ghosh, Anka Reuel, Jenny Chim +45 more

cs.AI · · arXiv ↗ · more like this ·

AI evaluation results are produced at scale but reported inconsistently across leaderboards, model cards, benchmark papers, and company blogs. The cost is interpretive: readers cannot reliably compare results across sources, identify what a report omits, or trace an aggregate claim to its underlying evidence. Recent efforts address isolated components but leave three gaps: they cover only narrow slices of the evaluation lifecycle and do not compose into a single interpretable record; they specify static representations that do not differentiate the questions different stakeholders bring to the same evidence; and they remain proposals on paper, lacking the extraction infrastructure required for adoption at scale. We present \EvalCards{}, an operational reporting layer that composes benchmark metadata, evaluation run data, and model metadata into a unified record. We (1) derive a…

AI Cartography: Mapping the Latent Landscape of AI Benchmark Ecosystems

Michael Hardy, Anka Reuel, Lijin Zhang +6 more

cs.AI · · arXiv ↗ · more like this ·

While aggregate leaderboard scores drive AI development, they contain substantial measurement noise whose sources and magnitudes remain unquantified, making it unclear when rankings reflect genuine capability differences versus evaluation artifacts. We introduce a framework for measuring the latent landscape in AI benchmark ecosystems. Applying Confirmatory Factor Analysis (CFA) and Generalizability Theory to 4,000+ models from the Open LLM Leaderboard, we decompose sources of ranking variance and establish: (1) structures assumed in current reporting practice underestimate the strength of relationships between benchmarks; (2) evidence of local dependence among leaderboard items, undermining uses of benchmarks as measurement instruments under current scoring systems; (3) contributor metadata explains more rank-relevant variance ($\approx9\%$) than architecture or deployment categories…

Efficient Detection of Bad Benchmark Items with Novel Scalability Coefficients

Michael Hardy, Joshua Gilbert, Benjamin Domingue

stat.AP · · arXiv ↗ · more like this ·

The validity of assessments, from large-scale AI benchmarks to human classrooms, depends on the quality of individual items, yet modern evaluation instruments often contain thousands of items with minimal psychometric vetting. We introduce a new family of nonparametric scalability coefficients based on interitem isotonic regression for efficiently detecting globally bad items (e.g., miskeyed, ambiguously worded, or construct-misaligned). The central contribution is the signed isotonic $R^2$, which measures the maximal proportion of variance in one item explainable by a monotone function of another while preserving the direction of association via Kendall's $τ$. Aggregating these pairwise coefficients yields item-level scores that sharply separate problematic items from acceptable ones without assuming linearity or committing to a parametric item response model. We show that the signed…

Autoscoring Anticlimax: A Meta-analytic Understanding of AI's Short-answer Shortcomings and Wording Weaknesses

Michael Hardy

cs.CL · · arXiv ↗ · more like this ·

Automated short-answer scoring lags other LLM applications. We meta-analyze 890 culminating results across a systematic review of LLM short-answer scoring studies, modeling the traditional effect size of Quadratic Weighted Kappa (QWK) with mixed effects metaregression. We quantitatively illustrate that that the level of difficulty for human experts to perform the task of scoring written work of children has no observed statistical effect on LLM performance. Particularly, we show that some scoring tasks measured as the easiest by human scorers were the hardest for LLMs. Whether by poor implementation by thoughtful researchers or patterns traceable to autoregressive training, on average decoder-only architectures underperform encoders by 0.37--a substantial difference in agreement with humans. Additionally, we measure the contributions of various aspects of LLM technology on successful…