We scrutinize the hypothesis that gauge singlet fermions -- sterile neutrinos interact with Standard Model particles through transition magnetic moment portal. These interactions lead to production of in supernovae followed by their decay into photons and active which can be detected at $\gamma$-ray telescopes neutrino detectors, respectively. find non-observation from sterile-neutrino associat...

This study deals with performance-based design optimization (PBDO) of steel moment frames employing four different metaheuristics consisting of genetic algorithm (GA), ant colony optimization (ACO), harmony search (HS), and particle swarm optimization (PSO). In order to evaluate the seismic capacity of the structures, nonlinear pushover analysis is conducted (PBDO). This method is an iterative ...

We advance the recently proposed hidden conditional random field (HCRF) model by replacing the moment constraints (MCs) with the distribution constraints (DCs). We point out that the distribution constraints are the same as the traditional moment constraints for the binary features but are able to better regularize the probability distribution of the continuousvalued features than the moment co...

In the stochastic formulation of chemical kinetics, the stationary moments of the population count of species can be described via a set of linear equations. However, except for some specific cases such as systems with linear reaction propensities, the moment equations are underdetermined as a lower order moment might depend upon a higher order moment. Here, we propose a method to find lower, a...

We report a technique to simultaneously determine the local activation magnetic moment with a spatial resolution of a submicrometer scale. The local activation magnetic moment is determined from the magnetic-field dependence of the magnetization reversal at the corresponding region observed by a magneto-optical microscope system. The present method has been applied to measure the activation mag...

Recent decidability results on the satisfiability problem for temporal logics, in particular LTL, CTL∗ and ECTL∗, with constraints over external structures like the integers with the order or infinite trees are surveyed in this paper. 1998 ACM Subject Classification F.4.1 Mathematical Logic

In models defined by unconditional moment restrictions, specification tests are possible and estimators can be ranked in terms of efficiency whenever the number of moment restrictions exceeds the number of parameters. We show that a similar relationship between potential refutability of a model and semiparametric efficiency is present in a much broader class of settings. Formally, we show a con...

Let P be a set of n points in the plane and S a set of non-crossing line segments between vertices in P , called constraints. Two vertices are visible if the straight line segment connecting them does not properly intersect any constraints. The constrained θm-graph is constructed by partitioning the plane around each vertex into m disjoint cones, each with aperture θ = 2π/m, and adding an edge ...

Formal analysis shows that the relationship between 2D line segments which is rotationally and translationally invariant can be expressed using four independent variables (five if scale is included). The formalism leads to a language for defining local geometric constraints and describing their properties. This terminology allows us to establish a criterion for evaluating the quality of a const...