Search results for "HECK"

MEDIATING ROLE OF DISSOCIATION SYMPTOMS BETWEEN ADOLESCENT COMPULSIVE INTERNET USE ACROSS TIME

2020

The aim of this study was to examine adolescent compulsive internet use (CIU) across a one-year period, to examine associations with symptoms of depression, anxiety and dissociation, as well as to analyze the potential mediating effect of dissociation symptoms.  Previous studies have indicated that dissociation might serve as a coping strategy and/or as a consequence of problematic internet use. Participating in the study were 80 adolescents (39 girls and 41 boys), ages from 12 to 18 (mean age 14.90 years) at the time of the first measurement.  At Time 1 and one year later at Time 2 measurement points the participants completed the Trauma Symptom Checklist (Briere, 1995) and items from the …

Developing doctoral students' / researchers’ understanding of the journal peer-review process

2021

Abstract A growing body of knowledge has confirmed that the journal peer-review process is an integral part of the scientific publication process and provides demonstrable benefits to journal editors and authors. This study aims to develop doctoral students' understanding of the journal peer-review process and highlight the most common errors and pitfalls reviewers identify in novice authors’ manuscripts, which could lead to rejection. A qualitative content analysis research method was used to analyse the primary data as experience collected from senior researchers, editors and associate editors. Among the major contributions of this study is an interactive diagram that provides an overview…

Compliance with the Surgery Safety Checklist: An Update on the Status

2021

WHO has recommended the implementation of the Surgery Safety Checklist (SSC) to reign in often simple logistic errors that lead to numerous complications, some of them being fatal, in the perioperative period. This study aims to discuss doubts presented in the medical literature concerning the effectiveness of SSC in the currently existing form. The article is based on the literature search performed in PubMed using the command phrase "Surgery Safety Checklist". The search yielded 1,476 articles up to March 2021. Out of this group, we selected 811 articles for further detailed analysis. The selection was based on the meritorious SSC-related topicality and scrutinized content of the articles…

Immune checkpoint inhibitors plus chemotherapy versus chemotherapy or immune checkpoint inhibitors for first- or second-line treatment of advanced ga…

2019

This is a protocol for a Cochrane Review (Intervention). The objectives are as follows: To evaluate the efficacy and safety of immune checkpoint inhibitors, alone or in combination with chemotherapy, in people with advanced gastric and gastroesophageal junction adenocarcinoma in first and subsequent treatment lines.

Beauvericin exposure induces cell cycle arrest, cell death and mitochondrial membrane potential disruption in CHO-K1 Cells

2015

Safety Assurance of a High Voltage Controller for an Industrial Robotic System

2020

Abstract Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditional testing and quality assurance procedures. The work in this paper presents formal verification of the most important safety functions of a high voltage controller. The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool. Five safety critical properties were specifie…

Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther

2016

Scyther [1] is designed to check the security and vulnerabilities of security protocols. In this paper, we use Scyther to analyze two discrete logarithm problem (DLP) based group authentication protocols proposed in [2]. These two protocols are claimed to satisfy several security requirements, but only part of them have been checked because of the properties and limitations of Scyther. Some positive results have been gained and show that the protocols provide mutual authentication and implicit key authentication and are secure against impersonation attack. An important innovation in this paper is that we have extended the expressing ability of Scyther by giving some reasonable assumption du…

Building a new CTL model checker using Web services

2013

This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …

Verification of JADE Agents Using ATL Model Checking

2015

It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programma…

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles

2017

International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…