Orthogonal models, structure crossing, nesting and inference

We intend to study the algebraic structure of the simple orthogonal models to use them, through binary operations as building blocks in the construction of more complex orthogonal models. We start by presenting some matrix results considering Commutative Jordan Algebras of symmetric matrices, CJAs. Next, we use these results to study the algebraic structure of orthogonal models, obtained by crossing and nesting simpler ones. Then, we study the normal models with OBS, which can also be orthogonal models. We intend to study normal models with OBS (Orthogonal Block Structure), NOBS (Normal Orthogonal Block Structure), obtaining condition for having complete and suffcient statistics, having UMVUE, is unbiased estimators with minimal covariance matrices whatever the variance components. Lastly, see ([Pereira et al. (2014)]), we study the algebraic structure of orthogonal models, mixed models whose variance covariance matrices are all positive semi definite, linear combinations of known orthogonal pairwise orthogonal projection matrices, OPOPM, and whose least square estimators, LSE, of estimable vectors are best linear unbiased estimator, BLUE, whatever the variance components, so they are uniformly BLUE, UBLUE. From the results of the algebraic structure we will get explicit expressions for the LSE of these models.

Search for heavy Majorana neutrinos with the ATLAS detector in pp collisions at s√=8 TeV

A search for heavy Majorana neutrinos in events containing a pair of high-pT leptons of the same charge and high-pT jets is presented. The search uses 20.3fb−1 of pp collision data collected with the ATLAS detector at the CERN Large Hadron Collider with a centre-of-mass energy of s√=8 TeV. The data are found to be consistent with the background-only hypothesis based on the Standard Model expectation. In the context of a Type-I seesaw mechanism, limits are set on the production cross-section times branching ratio for production of heavy Majorana neutrinos in the mass range between 100 and 500 GeV. The limits are subsequently interpreted as limits on the mixing between the heavy Majorana neutrinos and the Standard Model neutrinos. In the context of a left-right symmetric model, limits on the production cross-section times branching ratio are set with respect to the masses of heavy Majorana neutrinos and heavy gauge bosons WR and Z′.

Local non-negative initial data scalar characterization of the Kerr solution

For any vacuum initial data set, we define a local, non-negative scalar quantity which vanishes at every point of the data hypersurface if and only if the data are Kerr initial data. Our scalar quantity only depends on the quantities used to construct the vacuum initial data set which are the Riemannian metric defined on the initial data hypersurface and a symmetric tensor which plays the role of the second fundamental form of the embedded initial data hypersurface. The dependency is algorithmic in the sense that given the initial data one can compute the scalar quantity by algebraic and differential manipulations, being thus suitable for an implementation in a numerical code. The scalar could also be useful in studies of the non-linear stability of the Kerr solution because it serves to measure the deviation of a vacuum initial data set from the Kerr initial data in a local and algorithmic way.

On the temperature dependence of the absorption cross section for black holes in string theory

We study the low frequency absorption cross section of spherically symmetric nonextremal d-dimensional black holes. In the presence of α′ corrections, this quantity must have an explicit dependence on the Hawking temperature of the form 1/TH. This property of the low frequency absorption cross section is shared by the D1-D5 system from type IIB superstring theory already at the classical level, without α′ corrections. We apply our formula to the simplest example, the classical d-dimensional Reissner-Nordstr¨om solution, checking that the obtained formula for the cross section has a smooth extremal limit. We also apply it for a d-dimensional Tangherlini-like solution with α′3 corrections.

Evolution of the gene regulatory network controlling flower dorsoventral asymmetry

Tese de Doutoramento em Biologia de Plantas.

Behavior-based price discrimination in a multi-dimensional preferences market

NIPE WP 04/ 2016

Feasibility of internally stiffened thin-walled beams for industrial applications

Several types of internally reinforced thin-walled beams are subjected to a feasibility evaluation of its mechanical behavior for industrial applications. The adapting of already existing efficient sandwich geometries to hollow-box beams of larger dimensions may reveal promising results. Novel types of sandwich beams under bending and torsion uncoupled loadings are studied in terms of stiffness behavior in static analysis. For the analysis of the solutions, the models are built using the Finite Element Method (FEM) software ANSYS Mechanical APDL. The feasibility of the novel beams was determined by the comparison of the stiffness behavior of the novel hollow-box beams with conventional hollow-box beams. An efficiency parameter was defined in order to determine the feasibility. It is found that the novel geometries represent an excellent improvement under bending loadings, better than under torsion loadings. Nevertheless, for bending and torsion combined loadings, if bending loads are predominant, the beams can still be interesting for some applications, in particular those with mobile parts.

Aceleración de Algoritmos en Procesadores Multicore, GPGPU y FPGA. Algorithm Acceleration with Multicore, GPGPU and FPGA Processors.

El avance en la potencia de cómputo en nuestros días viene dado por la paralelización del procesamiento, dadas las características que disponen las nuevas arquitecturas de hardware. Utilizar convenientemente este hardware impacta en la aceleración de los algoritmos en ejecución (programas). Sin embargo, convertir de forma adecuada el algoritmo en su forma paralela es complejo, y a su vez, esta forma, es específica para cada tipo de hardware paralelo. En la actualidad los procesadores de uso general más comunes son los multicore, procesadores paralelos, también denominados Symmetric Multi-Processors (SMP). Hoy en día es difícil hallar un procesador para computadoras de escritorio que no tengan algún tipo de paralelismo del caracterizado por los SMP, siendo la tendencia de desarrollo, que cada día nos encontremos con procesadores con mayor numero de cores disponibles. Por otro lado, los dispositivos de procesamiento de video (Graphics Processor Units - GPU), a su vez, han ido desarrollando su potencia de cómputo por medio de disponer de múltiples unidades de procesamiento dentro de su composición electrónica, a tal punto que en la actualidad no es difícil encontrar placas de GPU con capacidad de 200 a 400 hilos de procesamiento paralelo. Estos procesadores son muy veloces y específicos para la tarea que fueron desarrollados, principalmente el procesamiento de video. Sin embargo, como este tipo de procesadores tiene muchos puntos en común con el procesamiento científico, estos dispositivos han ido reorientándose con el nombre de General Processing Graphics Processor Unit (GPGPU). A diferencia de los procesadores SMP señalados anteriormente, las GPGPU no son de propósito general y tienen sus complicaciones para uso general debido al límite en la cantidad de memoria que cada placa puede disponer y al tipo de procesamiento paralelo que debe realizar para poder ser productiva su utilización. Los dispositivos de lógica programable, FPGA, son dispositivos capaces de realizar grandes cantidades de operaciones en paralelo, por lo que pueden ser usados para la implementación de algoritmos específicos, aprovechando el paralelismo que estas ofrecen. Su inconveniente viene derivado de la complejidad para la programación y el testing del algoritmo instanciado en el dispositivo. Ante esta diversidad de procesadores paralelos, el objetivo de nuestro trabajo está enfocado en analizar las características especificas que cada uno de estos tienen, y su impacto en la estructura de los algoritmos para que su utilización pueda obtener rendimientos de procesamiento acordes al número de recursos utilizados y combinarlos de forma tal que su complementación sea benéfica. Específicamente, partiendo desde las características del hardware, determinar las propiedades que el algoritmo paralelo debe tener para poder ser acelerado. Las características de los algoritmos paralelos determinará a su vez cuál de estos nuevos tipos de hardware son los mas adecuados para su instanciación. En particular serán tenidos en cuenta el nivel de dependencia de datos, la necesidad de realizar sincronizaciones durante el procesamiento paralelo, el tamaño de datos a procesar y la complejidad de la programación paralela en cada tipo de hardware. Today´s advances in high-performance computing are driven by parallel processing capabilities of available hardware architectures. These architectures enable the acceleration of algorithms when thes ealgorithms are properly parallelized and exploit the specific processing power of the underneath architecture. Most current processors are targeted for general pruposes and integrate several processor cores on a single chip, resulting in what is known as a Symmetric Multiprocessing (SMP) unit. Nowadays even desktop computers make use of multicore processors. Meanwhile, the industry trend is to increase the number of integrated rocessor cores as technology matures. On the other hand, Graphics Processor Units (GPU), originally designed to handle only video processing, have emerged as interesting alternatives to implement algorithm acceleration. Current available GPUs are able to implement from 200 to 400 threads for parallel processing. Scientific computing can be implemented in these hardware thanks to the programability of new GPUs that have been denoted as General Processing Graphics Processor Units (GPGPU).However, GPGPU offer little memory with respect to that available for general-prupose processors; thus, the implementation of algorithms need to be addressed carefully. Finally, Field Programmable Gate Arrays (FPGA) are programmable devices which can implement hardware logic with low latency, high parallelism and deep pipelines. Thes devices can be used to implement specific algorithms that need to run at very high speeds. However, their programmability is harder that software approaches and debugging is typically time-consuming. In this context where several alternatives for speeding up algorithms are available, our work aims at determining the main features of thes architectures and developing the required know-how to accelerate algorithm execution on them. We look at identifying those algorithms that may fit better on a given architecture as well as compleme

Estudos citológicos em Hemíoteros da família Coreidae

A more or less detailed study of the spermatogenesis in six species of Hemiptera belonging to the Coreid Family is made in the present paper. The species studied and their respective chromosome numbers were: 1) Diactor bilineatus (Fabr.) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationaliv in the first division and passing undivided to one pole in the second. 2) Lcptoglossus gonagra (Fabr.) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationally in the first division and passing undivided to one pole in the second. 3) Phthia picta (Drury) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationally in the first division and passing undivided to one pole in the second. 4) Anisocelis foliacea Fabr. : spermatogonia with 26 + X fthe highest mumber hitherto known in the Family), primary .spermatocytes with 13 + X, X dividing equationally in the first division an passing undivided to one pole in the second. 5) Pachylis pharaonis (Herbtst) : spermatogonia with 16 + X, primary spermatocytes with 8 + X. Behaviour of the heteroehromosome not referred. 6) Pachylis laticornis (Fabr.) : spermatogonia with 14 + X, primary spermatocytes with 7 + X, X passing undivided to one pole in the first division and therefore secondary spermatocytes with 7 + X and 7 chromosomes. General results and conclusions a) Pairing modus of the chromosomes (Telosynapsis or Farasynapsis ?) - In several species of the Coreld bugs the history of the chromosomes from the diffuse stage till diakinesis cannot be follewed in detail due specially to the fact that lhe bivalents, as soon as they begin to be individually distinct they appear as irregular and extremely lax chromatic areas, which through an obscure process give rise to the diakinesis and then to the metaphase chomosomes. Fortunately I was able to analyse the genesis of the cross-shaped chromosomes, becoming thus convinced that even in the less favorable cases like that of Phthia, in which the crosses develop from four small condensation areas of the diffuse chromosomes, nothing in the process permit to interpret the final results as being due to a previous telosynaptic pairing. In the case of long bivalents formed by two parallel strands intimately united at both endsegments and more or less widely open in the middle (Leptoglossus, Pachylis), I could see that the lateral arms of the crosses originate from condensation centers created by a torsion or bending in the unpaired parts of the chromosomes In the relatively short bivalents the lateral branches of the cross are formed in the middle but in the long ones, whose median opening is sometimes considerable, two asymetrical branches or even two independent crosses may develop in the same pair. These observations put away the idea of an end-to-end pairing of the chromosomes, since if it had occured the lateral arms of the crosses would always be symetrical and median and never more than two. The direct observation of a side- toside pairing of the chromosomal threads at synizesis, is in foil agreement with the complete lack of evidence in favour of telosynapsis. b) Anaphasic bridges and interzonal connections - The chromosomes as they separate from each other in anaphase they remain connected by means of two lateral strands corresponding to the unpaired segmenas observed in the bivalents at the stages preceding metaphase. In the early anaphase the chromosomes again reproduce the form they had in late diafcinesis. The connecting threads which may be thick and intensely coloured are generally curved and sometimes unequal in lenght, one being much longer than the other and forming a loop outwardly. This fact points to a continuous flow of chromosomal substance independently from both chromosomes of the pair rather than to a mechanical stretching of a sticky substance. At the end of anaphase almost all the material which formed the bridges is reduced to two small cones from whose vertices a very fine and pale fibril takes its origin. The interzonal fibres, therefore, may be considered as the remnant of the anaphasic bridges. Abnormal behaviour of the anaphase chromosomes showed to be useful in aiding the interpretation of normal aspects. It has been suggested by Schrader (1944) "that the interzonal is nothing more than a sticky coating of the chromosome which is stretched like mucilage between the daughter chromosomes as they move further and further apart". The paired chromosomes being enclosed in a commom sheath, as they separate they give origin to a tube which becomes more and more stretched. Later the walls of the tube collapse forming in this manner an interzonal element. My observations, however, do not confirm Schrader's tubular theory of interzonal connections. In the aspects seen at anaphase of the primary spermatocytes and described in this paper as chromosomal bridges nothing suggests a tubular structure. There is no doubt that the chromosomes are here connected by two independent strands in the first division of the spermatocytes and by a single one in the second. The manner in which the chromosomes separate supports the idea of transverse divion, leaving little place for another interpretation. c) Ptafanoeomc and chromatoid bodies - The colourabtlity of the plasmosome in Diactor and Anisocelis showed to be highly variable. In the latter species, one may find in the same cyst nuclei provided with two intensely coloured bodies, the larger of which being the plasmosome, sided by those in which only the heterochromosome took the colour. In the former one the plasmosome strongly coloured seen in the primary metaphase may easily be taken for a supernumerary chromosome. At anaphase this body stays motionless in the equator of the cell while the chromosomes are moving toward the poles. There, when intensely coloured ,it may be confused with the heterochromosome of the secondary spermatocytes, which frequently occupies identical position in the corresponding phase, thus causing missinterpretation. In its place the plasmosome may divide into two equal parts or pass undivided to one cell in whose cytoplasm it breaks down giving rise to a few corpuscles of unequal sizes. In Pachylis pharaonis, as soon as the nuclear membrane breate down, the plasmosome migrates to a place in the periphery of the cell (primary spermatocyte), forming there a large chromatoid body. This body is never found in the cytoplasm prior to the dissolution of the nuclear membrane. It is certain that chromatoid bodies of different origin do exist. Here, however, we are dealing, undoubtedly, with true plasmosomes. d) Movement of the heterochromosome - The heterochromosome in the metaphase of the secondary spermatocytes may occupy the most different places. At the time the autosomes prient themselves in the equatorial plane it may be found some distance apart in this plane or in any other plane and even in the subpolar and polar regions. It remains in its place during anaphase. Therefore, it may appear at the same level with the components of one of the anaphase plates (synchronism), between both plates (succession) or between one plate and tbe pole (precession), what depends upon the moment the cell was fixed. This does not mean that the heterochromosome sometimes moves as quickly as the autosomes, sometimes more rapidly and sometimes less. It implies, on the contrary, that, being anywhere in the cell, the heterochromosome m he attained and passed by the autosomes. In spite of being almost motionless the heterochromosome finishes by being enclosed in one of the resulting nuclei. Consequently, it does move rapidly toward the group formed by the autosomes a little before anaphase is ended. This may be understood assuming that the heterochromosome, which do not divide, having almost inactive kinetochore cannot orient itself, giving from wherever it stays, only a weak response to the polar influences. When in the equator it probably do not perform any movement in virtue of receiving equal solicitation from both poles. When in any other plane, despite the greater influence of the nearer pole, the influence of the opposite pole would permit only so a slow movement that the autosomes would soon reach it and then leave it behind. It is only when the cell begins to divide that the heterochromosome, passing to one of the daughter cells scapes the influence of the other and thence goes quickly to join the autosomes, being enclosed with them in the nucleus formed there. The exceptions observed by BORING (1907) together with ; the facts described here must represent the normal behavior of the heterocromosome of the Hemiptera, the greater frequency of succession being the consequence of the more frequent localization of the heterochromosome in the equatorial plane or in its near and of the anaphase rapidity. Due to its position in metaphase the heterochromosome in early anaphase may be found in precession. In late anaphase, oh the contrary ,it appears almost always in succession. This is attributed to the fact of the heterochromosome being ordinairily localized outside the spindle area it leaves the way free to the anaphasic plate moving toward the pole. Moreover, the heterochromosome being a round element approximately of the size of the autosomes, which are equally round or a little longer in the direction of the movement, it can be passed by the autosomes even when it stands in the area of the spindle, specially if it is not too far from the equatorial plane. e) The kinetochore - This question has been fully discussed in another paper (PIZA 1943a). The facts treated here point to the conclusion that the chromosomes of the Coreidae, like those of Tityus bahiensis, are provided with a kinetochore at each end, as was already admitted by the present writer with regard to the heterochromosome of Protenor. Indeed, taking ipr granted the facts presented in this paper, other cannot be the interpretation. However, the reasons by which the chromosomes of the species studied here do not orient themselves at metaphase of the first division in the same way as the heterochromosome of Protenor, that is, with the major axis parallelly to the equatorial plane, are claiming for explanation. But, admiting that the proximity of the kinetochores at the ends of chromosomes which do not separate until the second division making them respond to the poles as if they were a single kinetochore ,the explanation follows. (See PIZA 1943a). The median opening of the diplonemas when they are going to the diffuse stage as well as the reappearance of the bivalents always united at the end-segments and open in the middle is in full agreement with the existence of two terminal kinetochores. The same can be said with regard to the bivalents which join their extremities to form a ring.

Morphology and dynamics of male gametogenesis in Sympterygia bonapartii (Chondrichthyes, Rajidae) from Northern Patagonia

ABSTRACT The smallnose fanskate, Sympterygia bonapartii Müller & Henle, 1841 is one of the most disembarked items in commercial harbors in Argentina. In this work, the microscopic architecture of mature male gonads and the dynamics of cysts development are analyzed as a contribution to awareness of the reproductive biology of the species. Some biological data related to reproduction are given as well. Two seasons were sampled (fall and spring) and length classes's frequency distribution and maturity stages frequency distribution are given. Size at first sexual maturation for males was estimated at 57 cm of total length. Testes are symmetric, peer, lobed, with several germinal zones. Inside the gonads, there are many spermatocysts, containing reproductive cells at the same developmental stage. On the basis of their cytological and microanatomical features, several maturative degrees of the spermatogenic series were differentiated. Few Leydig cells were recognized at the interstitial tissue among cysts. The microscopic and semiquantitative analysis performed in this work provides morphological information about male gametogenesis and some biological data for the North Patagonian population of this economically and ecologically important species.

The orthogonal subcategory problem in homotopy theory

It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is equivalent to a large-cardinal axiom from set theory. One proves similarly, on one hand, that homotopy localization exists with respect to sets of maps in every cofibrantly generated, left proper, simplicial model category M whose underlying category is locally presentable. On the other hand, as we show in this article, the existence of localization with respect to possibly proper classes of maps in a model category M satisfying the above assumptions is implied by a large-cardinal axiom called Vopënka's principle, although we do not know if the reverse implication holds. We also show that, under the same assumptions on M, every endofunctor of M that is idempotent up to homotopy is equivalent to localization with respect to some class S of maps, and if Vopënka's principle holds then S can be chosen to be a set. There are examples showing that the latter need not be true if M is not cofibrantly generated. The above assumptions on M are satisfied by simplicial sets and symmetric spectra over simplicial sets, among many other model categories.

Periodic orbits of the planar collision restricted 3-body problem

Using the continuation method we prove that the circular and the elliptic symmetric periodic orbits of the planar rotating Kepler problem can be continued into periodic orbits of the planar collision restricted 3–body problem. Additionally, we also continue to this restricted problem the so called “comets orbits”.

Computational explorations in Thompson's group F

Here we describe the results of some computational explorations in Thompson's group F. We describe experiments to estimate the cogrowth of F with respect to its standard finite generating set, designed to address the subtle and difficult question whether or not Thompson's group is amenable. We also describe experiments to estimate the exponential growth rate of F and the rate of escape of symmetric random walks with respect to the standard generating set.

Combinatorial and metric properties of Thompson's group T

We discuss metric and combinatorial properties of Thompson's group T, such as the normal forms for elements and uniqueness of tree pair diagrams. We relate these properties to those of Thompson's group F when possible, and highlight combinatorial differences between the two groups. We define a set of unique normal forms for elements of T arising from minimal factorizations of elements into convenient pieces. We show that the number of carets in a reduced representative of T estimates the word length, that F is undistorted in T, and that cyclic subgroups of T are undistorted. We show that every element of T has a power which is conjugate to an element of F and describe how to recognize torsion elements in T.

Tacit collusion and capacity withholding in repeated uniform price auctions

This paper contributes to the study of tacit collusion by analyzing infinitely repeated multiunit uniform price auctions in a symmetric oligopoly with capacity constrained firms. Under both the Market Clearing and Maximum Accepted Price rules of determining the uniform price, we show that when each firm sets a price-quantity pair specifying the firm's minimum acceptable price and the maximum quantity the firm is willing to sell at this price, there exists a range of discount factors for which the monopoly outcome with equal sharing is sustainable in the uniform price auction, but not in the corresponding discriminatory auction. Moreover, capacity withholding may be necessary to sustain this out-come. We extend these results to the case where firms may set bids that are arbitrary step functions of price-quantity pairs with any finite number of price steps. Surprisingly, under the Maximum Accepted Price rule, firms need employ no more than two price steps to minimize the value of the discount factor