Computer Virus: Theory, Model, and Methods

Computer-Aided Methods for Social Choice Theory

Uncountability Methods in Model Theory

Let ΦA,ω 6= d(β). In [33], it is shown that |K| 6= e. We show that Is,ι 3 2. Recent developments in differential topology [33] have raised the question of whether 1 ∞ 6= sup ω→1 λ̃ ( 1 π ) . Recent developments in elliptic Lie theory [27, 17] have raised the question of whether Huygens’s conjecture is false in the context of categories.

A Computer Model of Quantum Field Theory

This paper describes a computer model of Quantum Field Theory (QFT), referred to in this paper as QTModel. After specifying the initial configuration for a QFT process (e.g. scattering) the model generates the possible applicable processes in terms of Feynman diagrams, the equations for the scattering matrix, and evaluates probability amplitudes for the scattering matrix and cross sections. The...

Sticker DNA computer model ——Part I: Theory

Sticker model is one of the basic models in the DNA computer models. This model is coded with single-double stranded DNA molecules. It has the following advantages that the operations require no strands extension and use no enzymes; What’s more, the materials are reusable. Therefore it arouses attention and interest of scientists in many fields. In this paper, we will systematically analyze the...

Generating Insights in Social Choice Theory via Computer-aided Methods

The rise of computational social choice, a relatively new research field, indicates that a computer-science perspective on social choice theory is fruitful and can contribute to our understanding of collective decision making. In this thesis, we show how substantial insights in social choice theory can be achieved via computer-aided methods that are based on powerful solving techniques, such as...