Following Wolszczan's landmark discovery of planets in orbit around pulsar PSR B1257+12 in 1991, over 300 planets in more than 200 planetary systems have been found. Therefore, the meaning of Wolszczan's discovery cannot be overestimated. In this pap
In this paper, we mainly study the robust stability of linear continuous systems with parameter uncertainties, a more general kind of uncertainties for system matrices is considered, i.e., entries of system matrices are rational functions of uncertai
We investigate the problem of mechanical stability in two-dimensional Bose-Fermi mixtures at zero temperature, focusing on systems with a tunable Bose-Fermi (BF) interaction and a weak but finite boson-boson (BB) repulsion. The analysis is carried ou
In this communication we analyze the stability, reactivity and possible aromatic behavior of two recently reported clusters (Reveles J. U.; Khanna S. N.; Roach P. J.; Castleman A. W. jr. Proc. Natl. Acad. Sci, 2006, 103, 18405), viz., Al7C- and Al7O-
We present a density-functional theory trend study addressing the binding of the trans-cis conformational switch azobenzene (C6H5-N=N-C6H5) at three coinage metal surfaces. From the reported detailed energetic, geometric, and electronic structure dat
In this paper, we introduce the new concept of state complexity approximation, which is a further development of state complexity estimation. We show that this new concept is useful in both of the following two cases: the exact state complexities are
The application of mass-analyzed threshold ionization (MATI) for the state-selective preparation of molecular ions is presented. Based on photoexcitation of long-lived high- n Rydberg states, molecular ions are prepared in a single rovibronic level
A religion affiliation can be considered as a 'degree of freedom' of an agent on the human genre network. A brief review is given on the state of the art in data analysis and modelization of religious 'questions' in order to suggest and if possible i
We present a novel statistical mechanics formalism for the theoretical description of the process of protein folding leftrightarrow unfolding transition in water environment. The formalism is based on the construction of the partition function of a p
During the synthesis of integral membrane proteins (IMPs), the hydrophobic amino acids of the polypeptide sequence are partitioned mostly into the membrane interior and hydrophilic amino acids mostly into the aqueous exterior. We analyze the minimum
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision variables (which we can set) and stochastic variables (which follow a
Many computational methods in ab initio quantum chemistry are formulated in terms of high-order tensor contractions, whose cost determines the size of system that can be studied. We introduce stochastic tensor contraction to perform such operations w
We introduce the straggler identification problem, in which an algorithm must determine the identities of the remaining members of a set after it has had a large number of insertion and deletion operations performed on it, and now has relatively few
Automotive telemetry data exhibits slow drifts and fast spikes, often within the same sequence, making reliable anomaly detection challenging. Standard reconstruction-based methods, including sequence variational autoencoders (VAEs), use a single lat
This is a position paper, submitted to the Future Online Analysis Platform Workshop (https://press3.mcs.anl.gov/futureplatform/), which argues that simple data analysis applications are common today, but future online supercomputing workloads will ne
This article investigates the evolution of the Mexican stock market integration into the world market. First, we estimate the time-varying Mexican degree of market integration using an international conditional version of the CAPM with segmentation e
We introduce a theory of sequential causal inference in which learners in a chain estimate a structural model from their upstream teacher and then pass samples from the model to their downstream student. It extends the population dynamics of genetic
The production of acoustic signals from the interactions of ultra-high energy (UHE) cosmic ray neutrinos in water and ice has been studied. A new computationally fast and efficient method of deriving the signal is presented. This method allows the im
In this work we study of competitive situations among users of a set of global resources. More precisely we study the effect of cost policies used by these resources in the convergence time to a pure Nash equilibrium. The work is divided in two parts
In this paper we show how to extend the known algorithm of nodal analysis in such a way that, in the case of circuits without nullors and controlled sources (but allowing for both, independent current and voltage sources), the system of nodal equatio
Identifying influential nodes and edges in directed networks remains a fundamental challenge across domains from social influence to biological regulation. Most existing centrality measures face a critical limitation: they either discard directional
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different boundary conditions may hold on different regions. For any particular problem
Symmetric edge polytopes are a recent and well-studied family of centrally symmetric polytopes arising from graphs. In this paper, we introduce a generalization of this family to arbitrary simplicial complexes. We show how topological properties of a
We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of simultaneity is built in, since when a transition has m
We introduce Terra Nova, a new comprehensive challenge environment (CCE) for reinforcement learning (RL) research inspired by Civilization V. A CCE is a single environment in which multiple canonical RL challenges (e.g., partial observability, credit
The methodology of automatic detection of the event basis of information operations, reflected in thematic information flows, is described. The presented methodology is based on the technologies for identifying information operations, the formation o
The Chandra COSMOS Survey (C-COSMOS) is a large, 1.8 Ms, Chandra} program that has imaged the central 0.5 sq.deg of the COSMOS field (centered at 10h, +02deg) with an effective exposure of ~160ksec, and an outer 0.4sq.deg. area with an effective expo
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional operators
The Hamiltonian cycle problem (HCP) in digraphs D with degree bound two is solved by two mappings in this paper. The first bijection is between an incidence matrix C_{nm} of simple digraph and an incidence matrix F of balanced bipartite undirected gr
We announce the public release of the 'dark' stellar evolution code DarkStars. The code simultaneously solves the equations of WIMP capture and annihilation in a star with those of stellar evolution assuming approximate hydrostatic equilibrium. DarkS
In solving diffusion problems, it is common to consider the finite difference equation to be an approximation to the differential equation. Nevertheless, history shows that the finite difference equation is primitive and that the differential equatio
We present a review of the discrete dipole approximation (DDA), which is a general method to simulate light scattering by arbitrarily shaped particles. We put the method in historical context and discuss recent developments, taking the viewpoint of a
The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a quasitriangular Hop
We prove that the point process of the eigenvalues of real or complex non-Hermitian matrices X with independent, identically distributed entries is hyperuniform: the variance of the number of eigenvalues in a subdomain Ω of the spectrum is much s
The hard X-ray synchrotron emission from pulsar wind nebulae (PWNe) probes energetic particles, closely related to the pulsar injection power at the present time. INTEGRAL has disclosed the yet poorly known population of hard X-ray pulsar/PWN systems
The Ep,i - Eiso correlation is one of the most intriguing properties of GRBs, with significant implications for the understanding of the physics and geometry of the prompt emission, the identification and investigation of different classes of GRBs, t
The results of J. F. Qiann et al. [4] on (1-gamma) -cyclic codes over finite chain rings of nilpotency index 2 are extended to (1-gamma^e) -cyclic codes over finite chain rings of arbitrary nilpotency index e+1 . The Gray map is introduced for thi
One of the main themes in extragalactic astronomy for the next decade will be the evolution of galaxies over cosmic time. Many future observatories, including JWST, ALMA, GMT, TMT and E-ELT will intensively observe starlight over a broad redshift ran
This paper concerns the question of how AI systems encode semantic structure into the geometric structure of their representation spaces. The motivating observation of this paper is that the natural geometry of these representation spaces should refl
We review the free field realization of the deformed Virasoro algebra Vir_{q,t} and the deformed W algebra W_{q,t}(hat{gl_N}) . We explicitly construct two classes of infinitly many commutative operators {cal I}_m , {cal G}_m , (m in {mathbb
Let G=SU(2) and let Omega G denote the space of based loops in SU(2). We explicitly compute the R(G) -module structure of the topological equivariant K -theory K_G^ (Omega G) and in particular show that it is a direct product of copies of K^
Non-invasive inference of molecular tumor characteristics from medical imaging is a central goal of radiogenomics, particularly in glioblastoma (GBM), where O6-methylguanine-DNA methyltransferase (MGMT) promoter methylation carries important prognost
A pseudo-random number generator (RNG) might be used to generate w-bit random samples in d dimensions if the number of state bits is at least dw. Some RNGs perform better than others and the concept of equidistribution has been introduced in the lite
The Nobel Prize in Physics 2025 has been awarded to John Clarke, John Martinis, and Michel Devoret for 'the discovery of macroscopic quantum mechanical tunnelling and energy quantisation in an electric circuit'. Their achievements open up possibiliti
In this work we refer to motivations, applications, and relations of control theory with other areas of mathematics. We present a brief historical review of optimal control theory, from its roots in the calculus of variations and the classical theory
Using numerical simulation, Holmstrom et al. (2008) proposed a plausible alternative explanation of the observed Lyman-alpha absorption that was seen during the transit of HD 209458b (Vidal-Madjar et al. 2003). They conclude that radiation pressure a
Network operators are reluctant to share traffic data due to security and privacy concerns. Consequently, there is a lack of publicly available traces for validating and generalizing the latest results in network and security research. Anonymization
We present a comprehensive overview of an extension of the Standard Model that contains three right-handed (sterile) neutrinos with masses below the electroweak scale [the Neutrino Minimal Standard Model, (nuMSM)]. We consider the history of the Univ
To a large degree information and services for chemical e-Science have become accessible - anytime, anywhere - but not necessarily useful. The Rule Responder eScience middleware is about providing information consumers with rule-based agents to trans
Artificial Intelligence (AI) systems are now an integral part of multiple industries. In clinical research, AI supports automated adverse event detection in clinical trials, patient eligibility screening for protocol enrollment, and data quality vali
Enter keywords to search articles