Session Protocol Research Articles

Building Bridges: An evidence-based program to increase self-determination in veterans undergoing rehabilitative services

Veterans with polytrauma may experience reduced self-determination, constrained engagement in rehabilitative activities, and compromised reintegration into civilian life with regard to employment, education, finance, legal, social, and physical and mental health. The purpose of this article is to introduce and examine the potential benefits of a three-dimensional assistive technology, evidence-based curriculum, to increase levels of self-determination for veterans admitted to rehabilitative services. Building Bridges was developed as an interdisciplinary concept design for the Minneapolis Veterans Affairs Health Care System in conjunction with the Minneapolis Adaptive Design & Engineering and the University of Wisconsin La Crosse to address reintegration via accessibility, empowerment, and satisfaction through supportive leisure education. All session protocols, theoretical foundation, and assessments can be found in the fidelity manual that is open access on the University of Wisconsin La Crosse recreation therapy website.

Поправки в ГПК РФ о протоколе судебного заседания: анализ изменений

The article presents an overview and analysis of the amendments to the civil procedure legislation concerning the court hearing protocol, introduced by Federal Law No. 135-FZ of June 12, 2024. The author notes that the introduced changes aim to further improve and unify procedural legislation by mandating audio recording of court sessions. The article highlights the advantages, potential problems, and risks associated with abandoning traditional forms of court hearing protocols. The discussed procedural reform should be viewed positively in the context of the overall trend towards the digitalization of justice. However, its success will depend on the estab-lishment of adequate organizational foundations for the use of technical tools in maintaining court session pro-tocols and the development of an effective legal framework to regulate their application.

Robotic task specific training for upper limb neurorehabilitation: a mixed methods feasibility trial reporting achievable dose.

Robotic devices for upper-limb neurorehabilitation allow an increase in intensity of practice, often relying on video game-based training strategies with limited capacity to individualise training and integrate functional training. This study shows the development of a robotic Task Specific Training (TST) protocol and evaluate the achieved dose. Mixed-method study. A 3D robotic device for the upper limb, was made available to therapists for use during neurorehabilitation sessions. A first phase allowed clinicians to define a dedicated session protocol for TST. In a second phase the protocol was applied and the achieved dose was measured. First phase (N = 5): a specific protocol, using deweighting for assessment, followed by customised passive movements and then active movement practice was developed. Second phase: the protocol was successfully applied with all participants (N = 10). Intervention duration: 4.5 ± 0.8 weeks, session frequency: 1.4 ± 0.2sessions/week, session length: 42 ± 9mins, session density: 39 ± 13%, intensity: 214 ± 84 movements/session, difficulty: dn = 0.77 ± 0.1 (normalised reaching distance) and Ɵ = 6.3 ± 23° (transverse reaching angle). Sessions' density and intensity were consistent across participants but clear differences of difficulty were observed. No changes in metrics were observed over the intervention. Robotic systems can support TST with high therapy intensity by modulating the practice difficulty to participants' needs and capabilities.

Aligning extracurricular school activities with physical literacy: pilot evaluation through self-study of practice.

Although several important documents of education and health promotion on the international level favor practices geared toward physical literacy (PL), not all countries have yet gained experience with this holistic concept. Therefore, numerous stakeholders and practitioners who intend to align their interventional activities with PL will soon face the situation that there are no recommendations for their specific culture and language for how to design such programs. Given that such recommendations are also lacking for Germany, the goal of the present study within the uncontrolled pilot cycles of the PLACE study was (a) to describe the process of a female pedagogue (27 years old, previously unexperienced with PL) initially familiarizing herself with the PL concept and its implementation opportunities for the school setting, and (b) to retrace the process of developing and refining a PL-driven intervention for extracurricular physical education (60-90 min) of children in grades three and four at primary schools in Bremen. Adopting a self-study design, this endeavor emphasized continuous reflexivity involving: (a) session protocols; (b) biweekly discussions with another coach; (c) weekly discussions between scientists and stakeholders of youth development ("multi-perspective panel"); (d) weekly observations and impressions during field work; and (e) summative group interviews with children (n = 17, age range: 8-9 years, 17.6% boys). Written documents underwent qualitative content analysis with inductively generated categories. Despite explicit links between the theoretical PL domains and the intervention content, the character of how PL informed the intervention level was dominated by the stance and atmosphere implemented by the deliverer (e.g., participatory attitude, open mindset). Accordingly, the team revised the intervention primarily on the levels of organization (temporal schedule and sequences), instruction, and materials. After initial stages of didactically "surviving" within classes, the deliverer could increasingly integrate tasks of cognitive engagement and provide choice for students enabling individual autonomy for nurturing a person-centered approach. This study encourages teachers and stakeholders of physical education to seek exchange with scholars or other practitioners while simultaneously demonstrating patience in comprehensively internalizing PL and efficiently translating the concept into routines in line with individual's quality standards.

The Effect of a Single About of Resistance Exercise with Two Intensities and Different Recovery on Pro-Inflammatory Factor TNF-Α, HSP-70, And Anti-Inflammatory Factor BDNF In Female Bodybuilders

Background and purpose: resistance exercises with high loads of HLRT can cause physiological changes, including in the immune system. The purpose and credibility of qualitative research investigated the effect of a resistance activity session with two different intensities and recovery on the expression of TNF-α, HSP-70, and BDNF genes in female bodybuilders.Methods: In this Quasi-experimental study, twelve healthy female bodybuilders (age 30±5) volunteered to participate in the research. The samples performed one weekly strength training protocol session designed at two intensities of one maximum repetition in two different recovery times of one and two minutes. 36 hours after the end of the training, sampling was done after ten hours of fasting, and the samples were centrifuged and stored at minus 20℃. At the end of the four stages, the levels of TNF-α, HSP-70, and BDNF were checked in the medical laboratory. A consent form was obtained from all the participants. SPSS version 27 software was used for data analysis at a significance level of α ≤ 0.05.Findings: The results showed that HLRT resistance training compared to moderate intensity resistance training, by increasing the training intensity to 85% of a maximum repetition and recovery time of one and two minutes, significantly reduced TNF-α level (with p<0.001and a significant increase in the serum levels of BDNF and HSP-70 (with p<0.0001).Conclusion: It seems that increasing the intensity of HLRT resistance training has no negative effect on the immune system, and probably with the decrease of the pro-inflammatory factor TNF-α and HSP-70, the anti-inflammatory factor BDNF also increased reduces the incidence of inflammation in female bodybuilders.

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistinguishability statements, expressed as behavioural equivalences in a process calculus. In this paper we contribute both to the theory and practice of this verification problem. We establish new complexity results for static equivalence, trace equivalence and labelled bisimilarity and provide a decision procedure for these equivalences in the case of a bounded number of protocol sessions. Our procedure is the first to decide trace equivalence and labelled bisimilarity exactly for a large variety of cryptographic primitives -- those that can be represented by a subterm convergent destructor rewrite system. We also implemented the procedure in a new tool, DeepSec. We showed through extensive experiments that it is significantly more efficient than other similar tools, while at the same time raises the scope of the protocols that can be analysed.

Validation of a Single-Session Protocol to Determine the Load-Velocity Profile and One-Repetition Maximum for the Back Squat Exercise.

Gomes, M, Fitas, A, Santos, P, Pezarat-Correia, P, and Mendonca, GV. Validation of a single session protocol to determine the load-velocity profile and one-repetition maximum for the back squat exercise. J Strength Cond Res 38(6): 1013-1018, 2024-We investigated whether a single session of absolute incremental loading is valid to obtain the individual load-velocity profile (LVP) and 1 repetition maximum (1RM) for the free-weight parallel back squat. Twenty strength-trained male subjects completed 3 testing sessions, including a baseline 1RM session and 2 LVP sessions (LVP rel based on incremental relative loads and LVP abs based on absolute load increments until 1RM). The 1RM load was compared between the baseline and LVP abs . The load at zero velocity (load-axis intercept [L 0 ]), maximal velocity capacity (velocity-axis intercept [V 0 ]), slope, and area under the load-velocity relationship line (A line ) were compared between the LVP rel and LVP abs using equivalence testing through 2 one-sided t -tests. Measurement accuracy was calculated using the absolute percent error. The 1RM measured at baseline and LVP abs was equivalent and presented a low absolute percent error (1.2%). The following LVP parameters were equivalent between LVP rel and LVP abs : 1RM, L 0 , and A line because the mean difference between sessions was close to zero and the Bland-Altman limits of agreement (1RM:5.3 kg; L 0 :6.8 kg; A line : 9.5 kg·m -1 ·s -1 ) were contained within the a priori defined ± equivalent margins (5% for 1RM and L 0 and 10% for A line ). The aforementioned variables presented a low absolute percent error. However, slope and V 0 were not equivalent between sessions. In conclusion, a single session of absolute incremental loading is a valid approach to obtain the L 0 and A line of the individual LVP and 1RM, and can be used to efficiently track the magnitude of neuromuscular adaptations throughout the training cycles for the free-weight back squat.

Decision and Complexity of Dolev-Yao Hyperproperties

The formal analysis of cryptographic protocols traditionally focuses on trace and equivalence properties, for which decision procedures in the symbolic (or Dolev-Yao, or DY) model are known. However, many relevant security properties are expressed as DY hyperproperties that involve quantifications over both execution paths and attacker computations (which are constrained by the attacker's knowledge in the underlying model of computation). DY hyperproperties generalise hyperproperties, for which many decision procedures exist, to the setting of DY models. Unfortunately, the subtle interactions between both forms of quantifications have been an obstacle to lifting decision procedures from hyperproperties to DY hyperproperties. The central contribution of the paper is the first procedure for deciding DY hyperproperties, in the usual setting where the number of protocol sessions is bounded and where the equational theory modelling cryptography is subterm-convergent. We prove that our decision procedure can decide the validity of any hyperproperty in which quantifications over messages are guarded and quantifications over attacker computations are limited to expressing the attacker's knowledge. We also establish the complexity of the decision problem for several important fragments of the hyperlogic. Further, we illustrate the techniques and scope of our contributions through examples of related hyperproperties.

Designing secure PUF-based authentication protocols for constrained environments

Physical Unclonable Functions (PUFs) are widely used in cryptographic authentication and key-agreement protocols due to their unique physical properties. This article presents a comprehensive cryptanalysis of two recently developed authentication protocols, namely PLAKE and EV-PUF, both relying on PUFs. Our analysis reveals significant vulnerabilities in these protocols, including susceptibility to impersonation and key leakage attacks, which pose serious threats to the security of the underlying systems. In the case of PLAKE, we propose an attack that can extract the shared secret key with negligible complexity by eavesdropping on consecutive protocol sessions. Similarly, we demonstrate an efficient attack against EV-PUF that enables the determination of the shared key between specific entities. Furthermore, we highlight the potential for a single compromised client in the EV-PUF protocol to compromise the security of the entire network, leaving it vulnerable to pandemic attacks. These findings underscore the critical importance of careful design and rigorous evaluation when developing PUF-based authentication protocols. To address the identified vulnerabilities, we present an improved PUF-based authentication protocol that ensures robust security against all the attacks described in the context of PLAKE and EV-PUF. Through this research, we contribute to the field by exposing vulnerabilities in existing PUF-based authentication protocols and offering an improved protocol that enhances security and safeguards against various attack vectors. This work serves as a valuable reference for researchers and practitioners involved in the design and implementation of secure authentication schemes for IoT systems and dynamic charging systems for electric vehicles.

Evaluation of taVNS for extreme environments: an exploration study of health benefits and stress operationality

IntroductionLong-duration space missions will be a real challenge for maintaining astronauts' adaptability. Research on transcutaneous vagus nerve stimulation (taVNS) is expanding rapidly, and its modalities constitute a major research challenge. A growing number of reviews stress the need to validate biomarkers for monitoring effects to enhance our understanding of the processes by which taVNS acts. Heart rate variability (HRV) appears to be a relevant candidate that informs on the autonomic nervous system (ANS). This is a promising technique to minimize the pathogenic effects of such large-scale missions and thus might be a relevant countermeasure. This study aimed to investigate the impact of taVNS on cognitive, psychological, and physiological functioning, including ANS functioning, and the benefits of increasing the number of taVNS sessions.MethodA total of 44 healthy participants were randomly assigned to one of the two cross-over protocols: a single session protocol (one taVNS and one sham simulation) or a repeated session protocol (three taVNS and three sham simulations). Cognitive, psychological, and physiological measures were performed before (pre) and after (post) each intervention. Sleep monitoring was only recorded before the first and after the last intervention in each protocol. For the repeated session protocol only, participants were allocated to two groups according to their parasympathetic activation gain during the three interventions: high parasympathetic delta (HPd) and low parasympathetic delta (LPd).ResultsParticipants in the repeated session protocol increased their HRV, cognitive performance, and sleep efficiency. In particular, taVNS induced higher parasympathetic activation and cardiac flexibility compared to the sham simulation in the repeated session protocol. Nevertheless, the perception of stress may indicate a nocebo effect of the repeated session. The HPd profile had higher interoceptive awareness, HRV highlighted by non-linear measures, and cognitive performance, but presented a decrease in some indicators of sleep efficiency compared to the LPd profile.ConclusiontaVNS seems to induce positive health outcomes, especially when the stimulation is repeated three times per week. Our findings highlight the benefits of parasympathetic activation during taVNS on psychophysiological and cognitive functioning. Further research is needed to validate these results on a large sample, using longitudinal measures over several months. This intervention appears promising as a countermeasure to extreme missions and occupations.

Optimal congestion management in network routers subject to constraints, disturbances, and noise using the model predictive control approach

AbstractA predictive queue management method is proposed for constrained congestion control in internet routers in the face of communication delays. The proposed method uses the queue and router models, input traffic rate, and queue length to precisely characterise the entire process. The model that has been built is then used to construct an optimal constrained active queue management (CAQM) strategy using the model predictive control method. Important factors, such as link capacity, Transmission Control Protocol (TCP) sessions, round‐trip time, and a few others, have been selected and used to linearise the interconnection of TCP. Then, an efficient MPC‐based structure to manage the CAQM in the face of unknown disturbances is designed. Simulations are used to validate the proposed method's effectiveness and robustness.

School Social Work in Sweden—Who are the Children in Counselling, and What Support are They Offered? A Protocol Study About Individual Counselling in Elementary Schools

AbstractThe overall aim of the present study is to describe and explore the characteristics and content of school social worker’s (SSWs) individual counselling with children as these are imprinted in session protocols collected at Swedish elementary schools. Specific focus is placed on the character of the children’s concerns, the content of the SSW’s helping strategies, and challenges related to the alliance between the SSW and the children as experienced by the SSW. The study was based on data from a survey protocol of 20 SSW’s daily practice regarding their experiences in counselling children and adolescents. The data consisted of 193 protocols from the same number of unique individual sessions. Data were analysed through quantitative descriptive statistics. The data also contained a large proportion of open-ended textual answers, which were analysed through a qualitative summative content analysis. The counselling strategies were primarily divided into three parts, namely coaching, processing, and assessing. The most common practice elements used included elements of empowerment, alliance and relationship, and hope and trust. In counselling children, SSWs identified a broad range of problems in children’s overall lives. Many children suffered from their home situations, which also impinged upon the SSWs, who were affected by the children’s life narrative. Our results can help inform SSW policy and practices as SSWs assist vulnerable children through individual counselling that corresponds to their help-seeking behaviour and by offering a space for alliances and relationships.

Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)

We develop an account of dependent session protocols in concurrent separation logic for a functional language with message-passing. Inspired by minimalistic session calculi, we present a layered design: starting from mutable references, we build one-shot channels, session channels, and imperative channels. Whereas previous work on dependent session protocols in concurrent separation logic required advanced mechanisms such as recursive domain equations and higher-order ghost state, we only require the most basic mechanisms to verify that our one-shot channels satisfy one-shot protocols, and subsequently treat their specification as a black box on top of which we define dependent session protocols. This has a number of advantages in terms of simplicity, elegance, and flexibility: support for subprotocols and guarded recursion automatically transfers from the one-shot protocols to the dependent session protocols, and we easily obtain various forms of channel closing. Because the meta theory of our results is so simple, we are able to give all definitions as part of this paper, and mechanize all our results using the Iris framework in less than 1000 lines of Coq.

Collaborative decision making improves interpersonal psychotherapy efficiency: A randomized clinical trial with postpartum women

BackgroundRandomized controlled trials of Interpersonal Psychotherapy (IPT) and other psychotherapies for depression have required strict adherence to protocol and do not allow for clinical judgment in deciding frequency of sessions. To determine if such protocols were more effective than allowing therapists to use their clinical judgment, we compared “Clinician- Managed” IPT (CM-IPT), in which clinicians and patients with postpartum depression were allotted 12 sessions and determined collaboratively when to use them, to a once weekly 12 session protocol (“Standard IPT”). We hypothesized that CM-IPT would be more efficient, requiring fewer sessions to reach an equivalent acute outcome, and that CM-IPT would be superior over 12 months because “saved” sessions could be used for maintenance treatment. MethodWe conducted a clinical trial including 140 postpartum outpatients with DSM-IV major depression who were randomly assigned to “Standard” IPT (N= 69) or CM-IPT (N= 71). ResultsBoth CM-IPT and S-IPT were highly efficacious with similar outcomes by 12 weeks but CM-IPT group utilized significantly fewer sessions. Both were superior to a waitlist control. Superiority comparisons at 12 months did not favor the CM-IPT condition. LimitationsResults should be replicated in a more diverse sample to increase generalizability. ConclusionsCM-IPT is more efficient in treating acute depression than mandated weekly IPT. Further, permitting clinicians and patients to use their collaborative judgment is likely to be a more efficient and effective way to conduct future research and to implement evidence-based psychotherapy in the community.

The effect of hyperbaric oxygen therapy on myocardial function in post- covid syndrome patients: a randomized controlled trial

Abstract Funding Acknowledgements Type of funding sources: None. Background Post-COVID-19 condition refers to a range of persisting physical and neurocognitive symptoms following SARS-CoV-2 infection. Recent evidence revealed that post-COVID syndrome patients may suffer from cardiac dysfunction and are at increased risk for a broad range of cardiovascular disorders. This randomized, sham-control, double-blind trial evaluated the effect of hyperbaric oxygen therapy (HBOT) on the cardiac function of post-COVID-19 patients with ongoing symptoms for at least three months after confirmed infection. Methods Sixty patients were randomized to receive 40 daily HBOT or sham sessions. They underwent echocardiography at baseline and 1-3 weeks after the last protocol session. Results Twenty-nine (48.3%) patients had reduced global longitudinal strain (GLS) at baseline. Of them, 13 (43.3%) and 16 (53.3%) were allocated to the sham and HBOT groups, respectively. Compared to the sham group, GLS significantly increased following HBOT (−17.8±1.1 to −20.2±1.0, p = 0.0001), with a significant group-by-time interaction (p = 0.041). Conclusion Post-COVID syndrome patients despite normal EF often have subclinical left ventricular dysfunction that is characterized by mildly reduced GLS. HBOT promotes left ventricular systolic function recovery in patients suffering from post COVID-19 condition. Further studies are needed to optimize patient selection and evaluate long-term outcomes.

The effect of hyperbaric oxygen therapy on myocardial function in post-COVID-19 syndrome patients: a randomized controlled trial

Post-COVID-19 condition refers to a range of persisting physical, neurocognitive, and neuropsychological symptoms following SARS-CoV-2 infection. Recent evidence revealed that post-COVID-19 syndrome patients may suffer from cardiac dysfunction and are at increased risk for a broad range of cardiovascular disorders. This randomized, sham-control, double-blind trial evaluated the effect of hyperbaric oxygen therapy (HBOT) on the cardiac function of post-COVID-19 patients with ongoing symptoms for at least three months after confirmed infection. Sixty patients were randomized to receive 40 daily HBOT or sham sessions. They underwent echocardiography at baseline and 1–3 weeks after the last protocol session. Twenty-nine (48.3%) patients had reduced global longitudinal strain (GLS) at baseline. Of them, 13 (43.3%) and 16 (53.3%) were allocated to the sham and HBOT groups, respectively. Compared to the sham group, GLS significantly increased following HBOT (− 17.8 ± 1.1 to − 20.2 ± 1.0, p = 0.0001), with a significant group-by-time interaction (p = 0.041). In conclusion, post-COVID-19 syndrome patients despite normal EF often have subclinical left ventricular dysfunction that is characterized by mildly reduced GLS. HBOT promotes left ventricular systolic function recovery in patients suffering from post COVID-19 condition. Further studies are needed to optimize patient selection and evaluate long-term outcomes.This study was registered with ClinicalTrials.gov, number NCT04647656 on 01/12/2020.

Dependent Session Protocols in Separation Logic from First Principles (Artifact)

Dependent Session Protocols in Separation Logic from First Principles (Artifact)

Dependent Session Protocols in Separation Logic from First Principles (Artifact)

Dependent Session Protocols in Separation Logic from First Principles (Artifact)

Optimization of magnetic fluid hyperthermia protocols for the elimination of breast cancer cells MCF7 using Mn-Zn ferrite ferrofluid

The present study aimed to optimize magnetic fluid hyperthermia (MFH) protocols by standardizing MF incubation time, hyperthermic duration, magnetic field, and MFH sessions to achieve a better hyperthermic response for the profuse killing of human breast cancer cell cells MCF7. Magnetic nanoparticles and MF were characterized using XRD, VSM, and DLS. Induction heating was performed for 30 min at field strengths of 12.5 and 13.3 kA/m at a fixed frequency of 330 kHz with varying concentrations and incubation duration on MCF7 cells. Single and multiple sessions hyperthermia protocols were used to kill MCF7 cells and the cytotoxicity effect was analyzed using MTT assay. Single and multiple sessions MFH protocols were established to kill breast cancer cells utilizing 0.2 mg/mL MF at 13.3 kA/m field and 330 kHz frequency and maintaining the hyperthermic temperature of 43–45 °C for 30 min. The single session MFH revealed severe toxicity of MF leading to more than 75% of cell death after 24 h of MF incubation. Multiple sessions hyperthermia resulted in more than 90% killing of MCF7 cells after two consequent 3 h MF incubation with 3 h gap. Each 3 h of MF incubation was followed by 30 min of induction heating. Multiple sessions hyperthermia was effective in killing a larger cell population compared to the single session protocol. The results may help in optimizing protocols for the profuse killing of cancer cells of multiple origins, and aid in deciding futuristic in vivo MFH-based therapeutic strategies against breast cancer.Graphical Variation in MCF7 cells’ viability due to HT, MF, and MF + HT in multiple sessions.

An evaluation of an open group for depressed mood on a stroke rehabilitation ward: three years of clinical data

Purpose An open group intervention for stroke inpatients, based on Acceptance and Commitment Therapy, is evaluated using retrospective clinical service data. Materials and methods Participants were included unless severely unwell or unable to provide informed consent. 117 participants attended at least two sessions in a non-controlled, repeated measures design. Two session protocols were delivered on alternating weeks by an Assistant Psychologist and Trainee Psychologist, covering values, committed action, and acceptance. Participants rated their mood each session using the Depression Intensity Scale Circles (DISCs). Results Attended sessions ranged from 1 to 11 (Md: 2). Significant reductions in DISCs scores with medium effect sizes were found among those scoring above the cut-off for depression at baseline, Χ2(3) = 20.87, p < .001. The likelihood of scoring below the cut-off for depression did not change between participants’ first and last sessions, X2(1, N = 117) = 1.36, p = .24. The number of sessions attended did not predict outcome, rs(117) = .09, p = .33. Conclusions Design limitations prevented inferences of clinical effectiveness, but the group met several clinical utility criteria by providing a flexible intervention on a rehabilitation ward with competing demands. We highlight the importance of contrasting findings of clinical trials with data from clinical services.