Displaying similar documents to “Modeling and simulation with augmented reality”

Algebra of Polynomially Bounded Sequences and Negligible Functions

Hiroyuki Okazaki (2015)

Formalized Mathematics

Similarity:

In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the algebra of polynomially bounded sequences. Moreover, we then introduce equivalence relation...

Community-Sourcing in Virtual Societies

Branzov, Todor (2016)

Serdica Journal of Computing

Similarity:

The paper studies the approaches to development of goods with active participation of virtual community members. The concept of community-sourcing is presented as an alternative to the open source model and crowdsourcing. On that foundation a conceptual model of resource management system that use some current good practices of the IT industry is proposed. Results obtained in a virtual community implementing the model are presented as a validation attempt. ACM Computing Classification...

Mathematical modelling of molecule evolution in protocells

Dariusz Myszor, Krzysztof A. Cyran (2013)

International Journal of Applied Mathematics and Computer Science

Similarity:

In this article, we analyse the process of the emergence of RNA polynucleotides located in an enclosed environment, at an early stage of the RNA world. Therefore we prepared a mathematical model, composed of a set of differential equations, which simulates the behaviour of an early biological system bounded by a protocell membrane. There is evidence that enclosed environments were available on the primordial Earth. There are also experimental proofs that RNA strands can develop in these...

Thermodynamics of DNA microarrays

Enrico Carlon (2008)

Banach Center Publications

Similarity:

DNA microarrays have been widely used in molecular biology laboratories. The main current application of these devices is the determination of the gene expression level for thousands of genes simultaneously. Here we review a recently introduced physical model for hybridization (i.e. the binding of complementary DNA strands) in Affymetrix arrays and compare it to experimental results. The experimental data follow rather well the microscopic model and the approach offers several advantages...

On the correlation of families of pseudorandom sequences of k symbols

Kit-Ho Mak, Alexandru Zaharescu (2016)

Acta Arithmetica

Similarity:

In an earlier paper Gyarmati introduced the notion of f-correlation for families of binary pseudorandom sequences as a measure of randomness in the family. In this paper we generalize the f-correlation to families of pseudorandom sequences of k symbols and study its properties.

Event monitoring of parallel computations

Alexander M. Gruzlikov, Nikolai V. Kolesov, Marina V. Tolmacheva (2015)

International Journal of Applied Mathematics and Computer Science

Similarity:

The paper considers the monitoring of parallel computations for detection of abnormal events. It is assumed that computations are organized according to an event model, and monitoring is based on specific test sequences.