Spiking neural P systems: matrix representation and formal verification

YesStructural and behavioural properties of models are very important in development of complex systems and applications. In this paper, we investigate such properties for some classes of SN P systems. First, a class of SN P systems associated to a set of routing problems are investigated through their matrix representation. This allows to make certain connections amongst some of these problems. Secondly, the behavioural properties of these SN P systems are formally verified through a natural and direct mapping of these models into kP systems which are equipped with adequate formal verification methods and tools. Some examples are used to prove the effectiveness of the verification approach.EPSRC research grant EP/R043787/1; DOST-ERDT research grants; Semirara Mining Corp; UPD-OVCRD

Experiences of Self-Management Support Following a Stroke: A Meta-Review of Qualitative Systematic Reviews

Supporting self-management in stroke patients improves psychological and functional outcomes but evidence on how to achieve this is sparse. We aimed to synthesise evidence from systematic reviews of qualitative studies in an overarching meta-review to inform the delivery and development of self-management support interventions.We systematically searched eight electronic databases including MEDLINE, EMBASE and CINAHL for qualitative systematic reviews (published January 1993 to June 2012). We included studies exploring patients', carers' or health care professionals' experiences relevant to self-management support following a stroke, including studies describing the lived experience of surviving a stroke. We meta-synthesised the included review findings using a meta-ethnographic framework.Seven reviews, reporting 130 unique studies, were included. Themes emerging from the reviews were pertinent, consistent and showed data saturation; though explicit mention of self-management support was rare. Our meta-review highlighted the devastating impact of stroke on patients' self-image; the varying needs for self-management support across the trajectory of recovery; the need for psychological and emotional support throughout recovery particularly when physical recovery plateaus; the considerable information needs of patients and carers which also vary across the trajectory of recovery; the importance of good patient-professional communication; the potential benefits of goal-setting and action-planning; and the need for social support which might be met by groups for stroke survivors.The observed data saturation suggests that, currently, no further qualitative research simply describing the lived experience of stroke is needed; we propose that it would be more useful to focus on qualitative research informing self-management support interventions and their implementation. Our findings demonstrate both the on-going importance of self-management support and the evolving priorities throughout the stages of recovery following a stroke. The challenge now is to ensure these findings inform routine practice and the development of interventions to support self-management amongst stroke survivors

Intravenous alteplase for stroke with unknown time of onset guided by advanced imaging: systematic review and meta-analysis of individual patient data

Background: Patients who have had a stroke with unknown time of onset have been previously excluded from thrombolysis. We aimed to establish whether intravenous alteplase is safe and effective in such patients when salvageable tissue has been identified with imaging biomarkers. Methods: We did a systematic review and meta-analysis of individual patient data for trials published before Sept 21, 2020. Randomised trials of intravenous alteplase versus standard of care or placebo in adults with stroke with unknown time of onset with perfusion-diffusion MRI, perfusion CT, or MRI with diffusion weighted imaging-fluid attenuated inversion recovery (DWI-FLAIR) mismatch were eligible. The primary outcome was favourable functional outcome (score of 0–1 on the modified Rankin Scale [mRS]) at 90 days indicating no disability using an unconditional mixed-effect logistic-regression model fitted to estimate the treatment effect. Secondary outcomes were mRS shift towards a better functional outcome and independent outcome (mRS 0–2) at 90 days. Safety outcomes included death, severe disability or death (mRS score 4–6), and symptomatic intracranial haemorrhage. This study is registered with PROSPERO, CRD42020166903. Findings: Of 249 identified abstracts, four trials met our eligibility criteria for inclusion: WAKE-UP, EXTEND, THAWS, and ECASS-4. The four trials provided individual patient data for 843 individuals, of whom 429 (51%) were assigned to alteplase and 414 (49%) to placebo or standard care. A favourable outcome occurred in 199 (47%) of 420 patients with alteplase and in 160 (39%) of 409 patients among controls (adjusted odds ratio [OR] 1·49 [95% CI 1·10–2·03]; p=0·011), with low heterogeneity across studies (I2=27%). Alteplase was associated with a significant shift towards better functional outcome (adjusted common OR 1·38 [95% CI 1·05–1·80]; p=0·019), and a higher odds of independent outcome (adjusted OR 1·50 [1·06–2·12]; p=0·022). In the alteplase group, 90 (21%) patients were severely disabled or died (mRS score 4–6), compared with 102 (25%) patients in the control group (adjusted OR 0·76 [0·52–1·11]; p=0·15). 27 (6%) patients died in the alteplase group and 14 (3%) patients died among controls (adjusted OR 2·06 [1·03–4·09]; p=0·040). The prevalence of symptomatic intracranial haemorrhage was higher in the alteplase group than among controls (11 [3%] vs two [<1%], adjusted OR 5·58 [1·22–25·50]; p=0·024). Interpretation: In patients who have had a stroke with unknown time of onset with a DWI-FLAIR or perfusion mismatch, intravenous alteplase resulted in better functional outcome at 90 days than placebo or standard care. A net benefit was observed for all functional outcomes despite an increased risk of symptomatic intracranial haemorrhage. Although there were more deaths with alteplase than placebo, there were fewer cases of severe disability or death. Funding: None

A systematic review of the reporting of Data Monitoring Committees' roles, interim analysis and early termination in pediatric clinical trials

<p>Abstract</p> <p>Background</p> <p>Decisions about interim analysis and early stopping of clinical trials, as based on recommendations of Data Monitoring Committees (DMCs), have far reaching consequences for the scientific validity and clinical impact of a trial. Our aim was to evaluate the frequency and quality of the reporting on DMC composition and roles, interim analysis and early termination in pediatric trials.</p> <p>Methods</p> <p>We conducted a systematic review of randomized controlled clinical trials published from 2005 to 2007 in a sample of four general and four pediatric journals. We used full-text databases to identify trials which reported on DMCs, interim analysis or early termination, and included children or adolescents. Information was extracted on general trial characteristics, risk of bias, and a set of parameters regarding DMC composition and roles, interim analysis and early termination.</p> <p>Results</p> <p>110 of the 648 pediatric trials in this sample (17%) reported on DMC or interim analysis or early stopping, and were included; 68 from general and 42 from pediatric journals. The presence of DMCs was reported in 89 of the 110 included trials (81%); 62 papers, including 46 of the 89 that reported on DMCs (52%), also presented information about interim analysis. No paper adequately reported all DMC parameters, and nine (15%) reported all interim analysis details. Of 32 trials which terminated early, 22 (69%) did not report predefined stopping guidelines and 15 (47%) did not provide information on statistical monitoring methods.</p> <p>Conclusions</p> <p>Reporting on DMC composition and roles, on interim analysis results and on early termination of pediatric trials is incomplete and heterogeneous. We propose a minimal set of reporting parameters that will allow the reader to assess the validity of trial results.</p

Microcontroller-based humanoid robotic arms with computer aided programming

This research is focused on developing a pair of six degrees-of-freedom robotic arms which will be able to mimic the movements similar of those of the human arm. An end effecter is also developed in this study to facilitate the testing in terms of grasping and lifting of objects up to 150 grams per arm. The full length of each robotic arms is roughly 10 to 12 inches and has a 3-fingered gripper attached to its end. The robotic arms will be able to pass objects from one arm to the other. The system will utilize a single microcontroller per arm that will handle the motor control and will be supervised by a master microcontroller that will give the necessary instructions to the robotic arms. Feedback will be taken from the servo motors and force-sensing resistors (FSR) in determining the positions of the arm and the amount of grip being developed. A GUI for PC and a portable memory interface are developed for ease in giving instructions to the robotic arm hardware. Manual control of the robotic arms is also possible

A Dyadic Analysis of Depressive Symptoms, Harsh Parenting, and Rejection in Filipino Mothers and Fathers

This study examines within-person and cross-person relations between depressive symptoms, harsh parenting, and parental rejection in low-income Filipino mothers and fathers of adolescents using an actor–partner interdependence model (APIM). Mother and father dyads (N = 81, Mage = 43.48, SD = 8.66) recruited from urban neighborhoods in the Philippines completed orally administered questionnaires on depressive symptoms, harsh parenting, and rejection. Results showed that mothers\u27 scores and fathers\u27 scores on depressive symptoms did not significantly differ and that mothers scored significantly higher than fathers on harsh parenting and rejection. Dyadic analyses using the APIM showed that the actor effect of depressive symptoms on harsh parenting was statistically significant for fathers only and that the actor effects of depressive symptoms on rejection were statistically significant for both mothers and fathers. No partner effects on harsh parenting and rejection were statistically significant. These findings contribute to the robust evidence linking parental depressive symptoms to negative parenting behaviors and highlight the need to attend to both fathers\u27 psychological health and mothers\u27 psychological health in efforts to reduce harsh and rejecting parenting behaviors among Filipino parents

Intradiscal Pressure Changes during Manual Cervical Distraction: A Cadaveric Study

The objective of this study was to measure intradiscal pressure (IDP) changes in the lower cervical spine during a manual cervical distraction (MCD) procedure. Incisions were made anteriorly, and pressure transducers were inserted into each nucleus at lower cervical discs. Four skilled doctors of chiropractic (DCs) performed MCD procedure on nine specimens in prone position with contacts at C5 or at C6 vertebrae with the headpiece in different positions. IDP changes, traction forces, and manually applied posterior-to-anterior forces were analyzed using descriptive statistics. IDP decreases were observed during MCD procedure at all lower cervical levels C4-C5, C5-C6, and C6-C7. The mean IDP decreases were as high as 168.7 KPa. Mean traction forces were as high as 119.2 N. Posterior-to-anterior forces applied during manual traction were as high as 82.6 N. Intraclinician reliability for IDP decrease was high for all four DCs. While two DCs had high intraclinician reliability for applied traction force, the other two DCs demonstrated only moderate reliability. IDP decreases were greatest during moving flexion and traction. They were progressevely less pronouced with neutral traction, fixed flexion and traction, and generalized traction

Enhancing resilience through capacity building in LCCAP formulation in the local government of Aurora, Philippines

Climate Disaster Risk Assessment (CDRA) and Local Climate Change Action Plan (LCCAP) provide the scientific and legal platform for climate change adaptation and mitigation in the Philippines. This APN CAPaBLE project responds to the limited technical capacity of local government units (LGUs) to comply with this requirement through collaborative capacity building. Evaluation of CDRA and LCCAP led to a National Interagency Technical and Policy Forum to formulate action plans and fast-track preparations. The initial stage of the project demonstrated collaborative advantage as a condition for mobilizing human and financial resources was enabled. Collaborative inertia set in once the technical limitations of Aurora LGUs surfaced to complete the CDRA. This mirrored the results of the institutional capacity survey, administered to 87 disaster risk reduction and management Technical Working Group (TWG) members, highlighting the LGUs limitations in data availability and functional knowledge on climate change. Thus, a shift in capacity building strategy through focused mentoring and managing LGU expectations was done. The Aurora LGUs successfully completed its CDRA and LCCAP requirements through a lengthy and arduous process. It was acknowledged that CDRA preparation has a steep learning curve and competes heavily with other multiple functions and pressing demands from the LGUs. The national interagency forum resolution suggested that the CDRA be assigned to another government agency while LGUs shift capacity development initiatives to understanding and mainstreaming scientific assessment into local plans. The project experience highlights the difficult, yet promising, path to human security development and resilience building and underscored prudence and urgency of adaptation planning at the local level

Factors Associated With Battered Filipino Women’s Decision to Stay in or Leave an Abusive Relationship

There is a dearth of research on battered Filipino women’s stay or leave decision-making process. The present study interviewed 40 battered women in the Philippines to explore factors associated with their decisions to stay or leave their husbands or partners. Results revealed that (a) battered women’s decision to stay was associated with intrapersonal and interpersonal factors such as personality characteristics, lack of personal resources, absence of social support, presence of children, length of relationship, and sociocultural factors and (b) battered women’s decision to leave their abusive partners was associated with factors such as personality characteristics, personal resources, social support, nature of abuse, and spousal factors. Implications for research and practice were discussed