搜索结果：sought

Following several decades of successive algorithmic improvements, works from the 2010s have showed how to compute the Hermite normal form (HNF) of a univariate polynomial matrix within a complexity bound which is essentially that of polynomial matrix multiplication. Recently, several results on bivariate polynomials and Gröbner bases have highlighted the interest of computing determinants or HNFs of polynomial matrices that happen to be structured, with a small displacement rank. In such contexts, a small leading principal submatrix of the HNF often contains all the sought information. In this article, we show how the displacement structure can be exploited in order to accelerate the computation of such submatrices. To achieve this, we rely on structured linear algebra over the field thanks to evaluation-interpolation. This allows us to recover some rows of the inverse of the input matrix, from which we deduce the sought HNF submatrix via bases of relations.

Seismic noise with an amplitude higher than that of the sought signal is a challenge for detection. Several techniques have been developed to suppress the ambient noise and to reduce the detection threshold in order to find signals with the lowest possible amplitudes produced by events with the magnitudes significant for scientific research and technical applications. Seismic arrays were introduced in the late 1950s as a method for improving underground test monitoring, potentially reducing detection thresholds by fivefold or more by exploiting destructive interference effects of a quasi-random noise. The beamforming method is the backbone of data processing at the International Data Centre (IDC) with more than 30 array stations of the International Monitoring System (IMS) installed around the globe. The matched filter method allows for the suppression of noise incoherent to the sought signal. It employs waveform cross-correlation (WCC) with templates based on actual and simulated seismic signals to improve the signal-to-noise ratio estimates for similar signals. The performance of this method is significantly enhanced when it is applied to a seismic array. A novel technique combin

A core principle of object orientation -- that the functionality of a system can be partitioned amongst objects that correspond to individuals in the problem domain -- has influenced how software has been specified, designed and implemented for more than fifty years. Later developments in software engineering sought to build on this principle. But in fact this partitioning is neither natural nor straightforward, and the problems that these later developments sought to mitigate -- the fragmentation and conflation of functionality -- were often, in fact, the inevitable consequences of this founding principle. An easier path to addressing these problems therefore starts by going back, abandoning object orientation, and replacing it with an alternative approach that decouples the individuals of the problem domain from the modules that partition functionality.

We provide a one-parameter family of Lorentz-Riemann signature-change models of metric manifolds. This family generalizes the Kossowski's signature type-changihg stablished in [9]. Simple local expressions are sought around the hypersurface of change.

The physical effect of condensation of a classical spinor field at the event horizon is under consideration. The corresponding solution is sought for the set of the Einstein-Dirac equations. It is shown that in this case there arises a black hole with a $δ$-like classical spinor field concentrated at the event horizon.

The digitalisation of childhood underscores the importance of early digital skill development. To understand how peer relationships shape this process, we draw on unique sociocentric network data from students in classrooms across three countries, focusing on peer-to-peer advice-giving and advice-seeking networks related to digital skills. Using exponential random graph models, we find that digital skills systematically spread through peer interactions: higher-skilled students are more likely to be sought for advice while less likely to seek it themselves. Students perceived as highly skilled are more likely to seek and offer advice, but it has limited influence on being sought out by others. Gender plays a significant role: girls both seek and give more advice, with strong gender homophily shaping these interactions. We suggest that digital skills education should leverage the potential of peer learning within formal education and consider how such approaches can address persistent divides.

This paper investigates the inverse problems of determining a space-dependent source for thermoelastic systems of type III under adequate time-averaged or final-in-time measurements and conditions on the time-dependent part of the sought source. Several numerical methods are proposed and examined, including a Landweber scheme and minimisation methods for the corresponding cost functionals, which are based on the gradient and conjugate gradient method. A shortcoming of these methods is that the values of the sought source are fixed ab initio and remain fixed during the iterations. The Sobolev gradient method is applied to overcome the possible inaccessibility of the source values at the boundary. Numerical examples are presented to discuss the different approaches and support our findings based on the implementation on the FEniCSx platform.

The paper [1] by Liu, Madhavan, and Tegmark sought to use machine learning methods to elicit known conservation laws for several systems. However, in their example of a damped 1D harmonic oscillator they made seven serious errors, causing both their method and result to be incorrect. In this Comment, those errors are reviewed.

Supersolids are a phase of matter exhibiting both superfluidity and a periodic density modulation typical of crystals. When formed via quantum phase transition from a superfluid, they require a formation time before their density pattern develops. Along this paper some protocols/schemes are proposed for experimental applications, building on earlier descriptions of the role roton instability plays in the supersolid formation process and the associated formation time. In particular, the Parachutejump scheme sought to lessen the excitation produced when crossing the phase transition, and the Bang-Bang method sought to shorten the formation time. As a case study of the impact that mechanical fluctuations (noise) can have on the phase transition when conducting an experiment, the impact of a mechanical kick before the transition is also investigated. The proposed schemes are able to fulfill their objectives successfully as both the shortening of the formation process and the reduction of excitation are achieved within the framework of extended Gross Pitaevskii theory.

The primary purpose of this investigation is to answer the research questions; 1) What are users' motivations for joining Mastodon?; 2) What are users' gratifications for using Mastodon?; and 3) What are the primary reasons that the users continue to use Mastodon? We analyzed the collected data from the perspective of the Uses and Gratifications Theory. A questionnaire was designed to measure the opinions of Mastodon users from 15 different Mastodon instances. We examined 47 items through exploratory factor analysis using principal components extraction with Varimax with Kaiser Normalization. The results extracted 7 factors of gratification sought (expectation) and 7 factors of gratification obtained. We discovered that the primary reason that the users join and use Mastodon is the ease of controlling and sheltering users' information from data mining. The findings of the gratification sought structure are similar to findings of the gratification obtained structure, and the comparison between the two groups of data suggests that users are satisfied with the ongoing use of Mastodon.

Neurons in the brain are often finely tuned for specific task variables. Moreover, such disentangled representations are highly sought after in machine learning. Here we mathematically prove that simple biological constraints on neurons, namely nonnegativity and energy efficiency in both activity and weights, promote such sought after disentangled representations by enforcing neurons to become selective for single factors of task variation. We demonstrate these constraints lead to disentanglement in a variety of tasks and architectures, including variational autoencoders. We also use this theory to explain why the brain partitions its cells into distinct cell types such as grid and object-vector cells, and also explain when the brain instead entangles representations in response to entangled task factors. Overall, this work provides a mathematical understanding of why single neurons in the brain often represent single human-interpretable factors, and steps towards an understanding task structure shapes the structure of brain representation.

We consider determining the $\R$-minimizing solution of ill-posed problem $A x = y$ for a bounded linear operator $A: X \to Y$ from a Banach space $X$ to a Hilbert space $Y$, where $\R: X \to (-\infty, \infty]$ is a strongly convex function. A dual gradient flow is proposed to approximate the sought solution by using noisy data. Due to the ill-posedness of the underlying problem, the flow demonstrates the semi-convergence phenomenon and a stopping time should be chosen carefully to find reasonable approximate solutions. We consider the choice of a proper stopping time by various rules such as the {\it a priori} rules, the discrepancy principle, and the heuristic discrepancy principle and establish the respective convergence results. Furthermore, convergence rates are derived under the variational source conditions on the sought solution. Numerical results are reported to test the performance of the dual gradient flow.

While current information retrieval systems are effective for known-item retrieval where the searcher provides a precise name or identifier for the item being sought, systems tend to be much less effective for cases where the searcher is unable to express a precise name or identifier. We refer to this as tip of the tongue (TOT) known-item retrieval, named after the cognitive state of not being able to retrieve an item from memory. Using movie search as a case study, we explore the characteristics of questions posed by searchers in TOT states in a community question answering website. We analyze how searchers express their information needs during TOT states in the movie domain. Specifically, what information do searchers remember about the item being sought and how do they convey this information? Our results suggest that searchers use a combination of information about: (1) the content of the item sought, (2) the context in which they previously engaged with the item, and (3) previous attempts to find the item using other resources (e.g., search engines). Additionally, searchers convey information by sometimes expressing uncertainty (i.e., hedging), opinions, emotions, and by perf

The unsteady electrorotation of a drop of a viscous weakly conducting polarizable liquid suspended in another viscous weakly conducting polarizable liquid immiscible with the former in an applied constant uniform electric field is theoretically investigated. The surface tension of the drop is regarded as sufficiently large for deformation of the drop under the action of the applied electric field and the electrohydrodynamic flow can be considered small and the drop can be considered spherical in the calculation of the electric field and flow. The electric field intensity and the velocity and pressure in the electrohydrodynamic flow are sought for in the form of a series solution with time-dependent scalar, vector, and tensor coefficients for which relations are found allowing one to determine them. The coefficients are sought for in the form of asymptotic expansions over the parameter, the smallness of which corresponds to the sufficiently large viscosity of the drop with respect to that of the surrounding liquid. The differential equations for the terms of the dimensionless expansions up to the first and second orders with respect to this parameter are obtained. Their stationary s