N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

3

Projekt 1. Aksiomssystemer i matematikVejleder: Matthias Kriesell, kriesell@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: Projektet er teoretisk Gruppeplacering: IMADA eller BiblioteketGruppestørrelse: Mindst 3 og maks 5 deltagere. Én gruppe kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 studerende.Keywords: Matematik, aksiom, bevis, calculus, tal, mængdelære, determinant, gruppe,

topologi

AbstractDet aksiomatiske metode blev et hjørnesten af matematik i det 20. århundrede, men var allerede kendt som tilgang fraEuklids elementer. Den grundlæggendeidé er at man definerer et matematiskområde, eller objekt, ved at stille nogle egenskaber, op som tages at være sande. Disse kaldes postulater eller aksiomer. Derefter bygger man sætninger og andre resultater op kun ved hjælp afdisse aksiomer og deduktionsregler fra logik.

Det er vigtig at der er ikke noget modstrid mellem de forskellige aksiomer, men der skal væreaksiomer nok så at man kan bevise noget nyttigt. I opstillingen er det er ofte et mål at der skalikke være flere aksiomer end nødvendigt, men det balanceres med at aksiomerne skal være enk-le. Metoden kan anvendes på mange forskellige måde, og det er ideen med projektet at gruppen finde nogle emner der interessere dem og se hvordan de er relateret til aksiomssystemer.

Over tiden er der opstået nogle aksiomer som er lidt kontroversielle. Et eksempel er udvalgsaksi-omet fra mængdelære som siger at givet vilkårlige mange kasser man kan altid udvælge element fra hver af kasserne. Som sådan er aksiomet ret naturligt, og er stort set bleveten del af standard matematik, men det har nogle mærkelige konsekvenser.

Mulige undersøgelsesområde i projektet inkludere:- differentiation og integration af funktioner som i calculus- opbygning af tal systemer- mængdelære- determinantfunktioner for matricer- gruppeteori og symmetri- kontinuitetsteori og topologi- kvantemekanik- udvalgsaksiomen og dens omformuleringer

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeafhænger meget af gruppens interesse. En bog der dækker nogle af emnerne ovenfor erH. B. Enderton, `Elements of Set Theory', Academic Press 1977, ISBN 0-12-238440-7

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

33

Projekt 31. Hvordan tegner man en ret linje?Vejleder: Bjarne Toft, btoft@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: Teoretisk arbejde Gruppeplacering: IMADA eller BiblioteketGruppestørrelse: Mindst 3 og max 5 deltagere. En gruppe kan arbejde med projektetKommentarer: Projektet tilbydes til NAT501 og NAT507 studerende.

Keywords: Ret linje, cirkel, punkts potens, elementær plangeometri.

Abstract Hvis man ikke har en lineal, findes der så en måde at sætte nogle pinde sammen på, så man får et apparat der kan tegne en perfekt ret linje (på samme måde som passeren tegner en perfekt cir-kel)? Svaret er JA - at finde ud af det involverer et studium af elementær plangeometri. Elemen-tære resultater om punkter, linjer og cirkler i planen skal benyttes for at løse problemet. Efter at problemet er løst kan det for eksempel overvejes hvor få pinde der skal til. Og man kan jo evt. lave apparatet rent fysisk og se om det også virker i praksis!

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeDer udleveres en artikel af Julius Petersen fra 1880’erne, med nutidige kommentarer (af vejlede-ren). Geometri skolebøger (fra dengang geometri var mere i højsædet) vil også blive udleveret som baggrundsmateriale.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

45

Projekt 43. Konstruktioner med passer og lineal Vejleder: Bjarne Toft, btoft@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: Teoretisk arbejde Gruppeplacering: IMADA eller BiblioteketGruppestørrelse: Mindst 3 og max 5 deltagere. En gruppe kan arbejde med projektetKommentarer: Projektet tilbydes til NAT501 og NAT507 studerende.

Keywords: Passer, lineal, regulære n-kanter, konstruktionsmetoder, umulighedsbeviser.

Abstract Lige siden Euklid skrev sine elementer for 2000 år siden har matematikere beskæftiget sig medkonstruktioner med passer og lineal. Hvad er mon forklaringen på at vi pålægger os den restrik-tion, at det er de to eneste redskaber vi må bruge? Og hvad kan man konstruere? Omkring år 1800 opdagede den da kun 19 årige Gauss hvordan man kan konstruere en regulær 17 kant. Oglidt senere i 1800 tallet fandt man ud af at det er umuligt at konstruere en regulær 18 kant. Hvad er grunden? Hvis man vælger ikke at bruge linealen, men kun passeren, hvilke figurer kan såkonstrueres? Der er mange muligheder for at stille og besvare interessante spørgsmål!

Emner: konstruktioner af regulære trekanter, firkanter, femkanter og sekskanter. Konstruktionermed passeren alene (f.eks. at finde midtpunktet mellem to punkter). Umuligheden af at konstrue-re en regulær 18-kant.

Metoder: Et teoretisk studium af elementær geometri. Historiske/filosofiske overvejelser om-kring emnet – hvad er formålet? – er det overhovedet interessant?

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeEmnet lægger op til et studium af Euklids Elementer (i dansk oversættelse). Noter af vejlederen vil også blive uddelt omkring emnets mulige problemstillinger.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

11

Projekt 9. Combinatorics of RNA secondarystructuresVejleder: Christian Reidys, duck@santafe.edu.Institut: Institut Matematik og Datalogi (IMADA)Praktisk del: IMADA, programmingGruppeplacering: IMADA or LibraryGruppestørrelse: Minimum 3 and maximum of 5 participants. Two groups can work with the

project. The project, including report and exam, will be in English.Kommentarer: Projektet tilbydes til NAT501 studerende.Keywords: Secondary structure, generating function, Motzkin-paths

Abstract Ribonucleic acid (RNA) molecules are linear biopolymers consisting of the four nucleotides A, U, C and G characterized by a sequence endowed with a unique orientation (5’ end to 3’ end). RNA sequences fold, i.e. their nucleotides form base pairs (arcs) and the collection of these con-stitute the secondary structure. A secondary structure can be represented by diagrams. Tree dec-ades ago, Waterman gave a recursion for enumerating the number of secondary structures over n nucleotides without any crossing arcs. A lot of work have been done based on this recursion, i.e., dynamic programming search minimum free energy structures, calculate partition function etc.

Tasks:� Study how to derive the generating function from the recursion for secondary structures.

In the process learn how to use Maple to computes coefficients� Study other combinatorial means of deriving this recursion, e.g. via Motzkin paths.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeCombinatorial Computational Biology of RNA: Pseudoknots and Neutral Networks, Christian M. Reidys, November 2010.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

80

Projekt 78. Uniform sampling of RNA secondary structureVejleder: Christian Reidys, duck@santafe.edu.Institut: Institut for Matematik og Datalogi (IMADA).Praktisk del: IMADA, programmingGruppeplacering: IMADA or LibraryGruppestørrelse: Minimum 3 and maximum of 5 participants. Two groups can work with the

project. The project, including report and exam, will be in English.Kommentarer: Projektet tilbydes til NAT501 studerende.

Keywords: Uniform sampling, sequence-structure relationship

Abstract The folding of RNA sequences constitutes a mapping from sequences to structures. While it is easy to sample in sequence space by assigning independent probabilities to individual nucleo-tides, the sampling in structure space is more difficult. The key objective here is an ad hoc uni-form sampling of RNA structures in linear time.

Tasks: � Study the method to generate the secondary structures (without crossing arcs) uniformly us-

ing the recursion for secondary structures.� Implement such a sampling process.� Extend the above sampling method to be able to sample structures with particular properties.

For instance, sample structures having a certain minimum stack size (number of consecutive-ly, parallel arcs) grater than s.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeCombinatorial Computational Biology of RNA: Pseudoknots and Neutral Networks, Christian M. Reidys, November 2010.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

14

Projekt 12. De skjulte tvillinger i biokemi og økologiVejleder: Hans Christian Petersen, hcpetersen@stat.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: IMADA, udregninger på pcGruppeplacering: IMADA eller BibliotekGruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 og NAT507 studerende.

Keywords: Funktionel respons, rov-byttedyr-systemer, enzymkinetik, Michaelis-Menten, estimation, ikke-lineære modeller.

Abstract Fra biokemi er det velkendt at enzymers kinetik kan beskrives med bl.a. Michaelis-Menten-modellen. I populationsøkologi er det ligeledes velkendt at aspekter af rovdyr-byttedyr-interaktion kan beskrives med relativt simple modeller for funktionel respons. I projektet arbej-des der med at fitte data til kurver af Michaelis-Menten-typen, således at man opnår estimater forparametrene i modellen, hhv. halvmætningskonstant og maksimal omsætningsrate. Der er i ud-gangspunktet tale om et ikke-lineært problem, som dog kan lineariseres. Under projektet arbejdes der med forskellige simulerede data for at afgøre hvordan og under hvilke betingelser man opnår acceptable parameterestimater. Desuden anvendes løsningen (algoritmen) på genuine data. Paral-lellen mellem de biokemiske og de økologiske modeller præsenteres og forklares.

MinikurserObligatorisk: Projektarbejde (Microsoft, Nat)Anbefalede: Ingen

Litteraturliste over metodeartikler, som udleveres til de studerendeAfsnit fra hhv. lærebog i biokemi og populationsøkologiArtikler fra biokemiske og økologiske tidsskrifter

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

51

Projekt 49. Matching schemes for the job market Vejleder: Sushmita Gupta, sgupta@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: Projektet er teoretiskGruppeplacering: IMADA eller Bibliotek Gruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 studerende. Projektet er særligt velegnet til

studieordning i datalogi. Projektet, inkl. rapport og eksamen, holdes på en-gelsk.

Keywords: Matching, bipartite graph, online algorithm, offline algorithm

Abstract Consider a job assignment office, JAO, which matches job applicants with available positions depending on suitability and availability. Each applicant has a set of skills that makes him/her suitable for certain types of jobs.

These assignments happen on a rolling basis, i.e, as jobs become available and interested candi-dates signup, the JAO makes a job-assignment (if it can) from the pool of unassigned candidates. If there are none available, then it searches the list of currently assigned candidates for someonewho could potentially be assigned to a job that is unsuitable for any of the unattached candidates. An important condition for a job switch is that a previously assigned job cannot be halted be-cause its worker has been assigned to something else. Therefore the JAO has a policy to make a switch only if there is an unassigned candidate who can take up that job.

Too many job switches are perhaps not beneficial for the candidates, so a priori the JAO decides to limit the possible number of reassignments any candidate has to undergo to be no more than asmall constant k, such as 2 or 3. The main goal is to maximize the number of job assignments.

Situations of this nature are commonly encountered in problems related to ¨bipartite matching¨, both ¨online¨ as well as ¨offline¨. The goal of this project is to design, study and implement strat-egies that lead to good solutions.

There is a lot of literature on this topic, both introductory and advanced. We will refer to some ofthem as a starting point and then try to glean ideas to develop our own strategies to make switch-es or to identify examples when switching gives no extra benefit.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeChapter 3: ‘’Introduction to Graph Theory’’ by Douglas West.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

52

Projekt 50. Matematikken bag 3D-grafik i computerspil Vejleder: Rolf Fagerberg, rolf@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: ProgrammeringGruppeplacering: IMADA eller BibliotekGruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 studerende. Projektet er særligt velegnet til

studieordning i datalogiKeywords: 3D-grafik, transformationer, homogene koordinater, rendering, shading.

AbstractI programmering af computerspil bruges mangemetoder og teknikker fra både datalogi og mate-matik. Det mest centrale eksempel herpå er 3D grafik, hvor objekter opbygges af trekanter i et tredimensionelt koordinatsystem. For at kunne placere og animere de opbyggede objekter i spille-ne, er det nødvendigt at kunne translatere, rotereog skalere dem. Ydermere skal de projiceres per-spektivmæssigt korrekt til skærmens to dimensio-ner. Hertil bruges matriceregning, dvs. metoder fra lineær algebra. Mens 3x3 matricer er nok til at implementere rotationer og skaleringer, kræver translationer og projicering 4x4 matricer. Ma-tematikken bag de første tre er relativ simpel, mens projiceringen er mere involveret. Også i for-bindelse med farvelægning (shading) af objekternes trekanter optræder der matematisk baseredemetoder, primært vektorregning.

Ideen med projektet er at studere principperne bag 3D spil på computere. Afhængigt af gruppen kan fokus i projektet flyttes mellem de datalogiske og matematiske aspekter af emnet. Eksempler på indgangsvinkler kan være:

1. Et simpelt spil implementeres med fokus på et specielt område f.eks. Alternativeinputmetoder, generering af kort, level of detail, AI etc.

2. Opbygningen af projektions, skalerings, translations og rotations matricer kan undersøges oggennemgås ud fra et matematisk synspunkt.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeBemærk at den endelige liste afhænger meget af valg af retning på projektet:En guide til programmering af 3D spil: http://nehe.gamedev.net/Afsnit 3 og Appendix G i "The OpenGL Programming Guide: The Official Guide to LearningOpenGL" af Shreiner, Woo, Neider, Davis. Addison-Wesley. En ældre version af bogen kan ses online på http://fly.cc.fer.hr/~unreal/theredbook/Spørg evt. over mail. Projektet kan være inspireret af deltagernes ideer.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

58

Projekt 56. Online stock-trading gameVejleder: Abyayananda Maiti, abyaym@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: Projektet er teoretisk datalogiGruppeplacering: IMADA eller BibliotekGruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 studerende. Projektet er særligt velegnet til

studieordning i datalogi. Projektet, inkl. rapport og eksamen, holdes på en-gelsk.

Keywords: Online algorithm, Stock market, One-way trading, Two- way trading, Gametheory.

Abstract In computer science, an online algorithm is one that can process its input piece-by-piece in a serial fashion, i.e., in the order that the input is fed to the algorithm, without having the entireinput available from the start. In contrast, an offline algorithm is given the whole problem data from the beginning and is required to output an answer that solves the problem at hand. (Forexample, selection sort requires that the entire list be given before it can sort it, while insertion sort doesn't.)

On the other hand, financial problems are typically online in nature because its information about the future is often scarce and/or unreliable. Specifically, stock trading is a very important financial process and also very well known to general people who may not have any proper knowledge of financial theories. From the online algorithm perspective, there are two types of trading: One-way trading and Two-way trading.

Here we will develop a stock-trading game where players have to place their moves in onlinefashion and virtual adversary (e.g. computer) may take different strategies to manipulate theupcoming stock-prices. Initially player would be given a fixed amount of money using which he/she has to trade in the stock market. For one way trading, trader only can buy and in two-waytrading, trader can do any combinations of buy and sell. At each time step adversary will quote prices for each stock. The goal would be to maximize the profit. We will also figure out different bounds on profits in different scenarios (mainly different types of adversary).

The basic version of game deals with only one stock. We can extend it to general case wheretraders can buy and sell multiple stocks.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeBorodin, A.; El-Yaniv, R. (1998). Online Computation and Competitive Analysis. CambridgeUniversity Press. ISBN 0-521-56392-5 (Chapter 14). R. El-Yaniv, A. Fiat, R.M. Karp, and G. Turpin (2001). Optimal Search and One-Way TradingOnline Algorithms, Algorithmica, 30, 101-139.cogprints.org/6216/2/SSRN-id1270025.dochttp://www.wallstreetsurvivor.com/

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

61

Projekt 59. Planlægning af job-afviklingVejleder: Lene Favrholdt, lenem@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: Evt. ProgrammeringGruppeplacering: IMADAGruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet. Kommentarer: Projektet tilbydes til NAT501 studerende.

Keywords: Optimering, planlægning, algoritmer

AbstractDette projekt handler om at planlægge udførelsen af en mængde jobs. Vi forestiller os, at vi har m maskiner til rådighed til at udføre disse jobs. Maskinerne kan være ens eller forskellige. Hvis de er forskellige, kan de f.eks. have forskellig hastighed. Det kan også være, at nogle af jobs'nekun kan udføres på visse af maskinerne. Målet kan være at udføre alle jobs på kortest mulig sam-let tid, at minimere overskridelsen af deadline for de enkelte jobs, eller noget helt tredje.

Fælles for disse problemer er, at de er NP-fuldstændige. D.v.s. at der ikke findes effektive algo-ritmer til at løse dem optimalt. Fokus vil derfor være på approksimationsalgoritmer; d.v.s. algo-ritmer, som ikke altid løser problemet optimalt, men på den anden side garanterer, at løsningen ikke er alt for langt fra den optimale.

Man kan arbejde med online, såvel som offline, varianter af problemerne. I den online version af et problem kender man ikke hele problemet fra starten. Derimod kommer jobs’ne "dumpende" et efter et, og hvert job skal straks tildeles en maskine.

Man kan vælge at fokusere på algoritmernes køretid og/eller kvaliteten af den løsning, de leverer.Det er muligt at lave et rent teoretisk projekt, hvor man udvælger/designer algoritmer, som man beskriver og analyserer. Man kan også lægge hovedvægten på implementering og afprøvning afrelevante algoritmer. En mellemting mellem disse to yderpunkter vil også være en mulighed.

Et eksempel: Vi har tre ens maskiner. Jobs’ne er karak-teriseret ved den tid, det tager at udføre dem. Målet erat blive hurtigst muligt færdig med at udføre samtligejobs. Job-længderne er: 4,4,5,5,6,7,7. Vi bruger en al-goritme (LPT), som sorterer jobs'ne efter længde ogplacerer de længste jobs først. Hvert job placeres påden maskine, som aktuelt står til at blive først færdig.Resultatet er illustreret i figuren til højre. I samme fi-gur er vist en optimal placering af jobs'ne.

MinikurserObligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeApproximation Algorithms for NP-Hard Problems, Edited by Dorit S. Hochbaum, Kapitel 1.

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

65

Projekt 63. Recognize handwritten textVejleder: Marie Christ, christm@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: ProgrammeringGruppeplacering: IMADA eller BibliotekGruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 studerende. Projektet er særligt velegnet til

studieordning i datalogi. Projektet, inkl. rapport og eksamen, holdes på en-gelsk.

Keywords: Artificial Neural Networks, Machine Learning

Abstract How to teach a computer to read handwritten letters? The "normal" approach is to write a pro-gramm. This means the programmer maps a picture with certain choosen criteria to a letter. Slightly different letters are not recognized. While this recognition task can be solved by child-ren. Children do not have any programmer writing a program for developing their skill. Theylearn by themselves to abstract from given examples. What mechanisms do humans use to learn handwritten letters? Can such cognition be adapted for computer usage?Biological systems use neural networks to process informations. Neural networks consist of many simple, identical units that have weighted and adaptable connections. A single neuron is not much more than a simple switch. It has many inputs and as soon as the input reaches a cer-tain threshold it produces an output. The concept of neural networks is to implement simpleconnected units that are able to learn.An artificial neuron maps an input vector to a scalar value. The weighted input values aresummed up, and output is controlled by a non-linear transfer function. Afterwards the weights are adapted given correctly classified examples.In the project you will learn about different types of neural networks, and implement a neural network and a learning procedure yourself. You will then train your neural network to recognizefor example handwritten numbers and/or letters.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerendeSimon Haykin: Neural Networks, A Comprehensive Foundation, 2nd Edition, Prentice Hall In-ternational Editions. Christopher M. Bishop: Neural Networks for Pattern Recognition, Oxford Univ. Press.David Kriesel: A brief Introduction to Neural Networks, http://www.dkriesel.com/en/science/neural_networks

N a t u r v i d e n s k a b e l i g t P r o j e k t / F a r m a c e u t : V a l g f r i t P r o j e k t

69

Projekt 67. Simulations with cellular automata Vejleder: Philipp Peters, phpeters@imada.sdu.dkInstitut: Institut for Matematik og Datalogi (IMADA)Praktisk del: ProgrammeringGruppeplacering: IMADA eller BiblioteketGruppestørrelse: Mindst 3 og max 5 deltagere. To grupper kan arbejde med projektet.Kommentarer: Projektet tilbydes til NAT501 studerende. Projektet er særligt velegnet til

studieordning i datalogi / The project is specially suitable for students with curriculum in computer science. Oral supervision will be in English, written communications can be in Danish.

Keywords: Computer Science, Cellular Automata, Modeling and Simulation, PatternFormation

AbstractIn 1952 the English mathematician, logician, and computerscientist Alan Turing stated: "It is suggested that a systemof chemical substances, called morphogens, reacting to-gether and diffusing through a tissue, is adequate to accountfor the main phenomena of morphogenesis." With relative-ly easy mathematical formulations and by means of simula-tions with so-called cellular automata (CA), it is possible to model and analyze the related problem of pattern formation that occurs on sea shells or on animal skins. A CA is a re-markable simple discrete model studied in computability theory that consists of a regular grid ofcells each in one of a finite number of states, such as “On” and “Off”. Each cell has a finite set of neighborhood cells. The current state of a cell itself and the current states of the cells in itsneighborhood are considered to determine synchronously the new state of a cell.

In a straightforward manner such CA can be used to simulate the mechanism that is supposed tobe responsible for generating the before mentioned patterns. This mechanism is based on a so-called reaction-diffusion system of the morphogen prepatterns. The subsequent differentiation ofcells to produce melanin (pigments that affect skin color) simply reflects the spatial patterns ofmorphogen concentration.

The project aims at giving the participants knowledge on modeling with CA and experience inthe implementation of CA-based simulations. The simulation of animal skin patterns is just onesuggestion, other topics could be forest fire, traffic jam, predator-prey-system, game of life, etc.

Minikurser Obligatorisk: Projektarbejde (LaTeX).Anbefalede: Ingen

Litteraturliste over metode artikler, som udleveres til de studerende A. Deutsch, S. Dormann: Cellular Automaton Modeling of Biological Pattern Formation,Birkhäuser Boston, 2005.L.B. Kier, P.G. Seybold, and C.-K. Cheng: Modeling Chemical Systems Using Cellular Automa-ta, Springer Netherlands, pages 9-38, 2005.S. Wolfram: A new kind of science, Wolfram Media, 2002