The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.

On an upper bound for the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces

Vegeu el resum a l'inici del document del fitxer adjunt

Intersection Pairing and intersection motive of surfaces

We construct the Chow motive modelling intersection co-homology of a proper surface. We then study its functoriality properties. Using Murre's decompositions of the motive of a desingularization into KÄunneth components [Mr1], we show that such decompositions exist also for the intersection motive.

On the intersection of free subgroups in free products of groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

On hyperbolic once-punctured-torus bundles IV: automata for lightning curves

"Vegeu el resum a l'inici del document del fitxer adjunt."

Catabolite repression control of pyocyanin biosynthesis at an intersection of primary and secondary metabolism in Pseudomonas aeruginosa.

In Pseudomonas aeruginosa, the catabolite repression control (Crc) protein repressed the formation of the blue pigment pyocyanin in response to a preferred carbon source (succinate) by interacting with phzM mRNA, which encodes a key enzyme in pyocyanin biosynthesis. Crc bound to an extended imperfect recognition sequence that was interrupted by the AUG translation initiation codon.

The curvature of the conical intersection seam: an approximate second-order analysis

We present a method for analyzing the curvature (second derivatives) of the conical intersection hyperline at an optimized critical point. Our method uses the projected Hessians of the degenerate states after elimination of the two branching space coordinates, and is equivalent to a frequency calculation on a single Born-Oppenheimer potential-energy surface. Based on the projected Hessians, we develop an equation for the energy as a function of a set of curvilinear coordinates where the degeneracy is preserved to second order (i.e., the conical intersection hyperline). The curvature of the potential-energy surface in these coordinates is the curvature of the conical intersection hyperline itself, and thus determines whether one has a minimum or saddle point on the hyperline. The equation used to classify optimized conical intersection points depends in a simple way on the first- and second-order degeneracy splittings calculated at these points. As an example, for fulvene, we show that the two optimized conical intersection points of C2v symmetry are saddle points on the intersection hyperline. Accordingly, there are further intersection points of lower energy, and one of C2 symmetry - presented here for the first time - is found to be the global minimum in the intersection space

Substantial deletion overlap among divergent Arabidopsis genomes revealed by intersection of short reads and tiling arrays.

ABSTRACT: Identification of small polymorphisms from next generation sequencing short read data is relatively easy, but detection of larger deletions is less straightforward. Here, we analyzed four divergent Arabidopsis accessions and found that intersection of absent short read coverage with weak tiling array hybridization signal reliably flags deletions. Interestingly, individual deletions were frequently observed in two or more of the accessions examined, suggesting that variation in gene content partly reflects a common history of deletion events.

Towards robust network based complex systems : from evolutionary cellular automata to biological models

Abstract Sitting between your past and your future doesn't mean you are in the present. Dakota Skye Complex systems science is an interdisciplinary field grouping under the same umbrella dynamical phenomena from social, natural or mathematical sciences. The emergence of a higher order organization or behavior, transcending that expected of the linear addition of the parts, is a key factor shared by all these systems. Most complex systems can be modeled as networks that represent the interactions amongst the system's components. In addition to the actual nature of the part's interactions, the intrinsic topological structure of underlying network is believed to play a crucial role in the remarkable emergent behaviors exhibited by the systems. Moreover, the topology is also a key a factor to explain the extraordinary flexibility and resilience to perturbations when applied to transmission and diffusion phenomena. In this work, we study the effect of different network structures on the performance and on the fault tolerance of systems in two different contexts. In the first part, we study cellular automata, which are a simple paradigm for distributed computation. Cellular automata are made of basic Boolean computational units, the cells; relying on simple rules and information from- the surrounding cells to perform a global task. The limited visibility of the cells can be modeled as a network, where interactions amongst cells are governed by an underlying structure, usually a regular one. In order to increase the performance of cellular automata, we chose to change its topology. We applied computational principles inspired by Darwinian evolution, called evolutionary algorithms, to alter the system's topological structure starting from either a regular or a random one. The outcome is remarkable, as the resulting topologies find themselves sharing properties of both regular and random network, and display similitudes Watts-Strogtz's small-world network found in social systems. Moreover, the performance and tolerance to probabilistic faults of our small-world like cellular automata surpasses that of regular ones. In the second part, we use the context of biological genetic regulatory networks and, in particular, Kauffman's random Boolean networks model. In some ways, this model is close to cellular automata, although is not expected to perform any task. Instead, it simulates the time-evolution of genetic regulation within living organisms under strict conditions. The original model, though very attractive by it's simplicity, suffered from important shortcomings unveiled by the recent advances in genetics and biology. We propose to use these new discoveries to improve the original model. Firstly, we have used artificial topologies believed to be closer to that of gene regulatory networks. We have also studied actual biological organisms, and used parts of their genetic regulatory networks in our models. Secondly, we have addressed the improbable full synchronicity of the event taking place on. Boolean networks and proposed a more biologically plausible cascading scheme. Finally, we tackled the actual Boolean functions of the model, i.e. the specifics of how genes activate according to the activity of upstream genes, and presented a new update function that takes into account the actual promoting and repressing effects of one gene on another. Our improved models demonstrate the expected, biologically sound, behavior of previous GRN model, yet with superior resistance to perturbations. We believe they are one step closer to the biological reality.

Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

Hysteresis and return-point memory in deterministic cellular automata

We have investigated hysteresis and the return-point memory (RPM) property in deterministic cellular automata with avalanche dynamics. The RPM property reflects a partial ordering of metastable states, preserved by the dynamics. Recently, Sethna et al. [Phys. Rev. Lett. 70, 3347 (1993)] proved this behavior for a homogeneously driven system with static disorder. This Letter shows that the partial ordering and the RPM can be displayed as well by systems driven heterogeneously, as a result of its own evolution dynamics. In particular, we prove the RPM property for a deterministic 2D sandpile automaton driven at a central site.

Road Safety Audit for the Intersection of US 59 and IA 9 in Osceola County, Iowa Final Report, March 2012

The Iowa Department of Transportation (DOT) requested a road safety audit (RSA) of the US 59/IA 9 intersection in northwestern Iowa, just south of the Minnesota border, to assess intersection environmental issues and crash history and recommend appropriate mitigation to address the identified safety issues at the intersection. Although the number of crashes at the location has not been significantly higher than the statewide average for similar intersections, the severity of these crashes has been of concern. This RSA was unique in that it included intersection video observation and recorded traffic conflict data analysis, along with the daylight and nighttime field reviews. This report outlines the findings and recommendations of the RSA team for addressing the safety concerns at this intersection.