<p>Hey everyone. The deadline for project entries passed half hour ago. Since this is my junior year, part of my goal is to learn more about what others did too. I know a lot of people here at CC did Siemens projects, so I would be interested in knowing more about what you did. So how about everybody post the title of their project, the category, what region they are from, and if they are doing individual/team. I don't know if people want to put up their abstract, or if we are allowed to.</p>
<hr>
<p>Sentient Machines: A Novel Approach to the Evolution and Development of Inter-Neuron Connections in an Artificial Brain.</p>
<p>Limitations of Cottrells Equation: Plotting Electrochemical Diffusion Coefficients of Potassium Ferricyanide and Potassium Ferrocyanide as Functions of Temperature and Concentration</p>
<p>Numerical Analysis of the Critical Behavior in Superconducting Josephson Junction Arrays
Abstract
This project is two-fold: It is intended to focus on creating a model to observe superconductivity in Josephson junction arrays and then to use this model to observe critical behavior as a function of current at varying temperatures, magnetic fields, and array sizes.
Josephson junctions are most commonly used in high-speed circuits. They are also used to detect extremely low magnetic fields. I explored this phenomenon and examined the results if they were put under different conditions (These conditions consisted of a magnetic field, a current, and a temperature). As expected the junctions responded to each variable the way that was envisioned. Under magnetic influence, vertexes were spawned to confine the field. This, in turn, allowed the rest of the array to superconduct normally. Under an influence of a current, the array began to create and expel vertices to account for the voltage induced. Under relative temperature (because a unit for temperature would be misguided) the array reacted randomly because temperature is a random phenomenon.
Tying the conditions together allowed me to study the effect of critical current. The current was found to decrease as temperature increased. This discovery was justified, as superconductivity is heavily reliant on a low, low temperature. In previous studies, only one critical current has ever been observed; my data, however, supports the evidence of more than one critical current when the model is applied to a system beyond its point of validity.</p>
<p>Sentient Machines: A Novel Approach to the Evolution and Development of Inter-Neuron Connections in an Artificial Brain</p>
<p>Abstract</p>
<p>This paper discusses a novel approach to the development and evolution of connections that form between neurons in the brain and the emergence of intelligence, as well as the construction of a simulation designed to test these ideas, with a heavy emphasis on the runtime analysis of the simulation. The concepts and methods proposed in this paper contribute to the disciplines of artificial intelligence and neuroscience, with strong ties to the cognitive development of the human infant.
The simulation consists of a virtual species that learns to adapt to a hostile, dynamic and evolving environment, with members of the species differentiated only by their intellectual abilities. The brain of a member of this species is composed of two neural networks: the prediction network, a recurrent neural network that employs a derivative of the standard back propagation algorithm, and a situation analysis, a feed forward neural network trained by a periodically run genetic algorithm, enabling the evolution of the species. Together, the two networks generate a large look-ahead tree, and evaluate it.
The most recent results of this simulation support the runtime analysis presented, suggesting the strong dependencies of the discipline of artificial intelligence on the hardware advances in coming years.</p>
<p>A partial characterization of Ehrenfeucht-Fraisse games on fields and vector spaces</p>
<p>----(pseudo-abstract, because the real one wouldn't help any in explaining the paper)----</p>
<p>Ehrenfeucht-Fraisse (EF) games are played on two models of a language ("sets with structure"). The length of the game provides a measure of how similar the models are, and is equivalent to other cool stuff :)</p>
<p>Here's how you play a game on models M and N of language L. There are two players, Spoiler and Duplicator, who are having a fight about M and N. (Yeah, they're weird.) Spoiler thinks M and N are different, and Duplicator thinks they're the same. To settle the dispute they play a game. At every stage:
1) The first player, Spoiler, plays an element in either M or N (he gets to pick).
2) The other player, Duplicator, plays an element in the opposite model.
3) The two elements just played are appended to the appropriate ordered lists m' and n' of elements played in M and N respectively. Then Spoiler and Duplicator look at the mapping which takes each element of m' to the corresponding element of n'. If that mapping is a partial isomorphism (meaning m' satisfies all the same formulas in L that n' does) then they keep playing. If it's not, then Spoiler wins at this stage.</p>
<p>By playing with strategies and partial isomorphism sequences, you can place bounds on the stage at which Spoiler can win EF games on fields and vector spaces under various conditions.</p>