The Redner - Ben-Avraham - Kahng cluster system

We consider a coagulation model first introduced by Redner, Ben-Avraham and Krapivsky in [Redner, Ben-Avraham, Kahng: Kinetics of 'cluster eating', J. Phys. A: Math. Gen., 20 (1987), 1231-1238], the main feature of which is that the reaction between a j-cluster and a k-cluster results in the creation of a |j-k|-cluster, and not, as in Smoluchowski's model, of a (j+k)-cluster. In this paper we prove existence and uniqueness of solutions under reasonably general conditions on the coagulation coefficients, and we also establish differenciability properties and continuous dependence of solutions. Some interesting invariance properties are also proved. Finally, we study the long-time behaviour of solutions, and also present a preliminary analysis of their scaling behaviour.Comment: 24 pages. 2 figures. Dedicated to Carlos Rocha and Luis Magalhaes on the occasion of their sixtieth birthday

The Redner - Ben-Avraham - Kahng coagulation system with constant coefficients: the finite dimensional case

We study the behaviour as $t\to\infty$ of solutions $(c_j(t))$ to the Redner--Ben-Avraham--Kahng coagulation system with positive and compactly supported initial data, rigorously proving and slightly extending results originally established in [4] by means of formal arguments.Comment: 13 pages, 1 figur

Frequency and damping evolution during experimental seismic response of civil engineering structures

The results of the seismic tests on several reinforced-concrete shear walls and a four-storey frame are analysed in this paper. Each specimen was submitted to the action of a horizontal accelerogram, with successive growing amplitudes, using the pseudodynamic method. An analysis of the results allows knowing the evolution of the eigen frequency and damping ratio during the earthquakes thanks to an identification method working in the time domain. The method is formulated as a spatial model in which the stiffness and damping matrices are directly identified from the experimental displacements, velocities and restoring forces. The obtained matrices are then combined with the theoretical mass in order to obtain the eigen frequencies, damping ratios and modes. Those parameters have a great relevance for the design of this type of structures

Kinetic conversion of CO to CH4 in the Solar System

Some of the most interesting chemistry in the Solar System involves changes in the oxidation state of the simple carbon species. The chemical pathways for the conversion of CH4 to CO and CO2 are for the most part known. The reverse process, the reduction of CO to CH4, is, however, poorly understood. This is surprising in view of the importance of the reduction process in the chemistry of the Solar System. Recently we investigated the chemical kinetics of a hitherto unsuspected reaction. It is argued that the formation of the methoxy radical (CH3O) from H+H2CO may play an essential role in the reduction of CO to CH4. The rate coefficient for this reaction has been estimated using the approximate theory of J. Troe and transition state theory. We will discuss the implications of this reaction for the chemistry of CO on Jupiter, in the solar nebula, for interpreting the laboratory experiments of A. Bar-Nun and A. Shaviv and A. Bar-Nun and S. Chang, and for organic synthesis in the prebiotic terrestrial atmosphere. The possible relation of CO reduction in the solar nebula and polyoxymethylene observed in comet Halley will be discussed

Measuring Baryon Acoustic Oscillations with Millions of Supernovae

Since type Ia Supernovae (SNe) explode in galaxies, they can, in principle, be used as the same tracer of the large-scale structure as their hosts to measure baryon acoustic oscillations (BAOs). To realize this, one must obtain a dense integrated sampling of SNe over a large fraction of the sky, which may only be achievable photometrically with future projects such as the Large Synoptic Survey Telescope. The advantage of SN BAOs is that SNe have more uniform luminosities and more accurate photometric redshifts than galaxies, but the disadvantage is that they are transitory and hard to obtain in large number at high redshift. We find that a half-sky photometric SN survey to redshift z = 0.8 is able to measure the baryon signature in the SN spatial power spectrum. Although dark energy constraints from SN BAOs are weak, they can significantly improve the results from SN luminosity distances of the same data, and the combination of the two is no longer sensitive to cosmic microwave background priors.Comment: 4 pages, 3 figures, ApJL accepte

Diversity and multiculturalism: Research and design for Bafatá upon the 90th anniversary of Amilcar Cabral’s birth

This paper aims to present the results of a research made by a group of students about the city of Bafatá, in Guinea-Bissau. This work was launched due to the commemorations of the African independence leader Amílcar Cabral’s birth (1924-1973) in that city on the Geba riverbank, ninety years ago. The research made with students finalizing their Integrated Master in Architecture of ISCTE-Lisbon University Institute had as main goal the recognition of the urban changes of Bafatá and the designing of an ephemeral structure with the purpose of preserving and showing Cabral’s life and thoughts. Bafatá’s centre is strongly marked by the Portuguese colonial presence, visible in the urban design, and in the several layers of architecture that qualify the city. It is around the boulevard, which articulates, in the Northeast/Southwest direction, the main entrance in town with the river Geba, that the blocks layout was organized (the hospital, the school, the governor house, the church, the post-office, the neo-Arab municipal market, and a badly damaged small pool complex from the 60s, are the most remarkable buildings). The house, where supposedly Amílcar Cabral was born, is integrated in this nucleus. Nowadays, the atmosphere of the formal city contrasts with a huge and informal periphery surrounding this nuclear settlement. The difference between these two realities is very sharp, while the city centre of Bafatá remains sparsely populated and depressed, the big dimension of the periphery conveyed housing and the main commercial activities. The discourse of multiculturalism and ethnical unifying enunciated by Amílcar Cabral since the early 50s - particularly meaningful in this period of politic instability in Guinea-Bissau - was taken as a fundamental argument for territorial development of Bafatá in the designs by the groups of students.info:eu-repo/semantics/publishedVersio

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other

Effective action in DSR1 quantum field theory

We present the one-loop effective action of a quantum scalar field with DSR1 space-time symmetry as a sum over field modes. The effective action has real and imaginary parts and manifest charge conjugation asymmetry, which provides an alternative theoretical setting to the study of the particle-antiparticle asymmetry in nature.Comment: 8 page

Population Genetic Structure and Species Delimitation of a Widespread, Neotropical Dwarf Gecko

Amazonia harbors the greatest biological diversity on Earth. One trend that spans Amazonian taxa is that most taxonomic groups either exhibit broad geographic ranges or small restricted ranges. This is likely because many traits that determine a species range size, such as dispersal ability or body size, are autocorrelated. As such, it is rare to find groups that exhibit both large and small ranges. Once identified, however, these groups provide a powerful system for isolating specific traits that influence species distributions. One group of terrestrial vertebrates, gecko lizards, tends to exhibit small geographic ranges. Despite one exception, this applies to the Neotropical dwarf geckos of the genus Gonatodes. This exception, Gonatodes humeralis, has a geographic distribution almost 1,000,000 km2 larger than the combined ranges of its 30 congeners. As the smallest member of its genus and a gecko lizard more generally, G. humeralis is an unlikely candidate to be a wide-ranged Amazonian taxon. To test whether or not G. humeralis is one or more species, we generated molecular genetic data using restriction-site associated sequencing (RADseq) and traditional Sanger methods for samples from across its range and conducted a phylogeographic study. We conclude that G. humeralis is, in fact, a single species across its contiguous range in South America. Thus, Gonatodes is a unique clade among Neotropical taxa, containing both wide-ranged and range-restricted taxa, which provides empiricists with a powerful model system to correlate complex species traits and distributions. Additionally, we provide evidence to support species-level divergence of the allopatric population from Trinidad and we resurrect the name Gonatodes ferrugineus from synonymy for this population