Publicaciones Google Scholar de
1980 a
2024
| Título |
Fuente |
Fecha |
| Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT |
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software … , 2024 |
2024 |
| SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques |
Proceedings of the ACM on Programming Languages 8 (PLDI), 1437-1462 , 2024 |
2024 |
| Estudio de la aplicación de herramientas de análisis de contratos inteligentes de Ethereum en las asignaturas de blockchain de las titulaciones de la Facultad de Informática |
|
2024 |
| Hospital admission influences both early and 1-year mortality in elderly patients treated for acute heart failure in hospital emergency departments |
Emergencias: revista de la Sociedad Espanola de Medicina de Emergencias 36 … , 2024 |
2024 |
| Formally Verified EVM Block-Optimizations |
International Conference on Computer Aided Verification, 176-189 , 2023 |
2023 |
| Verification of the ROS NavFn planner using executable specification languages |
Journal of Logical and Algebraic Methods in Programming 132, 100860 , 2023 |
2023 |
| Aplicación web progresiva para la realización de cuestionarios offline: difusión e integración con Moodle |
|
2023 |
| Adult T-cell leukemia/lymphoma in HTLV-1 non-endemic regions |
Journal of Clinical Virology 167, 105578 , 2023 |
2023 |
| Ventricular Conduction Disorders in Pediatrics: Bundle Branch Blocks-Update |
Int J Pediatr Res 9, 104 , 2023 |
2023 |
| Hydrogen adsorption study on nanostructured Ag–Rh films grown by supersonic cluster beam deposition |
International Journal of Hydrogen Energy 48 (45), 17230-17236 , 2023 |
2023 |
| Formally Verified EVM Block-Optimizations |
Otto-Friedrich-Universität , 2023 |
2023 |
| Inferring needless write memory accesses on ethereum bytecode |
International Conference on Tools and Algorithms for the Construction and … , 2023 |
2023 |
| Abstract No. 153 Single-Needle Delivery of Pulsed Electric Fields (PEF) Energy to Early-Stage Non-Small Cell Lung Cancer (NSCLC): Feasibility and Safety Near Sensitive … |
Journal of Vascular and Interventional Radiology 34 (3), S71-S72 , 2023 |
2023 |
| MO-0948 Intermediate-High dose TBI: a balance between disease control and pulmonary toxicity |
Radiotherapy and Oncology 182, S796-S797 , 2023 |
2023 |
| New vegetable varieties of Brassica rapa and Brassica napus with modified glucosinolate content obtained by mass selection approach |
Frontiers in Nutrition 10, 1198121 , 2023 |
2023 |
| Optimal dynamic partial order reduction with context-sensitive independence and observers |
Journal of Systems and Software 202, 111730 , 2023 |
2023 |
| Inferring needless write memory accesses on ethereum bytecode (extended version) |
arXiv preprint arXiv:2301.04757 , 2023 |
2023 |
| Assessing the Effectiveness of Tocilizumab in Newly Diagnosed Giant Cell Arteritis versus Refractory/recurrent Giant Cell Arteritis in Clinical Practice |
ARTHRITIS & RHEUMATOLOGY 74, 966-968 , 2022 |
2022 |
| Oleic Acid Chronopharmacology on Obese Patients Adipose Tissue Biological Response |
EUROPEAN JOURNAL OF CLINICAL PHARMACOLOGY 78 (SUPPL 1), S42-S43 , 2022 |
2022 |
| Abatacept in monotherapy vs combined in interstitial lung disease of rheumatoid arthritis—multicentre study of 263 Caucasian patients |
Rheumatology 61 (1), 299-308 , 2022 |
2022 |
| When COSTA Met KeY: Verified Cost Bounds |
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to … , 2022 |
2022 |
| Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts |
International Joint Conference on Automated Reasoning, 3-7 , 2022 |
2022 |
| Distilling constraints in zero-knowledge protocols |
International Conference on Computer Aided Verification, 430-443 , 2022 |
2022 |
| LearnSQL: un juez para el aprendizaje de las bases de datos |
Jornada «Aprendizaje Eficaz con TIC en la UCM», 277-288 , 2022 |
2022 |
| Las bases de big data y de la inteligencia artificial |
Los libros de la Catarata , 2022 |
2022 |
| Super-optimization of smart contracts |
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-29 , 2022 |
2022 |
| Assessing the Effectiveness of Tocilizumab in Giant Cell Arteritis by PET: Multicenter Study of 101 Patients of Clinical Practice |
ARTHRITIS & RHEUMATOLOGY 74, 2467-2469 , 2022 |
2022 |
| A Max-SMT superoptimizer for EVM handling memory and storage |
International Conference on Tools and Algorithms for the Construction and … , 2022 |
2022 |
| Relaxed effective callback freedom: a parametric correctness condition for sequential modules with callbacks |
IEEE Transactions on Dependable and Secure Computing 20 (3), 2256-2273 , 2022 |
2022 |
| Improving database learning with an automatic judge |
|
2022 |
| Evaluación del impacto sobre el aprendizaje de bases de datos del juez automático LearnSQL |
|
2022 |
| Termination Analysis of Programs with Multiphase Control-Flow |
arXiv preprint arXiv:2109.04630 , 2021 |
2021 |
| Adsorption of the insecticide imidacloprid in soils amended with spent wine-pomace vermicompost. |
|
2021 |
| Deadlock-Guided Testing |
IEEE , 2021 |
2021 |
| Potential Effects of Social Protests in Colombia on the Transmission of COVID-19 |
|
2021 |
| Lower-bound synthesis using loop specialization and Max-SMT |
Computer Aided Verification: 33rd International Conference, CAV 2021 … , 2021 |
2021 |
| Compliance with the clinical guidelines for managing asthma by primary care physicians: an ambispective observational study |
Revista Clínica Española (English Edition) 221 (4), 207-216 , 2021 |
2021 |
| Seguimiento de las guías españolas para el manejo del asma por el médico de atención primaria: un estudio observacional ambispectivo |
Revista Clínica Española 221 (4), 207-216 , 2021 |
2021 |
| Blinatumomab to improve the outcome of children with relapsed B-cell acute lymphoblastic leukemia |
Clinical and Translational Oncology 23, 1963-1966 , 2021 |
2021 |
| Certified abstract cost analysis |
International Conference on Fundamental Approaches to Software Engineering … , 2021 |
2021 |
| The direct effect of pneumococcal conjugate vaccines on invasive pneumococcal disease in children in the Latin American and Caribbean region (SIREVA 2006–17): a multicentre … |
The Lancet Infectious Diseases 21 (3), 405-417 , 2021 |
2021 |
| Effectiveness of Contact Tracing to Reduce Fatality from COVID-19: Preliminary Evidence from Colombia |
|
2021 |
| Verification of ROS navigation using Maude |
XX Jornadas de Programación y Lenguajes (PROLE). Sistedes , 2021 |
2021 |
| Challenge 2. Climate change processes, mechanisms and future scenarios |
White Paper 7: Global change impacts (2021), http://hdl. handle. net/10261 … , 2021 |
2021 |
| Juez automático para el aprendizaje de bases de datos |
|
2021 |
| Estrategias metodológicas para mejorar la comprensión lectora de los estudiantes de cuarto año de Educación General Básica de la Unidad Educativa Atenas del Ecuador, año … |
Trabajo de grado para optar al título en Licenciado en Educación Básica … , 2021 |
2021 |
| On Admissible Orders on the Set of Discrete Fuzzy Numbers for Application in Decision Making Problems. Mathematics 2021, 9, 95 |
s Note: MDPI stays neu-tral with regard to jurisdictional clai-ms in … , 2021 |
2021 |
| New Vegetable Brassica Foods: A Promising Source of Bioactive Compounds. Foods 2021, 10, 2911 |
s Note: MDPI stays neutral with regard to jurisdictional claims in published … , 2021 |
2021 |
| Loops for which Multiphase-Linear Ranking Functions are Sufficient |
17th International Workshop on Termination, 69-74 , 2021 |
2021 |
| Deadlock-guided testing |
IEEE Access 9, 46033-46048 , 2021 |
2021 |
| Don’t run on fumes—parametric gas bounds for smart contracts |
Journal of Systems and Software 176, 110923 , 2021 |
2021 |
| Static profiling and optimization of ethereum smart contracts using resource analysis |
IEEE Access 9, 25495-25507 , 2021 |
2021 |
| A unified framework for declarative debugging and testing |
Information and Software Technology 129, 106427 , 2021 |
2021 |
| Actor-based model checking for Software-Defined Networks |
Journal of Logical and Algebraic Methods in Programming 118, 100617 , 2021 |
2021 |
| Synthesis of super-optimized smart contracts using max-smt |
International conference on computer aided verification, 177-200 , 2020 |
2020 |
| Las bases de Big Data |
Los Libros de La Catarata , 2020 |
2020 |
| Gasol: Gas analysis and optimization for ethereum smart contracts |
International Conference on Tools and Algorithms for the Construction and … , 2020 |
2020 |
| Actor-Based Model Checking for SDN Networks |
arXiv preprint arXiv:2001.10022 , 2020 |
2020 |
| Taming callbacks for smart contract modularity |
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30 , 2020 |
2020 |
| Geopolímeros celulares: desarrollo de hormigones ligeros ecológicos sin cemento (proyecto GEOCEL) |
Materiales Compuestos 4 (3), 52-58 , 2020 |
2020 |
| A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell |
Fundamenta Informaticae 177 (3-4), 203-234 , 2020 |
2020 |
| Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23) |
EasyChair EPiC Series in Computing , 2020 |
2020 |
| Management and Repair of Diaphragmatic Hernia during Pregnancy with a Double Approach |
|
2020 |
| A unified framework for declarative debugging and testing |
Elsevier , 2020 |
2020 |
| Análisis de rendimiento de aplicaciones MPI en clusters de Raspberries Pi3 |
|
2020 |
| Development of the ECLIM-SEHOP Clinical Trial Platform: Implementing International Academic Clinical Trials for Childhood Cancer and Blood Disorders in Spain |
PEDIATRIC BLOOD & CANCER 67, S245-S245 , 2020 |
2020 |
| Smart, and also reliable and gas-efficient, contracts |
2020 IEEE 13th International Conference on Software Testing, Validation and … , 2020 |
2020 |
| FRI0264 EFFECTIVENESS, SAFETY AND PATTERNS OF USE OF RITUXIMAB IN SCLERODERMA, IN CLINICAL PRACTICE: 9 YEARS’EXPERIENCE IN A TERTIARY HOSPITAL |
Annals of the Rheumatic Diseases 79 (Suppl 1), 716-717 , 2020 |
2020 |
| A transformational approach to resource analysis with typed-norms inference |
Theory and Practice of Logic Programming 20 (3), 310-357 , 2020 |
2020 |
| Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum |
Universidad Complutense de Madrid , 2020 |
2020 |
| Impacts of confinement due to COVID-19 among university students: Life Satisfaction, Resilience and Social Capital |
International Journal of Sociology of Education 1, 79-104 , 2020 |
2020 |
| Analyzing smart contracts: from EVM to a sound control-flow graph |
arXiv preprint arXiv:2004.14437 , 2020 |
2020 |
| Learning Data Structure Shapes from Memory Graphs. |
LPAR 2020, 23rd , 2020 |
2020 |
| Adaptación y ejecución de aplicaciones MPI en entornos de simulación para analizar el rendimiento de arquitecturas distribuidas |
|
2019 |
| Optimal context-sensitive dynamic partial order reduction with observers |
Proceedings of the 28th ACM SIGSOFT International Symposium on Software … , 2019 |
2019 |
| PB2317 CHOICE OF VENOUS ACCESS FOR CHRONIC RED CELL EXCHANGE IN CHILDREN WITH SICKLE CELL DISEASE |
HemaSphere 3 (S1), 1033 , 2019 |
2019 |
| Detección del gen optra en Enterococus faecalis aislados de muestras clínicas en el Hospital El Bierzo |
Elsevier , 2019 |
2019 |
| SQLab Extension: Laboratorio virtual lenguaje SQL |
|
2019 |
| Evaluación de la realimentación semántica de SQL en DES |
|
2019 |
| Peak resource analysis of concurrent distributed systems |
Journal of Systems and Software 149, 35-62 , 2019 |
2019 |
| Control-flow refinement by partial evaluation, and its application to termination and cost analysis |
Theory and Practice of Logic Programming 19 (5-6), 990-1005 , 2019 |
2019 |
| AuxAula: contruyendo puentes entre alumno y profesor. Transformar la distracción en productividad |
|
2019 |
| Fontelis®, máximo rendimiento y calidad en su cosecha |
Phytoma España: La revista profesional de sanidad vegetal, 120-123 , 2019 |
2019 |
| Big data con python: Recolección, almacenamiento y proceso |
Alpha Editorial , 2019 |
2019 |
| Running on fumes: Preventing out-of-gas vulnerabilities in Ethereum smart contracts using static resource analysis |
Verification and Evaluation of Computer and Communication Systems: 13th … , 2019 |
2019 |
| EVALUACIÓN DE LAS CARACTERÍSTICAS FÍSICAS DE MEZCLAS DE CONCRETO QUE INCORPORAN PLÁSTICOS DESECHADOS NO CONTAMINANTES |
|
2019 |
| A core Erlang semantics for declarative debugging |
Journal of Logical and Algebraic Methods in Programming 107, 1-37 , 2019 |
2019 |
| FlinkCheck: property-based testing for apache flink |
IEEE Access 7, 150369-150382 , 2019 |
2019 |
| Big data con python |
Alfaomega , 2019 |
2019 |
| Band gap determination in multi‑band‑gap CuFeO |
|
2019 |
| Multiphase-linear ranking functions and their relation to recurrent sets |
International Static Analysis Symposium, 459-480 , 2019 |
2019 |
| A core Erlang semantics for declarative debugging |
Elsevier , 2019 |
2019 |
| Resource analysis driven by (conditional) termination proofs |
Theory and Practice of Logic Programming 19 (5-6), 722-739 , 2019 |
2019 |
| SAFEVM: a safety verifier for Ethereum smart contracts |
Proceedings of the 28th ACM SIGSOFT International Symposium on Software … , 2019 |
2019 |
| Herramienta interactiva de manipulación y corrección de entregas de ejercicios en asignaturas con evaluación continua |
|
2019 |
| Planeamiento financiero y su incidencia en la rentabilidad de la empresa turismo Atahualpa servicios generales srl, Chiclayo 2017 |
Recuperado en: http://repositorio. uss. edu. pe/bitstream/handle/uss/6284 … , 2019 |
2019 |
| Enhancing set constraint solvers with bound consistency |
Expert Systems with Applications 92, 485-494 , 2018 |
2018 |
| Generation of initial contexts for effective deadlock detection |
Logic-Based Program Synthesis and Transformation: 27th International … , 2018 |
2018 |
| Inference of linear upper-bounds on the expected cost by solving cost relations |
Proceedings of the 16th International Workshop on Termination, WST 18, 60-64 , 2018 |
2018 |
| GASTAP: A gas analyzer for smart contracts |
CoRR, vol. abs/1811.10403 , 2018 |
2018 |
| EthIR : A Framework for High-Level Analysis of Ethereum Bytecode |
International symposium on automated technology for verification and … , 2018 |
2018 |
| Enhancing set constraint solvers with bound consistency |
Elsevier , 2018 |
2018 |
| SDN-Actors: modeling and verification of SDN programs |
International Symposium on Formal Methods, 550-567 , 2018 |
2018 |
| Oral communications |
European Psychiatry 48, S72-S140 , 2018 |
2018 |
| Declarative debugging of concurrent Erlang programs |
Journal of logical and algebraic methods in programming 101, 22-41 , 2018 |
2018 |
| Systematic testing of actor systems |
Software Testing, Verification and Reliability 28 (3), e1661 , 2018 |
2018 |
| A language-independent technique for assessing tweet success: an experience report |
IEEE Access 6, 62384-62395 , 2018 |
2018 |
| SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools |
Software Technologies: Applications and Foundations: STAF 2017 Collocated … , 2018 |
2018 |
| Tutoriales interactivos para el estudio de la programación: impacto en el aprendizaje |
|
2018 |
| Constrained dynamic partial order reduction |
International Conference on Computer Aided Verification, 392-410 , 2018 |
2018 |
| Control-flow refinement via partial evaluation |
WST’18, 55-59 , 2018 |
2018 |
| Diseño estratégico. Guía metodológica |
Fundación Prodintec. fichero_16_4747. pdf (prodintec. es) , 2018 |
2018 |
| Parallel cost analysis |
ACM Transactions on Computational Logic (TOCL) 19 (4), 1-37 , 2018 |
2018 |
| Modeling the two-and three dimensional displacement field in Lorca, Spain, subsidence and the global implications. Sci Rep 8: 14782 |
|
2018 |
| On multiphase-linear ranking functions |
International Conference on Computer Aided Verification, 601-620 , 2017 |
2017 |
| Autenticación y verificación de usuarios mediante dinámica del tecleo |
|
2017 |
| MAY-HAPPEN-IN-PARALLEL ANALYSIS WITH RETURNED FUTURES |
|
2017 |
| Climate Services |
|
2017 |
| Resource Analysis of Distributed and Concurrent Programs |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 1-1 , 2017 |
2017 |
| May-happen-in-parallel analysis with returned futures |
Automated Technology for Verification and Analysis: 15th International … , 2017 |
2017 |
| FRI0016 Involvement of runx-2 and β-catenin signaling in the production of adamts-7 and adamts-12 in osteoarthritic synovial fibroblasts |
Annals of the Rheumatic Diseases 76 (Suppl 2), 485-486 , 2017 |
2017 |
| Context-sensitive dynamic partial order reduction |
Computer Aided Verification: 29th International Conference, CAV 2017 … , 2017 |
2017 |
| Sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos |
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de … , 2017 |
2017 |
| Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos |
|
2017 |
| E asy I nterface : A Toolkit for Rapid Development of GUIs for Research Prototype Tools |
International Conference on Fundamental Approaches to Software Engineering … , 2017 |
2017 |
| Methodology for predicting vibrations induced by underground railways in 2D numerical models: a real case in Madrid, Spain |
Revista Ingeniería de Construcción 32 (3), 173-184 , 2017 |
2017 |
| Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15) |
Preface for selected and extended papers from Principles and Practice of … , 2017 |
2017 |
| Superintendencia de sociedades y desestimación de la personalidad jurídica |
UNA Revista de Derecho 2, 1-35 , 2017 |
2017 |
| Diseño de una metodología para la implantación de herramientas automáticas de corrección de estilo y buenas prácticas en asignaturas de programación |
|
2017 |
| Aplicación de la emanometría de Rn para la caracterización de emplazamientos afectados por contaminantes densos (DNAPLs): Una antigua instalación de producción de lindano como … |
Consejo Superior de Colegios de Ingenieros de Minas de España , 2017 |
2017 |
| Rely-guarantee termination and cost analyses of loops with concurrent interleavings |
Journal of Automated Reasoning 59, 47-85 , 2017 |
2017 |
| Testing of concurrent and imperative software using clp |
Proceedings of the 18th International Symposium on Principles and Practice … , 2016 |
2016 |
| Resource Analysis of Distributed Systems |
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on … , 2016 |
2016 |
| Aplicación del sistema jPET para la generación automática de tests en asignaturas de programación con Java |
|
2016 |
| Spanish ECOS study analysis: socioeconomic data, adherence and growth outcomes with case studies |
Hormone Research in Paediatrics 86 (Suppl 1)), 1-556 , 2016 |
2016 |
| Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción |
|
2016 |
| Esquemas maladaptativos tempranos y factores de riesgo de consumo de sustancias psicoactivas en adolescentes de un colegio de Bogotá |
Monografía]. Recuperado de http://repository. libertadores. edu. co … , 2016 |
2016 |
| Effect of high pressure processing on carotenoid and phenolic compounds, antioxidant capacity, and microbial counts of bee-pollen paste and bee-pollen-based beverage |
Innovative Food Science & Emerging Technologies 37, 10-17 , 2016 |
2016 |
| Debugging meets testing in erlang |
International Conference on Tests and Proofs, 171-180 , 2016 |
2016 |
| Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad |
|
2016 |
| A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY |
Software & Systems Modeling 15, 987-1012 , 2016 |
2016 |
| SYCO: a systematic testing tool for concurrent objects |
Proceedings of the 25th International Conference on Compiler Construction … , 2016 |
2016 |
| Resource–usage–aware configuration in software product lines |
Journal of Logical and Algebraic Methods in Programming 85 (1), 173-199 , 2016 |
2016 |
| Formal Techniques for Distributed Objects, Components, and Systems |
36th IFIP WG 6, 6-9 , 2016 |
2016 |
| Determinación de los estados críticos de nutrientes de cacao en etapa de vivero |
Construyendo investigación: semilleros generadores de ideas , 2016 |
2016 |
| Farmacontaminación |
Impacto ambiental de los medicamentos. Infac [Internet] 24 (10), 59-64 , 2016 |
2016 |
| May-happen-in-parallel analysis with condition synchronization |
Foundational and Practical Aspects of Resource Analysis: 4th International … , 2016 |
2016 |
| Envisage: Developing SLA-aware Deployed Services with Formal Methods |
ESOCC 2016: Fifth European Conference on Service-Oriented and Cloud Computing , 2016 |
2016 |
| A formal, resource consumption-preserving translation of actors to haskell |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2016 |
2016 |
| Combining static analysis and testing for deadlock detection |
International Conference on Integrated Formal Methods, 409-424 , 2016 |
2016 |
| Parallel Cost Analysis of Distributed Systems |
|
2015 |
| Prediction Model for the Electrical Industry in Spain—The Trend Toward Renewable Energy |
Strategic Planning for Energy and the Environment 35 (3), 9-31 , 2015 |
2015 |
| Las bases de big data |
Catarata , 2015 |
2015 |
| A practical comparator of cost functions and its applications |
Science of Computer Programming 111, 483-504 , 2015 |
2015 |
| USEFULNESS OF THE DETERMINATION OFE HBA1C IN THE DETECTION OF HEMOGLOBINOPATHIES AND THALASSEMIAS |
HAEMATOLOGICA 100, 240-240 , 2015 |
2015 |
| May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization |
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France … , 2015 |
2015 |
| Parallel cost analysis of distributed systems |
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France … , 2015 |
2015 |
| May-happen-in-parallel analysis for actor-based concurrency |
ACM Transactions on Computational Logic (TOCL) 17 (2), 1-39 , 2015 |
2015 |
| Resource Analysis: From Sequential to Concurrent and Distributed Programs |
|
2015 |
| From non-zenoness verification to termination |
2015 ACM/IEEE International Conference on Formal Methods and Models for … , 2015 |
2015 |
| Terapia de Emulsión lipídica intravenosa en intoxicaciones agudas |
Toxicología en urgencias, guía práctica, 541-551 , 2015 |
2015 |
| Elaboración de un plan de negocios para determinar la factibilidad de la producción de bioplásticos a partir de papa en contra de la contaminación en Colombia |
Trabajo de grado). Universidad militar nueva granada, Bogotá DC Recuperado … , 2015 |
2015 |
| Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación |
|
2015 |
| A liberal type system for functional logic programs |
Mathematical Structures in Computer Science 25 (4), 942-977 , 2015 |
2015 |
| Object‐sensitive cost analysis for concurrent objects |
Software Testing, Verification and Reliability 25 (3), 218-271 , 2015 |
2015 |
| Preparing HPC applications for exascale: Challenges and recommendations |
2015 18th International Conference on Network-Based Information Systems, 401-406 , 2015 |
2015 |
| Complexity of Bradley-Manna-Sipma lexicographic ranking functions |
International Conference on Computer Aided Verification, 304-321 , 2015 |
2015 |
| A practical comparator of cost functions and its applications |
Elsevier , 2015 |
2015 |
| Efecto de bacterias promotoras de crecimiento vegetal en el cultivo de café (Coffea arabica L. var. ʽtípicaʼ) en sus primeros estadios de su desarrollo |
Tesis para optar al título de Biólogo, Universidad Nacional Agraria, La … , 2015 |
2015 |
| A multi-domain incremental analysis engine and its application to incremental resource analysis |
Theoretical Computer Science 585, 91-114 , 2015 |
2015 |
| Non-cumulative resource analysis |
Tools and Algorithms for the Construction and Analysis of Systems: 21st … , 2015 |
2015 |
| A Multi-Domain Incremental Analysis Engine and its Application to Incremental Resource Analysis |
Elsevier , 2015 |
2015 |
| Test case generation of actor systems |
Automated Technology for Verification and Analysis: 13th International … , 2015 |
2015 |
| Non-Cumulative Resource Analysis (Author’s version) |
Springer , 2015 |
2015 |
| May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization |
|
2015 |
| Challenges and recommendations for preparing hpc applications for exascale |
arXiv preprint arXiv:1503.06974 , 2015 |
2015 |
| Desarrollo de una herramienta de depuración simbólica para las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos |
|
2015 |
| Experience in retake analysis for digital mammography at a university hospital |
Radiation protection dosimetry 165 (1-4), 354-358 , 2015 |
2015 |
| Resource analysis: From sequential to concurrent and distributed programs |
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 … , 2015 |
2015 |
| STATIC ANALYSIS OF CONCURRENT OBJECTS |
|
2015 |
| A zoom-declarative debugger for sequential Erlang programs |
Science of Computer Programming 110, 104-118 , 2015 |
2015 |
| Corrosión bajo tensión de armaduras de acero inoxidable dúplex en ambiente marino |
Industria química, 70-74 , 2015 |
2015 |
| Journal of Logical and Algebraic Methods in Programming |
|
2015 |
| Las bases de Big Data |
Las bases de Big Data , 2015 |
2015 |
| Testing abstract behavioral specifications |
International Journal on Software Tools for Technology Transfer 17, 107-119 , 2015 |
2015 |
| Quantified abstract configurations of distributed systems |
Formal Aspects of Computing 27, 665-699 , 2015 |
2015 |
| Test Case Generation of Actor Systems |
|
2015 |
| FLOP: A User-Friendly System for Automated Program Assessment. |
J. Univers. Comput. Sci. 20 (9), 1304-1326 , 2014 |
2014 |
| Static inference of transmission data sizes in distributed systems |
Leveraging Applications of Formal Methods, Verification and Validation … , 2014 |
2014 |
| Conditional termination of loops over heap-allocated data |
Science of Computer Programming 92, 2-24 , 2014 |
2014 |
| A tri-objective model for franchise expansion |
XII GLOBAL OPTIMIZATION WORKSHOP, 81-84 , 2014 |
2014 |
| Inference of field-sensitive reachability and cyclicity |
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-41 , 2014 |
2014 |
| Actor-and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing |
|
2014 |
| Actor-and task-selection strategies for pruning redundant state-exploration in testing |
Formal Techniques for Distributed Objects, Components, and Systems: 34th … , 2014 |
2014 |
| Integrated Formal Methods |
Springer International Publishing , 2014 |
2014 |
| Selected Papers from the Software Verification and Testing (SVT 2013) Track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013).: Special Section: Selected and … |
Elsevier , 2014 |
2014 |
| Quantified Abstract Configurations of Distributed Systems |
Springer , 2014 |
2014 |
| EDD: A declarative debugger for sequential Erlang programs |
International Conference on Tools and Algorithms for the Construction and … , 2014 |
2014 |
| Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS |
Service Oriented Computing and Applications 8, 323-339 , 2014 |
2014 |
| Rewriting and narrowing for constructor systems with call-time choice semantics1 |
Theory and Practice of Logic programming 14 (2), 165-213 , 2014 |
2014 |
| A transformational approach to resource analysis with typed-norms |
Logic-Based Program Synthesis and Transformation: 23rd International … , 2014 |
2014 |
| SACO: static analyzer for concurrent objects |
Tools and Algorithms for the Construction and Analysis of Systems: 20th … , 2014 |
2014 |
| Ranking functions for linear-constraint loops |
Journal of the ACM (JACM) 61 (4), 1-55 , 2014 |
2014 |
| Aplicabilidad de la valoración en el cuidado de la persona hospitalizada del servicio de cirugía del hospital regional docente las mercedes–Chiclayo 2013 |
Tesis para obtener el grado de bachiller en enfermería]. Universidad … , 2014 |
2014 |
| Phase equilibrium of two CO2+ biodegradable oil systems up to 72 MPa |
|
2014 |
| Selected and extended papers from Bytecode 2013 |
Science of Computer Programming 95 (P3), 343 , 2014 |
2014 |
| Peak cost analysis of distributed systems |
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany … , 2014 |
2014 |
| Safe typing of functional logic programs with opaque patterns and local bindings |
Information and Computation 235, 36-69 , 2014 |
2014 |
| Test de l’arbre et médecine traditionnelle chinoise |
Le test de l'arbre: Un dessin pour comprendre et interpréter, 195-233 , 2014 |
2014 |
| Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency |
|
2014 |
| Conditional Termination of Loops over Heap-Allocated Data |
Elsevier , 2014 |
2014 |
| PKP-015 Optimal dose regimen of antibiotics against methicillin-resistant Staphylococcus aureus in critically ill patients undergoing continuous venovenous hemodiafiltration |
European Journal of Hospital Pharmacy: Science and Practice 21 (Suppl 1 … , 2014 |
2014 |
| Peak Cost Analysis of Distributed Systems (Author's version) |
|
2014 |
| Static Inference of Transmission Data Sizes in Distributed Systems |
|
2014 |
| Selected and extended papers from Partial Evaluation and Program Manipulation 2013 |
Science of Computer Programming, 147-148 , 2014 |
2014 |
| Test case generation by symbolic execution: Basic concepts, a clp-based instance, and actor-based concurrency |
Formal Methods for Executable Software Models: 14th International School on … , 2014 |
2014 |
| Evaluación económica de medicamentos: puntos a considerar para no perderse |
Boletin Farmacoterapeutico de Castilla-La Mancha. SESCAM , 2014 |
2014 |
| A zoom-declarative debugger for sequential Erlang programs (extended version) |
Departamento de Sistemas Informáticos y Computación , 2014 |
2014 |
| Claves del managment |
Madrid, España: LID Editorial Empresarial , 2013 |
2013 |
| Proving termination starting from the end |
Computer Aided Verification: 25th International Conference, CAV 2013, Saint … , 2013 |
2013 |
| On the inference of resource usage upper and lower bounds |
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-35 , 2013 |
2013 |
| A CLP heap solver for test case generation |
Theory and Practice of Logic Programming 13 (4-5), 721-735 , 2013 |
2013 |
| Una evaluación de usabilidad de FLOP |
|
2013 |
| aPET: a test case generation tool for concurrent objects |
Proceedings of the 2013 9th Joint Meeting on Foundations of Software … , 2013 |
2013 |
| A framework for guided test case generation in constraint logic programming |
Logic-Based Program Synthesis and Transformation: 22nd International … , 2013 |
2013 |
| Quantified abstractions of distributed systems |
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku … , 2013 |
2013 |
| Typing as functional-logic evaluation |
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and … , 2013 |
2013 |
| Engineering virtualized services |
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet … , 2013 |
2013 |
| Sistemas de tipos en lenguajes lógico-funcionales |
Universidad Complutense de Madrid , 2013 |
2013 |
| Termination and cost analysis of loops with concurrent interleavings |
Automated Technology for Verification and Analysis: 11th International … , 2013 |
2013 |
| Reachability-based acyclicity analysis by abstract interpretation |
Theoretical Computer Science 474, 60-79 , 2013 |
2013 |
| A calculus for sequential erlang programs |
Technical Report 03/13, Departamento de Sistemas Informáticos y Computación … , 2013 |
2013 |
| On the linear ranking problem for integer linear-constraint loops |
ACM SIGPLAN Notices 48 (1), 51-62 , 2013 |
2013 |
| Large linear anhysteretic magnetoelectric voltage coefficients in CoFe 2 O 4 /polyvinylidene fluoride 0–3 nanocomposites |
Journal of nanoparticle research 15, 1-6 , 2013 |
2013 |
| Precise cost analysis via local reasoning |
Automated Technology for Verification and Analysis: 11th International … , 2013 |
2013 |
| Heap space analysis for garbage collected languages |
Science of Computer Programming 78 (9), 1427-1448 , 2013 |
2013 |
| A calculus for zoom debugging sequential Erlang programs |
Technical Report 07/13, Departamento de Sistemas Informáticos y Computación , 2013 |
2013 |
| Logic-Based Program Synthesis and Transformation |
Springer Berlin Heidelberg , 2013 |
2013 |
| May-Happen-in-Parallel Analysis for Priority-based Scheduling |
Logic for Programming, Artificial Intelligence, and Reasoning: 19th … , 2013 |
2013 |
| May-happen-in-parallel based deadlock analysis for concurrent objects |
International Conference on Formal Methods for Open Object-Based Distributed … , 2013 |
2013 |
| A declarative debugger for sequential Erlang programs |
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary … , 2013 |
2013 |
| Resolución del problema del líder-seguidor con demanda endógena mediante algoritmos paralelos |
Actas de las XXIV Jornadas de Paralelismo, 348-353 , 2013 |
2013 |
| Automatic inference of bounds on resource consumption |
Formal Methods for Components and Objects: 11th International Symposium … , 2013 |
2013 |
| Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers |
Springer , 2013 |
2013 |
| Certificate size reduction in abstraction-carrying code |
Theory and Practice of Logic Programming 12 (3), 283-318 , 2012 |
2012 |
| Automated extraction of abstract behavioural models from JMS applications |
International Workshop on Formal Methods for Industrial Critical Systems, 16-31 , 2012 |
2012 |
| Una formalització de les construccions geomètriques |
|
2012 |
| FLOP, a free laboratory of programming |
|
2012 |
| Symbolic execution of concurrent objects in CLP |
Practical Aspects of Declarative Languages: 14th International Symposium … , 2012 |
2012 |
| FREQUENCY OF SEXUAL INTERCOURSE IN PATIENTS WITH BENIGN PROSTATIC HYPERPLASIA. HOSPITAL HIPOLITO UNANUE, LIMA, PERU JANUARY-DECEMBER 2010 |
JOURNAL OF SEXUAL MEDICINE 9, 76-76 , 2012 |
2012 |
| Towards a Generic Framework for Guided Test Case Generation in CLP |
LOPSTR , 2012 |
2012 |
| SEXUAL BEHAVIOR IN PATIENTS WITH SPINAL CORD INJURY |
JOURNAL OF SEXUAL MEDICINE 9, 77-77 , 2012 |
2012 |
| Ranking functions for linear-constraint loops |
arXiv preprint arXiv:1208.4041 , 2012 |
2012 |
| Situación epidemológica de la rabia en Chile. 2000-2011 |
Revista de Educação Continuada em Medicina Veterinária e Zootecnia do CRMV … , 2012 |
2012 |
| Proyecto de mejora en la atención a personas con Síndrome de Diógenes y acumuladores: Una experiencia colaborativa entre los Servicios Sociales Básicos del barrio de Les Corts … |
El trabajo social ante los desafíos de un mundo en cambio [Recurso … , 2012 |
2012 |
| MayPar: a may-happen-in-parallel analyzer for concurrent objects |
Proceedings of the ACM SIGSOFT 20th International Symposium on the … , 2012 |
2012 |
| FLOP, a free laboratory of programming |
Proceedings of the 12th Koli Calling International Conference on Computing … , 2012 |
2012 |
| The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems |
International Journal on Software Tools for Technology Transfer 14, 567-588 , 2012 |
2012 |
| Transparent function types: Clearing up opacity (extended version) |
Technical Report SIC-11-12, Universidad Complutense de Madrid , 2012 |
2012 |
| Cost analysis of object-oriented bytecode programs |
Theoretical Computer Science 413 (1), 142-159 , 2012 |
2012 |
| Transparent function types: clearing up opacity |
Proceedings of the 14th symposium on Principles and practice of declarative … , 2012 |
2012 |
| Agile approach to business intelligence as a way to success |
Business Intelligence and Agile Methodologies for Knowledge-Based … , 2012 |
2012 |
| PP174-MON USE OF THREE-CHAMBER BAGS PARENTERAL NUTRITION IN CATALONIA |
Clinical Nutrition Supplements 1 (7), 207 , 2012 |
2012 |
| Conditional termination of loops over arrays |
Proc. of Bytecode 12 , 2012 |
2012 |
| Resource Analysis in the COSTA System |
ALP Newsletter 25 (4) , 2012 |
2012 |
| On the limits of the classical approach to cost analysis |
International Static Analysis Symposium, 405-421 , 2012 |
2012 |
| COSTABS: a cost and termination analyzer for ABS |
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012 |
2012 |
| Towards testing concurrent objects in CLP |
Technical Communications of the 28th International Conference on Logic … , 2012 |
2012 |
| Dengue |
Vicente E, Rodríguez AL, Sánchez E, Quintana L, Riverón JM, Ledo D … , 2012 |
2012 |
| Verified resource guarantees for heap manipulating programs |
Fundamental Approaches to Software Engineering: 15th International … , 2012 |
2012 |
| Automatic inference of resource consumption bounds |
Logic for Programming, Artificial Intelligence, and Reasoning: 18th … , 2012 |
2012 |
| Well-typed narrowing with extra variables in functional-logic programming |
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012 |
2012 |
| On the termination of integer loops |
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (4), 1-24 , 2012 |
2012 |
| Tratamiento eficaz de la arteriolopatía urémica calcificante con bifosfonatos |
Nefrología (Madrid) 32 (3), 329-334 , 2012 |
2012 |
| Modular termination analysis of java bytecode and its application to phoneME core libraries |
Formal Aspects of Component Software: 7th International Workshop, FACS 2010 … , 2012 |
2012 |
| Fitodepuración Por Humedales Artificiales |
Obtenido de UNIVERSIDAD POLITÉCNICA DE MADRID, Grupo de Agroenergética … , 2012 |
2012 |
| Analysis of may-happen-in-parallel in concurrent objects |
International Conference on Formal Methods for Open Object-Based Distributed … , 2012 |
2012 |
| TOY: a CFLP language and system |
The Association for Logic Programming , 2012 |
2012 |
| La investigación en el aula de un recurso: El agua |
XXV Encuentro de didáctica de las ciencias experimentales, 325-332 , 2012 |
2012 |
| Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) |
CW Reports , 2012 |
2012 |
| Parámetros biológicos básicos para el estudio del potencial reproductivo de la merluza común, Merluccius hubbsi, en aguas internacionales del Atlántico Sudoccidental |
Centro Oceanográfico de A Coruña , 2012 |
2012 |
| Sistemas de tipos en lenguajes lógico-funcionales |
Universidad Complutense de Madrid , 2012 |
2012 |
| Incremental resource usage analysis |
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012 |
2012 |
| Linezolid pharmacokinetics in acute renal failure and continuous venovenous hemodiafiltration |
INTERNATIONAL JOURNAL OF CLINICAL PHARMACY 34 (1), 145-145 , 2012 |
2012 |
| Extending the System with the ECL i PS e Solver over Sets of Integers |
International Symposium on Functional and Logic Programming, 120-135 , 2012 |
2012 |
| Handling non-linear operations in the value analysis of COSTA |
Electronic Notes in Theoretical Computer Science 279 (1), 3-17 , 2011 |
2011 |
| Simulating concurrent behaviors with worst-case cost bounds |
International Symposium on Formal Methods, 353-368 , 2011 |
2011 |
| Towards Resource-driven CLP-based Test Case Generation |
Logic-Based Program Synthesis and Transformation, 183 , 2011 |
2011 |
| DIFFERENCES BETWEEN HYPERTENSIVE AND NORMOTENSIVE WOMEN ATTENDED IN PRIMARY CARE. BASELINE DATA OF THE EVA STUDY: PP. 1.11 |
Journal of Hypertension 29, e150 , 2011 |
2011 |
| A comparative analysis of infiltration rates below a pasture and a secondary forest on Santa Cruz Island, Galapagos |
AGU Fall Meeting Abstracts 2011, H33E-1358 , 2011 |
2011 |
| CMS Draft Analysis Note |
|
2011 |
| Verified resource guarantees using COSTA and KeY |
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and … , 2011 |
2011 |
| Hematological values in Criolla Lanada Serrana breed sheep |
|
2011 |
| Congreso SEMNIM Bilabo 2011. Galería de imágenes |
Rev Esp Med Nucl 30 (5), 340 , 2011 |
2011 |
| Efficient local unfolding with ancestor stacks |
Theory and Practice of Logic Programming 11 (1), 1-32 , 2011 |
2011 |
| Resource-Driven CLP-Based test case generation |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2011 |
2011 |
| Ostricultura industrial de la provincia de Buenos Aires |
Fondo Editorial Fundación Sonora , 2011 |
2011 |
| Overcoming female infertility after paediatric stem cell transplant: what can we offer? |
BONE MARROW TRANSPLANTATION 46, S138-S138 , 2011 |
2011 |
| Resúmenes de artículos publicados recientemente en otras revistas |
Annals d'oftalmologia 19 (1), 57-61 , 2011 |
2011 |
| Type Classes in Functional Logic Programming (Author’s version for E-Prints Complutense) |
ACM , 2011 |
2011 |
| Closed-form upper bounds in static cost analysis |
Journal of automated reasoning 46, 161-203 , 2011 |
2011 |
| Estudio termodinámico de la elasticidad de una banda de caucho |
Revista Española de Física 14 (3), 39-42 , 2011 |
2011 |
| Cost analysis of concurrent OO programs |
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting … , 2011 |
2011 |
| SPPA (SISTEMA DE PLANIFICACIÓN Y PROGRAMACIÓN ACADÉMICA): UN SOFTWARE MODELO DESARROLLADO EN EL NÚCLEO NUEVA ESPARTA DE LA UNIVERSIDAD DE ORIENTE |
Centro de Investigaciones Turísticas (CITUR) 1 (1), 12 , 2011 |
2011 |
| Pollinosis and pollen count in Elche, Spain: 10 years of difference |
ALLERGY 66, 164-165 , 2011 |
2011 |
| Drug resistance mutations in patients infected with HIV-2 living in Spain |
Journal of antimicrobial chemotherapy 66 (7), 1484-1488 , 2011 |
2011 |
| Manejo de los implantes subdérmicos de etonogestrel en Atención Primaria |
Revista Clínica Médica Familiar 4 (2), 146-149 , 2011 |
2011 |
| Childhood obesity: the contribution of diet |
Developing Children's Food Products, 44-61 , 2011 |
2011 |
| Factores fisicoquímicos que regulan la motilidad espermática en peces: aspectos básicos y aplicados. Una revisión |
Ediciones Universidad Católica de Temuco , 2011 |
2011 |
| Análisis FODA del sector ostricultor artesanal de la provincia de Buenos Aires, Argentina |
Fondo Editorial Fundación Sonora , 2011 |
2011 |
| Analysis of the 2007 earthquake-induced Punta Cola rockslide and tsunami, Aysén fjord, Patagonia, Chile (45.3 º s, 73.0 w) |
5th international conference on earthquake geotechnical engineering … , 2011 |
2011 |
| jpet: An automatic test-case generator for java |
2011 18th Working Conference on Reverse Engineering, 441-442 , 2011 |
2011 |
| Task-level analysis for a language with async/finish parallelism |
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers … , 2011 |
2011 |
| Compositional clp-based test data generation for imperative languages |
Logic-Based Program Synthesis and Transformation: 20th International … , 2011 |
2011 |
| Type classes in functional logic programming |
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and … , 2011 |
2011 |
| Welltyped narrowing with extra variables in functional-logic programming (extended version) |
Technical Report SIC-11-11, Universidad Complutense de Madrid , 2011 |
2011 |
| Late engraftment in paediatric cord blood transplantation: lessons learned |
BONE MARROW TRANSPLANTATION 46, S147-S148 , 2011 |
2011 |
| The ENSEMBLES downscaling portal |
|
2011 |
| Resúmenes de artículos publicados recientemente en otras revistas |
Annals d'oftalmologia: òrgan de les Societats d'Oftalmologia de Catalunya … , 2011 |
2011 |
| Abchir, Mohammed-Amine 413 Aguiló, I. 125 |
Advances in Intelligent and Soft Computing 107 6, 425 , 2011 |
2011 |
| More precise yet widely applicable cost analysis |
Verification, Model Checking, and Abstract Interpretation: 12th … , 2011 |
2011 |
| Programa investigaciones en economía pesquera del INIDEP. Enfoque y avances |
Fondo Editorial Fundación Sonora , 2011 |
2011 |
| Fixed or variable demand?: does it matter when locating a facility? |
Proceedings of OR Peripatetic Post-Graduate Programme (ORP3-2011): Cádiz … , 2011 |
2011 |
| UNA VISIÓN INICIAL AL PARADIGMA ORIENTADO A ASPECTOS: LA NAVEGACIÓN |
Centro de Investigaciones Turísticas (CITUR) 1 (1), 15 , 2011 |
2011 |
| GESTIÓN E INFORMÁTICA: UNIÓN DE CONCEPTOS CLAVE PARA MEJORAR LOS PROCESOS EMPRESARIALES |
Centro de Investigaciones Turísticas (CITUR) 1 (2), 20 , 2011 |
2011 |
| PET: a partial evaluation-based test case generation tool for Java bytecode |
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and … , 2010 |
2010 |
| Liberal typing for functional logic programs |
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai … , 2010 |
2010 |
| Dose attenuation by a carbon fiber linac couch and modeling with a treatment planning system |
Revista de fisica medica 11 (3), 193-198 , 2010 |
2010 |
| Multitemporal InSAR analysis at Betic-Rif arc: transient and steady state ground deformation style varieties |
AGU Fall Meeting Abstracts 2010, G23A-0817 , 2010 |
2010 |
| Medida de la atenuación producida por la mesa de tratamiento de un acelerador lineal y su modelado en un sistema de planificación |
Revista de Física Médica 11 (3) , 2010 |
2010 |
| Viabilitat per a la inclusió d'estudiants amb problemes auditius greus als centres escolars |
|
2010 |
| 146 PROGNOSTIC VALUE OF RELATIVE ADRENAL INSUFFICIENCY IN DECOMPENSATED CIRRHOSIS |
Journal of Hepatology 52, S65 , 2010 |
2010 |
| Automatic inference of acyclicity |
Technical report , 2010 |
2010 |
| 145 EARLY MARKERS OF BACTERIAL INFECTION IN LIVER CIRRHOSIS |
Journal of Hepatology, S65 , 2010 |
2010 |
| Parametric inference of memory requirements for garbage collected languages |
ACM Sigplan Notices 45 (8), 121-130 , 2010 |
2010 |
| Situación clínica en odontología |
Consulta de difusión veterinaria 18 (169), 68-70 , 2010 |
2010 |
| Implementing type classes using type-indexed functions |
TPF , 2010 |
2010 |
| Parametric Inference of Memory Requirements for Garbage Collected Languages |
ACM , 2010 |
2010 |
| Poriferos del Banco de Galicia recolectados durante la expedición ECOMARG 09 |
Centro Oceanográfico de Gijón , 2010 |
2010 |
| La finalidad no lucrativa de las asociaciones |
Cuadernos de investigación y jurisprudencia, revista editada por el Poder … , 2010 |
2010 |
| Generic Functional Logic Programs |
Technical Report SIC-03-10, Universidad Complutense de Madrid , 2010 |
2010 |
| A two-level evolutionary algorithm for solving the leader-follower problem on the plane with variable demand |
GLOBAL OPTIMIZATION WORKSHOP, 131-135 , 2010 |
2010 |
| The acyclicity inference of COSTA |
11th International Workshop on Termination , 2010 |
2010 |
| PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode |
ACM , 2010 |
2010 |
| From Termination to Cost (in Object-Oriented Languages |
Informatica , 2010 |
2010 |
| FC-01 OOCYTE VITRIFICATION IS A GOOD OPTION TO PREVENT OHSS |
Reproductive BioMedicine Online, S47 , 2010 |
2010 |
| COMPOSICIÓN TAXONÓMICA Y OTRAS CARACTERÍSTICAS QUE DISTINGUEN LAS COMUNIDADES DE AVES DE LOS BOSQUES SEMIDECIDUOS DE MIL CUMBRES |
Revista Forestal Baracoa , 2010 |
2010 |
| Tubercular abscesses following instillation in an elderly patient: case report |
Reactions 1293, 20 , 2010 |
2010 |
| New results on type systems for functional logic programming |
Functional and Constraint Logic Programming: 18th International Workshop … , 2010 |
2010 |
| From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis |
Springer Verlag , 2010 |
2010 |
| Ground-based Search of Earth-mass Exoplanets using Transit-Timing Variations |
Pathways Towards Habitable Planets 430, 426 , 2010 |
2010 |
| MICROSTRUCTURES OF COPPER ALUMINIUM ALLOY AS CAST IN NODULAR IRON DIE AT DIFFERENT PRE-HEATING TEMPERATURES |
METALURGIA INTERNATIONAL 15 (10), 18-21 , 2010 |
2010 |
| Las presidencias del Castillo Azul |
San José , 2010 |
2010 |
| C02 Analysis of the instability of the CAG trinucleotide repeat and the age of onset in a Huntington's disease population from the Basque country |
Journal of Neurology, Neurosurgery & Psychiatry 81 (Suppl 1), A16-A16 , 2010 |
2010 |
| Test case generation for object-oriented imperative languages in CLP |
Theory and Practice of Logic Programming 10 (4-6), 659-674 , 2010 |
2010 |
| Environmental energetic model for the Energy industry in Spain |
RE&PQJ 8 (1) , 2010 |
2010 |
| Generador automático de casos de prueba unitarios para Junit |
|
2010 |
| From object fields to local variables: a practical approach to field-sensitive analysis |
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France … , 2010 |
2010 |
| Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP |
Informatica , 2010 |
2010 |
| Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface |
|
2010 |
| PP-25 EMBRYO QUALITY AFTER OOCYTE VITRIFICATION |
Reproductive BioMedicine Online, S59 , 2010 |
2010 |
| Compositional CLP-based Test Data Generation for Imperative Languages |
Springer Verlag , 2010 |
2010 |
| The CMS experiment: on and under ground motions of structures due to the magnetic field forces as observed by the link alignment system |
|
2010 |
| Comparing cost functions in resource analysis |
Foundational and Practical Aspects of Resource Analysis: First International … , 2010 |
2010 |
| This volume contains the proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008). The workshop was held in the Castle of … |
Electronic Notes in Theoretical Computer Science 237, 1-2 , 2009 |
2009 |
| Economía básica para la gestión empresarial |
Perú: CULTURA y EMPRESA , 2009 |
2009 |
| Formal Techniques for Java-Like Programs: Report on the 10th Workshop FTfJP at ECOOP 2008 |
Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops … , 2009 |
2009 |
| Decompilation of Java bytecode to Prolog by partial evaluation |
Information and Software Technology 51 (10), 1409-1427 , 2009 |
2009 |
| 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) |
arXiv preprint arXiv:0903.1598 , 2009 |
2009 |
| Field-sensitive value analysis by field-insensitive analysis |
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands … , 2009 |
2009 |
| Termination and Cost Analysis with COSTA and its User Interfaces |
Elsevier , 2009 |
2009 |
| A declarative encoding of telecommunications feature subscription in SAT |
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of … , 2009 |
2009 |
| VizieR Online Data Catalog: Transits of 12 new exoplanet candidates (Pietrukowicz+, 2010) |
VizieR Online Data Catalog, J/A+ A/509/A4 , 2009 |
2009 |
| Using Semantic Web, Web 2.0 and Geolocation Methods to Develop a Decision Support System to Locate Doctors |
|
2009 |
| Advances in type systems for functional logic programming |
|
2009 |
| Type-based homeomorphic embedding for online termination |
Information processing letters 109 (15), 879-886 , 2009 |
2009 |
| Increased peripheral proinflammatory cytokines in HIV-1-infected patients with prolonged viral suppression suffering from high psychological stress |
|
2009 |
| Advances in type systems for functional logic programming |
Functional and (Constraint) Logic Programming, 157 , 2009 |
2009 |
| Introduction to IP over WDM |
Springer , 2009 |
2009 |
| Asymptotic resource usage bounds |
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul … , 2009 |
2009 |
| Live Heap Space Analysis for Languages with Garbage Collection |
ACM , 2009 |
2009 |
| Live heap space analysis for languages with garbage collection |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| Resource Usage Analysis and its Application to Resource Certification (Part II) |
|
2009 |
| Termination and cost analysis with COSTA and its user interfaces |
Electronic Notes in Theoretical Computer Science 258 (1), 109-121 , 2009 |
2009 |
| Electromagnetic fields in the industrial environment |
|
2009 |
| Análisis de parentescos mediante el uso de marcadores moleculares |
Genética y genómica en acuicultura, 243-308 , 2009 |
2009 |
| Correctores automáticos de programas: implantación realista en la docencia universitaria |
Actas del II Seminario de Investigación en Tecnologías de la Información … , 2009 |
2009 |
| Advances in type systems for functional-logic programming (extended version) |
|
2009 |
| City brands and their communication through websites: Identification of problems and propoals for improvement |
Information Communication Technologies and City Marketing: Digital … , 2009 |
2009 |
| Field-Sensitive Value Analysis by Field-Insensitive Analysis |
Springer Verlag , 2009 |
2009 |
| REVISION BIBLIOGRÁFICA |
Archivos de Medicina Veterinaria 41 (2) , 2009 |
2009 |
| GEOGRAPHICAL INFORMATION SYSTEMS AS TOOLS FOR THE ELABORATION OF ICZM POLICIES |
Coastal Engineering 2008: (In 5 Volumes), 4090-4098 , 2009 |
2009 |
| Upper Bounds on Memory Usage for Garbage-Collected Languages |
Informatica , 2009 |
2009 |
| Cómo crear una marca. Manual de uso y gestión |
Córdoba, España: Almuzara , 2009 |
2009 |
| Transformación y análisis de código de bytes orientado a objetos |
Transformación y análisis de código de bytes orientado a objetos , 2009 |
2009 |
| Reconstrucción (CUPCAM 2007, problema G, solución) |
Novática: Revista de la Asociación de Técnicos de Informática 199, 75-76 , 2009 |
2009 |
| Seasonal Predictability and Dynamical Downscaling in Spain using ECMWF-System3 and RCA Models |
EGU General Assembly Conference Abstracts, 9000 , 2009 |
2009 |
| On the generation of test data for prolog by partial evaluation |
arXiv preprint arXiv:0903.2199 , 2009 |
2009 |
| VizieR Online Data Catalog: Variable stars in a VLT/VIMOS field in Carina (Pietrukowicz+ 2009) |
VizieR Online Data Catalog, J/A+ A/503/651 , 2009 |
2009 |
| Cost relation systems: A language-independent target language for cost analysis |
Electronic Notes in Theoretical Computer Science 248, 31-46 , 2009 |
2009 |
| Live heap space analysis for languages with garbage collection |
Proceedings of the 2009 international symposium on Memory management, 129-138 , 2009 |
2009 |
| La eficacia del emplazamiento de productos entre los ni nos: una prueba experimental |
Quaderns del CAC, 31-32 , 2009 |
2009 |
| Papel de la cirugía mínimamente invasiva en el manejo del carcinoma broncogénico |
Revista de Patología Respiratoria 12 (1), 43-47 , 2009 |
2009 |
| Resource usage analysis and its application to resource certification |
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial … , 2009 |
2009 |
| Refractory GvHD in a preadolescent with long-term resolution |
BONE MARROW TRANSPLANTATION 41, S136-S136 , 2008 |
2008 |
| Química Analítica Experimental EUNA |
Heredia , 2008 |
2008 |
| Intravenous iron efficacy on transfusional needs of the non-anaemic elderly patients with hip fractures: 6AP1-5 |
European Journal of Anaesthesiology| EJA 25, 81-82 , 2008 |
2008 |
| A practical type analysis for verification of modular prolog programs |
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and … , 2008 |
2008 |
| Serie de 618 casos de J. gammapatías monoclonales de significado indeterminado (GMSI): factores predictivos de desaparición del componente monoclonal o de evolución a … |
Rev Clin Esp 208 (6), 288-94 , 2008 |
2008 |
| El proyecto europeo Eureca. Hacia la sostenibilidad de las razas autóctonas europeas de ganado bovino |
Feagas, 37-39 , 2008 |
2008 |
| COSTA : Design and Implementation of a Cost and Termination Analyzer for Java Bytecode |
Formal Methods for Components and Objects: 6th International Symposium, FMCO … , 2008 |
2008 |
| Upper Bounds of Resource Usage for Java Bytecode using COSTA and its Web Interface |
Workshop on Resource Analysis , 2008 |
2008 |
| Efecto de los parámetros ambientales y productivos sobre la calidad seminal de machos seleccionados por alta velocidad de crecimiento |
XXXIII Symposium de cunicultura, 46-50 , 2008 |
2008 |
| Genetic polymorphisms of renin-angiotensin system (RAS) influence the antiproteinuric response to ultra-high dose of Olmesartan |
JOURNAL OF HYPERTENSION 26, S129-S129 , 2008 |
2008 |
| Automatic inference of upper bounds for recurrence relations in cost analysis |
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain … , 2008 |
2008 |
| Test Data Generation of Bytecode by CLP Partial Evaluation |
Springer Verlag , 2008 |
2008 |
| QuickOpt (R): A new algorithm for automatic atrio-ventricular delay optimization in pacemakers. A short-time follow-up study |
CIRCULATION 118 (12), E325-E326 , 2008 |
2008 |
| La química en el aula: entre la ciencia y la magia |
Universidad Politécnica de Cartagena (UPCT), Departamento de Ingeniería … , 2008 |
2008 |
| Correctores automáticos de programas: Implantación realista en la docencia universitaria |
Actas del II Seminario de Investigación en Tecnologías de la Información … , 2008 |
2008 |
| Thrombophilic disorders: the link between migraine, atrial septal abnormalities and stroke? |
JOURNAL OF NEUROLOGY 255, 49-49 , 2008 |
2008 |
| Identification of Andes Hantavirus in Rattus norvegicus Identificación de Hantavirus Andes en Rattus norvegicus |
|
2008 |
| Abstraction-carrying code: a model for mobile code safety |
New Generation Computing 26, 171-204 , 2008 |
2008 |
| ESTUDIO CLINICO OBSERVACIONAL DE PACIENTES CON PATOLOGIA DUAL ENTRATAMIENTO CON RISPERIDONA DEPOT |
ADICCIONES-PALMA DE MALLORCA- 20, 184 , 2008 |
2008 |
| Estrategias para la conservación de razas autóctonas. La raza bovina avileña-negra ibérica |
Feagas, 40-44 , 2008 |
2008 |
| Nickel sensitisation in shoemakers in Spain |
Allergy 63, 445-445 , 2008 |
2008 |
| Risk perception and cultural theory: Criticism and methodological orientation |
Safety, Reliability and Risk Analysis, 1433-1440 , 2008 |
2008 |
| Patologías en las organizaciones |
España: Lid Editorial , 2008 |
2008 |
| Constancy analysis |
Formal Techniques for Java-like Programs (FTfJP), 100 , 2008 |
2008 |
| Diseño de una red de voz sobre IP para una empresa que desarrolla proyectos de ingenieria de comunicaciones |
Lima: PUCP , 2008 |
2008 |
| ACAP (TM) Confirm: A new algorithm based on evoked-response detection for atrial capture control. A short-time follow-up study |
CIRCULATION 118 (12), E269-E269 , 2008 |
2008 |
| Pharmacokinetics of FVIII in clinical practice: resource optimization and effect on health and quality of life in hemophilia A |
HAEMOPHILIA 14, 13-13 , 2008 |
2008 |
| Virus y fitoplasmas en el cultivo del maíz (Zea mays, L.) en Cuba |
Fitosanidad 12 (4), 3-6 , 2008 |
2008 |
| Análisis y verificación de programas modulares |
Análisis y verificación de programas modulares , 2008 |
2008 |
| Inferring non-suspension conditions for logic programs with dynamic scheduling |
ACM Transactions on Computational Logic (TOCL) 9 (3), 1-43 , 2008 |
2008 |
| Dealing with numeric fields in termination analysis of java-like languages |
Formal Techniques for Java-like Programs (FTfJP), 77 , 2008 |
2008 |
| Functional and structural echocardiographic effects of high versus ultrahigh doses of Irbesartan in hypertensive cardiopathy |
JOURNAL OF HYPERTENSION 26, S254-S254 , 2008 |
2008 |
| Termination analysis of Java bytecode |
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 … , 2008 |
2008 |
| Synthesis and characterization of Cu 3 TaIn 3 Se 7 and CuTa 2 InTe 4 |
Physica Status Solidi. A, Applications and Materials Science 205 (7), 1552-1559 , 2008 |
2008 |
| Type 2 diabetes and nephroangiosclerosis: Long-term effects on renal function and cardiovascular risk profile of a intensive multifactorial treatment |
JOURNAL OF HYPERTENSION 26, S291-S292 , 2008 |
2008 |
| A handheld game console as a companion for elder people |
Gerontechnology 7 (2 s 101) , 2008 |
2008 |
| The COSTA cost and termination analyzer for java bytecode and its web interface (tool demo) |
22nd European Conference on Object-Oriented Programming (ECOOP’08) , 2008 |
2008 |
| Severe GvHD and severe thrombotic microangyopathy in a 9-year-old boy: A story with a happy end |
BONE MARROW TRANSPLANTATION 41, S142-S142 , 2008 |
2008 |
| Modular decompilation of low-level code by partial evaluation |
2008 Eighth IEEE International Working Conference on Source Code Analysis … , 2008 |
2008 |
| COSTA: a cost and termination analyzer for Java Bytecode |
Proc. of BYTECODE Workshop, ENTCS. Elsevier , 2008 |
2008 |
| Test data generation of bytecode by CLP partial evaluation |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2008 |
2008 |
| status solid |
phys. stat. sol.(a) 205 (7), 1552-1559 , 2008 |
2008 |
| Removing useless variables in cost analysis of Java bytecode |
Proceedings of the 2008 ACM symposium on Applied computing, 368-375 , 2008 |
2008 |
| Spontaneous bacterial peritonitis—A disease of the gut? Therapeutic implications |
Liver Cirrhosis: From Pathophysiology to Disease Management, 267-279 , 2008 |
2008 |
| Caracterización genética de la raza Monchina |
|
2007 |
| Uso de hardware gráfico para la aceleración de métodos algebraicos de recontrucción |
|
2007 |
| (146) Management of a Drug Packer in Emergencies |
Prehospital and Disaster Medicine 22 (S1), S85-S85 , 2007 |
2007 |
| Caracterización de las Arcillas Esmectíticas de la Formación Honda al Noreste del Tolima y su Potencial Aplicación como Catalizadores |
XI congreso de Geología , 2007 |
2007 |
| Observational study of 37 patients with restless legs syndrome |
JOURNAL OF NEUROLOGY 254, 51-51 , 2007 |
2007 |
| Diseño, obtención y estudio de nuevas formulaciones de recubrimientos abradales de ALSi mediante proyección plasma atmosférico |
Soldadura y tecnologías de unión 18 (103), 22-25 , 2007 |
2007 |
| Cost analysis of java bytecode |
Programming Languages and Systems: 16th European Symposium on Programming … , 2007 |
2007 |
| Concepções dos treinadores acerca dos conhecimentos e competências no exercício da função e de acordo com o gênero e a experiência |
CONGRESSO INTERNACIONAL DE JOGOS DESPORTIVOS 1 , 2007 |
2007 |
| Incidence and evolution of monoclonal gammopathy of undetermined significance (MGUS) in isanitary area |
HAEMATOLOGICA-THE HEMATOLOGY JOURNAL 92, 386-386 , 2007 |
2007 |
| I MAR-TÍNEZ |
IJ,«Diabetic macular edema and its relationship to renl microangiopathy: a … , 2007 |
2007 |
| GP 13.16 Vacuolar myopathies. A morphological approach |
Neuromuscular Disorders 17 (9), 853 , 2007 |
2007 |
| 18: Autologous peripheral blood stem cell transplant using busulfan, etoposide, high dose Ara-C, and G-CSF priming as conditioning regimen in patients with acute myeloid … |
Biology of Blood and Marrow Transplantation 13 (2), 9 , 2007 |
2007 |
| Management of ascites and spontaneous bacterial peritonitis |
Chronic Hepatitis: Metabolic Cholestatic, Viral and Autoimmune, 194-209 , 2007 |
2007 |
| Some Issues on Incremental Abstraction-Carrying Code |
arXiv preprint cs/0701111 , 2007 |
2007 |
| Solving a Huff-like Stackelberg Location Problem Rigorously |
|
2007 |
| Improving the decompilation of Java bytecode to Prolog by partial evaluation |
Electronic Notes in Theoretical Computer Science 190 (1), 85-101 , 2007 |
2007 |
| Peripheral blood stem cells mobilization failure in children: should we try again? |
BONE MARROW TRANSPLANTATION 39, S303-S303 , 2007 |
2007 |
| A generic framework for the cost analysis of java bytecode |
Spanish Conference on Programming and Computer Languages (PROLE’07) , 2007 |
2007 |
| Experiments in cost analysis of Java bytecode |
Electronic Notes in Theoretical Computer Science 190 (1), 67-83 , 2007 |
2007 |
| Termination analysis of logic programs through combination of type-based norms |
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es , 2007 |
2007 |
| Verification of Java bytecode using analysis and transformation of logic programs |
Practical Aspects of Declarative Languages: 9th International Symposium … , 2007 |
2007 |
| Vademécum de valores biomédicos normales |
La Habana: ECIMED, 138-40 , 2007 |
2007 |
| COMPROBACION DE LOS SISTEMAS AVIONICOS DIGITALES: TECNICA DE LAS DIFERENCIAS DE BOOLE |
INGENIERIA AERONAUTICA Y ASTRONAUTICA 379, 8 , 2007 |
2007 |
| Norfloxacin prophylaxis effective against bacterial peritonitis |
Inpharma 1610, 20 , 2007 |
2007 |
| [Study of morpho-abnormalities in autochthonous cattle breeds of Cantabria [Spain]: Monchina and Tudanca cattle breeds] |
Congreso Nacional de Zootecnia, 1., Madrid (España), 25-26 Oct 2007 , 2007 |
2007 |
| Migraine and atrial septal abnormalities in young patients with cryptogenic stroke |
JOURNAL OF NEUROLOGY 254, 48-48 , 2007 |
2007 |
| Is renal failure a predicting factor of poor evolution in acute stroke? |
JOURNAL OF NEUROLOGY 254, 87-87 , 2007 |
2007 |
| Committee on Small Body Nomenclature (Comité Pour La Nomenclature Des Petits Corps Célestes) |
Transactions of the International Astronomical Union 25 (2), 113-114 , 2007 |
2007 |
| Milli-magnitude IR Planetary Transit Detection: OGLE-TR-113 |
VI Reunion Anual Sociedad Chilena de Astronomia (SOCHIAS), 77 , 2007 |
2007 |
| Applications of Static Slicing in Cost Analysis of Java Bytecode |
International Workshop on Programming Language Interference and Dependence … , 2007 |
2007 |
| Heap space analysis for Java bytecode |
Proceedings of the 6th international symposium on Memory management, 105-116 , 2007 |
2007 |
| La Cova del Bolomor (Tavernes de la Valldigna, Valencia) |
Serie Trabajos Varios del SIP 108 , 2007 |
2007 |
| Type-based homeomorphic embedding and its applications to online partial evaluation |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2007 |
2007 |
| Analysis of mortality after admission to an acute geriatric unit: influence of functional dependency |
REVISTA ESPANOLA DE GERIATRIA Y GERONTOLOGIA 42 (4), 212 , 2007 |
2007 |
| Evaluación de diferentes concentraciones de algunos reguladores de crecimiento en la multiplicación y enraizamiento in vitro de Limonium var. Misty blue. |
Universidad Nacional de Colombia , 2007 |
2007 |
| Consensus on the treatment of asthma in pediatrics |
Anales de pediatria (Barcelona, Spain: 2003) 67 (3), 253-273 , 2007 |
2007 |
| Estudio de morfoanomalías de razas autóctonas bovinas de Cantabria: razas Monchina y Tudanca |
|
2007 |
| Genetic characterization of Monchina cattle breed |
Congreso Nacional de Zootecnia, 1., Madrid (España), 25-26 Oct 2007 , 2007 |
2007 |
| Primeros datos sobre el poblado neolítico del Prat de Cabanes (Cabanes, Castellón) |
Actas do IV Congresso de Arqueologia Peninsular (Faro, 2004) 4, 197-206 , 2006 |
2006 |
| Sostenibilidad energética y alimentaria en base a la biomasa |
Humanidades, Ingeniería y Arquitectura: ciclo de conferencias: décimo ciclo … , 2006 |
2006 |
| Effect of intensive treatment with atorvastatin versus standard doses of statins on the risk of stroke. A meta-analysis of 5 randomized trials including 25,709 patients |
EUROPEAN HEART JOURNAL 27, 856-856 , 2006 |
2006 |
| Experiments in context-sensitive analysis of modular programs |
Logic Based Program Synthesis and Transformation: 15th International … , 2006 |
2006 |
| T-GameL3: Development of an interdisciplinary lifelong e-learning experience in an international context |
Proceedings of the 5th European Conference on elearning: ECEL, 46 , 2006 |
2006 |
| Generation of Reduced Certificates in Abstraction-Carrying Code |
PROLE’06, 77 , 2006 |
2006 |
| Validación de la colección nuclear de judías del CRF-INIA con la asistencia de caracteres morfológicos y proteínas de semilla |
Nuevos retos y oportunidades de las leguminosas en el sector agroalimentario … , 2006 |
2006 |
| Detection of Extrasolar Planets with Transits |
Revista Mexicana de Astronomia y Astrofisica Conference Series 26, 153 , 2006 |
2006 |
| Detecting determinacy in Prolog programs |
International Conference on Logic Programming, 132-147 , 2006 |
2006 |
| Th-P16: 325 A comparison of the effects of D-003 and policosanol (5 and 10 mg/d) in patients with type II hypercholesterolemia: A randomized, double-blinded study |
Atherosclerosis (Supplements)(Component) 3 (7), 565 , 2006 |
2006 |
| Incremental certificates and checkers for abstraction-carrying code |
Sixth Workshop on Issues in the Theory of Security , 2006 |
2006 |
| A longitudinal study of variables related to fibromyalgia in young people |
PSYCHOLOGY & HEALTH 21, 53-53 , 2006 |
2006 |
| Millimagnitude optical transit photometry for extrasolar planet host OGLE-TR-113 |
Boletin de la Asociacion Argentina de Astronomia La Plata Argentina 49, 106 , 2006 |
2006 |
| Validación de la colección nuclear de judías del CRF-INIA [Centro de Recursos Fitogenéticos-Instituto Nacional de Investigación y Tecnología Agraria y Alimentaria, España] con … |
|
2006 |
| [Validation of CRF-INIA [Phytogenetic Resources Center-National Institute of Agrarian and Food Research and Technology, Spain] common bean core collection using morphological … |
Jornadas de la Asociación Española de Leguminosas, 2., Cuenca (España), 25 … , 2006 |
2006 |
| Intraoperative technical complications in stapling with mechanical suture in laparoscopic gastric bypass |
OBESITY SURGERY 16 (2), 239-239 , 2006 |
2006 |
| A randomized open-label study comparing the impact of reducing the dose of stavudine versus switching to tenofovir on plasma lipids, body composition and mitochondrial function … |
ANTIVIRAL THERAPY 11 (7), L49-L50 , 2006 |
2006 |
| Abstract interpretation with specialized definitions |
International Static Analysis Symposium, 107-126 , 2006 |
2006 |
| Aspectos medioambientales en el planeamiento urbano |
IMU: Ingeniería municipal, 37-44 , 2006 |
2006 |
| Mapa Digital de Suelos: Provincia de Granada |
Dirección General para la Biodiversidad, Ministerio de Medio Ambiente, Madrid , 2006 |
2006 |
| Escenarios de Explotación en un área Inmadura de Producción: Campo Oritupano 600-700, Cuenca Oriental de Venezuela. |
9th Simposio Bolivariano-Exploracion Petrolera en las Cuencas Subandinas, cp … , 2006 |
2006 |
| Context-sensitive multivariant assertion checking in modular programs |
Logic for Programming, Artificial Intelligence, and Reasoning: 13th … , 2006 |
2006 |
| T-cells Apoptosis induced by Allergens |
Journal of Allergy and Clinical Immunology 117 (2), S330 , 2006 |
2006 |
| On Abstraction-Carrying Code and Certificate-Size Reduction |
Emerging Applications of Abstract Interpretation , 2006 |
2006 |
| Experiments in context-sensitive analysis of modular programs |
Springer Berlin Heidelberg , 2006 |
2006 |
| El laboratorio en el Diagnóstico Clínico |
Rev. diagn. biol, 112-114 , 2006 |
2006 |
| Reduced certificates for abstraction-carrying code |
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA … , 2006 |
2006 |
| An incremental approach to abstraction-carrying code |
Logic for Programming, Artificial Intelligence, and Reasoning: 13th … , 2006 |
2006 |
| La quantica de Klein |
Bayer-Nan-Quer , 2006 |
2006 |
| EMPLEO DE LA LOGICA COMPLEMENTARIA PARA RESOLVER EL PROBLEMA DE LOS" FALLOS DE MODO COMUN" EN LOS SISTEMAS AVIONICOS |
INGENIERIA AERONAUTICA Y ASTRONAUTICA 377, 43 , 2006 |
2006 |
| Prevalence of fibromyalgia in young people |
PSYCHOLOGY & HEALTH 21, 44-45 , 2006 |
2006 |
| Three interesting transits: OGLE-TR-109, OGLE-TR-111, and OGLE-TR-113 |
Tenth Anniversary of 51 Peg-b: Status of and prospects for hot Jupiter … , 2006 |
2006 |
| Relations between variability in the Mediterranean region and mid-latitude variability |
Mediterranean climate variability. Elsevier, Amsterdam, pp 179226UNWTO … , 2006 |
2006 |
| On sulution methods to generate Stackelberg equilibria of a Huff based location problem |
|
2006 |
| On solution methods to solve a Huff based competitive location problem |
|
2006 |
| Milli-magnitude IR Transit Detection: OGLE-TR-113 |
Revista Mexicana de Astronomia y Astrofisica Conference Series 26, 156 , 2006 |
2006 |
| 2186: Transperineal Implanation of Hyaluronic Acid in the Anterior Perirectal Fat as Protector to the Rectal Wall from Radiation Treatment for Prostate Cancer Patients |
International Journal of Radiation Oncology, Biology, Physics 66 (3), S312-S313 , 2006 |
2006 |
| Information flow analysis for java bytecode |
International Workshop on Verification, Model Checking, and Abstract … , 2005 |
2005 |
| Millimagnitude photometry for OGLE transiting extrasolar planetary transits |
Boletin de la Asociacion Argentina de Astronomia La Plata Argentina 48, 13-18 , 2005 |
2005 |
| Committee for Small Body Nomenclature |
Proceedings of the International Astronomical Union 1 (T26A), 175-177 , 2005 |
2005 |
| Akita, M., see Nishii, K.(231) 241 Alıcı, B., Ozdemir, I., Karaaslan, K., Cetinkaya, E. and Cetinkaya, B. Synthesis and catalytic properties of 1-alkylperimidineruthenium (II … |
Journal of Molecular Catalysis A: Chemical 231, 265-266 , 2005 |
2005 |
| Abstraction carrying code and resource-awareness |
Proceedings of the 7th ACM SIGPLAN international conference on Principles … , 2005 |
2005 |
| Progenitor cells: From basic science to clinical application |
JOURNAL OF ENDOVASCULAR THERAPY 12, 38-39 , 2005 |
2005 |
| Abstraction-carrying code |
Logic for Programming, Artificial Intelligence, and Reasoning: 11th … , 2005 |
2005 |
| Efecto de la fertilización nitrogenada sobre la acumulación de nitrato en distintas accesiones de Moricandia arvensis L.(Cruciferae) |
|
2005 |
| Autoimmune hepatitis in a patient with uveitis |
Gastroenterologia y Hepatologia 28 (10), 656-657 , 2005 |
2005 |
| Inferring termination conditions for logic programs using backwards analysis |
Theory and Practice of Logic Programming 5 (1-2), 75-91 , 2005 |
2005 |
| An abstract interpretation-based approach to mobile code safety |
Electronic Notes in Theoretical Computer Science 132 (1), 113-129 , 2005 |
2005 |
| Converting one type-based abstract domain to another |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2005 |
2005 |
| Nuevos datos sobre el Neolítico en el Maestrazgo: el Abric del Mas de Martí (Albocàsser) |
III Congreso del Neolítico en la Península Ibérica (Santander, 5-8 ocubre de … , 2005 |
2005 |
| Randomized, multicenter, controlled trial comparing oral norfloxacin vs intravenous ceftriaxone in the prevention of bacterial infections in cirrhotics with severe liver … |
Gastroenterology 128 (4), A687-A688 , 2005 |
2005 |
| Thermophysical properties of monoglyme from ultrasonic measurements. |
Thermodynamics 2005, 154 , 2005 |
2005 |
| El Prat de Cabanes (Cabanes, Castelló). Un jaciment prehistòric del III mil· lenni (aC) |
Geomorfología litoral i Quaternari. Homenatge al profesor M. Rosselló i … , 2005 |
2005 |
| Study of in vitro T-cell response to penicillins |
Journal of Allergy and Clinical Immunology 115 (2), S33 , 2005 |
2005 |
| A generic framework for the analysis and specialization of logic programs |
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain … , 2005 |
2005 |
| Diseño Industrial |
Guía Metodológica. Fundación Prodintec. Centro Tecnológico para el Diseño y … , 2005 |
2005 |
| Operational semantics for declarative multi-paradigm languages |
Journal of Symbolic Computation 40 (1), 795-829 , 2005 |
2005 |
| Vademécum de protocolo y ceremonial deportivo |
Barcelona: Paidotribo , 2005 |
2005 |
| Effect of nitrogen fertilization on nitrate accumulation in different accesions of Moricandia arvensis L.(Cruciferae) |
MAPA, DGDR , 2005 |
2005 |
| Kaposi's sarcoma in a patient with polymyositis |
REUMATOLOGIA CLINICA 1 (2), 134 , 2005 |
2005 |
| Filtros de macrofitas en flotación |
Ayuntamiento de Murcia, Murcia , 2005 |
2005 |
| Non-leftmost unfolding in partial evaluation of logic programs with impure predicates |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2005 |
2005 |
| Determinacy Inference by Suspension Inference |
University of Kent, Computing Laboratory , 2005 |
2005 |
| Intraoperative brachytherapy technique of low dose rate with 125I in real time and by dynamic calculation |
RADIOTHERAPY AND ONCOLOGY 71, S100-S100 , 2004 |
2004 |
| Variation regarding the calibration certificate and uncertainties in the calibration of air-kerma strength reference (AKSR) of Amersham 6711 Iodine-125 seeds |
RADIOTHERAPY AND ONCOLOGY 71, S102-S102 , 2004 |
2004 |
| Abstract interpretation-based mobile code certification |
International Conference on Logic Programming, 446-447 , 2004 |
2004 |
| Experiments in abstract interpretation-based code certification for pervasive systems |
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat … , 2004 |
2004 |
| Dallera V, 279 Daniels JSM, 135 Danino A, 314 Deppe H, 211 Drebber U, 166 |
Journal of Cranio-Maxillofacial Surgery 32, 405-407 , 2004 |
2004 |
| Mapping Stratigraphy and Anomalies in Iron-Rich Volcanoclastics Using Ground-Penetrating Radar: Potential for Subsurface Exploration on Mars |
AGU Fall Meeting Abstracts 2004, P43A-0905 , 2004 |
2004 |
| Efficient local unfolding with ancestor stacks for full prolog |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2004 |
2004 |
| Determinación de la oferta forrajera consumible en aprovechamiento extensivo en un enclave característico del sur de la provincia de Albacete (Liétor) |
Jornadas sobre el medio natural albacetense, 183-193 , 2004 |
2004 |
| Topic 10-Parallel Programming: Models, Methods and Languages-Designing Parallel Operating Systems via Parallel Programming |
Lecture Notes in Computer Science 3149, 689-696 , 2004 |
2004 |
| Bayesian networks and influence diagrams as valid decision support tools in systolic heart failure management |
Computers in Cardiology, 2004, 181-184 , 2004 |
2004 |
| Modeling secure information flow with boolean functions |
IFIP WG 1, 55-66 , 2004 |
2004 |
| Comunicaciones y debates: Compensación desde el inicio de la escolarización |
El centro educativo como marco de la calidad: jornadas: Palacio Euskalduna … , 2004 |
2004 |
| Ejecución y control de estructuras de hormigón |
Madrid: INTEMAC, SA , 2004 |
2004 |
| Numerical Methods in Understanding the Performances of Radar Sounding Techniques: Multiple low Frequency Approach for Unambiguous Identification of Subsurface Water Saturated … |
AGU Fall Meeting Abstracts 2004, P13A-0985 , 2004 |
2004 |
| Computer modeling of protein's mechanical denaturation and translocation in an AAA plus degradation machine |
BIOPHYSICAL JOURNAL 86 (1), 618A-618A , 2004 |
2004 |
| Manipulación y edición de sonido digital |
|
2004 |
| A generic framework for context-sensitive analysis of modular programs |
Program Development in Computational Logic: A Decade of Research Advances in … , 2004 |
2004 |
| AMOS User's manual |
Technical University of Madrid (UPM) , 2004 |
2004 |
| The first succesful non-related umbilical cord blood transplant in Mexico |
TRANSFUSION 44 (9), 56A-56A , 2004 |
2004 |
| Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system |
Euro-Par 2004 Parallel Processing: 10th International Euro-Par Conference … , 2004 |
2004 |
| Humedales artificiales para depuración |
Manual de fitodepuración: filtros de macrófitas en flotación , 2004 |
2004 |
| A generic persistence model for (C) LP systems (and two useful implementations) |
Practical Aspects of Declarative Languages: 6th International Symposium … , 2004 |
2004 |
| 1459 Natural history of 312 consecutive patients with syncope and abnormal head-up tilt test |
European Heart Journal 5 (24), 265 , 2003 |
2003 |
| Time Equations for Lazy Functional (Logic) Languages. |
APPIA-GULP-PRODE, 13-24 , 2003 |
2003 |
| A generic persistence model for (C) LP systems |
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India … , 2003 |
2003 |
| New advances in the application of probiotics. |
|
2003 |
| Cyclic GMP-dependent protein kinase gene polymorphism and obesity |
OBESITY RESEARCH 11, A64-A64 , 2003 |
2003 |
| Infliximab thepary for resistant spondyloarthropaties |
ANNALS OF THE RHEUMATIC DISEASES 62, 474-474 , 2003 |
2003 |
| Hipema no traumático: una complicación poco frecuente del tratamiento con anticoagulantes orales |
Puesta al día en urgencias, emergencias y catástrofes 4 (3), 114-115 , 2003 |
2003 |
| Hematology. Cytokines, immunotherapy and cellular therapy |
REVISTA DE DIAGNOSTICO BIOLOGICO 52 (2), 105-106 , 2003 |
2003 |
| Intensive care unit admissions and clinical outcome of children undergoing stem cell transplantation: 11-year experience in a reference hospital |
BONE MARROW TRANSPLANTATION 31, S236-S236 , 2003 |
2003 |
| Robustez de los métodos de control de la consanguinidad en poblaciones de censo reducido ante situaciones prácticas |
ITEA (Información Técnica Económica Agraria). Producción Animal (España) , 2003 |
2003 |
| A note on the reuse of the results of a termination analysis based on polymorphic types |
Report CW 383 , 2003 |
2003 |
| Condiciones de vacío idóneas para el pelado enzimático de dos variedades tradicionales de naranja: mollar y navel thomson |
Alimentación, equipos y tecnología 22 (181), 108-112 , 2003 |
2003 |
| Variability of DJF moisture transport over the Mediterranean basin according to the NCEP/NCAR Reanalysis |
EGS-AGU-EUG Joint Assembly, 1316 , 2003 |
2003 |
| Contaminación de los suelos tras el vertido tóxico de Aznalcóllar |
Sevilla: Editorial Universidad de Granada y Consejería de Medio Ambiente … , 2003 |
2003 |
| 05-I-05 Light Weight Biomorphic Silicon Carbide-Based Ceramics for High Temperature Structural Applications |
??????????????????????? 16, 96 , 2003 |
2003 |
| Cumulative Contents for 2003 |
Virus Research 98, 187-195 , 2003 |
2003 |
| Ureteroenteric anastomoses. Our experience. The simpliest, the best |
ACTAS UROLOGICAS ESPANOLAS 27 (9), 713-717 , 2003 |
2003 |
| Goal-independent suspension analysis for logic programs with dynamic scheduling |
European Symposium on Programming, 84-98 , 2003 |
2003 |
| Bone mineral density and bone metabolism in human immunodeficiency virus-infected patients. |
ARTHRITIS AND RHEUMATISM 48 (9), S526-S526 , 2003 |
2003 |
| Abscesos múltiples en la musculatura femoral en un rebaño de producción intensiva de leche |
PR: pequeños rumiantes 4 (3), 28-30 , 2003 |
2003 |
| Trabajo de Investigación: Sistemas Eficientes de Análisis Estático para el Lenguaje Completo ISO Prolog |
|
2003 |
| Evaluación de la velocidad máxima en jóvenes atletas |
Lecturas: educación física y deportes 61 , 2003 |
2003 |
| The Relationship between Quality of Life and Different Models of Home Care among Terminal Cancer Patients in an Health Area of Madrid, Spain |
Revista Espanola de Salud Publica 77 (5), 567-579 , 2003 |
2003 |
| Serum and tissue markers of hepatic fibrosis in HCV reinfection in liver transplantation (LTx) |
LIVER TRANSPLANTATION 9 (6), C34-C34 , 2003 |
2003 |
| Letters to JMG |
|
2003 |
| Bone mineral metabolism in HIV infection |
ANNALS OF THE RHEUMATIC DISEASES 62, 521-521 , 2003 |
2003 |
| One loop at a time |
6th International Workshop on Termination, Date: 2003/06/13-2003/06/14 … , 2003 |
2003 |
| P420 Antiphospholipid syndrome with atypical presentation |
European Journal of Internal Medicine, S149 , 2003 |
2003 |
| Phase Behaviour of Refrigerant-Lubricant Mixtures |
20th European Symposium on Applied Thermodynamics, 223-226 , 2003 |
2003 |
| Long-term effects of policosanol on older hypertensive patients with type II hypercholesterolemia |
Heart, Lung and Circulation 2 (12), A40 , 2003 |
2003 |
| Proving termination one loop at a time |
Proc. WLPE 3 , 2003 |
2003 |
| Designer drug consumption among secondary school students in the Principality of Asturias (Spain) |
ADICCIONES-PALMA DE MALLORCA- 15, 31-38 , 2003 |
2003 |
| A residualizing semantics for the partial evaluation of functional logic programs |
Information Processing Letters 85 (1), 19-25 , 2003 |
2003 |
| 3D seismic interpretation of Plio-Pleistocene headless submarine canyons on the Ebro margin: implications for deepwater sand transport |
EGS-AGU-EUG Joint Assembly, 1169 , 2003 |
2003 |
| Precipitation downscaling through analog search in canonical coordinates |
EGS-AGU-EUG Joint Assembly, 3617 , 2003 |
2003 |
| A Deterministic Operational Semantics for Functional Logic Programs. |
APPIA-GULP-PRODE, 207- , 2002 |
2002 |
| Nuevos avances en la aplicacion de probioticos. E. faecium CECT 4515, efecto directo sobre la flora intestinal. |
Anaporc , 2002 |
2002 |
| Paresthesia and cyanosis of the third and fourth fingers of the left hand in a 51-year-old male patient |
REVISTA ESPANOLA DE REUMATOLOGIA 29 (1), 23-24 , 2002 |
2002 |
| Reuse of results in termination analysis of typed logic programs |
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain … , 2002 |
2002 |
| A Semantic Based Workbench for the Termination Analysis of Logic Programs |
Ben-Gurion University of the Negev , 2002 |
2002 |
| SISTEMAS AVIONICOS DIGITALES: DISENO PARA SU COMPROBACION |
INGENIERIA AERONAUTICA Y ASTRONAUTICA, 52-57 , 2002 |
2002 |
| Acrokeratoelastoidosis |
ACTA PEDIATRICA ESPANOLA 60 (4), 225-227 , 2002 |
2002 |
| New advances on probiotics application. E. faecium CECT 4515, direct effect on intestinal flora |
Anaporc (España) , 2002 |
2002 |
| The narrowing-driven approach to functional logic program specialization |
New Generation Computing 20 (1), 3-26 , 2002 |
2002 |
| Efecto de diferentes sustratos en la altura y superficie foliar de plántulas de cafeto cultivadas bajo sombra controlada |
Memorias: XIII Congreso Científico del INCA. La Habana-Cuba , 2002 |
2002 |
| Microzonificación sísmica de los suelos del Distrito Metropolitano de la Ciudad de Quito |
Escuela Politécnica Nacional del Ecuador, Quito , 2002 |
2002 |
| ASPECTOS BASICOS EN LA SELECCION/DISENO DE LA ARQUITECTURA DE UN SISTEMA FBW |
INGENIERIA AERONAUTICA Y ASTRONAUTICA, 26-31 , 2002 |
2002 |
| eVedior, el primer portal español B2B para la gestión de RR. HH |
Capital humano: revista para la integración y desarrollo de los recursos … , 2002 |
2002 |
| Toy: A multiparadigm declarative language |
Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación … , 2002 |
2002 |
| T OY: A Multiparadigm Declarative Language. Version 1.0. Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid |
Tech. Report SIP-119/00 , 2002 |
2002 |
| Operational semantics for functional logic languages |
Electronic Notes in Theoretical Computer Science 76, 1-19 , 2002 |
2002 |
| Descripción y evaluación de las vías clinicas en una red de hospitales públicas. |
Revista de calidad asistencial 17 (5), 267-272 , 2002 |
2002 |
| Utility of Cardiac Event Recorders in Diagnosing Arrhythmic Ethiology of Palpitations in Patients without Structural Heart Disease |
REVISTA ESPANOLA DE CARDIOLOGIA 55 (2), 107-112 , 2002 |
2002 |
| Cytokine profiles and cytotoxic markers in toxic epidermal necrolysis treated with and without corticoids |
The Journal of Allergy and Clinical Immunology 1 (109), S152 , 2002 |
2002 |
| Observations of Cometary Nuclei, from CASLEO |
Revista Mexicana de Astronomia y Astrofisica Conference Series 14, 103 , 2002 |
2002 |
| A numerical flow simulation of a mixed flow pump |
Elsevier , 2002 |
2002 |
| Acute/chronic GVHD after allogeneic transplantation in paediatric patients |
BONE MARROW TRANSPLANTATION 30, S62-S62 , 2002 |
2002 |
| Characterisation and viral safety validation of a double inactivated ATIII concentrate |
INTENSIVE CARE MEDICINE 28, S38-S38 , 2002 |
2002 |
| [Results of study about influence of olive tree on soil erosion (CAO98-011) project,[2]: Analysis of runoff erosion processes].[Spanish] |
1. Jornadas Tecnicas del Aceite de Oliva. Madrid (Espana). 23-24 Abr 2002. , 2002 |
2002 |
| CFD MODELING OF AIR PENETRATION INTO THE FUEL SUPPLY PIPELINE |
?????. ????, 78-83 , 2002 |
2002 |
| Intraductal papillary mucinous tumors of the pancreas: diagnostic and therapeutic approach |
Gastroenterologia y Hepatologia 25 (10), 597-600 , 2002 |
2002 |
| Terminweb: Semantic based termination analyser for logic programs |
|
2002 |
| TRIALS IN PEDIATRIC POPULATIONS-A Randomized, Double-Blind, Placebo-Controlled Study of the Efficacy and Tolerability of Policosanol in Adolescents with Type II … |
Current Therapeutic Research 63 (4), 286 , 2002 |
2002 |
| RECUERDO ANATÓMICO Y FISIOLÓGICO |
Manual de Logopedia, 59 , 2002 |
2002 |
| Combining norms to prove termination |
Verification, Model Checking, and Abstract Interpretation: Third … , 2002 |
2002 |
| Virus y fitoplasmas en el cultivo del maíz (Zea mays, L.) en Cuba |
Fitosanidad 6 (4), 3-6 , 2002 |
2002 |
| A numerical and experimental flow analysis in a centrifugal pump with impeller-volute interaction |
Elsevier , 2002 |
2002 |
| Virus y fitoplasmas en el cultivo del maíz (Zea mays, L.) en Cuba. Distribución y diagnóstico |
Fitosanidad 6 (4), 3-6 , 2002 |
2002 |
| Operational Semantics for Lazy Functional Logic Programs |
Proc. of Workshop on Reduction Strategies in Rewriting and Programming (WRS … , 2002 |
2002 |
| Cortical bone tissues interaction with calcium-phosphate laser-deposited titanium implants |
BONE 30 (3), 8S-8S , 2002 |
2002 |
| Diseno de una bomba centrifuga: analisis numerico y experimental |
15th Spanish Association of Mechanical Engineering National Conference , 2002 |
2002 |
| Asthmatic bronchitis: clinical presentation of a bronchial foreign body in an adolescent |
ACTA PEDIATRICA ESPANOLA 59 (6), 320-323 , 2001 |
2001 |
| OP0055 Sulfasalazine improves the number of flares of acute anterior uveitis over a one year period |
Annals of the Rheumatic Diseases 60 (Suppl 1), A137-A137 , 2001 |
2001 |
| The efficacy of Alendronate in postmenopausal osteoporotic women. |
JOURNAL OF BONE AND MINERAL RESEARCH 16, S526-S526 , 2001 |
2001 |
| Control biológico de Spodoptera frugiperda (JE Smith)(Lepidoptera: Noctuidae) con Bacillus thuringiensis Berliner (cepa LBT-24) en la provincia Granma, Cuba. I. |
Centro Agrícola 28 (3) , 2001 |
2001 |
| The CDF-II time-of-flight detector system |
2001 IEEE Nuclear Science Symposium Conference Record (Cat. No. 01CH37310) 2 … , 2001 |
2001 |
| Symbolic profiling for multi-paradigm declarative languages |
International Workshop on Logic-Based Program Synthesis and Transformation … , 2001 |
2001 |
| Agricultura de conservación más fácil con variedades Roundup Ready |
|
2001 |
| Easier conservation tillage adoption with Roundup Ready varieties |
8. Congreso de la Sociedad Española de Malherbología, León (España), 20-22 … , 2001 |
2001 |
| Source-Level Abstract Profiling of Multi-Paradigm Declarative Languages |
Proc. of Int’l Workshop on Logic-based Program Synthesis and Transformation … , 2001 |
2001 |
| Worst-case groundness analysis using definite Boolean functions |
Theory and Practice of Logic Programming 1 (5), 611-615 , 2001 |
2001 |
| Inferring termination conditions for logic programs using backwards analysis |
International Conference on Logic for Programming Artificial Intelligence … , 2001 |
2001 |
| Texts anthology in the" Peñalara" journal |
Serie Histórica-Organismo Autónomo Parques Nacionales (España) , 2001 |
2001 |
| Easier conservation agriculture with Roundup Ready® varieties. |
|
2001 |
| Gestión eficiente de comunidades de regantes |
Automática e instrumentación, 76-79 , 2001 |
2001 |
| The def-inite approach to dependency analysis |
European Symposium on Programming, 417-431 , 2001 |
2001 |
| A practical partial evaluator for a multi-paradigm declarative language |
International Symposium on Functional and Logic Programming, 326-342 , 2001 |
2001 |
| Diseño Industrial: Guía metodológica |
Asturias, España: Editorial Predica , 2001 |
2001 |
| Measuring the effectiveness of partial evaluation in functional logic languages |
Logic Based Program Synthesis and Transformation: 10th International … , 2001 |
2001 |
| Agent Programming in Ciao Prolog |
Portuguese Conference on Artificial Intelligence, 1-2 , 2001 |
2001 |
| AEP utilization in the emergency department of a hospital |
ANALES DE MEDICINA INTERNA-MADRID-ORGANO OFICIAL DE LA SOCIEDAD ESPANOLA DE … , 2001 |
2001 |
| 'In memoriam'. Dr. Javier Espinar |
REVISTA DE NEUROLOGIA 32 (6), 541-541 , 2001 |
2001 |
| Agricultura de conservación más fácil con variedades Roundup Ready® |
Congreso 2001 Sociedad Espan~ola de Malherbologi´a: actas, Leo´n, 20, 21 y 22 … , 2001 |
2001 |
| Modes of winter precipitation variability in the North Atlantic |
|
2001 |
| Partial evaluation of multi‐paradigm declarative languages |
AI Communications 14 (4), 235-237 , 2001 |
2001 |
| Manual de fitodepuración, filtros de macrófitas en flotación |
Madrid: Universidad Politécnica de Madrid , 2001 |
2001 |
| A configuration framework to develop and deploy distributed logic applications |
ICLP01 Colloquium on Implementation of Constraint and LOgic Programming … , 2001 |
2001 |
| Increased production of vascular endothelial growth factor in peritoneal macrophages of cirrhotic patients with spontaneous bacterial peritonitis. |
Hepatology 34 (4), 184A-184A , 2001 |
2001 |
| A general framework for lazy functional logic programming with algebraic polymorphic types |
Theory and Practice of Logic Programming 1 (2), 185-245 , 2001 |
2001 |
| LActobacillus spp. strain LGG does not prevent small intestinal bacterial overgrowth (SIBO) and bacterial translocation (BT) in experimental cirrhosis |
Journal of Hepatology, 74 , 2001 |
2001 |
| Higher-precision groundness analysis |
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus … , 2001 |
2001 |
| Mapping the velocity field in a pump impeller using high speed digital video, image derotation and particle image velocimetry |
9th International Conference on Laser Anemometry , 2001 |
2001 |
| Estudio preliminar de la distribucion de metales pesados en suelos de una Antigua zona minera de la isla de Cerdena (Italia) |
|
2001 |
| Agent Programming in Ciao Prolog |
Springer Berlin Heidelberg , 2001 |
2001 |
| Polymorphism at the type I collagen (COLIA1) and relative risk of osteoporosis and vertebral fractures in postmenopausal women |
BONE 28 (5), S129-S129 , 2001 |
2001 |
| Risperidone: a real alternative for patients treated with depot neuroleptics |
Actas Espanolas de Psiquiatria 28 (6), 367-372 , 2000 |
2000 |
| Preference-based configuration of web page content |
14th European Conference on Artificial Intelligence (ECAI 2000 … , 2000 |
2000 |
| Using an abstract representation to specialize functional logic programs |
International Conference on Logic for Programming Artificial Intelligence … , 2000 |
2000 |
| The modulation of anxiety by uncontrollability in the appetitive paradigm |
INTERNATIONAL JOURNAL OF PSYCHOLOGY 35 (3-4), 116-116 , 2000 |
2000 |
| Trastornos del sueño. Polisomnografía |
Manual del residente de neurología, 485-493 , 2000 |
2000 |
| Teratoma intracraneal: diagnóstico ecográfico |
Prog. diagn. prenat.(Ed. impr.), 64-68 , 2000 |
2000 |
| Improving functional logic programs by difference-lists |
Advances in Computing Science—ASIAN 2000: 6th Asian Computing Science … , 2000 |
2000 |
| Historia de los Parques Nacionales Españoles, 3: Teide, Caldera de Taburiente, Timanfaya y Garajonay |
Serie Histórica-Organismo Autónomo Parques Nacionales (España) , 2000 |
2000 |
| Manual de fitodepuración. Filtros de macrófitas en flotación |
Coordinada per Jesús Fernández González. Proyecto Life. Amb disponibilitat … , 2000 |
2000 |
| 49-year-old patient with left morphology single ventricle who underwent surgical repair and uncomplicated course |
REVISTA ESPANOLA DE CARDIOLOGIA 53 (8), 1140-1143 , 2000 |
2000 |
| Orbital cellulitis in childhood. Review |
PEDIATRIKA 20, 33-37 , 2000 |
2000 |
| La enseñanza de Java en los estudios de Informática |
Asociación de Enseñantes Universitarios de la Informática (AENUI) , 2000 |
2000 |
| Training of chemical engineers for the 21st century. 1. The higher education environment and frames of references for training of engineers in industrialized countries |
INGENIERIA QUIMICA, 53-63 , 2000 |
2000 |
| History of the Spanish National Parks, 1: The conservation Administration (1896-2000) |
Serie Histórica-Organismo Autónomo Parques Nacionales (España) , 2000 |
2000 |
| Comprobada la reproducción en libertad del Visón Americano (Mustela vison) en Álava |
Galemys: Boletín informativo de la Sociedad Española para la conservación y … , 2000 |
2000 |
| Commission 15: Physical Study of Comets, Minor Planets, and Meteorites (L’Etude Physique des Cometes, des Petites Planetes et des Meteorites) |
Transactions of the International Astronomical Union 24 (1), 93-114 , 2000 |
2000 |
| Comparative study of the efficacy and tolerability of policosanol (10 mg/d and lovastatin (20 mg/d) on patients with type ii hypercholesterolemia and non insulin dependent … |
Atherosclerosis 151 (1), 273-273 , 2000 |
2000 |
| A 49 year old patient with single left ventricular morphology who underwent surgical repair and good outcome |
Revista Espanola de Cardiologia 53 (8), 1140-1143 , 2000 |
2000 |
| Realistic Program Specialization in a Multi-Paradigm Language. |
WFLP, 104-119 , 2000 |
2000 |
| Inhibition of low-density lipoprotein (LDL) lipid peroxidation by policosanol, a new cholesterol-lowering agent |
Atherosclerosis 1 (151), 54 , 2000 |
2000 |
| Clinical Studies-Effects of Policosanol on the Susceptibility of Low-Density Lipoprotein Isolated from Hypercholesterolemic Patients at High Coronary Risk to in Vitro Copper … |
Current Therapeutic Research 61 (9), 609-620 , 2000 |
2000 |
| Posibilidades de inmersión en ambientes pasados: Una visita interactiva al laboratorio de Santiago Ramón y Cajal mediante Visionarium. |
XII Congreso Internacional de Ingeniería Gráfica [recurso electrónico … , 2000 |
2000 |
| A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. |
WFLP, 120-127 , 2000 |
2000 |
| Tratamiento antibiótico intratecal intraventricular en meningitis infecciosa postquirúrgica |
Rev. neurocir, 94-8 , 2000 |
2000 |
| doi: 10.1006 jabr. 1999.8256, available online at http://www. idealibrary. com on |
Journal of Algebra 223, 647-648 , 2000 |
2000 |
| Inappropriateness of the admissions in an Internal Medicine ward according the AEP Protocol |
ANALES DE MEDICINA INTERNA-MADRID-ORGANO OFICIAL DE LA SOCIEDAD ESPANOLA DE … , 2000 |
2000 |
| J Bernstein, I.; Barrett, JF; Ohemeng |
Eur. J. Med. Chem 42, 381-387 , 1999 |
1999 |
| Incremental refinement of semantic based program analysis for logic programs |
Proceedings of the 22nd Australasian Computer Science Conference. Springer … , 1999 |
1999 |
| A partial evaluation framework for curry programs |
International Conference on Logic for Programming Artificial Intelligence … , 1999 |
1999 |
| Intensive chemotherapy (CHT), allogeneic (ALLO) or autologous (AUTO) hematopoietic cells transplantation (HCT) for hig-risk ALL (HRALL). Results of the ongoing protocol PETHEMA … |
BONE MARROW TRANSPLANTATION 23, S8-S8 , 1999 |
1999 |
| Hypoxia induces vasoactive cell-mediator production in peritoneal macrophages (M phi) of cirrhotic patients. |
HEPATOLOGY 30 (4), 230A-230A , 1999 |
1999 |
| 4 years of results with Roundup Ready varieties |
7. Congreso de la Sociedad Española de Malherbología, Logroño (España), 23 … , 1999 |
1999 |
| Four years of results with Roundup Ready varieties. |
|
1999 |
| Hypoxia Induces Vasoactive Cell-Mediator Production in Peritoneal Macrophages (m ) of Cirrhotic Patients |
HEPATOLOGY-BALTIMORE THEN ORLANDO- 30, 277-277 , 1999 |
1999 |
| A one year open study on the efficacy, and tolerability of policosanol (20 mg/day) in patients with hypercholesterolemia and high global coronary risk |
Atherosclerosis, 27 , 1999 |
1999 |
| Functional plus logic programming with built-in and symbolic constraints |
International Conference on Principles and Practice of Declarative … , 1999 |
1999 |
| Cuatro años de resultados con variedades Roundup Ready |
|
1999 |
| Autologous PBPC transplantation in children: A comparative study between two different G-CSF priming regimens (10 vs 15 mu g/Kg/day). |
BONE MARROW TRANSPLANTATION 23, S247-S247 , 1999 |
1999 |
| Coma hiperosmolar hiperglucémico no cetósico (CHNC) |
Med. intensiva, 101-103 , 1999 |
1999 |
| Does fludarabine increase the risk of Richter’s syndrome (RS) among chronic lymphocytic leukemia |
Haematologica 84, 259 , 1999 |
1999 |
| Effect of blood pressure in acute stroke on mortality and functional status at 30 days. |
American Journal of Hypertension 12 (S4), 197-197 , 1999 |
1999 |
| Megatherapy with stem cell rescue in neuroblastoma, experience in a single center. |
BONE MARROW TRANSPLANTATION 23, S247-S247 , 1999 |
1999 |
| Experience with 21 protected lettuce cultivars in wintry cycle |
28. Seminario de Técnicos y Especialistas en Horticultura, Valencia (España … , 1999 |
1999 |
| A comparative study on the efficacy and tolerability of policosanol and lovastatin in patients with hypercholesterolemia and high coronary risk |
Atherosclerosis, 26-27 , 1999 |
1999 |
| Richter’s syndrome in B-CLL: report of 37 cases |
Blood 34 (Suppl 1), 306b , 1999 |
1999 |
| Blood pressure in the acute stroke: comparison of casual readings at the emergency room and ward with measurements by ambulatory blood pressure monitoring during the first 24 … |
American Journal of Hypertension 4 (12), 198 , 1999 |
1999 |
| Treatment plan# 3. Emergency/acute care unit |
Revista de enfermeria (Barcelona, Spain) 21 (235), 29-31 , 1998 |
1998 |
| Improving control in functional logic program specialization |
International Static Analysis Symposium, 262-277 , 1998 |
1998 |
| Hidrogeología y contaminación del acuífero aluvial de Valladolid |
Medio ambiente en Castilla y León 5 (10), 21-30 , 1998 |
1998 |
| Diagnostic and therapeutic protocol for Turners syndrome |
ACTA PEDIATRICA ESPANOLA 56, 291-295 , 1998 |
1998 |
| Etnomatemáticas y Educación Matemática, construyendo un Futuro Equitativo |
Granada. España. Extraído el 1 , 1998 |
1998 |
| Results in Spain with Bollgard and Maisgard varieties, genetically protected against insects |
Phytoma Espana (Espana) , 1998 |
1998 |
| Resultados en Espana con variedades Bollgard y Maisgard, geneticamente protegidas contra insectos |
Phytoma Espana (Espana) , 1998 |
1998 |
| Information systems for staff training for network contingency management |
Water Supply 16 (1), 367-369 , 1998 |
1998 |
| Resistance to sulfur poisoning of Ir and Ir-Re/gamma-Al2O3 catalysts |
BOLETIN DE LA SOCIEDAD CHILENA DE QUIMICA 43 (3), 273-280 , 1998 |
1998 |
| Public/private partnerships of water supply throughout the world: National report Portugal |
Water Supply 16 (1), 79-80 , 1998 |
1998 |
| INDY user’s manual |
Technical Report DSIC-II/12/98, UPV, 1998. Available from URL: http://www … , 1998 |
1998 |
| A minimality study for set unification |
|
1998 |
| Familial episodic ataxia type 2. Clinical and genetic study of one family |
Neurologia (Barcelona, Spain) 13 (8), 382-387 , 1998 |
1998 |
| INDY User's Manual (v1. 8) |
|
1998 |
| Gabapentin in chronic neuropathic pain (preliminary results) |
BRITISH JOURNAL OF ANAESTHESIA 80, A. 584-A. 584 , 1998 |
1998 |
| Influencia del método de retorno al final de la diálisis en la dosis de heparina |
NUTRICIÓN Y DIÁLISIS ADECUADA EN DIÁLISIS PERITONEAL, 31 , 1998 |
1998 |
| Spinal myoclonus with antibodies against glutamic decarboxylase |
Neurologia (Barcelona, Spain) 13 (7), 367-368 , 1998 |
1998 |
| La Pregunta: Aceptaria un traslado al extranjero? |
ACTUALIDAD ECONOMICA, 42-53 , 1998 |
1998 |
| D. Carlos Pérez-Íñigo Quintana (1922-1997) |
Graellsia 54, 133-141 , 1998 |
1998 |
| Solar System Formation and Evolution |
Solar System Formation and Evolution 149 , 1998 |
1998 |
| Embedding multiset constraints into a lazy functional logic language |
International Conference on Algebraic and Logic Programming, 429-444 , 1998 |
1998 |
| [Veterinary aspects on the programme of otter reintroduction in Aiguamolls de l'Emporda (NW of Girona)[Spain]] |
Coleccion Monografias-Junta de Extremadura (Espana) , 1997 |
1997 |
| Molecular heterogeneity of high-grade astrocytomas according cell cycle regulatory proteins and proliferative rate. |
LABORATORY INVESTIGATION 76 (1), 878-878 , 1997 |
1997 |
| Nonspecificity of the paraffin-reactive hepatitis C virus monoclonal antibodies clones TORDJI-22 and TORDJI-32 due to cross-react with mitochondrial proteins. |
LABORATORY INVESTIGATION 76 (1), 862-862 , 1997 |
1997 |
| Aspectos veterinarios en el programa de reintroduccion de la nutria en Aiguamolls de l'Emporda (NE de Girona) |
Coleccion Monografias-Junta de Extremadura (Espana) , 1997 |
1997 |
| Characterization and viral safety validation study of an antithrombin III pasteurized concentrate |
THROMBOSIS AND HAEMOSTASIS, P2109-P2109 , 1997 |
1997 |
| Estudio de una cronosecuencia en clima seco subhumedo del sur de España |
Edafología 2 (1), 197-204 , 1997 |
1997 |
| Comparative study of policosanol, gemfibrozil and combination therapy in the treatment of type II hypercholesterolemia |
Atherosclerosis 134 (1-2), 129-129 , 1997 |
1997 |
| Severe pancitopenia associated with antithyroid drugs in a patient with Graves' disease and chronic renal failure. |
Clinical nephrology 47 (1), 69-70 , 1997 |
1997 |
| A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. |
ILPS, 53-67 , 1997 |
1997 |
| [Ringings and wild birds recovery in Alava [Spain]] |
Sustrai (Espana) , 1997 |
1997 |
| Prognostic value of CD 44 v6 expression in renal epithelial |
LABORATORY INVESTIGATION 76 (1), 415-415 , 1997 |
1997 |
| Workshop Summary |
Developments in Biological Standardization 91, 97-102 , 1997 |
1997 |
| OR Software-ORSEP: Operations Research Software Exchange Program, Professor HW Hamacher (ed.) DECOPOL-Codes for decomposing a polygon into convex subpolygons |
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 102 (1), 242-243 , 1997 |
1997 |
| Severe pancytopenia associated with antithyroid drugs in a patient with Graves' disease and chronic renal failure |
Clinical nephrology 47 (2), 129 , 1997 |
1997 |
| Specifications: What is Necessary to Start Clinical Trials? 59 Workshop Summary |
Developments in Biological Standardization 91, 61-62 , 1997 |
1997 |
| Gastrointestinal autonomic nerve tumor (GANT). Radiological findings |
Radiologia (Madrid) 39 (6), 439-441 , 1997 |
1997 |
| Epidural abscess of infrequent etiology |
Enfermedades infecciosas y microbiologia clinica 15 (5), 267-268 , 1997 |
1997 |
| A semantic framework for functional logic programming with algebraic polymorphic types |
Colloquium on Trees in Algebra and Programming, 453-464 , 1997 |
1997 |
| A new monitoring system for piping systems in fossil-fired power plants |
|
1996 |
| Methodology for monitoring radionuclide activity in waste waters |
Centro de Estudios Aplicados al Desarrollo Nuclear (CEADEN) , 1996 |
1996 |
| Relationship between magnesium and intact PTH concentrations in patients on hemodialysis. |
JOURNAL OF THE AMERICAN SOCIETY OF NEPHROLOGY 7 (9), A2851-A2851 , 1996 |
1996 |
| Perspectivas del cultivo de sorgo azucarero para bio-etanol en España en base a resultados varietales en ensayos multilocales |
Itea. Producción Vegetal, 73-82 , 1996 |
1996 |
| Faculty assessment of students' teaching evaluation |
PSICOTHEMA 8 (1), 167-172 , 1996 |
1996 |
| Uso y necesidades de la tecnologías limpias en la PYMI |
INSOTEC, Quito, EC , 1996 |
1996 |
| Atlas de Reservorios Carbonatados de Cuba |
Unpublished report, Centro de Investigaciones del Petróleo, La Habana 247 , 1996 |
1996 |
| Evaluación del efecto hipotensor del felodipino en monoterapia y asociado a enalapril en la hipertensión arterial esencial leve y moderada |
Nefrología 16 (3), 261-264 , 1996 |
1996 |
| Functional logic programming with real numbers |
Proc. of the JICSLP 96, 96-28 , 1996 |
1996 |
| Diode laser sclerostomy and iris incarceration |
VISION RESEARCH 36, 41-41 , 1996 |
1996 |
| Productividad media en tres años de cultivo de diferentes cultivares de pataca en San Esteban de Gormaz (Soria) |
Itea. Producción Vegetal, 83-92 , 1996 |
1996 |
| The influence of exposure time in transscleral diode laser cyclophotocoagulation. |
VISION RESEARCH 36, 37-37 , 1996 |
1996 |
| Advanced manufacturing in Spain: Current situation, main problems and some examples |
The 1996 International Conference on Education in Manufacturing, 1996 , 1996 |
1996 |
| The role of inflammation in transscleral contact diode laser photocoagulation |
VISION RESEARCH 36, 38-38 , 1996 |
1996 |
| Objetivos en desarrollo sobre esparrago verde cultivado en invernadero. |
Agricola Vergel , 1996 |
1996 |
| Viral safety validation of a high purity human factor VIII concentrate with two specific viral inactivation treatments (Fanhdi (R)). |
Sangre-Trabajos de Hematologia y Hemoterapia 41 (2), 131-136 , 1996 |
1996 |
| Methodology for monitoring radionuclide activity in waste waters; Metodologia para el control de radionuclidos en aguas residuales |
|
1996 |
| La mappa del gol |
Notazonario Settore Tecnico. FIGC 4, 16-21 , 1996 |
1996 |
| Pseudotumor of the neck in an infant: cervicothoracic thymes; Pseudotumor cervical en lactante: timo cervicotoracico |
Radiologia 38 , 1996 |
1996 |
| ESTUDIO DE LA EFICACIA, SEGURIDAD Y TOLERABILIDAD DEL POLICOSANOL (5 mg/d) EN PACIENTES CON HIPERCOLESTEROLEMIA TIPO 11 |
Revista CENIC Ciencias Biológicas 27 (1-2-3), 041-045 , 1996 |
1996 |
| Biopsychopathologie risk profile of adolescents with eating disorder symptoms |
Adolescence 31, 1-122 , 1996 |
1996 |
| Long term evolution of intraocular pressure (IOP) after diode laser photocoagulation |
VISION RESEARCH 36, 36-36 , 1996 |
1996 |
| Melkersson-Rosenthal syndrome. A case report. |
Medicina Oral: Organo Oficial de la Sociedad Espanola de Medicina Oral y de … , 1996 |
1996 |
| Developing objetives about the green asparagus grown in greenhouse |
Agricola Vergel (Espana) , 1996 |
1996 |
| Tratamiento numérico de los modos radiales de oscilación esferoidal |
Métodos numéricos en ingeniería:[comunicaciones presentadas al III Congreso … , 1996 |
1996 |
| ESTUDIO DE LA EFICACIA DEL POLICOSANOL EN PACIENTES CON HIPERLIPOPROTEINEMIA TIPO 11: ESTUDIO ABIERTO |
Revista CENIC Ciencias Biológicas 27 (1-2-3), 036-037 , 1996 |
1996 |
| Treatment of common warts with cimetidine |
ACTAS DERMOSIFILIOGRAFICAS 87, 123-127 , 1996 |
1996 |
| Real Constraints within a Functional Logic Language. |
APPIA-GULP-PRODE, 451-464 , 1996 |
1996 |
| Aprovechamiento del cardo (Cynara cardunculus L.) para la producción de biomasa lignocelulósica, aceite y forraje verde |
Itea. Producción Vegetal, 49-56 , 1996 |
1996 |
| Minimal set unification |
Programming Languages: Implementations, Logics and Programs: 7th … , 1995 |
1995 |
| Tratamiento de los hemangiomas orbitarios y palpebrales infantiles |
Archivos de la Sociedad Española de Oftalmología 68 (6), 541-546 , 1995 |
1995 |
| DIAGNOSTICO SEROLOGICO DE LA 1NFECCION NEUROLOGICA RECURRENTE POR VIRUS VARICELA ZOSTER |
L’Igiene Moderna 104, 185-190 , 1995 |
1995 |
| Trials for malpractice on radiodiagnostics |
Radiologia (Madrid) 37 (5), 305-309 , 1995 |
1995 |
| DNA GYRASE INHIBITORY ACTIVITY OF ELLAGIC ACID-DERIVATIVES |
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY 210, 178-MEDI , 1995 |
1995 |
| Spanish presence in Internet discussion lists on epidemiology |
Gaceta sanitaria 9 (51), 380-381 , 1995 |
1995 |
| A debugging model for lazy narrowing |
Programming Languages: Implementations, Logics and Programs: 7th … , 1995 |
1995 |
| A two years study on the efficacy and tolerability of policosanol (10mg/day) in patients with type II hypercholesterolemia |
Atherosclerosis 115, S20-S20 , 1995 |
1995 |
| Cuestionario de actitudes alimentarias en una muestra de adolescentes: dos años de seguimiento |
Psiquis 4 (16), 21-26 , 1995 |
1995 |
| L'adolescent i el son: aspectes epidemiològics |
Butll. Soc. Catalan Pediatr. 55, 13-14 , 1995 |
1995 |
| Resultados terapéuticos en el desprendimiento de retina infantil postraumático |
Archivos de la Sociedad Española de Oftalmología 68 (5), 469-474 , 1995 |
1995 |
| Eficacia de la 6-mercaptopurina en el tratamiento de la enfermedad inflamatoria intestinal |
Revista Espanola de Enfermedades Digestivas 87 (11), 775-780 , 1995 |
1995 |
| Infections by Herpesvirus in monkeys. I. Neurotropic herpesvirus |
MEDICINA VETERINARIA 12, 713-719 , 1995 |
1995 |
| Valoración de programas: factores que infuyen en su credibilidad |
Análisis y modificación de conducta 21 (75), 51-72 , 1995 |
1995 |
| Presencia española en las listas de discusión de internet sobre epidemiología |
Gaceta Sanitaria 9 (51), 380-381 , 1995 |
1995 |
| Casos en imagen 4: hamartoma pulmonar gigante |
Radiología (Madrid) 37 (4) , 1995 |
1995 |
| SYNTHESIS AND DNA GYRASE INHIBITORY ACTIVITY OF NOVEL AZA-ANALOGS OF FLAVONES |
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY 210, 177-MEDI , 1995 |
1995 |
| Acerca de una aplicación de microorganismos para evitar la clorosisférrica |
Edafología 1 (1), 53-60 , 1995 |
1995 |
| La evaluación como herramienta de control en el proceso de enseñanza-aprendizaje para grupos con elevado número de alumnos |
Actas del Symposium de Innovación Universitaria:" Diseño, desarrollo y … , 1995 |
1995 |
| Introduction of Rhodes Callide (Chloris gayana cv. Callidae) on established pastures and its effect on pasture stability and milk production |
Revista Cubana de Ciencia Agricola (Cuba) 29 (3) , 1995 |
1995 |
| OPTIMIZING ERYTHROPOIETIN TREATMENT IN HEMODIALYSIS-PATIENTS-USE OF INTRAVENOUS FE-GLUCONATE |
KIDNEY INTERNATIONAL 46 (2), 573-573 , 1994 |
1994 |
| Prediction of Surgical Criteria for Bell’s Palsy on the Fifth Day of Evolution |
The Facial Nerve: An Update on Clinical and Basic Neuroscience Research, 529-529 , 1994 |
1994 |
| Electroneurographic Evaluation of Facial Palsy. Early and Late Results in 350 Patients |
The Facial Nerve: An Update on Clinical and Basic Neuroscience Research, 238-238 , 1994 |
1994 |
| Fourth meeting of the European Neurological Society 25–29 June 1994 Barcelona, Spain |
Springer Science and Business Media LLC , 1994 |
1994 |
| Does pregnancy influence the activity of chronic hepatitis C? |
Revista espanola de enfermedades digestivas 86 (3), 700-701 , 1994 |
1994 |
| Evolución clínica y serológica en pacientes con enfermedad mixta del tejido conjuntivo |
Rev Clín Esp 194, 682-688 , 1994 |
1994 |
| Distribution and quality of the irrigation water in the agricultural region of Campo de Nijar |
Riegos y Drenajes XXI (Espana) , 1994 |
1994 |
| Microftalmos colobomatoso unido a quiste orbitario: evolución clínica y ecográfica |
Archivos de la Sociedad Española de Oftalmología 66 (2), 125-130 , 1994 |
1994 |
| Studio delle fibre sintetiche mediante applicazione del diagramma di Mumbrú-Fabra |
Tinctoria 91 (8), 45-50 , 1994 |
1994 |
| A Debugging Model for Lazy Functional Logic Languages. |
GULP-PRODE (2), 117-131 , 1994 |
1994 |
| PRONUCLEAR FORMATION AND SYNGAMY IN THE EGG OF THE GLOSSIPHONIID LEECH THEROMYZON RUDE |
DEVELOPMENTAL BIOLOGY 163 (2), 556-556 , 1994 |
1994 |
| Fourth meeting of the European Neurological Society 25–29 June 1994 Barcelona, Spain: Abstracts of Symposia and free communications |
Journal of Neurology 241 (Suppl 1), 1-164 , 1994 |
1994 |
| Three dimensional analysis of houses on expansive soils |
International conference on soil mechanics and foundation engineering, 1507-1510 , 1994 |
1994 |
| TRANSMUCOUS POTENTIAL DIFFERENCES IN THE FUNCTIONAL-STUDY OF ILEOANAL RESERVOIRS |
GASTROENTEROLOGY 106 (4), A699-A699 , 1994 |
1994 |
| Introducción al Derecho y Derecho Constitucional |
Valladolid: Trotta , 1994 |
1994 |
| Wernicke's encephalopathy in non-alcoholic patients: a diagnosis to be considered |
Medicina clinica 102 (17), 678-679 , 1994 |
1994 |
| Combining lazy narrowing with disequality constraints |
Programming Language Implementation and Logic Programming: 6th International … , 1994 |
1994 |
| Distribucion y calidad del agua de riego en la region agricola del campo de Nijar. |
Riegos y Drenajes XXI , 1994 |
1994 |
| Mejoramiento de pastos naturales para la produccion de leche mediante el intercalamiento de Leucaena leucocephala. |
ACPA 13 , 1994 |
1994 |
| Development and installation of a new monitoring system for piping systems in fossil fired power plants; Entwicklung und Einsatz eines modernen Rohrleitungsueberwachungssystems … |
|
1994 |
| PARENTERAL-NUTRITION |
REVISTA CLINICA ESPANOLA 194, 767-773 , 1994 |
1994 |
| Meningitis caused by Haemophilus influenzae type b: its immunological prevention. A necessity? |
Archivos dominicanos de pediatria 30 (1), 21-24 , 1994 |
1994 |
| Improvement of natural pastures for milk production by intercropping Leucaena leucocephala. |
ACPA , 1994 |
1994 |
| The mineralogy of the soils of Carboneras. |
|
1993 |
| Study of a soil toposequence in the olive growing district of Martos, Jaén province, Spain. |
|
1993 |
| Retinoblastoma: tratamiento y factores pronóstica |
Archivos de la Sociedad Española de Oftalmología 64 (4), 267-274 , 1993 |
1993 |
| Primary abscess of psoas |
REVISTA CLINICA ESPANOLA 192 (5), 247-248 , 1993 |
1993 |
| Relation between clay mineralogy and parent material in the Macael area (Almeria). |
|
1993 |
| Spontaneous intrapetrous dissection of the internal carotid in muscular fibrodysplasia |
Neurologia (Barcelona, Spain) 8 (1), 30-31 , 1993 |
1993 |
| Target-Motion Modellingg based on time series and Kalman filtering |
|
1993 |
| Uso de autotrasfusión en 240 operaciones torácicas |
Bol. Acad. Nac. Med. B. Aires, 547-59 , 1993 |
1993 |
| Morphologic and functional heart changes in a group of healthy elderly individuals aged 70 years and over |
Anales de Medicina Interna (Madrid, Spain: 1984) 10 (1), 21-24 , 1993 |
1993 |
| Implicaciones parasitarias de Frankliniella occidentalis (Pergande)(Thysanoptera: Thripidae) en el cultivo de gerbera (1) |
Boletín de sanidad vegetal. Plagas 19 (2), 193-209 , 1993 |
1993 |
| EFFICACY AND TOLERANCE OF PRAZIQUANTEL IN PATIENTS WITH DYSTOMATOSIS DUE TO FASCIOLA-HEPATICA |
GASTROENTEROLOGY 104 (4), A699-A699 , 1993 |
1993 |
| Fertirrigation-induced salinity in soils used in forced cropping |
Agrochimica 36 (4-5), 371-380 , 1992 |
1992 |
| Pili trianguli et canaliculi: dos observaciones familiares |
Actas dermo-sifiliográficas (Ed. impresa) 83 (1-2), 79-82 , 1992 |
1992 |
| Salt tolerance of Galia melon in seedbed |
Congresos-Comunidad Autonoma de Murcia (Espana) , 1992 |
1992 |
| Roundup Sec, a clean formulation for environmentally compatible agriculture. |
|
1992 |
| Tolerancia a la salinidad del melon Galia en semillero. |
Congresos-Comunidad Autonoma de Murcia (Espana). no. 2. , 1992 |
1992 |
| Proyecto Ferre: diseño, desarrollo e investigación de una programación de Ciencias Naturales para el ciclo 12-16 |
|
1992 |
| DIFFERENT PATTERNS OF NEURONAL DEGENERATION ARE CAUSED BY ACUTE AND SUBCHRONIC SYSTEMIC ADMINISTRATION OF KAINATE TO ADULT-RATS |
EUROPEAN JOURNAL OF NEUROSCIENCE, 297-297 , 1992 |
1992 |
| ALTERNARIA EXTRACTS-TEMPERATURE INFLUENCE IN ELECTROPHORETIC PATTERNS AND ALLERGENIC ACTIVITY |
JOURNAL OF ALLERGY AND CLINICAL IMMUNOLOGY 89 (1), 147-147 , 1992 |
1992 |
| Hirudinea |
Microscopic anatomy of invertebrates 7, 323-394 , 1992 |
1992 |
| SYNCOPE RESULTING FORM SICK-SINUS SYNDROME AND ADRENOCORTICAL INSUFFICIENCY |
REVISTA CLINICA ESPANOLA 190 (1), 43-43 , 1992 |
1992 |
| Meningoencefalitis bacteriana |
Med. intensiva, 208-228 , 1992 |
1992 |
| Hormigones de alta resistencia. El puente sobre el río Eo. |
Cemento Hormigón, 1057-1073 , 1992 |
1992 |
| [Salt tolerance of Galia melon in seedbed].[Spanish] |
Congresos-Comunidad Autonoma de Murcia (Espana). no. 2. , 1992 |
1992 |
| Fertirrigation-induced salinity in soils used in forced cropping [in Spain] |
Agrochimica (Italy) 36 (4) , 1992 |
1992 |
| Influence of spray liquid pH on the efficacy of foliar-applied herbicides used mainly in vegetable crops. |
|
1992 |
| Numerical Analysis of Simultaneous Surface and Subsurface Features in Homogeneous Solids and in Coatings by the Mirage Technique |
Photoacoustic and Photothermal Phenomena III: Proceedings of the 7th … , 1992 |
1992 |
| Detection limit calculation. Calculo del limite de deteccion |
Seguridad Radiologica;(Argentina) 5 , 1991 |
1991 |
| Pasture regionalization in calcareous soils of Las Tunas province, Cuba. |
|
1991 |
| Las surgencias termales de Los Baños, Teruel. I: Caracterizacion fisico-quimica y aproximacion a los procesos de interaccion agua-roca |
Revista de la Academia de Ciencias Exactas, Físico-Químicas y Naturales de … , 1991 |
1991 |
| Las surgencias termales de Los Baños (Teruel). I. Caracterización físicoquímica y aproximación a los procesos de interacción agua-roca |
Revista de la Academia de Ciencias Exactas, Físicas, Químicas y Naturales de … , 1991 |
1991 |
| Contenido-Contents |
Archivos de la Sociedad Española de Oftalmología 61 (6), 513-518 , 1991 |
1991 |
| Utilization of waste water from the'Juan M. Marquez'agroindustrial complex for irrigation and fertilization of sugarcane. |
|
1991 |
| The use of effluents from" Juan Manuel Marquez" Agroindustrial Enterprise as sugarcane irrigation and fertilization |
Cultivos Tropicales (Cuba) 12 (2) , 1991 |
1991 |
| Elsevier Science Publishers BV, Amsterdam |
Fluid Phase Equilibria 69, 305 , 1991 |
1991 |
| Detection limit calculation |
Seguridad Radiologica, 54-55 , 1991 |
1991 |
| Síntomas de depresión en la etapa puberal: primeros resultados de un estusio epidemiológico longitudinal. |
Actas Luso-Espanolas de Neurologia Psiquiatria y Ciencias Afines 3 (19), 155-161 , 1991 |
1991 |
| Metodología e implicaciones pedagógicas de la traducción de Alvaro Cunqueiro al francés |
Actas do I Simpósio Internacional de Didáctica da Língua ea Literatura: A … , 1991 |
1991 |
| Prediction of physical capacity of sportsmen during puberty |
Anales españoles de pediatría: Publicación oficial de la Asociación Española … , 1991 |
1991 |
| Rabdomiosarcoma de órbita: actitud diagnóstica y terapéutica |
Archivos de la Sociedad Española de Oftalmología 60 (4), 467-474 , 1991 |
1991 |
| Variabilidad fotométrica y espectroscópica de estrellas tipo RS CVn. |
Revista Mexicana de Astronomia y Astrofisica, Vol. 22, No. 2, p. 307 22, 307 , 1991 |
1991 |
| Effect of chlormequat on iceberg lettuces in the Cartagena province |
|
1990 |
| Spontaneous resolution of bioquimical iron deficiency in infants, unrelated to dietary intake and body growth, chosed at randon of a healthy population |
Anales españoles de pediatría: Publicación oficial de la Asociación Española … , 1990 |
1990 |
| Automatic analysis of EMG in children |
Electroencephalography and Clinical Neurophysiology 75, S44 , 1990 |
1990 |
| Photothermal deflection method for thermal diffusivity measurements: a thermo-optical classification of solids |
Photoacoustic and Photothermal Phenomena II: Proceedings of the 6th … , 1990 |
1990 |
| Petequias en la infancia: un síntoma preocupante |
Anales españoles de pediatría: Publicación oficial de la Asociación Española … , 1990 |
1990 |
| Enfermedad de Hodgkin con afectación cutánea |
Actas dermo-sifiliográficas (Ed. impresa) 81 (10), 683-687 , 1990 |
1990 |
| Nondestructive evaluation of a semi-infinite buried slab by photothermal deflection |
Photoacoustic and Photothermal Phenomena II: Proceedings of the 6th … , 1990 |
1990 |
| IMPROVED EFFICACY OF THE SUBCUTANEOUS ROUTE FOR ERYTHROPOIETIN TREATMENT ON HEMODIALYSIS-PATIENTS |
NEFROLOGIA 10 (2), 183-186 , 1990 |
1990 |
| Efecto del clormecuat en lechuga tipo iceberg en el campo de Cartagena. |
|
1990 |
| Communication system and spectral analysis for Ge-Li and GeHp detectors; Sistema de comunicaciones y analisis de espectros para detectores Ge-Li y GeHp |
|
1990 |
| Contenido-Contents |
Archivos de la Sociedad Española de Oftalmología 59 (3), 257-264 , 1990 |
1990 |
| Tissue polypeptide antigen liberation and proliferation of MCF-7 cells after synchronization with hydroxytamoxifen and rescue with estradiol |
Revista Española de Fisiología 46 (2), 205-210 , 1990 |
1990 |
| Microangiopatía retiniana en la infección por el virus de la inmunodeficiencia humana (VIH) |
Archivos de la Sociedad Española de Oftalmologia 59 (4), 437-444 , 1990 |
1990 |
| Toward an Identification of Neurotransmitters in the Frog’s Optic Tectum |
Visuomotor Coordination: Amphibians, Comparisons, Models, and Robots, 223-242 , 1989 |
1989 |
| The spectrum of lymphadenopathy in HIV-positive patients. Prospective analysis of 45 cases |
Revista Clinica Espanola 184 (2), 57-60 , 1989 |
1989 |
| LIGHT-CURVES OF THE II-PEG AND V711-TAU SYSTEMS |
REVISTA MEXICANA DE ASTRONOMIA Y ASTROFISICA 19 (SI), 100-100 , 1989 |
1989 |
| Curvas de luz de los sistemas II Peg y V711Tau. |
Revista Mexicana de Astronomia y Astrofisica, Vol. 19, Special issue, p. 100 … , 1989 |
1989 |
| La Endofotocoagulación en la cirugía del vítreo de la retinopatía diabética proliferante. |
Archivos de la Sociedad Española de Oftalmología 57 (3), 215-220 , 1989 |
1989 |
| La Endofotocoagulación en la cirugñia del vítreo de la retinopatía diabética proliferante. |
Archivos de la Sociedad Española de Oftalmología 57 (3), 205-214 , 1989 |
1989 |
| OZONIZACION DE HEXACIANOFERRATOS 11 DE METALES DE TRANSICION |
Revista CENIC Ciencias Químicas 20 (1-2-3), 038-042 , 1989 |
1989 |
| Dacitic and high TP metamorphic rocks related to sialic-thickening and shear-friction zones |
International geological congress. 28 , 1989 |
1989 |
| Magnetostriction and Low Field Magnetization Processes in RE 2 Fe 14 B Compounds |
Concerted European Action on Magnets (CEAM), 240-258 , 1989 |
1989 |
| Proposed mechanism for generation of basic-igneous rocks in upper continental crust |
International geological congress. 28, 15-16 , 1989 |
1989 |
| OPTIM: AUTOMATED DESIGN OF POWER DEVICES |
Proceedings 2, 563 , 1989 |
1989 |
| Recursos mineras del Complejo Urgoniano |
Congresso español de sedimentologia. 12. Guia de excursiones, 179-225 , 1989 |
1989 |
| Commercial pest control in the Philippines: the industry, its practices and prospects |
|
1988 |
| Today's nutritional intake in a population of the Spanish Mediterranean area |
Proceedings of the Xth International Congress of Dietetics/held under the … , 1988 |
1988 |
| Today’s nutritional intake in a population of the Spanish Mediterranean area |
Proceedings of the Xth International Congress of Dietetics. John Libbery … , 1988 |
1988 |
| High-risk acute lymphoblastic leukemia. Results of a diagnostic-therapeutic protocol |
Anales espanoles de pediatria 29, 89-91 , 1988 |
1988 |
| Comparative study of throat culture and latex agglutination in streptococcal pharyngitis |
Boletin Medico del Hospital Infantil de Mexico 45 (4), 218-220 , 1988 |
1988 |
| Acerca de la actual constitución estratigrafica del piso «paraautoctona» en la region gasopetrolifera Habana-Matanzas |
|
1988 |
| Análisis de las características de los repetidores, exitosos vs fracasados, en muestras de escolares de EGB.[Analysis of characteristics of students repeating grade level … |
Universidad Complutense de Madrid: ICE , 1988 |
1988 |
| El sistema auditivo: bases anatómicas y funcionales |
Manual de logopedia, 43-56 , 1988 |
1988 |
| Granulopoiesis and cytogenetic studies in chronic myeloid leukemia: their correlation with the clinical stage of the disease |
Sangre 33 (3), 178-183 , 1988 |
1988 |
| REORIENTATION OF THE ANIMAL/VEGETAL AXIS IN EGGS OF THE LEECH T-RUDE |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 20 (2), R230-R230 , 1987 |
1987 |
| Consumption, food habits and nutritional status of the Reus population: VI. Risk of micronutrient malnutrition |
Medicina Clinica 88 (10), 405-410 , 1987 |
1987 |
| Memoria del mapa de suelos de la provincia de Jaén |
Granada: Servicio de Publicaciones de la Universidad de Granada , 1987 |
1987 |
| PLATELET CONTENTS OF VON WILLEBRAND FACTOR ANTIGEN (vWF: Ag) AND FIBRINOGEN (I) AND PLATELET FUNCTION (PF) IN MYELODYSPLASTIC SYNDROMS (MS) |
Thrombosis and Haemostasis 58 (05), 2084 , 1987 |
1987 |
| PARTICIPATION OF THE CYTOSKELETON IN OOPLASMIC SEGREGATION IN LEECH EGGS |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 20 (2), R167-R167 , 1987 |
1987 |
| Memoria del mapa de suelos de la provincia de Jaén. Escala 1: 200.000 |
Serv. Publ. Universidad de Granada. Exma. Dip. Provincial de Granada, Granada , 1987 |
1987 |
| SERIE GEOLOGICA N 3 |
Série de geología: publicación del Centro de Investigaciones y desarrollo … , 1987 |
1987 |
| Acute benign myositis |
Medicina clinica 88 (2), 82-83 , 1987 |
1987 |
| Consumo, hábitos alimentarios y estado nutricional de la población de Reus (IV). Distribución por edad y sexo del consumo de raíces y tubérculos, cereales, azúcares y frutas |
Med Clin (Barc) 88, 405-10 , 1987 |
1987 |
| Acerca la constitución geológica de la parte oriental de la Cuenca Los Palacios (pp. 27-31) |
La Habana: III Encuentro Científico-Técnico de Geología, Sociedad Cubana de … , 1987 |
1987 |
| Nuevos datos en la estratigrafia del yacimiento Yumuri |
|
1987 |
| COMPARAISON ENTRE DIFFERENTS SYSTEMES DE CALCUL DES LONGUEURS D'ANCRAGE DE BARRES D'ACIER CRENELEES, DANS LE BETON |
HORMIGON ACERO , 1986 |
1986 |
| Evolución sedimentaria de la flecha del Rompido (Huelva) |
Actas del IX Congreso Nacional de sedimentología, 329-342 , 1986 |
1986 |
| Métodos geotérmicos en la determinación de la temperatura de base en aguas termales |
Revista de la Academia de Ciencias Exactas, Físicas, Químicas y Naturales de … , 1986 |
1986 |
| Metabolismo de fosfolípidos y función renal |
NEFROLOGIA 1 (3) , 1986 |
1986 |
| Impaired extrarenal disposal of an acute oral potassium load in patients with endstage renal disease on chronic hemodialysis. |
Mineral and electrolyte metabolism 12 (2), 125-129 , 1986 |
1986 |
| Las ideas sobre el origen de las especies en España |
Actas del III Congreso de la Sociedad Española de Historia de las Ciencias … , 1986 |
1986 |
| Central nervous system hemorrhage in hemophilia. Analysis of 101 episodes |
Sangre 31 (4), 448-456 , 1986 |
1986 |
| MEIOTIC DEFORMATION MOVEMENTS IN THE LEECH EGG-CHARACTERISTICS AND RESPONSE TO DRUGS |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 19 (2), R234-R234 , 1986 |
1986 |
| Reduction of the suppressor response induced by con A in patients with hemophilia A or B |
Sangre 31 (1), 7-16 , 1986 |
1986 |
| Manuel González de Jonte, un naturalista y médico español del s. XIX: Noticia biográfica y bibliográfica |
Actas del III Congreso de la Sociedad Española de Historia de las Ciencias … , 1986 |
1986 |
| Mapa geológico de España |
E 1 (200,000) , 1985 |
1985 |
| PATTERN OF PROLIFERATION IN DETERMINED CELL-LINES OF THE LEECH EMBRYO |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 18 (2), R162-R162 , 1985 |
1985 |
| [Yields of a crop of grain sorghum carried out after a pasture of weeping lovegrass (Eragrostis curvula Schrad)[Argentina]] |
Informativo de tecnologia agropecuaria para la region semiarida pampeana … , 1985 |
1985 |
| Variations in the histological diagnosis of epithelial dysplasia |
Avances en odontoestomatologia 1 (5), 261-264 , 1985 |
1985 |
| Clinical-epidemiological study of leptospirosis at the Lenin Hospital (January-September, 1982)[Cuba] |
Revista Cubana de Ciencias Veterinarias (Cuba) , 1985 |
1985 |
| A study on the effect of different irrigation intervals in sugarcane crop, C-87-51 variety |
Cultivos Tropicales (Cuba) 7 (2) , 1985 |
1985 |
| The video colpoperineogram of normal micturition |
Revista chilena de obstetricia y ginecologia 50 (5), 380-387 , 1985 |
1985 |
| Biostratigrafía de los depositos Jurásico Superior, Tithoniano-Cretacico Inferior en el área Varadero-Varadero Sur |
|
1985 |
| [Yields of a crop of grain sorghum carried out after a pasture of weeping lovegrass (Eragrostis curvula Schrad)[Argentina]].[Spanish] |
Informativo de tecnologia agropecuaria para la region semiarida pampeana , 1985 |
1985 |
| ANTI-HTLV-III/LAV ANTIBODIES IN AIDS PATIENTS AND IN AIDS-HIGH-RISK GROUPS |
MEDICINA-BUENOS AIRES 45 (4), 385-385 , 1985 |
1985 |
| Parathyroid cystic adenoma as the cause of primary hyperparathyroidism |
Medicina Clinica 85 (14), 600-600 , 1985 |
1985 |
| Leucemia mieloide crónica: experiencia del Instituto de Investigaciones Hematologicas" Mariano R. Castex"(Academia Nacional de Medicina) |
Bol. Acad. Nac. Med. B. Aires, 499-507 , 1985 |
1985 |
| ONTOGENY OF A SIMPLE NERVOUS-SYSTEM |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 17 (2), R85-R85 , 1984 |
1984 |
| Rehidratacion por via oral en recien nacidos deshidratados por enfermedad diarreica aguda. |
Bol. méd. Hosp. Infant. Méx, 460-3 , 1984 |
1984 |
| Angiodisplasia pancreatico-duodenal asociada a carcinoide del pancreas. |
Rev. gastroenterol. Méx, 119-21 , 1984 |
1984 |
| DIGITAL PROCESSING OF EMG SIGNALS |
ELECTROENCEPHALOGRAPHY AND CLINICAL NEUROPHYSIOLOGY 58 (5), P104-P104 , 1984 |
1984 |
| Estudio comparativo de los efectos del Cycocel [retardante del crecimiento] y del despunte sobre la traslocacion de fotoasimilados en Vitis vinifera L. |
ITEA , 1984 |
1984 |
| MAY DESFERRIOXAMINE THERAPY WORSEN SECONDARY HYPERPARATHYROIDISM |
KIDNEY INTERNATIONAL 26 (4), 541-541 , 1984 |
1984 |
| Bacteremia due to Enterobacter agglomerans (Erwinia herbicola) |
Medicina Clinica 82 (13), 578-580 , 1984 |
1984 |
| Pancreatico-duodenal angiodysplasia associated with carcinoid of the pancreas |
Revista de Gastroenterologia de Mexico 49 (2), 119-121 , 1984 |
1984 |
| Neumonía nosocomial por Legionella pneumophila en un trasplante renal |
Diálisis y trasplante: publicación oficial de la Sociedad Española de … , 1984 |
1984 |
| Use of intracoronary and intravenous streptockinase in an acute myocardial infarction: Experience from two community hospitals. |
Arizona Medicine, 373-378 , 1984 |
1984 |
| [Comparative study on the effects of cycocel [growth inhibitor] and sprouting on photoassimilate translocation in Vitis vinifera L.].[Spanish] |
ITEA , 1984 |
1984 |
| Bioestratigrafia de los depositos del Jurasico Superior (Tithoniano) Cretacico Inferior en la region Varadero, Cuba |
Mezhdunarodnyj geologicheskij kongress. 27 , 1984 |
1984 |
| Enterobacter agglomerans bacteremia (Erwinia herbicola) |
Medicina clinica 82 (13), 578-580 , 1984 |
1984 |
| El ensayo CTOD en construcciones de acero soldadas |
Ingeniería química, 47-53 , 1984 |
1984 |
| Complejo litologicos del extremo noroccidental de Cuba y usus implicaciones estratigraficas, de acuerdo a los datos de las perforaciones profundas |
Mezhdunarodnyj geologicheskij kongress. 27 , 1984 |
1984 |
| Estudio edáfico de los suelos del sector Salar-Alhama, Granada |
Anales de edafologia y agrobiologia 42 (11-12), 2029-2050 , 1983 |
1983 |
| Soil forming factors in the Salar-Alhama sector of Granada, Spain. |
|
1983 |
| Doppler satellite tracking. Some geodetic and geophysical applications. |
Rev. Geofis 39 (1), 3-22 , 1983 |
1983 |
| Chemical control of the citrus root weevil ( Pachnaeus litus ) in citrus nurseries. |
|
1983 |
| Factores formadores de los suelos del sector Salar-Alhama (Granada) |
Anales de edafologia y agrobiologia 42 (9-10), 1509-1521 , 1983 |
1983 |
| PROGNOSTIC REVISION OF THE FILLOID TUMOR-19 BIOPSIES IN 9 CASES |
MORFOLOGIA NORMAL Y PATOLOGICA SECCION B-ANATOMIA PATOLOGICA 7 (1), 1-8 , 1983 |
1983 |
| Surgical treatment of pelvic pathology associated with complete or incomplete prolapse with or without urinary incontinence |
Revista Chilena de Obstetricia y Ginecologia 48 (6), 442-448 , 1983 |
1983 |
| Single fibre EMG in juvenile idiopathic scoliosis |
Electroencephalography and Clinical Neurophysiology 56 (3), S189 , 1983 |
1983 |
| [The future of the soybean in Europe].[Spanish] |
Eurosoya , 1983 |
1983 |
| A comparative study on different ways of nursing coffee seedlings.(Part 2) |
Cultivos Tropicales (Cuba) 5 (4) , 1983 |
1983 |
| Performance of six potato ( Solanum tuberosum ) cultivars at NSAC, Canada, 1982. |
|
1983 |
| Nodular lymphoid hyperplasia of the small intestine and immunodeficiency |
Revista clinica espanola 171 (3), 219-220 , 1983 |
1983 |
| Detection of erythropoietic activity in fibromyoma cells |
Sangre 28 (6), 682-686 , 1983 |
1983 |
| Factors forming soils from Salar-Alhama (Granada)[Spain] |
Anales de Edafologia y Agrobiologia (Spain) 42 (9) , 1983 |
1983 |
| Soils of the Salar-Alhama region (Granada, Spain). |
|
1983 |
| Ecología y minería de superficie |
|
1983 |
| RAPPORT ENTRE LA TEMPERATURE AMBIANTE ET CELLE DU BETON FRAIS: BETONNAGE PAR TEMPS FROID ET CHAUD |
HORMIGON ACERO , 1983 |
1983 |
| Performance evaluation of six potato (Solanum tuberosum) varieties in Nsac, Canada, 1982 |
Ciencia y Tecnica en la Agricultura. Hortalizas, Papa, Granos y Fibras (Cuba … , 1983 |
1983 |
| CHANGES IN SPINAL ALPHA-MOTONEURONS |
MEDICINA-BUENOS AIRES 43 (6), 863-863 , 1983 |
1983 |
| Control químico del picudo verde azul (Pachnaeus litus) en víveros de cítricos. |
Ciencia y Tecnica en la Agricultura. Proteccion de plantas 6 (2) , 1983 |
1983 |
| [Pedological study of soils of the area Salar-Alhama (Granada)[Spain]].[Spanish] |
Anales de Edafologia y Agrobiologia , 1983 |
1983 |
| Hemorragia del sistema nervioso central en hemofilia. Analisis de 101 episodios. |
Bol. Acad. Nac. Med. B. Aires, 327-35 , 1983 |
1983 |
| Contenido-Contents |
Archivos de la Sociedad Española de Oftalmología 43 (6) , 1982 |
1982 |
| Seasonal Ultrastructural Changes of Leydig Cells in Lacerta muralis |
Acta Zoologica 63 (1), 33-38 , 1982 |
1982 |
| Introducción de nuevas variedades |
Agricultura: Revista agropecuaria y ganadera, 689-693 , 1982 |
1982 |
| EFFECT OF CYTOCHALASIN-B ON THE FORMATION OF TELOPLASM (POLE PLASM) IN EGGS OF THE LEECH THEROMYZON-RUDE |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 15 (2), R144-R144 , 1982 |
1982 |
| ORGANIZATION AND DEVELOPMENT OF THE NERVOUS-SYSTEM OF THE LEECH |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 15 (3-4), 229-+ , 1982 |
1982 |
| Genital prolapse and urinary incontinence. Perineal rehabilitation |
Revista Chilena de Obstetricia y Ginecologia 47 (6), 373-379 , 1982 |
1982 |
| SEQUENTIAL HYPERTONIC DIALYSIS-NEW TECHNIQUE OF ASYMPTOMATIC ULTRAFILTRATION |
KIDNEY INTERNATIONAL 22 (2), 215-215 , 1982 |
1982 |
| Prolapso genital e incontinencia de orina. Rehabilitacion perineal. |
Rev. chil. obstet. ginecol, 373-9 , 1982 |
1982 |
| CARDIOVASCULAR-RESPONSE TO HEMOFILTRATION AND HEMODIALYSIS-INFLUENCE OF THE ALKALINIZING AGENT USED |
KIDNEY INTERNATIONAL 22 (2), 215-215 , 1982 |
1982 |
| lobos (Canís lupus) |
DONANA, 353 , 1982 |
1982 |
| Edaphological study of the Dehesa del Camarate, Sierra Nevada (Granada)[Spain], 2: Mineralogical characteristics. |
Anales de edafologia y agrobiologia , 1981 |
1981 |
| [Relation between chemical and mineralogical compositions in soils of the Dehesa de Camarate (Sierra Nevada)[Granada, Spain]].[Spanish] |
Ars Pharmaceutica , 1981 |
1981 |
| Comparative study of several methods for the combined extraction of free oxides of Fe, Al and Si in soils. |
|
1981 |
| Pedology of the Dehesa del Camarate, Sierra Nevada (Granada), Spain 2. Mineralogy. |
|
1981 |
| Relación entre las composiciones químicas y mineralógica en los suelos de la Dehesa del Camarate (Sierra Nevada) |
Universidad de Granada, Facultad de Farmacia. , 1981 |
1981 |
| Colpoperineograma o colpocistograma video y utilizacion del colpoperineograma. |
Rev. chil. obstet. ginecol, 256-62 , 1981 |
1981 |
| ESTUDIO EDAFICO DE LA DEHESA DEL CAMARATE SIERRA NEVADA (GRANADA). II: CARACTERISTICAS MINERALOGICAS |
|
1981 |
| A SPECIAL ISSUE OF EUROPE, REVUE-LITTERAIRE-MENSUELLE DEVOTED TO GARCIALORCA, FEDERICO |
NUEVA ESTAFETA, 104-106 , 1981 |
1981 |
| Colpoperineogram in pre-and postoperative periods of prolapse patients |
Revista chilena de obstetricia y ginecologia 46 (1), 3-9 , 1981 |
1981 |
| New host species of Orobanche ramosa L. in Cuba. |
|
1981 |
| FORMATION AND DETERMINATION OF CORPORAL SEGMENTS IN LEECH EMBRYO |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 14 (3), 234-235 , 1981 |
1981 |
| Report of a host plant of Orobanche ramosa L. in Cuba. |
|
1981 |
| Estudio edafico de la Dehesa del Camarate, Sierra Nevada (Granada)[Espana], 2: Caracteristicas mineralogicas. |
Anales de Edafologia y Agrobiologia 40 , 1981 |
1981 |
| Colpoperineograma en periodos pre y postoperatorio de pacientes de prolapso. |
Rev. chil. obstet. ginecol, 3-9 , 1981 |
1981 |
| DEFORMATION MOVEMENTS AND STRUCTURAL MODIFICATIONS OF THE EGG SURFACE IN THE LEECH THEROMYZON-RUDE |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 14 (3), 283-283 , 1981 |
1981 |
| Relacion entre las composiciones quimica y mineralogica en los suelos de la Dehesa de Camarate (Sierra Nevada)[Granada, Espana]. |
Ars Pharmaceutica 22 , 1981 |
1981 |
| Utilization of high densities in dryland sunflower cultivation: Influence on yield, oil content, fatty acids composition and other characteristics |
|
1981 |
| Comparative studies of different modalities of nursing coffee seedlings. |
Ciencia y Tecnica en la Agricultura. Cafe y Cacao , 1980 |
1980 |
| SPATIAL-ORGANIZATION DURING THE DEVELOPMENT OF CERTAIN EMBRYOS |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 13 (1), 37-37 , 1980 |
1980 |
| Nuevas especies hospederas de Orobanche ramosa L. en Cuba |
Ciencias de la Agricultura , 1980 |
1980 |
| Asymptomatic renal amyloidosis recognized during a surgical intervention |
Revista clinica espanola 156 (2), 129-131 , 1980 |
1980 |
| CYTOLOGICAL AND AUTO-RADIOGRAPHIC STUDY OF TELOPLASM (POLE PLASM) FORMATION IN EGGS OF THE LEECH HELOBDELLA-TRISERIALIS |
ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 13 (1), 93-93 , 1980 |
1980 |
| Reporte de una especie hospedera de Orobanche ramosa L. en Cuba |
|
1980 |
| El sepulcro megalítico del Tajillo del Moro (Casabermeja, Málaga) |
Cuadernos de Prehistoria de la Universidad de Granada, 81-118 , 1980 |
1980 |
| El aprovechamiento por parte de España de las materias primas agrícolas de América en los siglos XVIII y XIX: la polémica del cultivo del cacahuete |
El científico español ante su historia: la ciencia en España entre 1750-1850 … , 1980 |
1980 |
