搜索结果：Cleveland

We study the computational complexity of strategic behaviour in primary elections. Unlike direct voting systems, primaries introduce a multi-stage process in which voters first influence intra-party nominees before a general election determines the final winner. While previous work has evaluated primaries via welfare distortion, we instead examine their game-theoretic properties. We formalise a model of primaries under first-past-the-post with fixed tie-breaking and analyse voters' strategic behaviour. We show that determining whether a pure Nash equilibrium exists is $Σ_2^{\mathbf P}$-complete, computing a best response is NP-complete, and deciding the existence of subgame-perfect equilibria in sequential primaries is PSPACE-complete. These results reveal that primaries fundamentally increase the computational difficulty of strategic reasoning, situating them as a rich source of complexity-theoretic challenges within computational social choice.

We study strategic candidate positioning in multidimensional spatial-voting elections. Voters and candidates are represented as points in $\mathbb{R}^d$, and each voter supports the candidate that is closest under a distance induced by an $\ell_p$-norm. We prove that computing an optimal location for a new candidate is NP-hard already against a single opponent, whereas for a constant number of issues the problem is tractable: an $O(n^{d+1})$ hyperplane-enumeration algorithm and an $O(n \log n)$ radial-sweep routine for $d=2$ solve the task exactly. We further derive the first approximation guarantees for the general multi-candidate case and show how our geometric approach extends seamlessly to positional-scoring rules such as $k$-approval and Borda. These results clarify the algorithmic landscape of multidimensional spatial elections and provide practically implementable tools for campaign strategy.

UO2 doped with parts per million Cr2O3 powder is considered a potential near term accident tolerant fuel candidate. Here, the results of decades of industry and academic research into Cr-doped UO2 are analyzed and their shortcomings are critiqued. Focusing on the incorporation mechanisms of Cr into the fuel matrix, we explore a mechanistic understanding of the characteristic properties of Cr-doped UO2, notably, enhanced fission gas retention attributed to enlarged grain sizes following sintering, along with marginal improvements in the thermophysical properties. The findings of recent X-ray Adsorption Near Edge Spectroscopy studies were compared and put into conversation with historic data regarding the incorporation of Cr in UO2. On the basis of defect mechanisms, the case is made for the substitutional incorporation of Cr governing the lattice solubility but not the enhanced U diffusivity. Instead, Cr/Cr2O3 redox chemistry in a well-defined oxygen potential explains the differences in the U diffusivity and O/M ratio. The primary mechanism of doping-enhanced grain growth is found to be liquid assisted sintering due to a CrO(l) eutectic phase at the grain boundaries. The role of in

This work demonstrates algorithms to accurately compute solutions to thermal radiation transport problems using a reduced floating-point precision implementation of the Implicit Monte Carlo method. Several techniques falling into the categories of arithmetic manipulations and scaling methods are evaluated for their ability to improve the accuracy of reduced-precision computations. The results for half- and double-precision implementations of various thermal radiation benchmark problems are compared.

This study presents a comprehensive bibliometric and topic analysis of the disaster informatics literature published between January 2020 to September 2022. Leveraging a large-scale corpus and advanced techniques such as pre-trained language models and generative AI, we identify the most active countries, institutions, authors, collaboration networks, emergent topics, patterns among the most significant topics, and shifts in research priorities spurred by the COVID-19 pandemic. Our findings highlight (1) countries that were most impacted by the COVID-19 pandemic were also among the most active, with each country having specific research interests, (2) countries and institutions within the same region or share a common language tend to collaborate, (3) top active authors tend to form close partnerships with one or two key partners, (4) authors typically specialized in one or two specific topics, while institutions had more diverse interests across several topics, and (5) the COVID-19 pandemic has influenced research priorities in disaster informatics, placing greater emphasis on public health. We further demonstrate that the field is converging on multidimensional resilience strateg

Uniform punishment policies can sustain cooperation in social dilemmas but impose severe costs on enforcers, creating a second-order free-rider problem that undermines the very mechanism designed to prevent exploitation. We show that the remedy is not a harsher stick but a smarter one. In a four-strategy spatial public-goods game we pit conventional punishers, who levy a fixed fine, against norm-responsive punishers that double both fine and cost only when at least half of their current group already cooperates. Extensive large scale Monte Carlo simulations on lattices demonstrate that context-sensitive punishment achieves complete defector elimination at fine levels 15\% lower than uniform enforcement, despite identical marginal costs per sanctioning event. The efficiency gain emerges because norm-responsive punishers conserve resources in defector-dominated regions while concentrating intensified sanctions at cooperative-defector boundaries, creating self-reinforcing fronts that amplify the spread of prosocial behavior. These findings reveal that enforcement efficiency can be dramatically improved by targeting punishment at cooperative-defector interfaces rather than applying uni

We derive a grey linear diffusion equation for photons with respect to inertial (or lab-frame) space and time, using asymptotic analysis in 1D planar geometry. The solution of the equation is the comoving radiation energy density. Our analysis does not make use of assumptions about the magnitude of velocity; instead we derive an asymptotic scaling in the lab frame such that we avoid apparent non-physical pathologies that are encountered with the standard static-matter scaling. We permit the photon direction to be continuous (as opposed to constraining the analysis to discrete ordinates). The result is a drift-diffusion equation in the lab frame for comoving radiation energy density, with an adiabatic term that matches the standard semi-relativistic diffusion equation. Following a recent study for discrete directions, this equation reduces to a pure advection equation as the velocity approaches the speed of light. We perform preliminary numerical experiments comparing solutions to relativistic lab-frame Monte Carlo transport and to the well-known semi-relativistic diffusion equation.

This work describes methodologies to successfully implement the Implicit Monte Carlo (IMC) scheme for thermal radiative transfer in reduced-precision floating-point arithmetic. The methods used can be broadly categorized into scaling approaches and floating-point arithmetic manipulations. Scaling approaches entail re-scaling values to ensure computations stay within a representable range. Floating-point arithmetic manipulations involve changes to order of operations and alternative summation algorithms to minimize errors in calculations. The Implicit Monte Carlo method has nonlinear dependencies, quantities spanning many orders of magnitude, and a sensitive coupling between radiation and material energy that provide significant difficulties to accurate reduced-precision implementations. Results from reduced and higher-precision implementations of IMC solving the Su & Olson volume source benchmark problem are compared to demonstrate the accuracy of a correctly implemented reduced-precision IMC code. We show that the scaling approaches and floating-point manipulations used in this work can produce solutions with similar accuracy using half-precision data types as compared to a st

The interactions between tumor cells and the tumor microenvironment (TME) dictate therapeutic efficacy of radiation and many systemic therapies in breast cancer. However, to date, there is not a widely available method to reproducibly measure tumor and immune phenotypes for each patient's tumor. Given this unmet clinical need, we applied multiple instance learning (MIL) algorithms to assess activity of ten biologically relevant pathways from the hematoxylin and eosin (H&E) slide of primary breast tumors. We employed different feature extraction approaches and state-of-the-art model architectures. Using binary classification, our models attained area under the receiver operating characteristic (AUROC) scores above 0.70 for nearly all gene expression pathways and on some cases, exceeded 0.80. Attention maps suggest that our trained models recognize biologically relevant spatial patterns of cell sub-populations from H&E. These efforts represent a first step towards developing computational H&E biomarkers that reflect facets of the TME and hold promise for augmenting precision oncology.

In a social dilemma situation, where individual and collective interests are in conflict, it sounds a reasonable assumption that the presence of super or smart players, who simultaneously punish defection and reward cooperation without allowing exploitation, could solve the basic problem. The behavior of such a multi-strategy system, however, is more subtle than it is firstly anticipated. When exploring the complete parameter space, we find that the emergence of cyclic dominance among strategies is rather common, which results in several counter-intuitive phenomena. For example, the defection level can be lowered at higher temptation, or weaker punishment provides better conditions for smart players. Our study indicates that smart cooperators can unexpectedly thrive under high temptation, emphasizing the complexity of strategic interactions. This study suggests that the principles governing these interactions can be applied to other moral behaviors, such as truth-telling and honesty, providing valuable insights for future research in multi-agent systems.

Many applications, ranging from natural to social sciences, rely on graphlet analysis for the intuitive and meaningful characterization of networks employing micro-level structures as building blocks. However, it has not been thoroughly explored in heterogeneous graphs, which comprise various types of nodes and edges. Finding graphlets and orbits for heterogeneous graphs is difficult because of the heterogeneity and abundance of semantic information. We consider heterogeneous graphs, which can be treated as colored graphs. By applying the canonical label technique, we determine the graph isomorphism problem with multiple states on nodes and edges. With minimal parameters, we build all non-isomorphic graphs and associated orbits. We provide a Python package that can be used to generate orbits for colored directed graphs and determine the frequency of orbit occurrence. Finally, we provide four examples to illustrate the use of the Python package.

In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. This leads to novel statistics on the communication capacity of TVGs called lifetime curves, which we generate for large samples of randomly chosen STARLINK satellites, whose connectivity is modeled over day-long simulations. Determining when a large subsample of STARLINK is temporally strongly connected is further analyzed using novel metrics introduced here that are inspired by topological data analysis (TDA). To better model networking scenarios between the Earth and Mars, we introduce various semi-rings capable of modeling propagation delay as well as protocols common to Delay Tolerant Networking (DTN), such as store-and-forward. Finally, we illustrate the applicability of zigzag persistence for featurizing different space networks and demonstrate the efficacy of K-Nearest Neighbors (KNN

Taxes are an essential and uniformly applied institution for maintaining modern societies. However, the levels of taxation remain an intensive debate topic among citizens. If each citizen contributes to common goals, a minimal tax would be sufficient to cover common expenses. However, this is only achievable at high cooperation level; hence, a larger tax bracket is required. A recent study demonstrated that if an appropriate tax partially covers the punishment of defectors, cooperation can be maintained above a critical level of the multiplication factor, characterizing the synergistic effect of common ventures. Motivated by real-life experiences, we revisited this model by assuming an interactive structure among competitors. All other model elements, including the key parameters characterizing the cost of punishment, fines, and tax level, remain unchanged. The aim was to determine how the spatiality of a population influences the competition of strategies when punishment is partly based on a uniform tax paid by all participants. This extension results in a more subtle system behavior in which different ways of coexistence can be observed, including dynamic pattern formation owing

Research challenges such as climate change and the search for habitable planets increasingly use academic and commercial computing resources distributed across different institutions and physical sites. Furthermore, such analyses often require a level of automation that precludes direct human interaction, and securing these workflows involves adherence to security policies across institutions. In this paper, we present a decentralized authorization and security framework that enables researchers to utilize resources across different sites while allowing service providers to maintain autonomy over their secrets and authorization policies. We describe this framework as part of the Tapis platform, a web-based, hosted API used by researchers from multiple institutions, and we measure the performance of various authorization and security queries, including cross-site queries. We conclude with two use case studies -- a project at the University of Hawaii to study climate change and the NASA NEID telescope project that searches the galaxy for exoplanets.

Introducing strategy complexity into the basic conflict of cooperation and defection is a natural response to avoid the tragedy of the common state. As an intermediate approach, quasi-cooperators were recently suggested to address the original problem. In this study, we test its vitality in structured populations where players have fixed partners. Naively, the latter condition should support cooperation unambiguously via enhanced network reciprocity. However, the opposite is true because the spatial structure may provide a humbler cooperation level than a well-mixed population. This unexpected behavior can be understood if we consider that at a certain parameter interval the original prisoner's dilemma game is transformed into a snow-drift game. If we replace the original imitating strategy protocol by assuming myopic players, the spatial population becomes a friendly environment for cooperation. This observation is valid in a huge region of parameter space. This study highlights that spatial structure can reveal a new aspect of social dilemmas when strategy complexity is introduced.

When people collaborate, they expect more in return than a simple sum of their efforts. This observation is at the heart of the so-called public goods game, where the participants' contributions are multiplied by an $r$ synergy factor before they are distributed among group members. However, a larger group could be more effective, which can be described by a larger synergy factor. To elaborate on the possible consequences, in this study, we introduce a model where the population has different sizes of groups, and the applied synergy factor depends on the size of the group. We examine different options when the increment of $r$ is linear, slow, or sudden, but in all cases, the cooperation level is higher than that in a population where the homogeneous $r$ factor is used. In the latter case, smaller groups perform better; however, this behavior is reversed when synergy increases for larger groups. Hence, the entire community benefits because larger groups are rewarded better. Notably, a similar qualitative behavior can be observed for other heterogeneous topologies, including scale-free interaction graphs.

Stress detection and classification from wearable sensor data is an emerging area of research with significant implications for individuals' physical and mental health. In this work, we introduce a new dataset, ADARP, which contains physiological data and self-report outcomes collected in real-world ambulatory settings involving individuals diagnosed with alcohol use disorders. We describe the user study, present details of the dataset, establish the significant correlation between physiological data and self-reported outcomes, demonstrate stress classification, and make our dataset public to facilitate research.

Mathematical models come in many forms across biological applications. In the case of complex, spatial dynamics and pattern formation, stochastic models also face two main challenges: pattern data is largely qualitative, and model realizations may vary significantly. Together these issues make it difficult to relate models and empirical data -- or even models and models -- limiting how different approaches can be combined to offer new insights into biology. These challenges also raise mathematical questions about how models are related, since alternative approaches to the same problem -- e.g., cellular Potts models; off-lattice, agent-based models; on-lattice, cellular automaton models; and continuum approaches -- treat uncertainty and implement cell behavior in different ways. To help open the door to future work on questions like these, here we adapt methods from topological data analysis and computational geometry to quantitatively relate two different models of the same biological process in a fair, comparable way. To center our work and illustrate concrete challenges, we focus on the example of zebrafish-skin pattern formation, and we relate patterns that arise from agent-base

Motion is a typical reaction among animals and humans trying to reach better conditions in a changing world. This aspect has been studied intensively in social dilemmas where competing players' individual and collective interests are in conflict. Starting from the traditional public goods game model, where players are locally fixed and unconditional cooperators or defectors are present, we introduce two additional strategies through which agents can change their positions of dependence on the local cooperation level. More importantly, these so-called sophisticated players should bear an extra cost to maintain their permanent capacity to evaluate their neighborhood and react accordingly. Hence, four strategies compete, and the most successful one can be imitated by its neighbors. Crucially, the introduction of costly movement has a highly biased consequence on the competing main strategies. In the majority of parameter space, it is harmful to defectors and provides a significantly higher cooperation level when the population is rare. At an intermediate population density, which would be otherwise optimal for a system of immobile players, the presence of mobile actors could be detrim