Search results
Jump to navigation
Jump to search
Page title matches
- ...erations and activities concerned with the safety of the participants. The safety of underwater diving depends on four factors: the environment, the equipmen ...own safety, and to a lesser, variable, and poorly defined extent, for the safety of their [[dive buddy]]. ...158 KB (23,408 words) - 19:41, 23 February 2025
- ...assical mechanics]] and [[ballistics]], the '''parabola of safety''' or '''safety parabola''' is the [[envelope (mathematics)|envelope]] of the [[parabolic t ...ing the safety parabola around the vertical axis is the boundary of the '''safety zone''', consisting of all points that cannot be hit by a projectile shot f ...2 KB (273 words) - 06:13, 13 March 2024
- ...urrent]] and [[distributed system]]s—have long been formulated by giving ''safety properties'' ("bad things don't happen") and ''liveness properties'' ("good ...a state satisfying <math>Q</math>. Total correctness is a conjunction of a safety property and a liveness property:<ref name="totalcorrectness">{{Cite journa ...13 KB (1,918 words) - 22:31, 20 August 2024
- ...med in a helical shape, winding around the interior of the reactor. The '''safety factor''', labeled '''q''' or '''q(r)''', is the ratio of the times a parti The term "safety" refers to the resulting stability of the plasma; plasmas that rotate aroun ...8 KB (1,351 words) - 10:25, 3 January 2024
- ...er|ISO 26262#Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safety-oriented analysis}} ...erity, Exposure and Controllability of the vehicle operating scenario. The safety goal for that hazard in turn carries the ASIL requirements. ...24 KB (3,280 words) - 19:46, 8 October 2024
- '''Asymptotic safety''' (sometimes also referred to as '''nonperturbative renormalizability''') ...of the bare coupling constants, which become predictions of the asymptotic safety program rather than inputs. ...45 KB (6,499 words) - 01:03, 1 January 2025
Page text matches
- ...assical mechanics]] and [[ballistics]], the '''parabola of safety''' or '''safety parabola''' is the [[envelope (mathematics)|envelope]] of the [[parabolic t ...ing the safety parabola around the vertical axis is the boundary of the '''safety zone''', consisting of all points that cannot be hit by a projectile shot f ...2 KB (273 words) - 06:13, 13 March 2024
- Mean Time to Dangerous Failure. In a safety system MTTF<sub>D</sub> is the portion of failure modes that can lead to fa ...sub>D</sub> is critical to the determination of the performance level of a safety system. [[ISO 13849]] defines three levels of MTTF<sub>D</sub>: ...3 KB (536 words) - 03:10, 29 March 2024
- A '''barrier certificate'''<ref>Prajna, Stephen, and Ali Jadbabaie. "Safety verification of hybrid systems using barrier certificates." International W Showing that a set is forward invariant is an aspect of ''safety'', which is the property where a system is guaranteed to avoid obstacles sp ...4 KB (556 words) - 20:08, 28 June 2024
- ...lity of their final wealth falling below a [[Survival analysis|survival or safety level]] must to be acceptably low. ...ä, J. (1994), “The diversification of currency loans: A comparison between safety-first and mean-variance criteria,” European Journal of Operations Research, ...5 KB (686 words) - 09:37, 15 August 2024
- {{Short description|Ensuring structures' safety through probabilistic analysis}} ...}}</ref> Reliability is also used as a probabilistic measure of structural safety. The reliability of a structure is defined as the probability of [[Compleme ...4 KB (514 words) - 07:32, 6 January 2025
- ...eference cells from holding values of different types and preserves [[type safety]]. == A Counter Example to Type Safety == ...5 KB (753 words) - 16:44, 1 February 2023
- ...sophy)|properties]] of computational systems. Hyperproperties generalize [[safety and liveness properties]], and can express properties such as [[Non-interfe A '''trace property''' is a set of traces. Safety and liveness properties are trace properties. Formally, a trace property is ...8 KB (1,097 words) - 21:57, 25 January 2024
- ...of [[head injury]] arising from an impact. The HIC can be used to assess safety related to vehicles, personal protective gear, and sport equipment. ==Automobile safety== ...8 KB (1,201 words) - 02:01, 11 August 2024
- ...urrent]] and [[distributed system]]s—have long been formulated by giving ''safety properties'' ("bad things don't happen") and ''liveness properties'' ("good ...a state satisfying <math>Q</math>. Total correctness is a conjunction of a safety property and a liveness property:<ref name="totalcorrectness">{{Cite journa ...13 KB (1,918 words) - 22:31, 20 August 2024
- ...asymptotic safety|a detailed introduction to asymptotic safety|Asymptotic safety in quantum gravity}} ...ent — the requirement of [[Asymptotic safety in quantum gravity|asymptotic safety]] fixes all remaining couplings in such a way that the UV fixed point is ap ...9 KB (1,280 words) - 20:22, 19 January 2025
- ...med in a helical shape, winding around the interior of the reactor. The '''safety factor''', labeled '''q''' or '''q(r)''', is the ratio of the times a parti The term "safety" refers to the resulting stability of the plasma; plasmas that rotate aroun ...8 KB (1,351 words) - 10:25, 3 January 2024
- == Material Safety Data Sheet == <!-- KEEP this header, it is linked to from the infobox on th ...s highly recommend that you seek the Material Safety Datasheet ([[Material safety data sheet|MSDS]]) for this chemical from a reliable source and follow its ...6 KB (940 words) - 00:28, 26 October 2023
- ==Safety== ...3 KB (393 words) - 06:41, 13 October 2023
- ...nding machine does not dispense a drink until money has been entered" (a [[safety property]]) or "the computer program eventually terminates" (a [[liveness p .... Every property can be rewritten as "''P'' and ''Q'' both occur" for some safety property ''P'' and liveness property ''Q''. An invariant for a system is so ...13 KB (2,019 words) - 11:44, 21 November 2024
- ...iterion|Roy 1952]]<ref>{{Cite journal|last=Roy|first=A. D.|date=1952|title=Safety First and the Holding of Assets|url=http://www.jstor.org/stable/1907413|jou ...3 KB (484 words) - 19:38, 17 June 2024
- ...ced control theory and applications{{r|wsj}} in the [[NASA]] Engineering & Safety Center at the [[Langley Research Center]].{{r|nasa}} ...academy/Irene_Gregory_bio.html|title=Irene Gregory|work=NASA Engineering & Safety Center|publisher=NASA|access-date=2023-08-15}}</ref> ...4 KB (515 words) - 10:40, 26 November 2024
- ...data sheet|Safety Data Sheet]] (SDS) for the specific naphtha of interest. Safety Data Sheets can be found on a chemical suppliers websites or by contacting == Safety == ...11 KB (1,618 words) - 01:10, 2 March 2025
- ...Neumann|title=Methods and Algorithms in Navigation: Marine Navigation and Safety of Sea Transportation|url=https://books.google.com/books?id=buMsPGyE7boC&q= ...2 KB (250 words) - 01:01, 15 April 2022
- ...ased temperature, when [[Creep_(deformation)|creep]] is active.<ref>''Fire Safety Engineering'', J.A. Purkiss, 2007, 2nd ed. Butterworth-Heinemann. Oxford</r ...2 KB (261 words) - 19:30, 19 June 2022
- ...er|ISO 26262#Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safety-oriented analysis}} ...erity, Exposure and Controllability of the vehicle operating scenario. The safety goal for that hazard in turn carries the ASIL requirements. ...24 KB (3,280 words) - 19:46, 8 October 2024