共找到 20 条结果
Radical Moral Disagreements (RMDs) are highly polarising topics that are increasingly censored in everyday life, with growing evidence suggesting that this polarisation carries measurable costs to public mental health. To address these challenges, some researchers have proposed Large Language Models (LLMs) as a means to support more democratic deliberation and better moral reasoning. Yet existing tools are poorly calibrated to help people navigate RMDs, because of their intense and divisive characteristics. This paper introduces CONSIDER, a prototype for a one-to-one AI tool for RMD navigation. Drawing on Mill's account of the epistemic value of disagreement, CONSIDER aims at value clarification through structured disagreement with an opposing LLM-generated opinion. We describe CONSIDER's design logic and analyse potential risks posed by such tools to guide future development.
Robust optimization is a commonly employed method to mitigate uncertainties in the planning of intensity-modulated proton therapy (IMPT). In certain contexts, the large number of uncertainty scenarios makes the robust problem impractically expensive to solve. Recent developments in research on IMPT treatment planning indicate that the number of ideally considered error scenarios may continue to increase. In this paper, we therefore investigate methods that reduce the size of the scenario set considered during the robust optimization. Six cases of patients with non-small cell lung cancer are considered. First, we investigate the existence of an optimal subset of scenarios that needs to be considered during robust optimization, and perform experiments to see if the set can be found in a reasonable time and substitute for the full set of scenarios during robust IMPT optimization. We then consider heuristic methods to estimate this subset or find subsets with similar properties. Specifically, we select a subset of maximal diversity in terms of scenario-specific features such as the dose distributions and function gradients at the initial point. Finally, we consider adversarial methods
Bacterial chemotaxis for E.coli is controlled by methylation of chemoreceptors, which in a biochemical pathway regulates the concentration of the CheY-P protein that finally controls the tumbling rate. As a consequence, the tumbling rate adjusts to changes in the concentration of relevant chemicals, to produce a biased random walk toward chemoattractants of against the repellers. Methylation is a slow process, implying that the internal concentration of CheY-P is not instantaneously adapted to the environment, and the tumbling rate presents memory. This implies that the Keller-Segel (KS) equations used to describe chemotaxis at the macroscopic scale, which assume a local relation between the bacterial flux and the chemical gradient, are not fully valid as memory and the associated nonlocal response are not considered. To derive the equations that replace the KS ones, we use a kinetic approach, in which a kinetic equation for the bacterial transport is written considering the dynamics of the protein concentration. When memory is large, the protein concentration field must be considered a relevant variable as the bacterial density. Working out the Chapman-Enskog (CE) method, the dyna
When designing and evaluating an experiment or observational study, it is useful to have a realistic hypothesis regarding the average treatment effect. We present an approach to conceptualizing this average by first considering a distribution of effects. We demonstrate with examples in medicine, economics, and psychology.
To address the problem of narrow recommendation ranges caused by an emphasis on prediction accuracy, serendipitous recommendations, which consider both usefulness and unexpectedness, have attracted attention. However, realizing serendipitous recommendations is challenging due to the varying proportions of usefulness and unexpectedness preferred by different users, which is influenced by their differing desires for knowledge. In this paper, we propose a method to estimate the proportion of usefulness and unexpectedness that each user desires based on their curiosity, and make recommendations that match this preference. The proposed method estimates a user's curiosity by considering both their long-term and short-term interests. Offline experiments were conducted using the MovieLens-1M dataset to evaluate the effectiveness of the proposed method. The experimental results demonstrate that our method achieves the same level of performance as state-of-the-art method while successfully providing serendipitous recommendations.
This study investigates retrieval-augmented summarization by specifically examining the impact of exemplar summary lengths under length constraints, not covered by previous work. We propose a Diverse Length-aware Maximal Marginal Relevance (DL-MMR) algorithm to better control summary lengths. This algorithm combines the query relevance with diverse target lengths in retrieval-augmented summarization. Unlike previous methods that necessitate exhaustive exemplar exemplar relevance comparisons using MMR, DL-MMR considers the exemplar target length as well and avoids comparing exemplars to each other, thereby reducing computational cost and conserving memory during the construction of an exemplar pool. Experimental results showed the effectiveness of DL-MMR, which considers length diversity, compared to the original MMR algorithm. DL-MMR additionally showed the effectiveness in memory saving of 781,513 times and computational cost reduction of 500,092 times, while maintaining the same level of informativeness.
Modeling hydrogen diffusion and its absorption in traps is a fundamental first step towards the understanding and prediction of hydrogen embrittlement. In this study, a multiscale approach which includes DFT simulations, OkMC, and phase-field dislocations, is developed to study the movement of hydrogen atoms in alpha-iron crystals containing dislocations. At the nanoscale the interaction energies of hydrogen on different sites of the iron lattice are studied using DFT. At the microscale, this information is used to feed a lattice object kinetic Monte Carlo code (OKMC) which aims to evolve the arrangement of a large set of hydrogen atoms into the iron lattice considering point defects and the presence of dislocations. At the continuum level, an array of dislocations is introduced using a phase-field approach to accurately consider their elastic fields and core regions. The OKMC model includes both the chemical energies of H and vacancies and the elastic interactions between these point defects and the dislocations. The elastic interaction is obtained by an FFT-based approach which allows a very efficient computation of the elastic microfields created by the defects in an anisotropic
In recent years various results about locally symmetric manifolds were proven using probabilistic approaches. One of the approaches is to consider random manifolds by associating a probability measure to the space of discrete subgroups of the isometry Lie group. The main goals are to prove results about deterministic groups and manifolds by considering appropriate measures. In this overview paper we describe several such results, observing the evolution process of the measures involved. Starting with a result whose proof considered finitely supported measures (more precisely, measures supported on finitely many conjugacy classes) and proceeding with results which were outcome of the successful and popular theory of IRS (invariant random subgroups). In the last couple of years the theory has expanded to SRS (stationary random subgroups) allowing to deal with a lot more problems and establish stronger results. In the last section we shall review a very recent (yet unpublished) result whose proof make use of random subgroups which are not even stationary.
A thin phase hologram with sinusoidal modulation of the refractive index is considered. The applicability of the approach is discussed, in which it is assumed that light passes through a hologram, as through a slide, which leads to a sinusoidal modulation of the wave phase. A consequence of this consideration are expressions for the diffraction orders amplitudes, which coincide with the expressions obtained in the Raman-Nath theory of light scattering by ultrasonic waves. The paper compares expressions for the amplitude of the first order of diffraction, obtained in the framework of several theoretical approaches, including perturbation theory in a rigorous formulation of the boundary value problem. As the thickness of the hologram tends to zero, the expression obtained in this way coincides with the expression obtained in the two-wave approximation of the coupled-wave theory. Both expressions satisfy the electrodynamic reciprocity theorem. Under the same conditions, the expression obtained as a result of the slide-like consideration does not satisfy the reciprocity theorem and differs from the indicated expressions by a factor equal to the ratio of the cosines of the diffracted an
A ubiquitous feature of quantum mechanical theories is the existence of states of superposition. This is expected to be no different for a quantum gravity theory. Guided by this consideration and others we consider a framework in which classical reference frames may be in superposition relative to one another. Mirroring standard quantum mechanics we introduce a complex-valued wavefunctional, which takes as input the transformations between the coordinates, $Ψ[x(x')]$, with the interpretation that an interaction between the reference frames may select a particular transformation with probability distribution given by the Born rule - $P[x(x')] = \text{probability distribution functional} \equiv \vert Ψ[x(x')] \vert^2$. The cases of two and three reference frames in superposition are considered explicitly. It is shown that the set of transformations is closed. A rule for transforming wavefunctions from one system to another system in superposition is proposed and consistency with the Schrodinger equation is demonstrated.
Commit messages are crucial in software development, supporting maintenance tasks and communication among developers. While Large Language Models (LLMs) have advanced Commit Message Generation (CMG) using various software contexts, some contexts developers consider to write high-quality commit messages are often missed by CMG techniques and can't be easily retrieved or even retrieved at all by automated tools. To address this, we propose Commit Message Optimization (CMO), which enhances human-written messages by leveraging LLMs and search-based optimization. CMO starts with human-written messages and iteratively improves them by integrating key contexts and feedback from external evaluators. Our extensive evaluation shows CMO generates commit messages that are significantly more Rational, Comprehensive, and Expressive while outperforming state-of-the-art CMG methods and human messages 40.3% to 78.4% of the time. Moreover, CMO can support existing CMG techniques to further improve message quality and generate high-quality messages when the human-written ones are left blank.
We consider the topology optimization problem of a 2d permanent magnet synchronous machine in magnetostatic operation with demagnetization. This amounts to a PDE-constrained multi-material design optimization problem with an additional pointwise state constraint. Using a generic framework we can incorporate this additional constraint and compute the corresponding topological derivative. We present and discuss optimization results obtained by a multi-material level set algorithm.
Energy harvesting (EH) provides a means of greatly enhancing the lifetime of wireless sensor nodes. However, the randomness inherent in the EH process may cause significant delay for performing sensing operation and transmitting the sensed information to the sink. Unlike most existing studies on the delay performance of EH sensor networks, where only the energy consumption of transmission is considered, we consider the energy costs of both sensing and transmission. Specifically, we consider an EH sensor that monitors some status environmental property and adopts a harvest-then-use protocol to perform sensing and transmission. To comprehensively study the delay performance, we consider two complementary metrics and analytically derive their statistics: (i) update age - measuring the time taken from when information is obtained by the sensor to when the sensed information is successfully transmitted to the sink, i.e., how timely the updated information at the sink is, and (ii) update cycle - measuring the time duration between two consecutive successful transmissions, i.e., how frequently the information at the sink is updated. Our results show that the consideration of sensing energ
The Lottery Ticket Hypothesis (LTH) showed that by iteratively training a model, removing connections with the lowest global weight magnitude and rewinding the remaining connections, sparse networks can be extracted. This global comparison removes context information between connections within a layer. Here we study means for recovering some of this layer distributional context and generalise the LTH to consider weight importance values rather than global weight magnitudes. We find that given a repeatable training procedure, applying different importance metrics leads to distinct performant lottery tickets with little overlapping connections. This strongly suggests that lottery tickets are not unique
When using a cellular automaton (CA) as a fractal generator, consider orbits from the single site seed, an initial configuration that gives only a single cell a positive value. In the case of a two-state CA, since the possible states of each cell are $0$ or $1$, the "seed" in the single site seed is uniquely determined to be the state $1$. However, for a CA with three or more states, there are multiple candidates for the seed. For example, for a $3$-state CA, the possible states of each cell are $0$, $1$, and $2$, so the candidates for the seed are $1$ and $2$. For a $4$-state CA, the possible states of each cell are $0$, $1$, $2$, and $3$, so the candidates for the seed are $1$, $2$, and $3$. Thus, as the number of possible states of a CA increases, the number of seed candidates also increases. In this paper, we prove that for linear CAs it is sufficient to consider only the orbit from the single site seed with the seed $1$.
This paper presents a hierarchical motion planner for planning the manipulation motion to repose long and heavy objects considering external support surfaces. The planner includes a task level layer and a motion level layer. We formulate the manipulation planning problem at the task level by considering grasp poses as nodes and object poses for edges. We consider regrasping and constrained in-hand slip (drooping) during building graphs and find mixed regrasping and drooping sequences by searching the graph. The generated sequences autonomously divide the object weight between the arm and the support surface and avoid configuration obstacles. Cartesian planning is used at the robot motion level to generate motions between adjacent critical grasp poses of the sequence found by the task level layer. Various experiments are carried out to examine the performance of the proposed planner. The results show improved capability of robot arms to manipulate long and heavy objects using the proposed planner. Our contribution is we initially develop a graph-based planning system that reasons both in-hand and regrasp manipulation motion considering external supports. On one hand, the planner int
Pandemics have the potential to cause immense disruption and damage to communities and societies. In this paper, we model the Influenza Pandemic of 2009. We propose a hybrid model to determine how the pandemic spreads through the world. The model considers both the SEIR-based model for local areas and the network model for global connection between countries referring to data on international travelers. Our interest is to reproduce the situation using the data of early stage of pandemic and to predict the future transition by extending the simulation cycle. Without considering the tendency of seasonal flu, the simulation does not predict the second peak of the pandemic in the real world. However, considering the seasonal tendency, the simulation result predicts the next peak in winter. Thus we consider the seasonal tendency is an important factor for the spreading of the pandemic.
The optimal operation problem of electric vehicle aggregator (EVA) is considered. An EVA can participate in energy and regulation markets with its current and upcoming EVs, thus reducing its total cost of purchasing energy to fulfill EVs' charging requirements. A model predictive control (MPC) based optimization is developed to consider the future arrival of EVs as well as energy and regulation prices. The index of conditional value-at-risk (CVaR) is used to model the risk-averseness of an EVA. Simulations on a 2000-EV test system validate the effectiveness of our work in achieving a lucrative revenue while satisfying the charging requests from EV owners.
Agriculture affects global warming, while its yields are threatened by it. Information and communication technology (ICT) is often considered as a potential lever to mitigate this tension, through monitoring and process optimization. However, while agricultural ICT is actively promoted, its environmental impact appears to be overlooked. Possible rebound effects could put at stake its net expected benefits and hamper agriculture sustainability. By adapting environmental footprint assessment methods to digital agriculture context, this research aims at defining a methodology taking into account the environmental footprint of agricultural ICT systems and their required infrastructures. The expected contribution is to propose present and prospective models based on possible digitalization scenarios, in order to assess effects and consequences of different technological paths on agriculture sustainability, sufficiency and resilience. The final results could be useful to enlighten societal debates and political decisions.
We deal with a class of semilinear SPDEs driven by space-time white noise that includes the one dimensional stochastic Burgers equation. Such equations can have nonlocal and quadratic nonlinearities. We consider the problem of estimation of the diffusivity parameter in front of the second-order spatial derivative. Based on local observations in space, we study the estimator derived in [Altmeyer, Reiß, Ann. Appl. Probab.(2021)] for linear stochastic heat equation that has also been used in [Altmeyer, Cialenco, Pasemann, Bernoulli (2023)] to cover certain class of semilinear SPDEs including stochastic Burgers equations driven by trace class noise. The space-time white noise case we consider has also relevant physical motivations. After we establish new regularity results for the solution, we are able to show that our proposed estimator is strongly consistent and asymptotically normal.