Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

“…To solve the problem of modeling and analyzing with colored Petri net (CPN), which was determining vulnerabilities in hole location but couldn’t identify any attack path, and the problem of when the introduction of the attacker model, the number of possible message paths in the CPN formal model of security protocol surges the state space prone to explosion, which made it difficult to extract accurate attack paths, the formal modeling method of security protocol was improved base on CPN, the attack paths were verified and extracted, further the fine-grained protocol modeling and control were adopted.As well as in the aspect of state-space convergence, and a waiting-sync method for different processes of CPN model in each hierarchy model was proposed, which effectively controlled the state-space scale of the model.Through the security evaluation and analysis of TMN protocol, 25 attack paths of the protocol are extracted successfully, the security of the protocol is evaluated, and the effectiveness of the proposed method is proved.…”
Get full text

Focal Cryoablation of Prostate: A Review by Duke K. Bahn, Paul D. Silverman

“…Many men are being diagnosed with an early stage, small volume, unifocal or unilateral prostate cancer but are reluctant to accept watchful waiting or active surveillance. Focal cryoablation is the less than complete ablation of the gland with ice. …”
Get full text

Computational Procedures for a Class of GI/D/k Systems in Discrete Time by Md. Mostafizur Rahman, Attahiru Sule Alfa

“…The computation of the distribution of waiting time is also shown to be simple by exploiting the special structures.…”
Get full text

eFisioTrack: A Telerehabilitation Environment Based on Motion Recognition Using Accelerometry by Daniel Ruiz-Fernandez, Oscar Marín-Alonso, Antonio Soriano-Paya, Joaquin D. García-Pérez

“…The growing demand for physical rehabilitation processes can result in the rising of costs and waiting lists, becoming a threat to healthcare services’ sustainability. …”
Get full text

A Case of Rituximab Use as an Induction and Maintenance of Remission in ANCA-Associated Vasculitis by Neveen Awad, Shahd Hafiz, Abdurahman Albeity, Hani Almoallim

“…Antineutrophil cytoplasmic antibody- (ANCA-) associated vasculitis (AAV) is a multisystem autoimmune disease affecting mainly microscopic blood vessels due to circulating autoantibodies against neutrophil cytoplasmic antigens. …”
Get full text

Multi-dimensional time series anomaly detection method based on VAE-WGAN by Xueyuan DUAN, Yu FU, Kun WANG

“…As the deficiency of learning ability of traditional semi-supervised depth anomaly detection model to unbalanced multidimensional data distribution and the difficulty of model training, a multi-dimensional time series anomaly detection method based on VAE-WGAN architecture was proposed.VAE was used as a generator of WGAN.The Wasserstein distance was used as a measure between the model fitting distribution and the real distribution of the data to be measured, complex and high-dimensional data distributions could be learned.A sliding window was applied to divide the time series, the normal sequence data were used to train the model.According to the abnormal score of the waiting test sequence in the trained model, the anomaly was judged with adaptive threshold technology.The experimental results show that the model is easy to train and stable, and has obvious improvement over the existing generative anomaly detection model in accuracy, recall rate, F1 score and other anomaly detection performance indicators.…”
Get full text

Strategic Analysis of Retrial Queues with Setup Times, Breakdown and Repairs by Ruiling Tian, Xinyu Wu, Liuqing He, Yunna Han

“…The customer who activates the server will enter the retrial orbit waiting to reapply for service. The server may break down during the busy period. …”
Get full text

Dispatching Design for Customized Bus of Hybrid Vehicles Based on Reservation Data by Xuemei Zhou, Jiaojiao Xi, Zhen Guan, Xiangfeng Ji

“…Then, taking the lowest operating cost of the enterprise and the lowest passenger waiting cost as the optimization goal, a customized dynamic dispatching model of multiline and hybrid vehicles was established. …”
Get full text

5G-Advanced E2E deterministic transmission analysis and system design by Haiyang SUN, Yi SHI, Yan LI, Qiang FAN, Xin MA

“…Because of the advantages of flexible deployment, low cable cost, strong support for mobility and comprehensive QoS control and high scalability, cellular networks had been widely used in factory scenarios.At the same time, the deterministic service in the factory also puts forward certain requirements for cellular network control.Therefore, in discussions related to 5G-Advanced, the industry also proposes to research a 5G cellular network that supports ultra-low latency.To meet the delay requirement of 2 ms, two key technologies, deterministic N3 interface and cross-layer scheduling optimization were proposed to reduce the transmission or waiting delay on the transport network and air interface.These two technologies were the enhancement based on the current communication mechanism and network protocol between cellular network and deterministic network.The high delay requirement of deterministic services can be met well without changing the existing network protocol too much.…”
Get full text

A Novel Compressed Sensing Method for Magnetic Resonance Imaging: Exponential Wavelet Iterative Shrinkage-Thresholding Algorithm with Random Shift by Yudong Zhang, Jiquan Yang, Jianfei Yang, Aijun Liu, Ping Sun

“…Aim. It can help improve the hospital throughput to accelerate magnetic resonance imaging (MRI) scanning. …”
Get full text

Intelligent Buses in a Loop Service: Emergence of No-Boarding and Holding Strategies by Vee-Liem Saw, Luca Vismara, Lock Yue Chew

“…It is remarkable that this emergent behaviour of intelligent buses turns out to minimise the average waiting time of commuters, in various setups where buses move with the same speed or different speeds, during busy as well as lull periods. …”
Get full text

Hezychia w ujęciu Jana Klimaka i jej odzwierciedlenie w wizerunkach postaci na ikonach Andrzeja Rublowa by Olga Cyrek

“…Hezychia means peace and quiet spirit, which sought to gain the ancient anachorites. The article also discusses some of the icons Andrew Rublev (d. 1430), which presented the person expressing such peace of mind. …”
Get full text

Torsion of Wandering Gallbladder following Colonoscopy by Sean R. Warfe, Hannah Dobson, Matthew K. H. Hong, Weranja K. B. Ranasinghe, Peter R. Thomas, Adam G. Cichowitz

“…We describe, to our knowledge, the first case of torsion of a wandering gallbladder following a colonoscopy in a 69-year-old female who presented with acute abdominal pain after procedure. This was discovered intraoperatively, and after a subsequent cholecystectomy, she had an uncomplicated recovery.…”
Get full text

Distance-Based Stable Routing Decision Scheme in Urban Vehicular Ad Hoc Networks by Sang-woo Chang, Sang-sun Lee

“…We apply approaches to packet-collisions avoidance scheme in the intersection and to stable route decision scheme based on the adaptive waiting time. The performance is then evaluated under simulation which is implemented with the Manhattan urban traffic model. …”
Get full text

Right Ventricular Outflow Tract Perforation and Stenting for a Premature Neonate with Pulmonary Valve Atresia and Double Outlet Right Ventricle by Mohammed Rasool Hussein, Maysam Yousif Abed, Nabeeha Najatee Akram

“…This rapid interventional catheterization offered to the neonate has an immense advantage of lifesaving and the protection against the remolding effect on the right ventricle that usually develops when waiting for the palliative procedures or surgery to take place.…”
Get full text

On the performance optimization for the cloud architecture with sleep-mode and registration service by Shunfu JIN, Haixing WU, Tiantian HUO, Wenjuan ZHAO

“…In order to balance the energy conservation and the service quality for anonymous users,a novel sleep-mode based architecture with the free cloud service and the registration cloud service was proposed.Regarding the free cloud service as the first service,the registration cloud service as the second service and the sleep sate as the vacation,a partial asynchronous multiple vacation queueing model with a second optional service was built.Applying the method of a matrix-geometric solution,the steady-state distribution of the queueing model was derived,and then the energy saving rate of system as well as the average response time of anonymous users were estimated.By considering the benefits from accessing the cloud service and the time cost on waiting for the cloud service,benefit functions were constructed.Numerical results were carried out to reveal the relationship between Nash equilibrium arrival rate and social optimal arrival rate of anonymous users.The proposed cloud architecture provides a theoretical basis for social optimization.…”
Get full text

Reception Centres Above.The Mountain, Emblem of the Paradox of the Integration of Asylum Seekers in Switzerland by Viviane Cretton

“…At the level of Swiss society, asylum seekers are subject to an « integration » injunction, despite the uncertain outcome of their application. When the waiting and uncertainty imposed by the asylum procedure is experienced at an altitude of more than 1300 metres, the feeling of being kept away from life in urban centres is reinforced and the emotional burden exacerbated.The specific experiences of collective accommodation in the mountains, experienced by asylum seekers - and by the professionals or volunteers accompanying them - are expressed in their story telling of the place. …”
Get full text

Critique de l’« orientation sexuelle » et de l’« identité de genre » dans le discours des droits humains : la politique queer mondiale au-delà des principes de Yogyakarta... by Matthew Waites

Get full text

Agriculture urbaine et stratégies de survie des ménages pauvres dans le complexe spatial du district d’Abidjan by Abraham Olahan

“…The aim of this paper is to point to the existence of two distinct types of urban agriculture: an alimentary driven type and a decorative type. …”
Get full text