This paper presents an experimental investigation of the Sounds of Silence (SoS) harmony search metaheuristic for the multi-mode resource-constrained project scheduling problem (MRCPSP) using a pre-optimized starting repertoire. The presented algorithm is based on the time oriented version of the SoS harmony search metaheuristic developed by Csébfalvi et al. [1] for the single-mode resource-con...

Plotkin’s style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ingredients. In this paper, we propose a formal framework for dealing with names in SOS. The framework is based on the Nominal Logic of Gabbay an...

BACKGROUND Airway management is critical in patients with cervical spondylosis, a population with a high incidence of difficult airway. Intubation with Shikani Optical Stylet (SOS) has become increasingly popular in difficult airway. We compared the effects of intubation with SOS versus Macintosh laryngoscope (MLS) in patients undergoing surgery for cervical spondylosis. METHODS A total of 27...

When you create a System of Systems (SoS), you are doing wilful design. It follows that you need a safety case: a justification of why that system will be safe. All safety cases must have certain common properties: they must focus on risk, they must provide appropriate confidence in their claims, and they must have a clear relationship to a causal model of the system's safety behaviour. None of...

The authors validate the Outpatient Osteopathic SOS (Single Organ System) Musculoskeletal Exam Form (SOS MSEF), a 1-page form contained within the 4-page Outpatient Osteopathic Single Organ System Musculoskeletal Exam Form Series (SOS-FS). Handwritten physician progress notes (PPNs) in the medical record (considered to be the "gold standard" for clinical records) were compared with information ...

There is ample evidence about the impact of land-use and climatic variables such as temperature and precipitation on the biogeochemical cycling of organic carbon (C), nitrogen (N), phosphorus (P) in terrestrial ecosystems. However, although sulfur (S) is one of the essential nutrients for plant growth, the impact of these factors on soil organic S (SOS) forms has received little attention. The ...

Abstract The traveling salesman problem (TSP) is one of typical combinatorial optimization problems. Ant colony (ACO) an effective method to solve the problem, but there are some non-negligible shortcomings hidden in original algorithm. primary objective this research optimize ACO produce quality work throughout solving TSP. To end, hybrid SOS-MMAS algorithm proposed. Concretely, apply advanced...