We prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type algebras over a field. We also show that ind-pro completion inherits properties of the base ring such as normality, regularity, local equidimensionality, etc.
The longer-lived excited nuclear states, referred as nuclear isomers, exist due to the hindered decays owing to their peculiar nucleonic structural surroundings. Some of these conditions, being exceptionally rare and limited to achieve, elevate certain isomers to the status of extreme and unusual isomers among their kin. For example, the $E5$ coupling of single-particle orbitals is rare and so are $E5$ decaying isomers. This review delves into some of such remarkable isomers scattered across the nuclear landscape while highlighting the possibilities to find more of them. Unique properties of some of them, harbor the potential for transformative applications in medicine and energy. An exciting example is that of the lowest energy isomer known so far in $^{229}$Th, which may help realize the dream of an ultra-precise nuclear clock in the coming decade. These isomers also offer an insight into the extremes of nuclear structure associated with them, which leads to their unusual status in energy, half-life, spin etc. The review attempts to highlight isomers with high-multipolarities, high-spins, high-energies, longest half-lives, extremely low energy, etc. A lack of theoretical understanding of the decay rates, half-lives and moments of these isomers is also pointed out.
Christophe Chareton, Sébastien Bardin, Dongho Lee
et al.
While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the validation of such quantum programs is achallenge. Moreover, importing the testing and debugging practices at use in classical programming is extremely difficult in the quantum case, due to the destructive aspect of quantum measurement. As an alternative strategy, formal methods are prone to play a decisive role in the emerging field of quantum software. Recent works initiate solutions for problems occurring at every stage of the development process: high-level program design, implementation, compilation, etc. We review the induced challenges for an efficient use of formal methods in quantum computing and the current most promising research directions.
We study the random variables (r.v.) with values in the so-called mixed (anisotropic) Lebesgue-Riesz spaces: formulate the sufficient conditions for belonging of the r.v. to these spaces, estimate the tail of norms distribution, especially deduce the exponential decreasing tails of them, etc. We obtain as a consequence the estimations of the norms of random integral operators acting between these spaces.
We present a binary code for spinors and Clifford multiplication using non-negative integers and their binary expressions, which can be easily implemented in computer programs for explicit calculations. As applications, we present explicit descriptions of the triality automorphism of $Spin(8)$, explicit representations of the Lie algebras $\mathfrak{spin}(8)$, $\mathfrak{spin}(7)$ and $\mathfrak{g}_2$, etc.
This paper describes our system (MIC-CIS) details and results of participation in the fine-grained propaganda detection shared task 2019. To address the tasks of sentence (SLC) and fragment level (FLC) propaganda detection, we explore different neural architectures (e.g., CNN, LSTM-CRF and BERT) and extract linguistic (e.g., part-of-speech, named entity, readability, sentiment, emotion, etc.), layout and topical features. Specifically, we have designed multi-granularity and multi-tasking neural architectures to jointly perform both the sentence and fragment level propaganda detection. Additionally, we investigate different ensemble schemes such as majority-voting, relax-voting, etc. to boost overall system performance. Compared to the other participating systems, our submissions are ranked 3rd and 4th in FLC and SLC tasks, respectively.
Jesus A. De Loera, Xavier Goaoc, Frédéric Meunier
et al.
We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carathéodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad impact in application areas such as game theory, graph theory, mathematical optimization, computational geometry, etc.
There is considerable interest in the combined use of millimeter-wave (mmwave) frequencies and arrays of massive numbers of antennas (massive MIMO) for next-generation wireless communications systems. A symbiotic relationship exists between these two factors: mmwave frequencies allow for densely packed antenna arrays, and hence massive MIMO can be achieved with a small form factor; low per-antenna SNR and shadowing can be overcome with a large array gain; steering narrow beams or nulls with a large array is a good match for the line-of-sight (LOS) or near-LOS mmwave propagation environments, etc.. However, the cost and power consumption for standard implementations of massive MIMO arrays at mmwave frequencies is a significant drawback to rapid adoption and deployment. In this paper, we examine a number of possible approaches to reduce cost and power at both the basestation and user terminal, making up for it with signal processing and additional (cheap) antennas. These approaches include lowresolution Analog-to-Digital Converters (ADCs), wireless local oscillator distribution networks, spatial multiplexing and multistreaming instead of higher-order modulation etc.. We will examine the potential of these approaches in making mmwave massive MIMO a reality and discuss the requirements in terms of digital signal processing (DSP).
Local perturbations of a Brownian motion are considered. As a limit we obtain a non-Markov process that behaves as a reflected Brownian motion on the positive half line until its local time at zero reaches some exponential level, then changes a sign and behaves as a reflected Brownian motion on the negative half line until some stopping time, etc.
Grazing Incidence X-ray Diffraction (GIXD) is a surface sensitive X-ray investigation technique (or geometry configuration) that can reveal the structural properties of a film deposited on a flat substrate. The term grazing indicates that the angle between the incident beam and the film is small (typically below 0.5 degrees). This essential technique has been employed on liquid crystals, nanoparticles and colloids, nanostructures, corrosion processes, polymers, bio-materials, interfaces, materials for solar cells, photodiodes, and transistors, etc. Diffraction patterns in GIXD geometry are typically captured with a 2D detector, which outputs images in pixel coordinates. A step required to perform analyses such as grain size estimation, disorder, preferred orientation, quantitative phase analysis of the probed film surface, etc., consists in converting the diffraction image from pixel coordinates to the momentum transfer or scattering vector in sample coordinates (the reciprocal space mapping). This momentum transfer embeds information on the crystal or polycrystal and its intrinsic rotation with respect to the substrate. In this work we derive, in a rigorous way, the reciprocal space mapping equations for a 3D+1S diffractometer in a way that is understandable to anyone with basic notions of linear algebra, geometry, and X-ray diffraction.
Recently, the spinning tethered system is regarded as a typical and fundamental space structure attracting great interest of the aerospace engineers, and has been discussed primarily for specific space missions in past decades, including on-orbit capture and propellantless orbit transfer etc. The present work studies the dynamical behaviours of a fast spinning tethered binary system under central gravitational field, and derives principles of the basic laws of orbital maneuver. Considering the characteristics of coupled librational and orbital motions, an averaging method is introduced to deal with the slow-fast system equation, thus a definite equivalent model is derived. The general orbit motion is completely determined analytically, including the orbit geometry, periodicity, conversations and moving region etc. Since the possibility of orbit control using tether reaction has been proved by previous studies, special attention is paid to the transportation mode of angular momentum and mechanical energy between the orbit and libration. The effect of tether length change on the orbit shape is verified both in the averaged model and original model. The results show the orbit angular momentum and mechanical energy can be controlled independently, and the operating principles of tether reactions are derived for special modification of orbit shape.
We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect properties such as growth, ends, divergence, etc. We include figures of several worked out examples.
Purpose: Terminology is the set of technical words or expressions used in specific contexts, which denotes the core concept in a formal discipline and is usually applied in the fields of machine translation, information retrieval, information extraction and text categorization, etc. Bilingual terminology extraction plays an important role in the application of bilingual dictionary compilation, bilingual Ontology construction, machine translation and cross-language information retrieval etc. This paper addresses the issues of monolingual terminology extraction and bilingual term alignment based on multi-level termhood. Design/methodology/approach: A method based on multi-level termhood is proposed. The new method computes the termhood of the terminology candidate as well as the sentence that includes the terminology by the comparison of the corpus. Since terminologies and general words usually have differently distribution in the corpus, termhood can also be used to constrain and enhance the performance of term alignment when aligning bilingual terms on the parallel corpus. In this paper, bilingual term alignment based on termhood constraints is presented. Findings: Experiment results show multi-level termhood can get better performance than existing method for terminology extraction. If termhood is used as constrain factor, the performance of bilingual term alignment can be improved.
Single-photon cooling is a recently introduced method to cool atoms and molecules for which standard methods might not be applicable. We numerically examine this method in a two-dimensional wedge trap as well as in a two-dimensional harmonic trap. An element of the method is an optical dipole box trapping atoms irreversibly. We show that the cooling efficiency of the single-photon method can be improved by optimizing the trajectory of this optical dipole box.
Rachit Mohan Garg, Yamini Sood, Balaji Kottana
et al.
The sole goal of E-Governance is to allow interaction of government with their citizens in a comfortable & transparent manner. Uniqueness of J2EE makes it a perfect technology for development of any online portal. These involve constancy, easy to replant, construct speedily etc. In this paper we present a procedural approach to develop a web application using the J2EE Struts Framework.
Astronomical facilities at the high-altitude observatory Terskol in the Northern Caucasus include optical telescopes with diameters up to 2 m, their instrumentation (high-resolution spectrometers, high-speed photometers, CCDs, etc.), as well as provisions for data distribution via satellite and computer networks. The decades of successful research at Terskol have yielded new data and findings in the following areas of astronomy: discovery and monitoring of NEOs, precise astrometry and photometry of solar system bodies, high-resolution spectroscopy of interstellar clouds, search for optical afterglow of gamma ray bursts, etc. Facilities of the Terskol Observatory are heavily used for the operation of the Synchronous Network of distant Telescopes, which includes optical telescopes at Terskol and at observatories in Bulgaria, Greece, and Ukraine; the remarkable results were obtained especially from synchronous observations of galaxies and flare stars.