Buscar
Mostrando ítems 11-20 de 960
Calculations of chemical equilibrium with symbolic computationCalculations of chemical equilibrium with symbolic computation
(2014-07-07)
We show how a processor for symbolic computation can readily enable extensive calculations to describe the equilibria involving gases, the pH of an aqueous solution in the titration of a polyprotic acid, and complex ions ...
Calculations of chemical equilibrium with symbolic computationCalculations of chemical equilibrium with symbolic computation
(2014-07-07)
We show how a processor for symbolic computation can readily enable extensive calculations to describe the equilibria involving gases, the pH of an aqueous solution in the titration of a polyprotic acid, and complex ions ...
Information and sustaining mechanisms in Fodor's theory of contentInformación y mecanismos de sustentación en la teoría fodoriana del contenido
(Instituto de Estudios Humanisticos Juan Ignacio Molina, 2017)
Characterisation of limit measures of higher dimensional cellular automata
(Springer, 2017)
We consider the typical asymptotic behaviour of cellular automata of higher dimension (>= 2). That is, we take an initial configuration at random according to a Bernoulli (i.i.d) probability measure, iterate some cellular ...
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
(IEEE Computer Society, 2015-07)
Lazy Initialization (LI) allows symbolic execution to effectively deal with heap-allocated data structures, thanks to a significant reduction in spurious and redundant symbolic structures. Bounded lazy initialization (BLI) ...
Máquinas de Estados Finitos
(2011-07)
The following document talks about using Finite Automata and the operation of their abstract machines. Just as the use of symbols and computational terms.
Revendo os códigos hamming e CRC para tratar com erros na transmissão de dados
(2003-07-01)
This article has the purpose to review the main codes used to detect and correct errors in data communication specifically in the computer's network. The Hamming's code and the Ciclic Redundancy Code (CRC) are presented ...
Revendo os códigos hamming e CRC para tratar com erros na transmissão de dados
(2003-07-01)
This article has the purpose to review the main codes used to detect and correct errors in data communication specifically in the computer's network. The Hamming's code and the Ciclic Redundancy Code (CRC) are presented ...