ENERGY AND VOLUME OF VECTOR FIELDS ON SPHERICAL DOMAINS

We present a "boundary version" for theorems about minimality of volume and energy functionals on a spherical domain of an odd-dimensional Euclidean sphere.

Complete fusion enhancement and suppression of weakly bound nuclei at near barrier energies

We consider the influence of breakup channels on the complete fusion of weakly bound systems in terms of dynamic polarization potentials. It is argued that the enhancement of the cross section at sub-barrier energies may be consistent with recent experimental observations that nucleon transfer, often leading to breakup, is dominant compared to direct breakup. The main trends of the experimental complete fusion cross sections are analyzed in the framework of the DPP approach. The qualitative conclusions are supported by CDCC calculations including a sequential breakup channel, the one neutron stripping of Li-7 followed by the breakup of Li-6.

Forward-angle incoherent photoproduction of pseudoscalar mesons off nuclei

The mechanism of forward angle incoherent photoproduction of pseudoscalar mesons off nuclei is revisited via the time-dependent multicollisional Monte Carlo (MCMC) intranuclear cascade model. Our results-combined with recent developments to address coherent photoproduction-reproduce with good accuracy recent JLab data of pi(0) photoproduction from carbon and lead at an average photon energy k similar to 5.2 GeV. For the case of. photoproduction, our results for k = 9 GeV suggest that future measurements to extract the eta ->gamma gamma decay width via the Primakoff method should be focused on light nuclei, where the disentanglement between the Coulomb and strong amplitudes is more easily achieved. The prospects to use heavy nuclei data to access the unknown eta N cross section in cold nuclear matter are also presented.

Germline-Specific MATH-BTB Substrate Adaptor MAB1 Regulates Spindle Length and Nuclei Identity in Maize

Germline and early embryo development constitute ideal model systems to study the establishment of polarity, cell identity, and asymmetric cell divisions (ACDs) in plants. We describe here the function of the MATH-BTB domain protein MAB1 that is exclusively expressed in the germ lineages and the zygote of maize (Zea mays). mab1 (RNA interference [RNAi]) mutant plants display chromosome segregation defects and short spindles during meiosis that cause insufficient separation and migration of nuclei. After the meiosis-to-mitosis transition, two attached nuclei of similar identity are formed in mab1 (RNAi) mutants leading to an arrest of further germline development. Transient expression studies of MAB1 in tobacco (Nicotiana tabacum) Bright Yellow-2 cells revealed a cell cycle-dependent nuclear localization pattern but no direct colocalization with the spindle apparatus. MAB1 is able to form homodimers and interacts with the E3 ubiquitin ligase component Cullin 3a (CUL3a) in the cytoplasm, likely as a substrate-specific adapter protein. The microtubule-severing subunit p60 of katanin was identified as a candidate substrate for MAB1, suggesting that MAB1 resembles the animal key ACD regulator Maternal Effect Lethal 26 (MEL-26). In summary, our findings provide further evidence for the importance of posttranslational regulation for asymmetric divisions and germline progression in plants and identified an unstable key protein that seems to be involved in regulating the stability of a spindle apparatus regulator(s).

delta-Superderivations of Semisimple Finite-Dimensional Jordan Superalgebras

In the paper, a complete description of the delta-derivations and the delta-superderivations of semisimple finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic p not equal 2 is given. In particular, new examples of nontrivial (1/2)-derivations and odd (1/2)-superderivations are given that are not operators of right multiplication by an element of the superalgebra.

Chiral HPLC analysis of donepezil, 5-O-desmethyl donepezil and 6-O-desmethyl donepezil in culture medium: application to fungal biotransformation studies

An high performance liquid chromatography (HPLC) method for the enantioselective determination of donepezil (DPZ), 5-O-desmethyl donepezil (5-ODD), and 6-O-desmethyl donepezil (6-ODD) in Czapek culture medium to be applied to biotransformation studies with fungi is described for the first time. The HPLC analysis was carried out using a Chiralpak AD-H column with hexane/ethanol/methanol (75:20:5, v/v/v) plus 0.3 % triethylamine as mobile phase and UV detection at 270 nm. Sample preparation was carried out by liquid-liquid extraction using ethyl acetate as extractor solvent. The method was linear over the concentration range of 100-10,000 ng mL(-1) for each enantiomer of DPZ (r a parts per thousand yenaEuro parts per thousand 0.9985) and of 100-5,000 ng mL(-1) for each enantiomer of 5-ODD (r a parts per thousand yenaEuro parts per thousand 0.9977) and 6-ODD (r a parts per thousand yenaEuro parts per thousand 0.9951). Within-day and between-day precision and accuracy evaluated by relative standard deviations and relative errors, respectively, were lower than 15 % for all analytes. The validated method was used to assess DPZ biotransformation by the fungi Beauveria bassiana American Type Culture Collection (ATCC) 7159 and Cunninghamella elegans ATCC 10028B. Using the fungus B. bassiana ATCC 7159, a predominant formation of (R)-5-ODD was observed while for the fungus C. elegans ATCC 10028B, DPZ was biotransformed to (R)-6-ODD with an enantiomeric excess of 100 %.

Magnetic Barkhausen emission in lightly deformed AISI 1070 steel

The Magnetic Barkhausen Noise (MBN) technique can evaluate both micro- and macro-residual stresses, and provides indication about the relevance of contribution of these different stress components. MBN measurements were performed in AISI 1070 steel sheet samples, where different strains were applied. The Barkhausen emission is also analyzed when two different sheets, deformed and non-deformed, are evaluated together. This study is useful to understand the effect of a deformed region near the surface on MBN. The low permeability of the deformed region affects MBN, and if the deformed region is below the surface the magnetic Barkhausen signal increases. (C) 2011 Elsevier B.V. All rights reserved.

Panic-like defensive behavior but not fear-induced antinociception is differently organized by dorsomedial and posterior hypothalamic nuclei of Rattus norvegicus (Rodentia, Muridae)

The hypothalamus is a forebrain structure critically involved in the organization of defensive responses to aversive stimuli. Gamma-aminobutyric acid (GABA)ergic dysfunction in dorsomedial and posterior hypothalamic nuclei is implicated in the origin of panic-like defensive behavior, as well as in pain modulation. The present study was conducted to test the difference between these two hypothalamic nuclei regarding defensive and antinociceptive mechanisms. Thus, the GABA A antagonist bicuculline (40 ng/0.2 µL) or saline (0.9% NaCl) was microinjected into the dorsomedial or posterior hypothalamus in independent groups. Innate fear-induced responses characterized by defensive attention, defensive immobility and elaborate escape behavior were evoked by hypothalamic blockade of GABA A receptors. Fear-induced defensive behavior organized by the posterior hypothalamus was more intense than that organized by dorsomedial hypothalamic nuclei. Escape behavior elicited by GABA A receptor blockade in both the dorsomedial and posterior hypothalamus was followed by an increase in nociceptive threshold. Interestingly, there was no difference in the intensity or in the duration of fear-induced antinociception shown by each hypothalamic division presently investigated. The present study showed that GABAergic dysfunction in nuclei of both the dorsomedial and posterior hypothalamus elicit panic attack-like defensive responses followed by fear-induced antinociception, although the innate fear-induced behavior originates differently in the posterior hypothalamus in comparison to the activity of medial hypothalamic subdivisions.

Figures of equilibrium for tidally deformed non-homogeneous celestial bodies

Abstract (2,250 Maximum Characters): Several theories of tidal evolution, since the theory developed by Darwin in the XIX century, are based on the figure of equilibrium of the tidally deformed body. Frequently the adopted figure is a Jeans prolate spheroid. In some case, however, the rotation is important and Roche ellipsoids are used. The main limitations of these models are (a) they refer to homogeneous bodies; (b) the rotation axis is perpendicular to the plane of the orbit. This communication aims at presenting several results in which these hypotheses are not done. In what concerns the non-homogeneity, the presented results concerns initially bodies formed by N homogeneous layers and we study the non sphericity of each layer and relate them to the density distribution. The result is similar to the Clairaut figure of equilibrium, often used in planetary sciences, but taking into full account the tidal deformation. The case of the rotation axis non perpendicular to the orbital plane is much more complex and the study has been restricted for the moment to the case of homogeneous bodies.

Multiple Island Chains in Primary Resonances.

We analyse the dynamics of a relativistic particle moving in a uniform magnetic field and perturbed by a stationary electrostatic wave. We show that a pulsed wave produces an infinite number of perturbing terms with the same winding number. The perturbation coupling alters the number of island chains as a function of the parameters of the wave. We also observe that the number of chains in is always even if the number of islands in each chain is odd.

Resonant States in Negative Ions

Resonant states are multiply excited states in atoms and ions that have enough energy to decay by emitting an electron. The ability to emit an electron and the strong electron correlation (which is extra strong in negative ions) makes these states both interesting and challenging from a theoretical point of view. The main contribution in this thesis is a method, which combines the use of B splines and complex rotation, to solve the three-electron Schrödinger equation treating all three electrons equally. It is used to calculate doubly excited and triply excited states of 4S symmetry with even parity in He-. For the doubly excited states there are experimental and theoretical data to compare with. For the triply excited states there is only theoretical data available and only for one of the resonances. The agreement is in general good. For the triply excited state there is a significant and interesting difference in the width between our calculation and another method. A cause for this deviation is suggested. The method is also used to find a resonant state of 4S symmetry with odd parity in H2-. This state, in this extremely negative system, has been predicted by two earlier calculations but is highly controversial. Several other studies presented here focus on two-electron systems. In one, the effect of the splitting of the degenerate H(n=2) thresholds in H-, on the resonant states converging to this threshold, is studied. If a completely degenerate threshold is assumed an infinite series of states is expected to converge to the threshold. Here states of 1P symmetry and odd parity are examined, and it is found that the relativistic and radiative splitting of the threshold causes the series to end after only three resonant states. Since the independent particle model completely fails for doubly excited states, several schemes of alternative quantum numbers have been suggested. We investigate the so called DESB (Doubly Excited Symmetry Basis) quantum numbers in several calculations. For the doubly excited states of He- mentioned above we investigate one resonance and find that it cannot be assigned DESB quantum numbers unambiguously. We also investigate these quantum numbers for states of 1S even parity in He. We find two types of mixing of DESB states in the doubly excited states calculated. We also show that the amount of mixing of DESB quantum numbers can be inferred from the value of the cosine of the inter-electronic angle. In a study on Li- the calculated cosine values are used to identify doubly excited states measured in a photodetachment experiment. In particular a resonant state that violates a propensity rule is found.

Microstructure, growth and remodeling of the non-deformed and deformed vertebrae of the Red Porgy (Pagrus pagrus)

Máster Oficial en Cultivos Marinos. VI Máster Internacional en Acuicultura. Trabajo presentado como requisito parcial para la obtención del Título de Máster Oficial en Cultivos Marinos, otorgado por la Universidad de Las Palmas de Gran Canaria (ULPGC), el Instituto Canario de Ciencias Marinas (ICCM), y el Centro Internacional de Altos Estudios Agronómicos Mediterráneos de Zaragoza (CIHEAM)

Diencephalic asymmetries: morphological, immunohistochemical and ultrastructural analysis of habenular nuclei in elasmobranchs and teleosts

The habenular nuclei are diencephalic structures present in Vertebrates and they form, with the associated fiber systems, a part of the system that connects the telencephalon to the ventral mesencephalon (Concha M. L. and Wilson S. W., 2001). In representative species of almost all classes of Vertebrates the habenular nuclei are asymmetric, both in terms of size and of neuronal and neurochemical organization, although different types of asymmetry follow different evolutionary courses. Previous studies have analyzed the spread and diversity of the asymmetry in species for which data are not clear (Kemali M. et al., 1980). Notwithstanding that, it’s still not totally understood the evolution of the phenomenon, and the ontogenetic mechanisms that have led to the habenular asymmetry development are not clear (Smeets W.J. et al., 1983). For the present study 14 species of Elasmobranchs and 15 species of Teleostean have been used. Brains removed from the animals have been fixed using 4% paraformaldehyde in phosphate buffer; brains have been analyzed with different tecniques, and I used histological, immunohistochemical and ultrastructural analysis to describe this asymmetry. My results confirm data previously obtained studying other Elasmobranchs species, in which the left habenula is larger than the right one; the Teleostean show some slightly differences regarding the size of the habenular ganglia, in some species, in which the left habenular nucleus is larger than the right. In the course of studies, a correlation between the habits of life and the diencephalic asymmetry seems to emerge: among the Teleostean analyzed, the species with benthic life (like Lepidorhombus boscii, Platichthys flesus, Solea vulgaris) seem to possess a slight asymmetry, analogous to the one of the Elasmobranchs, while in the other species (like Liza aurata, Anguilla anguilla, Trisopterus minutus) the habenulae are symmetrical. However, various aspects of the neuroanatomical asymmetries of the epithalamus have not been deepened in order to obtain a complete picture of the evolution of this phenomenon, and new searches are needed to examine the species without clear asymmetry, in order to understand the spread and the diversity of the asymmetry among the habenulae between the Vertebrates.

Improvements in the experimentation and the representation of thermodynamic properties (iso-p VLE and y) of alkyl propanoate+alkane binaries

[EN]This paper presents the experimental measurements of isobaric vapor−liquid equilibria (iso-p VLE) and excess volumes (vE) at several temperatures in the interval (288.15 to 328.15) K for six binary systems composed of two alkyl (methyl, ethyl) propanoates and three odd carbon alkanes (C5 to C9). The mixing processes were expansive, vE > 0, with (δvE/δT)p > 0, and endothermic. The installation used to measure the iso-p VLE was improved by controlling three of the variables involved in the experimentation with a PC.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.