Search results for "Binary number"
showing 10 items of 298 documents
Eventual Consistency Formalized
2019
Distribution of computation is well-known, and there are several frameworks, including some formal frameworks, that capture distributed computation. As yet, however, models of distributed computation are based on the idea that data is conceptually centralized. That is, they assume that data, even if it is distributed, is consistent. This assumption is not valid for many of the database systems in use today, where consistency is compromised to ensure availability and partition tolerance. Starting with an informal definition of eventual consistency, this paper explores several measures of inconsistency that quantify how far from consistency a system is. These measures capture key aspects of e…
Population of lead isotopes in binary reactions using a Rb 94 radioactive beam
2020
8 pags., 9 figs.
Wind accretion in the massive X-ray binary 4U 2206+54: abnormally slow wind and a moderately eccentric orbit
2006
Massive X-ray binaries are usually classified depending on the properties of the donor star in classical, supergiant and Be X-ray binaries. The massive X-ray binary 4U 2206+54 does not fit in any of these groups, and deserves a detailed study to understand how the transfer of matter and the accretion on to the compact object take place. To this end we study an IUE spectrum of the donor and obtain a wind terminal velocity (v_inf) of ~350 km/s, which is abnormally slow for its spectral type. We also analyse here more than 9 years of available RXTE/ASM data. We study the long-term X-ray variability of the source and find it to be similar to that observed in the wind-fed supergiant system Vela …
Uncertainty quantification on a spatial Markov-chain model for the progression of skin cancer
2019
AbstractA spatial Markov-chain model is formulated for the progression of skin cancer. The model is based on the division of the computational domain into nodal points, that can be in a binary state: either in ‘cancer state’ or in ‘non-cancer state’. The model assigns probabilities for the non-reversible transition from ‘non-cancer’ state to the ‘cancer state’ that depend on the states of the neighbouring nodes. The likelihood of transition further depends on the life burden intensity of the UV-rays that the skin is exposed to. The probabilistic nature of the process and the uncertainty in the input data is assessed by the use of Monte Carlo simulations. A good fit between experiments on mi…
Determination of one compound in the presence of a single interference. Linear absorbances method
1992
The paper exposes the theoretical and experimental principles of an analytical procedure for the determination of one compound in the presence of another with an overlapping absorption spectrum, without the need to use any standard solutions of the latter. The proposed method was applied to the determination of binary mixtures of known composition in order to assess its accuracy and precision.
A constructive semantics for non-deducibility
2008
This paper provides a constructive topological semantics for non-deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co-induction are two needful tools. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
On Combinatorial Generation of Prefix Normal Words
2014
A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present an efficient algorithm for exhaustively listing the prefix normal words with a fixed length. The algorithm is based on the fact that the language of prefix normal words is a bubble language, a class of binary languages with the property that, for any word w in the language, exchanging the first occurrence of 01 by 10 in w results in another word in the language. We prove that each prefix normal word is produced in O(n) amortized time, and conjecture, based on expe…
Apparent content curves: description and analytical applications. Resolution of binary mixtures
1992
The apparent content curves and their analytical applications are described. Basing on these curves a mathematical method, which permits the identification of the interfering component present in a binary mixture as well as the determination of the contents of both constituents, is proposed. The existence of considerable interaction coefficients is not an impediment for its application. Besides, the analyte contents in the mixture can be obtained without the use of standard interference solutions. The proposed procedure is applied to the analysis of mixtures of dyes with overlapping absorption spectra.
Principal component analysis for the selection of variables in the application of the H-point and generalised H-point standard addition method
2000
The present paper deals with the selection of variables for the H-point and generalised H-point standard additions methods (HPSAM and GHPSAM, respectively). Both methods are applied for the resolution of spectroscopic interfered signals in the UV-vis range. The HPSAM is a suitable method for the resolution of binary and ternary mixtures when the interferent is known. The GHPSAM is applied for the resolution of samples that contain unknown interferents. In this paper, a method based on the study of a principal components analysis (PCA) for the selection of variables for the HPSAM and GHPSAM is proposed. The PCA results show the isolation of the analyte signal from the sample signal, achieved…
Testing mode-coupling theory for a supercooled binary Lennard-Jones mixture
1995
Abstract We have performed a molecular dynamics computer simulation study to investigate the dynamical behavior of a supercooled simple liquid for comparison with the predictions of mode-coupling theory (MCT). By scaling the intermediate scattering function by the α-relaxation time r we find that the correlators fall onto a master curve extending over several decades in time. Thus we find that the time temperature superposition principle holds. In the late β-relaxation regime this master curve can be fitted very well by a master curve predicted by the idealized version MCT. However, there is no evidence for the presence of the critical decay predicted by the theory for the early part of the…