Inaug.-diss.--Tübingen. / Lebenslauf. "Literaturverzeichnis": p. 80-82.

Inaug.-diss.--Tübingen. / Lebenslauf. "Literaturverzeichnis": p. 80-82.

Trenden inom systemutveckling och programutveckling går mot ett mer användande av multi programmeringsparadigmer. Funktionell programmering har fått mer uppmärksamhet på senare tid och utvecklingen tycks över lag gå än mer åt det deklarativa hållet där programmeraren fokuserar mer på vad som skall utföras och inte lika mycket på hur. Under en tid har det objektorienterade paradigmet varit dominerande, kommer det vara så i framtiden? Funktionell programmering skiljer sig från imperativ programmering, speciellt i abstraktionsnivå. Microsoft har implementerat programmeringsspråket F# i Visual Studio 2010. F# är ett funktionellt programmeringsspråk som även stödjer objektorienterad och imperativ programmering. Kan F# få funktionell programmering som paradigm att växa? Kommer F# få något genomslag i programmeringsvärlden? Genom att höra experter och företags åsikter vill vi framställa en prognos för F#. Vi vill ta reda på vad erfarna programmerare tycker om F# och vad de tror om framtiden. Att förutsäga framtiden är något som är väldigt svårt, om inte omöjligt. Prognoser stämmer således nästan aldrig. Det kan dock fortfarande vara av värde och frambringa olika effekter på utvecklingen. Resultaten av vår undersökning pekar på en ljus framtid för F# som programmeringsspråk och funktionell programmering som paradigm. F# är ett populärt språk, bland dem som provat på det och kan effektivisera verksamheten för många företag. I denna skrift undersöker vi F# som språk - med några av dess mest ansett användbara aspekter - och funktionell programmering i allmänhet. / The trend in systems- and program-development has changed direction towards an increase in the usage of multi-programming paradigms. The attention put on Functional programming have increased lately and the development seems to move towards a more declarative style, where the programmer focuses more on how something should be done, than on what should be done. For awhile now, the objectoriented paradigm have been the dominant programming paradigm, but will this hold in the future? Functional programming differs from imperative programming, especially on the abstract level. Microsoft has implemented the programming language F# in Visual Studio 2010. F# is a functional programming language that also supports both objectoriented and imperative programming. Will F# cause the functional programming paradigm to grow? Will F# cause some sort of impact upon the programming world? By listening to the views of experts and businessmen alike we want to implement a prognosis about the future of F#. We want to know what experienced programmers think about F# and its future. Although, predicting the future is hard, if not impossible. Even though future predictions often are wrong, they can still bring forth important views and aspects, effecting the development, evolution or view on the target for the prediction. The result of our research points to a bright future for F# as a programming language and function programming as a paradigm. F# is a very popular language amongst those that have tried it and it has the possibility to streamline the operations in many businesses. In this paper we investigate F# as a language – with some of it's most useful aspects – and functional programming in general.

Thesis--University of Illinois at Urbana-Champaign. / Vita. Includes bibliographical references (leaves 345-353). "Bibliography of the writings of Katharine Sharp": leaves 354-355.

No description available.

The first part of this thesis establishes a series of geometric ineqalities related to fractional integration in some geometric settings, including bilinear and multilinear forms. In the second part of this thesis, we study some kinds of rearrangement inequalities. In particular, some applications of rearrangement inequalities will be given, for instance, the determination of the extremals of some geometric problems. By competing symmetries and rearrangement inequalities, we prove the sharp versions of geometric inequalities introduced in the first part in Euclidean spaces. Meanwhile, there are the corresponding conformally equivalent formulations in unit sphere and in hyperbolic space. The last part is about collaborative work on the regularity of the Hardy-Littlewood maximal functions. We give a simple proof to improve Tanaka's result of the paper entitled "A remark on the derivative of the one-dimensional Hardy-Littlewood maximal function". Our proof is based on the behaviour of the local maximum of the non-centered Hardy-Littlewood maximal function.

No description available.

No description available.

Patterns of hippocampal ensemble activity that occur during a spatial experience are reactivated during subsequent rest periods and slow wave sleep. Connections between active cells are thought to be strengthened, via long term potentiation (LTP), by repeated co-activation during experience, which suggests that the level of memory trace reactivation would increase proportionately with repetition. Alternatively, plasticity associated with memory formation, such as LTP-dependent place field expansion and the induction of activity-dependent immediate early gene, ARC, saturates after only a few laps, indicating that reactivation would plateau after a few repetitions. The length of the repeated sequence may also affect reactivation, since activation of a very short sequence can be repeated more frequently than a long sequence in a given time period. We studied how memory trace reactivation was affected by repetition and the length of the repeated sequence by observing the reactivated patterns of cell-pair correlations after a rat ran laps around a long circular track versus running more laps around a short track. On the shorter track, fewer cells had place fields, but they covered more of the track, resulting in generally stronger correlations among active cells. In addition, neuronal activity was recorded from dorsal and mid-ventral CA1. In mid-ventral CA1, there were fewer place fields in the environment but they were larger, with generally stronger correlations among active cells. The comparison between dorsal and mid-ventral regions is thus analogous to the comparison between the sequence of place fields on a long versus short track, respectively. Although there were more cells active in the dorsal region, but more potent correlations in the middle region, no differences in memory trace reactivation were found with respect to repetitions, track length or hippocampal region. This suggests that although spatial scaling increased along the dorsoventral axis of the hippocampus, reactivation is balanced, and possibly coherent across the hippocampal axis and it is relatively independent of sequence length or number of repetitions, at least when that number exceeds about 20.

No description available.