Results 111 to 120 of about 179,862 (304)
A PCP Characterization of AM [PDF]
We introduce a 2-round stochastic constraint-satisfaction problem, and show that its approximation version is complete for (the promise version of) the complexity class AM. This gives a `PCP characterization' of AM analogous to the PCP Theorem for NP.
openaire +4 more sources
ABSTRACT Objective Variants in SLC6A1, encoding the GABA transporter 1 (GAT‐1), cause epilepsy, autism spectrum disorder, and developmental delay via loss of GABA uptake, impaired trafficking, and ER retention. We previously found that 4‐Phenylbutyrate (PBA), an FDA‐approved drug, restores GABA uptake and reduces seizures in SLC6A1‐related disorders ...
Melissa B. DeLeeuw +5 more
wiley +1 more source
Verification of PCP-Related Computational Reductions in Coq
We formally verify several computational reductions concerning the Post correspondence problem (PCP) using the proof assistant Coq. Our verifications include a reduction of a string rewriting problem generalising the halting problem for Turing machines ...
A Asperti +11 more
core +1 more source
Objective We evaluated the ability of the Renal Activity Index for Lupus (RAIL) to discriminate active lupus nephritis (LN) in adult patients with active systemic lupus erythematosus (SLE) and differentiate LN treatment response. Methods Urine samples from adults with biopsy‐proven active class III and IV LN from TULIP‐LN (active LN group ...
Hermine I. Brunner +12 more
wiley +1 more source
Cognitive Behavioral Therapy for Youth With Childhood‐Onset Lupus: A Randomized Clinical Trial
Objective Our objective was to determine the feasibility and acceptability of the Treatment and Education Approach for Childhood‐Onset Lupus (TEACH), a six‐session cognitive behavioral intervention addressing depressive, fatigue, and pain symptoms, delivered remotely to individual youth with lupus by a trained interventionist.
Natoshia R. Cunningham +29 more
wiley +1 more source
Biomass-supported catalysts on Desulfovibrio desulfuricans and Rhodobacter sphaeroides [PDF]
A Rhodobacter sphaeroides-supported dried, ground palladium catalyst (‘‘Rs-Pd(0)’’) was compared with a Desulfovibrio desulfuricans-supported catalyst (‘‘Dd-Pd(0)’’)and with unsupported palladium metal particles made by reduction under H2 (‘‘Chem-Pd(0)’’)
Baxter-Plant, VS +3 more
core
Risk factors for identifying pneumocystis pneumonia in pediatric patients
ObjectivesThis study aimed to identify the risk factors and construct the diagnostic model associated with pneumocystis pneumonia (PCP) in pediatric patients.MethodsThis retrospective observational study analyzed 34 cases of PCP and 51 cases of other ...
Chunyan Zhang +10 more
doaj +1 more source
Objective Rheumatic and musculoskeletal diseases (RMDs) are leading causes of physical disability, necessitating support with activities of daily living. This study describes social care received by patients with RMDs in two disparate regions of England: Salford (urban) and Norfolk (rural).
Mehreen Somro +6 more
wiley +1 more source
Adsorption of pentachlorophenol onto activated carbon in a fixed bed : a thesis presented in partial fulfilment of the requirements for the degree of Master of Technology in Environmental Engineering at Massey University [PDF]
The adsorption of pentachlorophenol (PCP) from water onto granular activated carbon (GAC) was studied. Equilibrium and kinetic behaviour was studied, and the results used to predict fixed bed adsorber behaviour.
Slaney, Andrew James
core

