No description available.

Syftet med uppsatsen är att undersöka två olika designmönster gällande för utveckling av webbsidor och att utreda vilket av de två olika designmönstren som användare föredrar att navigera på och varför, även att ta reda på om användare föredrar att navigera webbsidor med surfplatta eller med PC. De två designmönster vilka granskas är infinite scroll och multi-page.Uppsatsen är baserad på artiklar och teorier. / The purpose of this paper is to investigate the two different designs paradigms regarding web development and to investigate which one of these two technologies that is the most preferable to use and navigate from an user perspective and why this technology is the most preferable. The two design patterns that are being examined are, infinite scroll and multi-page development of websites.

<p>Existence of closed geodesics on compact manifolds was first proved by Lyusternik and Fet in the 1950s using Morse theory, and the corresponding problem for orbifolds was studied by Guruprasad and Haefliger, who proved existence of a closed geodesic of positive length in numerous cases. In this thesis, we develop an alternative approach to the problem of existence of closed geodesics on compact orbifolds by studying the geometry of group actions. We give an independent and elementary proof that recovers and extends the results of Guruprasad and Haefliger for developable orbifolds. We show that every compact orbifold of dimension 2, 3, 5 or 7 admits a closed geodesic of positive length, and we give an inductive argument that reduces the existence problem to the case of a compact developable orbifold of even dimension whose singular locus is zero-dimensional and whose orbifold fundamental group is infinite torsion and of odd exponent. Stronger results are obtained under curvature assumptions. For instance, one can show that infinite torsion groups do not act geometrically on simply connected manifolds of nonpositive or nonnegative curvature, and we apply this to prove existence of closed geodesics for compact orbifolds of nonpositive or nonnegative curvature. In the general case, the problem of existence of closed geodesics on compact orbifolds is seen to be intimately related to the group-theoretic question of finite presentability of infinite torsion groups, and we explore these and other properties of the orbifold fundamental group in the last chapter.</p> / Doctor of Philosophy (PhD)

As a writer popularly known for his fervent self-interrogations and encyclopedic second novel Infinite Jest, David Foster Wallace’s most apparent significance in US literary history lies in his explicit response to his postmodern predecessors, such as John Barth and Thomas Pynchon. In his now infamous essay “E Unibus Pluram: Television and US Fiction,” Wallace argued that postmodern authors had over-invested in the literary tools of irony and self-reference to such a degree that they became complicit in the erosion of the same communal principles that broadcast television attacks in its bid for increasing consumer dependency and profit. In search of a way beyond this complicity, Wallace called for a brand of “anti-rebels” who would discard irony for earnest principles and teach us how to resist the temptations of the United States’ consumer culture. This call was heard by literary critics. “E Unibus Pluram” is the center for arguments over Wallace’s fiction, as critics discuss whether that essay expresses the literary project Wallace actually pursued and to what extent it should guide our reading practices. One problem this dissertation identifies in these discussions is an overemphasis on specific devices like irony that Wallace analyzes in “E Unibus Pluram.” Though important for understanding his argument, this overemphasis comes at the expense of our seeing the deeper problem that Wallace identifies in “E Unibus Pluram,” which is the atomization of US culture that is fueled by our addiction to pleasure-based commodities like television. The loss of focus on this central problem has led to confusion in readings of Wallace that fail to see the abiding concerns that he carried from his first work to his last. This dissertation seeks to remedy this problem by reading Wallace’s mature fiction as a developing struggle against the atomization of US culture. In this struggle, Wallace launched a series of increasingly complex narrative strategies for promoting a communal way of life to his readers. This dissertation reads several of these strategies to reveal two developments in Wallace’s thought: his diagnosis of the problems facing US culture as created by an unmitigated individualism and his understanding of the best way to respond to individualism by emphasizing the great importance of social institutions. Ultimately, this dissertation argues that Wallace pictured fictional communities throughout his career as a means of critiquing the atomized space of the contemporary United States. He built these communities to help readers see that there are different ways to occupy the world than those promoted by consumer capitalism, but he also structured his narratives to teach readers how to see and think in the ways he thought necessary for realizing such alternatives. / English

<p> In this thesis, we have developed a full time domain approach for the simulation of pulse propagation in the optical fiber. Same as split-step method in frequency domain, this approach also treats the linear and nonlinear process alternately. To avoid the back and forth transformation between time and frequency domains, a digital Infinite Impulse Response (IIR) filter is used to treat the linear propagation directly in time domain. The signal samples pass through a pre-extracted IIR digital filter where the convolution is simply replaced by a series of operations that consist of shift and multiplication only. </p> <p> Compared with frequency domain method, this approach is fully realized in a "data-flow" fashion. Compared with time domain finite impulse response (FIR) method, this approach can save more memory and computation time. </p> <p> This approach is verified by comparing with the conventional frequency domain split-step Fourier method, and it is applied to the simulation of the pulse propagation, including polarization mode dispersion (PMD) effect in the optical fiber. </p> / Thesis / Master of Applied Science (MASc)

In this paper we explore coloring theorems for the reals, its quotients, cardinals, and their combinations. This work is done under the scope of the axiom of determinacy. We also explore generalizations of Mycielski's theorem and show how these can be used to establish coloring theorems. To finish, we discuss the strange realm of long unions.

For an affine Weyl group W, we explicitly determine the elements for which the Möbius function of the subposet of affine Grassmannians under the Bruhat order is non-zero by utilizing the quantum Bruhat graph of the classical Weyl group associated to W . Then we examine embedding stable and consistent statistics on the affine Weyl group of type A which permit the definition of an affine infinite symmetric group. / Doctor of Philosophy / Similar to the integers, there are groups that have both an infinite number of elements and also a way to partially order those elements. With a partial ordering, we can consider the interval between two elements. When we make a function that sums over an interval of elements, then we can invert the function by using something called the Mӧbius function. For many groups, the Mӧbius function is extremely unpredictable and calculating the inverse may require us to consider an infinite number of elements. In this paper, we focus on groups called affine Weyl groups, which are very useful in algebraic geometry. It turns out that most elements in these groups have a very predictable pattern in their Mӧbius functions which only considers a finite number of elements. The first part of this paper gives very simple rules for calculating it. The second part of this paper focuses on a special type of affine Weyl group: the affine symmetric groups. We provide an attempt at defining a large parent group, which we call the affine infinite symmetric group, that contains all the other affine symmetric groups.

This paper presents new concepts in the use of infinite and infinitesimal numbers in real analysis. theory is based upon the hyperreal number system developed by Abraham Robinson in the 1960's in his invention of "nonstandard analysis". paper begins with a short exposition of the construction of the hyperreal nU1l1ber system and the fundamental results of nonstandard analysis which are used throughout the paper. The new theory which is built upon this foundation organizes the set hyperreal numbers through structures which on an infinite base logarithm. Several new relations are introduced whose properties enable the simplification of calculations involving infinite and infinitesimal The paper explores two areas of application of these results to standard problems in elementary calculus. The first is to the evaluation of limits which assume indeterminate forms. The second is to the determination of convergence of infinite series. Both applications provide methods which greatly reduce the amount of con1putation necessary in many situations. / Master of Science

An exploration of simultaneous presence and absence in Architecture and Landscape. The site of memory as metaphor[m] and narrative. Architecture persists the metapsyche glimpse into the infinite. A gestalt of space and time relative to an obscur sensory perspective. Architecture defines place within space. That the vague sphere of mental and psychological perception extends infinite past any boundary. It is these boundaries that awaken the thought of a simultaneous absence and presence within nature. Dimension is witnessed and felt by our need to justify this simultaneity. In this way, Architecture binds and manipulates the infinite [space] into a place of memory. It can then be conceived, conjured, realized, and memorialized as a metaphor of space and time. For the progression of Architecture, Architecture must be a fragment and artifact of the collective narrative. I'm not designing buildings. I'm creating graves to mark where conception and creation dance infinitely. / Master of Architecture

In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher order, dynamically typed, call-by-value functional language with algebraic data types and pattern-matching. It is further augmented with support for actor concurrency, i.e. asynchronous message passing and dynamic process creation. With decidable model-checking in mind, we identify actor communicating systems (ACS) as a suitable target model for an abstract interpretation of Erlang. ACS model a dynamic network of finite-state processes that communicate over a fixed, finite number of unordered, unbounded channels. Thanks to being equivalent to Petri nets, ACS enjoy good algorithmic properties. We develop a verification procedure that extracts a sound abstract model, in the form of an ACS, from a given Erlang program; the resulting ACS simulates the operational semantics of the input. Using this abstract model, we can conservatively verify coverability properties of the input program, i.e. a weak form of safety properties, with a Petri net model-checker. We have implemented this procedure in our tool Soter, which is the first sound verification tool for Erlang programs using infinite-state model-checking. In our experiments, we find that Soter is accurate enough to verify a range of interesting and non-trivial benchmarks. Even though ACS coverability is Expspace-complete, Soter's analysis of these verification problems is surprisingly quick. In order to improve the precision of our verification procedure with respect to recursion, we investigate an extension of ACS that allows pushdown processes: asynchronously communicating pushdown systems (ACPS). ACPS that satisfy the empty-stack constraint (a pushdown process may receive only when its stack is empty) are a popular subclass of ACPS with good decision and complexity properties. In the context of Erlang, the empty stack constraint is unfortunately not realistic. We introduce a relaxation of the empty-stack constraint for ACPS called the shaped stack constraint. Stacks that fit the shape constraint may reach arbitrary heights. Further, a process may execute any communication action (be it process creation, message send or retrieval) whether or not its stack is empty. We prove that coverability for shaped ACPS, i.e. ACPS that satisfy the shaped constraint, reduces to the decidable coverability problem for well-structured transition systems (WSTS). Thus, shaped ACPS enable the modelling and verification of a larger class of message passing programs. We establish a close connection between shaped ACPS and a novel extension of Petri nets: nets with nested coloured tokens (NNCT). Tokens in NNCT are of two types: simple and complex. Complex tokens carry an arbitrary number of coloured tokens. The rules of a NNCT can synchronise complex and simple tokens, inject coloured tokens into a complex token, and eject all tokens of a specified set of active colours to predefined places. We show that the coverability problem for NNCT is Tower-complete, a new complexity class for non-elementary decision problems introduced by Schmitz. To prove Tower-membership, we devise a geometrically inspired version of the Rackoff technique, and we obtain Tower-hardness by adapting Stockmeyer's ruler construction to NNCT. To our knowledge, NNCT is the first extension of Petri nets (belonging to the class of nets with an infinite set of token types) that is proven to have primitive recursive coverability. This result implies Tower-completeness of coverability for ACPS that satisfy the shaped stack constraint.