This article presents two different ways of model-checking higher-order recursion schemes, both relying on game semantics. A given recursion scheme is translated to another, which is its computational extent, in the sense that β-reduction paths called traversals in the new generated tree are isomorphic to branches of the former tree. Then, the two approaches differ on their way of simulating tr...

This paper presents current work on developing an operational semantic theory of cyber defense against advanced persistent threats (APTs), which is grounded in cyber threat analytics, science of evidence, knowledge engineering, and machine learning. After introducing advanced persistent threats, it overviews a systematic APT detection framework and the corresponding APT detection models, the fo...

Collaboration among multiple organizations is imperative for contemporary intrusion detection. As modern threats become well sophisticated it is difficult for organizations to defend with threat context local to their networks alone. Availability of global threat intelligence is must for organizations to defend against modern advanced persistent threats (APTs). In order to benefit from such glo...

Inspired by Nova Scotia's comprehensive Tobacco Control Strategy and in an effort to support Capital Health's 100% smoke-free policy, the Addiction Prevention and Treatment Services (APTS) branch of Capital District Health Authority researched, designed and implemented an innovative tobacco intervention program. The success of the Capital approach, combining peer support, adult education concep...

Objective(s): Pharmaceutical industries are leading to improved medications that can target diseases more effectively and precisely. Researchers have intended to reformulate drugs so that they may be more safely used in human body. The more targeted a drug is, the lower its chance of triggering drug resistance, a cautionary concern surrounding the use of broad-spectrum antibiotics. The aim of t...

Nowadays, countries face a multitude of electronic threats that have permeated almost all business sectors, be it private corporations or public institutions. Among these threats, advanced persistent (APTs) stand out as well-known example. APTs are highly sophisticated and stealthy computer network attacks meticulously designed to gain unauthorized access persist undetected within targeted netw...

objective(s): pharmaceutical industries are leading to improved medications that can target diseases more effectively and precisely. researchers have intended to reformulate drugs so that they may be more safely used in human body. the more targeted a drug is, the lower its chance of triggering drug resistance, a cautionary concern surrounding the use of broad-spectrum antibiotics. the aim of t...

in the present study, the effects of growth defects and chromium content loss on the degradation of corrosion andpassivation of cathodic arc evaporation (cae-pvd) of stainless steel coating were investigated in 2 m sulphuricacid solution. eds analysis indicated that the micro-particles were obtained during the coating growth. in addition,it was detected that the growth defects had poor adhesion...

objective: a clinical challenge of using zirconia frameworks is to achieve adequate bond with different substrates. this study aimed to evaluate the effect of bioglass and silica coating of zirconia substrates on microshear bond strength of resin cement to tetragonal zirconia. methods: this laboratory experimental study was conducted on zirconia discs. a total of 120 ytzp zirconia (zirkonzahn) ...