Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

5 articles for “safety property”
Set a search alert
Research ArticleOpen accessPhrase in the titleFormal Validation of the Safety Property of Sack Protocol Using Theorem Proving TechniqueZ. Shukur, N. Alias, M. H. Mohamed Halip, B. IdrusThis paper demonstrates the formal validation process of safety properties of Selective ACKnowledgment (SACK) protocol. SACK is a complex communication protocol as it is used in various types of distributed computer systems and networks. This acknowledgment mechanism is used with sliding window protocol that allows the receiver to acknowledge packets received out of order, but within the correct sliding window. … …Journal of Computer Science, Vol. 3, Issue 6 · 30 Jun 2007 · 6,227 accessesView PDFCite
Research ArticleOpen accessIn the abstractLandslide Susceptibility Analysis Using Numerical and Neural Network, Near Kedarnath, Uttarakhand, IndiaVinay Kumar Singh, Tariq Anwar Ansari, Vikram Vishal, T.N. SinghThe major concern in hilly regions is the stability of those slopes, which have been proclaimed due to unplanned excavation and uneven blasting during road widening and development activity. These slopes again become more vulnerable under dynamic loading and/or various types of human involvement, heavy rainfall and seismic activity. Failure of these slopes leads to loss of property and human … …American Journal of Environmental Sciences, Vol. 16, Issue 1 · 9 Mar 2020 · 7,772 accessesView PDFCite
EditorialOpen accessIn the abstractIs Rerum® the New Coley's Vaccine?Marco RuggieroColey's Vaccine and Cancer Immunotherapy Dr. William B. Coley is credited for having been the first to translate the observation of an association between bacterial infections, high fever and cancer remission into a successful cancer treatment. However, it is worth noting that such an association dates back to at least one century before Coley's times; as Wiemann and Starnes from … …American Journal of Immunology, Vol. 13, Issue 2 · 31 May 2017 · 12,281 accessesView PDFCite
EditorialOpen accessIn the abstractInternational Journal of Structural Glass and Advanced Materials Research: A New Open Platform for Materials ScienceChiara Bedon, Mario D’Aniello, Andreas Luible, Flavio StochinoEditorial The International Journal of Structural Glass and Advanced Materials Research (IJSGAMR) is a new peer-reviewed, open access journal, which covers all aspects of theoretical and practical research of materials science. The journal aims to promote international exchange of knowledge and broad discussion on advancements, outcomes and recent developments in materials research for engineering applications. In the last years, the … …International Journal of Structural Glass and Advanced Materials Research, Vol. 1, Issue 1 · 17 May 2017 · 13,690 accessesView PDFCite
Research ArticleOpen accessIn the abstractManaging Process Hazards in Lab-Scale Pilot Plant for Safe OperationHanida Abdul Aziz, Azmi Mohd Shariff, Mohd Rafizie RoslanIn spite of the OSHA Laboratory and Hazards Communication Standards, incidents which result in injuries and property loss continue to occur in the research and teaching locations. Application of Process Hazard Analysis (PHA) of OSHA Process Safety Management (PSM) to laboratory pilot plant operations has the potential to further reduce risk associated with this location. However, a major challenge is … …American Journal of Engineering and Applied Sciences, Vol. 5, Issue 1 · 26 May 2012 · 9,766 accessesView PDFCite