Ciencias

2009

1. A hierarchical methodology to specify and simulate complex computational systems

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. A new and efficient synthetic approach to dichlorofluoflavines. Study of the stability of isomeric fluoflavines by HF and B3LYP procedures

   Tetrahedron, Vol. 65, Núm. 11, pp. 2254-2259

3. A new selective chromogenic and turn-on fluorogenic probe for copper(ll) in water-acetonitrile 1:1 solution

   Organic Letters, Vol. 11, Núm. 6, pp. 1269-1272

4. A role for DNA polymerase μ in the emerging DJH rearrangements of the postgastrulation mouse embryo

   Molecular and Cellular Biology, Vol. 29, Núm. 5, pp. 1266-1275

5. A weak link in metabolism: the metabolic capacity for glycine biosynthesis does not satisfy the need for collagen synthesis

   Journal of Biosciences, Vol. 34, Núm. 6, pp. 853-872

6. Accumulation of ubiquitin conjugates in a polyglutamine disease model occurs without global ubiquitin/proteasome system impairment

   Proceedings of the National Academy of Sciences of the United States of America, Vol. 106, Núm. 33, pp. 13986-13991

7. Advantages of mutation in passive testing: An empirical study

   IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

8. An approach to software project scheduling using personal software process and soft computing techniques

   Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009

9. Analysis of the OLSR protocol by using formal passive testing

   Proceedings - Asia-Pacific Software Engineering Conference, APSEC

10. Analyzing the metrics of the perceptual space in a new multistage physiological colour vision model

    Color Research and Application, Vol. 34, Núm. 5, pp. 359-366

11. Anammox for ammonia removal from pig manure effluents: Effect of organic matter content on process performance

    Bioresource Technology, Vol. 100, Núm. 7, pp. 2171-2175

12. Applying formal passive testing to study temporal properties of the stream control transmission protocol

    SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

13. Aprendizaje colaborativo en el ámbito internacional

    Investigación educativa e innovación docente en el proceso de convergencia europea (Prensas de la Universidad de Zaragoza), pp. 77-77

14. Architecture and functional traits of semi-arid shrub species in Cabo de Gata Natural Park, se Spain

    Candollea, Vol. 64, Núm. 1, pp. 69-84

15. Biseparating maps between Lipschitz function spaces

    Journal of Mathematical Analysis and Applications, Vol. 357, Núm. 1, pp. 191-200

16. Cell cycle control of Notch signaling and the functional regionalization of the neuroepithelium during vertebrate neurogenesis

    International Journal of Developmental Biology, Vol. 53, Núm. 7, pp. 895-908

17. Changes in subpopulations of boar sperm defined according to viability and plasma and acrosome membrane status observed during storage at 15 °C

    Theriogenology, Vol. 71, Núm. 2, pp. 311-317

18. Colorimetric and spectral evaluation of the optical anisotropy of metallic and pearlescent samples

    Journal of Modern Optics, Vol. 56, Núm. 13, pp. 1457-1465

19. Combining genetic algorithms and mutation testing to generate test sequences

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

20. Computing the Energy Cost of the Information Transmitted by Model Biological Neurons

    COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING, VOL 2