Benefited from cloud storage services, users can save their cost of buying expensive storage and application servers, as well as deploying and maintaining applications. Meanwhile they lost the physical control of their data. So effective methods are needed to verify the correctness of the data stored at cloud servers, which are the research issues the Provable Data Possession (PDP) faced. The m...

The pyruvate dehydrogenase complex (PDC) is inactivated in many tissues during starvation and diabetes to conserve three-carbon compounds for gluconeogenesis. This is achieved by an increase in the extent of PDC phosphorylation caused in part by increased pyruvate dehydrogenase kinase (PDK) activity due to increased PDK expression. This study examined whether altered pyruvate dehydrogenase phos...

AIMS To study the potential use of child behaviour checklist (CBCL) 1.5-5 scales for the early identification of preschoolers at risk of autism. METHODS CBCL scores of three groups of preschoolers were compared: (1) an experimental group of 101 preschoolers with autism spectrum disorder (ASD); (2) a control group of 95 preschoolers with other psychiatric disorders (OPD); (3) a control group o...

This paper presents high speed and low power full adder cells designed with an alternative internal logic structure and Gate Diffusion Input (GDI) logic styles and hybrid CMOS logic style that lead to have a reduced Power Delay Product (PDP). The main design objective for this adder module is not only providing low-power dissipation and high speed but also full-voltage swing. In the first desig...

This article presents a novel technique to distinguish between magnetizing inrush current and internal fault current of power transformer. An algorithm has been developed around the theme of the conventional differential protection method in which parallel combination of Probabilistic Neural Network (PNN) and Power Differential Protection (PDP) methods have been used. Both PNN and PDP method ar...

BACKGROUND Painful diabetic polyneuropathy (PDP) is associated with high pain scores and is difficult to treat. Therefore, spinal cord stimulation (SCS) has been suggested as second-line treatment. In this study, the feasibility and efficacy of SCS in PDP were investigated, as well as the predictive value of clinical sensory testing for the treatment outcome. METHODS Fifteen patients with int...

Partitioning and abstraction have been studied extensively both in hardware and in software verification. The abstraction is typically partitioned according to the system design in the case of hardware or the control graph in the case of software. In this work we build on previous work on Property-Driven Partitioning (PDP), a hybrid Symbolic Model-Checking (SMC) technique for ωregular propertie...

3GPP proposed the Universal Mobile Telecommunication System (UMTS) to provide high-speed wireless transmission services to mobile users. To efficiently route the packets, the PDP contexts are maintained in the UE, SGSN, and GGSN in the UMTS network. Before beginning a session, the PDP Context Activation procedure is exercised to create the PDP contexts, where the SGSN selects one GGSN to serve ...

This paper proposes a new technique for Mobile IP (MIP) registration by WLAN host (WH) of the Internet through GPRS network. The home agent (HA) of WH resides in the Internet. The gateway GPRS Support Node (GGSN) provides foreign agent (FA) functionality for WH in GPRS. After successful attachment with GPRS network in roaming scenario, WH needs two mandatory passes for MIP registration with HA....

Many storage systems need to do authorized verification for data integrity. For example, a user stores his data into cloud storage servers and shares his data with his friends. They check data integrity periodically to ensure data intact. However, they don’t want a stranger to check data integrity on their data. Therefore, public verification is undesired in this situation. The user can share h...