Partial Order Reduction with Compositional Verification
, 2014 This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts.
Shaw, Adrian Mark
core
Partial discharge testing of defective three-phase PILC cable under rated conditions
, 2011 The ability to accurately monitor the health of power distribution plant is a very attractive prospect for utility companies. This capability would provide a system that engineers could use to assess the real-time state of the network.
Hunter, J.A. +5 more
core
Efficient Regression in Time Series Partial Linear Models [PDF]
This paper studies efficient estimation of partial linear regression in time series models. In particular, it combines two topics that have attracted a good deal of attention in econometrics, viz.
Peter C.B. Phillips +2 more
core
Optimal Partial Harvesting Schedule for Aquaculture Operations
When growth is density dependent, partial harvest of the standing stock of cultured species (fish or shrimp) over the course of the growing season (i.e., partial harvesting) would decrease competition and thereby increase individual growth rates and ...
Leung, PingSun, Yu, Run
core
Success Rate of Partial Two-Stage Exchange Arthroplasty for Late Chronic Periprosthetic Joint Infections in Total Hip Arthroplasty: A Meta-Analysis. [PDF]
Hip PelvisYoon BH +5 more
europepmc +1 more source
Comparative Outcomes of Total Versus Partial Pericardiectomy in Constrictive Pericarditis: A Two-Decade Single-Centre Experience. [PDF]
Interdiscip Cardiovasc Thorac SurgMoawad KR +6 more
europepmc +1 more source
Psychedelic-Assisted Interventions in Palliative Care: A Narrative Overview and Critical Evaluation. [PDF]
Healthcare (Basel)Soares DA, Campolina AG.
europepmc +1 more source
Structure-Preserving Point Cloud Completion with Symmetry-Guided Progressive Refinement. [PDF]
Sensors (Basel)Zhao S, Niu Y.
europepmc +1 more source