Search Results - (progress OR process)

Refine Results
  1. Cover Image

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    A Sorted Semantic Framework for Applied Process Calculi

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Learning and Designing Stochastic Processes from Logical Constraints

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Multi-Objective Model Checking of Markov Decision Processes

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Innovative practice of sustainable digital signal processing education

    Published in PLOS ONE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    PROcess Mining and Simulation for Healthcare Analysis: PROMSHA-Methodology

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    EFFECTS OF AEROBIC AND PROGRESSIVE RESISTANCE EXERCISE TRAININGS ON GROSS MOTOR SKILLS AND PHYSIOLOGICAL PARAMETERS OF PRIMARY SCHOOL PUPILS IN IBADAN, NIGERIA

    Published 2012
    Subjects: “…Progressive resistance exercise…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  9. Cover Image

    CAREER PROGRESSION, WORK MOTIVATION AND LEADERSHIP STYLES AS FACTORS AFFECTING JOB SATISFACTION OF LIBRARY PERSONNEL IN THE FEDERAL CIVIL SERVICE OF NIGERIA

    Published 2014
    Subjects: “…Career progression…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  10. Cover Image

    Multi-omics analysis identifies CCNB1 as a cell cycle factor driving glioblastoma progression and its inhibition by resveratrol

    Published in PLOS ONE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    The Apoe-/- Mouse PhysioLab® Platform: A Validated Physiologically-based Mathematical Model of Atherosclerotic Plaque Progression in the Apoe-/- Mouse

    Published in BioDiscovery (2012)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    First field documentation of interbreeding between released and wild Callipogon relictus (Coleoptera, Cerambycidae) signals in situ reinforcement progress in Korea

    Published in Biodiversity Data Journal (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Contributions to Biodiversity Data in the Global South: Digitization Progress and Open Data Through SiBBr at the Museu Nacional/UFRJ, Brazil

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Advancing the Diagnosis of Non‐Hodgkin Lymphoma Through Next‐Generation Sequencing in Developing Countries: An Evaluation of Progress—A Narrative Review

    Published in Health Science Reports (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    A Review: Progress in Thermochemical Energy Storage Based on CaCO3/CaO Materials for Concentrating Solar Power

    Published in Energy Technology (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Anesthetic Management of Progressive Deformity of Tracheal Cartilaginous Sleeve in a Pediatric Patient With Beare–Stevenson Syndrome: A Case Report

    Published in Case Reports in Anesthesiology (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Pre-Human Immunodeficiency Virus (HIV) infection Th17 CD4+ T cells as predictors of early HIV disease progression

    Published in PLoS Pathogens (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Integrating single-cell and spatial transcriptomics to reveal the spatiotemporal dynamics of retinal cells during ischemia–reperfusion injury progression in rats

    Published in Cell & Bioscience (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    A Co-Generation Framework Using Progressive GAN and Pix2Pix for Enhanced Sclera–Iris–Pupil (SIP) Segmentation

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    CurricuForge: A Unified Framework for Progressive Code Generation Through Curriculum-Guided Multi-Agent Collaboration With Symbolic Verification

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: