Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Integer arithmetic"”.
-
Diamond Energy - A systematic conformation searching method
… conformers could be found by calculations with integer arithmetic and evaluated with simple energy equations. Both of these should speed up systematic searching. Test results on alkane showed that Diamond Energy was able to do systematic conformational searching for acyclic alkanes exhaustively, …
-
Mathematical modeling, simulation, and optimal design of pharmaceutical crystallizers
… simulation methods: 1) breakage matrix with integer arithmetic, 2) method of characteristics, 3) method of moments combined with the method of lines. The population balance models are also employed for three different engineering purposes: kinetics estimation, steady-state process design, and …
-
Nelson Oppen combination as a rewrite theory
… theories such as linear and non-linear real and integer arithmetic, arrays, uninterpreted and Boolean algebra. While solvers exist for many such theories or their subsets, it is common for interesting SMT problems to span multiple theories. SMT solvers typically use refinements of the …
-
Quantum signal processing by single-qubit dynamics
… as the calculation of elementary functions with integer arithmetic. The quantum advantage of this approach, based on simple physics, is of significant practical relevance. In cases, arbitrary bits of precision may be emulated using only constant space. Moreover, the simplicity and performance of …
-
Interval and fuzzy optimization. Applications to data envelopment analysis
… real world, some problems consider imprecise and integer data. For example, the number of defect-free lamps, the fleet size, the number of hospital beds or the number of staff can be represented in some cases as imprecise and integer data. This thesis considers several novel approaches for …
-
Arithmetic data value speculation.
Arithmetic approximation is used to decrease the latency of an arithmetic circuit by shortening the critical path delay or the sampling period so that result is not guaranteed to be correct for every input combination.Thus, an acceptable compromise between the circuit latency and the average …
-
Security systems based on Gaussian integers : Analysis of basic operations and time complexity of secret transformations
… algorithms currently in use rely heavily on integer arithmetic modulo prime numbers. Gaussian integers can be used with most security algorithms that are formulated for real integers. The aim of this work is to study the benefits of common security protocols with Gaussian integers. Although …
-
Základy kvadratických těles
Cílem práce je popsat základy kvadratických těles. Úvodní kapitoly jsou zaměřeny na aritmetiku celých čísel a polynomů. V hlavní části se zabýváme pojmem kvadratického tělesa, celým algebraickým číslům tohoto tělesa, Gaussovu tělesu a Gaussovým celým číslům. Závěr je věnován kvadratickým tělesům, …
-
On the sets of real vectors recognized by finite automata in multiple bases
… vectors encoded in positional notation using an integer base. We consider both general infinite-word automata, and the restricted class of weak deterministic automata, used, in particular, as symbolic data structures for representing the sets of vectors definable in the first order additive …