Component-based design is a different way of constructing systems which offers numerous benefits, in particular, decreasing the complexity of system design. However, deploying components into a system is a challenging and error-prone task. Model checking is one of the reliable methods that automatically and systematically analyse the correctness of a given system. Its brute-force check of the s...

In the low duty cycle wireless sensor network with unreliable link quality, how to meet designated delay requirements and maximize network lifetime is the focus of this study. This paper proposes the Scheduling Scheme based on Estimated-delay(SSE), which could satisfy decreasing energy consumption as well as delivery delay in the low duty cycle wireless sensor network by utilizing the estimated...

High-intensity intermittent exercise induces physiological adaptations similar to energy-matched continuous exercise, but the comparative appetite and energy balance responses are unknown. Twelve healthy males (mean ± SD: age, 22 ± 3 years; body mass index, 23.7 ± 3.0 kg·m(-2); maximum oxygen uptake, 52.4 ± 7.1 mL·kg(-1)·min(-1)) completed three 8 h trials (control, steady-state exercise (SSE),...

INTRODUCTION The Skin Self-Examination Attitude Scale (SSEAS) is a brief measure that allows for the assessment of attitudes in relation to skin self-examination. This study evaluated the psychometric properties of the SSEAS using Item Response Theory (IRT) methods in a large sample of men ≥ 50 years in Queensland, Australia. METHODS A sample of 831 men (420 intervention and 411 control) comp...

Chrysophyllum albidium seed shell, an abundant, biodegradable and inexpensive natural resource was used as a precursor to bioadsorbent production for the removal of suspended and dissolved particles (SDP) from initially coagulated Brewery Effluent (BRE). Influence of key parameters such as contact time, bioadsorbent dose, pH and temperature were investigated using batch mode. The thermal behavi...

Stochastic system is applied to describe and investigate the fluctuations of stock price changes in a stock market, and a stock price model is developed by the finite-range contact process of the statistical physics systems. In this paper, the scaling behaviors of the return intervals for SSE Composite Index (SSE) and the simulation data of the model are investigated and compared. The database ...

Background: Skin self-examination (SSE) is the primary method for identifying atypical moles. Unfortunately, past research has shown that SSE has low sensitivity. The current study investigates whether collective effort can improve SSE. Collective effort problem solving, or crowdsourcing, uses the intelligence of a group to make decisions; for example, contestants on game shows use collective e...

Recent work on searchable symmetric encryption (SSE) has focused on increasing its expressiveness. A notable example is the OXT construction (Cash et al., CRYPTO ’13 ) which is the first SSE scheme to support conjunctive keyword queries with sub-linear search complexity. While OXT efficiently supports disjunctive and boolean queries that can be expressed in searchable normal form, it can only h...